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: runsolver -s SIGUSR1 -M 1124 -C 150 -d 10 -w /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/paranoid-size/real/dba3a3fe-3477-11e0-9e6c-00163e3d3b7c.cudf.log.runsolver /home/competition/p2cudf-basic-1.15/p2cudf-basic-1.15 /home/competition/data/real/dba3a3fe-3477-11e0-9e6c-00163e3d3b7c.cudf /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/paranoid-size/real/dba3a3fe-3477-11e0-9e6c-00163e3d3b7c.cudf.result -count(removed),-sum(solution,installedsize),-count(changed) 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 150 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 180 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.71 1.39 1.11 2/60 8353
/proc/meminfo: memFree=392732/1022884 swapFree=0/0
[pid=8353] ppid=8352 vsize=9168 CPUtime=0
/proc/8353/stat : 8353 (p2cudf-basic-1.) S 8352 8353 32685 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 37263340 9388032 326 18446744073709551615 4194304 5129932 140734833538064 140734833535736 140433795364640 0 0 16781316 65536 0 0 0 17 0 0 0 0 0 0
/proc/8353/statm: 2292 326 275 229 0 52 0

[startup+0.128617 s]
/proc/loadavg: 1.71 1.39 1.11 2/60 8353
/proc/meminfo: memFree=392732/1022884 swapFree=0/0
[pid=8353] ppid=8352 vsize=9172 CPUtime=0
/proc/8353/stat : 8353 (p2cudf-basic-1.) S 8352 8353 32685 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 37263340 9392128 332 18446744073709551615 4194304 5129932 140734833538064 140734833536208 140433795220574 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8353/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.200377 s]
/proc/loadavg: 1.71 1.39 1.11 2/60 8353
/proc/meminfo: memFree=392732/1022884 swapFree=0/0
[pid=8353] ppid=8352 vsize=9172 CPUtime=0
/proc/8353/stat : 8353 (p2cudf-basic-1.) S 8352 8353 32685 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 37263340 9392128 332 18446744073709551615 4194304 5129932 140734833538064 140734833536208 140433795220574 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8353/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.300316 s]
/proc/loadavg: 1.71 1.39 1.11 2/60 8353
/proc/meminfo: memFree=392732/1022884 swapFree=0/0
[pid=8353] ppid=8352 vsize=9172 CPUtime=0
/proc/8353/stat : 8353 (p2cudf-basic-1.) S 8352 8353 32685 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 37263340 9392128 332 18446744073709551615 4194304 5129932 140734833538064 140734833536208 140433795220574 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8353/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.700226 s]
/proc/loadavg: 1.71 1.39 1.11 2/60 8353
/proc/meminfo: memFree=392732/1022884 swapFree=0/0
[pid=8353] ppid=8352 vsize=9172 CPUtime=0
/proc/8353/stat : 8353 (p2cudf-basic-1.) S 8352 8353 32685 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 37263340 9392128 332 18446744073709551615 4194304 5129932 140734833538064 140734833536208 140433795220574 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8353/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+1.50074 s]
/proc/loadavg: 1.71 1.39 1.11 4/71 8365
/proc/meminfo: memFree=345888/1022884 swapFree=0/0
[pid=8353] ppid=8352 vsize=9172 CPUtime=0
/proc/8353/stat : 8353 (p2cudf-basic-1.) S 8352 8353 32685 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 37263340 9392128 332 18446744073709551615 4194304 5129932 140734833538064 140734833536208 140433795220574 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8353/statm: 2293 332 280 229 0 53 0
[pid=8356] ppid=8353 vsize=1060972 CPUtime=1.43
/proc/8356/stat : 8356 (java) S 8353 8353 32685 0 -1 4202496 33657 0 0 0 130 13 0 0 20 0 10 0 37263341 1086435328 30795 18446744073709551615 4194304 4228012 140733648414208 140733648405232 139736318729845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8356/statm: 265243 30795 2348 9 0 252593 0
[pid=8356/tid=8357] ppid=8353 vsize=1060972 CPUtime=0.67
/proc/8356/task/8357/stat : 8357 (java) R 8353 8353 32685 0 -1 4202560 14039 0 0 0 61 6 0 0 20 0 10 0 37263342 1086435328 30795 18446744073709551615 4194304 4228012 140733648414208 139736325255840 139736223196144 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=8356/tid=8358] ppid=8353 vsize=1060972 CPUtime=0
/proc/8356/task/8358/stat : 8358 (java) S 8353 8353 32685 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 10 0 37263344 1086435328 30795 18446744073709551615 4194304 4228012 140733648414208 139736217902208 139736318744139 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8359] ppid=8353 vsize=1060972 CPUtime=0
/proc/8356/task/8359/stat : 8359 (java) S 8353 8353 32685 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 37263345 1086435328 30795 18446744073709551615 4194304 4228012 140733648414208 139736216848400 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8360] ppid=8353 vsize=1060972 CPUtime=0
/proc/8356/task/8360/stat : 8360 (java) S 8353 8353 32685 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 37263345 1086435328 30795 18446744073709551615 4194304 4228012 140733648414208 139736215795616 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8361] ppid=8353 vsize=1060972 CPUtime=0
/proc/8356/task/8361/stat : 8361 (java) S 8353 8353 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 37263349 1086435328 30795 18446744073709551615 4194304 4228012 140733648414208 139736214744048 139736318751776 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8362] ppid=8353 vsize=1060972 CPUtime=0.37
/proc/8356/task/8362/stat : 8362 (java) R 8353 8353 32685 0 -1 4202560 9273 0 0 0 34 3 0 0 20 0 10 0 37263349 1086435328 30795 18446744073709551615 4194304 4228012 140733648414208 139736213679208 139736302797681 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8363] ppid=8353 vsize=1060972 CPUtime=0.37
/proc/8356/task/8363/stat : 8363 (java) R 8353 8353 32685 0 -1 4202560 9051 0 0 0 34 3 0 0 20 0 10 0 37263349 1086435328 30795 18446744073709551615 4194304 4228012 140733648414208 139736212624088 139736311307675 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8364] ppid=8353 vsize=1060972 CPUtime=0
/proc/8356/task/8364/stat : 8364 (java) S 8353 8353 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37263349 1086435328 30795 18446744073709551615 4194304 4228012 140733648414208 139736211586256 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8365] ppid=8353 vsize=1060972 CPUtime=0
/proc/8356/task/8365/stat : 8365 (java) S 8353 8353 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37263349 1086435328 30795 18446744073709551615 4194304 4228012 140733648414208 139736210533760 139736318744139 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 1070144

