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/201103031013/p2cudf-paranoid-1.12/173.cudf.caixa.log.runsolver ./p2cudf-paranoid-1.12 /home/misc2010/data/misc4/caixa//173.cudf /home/misc2010/tmp/201103031013/p2cudf-paranoid-1.12/173.cudf.caixa.result 

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.63 1.65 1.49 4/36 30338
/proc/meminfo: memFree=298804/1048576 swapFree=0/0
[pid=30337] ppid=30336 vsize=2572 CPUtime=0
/proc/30337/stat : 30337 (p2cudf-paranoid) R 30336 30337 29493 34817 29493 4202496 358 0 0 0 0 0 0 0 25 0 1 0 75885945 2633728 271 1283457024 134512640 135304128 4288172976 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/30337/statm: 643 271 230 194 0 30 0
[pid=30338] ppid=30337 vsize=2572 CPUtime=0
/proc/30338/stat : 30338 (p2cudf-paranoid) R 30337 30337 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 75885945 2633728 41 1283457024 134512640 135304128 4288172976 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/30338/statm: 643 41 0 194 0 30 0

[startup+0.141232 s]
/proc/loadavg: 1.63 1.65 1.49 4/36 30338
/proc/meminfo: memFree=298804/1048576 swapFree=0/0
[pid=30337] ppid=30336 vsize=2572 CPUtime=0
/proc/30337/stat : 30337 (p2cudf-paranoid) S 30336 30337 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 25 0 1 0 75885945 2633728 271 1283457024 134512640 135304128 4288172976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30337/statm: 643 271 230 194 0 30 0
[pid=30338] ppid=30337 vsize=2576 CPUtime=0.03
/proc/30338/stat : 30338 (p2cudf) S 30337 30337 29493 34817 29493 4202496 396 3010 0 1 0 0 2 1 25 0 1 0 75885945 2637824 282 1283457024 134512640 135304128 4288259040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30338/statm: 644 282 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.211252 s]
/proc/loadavg: 1.63 1.65 1.49 4/36 30338
/proc/meminfo: memFree=298804/1048576 swapFree=0/0
[pid=30337] ppid=30336 vsize=2572 CPUtime=0
/proc/30337/stat : 30337 (p2cudf-paranoid) S 30336 30337 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 25 0 1 0 75885945 2633728 271 1283457024 134512640 135304128 4288172976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30337/statm: 643 271 230 194 0 30 0
[pid=30338] ppid=30337 vsize=2576 CPUtime=0.03
/proc/30338/stat : 30338 (p2cudf) S 30337 30337 29493 34817 29493 4202496 396 3010 0 1 0 0 2 1 25 0 1 0 75885945 2637824 282 1283457024 134512640 135304128 4288259040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30338/statm: 644 282 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.311417 s]
/proc/loadavg: 1.63 1.65 1.49 4/36 30338
/proc/meminfo: memFree=298804/1048576 swapFree=0/0
[pid=30337] ppid=30336 vsize=2572 CPUtime=0
/proc/30337/stat : 30337 (p2cudf-paranoid) S 30336 30337 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 25 0 1 0 75885945 2633728 271 1283457024 134512640 135304128 4288172976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30337/statm: 643 271 230 194 0 30 0
[pid=30338] ppid=30337 vsize=2576 CPUtime=0.03
/proc/30338/stat : 30338 (p2cudf) S 30337 30337 29493 34817 29493 4202496 396 3010 0 1 0 0 2 1 25 0 1 0 75885945 2637824 282 1283457024 134512640 135304128 4288259040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30338/statm: 644 282 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.711392 s]
/proc/loadavg: 1.63 1.65 1.49 4/36 30338
/proc/meminfo: memFree=298804/1048576 swapFree=0/0
[pid=30337] ppid=30336 vsize=2572 CPUtime=0
/proc/30337/stat : 30337 (p2cudf-paranoid) S 30336 30337 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 25 0 1 0 75885945 2633728 271 1283457024 134512640 135304128 4288172976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30337/statm: 643 271 230 194 0 30 0
[pid=30338] ppid=30337 vsize=2576 CPUtime=0.03
/proc/30338/stat : 30338 (p2cudf) S 30337 30337 29493 34817 29493 4202496 396 3010 0 1 0 0 2 1 25 0 1 0 75885945 2637824 282 1283457024 134512640 135304128 4288259040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30338/statm: 644 282 239 194 0 31 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+1.51162 s]
/proc/loadavg: 1.63 1.65 1.49 3/47 30360
/proc/meminfo: memFree=251544/1048576 swapFree=0/0
[pid=30337] ppid=30336 vsize=2572 CPUtime=0
/proc/30337/stat : 30337 (p2cudf-paranoid) S 30336 30337 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 25 0 1 0 75885945 2633728 271 1283457024 134512640 135304128 4288172976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30337/statm: 643 271 230 194 0 30 0
[pid=30338] ppid=30337 vsize=2576 CPUtime=0.03
/proc/30338/stat : 30338 (p2cudf) S 30337 30337 29493 34817 29493 4202496 396 3010 0 1 0 0 2 1 25 0 1 0 75885945 2637824 282 1283457024 134512640 135304128 4288259040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30338/statm: 644 282 239 194 0 31 0
[pid=30351] ppid=30338 vsize=886332 CPUtime=1.46
/proc/30351/stat : 30351 (java) S 30338 30337 29493 34817 29493 4202496 21131 0 1 0 136 10 0 0 25 0 10 0 75885949 907603968 16765 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30351/statm: 221583 16765 1725 10 0 218674 0
[pid=30351/tid=30352] ppid=30338 vsize=886332 CPUtime=0.66
/proc/30351/task/30352/stat : 30352 (java) R 30338 30337 29493 34817 29493 4202560 8486 0 1 0 62 4 0 0 25 0 10 0 75885949 907603968 16765 1283457024 134512640 134550932 4293068560 18446744073709551615 4148912803 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30351/tid=30353] ppid=30338 vsize=886332 CPUtime=0
/proc/30351/task/30353/stat : 30353 (java) S 30338 30337 29493 34817 29493 4202560 7 0 0 0 0 0 0 0 16 0 10 0 75885951 907603968 16765 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 0 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30354] ppid=30338 vsize=886332 CPUtime=0
/proc/30351/task/30354/stat : 30354 (java) S 30338 30337 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 75885951 907603968 16765 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30355] ppid=30338 vsize=886332 CPUtime=0
/proc/30351/task/30355/stat : 30355 (java) S 30338 30337 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 75885951 907603968 16765 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30356] ppid=30338 vsize=886332 CPUtime=0
/proc/30351/task/30356/stat : 30356 (java) S 30338 30337 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75885954 907603968 16765 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30357] ppid=30338 vsize=886332 CPUtime=0.35
/proc/30351/task/30357/stat : 30357 (java) R 30338 30337 29493 34817 29493 4202560 7262 0 0 0 31 4 0 0 25 0 10 0 75885954 907603968 16765 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30351/tid=30358] ppid=30338 vsize=886332 CPUtime=0.45
/proc/30351/task/30358/stat : 30358 (java) R 30338 30337 29493 34817 29493 4202560 4304 0 0 0 43 2 0 0 22 0 10 0 75885954 907603968 16765 1283457024 134512640 134550932 4293068560 18446744073709551615 4150164124 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30351/tid=30359] ppid=30338 vsize=886332 CPUtime=0
/proc/30351/task/30359/stat : 30359 (java) S 30338 30337 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 75885954 907603968 16765 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30360] ppid=30338 vsize=886332 CPUtime=0
/proc/30351/task/30360/stat : 30360 (java) S 30338 30337 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 75885954 907603968 16765 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 891480

