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/rand7b4167.cudf.difficult.log.runsolver ./p2cudf-trendy-1.9 /home/misc2010/data/2010/difficult//rand7b4167.cudf /home/misc2010/tmp/201012070034/p2cudf-trendy-1.9/rand7b4167.cudf.difficult.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.17 1.08 1.02 5/47 29329
/proc/meminfo: memFree=622316/1048576 swapFree=2077628/2097144
[pid=29326] ppid=29325 vsize=2572 CPUtime=0
/proc/29326/stat : 29326 (p2cudf-trendy-1) S 29325 29326 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 18 0 1 0 883639340 2633728 274 1283457024 134512640 135304128 4292081504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29326/statm: 643 274 233 194 0 29 0
[pid=29327] ppid=29326 vsize=2572 CPUtime=0
/proc/29327/stat : 29327 (p2cudf) S 29326 29326 4159 34819 4229 4202496 355 0 0 0 0 0 0 0 18 0 1 0 883639340 2633728 274 1283457024 134512640 135304128 4287710000 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/29327/statm: 643 274 234 194 0 29 0
[pid=29328] ppid=29327 vsize=2572 CPUtime=0
/proc/29328/stat : 29328 (p2cudf) R 29327 29326 4159 34819 4229 4202560 91 0 0 0 0 0 0 0 25 0 1 0 883639340 2633728 116 1283457024 134512640 135304128 4287710000 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/29328/statm: 643 116 75 194 0 29 0
[pid=29329] ppid=29328 vsize=2572 CPUtime=0
/proc/29329/stat : 29329 (p2cudf) R 29328 29326 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 25 0 1 0 883639341 2633728 41 1283457024 134512640 135304128 4287710000 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/29329/statm: 643 41 0 194 0 29 0

[startup+0.125297 s]
/proc/loadavg: 1.17 1.08 1.02 5/47 29329
/proc/meminfo: memFree=622316/1048576 swapFree=2077628/2097144
[pid=29326] ppid=29325 vsize=2572 CPUtime=0
/proc/29326/stat : 29326 (p2cudf-trendy-1) S 29325 29326 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 18 0 1 0 883639340 2633728 274 1283457024 134512640 135304128 4292081504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29326/statm: 643 274 233 194 0 29 0
[pid=29327] ppid=29326 vsize=2576 CPUtime=0.03
/proc/29327/stat : 29327 (p2cudf) S 29326 29326 4159 34819 4229 4202496 394 2994 0 1 0 0 2 1 25 0 1 0 883639340 2637824 282 1283457024 134512640 135304128 4287710000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29327/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.205334 s]
/proc/loadavg: 1.17 1.08 1.02 5/47 29329
/proc/meminfo: memFree=622316/1048576 swapFree=2077628/2097144
[pid=29326] ppid=29325 vsize=2572 CPUtime=0
/proc/29326/stat : 29326 (p2cudf-trendy-1) S 29325 29326 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 18 0 1 0 883639340 2633728 274 1283457024 134512640 135304128 4292081504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29326/statm: 643 274 233 194 0 29 0
[pid=29327] ppid=29326 vsize=2576 CPUtime=0.03
/proc/29327/stat : 29327 (p2cudf) S 29326 29326 4159 34819 4229 4202496 394 2994 0 1 0 0 2 1 25 0 1 0 883639340 2637824 282 1283457024 134512640 135304128 4287710000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29327/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.305342 s]
/proc/loadavg: 1.17 1.08 1.02 5/47 29329
/proc/meminfo: memFree=622316/1048576 swapFree=2077628/2097144
[pid=29326] ppid=29325 vsize=2572 CPUtime=0
/proc/29326/stat : 29326 (p2cudf-trendy-1) S 29325 29326 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 18 0 1 0 883639340 2633728 274 1283457024 134512640 135304128 4292081504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29326/statm: 643 274 233 194 0 29 0
[pid=29327] ppid=29326 vsize=2576 CPUtime=0.03
/proc/29327/stat : 29327 (p2cudf) S 29326 29326 4159 34819 4229 4202496 394 2994 0 1 0 0 2 1 25 0 1 0 883639340 2637824 282 1283457024 134512640 135304128 4287710000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29327/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+0.705448 s]
/proc/loadavg: 1.17 1.08 1.02 5/47 29329
/proc/meminfo: memFree=622316/1048576 swapFree=2077628/2097144
[pid=29326] ppid=29325 vsize=2572 CPUtime=0
/proc/29326/stat : 29326 (p2cudf-trendy-1) S 29325 29326 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 18 0 1 0 883639340 2633728 274 1283457024 134512640 135304128 4292081504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29326/statm: 643 274 233 194 0 29 0
[pid=29327] ppid=29326 vsize=2576 CPUtime=0.03
/proc/29327/stat : 29327 (p2cudf) S 29326 29326 4159 34819 4229 4202496 394 2994 0 1 0 0 2 1 25 0 1 0 883639340 2637824 282 1283457024 134512640 135304128 4287710000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29327/statm: 644 282 241 194 0 30 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5148

