runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012091434/p2cudf-user-1.10/rand359ca0.cudf.easy.log.runsolver ./p2cudf-user-1.10 /home/misc2010/data/2010/easy//rand359ca0.cudf /home/misc2010/tmp/201012091434/p2cudf-user-1.10/rand359ca0.cudf.easy.result -changed,-removed,-unmet_recommends,-new 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.22 1.15 0.94 5/38 27667
/proc/meminfo: memFree=484040/1048576 swapFree=2095372/2097144
[pid=27666] ppid=27665 vsize=2572 CPUtime=0
/proc/27666/stat : 27666 (p2cudf-user-1.1) R 27665 27666 25521 34816 25544 4202496 359 0 0 0 0 0 0 0 25 0 1 0 900007861 2633728 273 1283457024 134512640 135304128 4293384320 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/27666/statm: 643 273 233 194 0 29 0
[pid=27667] ppid=27666 vsize=2572 CPUtime=0
/proc/27667/stat : 27667 (p2cudf-user-1.1) R 27666 27666 25521 34816 25544 4202560 0 0 0 0 0 0 0 0 25 0 1 0 900007861 2633728 40 1283457024 134512640 135304128 4293384320 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/27667/statm: 643 40 0 194 0 29 0

[startup+0.124666 s]
/proc/loadavg: 1.22 1.15 0.94 5/38 27667
/proc/meminfo: memFree=484040/1048576 swapFree=2095372/2097144
[pid=27666] ppid=27665 vsize=2572 CPUtime=0
/proc/27666/stat : 27666 (p2cudf-user-1.1) S 27665 27666 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900007861 2633728 273 1283457024 134512640 135304128 4293384320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27666/statm: 643 273 233 194 0 29 0
[pid=27667] ppid=27666 vsize=2576 CPUtime=0.03
/proc/27667/stat : 27667 (p2cudf) S 27666 27666 25521 34816 25544 4202496 391 2993 0 1 0 1 0 2 25 0 1 0 900007861 2637824 281 1283457024 134512640 135304128 4290739744 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27667/statm: 644 281 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.204686 s]
/proc/loadavg: 1.22 1.15 0.94 5/38 27667
/proc/meminfo: memFree=484040/1048576 swapFree=2095372/2097144
[pid=27666] ppid=27665 vsize=2572 CPUtime=0
/proc/27666/stat : 27666 (p2cudf-user-1.1) S 27665 27666 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900007861 2633728 273 1283457024 134512640 135304128 4293384320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27666/statm: 643 273 233 194 0 29 0
[pid=27667] ppid=27666 vsize=2576 CPUtime=0.03
/proc/27667/stat : 27667 (p2cudf) S 27666 27666 25521 34816 25544 4202496 391 2993 0 1 0 1 0 2 25 0 1 0 900007861 2637824 281 1283457024 134512640 135304128 4290739744 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27667/statm: 644 281 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.304698 s]
/proc/loadavg: 1.22 1.15 0.94 5/38 27667
/proc/meminfo: memFree=484040/1048576 swapFree=2095372/2097144
[pid=27666] ppid=27665 vsize=2572 CPUtime=0
/proc/27666/stat : 27666 (p2cudf-user-1.1) S 27665 27666 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900007861 2633728 273 1283457024 134512640 135304128 4293384320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27666/statm: 643 273 233 194 0 29 0
[pid=27667] ppid=27666 vsize=2576 CPUtime=0.03
/proc/27667/stat : 27667 (p2cudf) S 27666 27666 25521 34816 25544 4202496 391 2993 0 1 0 1 0 2 25 0 1 0 900007861 2637824 281 1283457024 134512640 135304128 4290739744 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27667/statm: 644 281 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.704742 s]
/proc/loadavg: 1.22 1.15 0.94 5/38 27667
/proc/meminfo: memFree=484040/1048576 swapFree=2095372/2097144
[pid=27666] ppid=27665 vsize=2572 CPUtime=0
/proc/27666/stat : 27666 (p2cudf-user-1.1) S 27665 27666 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900007861 2633728 273 1283457024 134512640 135304128 4293384320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27666/statm: 643 273 233 194 0 29 0
[pid=27667] ppid=27666 vsize=2576 CPUtime=0.03
/proc/27667/stat : 27667 (p2cudf) S 27666 27666 25521 34816 25544 4202496 391 2993 0 1 0 1 0 2 25 0 1 0 900007861 2637824 281 1283457024 134512640 135304128 4290739744 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27667/statm: 644 281 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+1.5051 s]
/proc/loadavg: 1.22 1.15 0.94 3/49 27689
/proc/meminfo: memFree=443364/1048576 swapFree=2095372/2097144
[pid=27666] ppid=27665 vsize=2572 CPUtime=0
/proc/27666/stat : 27666 (p2cudf-user-1.1) S 27665 27666 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900007861 2633728 273 1283457024 134512640 135304128 4293384320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27666/statm: 643 273 233 194 0 29 0
[pid=27667] ppid=27666 vsize=2576 CPUtime=0.03
/proc/27667/stat : 27667 (p2cudf) S 27666 27666 25521 34816 25544 4202496 391 2993 0 1 0 1 0 2 25 0 1 0 900007861 2637824 281 1283457024 134512640 135304128 4290739744 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27667/statm: 644 281 241 194 0 30 0
[pid=27680] ppid=27667 vsize=888040 CPUtime=1.46
/proc/27680/stat : 27680 (java) S 27667 27666 25521 34816 25544 4202496 19081 0 1 0 131 15 0 0 25 0 10 0 900007865 909352960 16501 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27680/statm: 222010 16501 1732 10 0 219100 0
[pid=27680/tid=27681] ppid=27667 vsize=888040 CPUtime=0.61
/proc/27680/task/27681/stat : 27681 (java) R 27667 27666 25521 34816 25544 4202560 7657 0 1 0 54 7 0 0 25 0 10 0 900007866 909352960 16501 1283457024 134512640 134550932 4288985872 18446744073709551615 4149824922 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27680/tid=27682] ppid=27667 vsize=888040 CPUtime=0
/proc/27680/task/27682/stat : 27682 (java) S 27667 27666 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 15 0 10 0 900007867 909352960 16501 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27683] ppid=27667 vsize=888040 CPUtime=0.01
/proc/27680/task/27683/stat : 27683 (java) S 27667 27666 25521 34816 25544 4202560 9 0 0 0 1 0 0 0 25 0 10 0 900007868 909352960 16501 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27684] ppid=27667 vsize=888040 CPUtime=0
/proc/27680/task/27684/stat : 27684 (java) S 27667 27666 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900007868 909352960 16501 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27685] ppid=27667 vsize=888040 CPUtime=0
/proc/27680/task/27685/stat : 27685 (java) S 27667 27666 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900007870 909352960 16501 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27686] ppid=27667 vsize=888040 CPUtime=0.56
/proc/27680/task/27686/stat : 27686 (java) R 27667 27666 25521 34816 25544 4202560 8533 0 0 0 48 8 0 0 24 0 10 0 900007870 909352960 16501 1283457024 134512640 134550932 4288985872 18446744073709551615 4150603664 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27680/tid=27687] ppid=27667 vsize=888040 CPUtime=0.28
/proc/27680/task/27687/stat : 27687 (java) R 27667 27666 25521 34816 25544 4202560 1777 0 0 0 28 0 0 0 22 0 10 0 900007871 909352960 16501 1283457024 134512640 134550932 4288985872 18446744073709551615 4152901609 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27680/tid=27688] ppid=27667 vsize=888040 CPUtime=0
/proc/27680/task/27688/stat : 27688 (java) S 27667 27666 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900007871 909352960 16501 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27689] ppid=27667 vsize=888040 CPUtime=0
/proc/27680/task/27689/stat : 27689 (java) S 27667 27666 25521 34816 25544 4202560 3 0 0 0 0 0 0 0 15 0 10 0 900007871 909352960 16501 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 893188

