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/201012070034/p2cudf-trendy-1.9/7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./p2cudf-trendy-1.9 /home/misc2010/data/2010/debian-dudf//7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf /home/misc2010/tmp/201012070034/p2cudf-trendy-1.9/7e7e0b16-38a5-11df-b280-00163e7a6f5e.cudf.debian-dudf.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.00 1.00 1.00 1/44 32364
/proc/meminfo: memFree=665360/1048576 swapFree=2077628/2097144
[pid=32364] ppid=32363 vsize=3024 CPUtime=0
/proc/32364/stat : 32364 (runsolver) D 32363 32364 4159 34819 4229 4202560 72 0 0 0 0 0 0 0 24 0 1 0 884493827 3096576 93 1283457024 134512640 134586868 4288719632 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0
/proc/32364/statm: 756 93 62 19 0 54 0

[startup+0.19078 s]
/proc/loadavg: 1.00 1.00 1.00 1/44 32364
/proc/meminfo: memFree=665360/1048576 swapFree=2077628/2097144
[pid=32364] ppid=32363 vsize=2576 CPUtime=0
/proc/32364/stat : 32364 (p2cudf-trendy-1) S 32363 32364 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884493827 2637824 274 1283457024 134512640 135304128 4289012800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32364/statm: 644 274 233 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2576

[startup+0.20672 s]
/proc/loadavg: 1.00 1.00 1.00 1/44 32364
/proc/meminfo: memFree=665360/1048576 swapFree=2077628/2097144
[pid=32364] ppid=32363 vsize=2576 CPUtime=0
/proc/32364/stat : 32364 (p2cudf-trendy-1) S 32363 32364 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884493827 2637824 274 1283457024 134512640 135304128 4289012800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32364/statm: 644 274 233 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2576

[startup+0.306743 s]
/proc/loadavg: 1.00 1.00 1.00 1/44 32364
/proc/meminfo: memFree=665360/1048576 swapFree=2077628/2097144
[pid=32364] ppid=32363 vsize=2576 CPUtime=0
/proc/32364/stat : 32364 (p2cudf-trendy-1) S 32363 32364 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884493827 2637824 274 1283457024 134512640 135304128 4289012800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32364/statm: 644 274 233 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2576

[startup+0.706767 s]
/proc/loadavg: 1.00 1.00 1.00 1/44 32364
/proc/meminfo: memFree=665360/1048576 swapFree=2077628/2097144
[pid=32364] ppid=32363 vsize=2576 CPUtime=0
/proc/32364/stat : 32364 (p2cudf-trendy-1) S 32363 32364 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884493827 2637824 274 1283457024 134512640 135304128 4289012800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32364/statm: 644 274 233 194 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2576

[startup+1.51225 s]
/proc/loadavg: 1.00 1.00 1.00 3/56 32387
/proc/meminfo: memFree=643136/1048576 swapFree=2077628/2097144
[pid=32364] ppid=32363 vsize=2576 CPUtime=0
/proc/32364/stat : 32364 (p2cudf-trendy-1) S 32363 32364 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884493827 2637824 274 1283457024 134512640 135304128 4289012800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32364/statm: 644 274 233 194 0 30 0
[pid=32366] ppid=32364 vsize=2572 CPUtime=0
/proc/32366/stat : 32366 (p2cudf) S 32364 32364 4159 34819 4229 4202496 392 2784 0 128 0 0 0 0 20 0 1 0 884493829 2633728 281 1283457024 134512640 135304128 4291423872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32366/statm: 643 281 241 194 0 29 0
[pid=32378] ppid=32366 vsize=857008 CPUtime=0.23
/proc/32378/stat : 32378 (java) S 32366 32364 4159 34819 4229 4202496 5171 0 77 0 22 1 0 0 20 0 10 0 884493890 877576192 4906 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32378/statm: 214252 4906 1715 10 0 211342 0
[pid=32378/tid=32379] ppid=32366 vsize=857008 CPUtime=0.13
/proc/32378/task/32379/stat : 32379 (java) R 32366 32364 4159 34819 4229 4202560 3301 0 4 0 12 1 0 0 24 0 10 0 884493909 877576192 4906 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32378/tid=32380] ppid=32366 vsize=857008 CPUtime=0
/proc/32378/task/32380/stat : 32380 (java) S 32366 32364 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 23 0 10 0 884493915 877576192 4906 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32381] ppid=32366 vsize=857008 CPUtime=0
/proc/32378/task/32381/stat : 32381 (java) S 32366 32364 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 22 0 10 0 884493916 877576192 4906 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32382] ppid=32366 vsize=857008 CPUtime=0
/proc/32378/task/32382/stat : 32382 (java) S 32366 32364 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 23 0 10 0 884493916 877576192 4906 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32383] ppid=32366 vsize=857008 CPUtime=0
/proc/32378/task/32383/stat : 32383 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 23 0 10 0 884493927 877576192 4906 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32384] ppid=32366 vsize=857008 CPUtime=0
/proc/32378/task/32384/stat : 32384 (java) S 32366 32364 4159 34819 4229 4202560 86 0 0 0 0 0 0 0 24 0 10 0 884493927 877576192 4906 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32385] ppid=32366 vsize=857008 CPUtime=0.09
/proc/32378/task/32385/stat : 32385 (java) R 32366 32364 4159 34819 4229 4202560 744 0 0 0 9 0 0 0 21 0 10 0 884493927 877576192 4906 1283457024 134512640 134550932 4290544704 18446744073709551615 4151937374 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32378/tid=32386] ppid=32366 vsize=857008 CPUtime=0
/proc/32378/task/32386/stat : 32386 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 884493927 877576192 4906 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32387] ppid=32366 vsize=857008 CPUtime=0
/proc/32378/task/32387/stat : 32387 (java) S 32366 32364 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 20 0 10 0 884493927 877576192 4906 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 862156