[startup+1.50566 s]
/proc/loadavg: 1.17 1.08 1.02 3/56 29349
/proc/meminfo: memFree=583244/1048576 swapFree=2077628/2097144
[pid=29326] ppid=29325 vsize=2572 CPUtime=0
/proc/29326/stat : 29326 (p2cudf-trendy-1) S 29325 29326 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 18 0 1 0 883639340 2633728 274 1283457024 134512640 135304128 4292081504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29326/statm: 643 274 233 194 0 29 0
[pid=29327] ppid=29326 vsize=2576 CPUtime=0.03
/proc/29327/stat : 29327 (p2cudf) S 29326 29326 4159 34819 4229 4202496 394 2994 0 1 0 0 2 1 25 0 1 0 883639340 2637824 282 1283457024 134512640 135304128 4287710000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29327/statm: 644 282 241 194 0 30 0
[pid=29340] ppid=29327 vsize=878304 CPUtime=1.46
/proc/29340/stat : 29340 (java) S 29327 29326 4159 34819 4229 4202496 18285 0 1 0 140 6 0 0 25 0 10 0 883639344 899383296 15398 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29340/statm: 219576 15398 1729 10 0 216666 0
[pid=29340/tid=29341] ppid=29327 vsize=878304 CPUtime=0.79
/proc/29340/task/29341/stat : 29341 (java) R 29327 29326 4159 34819 4229 4202560 8943 0 1 0 76 3 0 0 25 0 10 0 883639345 899383296 15398 1283457024 134512640 134550932 4290239536 18446744073709551615 4095621530 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29340/tid=29342] ppid=29327 vsize=878304 CPUtime=0
/proc/29340/task/29342/stat : 29342 (java) S 29327 29326 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 18 0 10 0 883639346 899383296 15398 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 0 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29343] ppid=29327 vsize=878304 CPUtime=0
/proc/29340/task/29343/stat : 29343 (java) S 29327 29326 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 25 0 10 0 883639346 899383296 15398 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29344] ppid=29327 vsize=878304 CPUtime=0
/proc/29340/task/29344/stat : 29344 (java) S 29327 29326 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 25 0 10 0 883639347 899383296 15398 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29345] ppid=29327 vsize=878304 CPUtime=0
/proc/29340/task/29345/stat : 29345 (java) S 29327 29326 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 883639349 899383296 15398 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29346] ppid=29327 vsize=878304 CPUtime=0.43
/proc/29340/task/29346/stat : 29346 (java) R 29327 29326 4159 34819 4229 4202560 6420 0 0 0 41 2 0 0 25 0 10 0 883639349 899383296 15398 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29340/tid=29347] ppid=29327 vsize=878304 CPUtime=0.22
/proc/29340/task/29347/stat : 29347 (java) R 29327 29326 4159 34819 4229 4202560 1806 0 0 0 22 0 0 0 21 0 10 0 883639349 899383296 15398 1283457024 134512640 134550932 4290239536 18446744073709551615 4152441288 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29340/tid=29348] ppid=29327 vsize=878304 CPUtime=0
/proc/29340/task/29348/stat : 29348 (java) S 29327 29326 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 25 0 10 0 883639349 899383296 15398 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29349] ppid=29327 vsize=878304 CPUtime=0
/proc/29340/task/29349/stat : 29349 (java) S 29327 29326 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 10 0 883639349 899383296 15398 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 883452