[startup+3.11064 s]
/proc/loadavg: 1.22 1.15 0.94 4/49 27689
/proc/meminfo: memFree=392780/1048576 swapFree=2095372/2097144
[pid=27666] ppid=27665 vsize=2572 CPUtime=0
/proc/27666/stat : 27666 (p2cudf-user-1.1) S 27665 27666 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900007861 2633728 273 1283457024 134512640 135304128 4293384320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27666/statm: 643 273 233 194 0 29 0
[pid=27667] ppid=27666 vsize=2576 CPUtime=0.03
/proc/27667/stat : 27667 (p2cudf) S 27666 27666 25521 34816 25544 4202496 391 2993 0 1 0 1 0 2 25 0 1 0 900007861 2637824 281 1283457024 134512640 135304128 4290739744 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27667/statm: 644 281 241 194 0 30 0
[pid=27680] ppid=27667 vsize=892768 CPUtime=3.02
/proc/27680/stat : 27680 (java) S 27667 27666 25521 34816 25544 4202496 48953 0 1 0 272 30 0 0 25 0 10 0 900007865 914194432 43324 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27680/statm: 223192 43324 1745 10 0 220282 0
[pid=27680/tid=27681] ppid=27667 vsize=892768 CPUtime=1.36
/proc/27680/task/27681/stat : 27681 (java) R 27667 27666 25521 34816 25544 4202560 32868 0 1 0 116 20 0 0 25 0 10 0 900007866 914194432 43324 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27680/tid=27682] ppid=27667 vsize=892768 CPUtime=0
/proc/27680/task/27682/stat : 27682 (java) S 27667 27666 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 15 0 10 0 900007867 914194432 43324 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27683] ppid=27667 vsize=892768 CPUtime=0.01
/proc/27680/task/27683/stat : 27683 (java) S 27667 27666 25521 34816 25544 4202560 9 0 0 0 1 0 0 0 25 0 10 0 900007868 914194432 43324 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27684] ppid=27667 vsize=892768 CPUtime=0
/proc/27680/task/27684/stat : 27684 (java) S 27667 27666 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900007868 914194432 43324 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27685] ppid=27667 vsize=892768 CPUtime=0
/proc/27680/task/27685/stat : 27685 (java) S 27667 27666 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900007870 914194432 43324 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27686] ppid=27667 vsize=892768 CPUtime=1.01
/proc/27680/task/27686/stat : 27686 (java) R 27667 27666 25521 34816 25544 4202560 10254 0 0 0 92 9 0 0 21 0 10 0 900007870 914194432 43324 1283457024 134512640 134550932 4288985872 18446744073709551615 4153743017 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27680/tid=27687] ppid=27667 vsize=892768 CPUtime=0.63
/proc/27680/task/27687/stat : 27687 (java) S 27667 27666 25521 34816 25544 4202560 4717 0 0 0 62 1 0 0 24 0 10 0 900007871 914194432 43324 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27688] ppid=27667 vsize=892768 CPUtime=0
/proc/27680/task/27688/stat : 27688 (java) S 27667 27666 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900007871 914194432 43324 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27689] ppid=27667 vsize=892768 CPUtime=0
/proc/27680/task/27689/stat : 27689 (java) S 27667 27666 25521 34816 25544 4202560 3 0 0 0 0 0 0 0 15 0 10 0 900007871 914194432 43324 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 897916