[startup+3.10679 s]
/proc/loadavg: 1.00 1.00 1.00 3/56 32387
/proc/meminfo: memFree=607784/1048576 swapFree=2077628/2097144
[pid=32364] ppid=32363 vsize=2576 CPUtime=0
/proc/32364/stat : 32364 (p2cudf-trendy-1) S 32363 32364 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884493827 2637824 274 1283457024 134512640 135304128 4289012800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32364/statm: 644 274 233 194 0 30 0
[pid=32366] ppid=32364 vsize=2572 CPUtime=0
/proc/32366/stat : 32366 (p2cudf) S 32364 32364 4159 34819 4229 4202496 392 2784 0 128 0 0 0 0 20 0 1 0 884493829 2633728 281 1283457024 134512640 135304128 4291423872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32366/statm: 643 281 241 194 0 29 0
[pid=32378] ppid=32366 vsize=872808 CPUtime=1.8
/proc/32378/stat : 32378 (java) S 32366 32364 4159 34819 4229 4202496 44717 0 79 0 160 20 0 0 20 0 10 0 884493890 893755392 43610 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32378/statm: 218202 43610 1742 10 0 215292 0
[pid=32378/tid=32379] ppid=32366 vsize=872808 CPUtime=1
/proc/32378/task/32379/stat : 32379 (java) R 32366 32364 4159 34819 4229 4202560 38136 0 4 0 83 17 0 0 25 0 10 0 884493909 893755392 43610 1283457024 134512640 134550932 4290544704 18446744073709551615 4095188047 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32378/tid=32380] ppid=32366 vsize=872808 CPUtime=0
/proc/32378/task/32380/stat : 32380 (java) S 32366 32364 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 16 0 10 0 884493915 893755392 43610 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32381] ppid=32366 vsize=872808 CPUtime=0
/proc/32378/task/32381/stat : 32381 (java) S 32366 32364 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 22 0 10 0 884493916 893755392 43610 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32382] ppid=32366 vsize=872808 CPUtime=0
/proc/32378/task/32382/stat : 32382 (java) S 32366 32364 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 23 0 10 0 884493916 893755392 43610 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32383] ppid=32366 vsize=872808 CPUtime=0
/proc/32378/task/32383/stat : 32383 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 23 0 10 0 884493927 893755392 43610 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32384] ppid=32366 vsize=872808 CPUtime=0.38
/proc/32378/task/32384/stat : 32384 (java) S 32366 32364 4159 34819 4229 4202560 3198 0 1 0 36 2 0 0 16 0 10 0 884493927 893755392 43610 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32385] ppid=32366 vsize=872808 CPUtime=0.4
/proc/32378/task/32385/stat : 32385 (java) S 32366 32364 4159 34819 4229 4202560 2341 0 1 0 40 0 0 0 15 0 10 0 884493927 893755392 43610 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32386] ppid=32366 vsize=872808 CPUtime=0
/proc/32378/task/32386/stat : 32386 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 884493927 893755392 43610 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32387] ppid=32366 vsize=872808 CPUtime=0
/proc/32378/task/32387/stat : 32387 (java) S 32366 32364 4159 34819 4229 4202560 3 0 0 0 0 0 0 0 15 0 10 0 884493927 893755392 43610 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 877956
heavy processes:

[startup+6.31737 s]
/proc/loadavg: 1.16 1.03 1.01 2/56 32387
/proc/meminfo: memFree=377400/1048576 swapFree=2077628/2097144
[pid=32364] ppid=32363 vsize=2576 CPUtime=0
/proc/32364/stat : 32364 (p2cudf-trendy-1) S 32363 32364 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884493827 2637824 274 1283457024 134512640 135304128 4289012800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32364/statm: 644 274 233 194 0 30 0
[pid=32366] ppid=32364 vsize=2572 CPUtime=0
/proc/32366/stat : 32366 (p2cudf) S 32364 32364 4159 34819 4229 4202496 392 2784 0 128 0 0 0 0 20 0 1 0 884493829 2633728 281 1283457024 134512640 135304128 4291423872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32366/statm: 643 281 241 194 0 29 0
[pid=32378] ppid=32366 vsize=873416 CPUtime=4.93
/proc/32378/stat : 32378 (java) S 32366 32364 4159 34819 4229 4202496 85085 0 79 0 459 34 0 0 20 0 10 0 884493890 894377984 82027 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32378/statm: 218354 82027 1766 10 0 215444 0
[pid=32378/tid=32379] ppid=32366 vsize=873416 CPUtime=2.16
/proc/32378/task/32379/stat : 32379 (java) R 32366 32364 4159 34819 4229 4202560 50352 0 4 0 192 24 0 0 25 0 10 0 884493909 894377984 82027 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32378/tid=32380] ppid=32366 vsize=873416 CPUtime=0.58
/proc/32378/task/32380/stat : 32380 (java) S 32366 32364 4159 34819 4229 4202560 25772 0 0 0 51 7 0 0 16 0 10 0 884493915 894377984 82027 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32381] ppid=32366 vsize=873416 CPUtime=0
/proc/32378/task/32381/stat : 32381 (java) S 32366 32364 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 18 0 10 0 884493916 894377984 82027 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32382] ppid=32366 vsize=873416 CPUtime=0
/proc/32378/task/32382/stat : 32382 (java) S 32366 32364 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 18 0 10 0 884493916 894377984 82027 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32383] ppid=32366 vsize=873416 CPUtime=0
/proc/32378/task/32383/stat : 32383 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 23 0 10 0 884493927 894377984 82027 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32384] ppid=32366 vsize=873416 CPUtime=0.38
/proc/32378/task/32384/stat : 32384 (java) S 32366 32364 4159 34819 4229 4202560 3198 0 1 0 36 2 0 0 16 0 10 0 884493927 894377984 82027 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32385] ppid=32366 vsize=873416 CPUtime=1.79
/proc/32378/task/32385/stat : 32385 (java) S 32366 32364 4159 34819 4229 4202560 4723 0 1 0 179 0 0 0 15 0 10 0 884493927 894377984 82027 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32386] ppid=32366 vsize=873416 CPUtime=0
/proc/32378/task/32386/stat : 32386 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 884493927 894377984 82027 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32387] ppid=32366 vsize=873416 CPUtime=0
/proc/32378/task/32387/stat : 32387 (java) S 32366 32364 4159 34819 4229 4202560 3 0 0 0 0 0 0 0 15 0 10 0 884493927 894377984 82027 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.93
Current children cumulated vsize (KiB) 878564
heavy processes:

[startup+12.7067 s]
/proc/loadavg: 1.15 1.03 1.01 2/57 32389
/proc/meminfo: memFree=300776/1048576 swapFree=2077628/2097144
[pid=32364] ppid=32363 vsize=2576 CPUtime=0
/proc/32364/stat : 32364 (p2cudf-trendy-1) S 32363 32364 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884493827 2637824 274 1283457024 134512640 135304128 4289012800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32364/statm: 644 274 233 194 0 30 0
[pid=32366] ppid=32364 vsize=2572 CPUtime=0
/proc/32366/stat : 32366 (p2cudf) S 32364 32364 4159 34819 4229 4202496 392 2784 0 128 0 0 0 0 20 0 1 0 884493829 2633728 281 1283457024 134512640 135304128 4291423872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32366/statm: 643 281 241 194 0 29 0
[pid=32378] ppid=32366 vsize=872844 CPUtime=11.18
/proc/32378/stat : 32378 (java) S 32366 32364 4159 34819 4229 4202496 91768 0 79 0 1084 34 0 0 20 0 11 0 884493890 893792256 88518 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32378/statm: 218211 88518 1792 10 0 215301 0
[pid=32378/tid=32379] ppid=32366 vsize=872844 CPUtime=6.96
/proc/32378/task/32379/stat : 32379 (java) R 32366 32364 4159 34819 4229 4202560 50413 0 4 0 672 24 0 0 25 0 11 0 884493909 893792256 88518 1283457024 134512640 134550932 4290544704 18446744073709551615 4096219344 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32378/tid=32380] ppid=32366 vsize=872844 CPUtime=0.84
/proc/32378/task/32380/stat : 32380 (java) S 32366 32364 4159 34819 4229 4202560 32246 0 0 0 76 8 0 0 16 0 11 0 884493915 893792256 88518 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32381] ppid=32366 vsize=872844 CPUtime=0
/proc/32378/task/32381/stat : 32381 (java) S 32366 32364 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 18 0 11 0 884493916 893792256 88518 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32382] ppid=32366 vsize=872844 CPUtime=0
/proc/32378/task/32382/stat : 32382 (java) S 32366 32364 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 18 0 11 0 884493916 893792256 88518 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32383] ppid=32366 vsize=872844 CPUtime=0
/proc/32378/task/32383/stat : 32383 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 23 0 11 0 884493927 893792256 88518 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32384] ppid=32366 vsize=872844 CPUtime=0.38
/proc/32378/task/32384/stat : 32384 (java) S 32366 32364 4159 34819 4229 4202560 3198 0 1 0 36 2 0 0 16 0 11 0 884493927 893792256 88518 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32385] ppid=32366 vsize=872844 CPUtime=2.98
/proc/32378/task/32385/stat : 32385 (java) S 32366 32364 4159 34819 4229 4202560 4867 0 1 0 298 0 0 0 15 0 11 0 884493927 893792256 88518 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32386] ppid=32366 vsize=872844 CPUtime=0
/proc/32378/task/32386/stat : 32386 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 884493927 893792256 88518 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32387] ppid=32366 vsize=872844 CPUtime=0
/proc/32378/task/32387/stat : 32387 (java) S 32366 32364 4159 34819 4229 4202560 3 0 0 0 0 0 0 0 15 0 11 0 884493927 893792256 88518 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.18
Current children cumulated vsize (KiB) 877992