[startup+3.11196 s]
/proc/loadavg: 1.63 1.65 1.49 3/47 30361
/proc/meminfo: memFree=161644/1048576 swapFree=0/0
[pid=30337] ppid=30336 vsize=2572 CPUtime=0
/proc/30337/stat : 30337 (p2cudf-paranoid) S 30336 30337 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 25 0 1 0 75885945 2633728 271 1283457024 134512640 135304128 4288172976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30337/statm: 643 271 230 194 0 30 0
[pid=30338] ppid=30337 vsize=2576 CPUtime=0.03
/proc/30338/stat : 30338 (p2cudf) S 30337 30337 29493 34817 29493 4202496 396 3010 0 1 0 0 2 1 25 0 1 0 75885945 2637824 282 1283457024 134512640 135304128 4288259040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30338/statm: 644 282 239 194 0 31 0
[pid=30351] ppid=30338 vsize=882840 CPUtime=3.06
/proc/30351/stat : 30351 (java) S 30338 30337 29493 34817 29493 4202496 66105 0 1 0 283 23 0 0 25 0 10 0 75885949 904028160 61151 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30351/statm: 220710 61151 1742 10 0 217801 0
[pid=30351/tid=30352] ppid=30338 vsize=882840 CPUtime=1.47
/proc/30351/task/30352/stat : 30352 (java) R 30338 30337 29493 34817 29493 4202560 50060 0 1 0 132 15 0 0 25 0 10 0 75885949 904028160 61151 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30351/tid=30353] ppid=30338 vsize=882840 CPUtime=0.07
/proc/30351/task/30353/stat : 30353 (java) R 30338 30337 29493 34817 29493 4202560 3024 0 0 0 6 1 0 0 15 0 10 0 75885951 904028160 61151 1283457024 134512640 134550932 4293068560 18446744073709551615 4149434186 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=30351/tid=30354] ppid=30338 vsize=882840 CPUtime=0
/proc/30351/task/30354/stat : 30354 (java) S 30338 30337 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 75885951 904028160 61151 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30355] ppid=30338 vsize=882840 CPUtime=0
/proc/30351/task/30355/stat : 30355 (java) S 30338 30337 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 75885951 904028160 61151 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30356] ppid=30338 vsize=882840 CPUtime=0
/proc/30351/task/30356/stat : 30356 (java) S 30338 30337 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75885954 904028160 61151 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30357] ppid=30338 vsize=882840 CPUtime=0.78
/proc/30351/task/30357/stat : 30357 (java) R 30338 30337 29493 34817 29493 4202560 7549 0 0 0 74 4 0 0 22 0 10 0 75885954 904028160 61151 1283457024 134512640 134550932 4293068560 18446744073709551615 4151700911 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30351/tid=30358] ppid=30338 vsize=882840 CPUtime=0.72
/proc/30351/task/30358/stat : 30358 (java) S 30338 30337 29493 34817 29493 4202560 4400 0 0 0 70 2 0 0 15 0 10 0 75885954 904028160 61151 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30359] ppid=30338 vsize=882840 CPUtime=0
/proc/30351/task/30359/stat : 30359 (java) S 30338 30337 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 75885954 904028160 61151 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30360] ppid=30338 vsize=882840 CPUtime=0
/proc/30351/task/30360/stat : 30360 (java) S 30338 30337 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 75885954 904028160 61151 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 887988

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