[startup+3.10077 s]
/proc/loadavg: 1.71 1.39 1.11 4/71 8365
/proc/meminfo: memFree=240116/1022884 swapFree=0/0
[pid=8353] ppid=8352 vsize=9172 CPUtime=0
/proc/8353/stat : 8353 (p2cudf-basic-1.) S 8352 8353 32685 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 37263340 9392128 332 18446744073709551615 4194304 5129932 140734833538064 140734833536208 140433795220574 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8353/statm: 2293 332 280 229 0 53 0
[pid=8356] ppid=8353 vsize=1061144 CPUtime=3.01
/proc/8356/stat : 8356 (java) S 8353 8353 32685 0 -1 4202496 77172 0 0 0 269 32 0 0 20 0 10 0 37263341 1086611456 73270 18446744073709551615 4194304 4228012 140733648414208 140733648405232 139736318729845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8356/statm: 265286 73270 2368 9 0 252636 0
[pid=8356/tid=8357] ppid=8353 vsize=1061144 CPUtime=1.48
/proc/8356/task/8357/stat : 8357 (java) R 8353 8353 32685 0 -1 4202560 47409 0 0 0 128 20 0 0 20 0 10 0 37263342 1086611456 73270 18446744073709551615 4194304 4228012 140733648414208 139736325255872 139736223049454 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=8356/tid=8358] ppid=8353 vsize=1061144 CPUtime=0.16
/proc/8356/task/8358/stat : 8358 (java) S 8353 8353 32685 0 -1 4202560 8289 0 0 0 12 4 0 0 20 0 10 0 37263344 1086611456 73270 18446744073709551615 4194304 4228012 140733648414208 139736217902208 139736318744139 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8359] ppid=8353 vsize=1061144 CPUtime=0
/proc/8356/task/8359/stat : 8359 (java) S 8353 8353 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 37263345 1086611456 73270 18446744073709551615 4194304 4228012 140733648414208 139736216848400 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8360] ppid=8353 vsize=1061144 CPUtime=0
/proc/8356/task/8360/stat : 8360 (java) S 8353 8353 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 37263345 1086611456 73270 18446744073709551615 4194304 4228012 140733648414208 139736215795616 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8361] ppid=8353 vsize=1061144 CPUtime=0
/proc/8356/task/8361/stat : 8361 (java) S 8353 8353 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 37263349 1086611456 73270 18446744073709551615 4194304 4228012 140733648414208 139736214744048 139736318751776 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8362] ppid=8353 vsize=1061144 CPUtime=0.67
/proc/8356/task/8362/stat : 8362 (java) S 8353 8353 32685 0 -1 4202560 9730 0 0 0 64 3 0 0 20 0 10 0 37263349 1086611456 73270 18446744073709551615 4194304 4228012 140733648414208 139736213691408 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8363] ppid=8353 vsize=1061144 CPUtime=0.67
/proc/8356/task/8363/stat : 8363 (java) S 8353 8353 32685 0 -1 4202560 10450 0 0 0 64 3 0 0 20 0 10 0 37263349 1086611456 73270 18446744073709551615 4194304 4228012 140733648414208 139736212638736 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8364] ppid=8353 vsize=1061144 CPUtime=0
/proc/8356/task/8364/stat : 8364 (java) S 8353 8353 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37263349 1086611456 73270 18446744073709551615 4194304 4228012 140733648414208 139736211586256 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8365] ppid=8353 vsize=1061144 CPUtime=0
/proc/8356/task/8365/stat : 8365 (java) S 8353 8353 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37263349 1086611456 73270 18446744073709551615 4194304 4228012 140733648414208 139736210533760 139736318744139 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 1070316