[startup+25.5103 s]
/proc/loadavg: 1.27 1.06 1.02 3/57 32409
/proc/meminfo: memFree=269652/1048576 swapFree=2077628/2097144
[pid=32364] ppid=32363 vsize=2576 CPUtime=0
/proc/32364/stat : 32364 (p2cudf-trendy-1) S 32363 32364 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884493827 2637824 274 1283457024 134512640 135304128 4289012800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32364/statm: 644 274 233 194 0 30 0
[pid=32366] ppid=32364 vsize=2572 CPUtime=0
/proc/32366/stat : 32366 (p2cudf) S 32364 32364 4159 34819 4229 4202496 392 2784 0 128 0 0 0 0 20 0 1 0 884493829 2633728 281 1283457024 134512640 135304128 4291423872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32366/statm: 643 281 241 194 0 29 0
[pid=32378] ppid=32366 vsize=873492 CPUtime=23.98
/proc/32378/stat : 32378 (java) S 32366 32364 4159 34819 4229 4202496 99518 0 79 0 2360 38 0 0 20 0 13 0 884493890 894455808 96268 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32378/statm: 218373 96268 1793 10 0 215463 0
[pid=32378/tid=32379] ppid=32366 vsize=873492 CPUtime=18.51
/proc/32378/task/32379/stat : 32379 (java) R 32366 32364 4159 34819 4229 4202560 50417 0 4 0 1827 24 0 0 25 0 13 0 884493909 894455808 96268 1283457024 134512640 134550932 4290544704 18446744073709551615 4095819093 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32378/tid=32380] ppid=32366 vsize=873492 CPUtime=1.68
/proc/32378/task/32380/stat : 32380 (java) S 32366 32364 4159 34819 4229 4202560 39983 0 0 0 157 11 0 0 15 0 13 0 884493915 894455808 96268 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32381] ppid=32366 vsize=873492 CPUtime=0
/proc/32378/task/32381/stat : 32381 (java) S 32366 32364 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 18 0 13 0 884493916 894455808 96268 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32382] ppid=32366 vsize=873492 CPUtime=0
/proc/32378/task/32382/stat : 32382 (java) S 32366 32364 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 15 0 13 0 884493916 894455808 96268 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32383] ppid=32366 vsize=873492 CPUtime=0
/proc/32378/task/32383/stat : 32383 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 23 0 13 0 884493927 894455808 96268 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32384] ppid=32366 vsize=873492 CPUtime=0.38
/proc/32378/task/32384/stat : 32384 (java) S 32366 32364 4159 34819 4229 4202560 3198 0 1 0 36 2 0 0 16 0 13 0 884493927 894455808 96268 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32385] ppid=32366 vsize=873492 CPUtime=3.38
/proc/32378/task/32385/stat : 32385 (java) S 32366 32364 4159 34819 4229 4202560 4868 0 1 0 338 0 0 0 16 0 13 0 884493927 894455808 96268 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32386] ppid=32366 vsize=873492 CPUtime=0
/proc/32378/task/32386/stat : 32386 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 13 0 884493927 894455808 96268 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32387] ppid=32366 vsize=873492 CPUtime=0
/proc/32378/task/32387/stat : 32387 (java) S 32366 32364 4159 34819 4229 4202560 3 0 0 0 0 0 0 0 15 0 13 0 884493927 894455808 96268 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.98
Current children cumulated vsize (KiB) 878640

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