[startup+3.23198 s]
/proc/loadavg: 1.63 1.65 1.49 3/47 30361
/proc/meminfo: memFree=161644/1048576 swapFree=0/0
[pid=30337] ppid=30336 vsize=2572 CPUtime=0
/proc/30337/stat : 30337 (p2cudf-paranoid) S 30336 30337 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 25 0 1 0 75885945 2633728 271 1283457024 134512640 135304128 4288172976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30337/statm: 643 271 230 194 0 30 0
[pid=30338] ppid=30337 vsize=2576 CPUtime=0.03
/proc/30338/stat : 30338 (p2cudf) S 30337 30337 29493 34817 29493 4202496 396 3010 0 1 0 0 2 1 25 0 1 0 75885945 2637824 282 1283457024 134512640 135304128 4288259040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30338/statm: 644 282 239 194 0 31 0
[pid=30351] ppid=30338 vsize=882840 CPUtime=3.19
/proc/30351/stat : 30351 (java) S 30338 30337 29493 34817 29493 4202496 73386 0 1 0 293 26 0 0 25 0 10 0 75885949 904028160 68432 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30351/statm: 220710 68432 1742 10 0 217801 0
[pid=30351/tid=30352] ppid=30338 vsize=882840 CPUtime=1.47
/proc/30351/task/30352/stat : 30352 (java) R 30338 30337 29493 34817 29493 4202560 50060 0 1 0 132 15 0 0 25 0 10 0 75885949 904028160 68432 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30351/tid=30353] ppid=30338 vsize=882840 CPUtime=0.18
/proc/30351/task/30353/stat : 30353 (java) R 30338 30337 29493 34817 29493 4202560 10305 0 0 0 15 3 0 0 15 0 10 0 75885951 904028160 68432 1283457024 134512640 134550932 4293068560 18446744073709551615 4149436792 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=30351/tid=30354] ppid=30338 vsize=882840 CPUtime=0
/proc/30351/task/30354/stat : 30354 (java) S 30338 30337 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 75885951 904028160 68432 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30355] ppid=30338 vsize=882840 CPUtime=0
/proc/30351/task/30355/stat : 30355 (java) S 30338 30337 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 75885951 904028160 68432 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30356] ppid=30338 vsize=882840 CPUtime=0
/proc/30351/task/30356/stat : 30356 (java) S 30338 30337 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75885954 904028160 68432 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30357] ppid=30338 vsize=882840 CPUtime=0.78
/proc/30351/task/30357/stat : 30357 (java) R 30338 30337 29493 34817 29493 4202560 7549 0 0 0 74 4 0 0 22 0 10 0 75885954 904028160 68432 1283457024 134512640 134550932 4293068560 18446744073709551615 4151700911 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30351/tid=30358] ppid=30338 vsize=882840 CPUtime=0.72
/proc/30351/task/30358/stat : 30358 (java) S 30338 30337 29493 34817 29493 4202560 4400 0 0 0 70 2 0 0 15 0 10 0 75885954 904028160 68432 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30359] ppid=30338 vsize=882840 CPUtime=0
/proc/30351/task/30359/stat : 30359 (java) S 30338 30337 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 75885954 904028160 68432 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30360] ppid=30338 vsize=882840 CPUtime=0
/proc/30351/task/30360/stat : 30360 (java) R 30338 30337 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 75885954 904028160 68432 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 887988