Solver just ended. Dumping a history of the last processes samples

[startup+3.21068 s]
/proc/loadavg: 1.22 1.15 0.94 4/49 27689
/proc/meminfo: memFree=392780/1048576 swapFree=2095372/2097144
[pid=27666] ppid=27665 vsize=2572 CPUtime=0
/proc/27666/stat : 27666 (p2cudf-user-1.1) S 27665 27666 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900007861 2633728 273 1283457024 134512640 135304128 4293384320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27666/statm: 643 273 233 194 0 29 0
[pid=27667] ppid=27666 vsize=2576 CPUtime=0.03
/proc/27667/stat : 27667 (p2cudf) S 27666 27666 25521 34816 25544 4202496 391 2993 0 1 0 1 0 2 25 0 1 0 900007861 2637824 281 1283457024 134512640 135304128 4290739744 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27667/statm: 644 281 241 194 0 30 0
[pid=27680] ppid=27667 vsize=892768 CPUtime=3.12
/proc/27680/stat : 27680 (java) S 27667 27666 25521 34816 25544 4202496 49431 0 1 0 282 30 0 0 25 0 10 0 900007865 914194432 43386 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27680/statm: 223192 43386 1745 10 0 220282 0
[pid=27680/tid=27681] ppid=27667 vsize=892768 CPUtime=1.36
/proc/27680/task/27681/stat : 27681 (java) R 27667 27666 25521 34816 25544 4202560 32882 0 1 0 116 20 0 0 25 0 10 0 900007866 914194432 43386 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27680/tid=27682] ppid=27667 vsize=892768 CPUtime=0
/proc/27680/task/27682/stat : 27682 (java) S 27667 27666 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 15 0 10 0 900007867 914194432 43386 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27683] ppid=27667 vsize=892768 CPUtime=0.01
/proc/27680/task/27683/stat : 27683 (java) S 27667 27666 25521 34816 25544 4202560 9 0 0 0 1 0 0 0 25 0 10 0 900007868 914194432 43386 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27684] ppid=27667 vsize=892768 CPUtime=0
/proc/27680/task/27684/stat : 27684 (java) S 27667 27666 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900007868 914194432 43386 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27685] ppid=27667 vsize=892768 CPUtime=0
/proc/27680/task/27685/stat : 27685 (java) S 27667 27666 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900007870 914194432 43386 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27686] ppid=27667 vsize=892768 CPUtime=1.06
/proc/27680/task/27686/stat : 27686 (java) R 27667 27666 25521 34816 25544 4202560 10254 0 0 0 97 9 0 0 21 0 10 0 900007870 914194432 43386 1283457024 134512640 134550932 4288985872 18446744073709551615 4150603648 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27680/tid=27687] ppid=27667 vsize=892768 CPUtime=0.68
/proc/27680/task/27687/stat : 27687 (java) R 27667 27666 25521 34816 25544 4202560 5180 0 0 0 67 1 0 0 17 0 10 0 900007871 914194432 43386 1283457024 134512640 134550932 4288985872 18446744073709551615 4152209799 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27680/tid=27688] ppid=27667 vsize=892768 CPUtime=0
/proc/27680/task/27688/stat : 27688 (java) S 27667 27666 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900007871 914194432 43386 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27689] ppid=27667 vsize=892768 CPUtime=0
/proc/27680/task/27689/stat : 27689 (java) R 27667 27666 25521 34816 25544 4202560 3 0 0 0 0 0 0 0 15 0 10 0 900007871 914194432 43386 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 897916