[startup+38.3144 s]
/proc/loadavg: 1.31 1.08 1.02 2/57 32420
/proc/meminfo: memFree=268536/1048576 swapFree=2077628/2097144
[pid=32364] ppid=32363 vsize=2576 CPUtime=0
/proc/32364/stat : 32364 (p2cudf-trendy-1) S 32363 32364 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884493827 2637824 274 1283457024 134512640 135304128 4289012800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32364/statm: 644 274 233 194 0 30 0
[pid=32366] ppid=32364 vsize=2572 CPUtime=0
/proc/32366/stat : 32366 (p2cudf) S 32364 32364 4159 34819 4229 4202496 392 2784 0 128 0 0 0 0 20 0 1 0 884493829 2633728 281 1283457024 134512640 135304128 4291423872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32366/statm: 643 281 241 194 0 29 0
[pid=32378] ppid=32366 vsize=873816 CPUtime=36.77
/proc/32378/stat : 32378 (java) S 32366 32364 4159 34819 4229 4202496 99798 0 79 0 3638 39 0 0 20 0 11 0 884493890 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32378/statm: 218454 96548 1793 10 0 215544 0
[pid=32378/tid=32379] ppid=32366 vsize=873816 CPUtime=30.81
/proc/32378/task/32379/stat : 32379 (java) R 32366 32364 4159 34819 4229 4202560 50419 0 4 0 3056 25 0 0 25 0 11 0 884493909 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4096133136 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32378/tid=32380] ppid=32366 vsize=873816 CPUtime=2.11
/proc/32378/task/32380/stat : 32380 (java) S 32366 32364 4159 34819 4229 4202560 40257 0 0 0 200 11 0 0 15 0 11 0 884493915 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32381] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32381/stat : 32381 (java) S 32366 32364 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 15 0 11 0 884493916 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32382] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32382/stat : 32382 (java) S 32366 32364 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 15 0 11 0 884493916 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32383] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32383/stat : 32383 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 23 0 11 0 884493927 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32384] ppid=32366 vsize=873816 CPUtime=0.38
/proc/32378/task/32384/stat : 32384 (java) S 32366 32364 4159 34819 4229 4202560 3198 0 1 0 36 2 0 0 16 0 11 0 884493927 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32385] ppid=32366 vsize=873816 CPUtime=3.44
/proc/32378/task/32385/stat : 32385 (java) S 32366 32364 4159 34819 4229 4202560 4868 0 1 0 344 0 0 0 15 0 11 0 884493927 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32386] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32386/stat : 32386 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 884493927 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32387] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32387/stat : 32387 (java) S 32366 32364 4159 34819 4229 4202560 3 0 0 0 0 0 0 0 15 0 11 0 884493927 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32420] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32420/stat : 32420 (java) S 32366 32364 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 23 0 11 0 884497257 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 36.77
Current children cumulated vsize (KiB) 878964

[startup+44.7053 s]
/proc/loadavg: 1.29 1.07 1.02 2/57 32420
/proc/meminfo: memFree=268412/1048576 swapFree=2077628/2097144
[pid=32364] ppid=32363 vsize=2576 CPUtime=0
/proc/32364/stat : 32364 (p2cudf-trendy-1) S 32363 32364 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884493827 2637824 274 1283457024 134512640 135304128 4289012800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32364/statm: 644 274 233 194 0 30 0
[pid=32366] ppid=32364 vsize=2572 CPUtime=0
/proc/32366/stat : 32366 (p2cudf) S 32364 32364 4159 34819 4229 4202496 392 2784 0 128 0 0 0 0 20 0 1 0 884493829 2633728 281 1283457024 134512640 135304128 4291423872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32366/statm: 643 281 241 194 0 29 0
[pid=32378] ppid=32366 vsize=873816 CPUtime=43.16
/proc/32378/stat : 32378 (java) S 32366 32364 4159 34819 4229 4202496 99798 0 79 0 4277 39 0 0 20 0 11 0 884493890 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32378/statm: 218454 96548 1793 10 0 215544 0
[pid=32378/tid=32379] ppid=32366 vsize=873816 CPUtime=36.73
/proc/32378/task/32379/stat : 32379 (java) R 32366 32364 4159 34819 4229 4202560 50419 0 4 0 3648 25 0 0 25 0 11 0 884493909 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4096125958 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32378/tid=32380] ppid=32366 vsize=873816 CPUtime=2.59
/proc/32378/task/32380/stat : 32380 (java) S 32366 32364 4159 34819 4229 4202560 40257 0 0 0 248 11 0 0 15 0 11 0 884493915 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32381] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32381/stat : 32381 (java) S 32366 32364 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 15 0 11 0 884493916 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32382] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32382/stat : 32382 (java) S 32366 32364 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 15 0 11 0 884493916 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32383] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32383/stat : 32383 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 23 0 11 0 884493927 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32384] ppid=32366 vsize=873816 CPUtime=0.38
/proc/32378/task/32384/stat : 32384 (java) S 32366 32364 4159 34819 4229 4202560 3198 0 1 0 36 2 0 0 16 0 11 0 884493927 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32385] ppid=32366 vsize=873816 CPUtime=3.44
/proc/32378/task/32385/stat : 32385 (java) S 32366 32364 4159 34819 4229 4202560 4868 0 1 0 344 0 0 0 15 0 11 0 884493927 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32386] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32386/stat : 32386 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 884493927 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32387] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32387/stat : 32387 (java) S 32366 32364 4159 34819 4229 4202560 3 0 0 0 0 0 0 0 15 0 11 0 884493927 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32420] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32420/stat : 32420 (java) S 32366 32364 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 23 0 11 0 884497257 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 43.16
Current children cumulated vsize (KiB) 878964