[startup+6.3008 s]
/proc/loadavg: 1.65 1.38 1.11 3/71 8365
/proc/meminfo: memFree=9580/1022884 swapFree=0/0
[pid=8353] ppid=8352 vsize=9172 CPUtime=0
/proc/8353/stat : 8353 (p2cudf-basic-1.) S 8352 8353 32685 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 37263340 9392128 332 18446744073709551615 4194304 5129932 140734833538064 140734833536208 140433795220574 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8353/statm: 2293 332 280 229 0 53 0
[pid=8356] ppid=8353 vsize=1061144 CPUtime=6.1
/proc/8356/stat : 8356 (java) S 8353 8353 32685 0 -1 4202496 99602 0 0 0 570 40 0 0 20 0 10 0 37263341 1086611456 95700 18446744073709551615 4194304 4228012 140733648414208 140733648405232 139736318729845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8356/statm: 265286 95700 2374 9 0 252636 0
[pid=8356/tid=8357] ppid=8353 vsize=1061144 CPUtime=3.02
/proc/8356/task/8357/stat : 8357 (java) R 8353 8353 32685 0 -1 4202560 47709 0 0 0 281 21 0 0 20 0 10 0 37263342 1086611456 95700 18446744073709551615 4194304 4228012 140733648414208 139736325264168 139736304922120 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0
[pid=8356/tid=8358] ppid=8353 vsize=1061144 CPUtime=0.63
/proc/8356/task/8358/stat : 8358 (java) S 8353 8353 32685 0 -1 4202560 30238 0 0 0 52 11 0 0 20 0 10 0 37263344 1086611456 95700 18446744073709551615 4194304 4228012 140733648414208 139736217902208 139736318744139 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8359] ppid=8353 vsize=1061144 CPUtime=0
/proc/8356/task/8359/stat : 8359 (java) S 8353 8353 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 37263345 1086611456 95700 18446744073709551615 4194304 4228012 140733648414208 139736216848400 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8360] ppid=8353 vsize=1061144 CPUtime=0
/proc/8356/task/8360/stat : 8360 (java) S 8353 8353 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 37263345 1086611456 95700 18446744073709551615 4194304 4228012 140733648414208 139736215795616 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8361] ppid=8353 vsize=1061144 CPUtime=0
/proc/8356/task/8361/stat : 8361 (java) S 8353 8353 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 37263349 1086611456 95700 18446744073709551615 4194304 4228012 140733648414208 139736214744048 139736318751776 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8362] ppid=8353 vsize=1061144 CPUtime=1.26
/proc/8356/task/8362/stat : 8362 (java) R 8353 8353 32685 0 -1 4202560 9834 0 0 0 122 4 0 0 20 0 10 0 37263349 1086611456 95700 18446744073709551615 4194304 4228012 140733648414208 139736213679448 139736303034336 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8363] ppid=8353 vsize=1061144 CPUtime=1.16
/proc/8356/task/8363/stat : 8363 (java) R 8353 8353 32685 0 -1 4202560 10527 0 0 0 113 3 0 0 20 0 10 0 37263349 1086611456 95700 18446744073709551615 4194304 4228012 140733648414208 139736212623288 139736302558773 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8364] ppid=8353 vsize=1061144 CPUtime=0
/proc/8356/task/8364/stat : 8364 (java) S 8353 8353 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37263349 1086611456 95700 18446744073709551615 4194304 4228012 140733648414208 139736211586256 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8365] ppid=8353 vsize=1061144 CPUtime=0
/proc/8356/task/8365/stat : 8365 (java) S 8353 8353 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37263349 1086611456 95700 18446744073709551615 4194304 4228012 140733648414208 139736210533760 139736318744139 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 1070316

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