[startup+3.10606 s]
/proc/loadavg: 1.17 1.08 1.02 3/56 29349
/proc/meminfo: memFree=526948/1048576 swapFree=2077628/2097144
[pid=29326] ppid=29325 vsize=2572 CPUtime=0
/proc/29326/stat : 29326 (p2cudf-trendy-1) S 29325 29326 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 18 0 1 0 883639340 2633728 274 1283457024 134512640 135304128 4292081504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29326/statm: 643 274 233 194 0 29 0
[pid=29327] ppid=29326 vsize=2576 CPUtime=0.03
/proc/29327/stat : 29327 (p2cudf) S 29326 29326 4159 34819 4229 4202496 394 2994 0 1 0 0 2 1 25 0 1 0 883639340 2637824 282 1283457024 134512640 135304128 4287710000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29327/statm: 644 282 241 194 0 30 0
[pid=29340] ppid=29327 vsize=877820 CPUtime=3.06
/proc/29340/stat : 29340 (java) S 29327 29326 4159 34819 4229 4202496 58766 0 1 0 290 16 0 0 25 0 10 0 883639344 898887680 53423 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29340/statm: 219455 53423 1743 10 0 216545 0
[pid=29340/tid=29341] ppid=29327 vsize=877820 CPUtime=1.68
/proc/29340/task/29341/stat : 29341 (java) R 29327 29326 4159 34819 4229 4202560 46549 0 1 0 158 10 0 0 25 0 10 0 883639345 898887680 53423 1283457024 134512640 134550932 4290239536 18446744073709551615 4096233339 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29340/tid=29342] ppid=29327 vsize=877820 CPUtime=0
/proc/29340/task/29342/stat : 29342 (java) S 29327 29326 4159 34819 4229 4202560 5 0 0 0 0 0 0 0 18 0 10 0 883639346 898887680 53423 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 0 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29343] ppid=29327 vsize=877820 CPUtime=0
/proc/29340/task/29343/stat : 29343 (java) S 29327 29326 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 25 0 10 0 883639346 898887680 53423 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29344] ppid=29327 vsize=877820 CPUtime=0
/proc/29340/task/29344/stat : 29344 (java) S 29327 29326 4159 34819 4229 4202560 4 0 0 0 0 0 0 0 25 0 10 0 883639347 898887680 53423 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29345] ppid=29327 vsize=877820 CPUtime=0
/proc/29340/task/29345/stat : 29345 (java) S 29327 29326 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 10 0 883639349 898887680 53423 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29346] ppid=29327 vsize=877820 CPUtime=0.91
/proc/29340/task/29346/stat : 29346 (java) S 29327 29326 4159 34819 4229 4202560 8082 0 0 0 88 3 0 0 22 0 10 0 883639349 898887680 53423 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29347] ppid=29327 vsize=877820 CPUtime=0.46
/proc/29340/task/29347/stat : 29347 (java) S 29327 29326 4159 34819 4229 4202560 3019 0 0 0 44 2 0 0 16 0 10 0 883639349 898887680 53423 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29348] ppid=29327 vsize=877820 CPUtime=0
/proc/29340/task/29348/stat : 29348 (java) S 29327 29326 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 25 0 10 0 883639349 898887680 53423 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29349] ppid=29327 vsize=877820 CPUtime=0
/proc/29340/task/29349/stat : 29349 (java) S 29327 29326 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 10 0 883639349 898887680 53423 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 882968