[startup+4.01213 s]
/proc/loadavg: 1.74 1.67 1.50 5/47 30361
/proc/meminfo: memFree=18052/1048576 swapFree=0/0
[pid=30337] ppid=30336 vsize=2572 CPUtime=0
/proc/30337/stat : 30337 (p2cudf-paranoid) S 30336 30337 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 25 0 1 0 75885945 2633728 271 1283457024 134512640 135304128 4288172976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30337/statm: 643 271 230 194 0 30 0
[pid=30338] ppid=30337 vsize=2576 CPUtime=0.03
/proc/30338/stat : 30338 (p2cudf) S 30337 30337 29493 34817 29493 4202496 396 3010 0 1 0 0 2 1 25 0 1 0 75885945 2637824 282 1283457024 134512640 135304128 4288259040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30338/statm: 644 282 239 194 0 31 0
[pid=30351] ppid=30338 vsize=882528 CPUtime=3.95
/proc/30351/stat : 30351 (java) S 30338 30337 29493 34817 29493 4202496 81374 0 1 0 367 28 0 0 25 0 10 0 75885949 903708672 74798 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30351/statm: 220632 74798 1746 10 0 217723 0
[pid=30351/tid=30352] ppid=30338 vsize=882528 CPUtime=1.63
/proc/30351/task/30352/stat : 30352 (java) R 30338 30337 29493 34817 29493 4202560 50183 0 1 0 148 15 0 0 25 0 10 0 75885949 903708672 74798 1283457024 134512640 134550932 4293068560 18446744073709551615 4095314820 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30351/tid=30353] ppid=30338 vsize=882528 CPUtime=0.36
/proc/30351/task/30353/stat : 30353 (java) S 30338 30337 29493 34817 29493 4202560 16499 0 0 0 32 4 0 0 16 0 10 0 75885951 903708672 74798 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 0 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30354] ppid=30338 vsize=882528 CPUtime=0
/proc/30351/task/30354/stat : 30354 (java) S 30338 30337 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 10 0 75885951 903708672 74798 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30355] ppid=30338 vsize=882528 CPUtime=0
/proc/30351/task/30355/stat : 30355 (java) S 30338 30337 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 75885951 903708672 74798 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30356] ppid=30338 vsize=882528 CPUtime=0
/proc/30351/task/30356/stat : 30356 (java) S 30338 30337 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75885954 903708672 74798 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30357] ppid=30338 vsize=882528 CPUtime=0.78
/proc/30351/task/30357/stat : 30357 (java) R 30338 30337 29493 34817 29493 4202560 7549 0 0 0 74 4 0 0 22 0 10 0 75885954 903708672 74798 1283457024 134512640 134550932 4293068560 18446744073709551615 4151700911 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30351/tid=30358] ppid=30338 vsize=882528 CPUtime=1.15
/proc/30351/task/30358/stat : 30358 (java) S 30338 30337 29493 34817 29493 4202560 6069 0 0 0 113 2 0 0 16 0 10 0 75885954 903708672 74798 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30359] ppid=30338 vsize=882528 CPUtime=0
/proc/30351/task/30359/stat : 30359 (java) S 30338 30337 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 10 0 75885954 903708672 74798 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30360] ppid=30338 vsize=882528 CPUtime=0
/proc/30351/task/30360/stat : 30360 (java) S 30338 30337 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 10 0 75885954 903708672 74798 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 887676