[startup+47.9058 s]
/proc/loadavg: 1.26 1.07 1.02 2/57 32420
/proc/meminfo: memFree=268412/1048576 swapFree=2077628/2097144
[pid=32364] ppid=32363 vsize=2576 CPUtime=0
/proc/32364/stat : 32364 (p2cudf-trendy-1) S 32363 32364 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884493827 2637824 274 1283457024 134512640 135304128 4289012800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32364/statm: 644 274 233 194 0 30 0
[pid=32366] ppid=32364 vsize=2572 CPUtime=0
/proc/32366/stat : 32366 (p2cudf) S 32364 32364 4159 34819 4229 4202496 392 2784 0 128 0 0 0 0 20 0 1 0 884493829 2633728 281 1283457024 134512640 135304128 4291423872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32366/statm: 643 281 241 194 0 29 0
[pid=32378] ppid=32366 vsize=873816 CPUtime=46.36
/proc/32378/stat : 32378 (java) S 32366 32364 4159 34819 4229 4202496 99798 0 79 0 4597 39 0 0 20 0 11 0 884493890 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32378/statm: 218454 96548 1793 10 0 215544 0
[pid=32378/tid=32379] ppid=32366 vsize=873816 CPUtime=39.5
/proc/32378/task/32379/stat : 32379 (java) R 32366 32364 4159 34819 4229 4202560 50419 0 4 0 3925 25 0 0 25 0 11 0 884493909 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4096094432 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32378/tid=32380] ppid=32366 vsize=873816 CPUtime=2.97
/proc/32378/task/32380/stat : 32380 (java) S 32366 32364 4159 34819 4229 4202560 40257 0 0 0 286 11 0 0 16 0 11 0 884493915 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32381] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32381/stat : 32381 (java) S 32366 32364 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 15 0 11 0 884493916 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32382] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32382/stat : 32382 (java) S 32366 32364 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 15 0 11 0 884493916 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32383] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32383/stat : 32383 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 23 0 11 0 884493927 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32384] ppid=32366 vsize=873816 CPUtime=0.38
/proc/32378/task/32384/stat : 32384 (java) S 32366 32364 4159 34819 4229 4202560 3198 0 1 0 36 2 0 0 16 0 11 0 884493927 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32385] ppid=32366 vsize=873816 CPUtime=3.49
/proc/32378/task/32385/stat : 32385 (java) S 32366 32364 4159 34819 4229 4202560 4868 0 1 0 349 0 0 0 16 0 11 0 884493927 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32386] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32386/stat : 32386 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 884493927 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32387] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32387/stat : 32387 (java) S 32366 32364 4159 34819 4229 4202560 3 0 0 0 0 0 0 0 15 0 11 0 884493927 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32420] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32420/stat : 32420 (java) S 32366 32364 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 23 0 11 0 884497257 894787584 96548 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 46.36
Current children cumulated vsize (KiB) 878964

[startup+48.7058 s]
/proc/loadavg: 1.26 1.07 1.02 2/57 32420
/proc/meminfo: memFree=268412/1048576 swapFree=2077628/2097144
[pid=32364] ppid=32363 vsize=2576 CPUtime=0
/proc/32364/stat : 32364 (p2cudf-trendy-1) S 32363 32364 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884493827 2637824 274 1283457024 134512640 135304128 4289012800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32364/statm: 644 274 233 194 0 30 0
[pid=32366] ppid=32364 vsize=2572 CPUtime=0
/proc/32366/stat : 32366 (p2cudf) S 32364 32364 4159 34819 4229 4202496 392 2784 0 128 0 0 0 0 20 0 1 0 884493829 2633728 281 1283457024 134512640 135304128 4291423872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32366/statm: 643 281 241 194 0 29 0
[pid=32378] ppid=32366 vsize=873816 CPUtime=47
/proc/32378/stat : 32378 (java) S 32366 32364 4159 34819 4229 4202496 99804 0 79 0 4661 39 0 0 20 0 11 0 884493890 894787584 96554 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32378/statm: 218454 96554 1793 10 0 215544 0
[pid=32378/tid=32379] ppid=32366 vsize=873816 CPUtime=40.1
/proc/32378/task/32379/stat : 32379 (java) S 32366 32364 4159 34819 4229 4202560 50424 0 4 0 3985 25 0 0 25 0 11 0 884493909 894787584 96554 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32380] ppid=32366 vsize=873816 CPUtime=2.97
/proc/32378/task/32380/stat : 32380 (java) S 32366 32364 4159 34819 4229 4202560 40257 0 0 0 286 11 0 0 16 0 11 0 884493915 894787584 96554 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32381] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32381/stat : 32381 (java) S 32366 32364 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 15 0 11 0 884493916 894787584 96554 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32382] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32382/stat : 32382 (java) S 32366 32364 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 15 0 11 0 884493916 894787584 96554 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32383] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32383/stat : 32383 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 23 0 11 0 884493927 894787584 96554 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32384] ppid=32366 vsize=873816 CPUtime=0.38
/proc/32378/task/32384/stat : 32384 (java) S 32366 32364 4159 34819 4229 4202560 3198 0 1 0 36 2 0 0 16 0 11 0 884493927 894787584 96554 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32385] ppid=32366 vsize=873816 CPUtime=3.53
/proc/32378/task/32385/stat : 32385 (java) S 32366 32364 4159 34819 4229 4202560 4869 0 1 0 353 0 0 0 16 0 11 0 884493927 894787584 96554 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32386] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32386/stat : 32386 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 884493927 894787584 96554 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32387] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32387/stat : 32387 (java) S 32366 32364 4159 34819 4229 4202560 3 0 0 0 0 0 0 0 15 0 11 0 884493927 894787584 96554 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 47
Current children cumulated vsize (KiB) 878964