[startup+4.81116 s]
/proc/loadavg: 1.36 1.18 0.95 4/49 27689
/proc/meminfo: memFree=276452/1048576 swapFree=2095372/2097144
[pid=27666] ppid=27665 vsize=2572 CPUtime=0
/proc/27666/stat : 27666 (p2cudf-user-1.1) S 27665 27666 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900007861 2633728 273 1283457024 134512640 135304128 4293384320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27666/statm: 643 273 233 194 0 29 0
[pid=27667] ppid=27666 vsize=2576 CPUtime=0.03
/proc/27667/stat : 27667 (p2cudf) S 27666 27666 25521 34816 25544 4202496 391 2993 0 1 0 1 0 2 25 0 1 0 900007861 2637824 281 1283457024 134512640 135304128 4290739744 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27667/statm: 644 281 241 194 0 30 0
[pid=27680] ppid=27667 vsize=893144 CPUtime=4.71
/proc/27680/stat : 27680 (java) S 27667 27666 25521 34816 25544 4202496 69294 0 1 0 434 37 0 0 25 0 10 0 900007865 914579456 58487 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27680/statm: 223286 58487 1772 10 0 220376 0
[pid=27680/tid=27681] ppid=27667 vsize=893144 CPUtime=1.85
/proc/27680/task/27681/stat : 27681 (java) R 27667 27666 25521 34816 25544 4202560 47758 0 1 0 161 24 0 0 25 0 10 0 900007866 914579456 58487 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27680/tid=27682] ppid=27667 vsize=893144 CPUtime=0
/proc/27680/task/27682/stat : 27682 (java) S 27667 27666 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 15 0 10 0 900007867 914579456 58487 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27683] ppid=27667 vsize=893144 CPUtime=0.01
/proc/27680/task/27683/stat : 27683 (java) S 27667 27666 25521 34816 25544 4202560 9 0 0 0 1 0 0 0 25 0 10 0 900007868 914579456 58487 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27684] ppid=27667 vsize=893144 CPUtime=0
/proc/27680/task/27684/stat : 27684 (java) S 27667 27666 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 10 0 900007868 914579456 58487 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27685] ppid=27667 vsize=893144 CPUtime=0
/proc/27680/task/27685/stat : 27685 (java) S 27667 27666 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900007870 914579456 58487 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27686] ppid=27667 vsize=893144 CPUtime=1.3
/proc/27680/task/27686/stat : 27686 (java) R 27667 27666 25521 34816 25544 4202560 10280 0 0 0 121 9 0 0 19 0 10 0 900007870 914579456 58487 1283457024 134512640 134550932 4288985872 18446744073709551615 4152096835 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27680/tid=27687] ppid=27667 vsize=893144 CPUtime=1.53
/proc/27680/task/27687/stat : 27687 (java) R 27667 27666 25521 34816 25544 4202560 10141 0 0 0 150 3 0 0 16 0 10 0 900007871 914579456 58487 1283457024 134512640 134550932 4288985872 18446744073709551615 4150575249 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27680/tid=27688] ppid=27667 vsize=893144 CPUtime=0
/proc/27680/task/27688/stat : 27688 (java) S 27667 27666 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 10 0 900007871 914579456 58487 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27689] ppid=27667 vsize=893144 CPUtime=0
/proc/27680/task/27689/stat : 27689 (java) S 27667 27666 25521 34816 25544 4202560 3 0 0 0 0 0 0 0 15 0 10 0 900007871 914579456 58487 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.74
Current children cumulated vsize (KiB) 898292