[startup+6.40104 s]
/proc/loadavg: 1.65 1.38 1.11 3/71 8365
/proc/meminfo: memFree=9580/1022884 swapFree=0/0
[pid=8353] ppid=8352 vsize=9172 CPUtime=0
/proc/8353/stat : 8353 (p2cudf-basic-1.) S 8352 8353 32685 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 37263340 9392128 332 18446744073709551615 4194304 5129932 140734833538064 140734833536208 140433795220574 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8353/statm: 2293 332 280 229 0 53 0
[pid=8356] ppid=8353 vsize=1061144 CPUtime=6.2
/proc/8356/stat : 8356 (java) S 8353 8353 32685 0 -1 4202496 99603 0 0 0 580 40 0 0 20 0 10 0 37263341 1086611456 95701 18446744073709551615 4194304 4228012 140733648414208 140733648405232 139736318729845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8356/statm: 265286 95701 2374 9 0 252636 0
[pid=8356/tid=8357] ppid=8353 vsize=1061144 CPUtime=3.05
/proc/8356/task/8357/stat : 8357 (java) R 8353 8353 32685 0 -1 4202560 47710 0 0 0 284 21 0 0 20 0 10 0 37263342 1086611456 95701 18446744073709551615 4194304 4228012 140733648414208 139736325264168 139736304794720 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0
[pid=8356/tid=8358] ppid=8353 vsize=1061144 CPUtime=0.63
/proc/8356/task/8358/stat : 8358 (java) S 8353 8353 32685 0 -1 4202560 30238 0 0 0 52 11 0 0 20 0 10 0 37263344 1086611456 95701 18446744073709551615 4194304 4228012 140733648414208 139736217902208 139736318744139 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8359] ppid=8353 vsize=1061144 CPUtime=0
/proc/8356/task/8359/stat : 8359 (java) S 8353 8353 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 37263345 1086611456 95701 18446744073709551615 4194304 4228012 140733648414208 139736216848400 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8360] ppid=8353 vsize=1061144 CPUtime=0
/proc/8356/task/8360/stat : 8360 (java) S 8353 8353 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 37263345 1086611456 95701 18446744073709551615 4194304 4228012 140733648414208 139736215795616 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8361] ppid=8353 vsize=1061144 CPUtime=0
/proc/8356/task/8361/stat : 8361 (java) S 8353 8353 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 37263349 1086611456 95701 18446744073709551615 4194304 4228012 140733648414208 139736214744048 139736318751776 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8362] ppid=8353 vsize=1061144 CPUtime=1.3
/proc/8356/task/8362/stat : 8362 (java) R 8353 8353 32685 0 -1 4202560 9834 0 0 0 126 4 0 0 20 0 10 0 37263349 1086611456 95701 18446744073709551615 4194304 4228012 140733648414208 139736213679448 139736303034654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8363] ppid=8353 vsize=1061144 CPUtime=1.19
/proc/8356/task/8363/stat : 8363 (java) R 8353 8353 32685 0 -1 4202560 10527 0 0 0 116 3 0 0 20 0 10 0 37263349 1086611456 95701 18446744073709551615 4194304 4228012 140733648414208 139736212623288 139736300637600 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8364] ppid=8353 vsize=1061144 CPUtime=0
/proc/8356/task/8364/stat : 8364 (java) S 8353 8353 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37263349 1086611456 95701 18446744073709551615 4194304 4228012 140733648414208 139736211586256 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8365] ppid=8353 vsize=1061144 CPUtime=0
/proc/8356/task/8365/stat : 8365 (java) S 8353 8353 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37263349 1086611456 95701 18446744073709551615 4194304 4228012 140733648414208 139736210533760 139736318744139 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 1070316