[startup+4.40349 s]
/proc/loadavg: 1.74 1.67 1.50 1/48 30362
/proc/meminfo: memFree=7420/1048576 swapFree=0/0
[pid=30337] ppid=30336 vsize=2572 CPUtime=0
/proc/30337/stat : 30337 (p2cudf-paranoid) S 30336 30337 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 25 0 1 0 75885945 2633728 271 1283457024 134512640 135304128 4288172976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30337/statm: 643 271 230 194 0 30 0
[pid=30338] ppid=30337 vsize=2576 CPUtime=0.03
/proc/30338/stat : 30338 (p2cudf) S 30337 30337 29493 34817 29493 4202496 396 3010 0 1 0 0 2 1 25 0 1 0 75885945 2637824 282 1283457024 134512640 135304128 4288259040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30338/statm: 644 282 239 194 0 31 0
[pid=30351] ppid=30338 vsize=882852 CPUtime=4.26
/proc/30351/stat : 30351 (java) S 30338 30337 29493 34817 29493 4202496 81412 0 1 0 398 28 0 0 25 0 11 0 75885949 904040448 74836 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30351/statm: 220713 74836 1747 10 0 217804 0
[pid=30351/tid=30352] ppid=30338 vsize=882852 CPUtime=1.79
/proc/30351/task/30352/stat : 30352 (java) S 30338 30337 29493 34817 29493 4202560 50198 0 1 0 164 15 0 0 25 0 11 0 75885949 904040448 74836 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30353] ppid=30338 vsize=882852 CPUtime=0.36
/proc/30351/task/30353/stat : 30353 (java) S 30338 30337 29493 34817 29493 4202560 16499 0 0 0 32 4 0 0 16 0 11 0 75885951 904040448 74836 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 0 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30354] ppid=30338 vsize=882852 CPUtime=0
/proc/30351/task/30354/stat : 30354 (java) S 30338 30337 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 75885951 904040448 74836 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30355] ppid=30338 vsize=882852 CPUtime=0
/proc/30351/task/30355/stat : 30355 (java) S 30338 30337 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 75885951 904040448 74836 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30356] ppid=30338 vsize=882852 CPUtime=0
/proc/30351/task/30356/stat : 30356 (java) S 30338 30337 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75885954 904040448 74836 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30357] ppid=30338 vsize=882852 CPUtime=0.91
/proc/30351/task/30357/stat : 30357 (java) S 30338 30337 29493 34817 29493 4202560 7568 0 0 0 87 4 0 0 21 0 11 0 75885954 904040448 74836 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30358] ppid=30338 vsize=882852 CPUtime=1.17
/proc/30351/task/30358/stat : 30358 (java) S 30338 30337 29493 34817 29493 4202560 6069 0 0 0 115 2 0 0 16 0 11 0 75885954 904040448 74836 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30359] ppid=30338 vsize=882852 CPUtime=0
/proc/30351/task/30359/stat : 30359 (java) S 30338 30337 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 11 0 75885954 904040448 74836 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30360] ppid=30338 vsize=882852 CPUtime=0
/proc/30351/task/30360/stat : 30360 (java) S 30338 30337 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 75885954 904040448 74836 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30362] ppid=30338 vsize=882852 CPUtime=0
/proc/30351/task/30362/stat : 30362 (java) S 30338 30337 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 75886378 904040448 74836 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 888000