[startup+6.307 s]
/proc/loadavg: 1.40 1.13 1.03 3/57 29350
/proc/meminfo: memFree=342800/1048576 swapFree=2077628/2097144
[pid=29326] ppid=29325 vsize=2572 CPUtime=0
/proc/29326/stat : 29326 (p2cudf-trendy-1) S 29325 29326 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 18 0 1 0 883639340 2633728 274 1283457024 134512640 135304128 4292081504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29326/statm: 643 274 233 194 0 29 0
[pid=29327] ppid=29326 vsize=2576 CPUtime=0.03
/proc/29327/stat : 29327 (p2cudf) S 29326 29326 4159 34819 4229 4202496 394 2994 0 1 0 0 2 1 25 0 1 0 883639340 2637824 282 1283457024 134512640 135304128 4287710000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29327/statm: 644 282 241 194 0 30 0
[pid=29340] ppid=29327 vsize=878616 CPUtime=6.26
/proc/29340/stat : 29340 (java) S 29327 29326 4159 34819 4229 4202496 78350 0 1 0 602 24 0 0 25 0 12 0 883639344 899702784 71492 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29340/statm: 219654 71492 1789 10 0 216744 0
[pid=29340/tid=29341] ppid=29327 vsize=878616 CPUtime=3.02
/proc/29340/task/29341/stat : 29341 (java) R 29327 29326 4159 34819 4229 4202560 50473 0 1 0 290 12 0 0 25 0 12 0 883639345 899702784 71492 1283457024 134512640 134550932 4290239536 18446744073709551615 4096723372 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29340/tid=29342] ppid=29327 vsize=878616 CPUtime=0.32
/proc/29340/task/29342/stat : 29342 (java) S 29327 29326 4159 34819 4229 4202560 13967 0 0 0 28 4 0 0 15 0 12 0 883639346 899702784 71492 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 0 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29343] ppid=29327 vsize=878616 CPUtime=0
/proc/29340/task/29343/stat : 29343 (java) S 29327 29326 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 18 0 12 0 883639346 899702784 71492 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29344] ppid=29327 vsize=878616 CPUtime=0
/proc/29340/task/29344/stat : 29344 (java) S 29327 29326 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 18 0 12 0 883639347 899702784 71492 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29345] ppid=29327 vsize=878616 CPUtime=0
/proc/29340/task/29345/stat : 29345 (java) S 29327 29326 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 12 0 883639349 899702784 71492 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29346] ppid=29327 vsize=878616 CPUtime=1.86
/proc/29340/task/29346/stat : 29346 (java) S 29327 29326 4159 34819 4229 4202560 8189 0 0 0 180 6 0 0 16 0 12 0 883639349 899702784 71492 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29347] ppid=29327 vsize=878616 CPUtime=1.06
/proc/29340/task/29347/stat : 29347 (java) S 29327 29326 4159 34819 4229 4202560 4600 0 0 0 104 2 0 0 15 0 12 0 883639349 899702784 71492 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29348] ppid=29327 vsize=878616 CPUtime=0
/proc/29340/task/29348/stat : 29348 (java) S 29327 29326 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 25 0 12 0 883639349 899702784 71492 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29349] ppid=29327 vsize=878616 CPUtime=0
/proc/29340/task/29349/stat : 29349 (java) S 29327 29326 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 12 0 883639349 899702784 71492 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 883764

[startup+12.7088 s]
/proc/loadavg: 1.53 1.16 1.04 3/57 29366
/proc/meminfo: memFree=305848/1048576 swapFree=2077628/2097144
[pid=29326] ppid=29325 vsize=2572 CPUtime=0
/proc/29326/stat : 29326 (p2cudf-trendy-1) S 29325 29326 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 18 0 1 0 883639340 2633728 274 1283457024 134512640 135304128 4292081504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29326/statm: 643 274 233 194 0 29 0
[pid=29327] ppid=29326 vsize=2576 CPUtime=0.03
/proc/29327/stat : 29327 (p2cudf) S 29326 29326 4159 34819 4229 4202496 394 2994 0 1 0 0 2 1 25 0 1 0 883639340 2637824 282 1283457024 134512640 135304128 4287710000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29327/statm: 644 282 241 194 0 30 0
[pid=29340] ppid=29327 vsize=880236 CPUtime=12.66
/proc/29340/stat : 29340 (java) S 29327 29326 4159 34819 4229 4202496 87498 0 1 0 1240 26 0 0 25 0 11 0 883639344 901361664 80640 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29340/statm: 220059 80640 1793 10 0 217149 0
[pid=29340/tid=29341] ppid=29327 vsize=880236 CPUtime=8.26
/proc/29340/task/29341/stat : 29341 (java) R 29327 29326 4159 34819 4229 4202560 50480 0 1 0 814 12 0 0 25 0 11 0 883639345 901361664 80640 1283457024 134512640 134550932 4290239536 18446744073709551615 4096710421 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29340/tid=29342] ppid=29327 vsize=880236 CPUtime=0.96
/proc/29340/task/29342/stat : 29342 (java) S 29327 29326 4159 34819 4229 4202560 23016 0 0 0 91 5 0 0 15 0 11 0 883639346 901361664 80640 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 0 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29343] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29343/stat : 29343 (java) S 29327 29326 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 18 0 11 0 883639346 901361664 80640 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29344] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29344/stat : 29344 (java) S 29327 29326 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 18 0 11 0 883639347 901361664 80640 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29345] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29345/stat : 29345 (java) S 29327 29326 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 883639349 901361664 80640 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29346] ppid=29327 vsize=880236 CPUtime=2.36
/proc/29340/task/29346/stat : 29346 (java) S 29327 29326 4159 34819 4229 4202560 8261 0 0 0 230 6 0 0 15 0 11 0 883639349 901361664 80640 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29347] ppid=29327 vsize=880236 CPUtime=1.06
/proc/29340/task/29347/stat : 29347 (java) S 29327 29326 4159 34819 4229 4202560 4600 0 0 0 104 2 0 0 15 0 11 0 883639349 901361664 80640 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29348] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29348/stat : 29348 (java) S 29327 29326 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 25 0 11 0 883639349 901361664 80640 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29349] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29349/stat : 29349 (java) R 29327 29326 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 11 0 883639349 901361664 80640 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29340/tid=29366] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29366/stat : 29366 (java) S 29327 29326 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 24 0 11 0 883640192 901361664 80640 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 885384