[startup+8.00086 s]
/proc/loadavg: 1.65 1.38 1.11 2/72 8366
/proc/meminfo: memFree=10068/1022884 swapFree=0/0
[pid=8353] ppid=8352 vsize=9172 CPUtime=0
/proc/8353/stat : 8353 (p2cudf-basic-1.) S 8352 8353 32685 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 37263340 9392128 332 18446744073709551615 4194304 5129932 140734833538064 140734833536208 140433795220574 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8353/statm: 2293 332 280 229 0 53 0
[pid=8356] ppid=8353 vsize=1063200 CPUtime=7.52
/proc/8356/stat : 8356 (java) S 8353 8353 32685 0 -1 4202496 107658 0 0 0 710 42 0 0 20 0 11 0 37263341 1088716800 103754 18446744073709551615 4194304 4228012 140733648414208 140733648405232 139736318729845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8356/statm: 265800 103754 2378 9 0 253150 0
[pid=8356/tid=8357] ppid=8353 vsize=1063200 CPUtime=3.48
/proc/8356/task/8357/stat : 8357 (java) S 8353 8353 32685 0 -1 4202560 47803 0 0 0 326 22 0 0 20 0 11 0 37263342 1088716800 103754 18446744073709551615 4194304 4228012 140733648414208 139736325264304 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0
[pid=8356/tid=8358] ppid=8353 vsize=1063200 CPUtime=0.81
/proc/8356/task/8358/stat : 8358 (java) S 8353 8353 32685 0 -1 4202560 38088 0 0 0 69 12 0 0 20 0 11 0 37263344 1088716800 103754 18446744073709551615 4194304 4228012 140733648414208 139736217902208 139736318744139 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8359] ppid=8353 vsize=1063200 CPUtime=0
/proc/8356/task/8359/stat : 8359 (java) S 8353 8353 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 37263345 1088716800 103754 18446744073709551615 4194304 4228012 140733648414208 139736216848400 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8360] ppid=8353 vsize=1063200 CPUtime=0
/proc/8356/task/8360/stat : 8360 (java) S 8353 8353 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 37263345 1088716800 103754 18446744073709551615 4194304 4228012 140733648414208 139736215795616 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8361] ppid=8353 vsize=1063200 CPUtime=0
/proc/8356/task/8361/stat : 8361 (java) S 8353 8353 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37263349 1088716800 103754 18446744073709551615 4194304 4228012 140733648414208 139736214744048 139736318751776 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8362] ppid=8353 vsize=1063200 CPUtime=1.65
/proc/8356/task/8362/stat : 8362 (java) S 8353 8353 32685 0 -1 4202560 9887 0 0 0 161 4 0 0 20 0 11 0 37263349 1088716800 103754 18446744073709551615 4194304 4228012 140733648414208 139736213691408 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8363] ppid=8353 vsize=1063200 CPUtime=1.55
/proc/8356/task/8363/stat : 8363 (java) S 8353 8353 32685 0 -1 4202560 10574 0 0 0 152 3 0 0 20 0 11 0 37263349 1088716800 103754 18446744073709551615 4194304 4228012 140733648414208 139736212638736 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8364] ppid=8353 vsize=1063200 CPUtime=0
/proc/8356/task/8364/stat : 8364 (java) S 8353 8353 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37263349 1088716800 103754 18446744073709551615 4194304 4228012 140733648414208 139736211586256 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8365] ppid=8353 vsize=1063200 CPUtime=0
/proc/8356/task/8365/stat : 8365 (java) S 8353 8353 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37263349 1088716800 103754 18446744073709551615 4194304 4228012 140733648414208 139736210533760 139736318744139 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.52
Current children cumulated vsize (KiB) 1072372