[startup+5.60493 s]
/proc/loadavg: 1.36 1.18 0.95 3/50 27690
/proc/meminfo: memFree=240112/1048576 swapFree=2095372/2097144
[pid=27666] ppid=27665 vsize=2572 CPUtime=0
/proc/27666/stat : 27666 (p2cudf-user-1.1) S 27665 27666 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900007861 2633728 273 1283457024 134512640 135304128 4293384320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27666/statm: 643 273 233 194 0 29 0
[pid=27667] ppid=27666 vsize=2576 CPUtime=0.03
/proc/27667/stat : 27667 (p2cudf) S 27666 27666 25521 34816 25544 4202496 391 2993 0 1 0 1 0 2 25 0 1 0 900007861 2637824 281 1283457024 134512640 135304128 4290739744 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27667/statm: 644 281 241 194 0 30 0
[pid=27680] ppid=27667 vsize=893792 CPUtime=5.43
/proc/27680/stat : 27680 (java) S 27667 27666 25521 34816 25544 4202496 71357 0 1 0 502 41 0 0 25 0 12 0 900007865 915243008 60550 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27680/statm: 223448 60550 1790 10 0 220538 0
[pid=27680/tid=27681] ppid=27667 vsize=893792 CPUtime=2.09
/proc/27680/task/27681/stat : 27681 (java) S 27667 27666 25521 34816 25544 4202560 49744 0 1 0 183 26 0 0 25 0 12 0 900007866 915243008 60550 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27682] ppid=27667 vsize=893792 CPUtime=0
/proc/27680/task/27682/stat : 27682 (java) S 27667 27666 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 16 0 12 0 900007867 915243008 60550 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27683] ppid=27667 vsize=893792 CPUtime=0.01
/proc/27680/task/27683/stat : 27683 (java) S 27667 27666 25521 34816 25544 4202560 9 0 0 0 1 0 0 0 25 0 12 0 900007868 915243008 60550 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27684] ppid=27667 vsize=893792 CPUtime=0
/proc/27680/task/27684/stat : 27684 (java) S 27667 27666 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900007868 915243008 60550 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27685] ppid=27667 vsize=893792 CPUtime=0
/proc/27680/task/27685/stat : 27685 (java) S 27667 27666 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900007870 915243008 60550 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27686] ppid=27667 vsize=893792 CPUtime=1.59
/proc/27680/task/27686/stat : 27686 (java) S 27667 27666 25521 34816 25544 4202560 10320 0 0 0 149 10 0 0 18 0 12 0 900007870 915243008 60550 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27687] ppid=27667 vsize=893792 CPUtime=1.71
/proc/27680/task/27687/stat : 27687 (java) S 27667 27666 25521 34816 25544 4202560 10170 0 0 0 168 3 0 0 15 0 12 0 900007871 915243008 60550 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27688] ppid=27667 vsize=893792 CPUtime=0
/proc/27680/task/27688/stat : 27688 (java) S 27667 27666 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900007871 915243008 60550 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27689] ppid=27667 vsize=893792 CPUtime=0
/proc/27680/task/27689/stat : 27689 (java) S 27667 27666 25521 34816 25544 4202560 3 0 0 0 0 0 0 0 15 0 12 0 900007871 915243008 60550 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27690] ppid=27667 vsize=893792 CPUtime=0
/proc/27680/task/27690/stat : 27690 (java) S 27667 27666 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900008350 915243008 60550 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 898940