[startup+25.5116 s]
/proc/loadavg: 1.41 1.15 1.04 3/57 29367
/proc/meminfo: memFree=305352/1048576 swapFree=2077628/2097144
[pid=29326] ppid=29325 vsize=2572 CPUtime=0
/proc/29326/stat : 29326 (p2cudf-trendy-1) S 29325 29326 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 18 0 1 0 883639340 2633728 274 1283457024 134512640 135304128 4292081504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29326/statm: 643 274 233 194 0 29 0
[pid=29327] ppid=29326 vsize=2576 CPUtime=0.03
/proc/29327/stat : 29327 (p2cudf) S 29326 29326 4159 34819 4229 4202496 394 2994 0 1 0 0 2 1 25 0 1 0 883639340 2637824 282 1283457024 134512640 135304128 4287710000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29327/statm: 644 282 241 194 0 30 0
[pid=29340] ppid=29327 vsize=880236 CPUtime=25.46
/proc/29340/stat : 29340 (java) S 29327 29326 4159 34819 4229 4202496 87632 0 1 0 2520 26 0 0 25 0 11 0 883639344 901361664 80774 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29340/statm: 220059 80774 1793 10 0 217149 0
[pid=29340/tid=29341] ppid=29327 vsize=880236 CPUtime=20.16
/proc/29340/task/29341/stat : 29341 (java) R 29327 29326 4159 34819 4229 4202560 50480 0 1 0 2004 12 0 0 25 0 11 0 883639345 901361664 80774 1283457024 134512640 134550932 4290239536 18446744073709551615 4096849274 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29340/tid=29342] ppid=29327 vsize=880236 CPUtime=1.81
/proc/29340/task/29342/stat : 29342 (java) S 29327 29326 4159 34819 4229 4202560 23150 0 0 0 176 5 0 0 15 0 11 0 883639346 901361664 80774 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 0 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29343] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29343/stat : 29343 (java) S 29327 29326 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 18 0 11 0 883639346 901361664 80774 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29344] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29344/stat : 29344 (java) S 29327 29326 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 15 0 11 0 883639347 901361664 80774 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29345] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29345/stat : 29345 (java) S 29327 29326 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 883639349 901361664 80774 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29346] ppid=29327 vsize=880236 CPUtime=2.41
/proc/29340/task/29346/stat : 29346 (java) S 29327 29326 4159 34819 4229 4202560 8261 0 0 0 235 6 0 0 15 0 11 0 883639349 901361664 80774 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29347] ppid=29327 vsize=880236 CPUtime=1.06
/proc/29340/task/29347/stat : 29347 (java) S 29327 29326 4159 34819 4229 4202560 4600 0 0 0 104 2 0 0 15 0 11 0 883639349 901361664 80774 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29348] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29348/stat : 29348 (java) S 29327 29326 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 25 0 11 0 883639349 901361664 80774 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29349] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29349/stat : 29349 (java) S 29327 29326 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 11 0 883639349 901361664 80774 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29367] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29367/stat : 29367 (java) S 29327 29326 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 25 0 11 0 883641217 901361664 80774 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 885384

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