[startup+4.80752 s]
/proc/loadavg: 1.74 1.67 1.50 1/48 30362
/proc/meminfo: memFree=7420/1048576 swapFree=0/0
[pid=30337] ppid=30336 vsize=2572 CPUtime=0
/proc/30337/stat : 30337 (p2cudf-paranoid) S 30336 30337 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 25 0 1 0 75885945 2633728 271 1283457024 134512640 135304128 4288172976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30337/statm: 643 271 230 194 0 30 0
[pid=30338] ppid=30337 vsize=2576 CPUtime=0.03
/proc/30338/stat : 30338 (p2cudf) S 30337 30337 29493 34817 29493 4202496 396 3010 0 1 0 0 2 1 25 0 1 0 75885945 2637824 282 1283457024 134512640 135304128 4288259040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30338/statm: 644 282 239 194 0 31 0
[pid=30351] ppid=30338 vsize=882852 CPUtime=4.26
/proc/30351/stat : 30351 (java) S 30338 30337 29493 34817 29493 4202496 81412 0 1 0 398 28 0 0 25 0 11 0 75885949 904040448 74836 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30351/statm: 220713 74836 1747 10 0 217804 0
[pid=30351/tid=30352] ppid=30338 vsize=882852 CPUtime=1.79
/proc/30351/task/30352/stat : 30352 (java) S 30338 30337 29493 34817 29493 4202560 50198 0 1 0 164 15 0 0 25 0 11 0 75885949 904040448 74836 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30353] ppid=30338 vsize=882852 CPUtime=0.36
/proc/30351/task/30353/stat : 30353 (java) S 30338 30337 29493 34817 29493 4202560 16499 0 0 0 32 4 0 0 15 0 11 0 75885951 904040448 74836 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 0 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30354] ppid=30338 vsize=882852 CPUtime=0
/proc/30351/task/30354/stat : 30354 (java) S 30338 30337 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 75885951 904040448 74836 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30355] ppid=30338 vsize=882852 CPUtime=0
/proc/30351/task/30355/stat : 30355 (java) S 30338 30337 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 75885951 904040448 74836 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30356] ppid=30338 vsize=882852 CPUtime=0
/proc/30351/task/30356/stat : 30356 (java) S 30338 30337 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75885954 904040448 74836 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30357] ppid=30338 vsize=882852 CPUtime=0.91
/proc/30351/task/30357/stat : 30357 (java) S 30338 30337 29493 34817 29493 4202560 7568 0 0 0 87 4 0 0 21 0 11 0 75885954 904040448 74836 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30358] ppid=30338 vsize=882852 CPUtime=1.17
/proc/30351/task/30358/stat : 30358 (java) S 30338 30337 29493 34817 29493 4202560 6069 0 0 0 115 2 0 0 16 0 11 0 75885954 904040448 74836 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30359] ppid=30338 vsize=882852 CPUtime=0
/proc/30351/task/30359/stat : 30359 (java) S 30338 30337 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 11 0 75885954 904040448 74836 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30360] ppid=30338 vsize=882852 CPUtime=0
/proc/30351/task/30360/stat : 30360 (java) S 30338 30337 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 15 0 11 0 75885954 904040448 74836 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
[pid=30351/tid=30362] ppid=30338 vsize=882852 CPUtime=0
/proc/30351/task/30362/stat : 30362 (java) S 30338 30337 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 75886378 904040448 74836 1283457024 134512640 134550932 4293068560 18446744073709551615 4294960130 0 4 0 16800975 18446612132467746624 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 888000

[startup+4.9081 s]
/proc/loadavg: 1.74 1.67 1.50 1/48 30362
/proc/meminfo: memFree=7420/1048576 swapFree=0/0
[pid=30337] ppid=30336 vsize=2572 CPUtime=0
/proc/30337/stat : 30337 (p2cudf-paranoid) S 30336 30337 29493 34817 29493 4202496 376 0 0 0 0 0 0 0 25 0 1 0 75885945 2633728 271 1283457024 134512640 135304128 4288172976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30337/statm: 643 271 230 194 0 30 0
[pid=30338] ppid=30337 vsize=2576 CPUtime=0.03
/proc/30338/stat : 30338 (p2cudf) S 30337 30337 29493 34817 29493 4202496 396 3010 0 1 0 0 2 1 25 0 1 0 75885945 2637824 282 1283457024 134512640 135304128 4288259040 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30338/statm: 644 282 239 194 0 31 0
[pid=30351] ppid=30338 vsize=0 CPUtime=4.28
/proc/30351/stat : 30351 (java) Z 30338 30337 29493 34817 29493 4203532 81420 0 1 0 398 30 0 0 18 0 2 0 75885949 0 0 1283457024 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30351/statm: 0 0 0 0 0 0 0
[pid=30351/tid=30352] ppid=30338 vsize=0 CPUtime=1.81
/proc/30351/task/30352/stat : 30352 (java) R 30338 30337 29493 34817 29493 4203588 50198 0 1 0 164 17 0 0 20 0 2 0 75885949 0 0 1283457024 0 0 0 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 5148

Child status: 0
Real time (s): 4.91998
CPU time (s): 4.33227
CPU user time (s): 4.00825
CPU system time (s): 0.32402
CPU usage (%): 88.0546
Max. virtual memory (cumulated for all children) (KiB): 891480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.00825
system time used= 0.32402
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85221
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= 418
involuntary context switches= 408

runsolver used 0 second user time and 0.004 second system time

The end