[startup+49.1128 s]
/proc/loadavg: 1.26 1.07 1.02 2/57 32420
/proc/meminfo: memFree=268412/1048576 swapFree=2077628/2097144
[pid=32364] ppid=32363 vsize=2576 CPUtime=0
/proc/32364/stat : 32364 (p2cudf-trendy-1) S 32363 32364 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884493827 2637824 274 1283457024 134512640 135304128 4289012800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32364/statm: 644 274 233 194 0 30 0
[pid=32366] ppid=32364 vsize=2572 CPUtime=0
/proc/32366/stat : 32366 (p2cudf) S 32364 32364 4159 34819 4229 4202496 392 2784 0 128 0 0 0 0 20 0 1 0 884493829 2633728 281 1283457024 134512640 135304128 4291423872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32366/statm: 643 281 241 194 0 29 0
[pid=32378] ppid=32366 vsize=873816 CPUtime=47.03
/proc/32378/stat : 32378 (java) S 32366 32364 4159 34819 4229 4202496 99806 0 79 0 4663 40 0 0 20 0 11 0 884493890 894787584 96556 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32378/statm: 218454 96556 1793 10 0 215544 0
[pid=32378/tid=32379] ppid=32366 vsize=873816 CPUtime=40.1
/proc/32378/task/32379/stat : 32379 (java) S 32366 32364 4159 34819 4229 4202560 50424 0 4 0 3985 25 0 0 25 0 11 0 884493909 894787584 96556 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32380] ppid=32366 vsize=873816 CPUtime=2.97
/proc/32378/task/32380/stat : 32380 (java) S 32366 32364 4159 34819 4229 4202560 40257 0 0 0 286 11 0 0 15 0 11 0 884493915 894787584 96556 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32381] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32381/stat : 32381 (java) S 32366 32364 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 15 0 11 0 884493916 894787584 96556 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32382] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32382/stat : 32382 (java) S 32366 32364 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 15 0 11 0 884493916 894787584 96556 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32383] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32383/stat : 32383 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 23 0 11 0 884493927 894787584 96556 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32384] ppid=32366 vsize=873816 CPUtime=0.38
/proc/32378/task/32384/stat : 32384 (java) S 32366 32364 4159 34819 4229 4202560 3198 0 1 0 36 2 0 0 16 0 11 0 884493927 894787584 96556 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32385] ppid=32366 vsize=873816 CPUtime=3.54
/proc/32378/task/32385/stat : 32385 (java) S 32366 32364 4159 34819 4229 4202560 4869 0 1 0 354 0 0 0 15 0 11 0 884493927 894787584 96556 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32386] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32386/stat : 32386 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 884493927 894787584 96556 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32387] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32387/stat : 32387 (java) S 32366 32364 4159 34819 4229 4202560 3 0 0 0 0 0 0 0 15 0 11 0 884493927 894787584 96556 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 47.03
Current children cumulated vsize (KiB) 878964

[startup+49.2078 s]
/proc/loadavg: 1.26 1.07 1.02 2/57 32420
/proc/meminfo: memFree=268412/1048576 swapFree=2077628/2097144
[pid=32364] ppid=32363 vsize=2576 CPUtime=0
/proc/32364/stat : 32364 (p2cudf-trendy-1) S 32363 32364 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884493827 2637824 274 1283457024 134512640 135304128 4289012800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32364/statm: 644 274 233 194 0 30 0
[pid=32366] ppid=32364 vsize=2572 CPUtime=0
/proc/32366/stat : 32366 (p2cudf) S 32364 32364 4159 34819 4229 4202496 392 2784 0 128 0 0 0 0 20 0 1 0 884493829 2633728 281 1283457024 134512640 135304128 4291423872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32366/statm: 643 281 241 194 0 29 0
[pid=32378] ppid=32366 vsize=873816 CPUtime=47.14
/proc/32378/stat : 32378 (java) S 32366 32364 4159 34819 4229 4202496 99807 0 79 0 4670 44 0 0 20 0 11 0 884493890 894787584 96557 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32378/statm: 218454 96557 1793 10 0 215544 0
[pid=32378/tid=32379] ppid=32366 vsize=873816 CPUtime=40.1
/proc/32378/task/32379/stat : 32379 (java) S 32366 32364 4159 34819 4229 4202560 50424 0 4 0 3985 25 0 0 25 0 11 0 884493909 894787584 96557 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32380] ppid=32366 vsize=873816 CPUtime=2.97
/proc/32378/task/32380/stat : 32380 (java) S 32366 32364 4159 34819 4229 4202560 40257 0 0 0 286 11 0 0 15 0 11 0 884493915 894787584 96557 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32381] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32381/stat : 32381 (java) S 32366 32364 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 15 0 11 0 884493916 894787584 96557 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32382] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32382/stat : 32382 (java) S 32366 32364 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 15 0 11 0 884493916 894787584 96557 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32383] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32383/stat : 32383 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 23 0 11 0 884493927 894787584 96557 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32384] ppid=32366 vsize=873816 CPUtime=0.38
/proc/32378/task/32384/stat : 32384 (java) S 32366 32364 4159 34819 4229 4202560 3198 0 1 0 36 2 0 0 16 0 11 0 884493927 894787584 96557 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32385] ppid=32366 vsize=873816 CPUtime=3.58
/proc/32378/task/32385/stat : 32385 (java) S 32366 32364 4159 34819 4229 4202560 4870 0 1 0 358 0 0 0 16 0 11 0 884493927 894787584 96557 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32386] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32386/stat : 32386 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 884493927 894787584 96557 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32387] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32387/stat : 32387 (java) S 32366 32364 4159 34819 4229 4202560 3 0 0 0 0 0 0 0 15 0 11 0 884493927 894787584 96557 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 47.14
Current children cumulated vsize (KiB) 878964