[startup+25.6069 s]
/proc/loadavg: 1.41 1.15 1.04 3/57 29367
/proc/meminfo: memFree=305352/1048576 swapFree=2077628/2097144
[pid=29326] ppid=29325 vsize=2572 CPUtime=0
/proc/29326/stat : 29326 (p2cudf-trendy-1) S 29325 29326 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 18 0 1 0 883639340 2633728 274 1283457024 134512640 135304128 4292081504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29326/statm: 643 274 233 194 0 29 0
[pid=29327] ppid=29326 vsize=2576 CPUtime=0.03
/proc/29327/stat : 29327 (p2cudf) S 29326 29326 4159 34819 4229 4202496 394 2994 0 1 0 0 2 1 25 0 1 0 883639340 2637824 282 1283457024 134512640 135304128 4287710000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29327/statm: 644 282 241 194 0 30 0
[pid=29340] ppid=29327 vsize=880236 CPUtime=25.54
/proc/29340/stat : 29340 (java) S 29327 29326 4159 34819 4229 4202496 87638 0 1 0 2528 26 0 0 25 0 11 0 883639344 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29340/statm: 220059 80780 1793 10 0 217149 0
[pid=29340/tid=29341] ppid=29327 vsize=880236 CPUtime=20.21
/proc/29340/task/29341/stat : 29341 (java) S 29327 29326 4159 34819 4229 4202560 50486 0 1 0 2009 12 0 0 25 0 11 0 883639345 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29342] ppid=29327 vsize=880236 CPUtime=1.81
/proc/29340/task/29342/stat : 29342 (java) S 29327 29326 4159 34819 4229 4202560 23150 0 0 0 176 5 0 0 15 0 11 0 883639346 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 0 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29343] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29343/stat : 29343 (java) S 29327 29326 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 18 0 11 0 883639346 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29344] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29344/stat : 29344 (java) S 29327 29326 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 15 0 11 0 883639347 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29345] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29345/stat : 29345 (java) S 29327 29326 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 883639349 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29346] ppid=29327 vsize=880236 CPUtime=2.44
/proc/29340/task/29346/stat : 29346 (java) S 29327 29326 4159 34819 4229 4202560 8261 0 0 0 238 6 0 0 15 0 11 0 883639349 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29347] ppid=29327 vsize=880236 CPUtime=1.06
/proc/29340/task/29347/stat : 29347 (java) S 29327 29326 4159 34819 4229 4202560 4600 0 0 0 104 2 0 0 15 0 11 0 883639349 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29348] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29348/stat : 29348 (java) S 29327 29326 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 25 0 11 0 883639349 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29349] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29349/stat : 29349 (java) S 29327 29326 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 11 0 883639349 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 885384

[startup+26.0069 s]
/proc/loadavg: 1.41 1.15 1.04 3/57 29367
/proc/meminfo: memFree=305352/1048576 swapFree=2077628/2097144
[pid=29326] ppid=29325 vsize=2572 CPUtime=0
/proc/29326/stat : 29326 (p2cudf-trendy-1) S 29325 29326 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 18 0 1 0 883639340 2633728 274 1283457024 134512640 135304128 4292081504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29326/statm: 643 274 233 194 0 29 0
[pid=29327] ppid=29326 vsize=2576 CPUtime=0.03
/proc/29327/stat : 29327 (p2cudf) S 29326 29326 4159 34819 4229 4202496 394 2994 0 1 0 0 2 1 25 0 1 0 883639340 2637824 282 1283457024 134512640 135304128 4287710000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29327/statm: 644 282 241 194 0 30 0
[pid=29340] ppid=29327 vsize=880236 CPUtime=25.54
/proc/29340/stat : 29340 (java) S 29327 29326 4159 34819 4229 4202496 87638 0 1 0 2528 26 0 0 25 0 11 0 883639344 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29340/statm: 220059 80780 1793 10 0 217149 0
[pid=29340/tid=29341] ppid=29327 vsize=880236 CPUtime=20.21
/proc/29340/task/29341/stat : 29341 (java) S 29327 29326 4159 34819 4229 4202560 50486 0 1 0 2009 12 0 0 25 0 11 0 883639345 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29342] ppid=29327 vsize=880236 CPUtime=1.81
/proc/29340/task/29342/stat : 29342 (java) S 29327 29326 4159 34819 4229 4202560 23150 0 0 0 176 5 0 0 15 0 11 0 883639346 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 0 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29343] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29343/stat : 29343 (java) S 29327 29326 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 18 0 11 0 883639346 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29344] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29344/stat : 29344 (java) S 29327 29326 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 15 0 11 0 883639347 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29345] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29345/stat : 29345 (java) S 29327 29326 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 883639349 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29346] ppid=29327 vsize=880236 CPUtime=2.44
/proc/29340/task/29346/stat : 29346 (java) S 29327 29326 4159 34819 4229 4202560 8261 0 0 0 238 6 0 0 15 0 11 0 883639349 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29347] ppid=29327 vsize=880236 CPUtime=1.06
/proc/29340/task/29347/stat : 29347 (java) S 29327 29326 4159 34819 4229 4202560 4600 0 0 0 104 2 0 0 15 0 11 0 883639349 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29348] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29348/stat : 29348 (java) S 29327 29326 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 25 0 11 0 883639349 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29349] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29349/stat : 29349 (java) R 29327 29326 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 11 0 883639349 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 885384