[startup+6.00495 s]
/proc/loadavg: 1.36 1.18 0.95 3/50 27690
/proc/meminfo: memFree=240112/1048576 swapFree=2095372/2097144
[pid=27666] ppid=27665 vsize=2572 CPUtime=0
/proc/27666/stat : 27666 (p2cudf-user-1.1) S 27665 27666 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900007861 2633728 273 1283457024 134512640 135304128 4293384320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27666/statm: 643 273 233 194 0 29 0
[pid=27667] ppid=27666 vsize=2576 CPUtime=0.03
/proc/27667/stat : 27667 (p2cudf) S 27666 27666 25521 34816 25544 4202496 391 2993 0 1 0 1 0 2 25 0 1 0 900007861 2637824 281 1283457024 134512640 135304128 4290739744 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27667/statm: 644 281 241 194 0 30 0
[pid=27680] ppid=27667 vsize=893792 CPUtime=5.43
/proc/27680/stat : 27680 (java) S 27667 27666 25521 34816 25544 4202496 71357 0 1 0 502 41 0 0 25 0 12 0 900007865 915243008 60550 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27680/statm: 223448 60550 1790 10 0 220538 0
[pid=27680/tid=27681] ppid=27667 vsize=893792 CPUtime=2.09
/proc/27680/task/27681/stat : 27681 (java) S 27667 27666 25521 34816 25544 4202560 49744 0 1 0 183 26 0 0 25 0 12 0 900007866 915243008 60550 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27682] ppid=27667 vsize=893792 CPUtime=0
/proc/27680/task/27682/stat : 27682 (java) S 27667 27666 25521 34816 25544 4202560 5 0 0 0 0 0 0 0 16 0 12 0 900007867 915243008 60550 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27683] ppid=27667 vsize=893792 CPUtime=0.01
/proc/27680/task/27683/stat : 27683 (java) S 27667 27666 25521 34816 25544 4202560 9 0 0 0 1 0 0 0 25 0 12 0 900007868 915243008 60550 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27684] ppid=27667 vsize=893792 CPUtime=0
/proc/27680/task/27684/stat : 27684 (java) S 27667 27666 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900007868 915243008 60550 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27685] ppid=27667 vsize=893792 CPUtime=0
/proc/27680/task/27685/stat : 27685 (java) S 27667 27666 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900007870 915243008 60550 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27686] ppid=27667 vsize=893792 CPUtime=1.59
/proc/27680/task/27686/stat : 27686 (java) S 27667 27666 25521 34816 25544 4202560 10320 0 0 0 149 10 0 0 18 0 12 0 900007870 915243008 60550 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27687] ppid=27667 vsize=893792 CPUtime=1.71
/proc/27680/task/27687/stat : 27687 (java) S 27667 27666 25521 34816 25544 4202560 10170 0 0 0 168 3 0 0 15 0 12 0 900007871 915243008 60550 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27688] ppid=27667 vsize=893792 CPUtime=0
/proc/27680/task/27688/stat : 27688 (java) S 27667 27666 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900007871 915243008 60550 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27689] ppid=27667 vsize=893792 CPUtime=0
/proc/27680/task/27689/stat : 27689 (java) S 27667 27666 25521 34816 25544 4202560 3 0 0 0 0 0 0 0 15 0 12 0 900007871 915243008 60550 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27690] ppid=27667 vsize=893792 CPUtime=0
/proc/27680/task/27690/stat : 27690 (java) S 27667 27666 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900008350 915243008 60550 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 898940