[startup+49.3058 s]
/proc/loadavg: 1.26 1.07 1.02 1/55 32421
/proc/meminfo: memFree=268052/1048576 swapFree=2077628/2097144
[pid=32364] ppid=32363 vsize=2576 CPUtime=0
/proc/32364/stat : 32364 (p2cudf-trendy-1) S 32363 32364 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 25 0 1 0 884493827 2637824 274 1283457024 134512640 135304128 4289012800 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32364/statm: 644 274 233 194 0 30 0
[pid=32366] ppid=32364 vsize=2572 CPUtime=0
/proc/32366/stat : 32366 (p2cudf) S 32364 32364 4159 34819 4229 4202496 392 2784 0 128 0 0 0 0 20 0 1 0 884493829 2633728 281 1283457024 134512640 135304128 4291423872 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/32366/statm: 643 281 241 194 0 29 0
[pid=32378] ppid=32366 vsize=873816 CPUtime=47.18
/proc/32378/stat : 32378 (java) S 32366 32364 4159 34819 4229 4202496 99809 0 79 0 4674 44 0 0 20 0 9 0 884493890 894787584 96559 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/32378/statm: 218454 96559 1793 10 0 215544 0
[pid=32378/tid=32379] ppid=32366 vsize=873816 CPUtime=40.1
/proc/32378/task/32379/stat : 32379 (java) D 32366 32364 4159 34819 4229 4202560 50424 0 4 0 3985 25 0 0 18 0 9 0 884493909 894787584 96559 1283457024 134512640 134550932 4290544704 18446744073709551615 4150866091 0 4 0 16800975 18446744071564332000 0 0 -1 0 0 0 0
[pid=32378/tid=32380] ppid=32366 vsize=873816 CPUtime=2.97
/proc/32378/task/32380/stat : 32380 (java) S 32366 32364 4159 34819 4229 4202560 40257 0 0 0 286 11 0 0 15 0 9 0 884493915 894787584 96559 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 0 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32381] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32381/stat : 32381 (java) S 32366 32364 4159 34819 4229 4202560 10 0 0 0 0 0 0 0 15 0 9 0 884493916 894787584 96559 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32382] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32382/stat : 32382 (java) S 32366 32364 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 15 0 9 0 884493916 894787584 96559 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32383] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32383/stat : 32383 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 23 0 9 0 884493927 894787584 96559 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32384] ppid=32366 vsize=873816 CPUtime=0.38
/proc/32378/task/32384/stat : 32384 (java) S 32366 32364 4159 34819 4229 4202560 3198 0 1 0 36 2 0 0 16 0 9 0 884493927 894787584 96559 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32385] ppid=32366 vsize=873816 CPUtime=3.59
/proc/32378/task/32385/stat : 32385 (java) S 32366 32364 4159 34819 4229 4202560 4872 0 1 0 359 0 0 0 16 0 9 0 884493927 894787584 96559 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
[pid=32378/tid=32386] ppid=32366 vsize=873816 CPUtime=0
/proc/32378/task/32386/stat : 32386 (java) S 32366 32364 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 9 0 884493927 894787584 96559 1283457024 134512640 134550932 4290544704 18446744073709551615 4294960130 0 4 0 16800975 18446612132964190144 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 47.18
Current children cumulated vsize (KiB) 878964

Child status: 0
Real time (s): 49.3429
CPU time (s): 47.2029
CPU user time (s): 46.7429
CPU system time (s): 0.460028
CPU usage (%): 95.6631
Max. virtual memory (cumulated for all children) (KiB): 881000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 46.7429
system time used= 0.460028
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103382
page faults= 208
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3400
involuntary context switches= 2973

runsolver used 0.012 second user time and 0 second system time

The end