[startup+26.1149 s]
/proc/loadavg: 1.41 1.15 1.04 3/57 29367
/proc/meminfo: memFree=305352/1048576 swapFree=2077628/2097144
[pid=29326] ppid=29325 vsize=2572 CPUtime=0
/proc/29326/stat : 29326 (p2cudf-trendy-1) S 29325 29326 4159 34819 4229 4202496 378 0 0 0 0 0 0 0 18 0 1 0 883639340 2633728 274 1283457024 134512640 135304128 4292081504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29326/statm: 643 274 233 194 0 29 0
[pid=29327] ppid=29326 vsize=2576 CPUtime=0.03
/proc/29327/stat : 29327 (p2cudf) S 29326 29326 4159 34819 4229 4202496 394 2994 0 1 0 0 2 1 25 0 1 0 883639340 2637824 282 1283457024 134512640 135304128 4287710000 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29327/statm: 644 282 241 194 0 30 0
[pid=29340] ppid=29327 vsize=880236 CPUtime=25.55
/proc/29340/stat : 29340 (java) S 29327 29326 4159 34819 4229 4202496 87638 0 1 0 2528 27 0 0 25 0 11 0 883639344 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29340/statm: 220059 80780 1793 10 0 217149 0
[pid=29340/tid=29341] ppid=29327 vsize=880236 CPUtime=20.21
/proc/29340/task/29341/stat : 29341 (java) S 29327 29326 4159 34819 4229 4202560 50486 0 1 0 2009 12 0 0 25 0 11 0 883639345 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29342] ppid=29327 vsize=880236 CPUtime=1.81
/proc/29340/task/29342/stat : 29342 (java) S 29327 29326 4159 34819 4229 4202560 23150 0 0 0 176 5 0 0 15 0 11 0 883639346 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 0 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29343] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29343/stat : 29343 (java) S 29327 29326 4159 34819 4229 4202560 9 0 0 0 0 0 0 0 18 0 11 0 883639346 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29344] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29344/stat : 29344 (java) S 29327 29326 4159 34819 4229 4202560 6 0 0 0 0 0 0 0 15 0 11 0 883639347 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29345] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29345/stat : 29345 (java) S 29327 29326 4159 34819 4229 4202560 1 0 0 0 0 0 0 0 25 0 11 0 883639349 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29346] ppid=29327 vsize=880236 CPUtime=2.44
/proc/29340/task/29346/stat : 29346 (java) S 29327 29326 4159 34819 4229 4202560 8261 0 0 0 238 6 0 0 15 0 11 0 883639349 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29347] ppid=29327 vsize=880236 CPUtime=1.06
/proc/29340/task/29347/stat : 29347 (java) S 29327 29326 4159 34819 4229 4202560 4600 0 0 0 104 2 0 0 15 0 11 0 883639349 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29348] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29348/stat : 29348 (java) S 29327 29326 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 25 0 11 0 883639349 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
[pid=29340/tid=29349] ppid=29327 vsize=880236 CPUtime=0
/proc/29340/task/29349/stat : 29349 (java) S 29327 29326 4159 34819 4229 4202560 2 0 0 0 0 0 0 0 15 0 11 0 883639349 901361664 80780 1283457024 134512640 134550932 4290239536 18446744073709551615 4294960130 0 4 0 16800975 18446612132844131584 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 885384

Child status: 0
Real time (s): 26.2019
CPU time (s): 25.6496
CPU user time (s): 25.3256
CPU system time (s): 0.32402
CPU usage (%): 97.8923
Max. virtual memory (cumulated for all children) (KiB): 885608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.3256
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= 91429
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= 1631
involuntary context switches= 1832

runsolver used 0 second user time and 0.008 second system time

The end