[startup+6.21128 s]
/proc/loadavg: 1.36 1.18 0.95 3/50 27690
/proc/meminfo: memFree=240112/1048576 swapFree=2095372/2097144
[pid=27666] ppid=27665 vsize=2572 CPUtime=0
/proc/27666/stat : 27666 (p2cudf-user-1.1) S 27665 27666 25521 34816 25544 4202496 377 0 0 0 0 0 0 0 25 0 1 0 900007861 2633728 273 1283457024 134512640 135304128 4293384320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27666/statm: 643 273 233 194 0 29 0
[pid=27667] ppid=27666 vsize=2576 CPUtime=0.03
/proc/27667/stat : 27667 (p2cudf) S 27666 27666 25521 34816 25544 4202496 391 2993 0 1 0 1 0 2 25 0 1 0 900007861 2637824 281 1283457024 134512640 135304128 4290739744 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27667/statm: 644 281 241 194 0 30 0
[pid=27680] ppid=27667 vsize=893792 CPUtime=5.58
/proc/27680/stat : 27680 (java) S 27667 27666 25521 34816 25544 4202496 74190 0 1 0 516 42 0 0 25 0 12 0 900007865 915243008 63383 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27680/statm: 223448 63383 1792 10 0 220538 0
[pid=27680/tid=27681] ppid=27667 vsize=893792 CPUtime=2.09
/proc/27680/task/27681/stat : 27681 (java) S 27667 27666 25521 34816 25544 4202560 49744 0 1 0 183 26 0 0 25 0 12 0 900007866 915243008 63383 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27682] ppid=27667 vsize=893792 CPUtime=0.06
/proc/27680/task/27682/stat : 27682 (java) S 27667 27666 25521 34816 25544 4202560 2832 0 0 0 6 0 0 0 16 0 12 0 900007867 915243008 63383 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 0 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27683] ppid=27667 vsize=893792 CPUtime=0.01
/proc/27680/task/27683/stat : 27683 (java) S 27667 27666 25521 34816 25544 4202560 10 0 0 0 1 0 0 0 18 0 12 0 900007868 915243008 63383 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27684] ppid=27667 vsize=893792 CPUtime=0
/proc/27680/task/27684/stat : 27684 (java) S 27667 27666 25521 34816 25544 4202560 6 0 0 0 0 0 0 0 18 0 12 0 900007868 915243008 63383 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27685] ppid=27667 vsize=893792 CPUtime=0
/proc/27680/task/27685/stat : 27685 (java) S 27667 27666 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900007870 915243008 63383 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27686] ppid=27667 vsize=893792 CPUtime=1.63
/proc/27680/task/27686/stat : 27686 (java) S 27667 27666 25521 34816 25544 4202560 10322 0 0 0 153 10 0 0 15 0 12 0 900007870 915243008 63383 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27687] ppid=27667 vsize=893792 CPUtime=1.71
/proc/27680/task/27687/stat : 27687 (java) S 27667 27666 25521 34816 25544 4202560 10170 0 0 0 168 3 0 0 15 0 12 0 900007871 915243008 63383 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27688] ppid=27667 vsize=893792 CPUtime=0
/proc/27680/task/27688/stat : 27688 (java) S 27667 27666 25521 34816 25544 4202560 1 0 0 0 0 0 0 0 25 0 12 0 900007871 915243008 63383 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27689] ppid=27667 vsize=893792 CPUtime=0
/proc/27680/task/27689/stat : 27689 (java) S 27667 27666 25521 34816 25544 4202560 3 0 0 0 0 0 0 0 15 0 12 0 900007871 915243008 63383 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
[pid=27680/tid=27690] ppid=27667 vsize=893792 CPUtime=0
/proc/27680/task/27690/stat : 27690 (java) S 27667 27666 25521 34816 25544 4202560 4 0 0 0 0 0 0 0 25 0 12 0 900008350 915243008 63383 1283457024 134512640 134550932 4288985872 18446744073709551615 4294960130 0 4 0 16800975 18446612133393159168 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.61
Current children cumulated vsize (KiB) 898940

Child status: 0
Real time (s): 6.27251
CPU time (s): 5.68835
CPU user time (s): 5.20033
CPU system time (s): 0.48803
CPU usage (%): 90.687
Max. virtual memory (cumulated for all children) (KiB): 903420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.20033
system time used= 0.48803
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77976
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 720
involuntary context switches= 747

runsolver used 0 second user time and 0.012 second system time

The end