[startup+8.40077 s]
/proc/loadavg: 1.65 1.38 1.11 2/72 8366
/proc/meminfo: memFree=10068/1022884 swapFree=0/0
[pid=8353] ppid=8352 vsize=9172 CPUtime=0
/proc/8353/stat : 8353 (p2cudf-basic-1.) S 8352 8353 32685 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 37263340 9392128 332 18446744073709551615 4194304 5129932 140734833538064 140734833536208 140433795220574 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8353/statm: 2293 332 280 229 0 53 0
[pid=8356] ppid=8353 vsize=1063200 CPUtime=7.63
/proc/8356/stat : 8356 (java) S 8353 8353 32685 0 -1 4202496 107660 0 0 0 718 45 0 0 20 0 11 0 37263341 1088716800 103756 18446744073709551615 4194304 4228012 140733648414208 140733648405232 139736318729845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8356/statm: 265800 103756 2378 9 0 253150 0
[pid=8356/tid=8357] ppid=8353 vsize=1063200 CPUtime=3.48
/proc/8356/task/8357/stat : 8357 (java) S 8353 8353 32685 0 -1 4202560 47803 0 0 0 326 22 0 0 20 0 11 0 37263342 1088716800 103756 18446744073709551615 4194304 4228012 140733648414208 139736325264304 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0
[pid=8356/tid=8358] ppid=8353 vsize=1063200 CPUtime=0.81
/proc/8356/task/8358/stat : 8358 (java) S 8353 8353 32685 0 -1 4202560 38088 0 0 0 69 12 0 0 20 0 11 0 37263344 1088716800 103756 18446744073709551615 4194304 4228012 140733648414208 139736217902208 139736318744139 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8359] ppid=8353 vsize=1063200 CPUtime=0
/proc/8356/task/8359/stat : 8359 (java) S 8353 8353 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 37263345 1088716800 103756 18446744073709551615 4194304 4228012 140733648414208 139736216848400 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8360] ppid=8353 vsize=1063200 CPUtime=0
/proc/8356/task/8360/stat : 8360 (java) S 8353 8353 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 37263345 1088716800 103756 18446744073709551615 4194304 4228012 140733648414208 139736215795616 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8361] ppid=8353 vsize=1063200 CPUtime=0
/proc/8356/task/8361/stat : 8361 (java) S 8353 8353 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37263349 1088716800 103756 18446744073709551615 4194304 4228012 140733648414208 139736214744048 139736318751776 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8362] ppid=8353 vsize=1063200 CPUtime=1.68
/proc/8356/task/8362/stat : 8362 (java) S 8353 8353 32685 0 -1 4202560 9887 0 0 0 164 4 0 0 20 0 11 0 37263349 1088716800 103756 18446744073709551615 4194304 4228012 140733648414208 139736213691408 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8363] ppid=8353 vsize=1063200 CPUtime=1.56
/proc/8356/task/8363/stat : 8363 (java) R 8353 8353 32685 0 -1 4202560 10574 0 0 0 153 3 0 0 20 0 11 0 37263349 1088716800 103756 18446744073709551615 4194304 4228012 140733648414208 139736212638480 139736303034230 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8364] ppid=8353 vsize=1063200 CPUtime=0
/proc/8356/task/8364/stat : 8364 (java) S 8353 8353 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37263349 1088716800 103756 18446744073709551615 4194304 4228012 140733648414208 139736211586256 139736318743252 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8356/tid=8365] ppid=8353 vsize=1063200 CPUtime=0
/proc/8356/task/8365/stat : 8365 (java) S 8353 8353 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37263349 1088716800 103756 18446744073709551615 4194304 4228012 140733648414208 139736210533760 139736318744139 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.63
Current children cumulated vsize (KiB) 1072372

[startup+8.6009 s]
/proc/loadavg: 1.65 1.38 1.11 2/72 8366
/proc/meminfo: memFree=10068/1022884 swapFree=0/0
[pid=8353] ppid=8352 vsize=9172 CPUtime=0
/proc/8353/stat : 8353 (p2cudf-basic-1.) S 8352 8353 32685 0 -1 4202496 459 292 0 0 0 0 0 0 20 0 1 0 37263340 9392128 332 18446744073709551615 4194304 5129932 140734833538064 140734833536208 140433795220574 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8353/statm: 2293 332 280 229 0 53 0
[pid=8356] ppid=8353 vsize=0 CPUtime=7.82
/proc/8356/stat : 8356 (java) Z 8353 8353 32685 0 -1 4203532 107674 0 0 0 732 50 0 0 20 0 2 0 37263341 0 0 18446744073709551615 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8356/statm: 0 0 0 0 0 0 0
[pid=8356/tid=8363] ppid=8353 vsize=0 CPUtime=1.62
/proc/8356/task/8363/stat : 8363 (java) R 8353 8353 32685 0 -1 4203588 10575 0 0 0 158 4 0 0 20 0 2 0 37263349 0 0 18446744073709551615 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.82
Current children cumulated vsize (KiB) 9172

Child status: 0
Real time (s): 8.64169
CPU time (s): 7.88049
CPU user time (s): 7.33246
CPU system time (s): 0.548034
CPU usage (%): 91.1915
Max. virtual memory (cumulated for all children) (KiB): 1072372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.33246
system time used= 0.548034
maximum resident set size= 415072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108437
page faults= 0
swaps= 0
block input operations= 29472
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 743
involuntary context switches= 1817

runsolver used 0.008 second user time and 0.088005 second system time

The end