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/4a69cf16-c731-11df-9182-00163e3d3b7c.cudf.log.runsolver /home/competition/p2cudf-basic-1.15/p2cudf-basic-1.15 /home/competition/data/real/4a69cf16-c731-11df-9182-00163e3d3b7c.cudf /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/paranoid-size/real/4a69cf16-c731-11df-9182-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.15 1.09 1.01 2/59 22342
/proc/meminfo: memFree=497944/1022884 swapFree=0/0
[pid=22342] ppid=22341 vsize=9168 CPUtime=0
/proc/22342/stat : 22342 (p2cudf-basic-1.) S 22341 22342 1733 0 -1 4202496 424 0 0 0 0 0 0 0 20 0 1 0 115494888 9388032 325 18446744073709551615 4194304 5129932 140735879199920 140735879197592 140005041440544 0 0 16781316 65536 0 0 0 17 0 0 0 0 0 0
/proc/22342/statm: 2292 325 275 229 0 52 0

[startup+0.188703 s]
/proc/loadavg: 1.15 1.09 1.01 2/59 22342
/proc/meminfo: memFree=497944/1022884 swapFree=0/0
[pid=22342] ppid=22341 vsize=9172 CPUtime=0
/proc/22342/stat : 22342 (p2cudf-basic-1.) S 22341 22342 1733 0 -1 4202496 459 293 0 0 0 0 0 0 20 0 1 0 115494888 9392128 331 18446744073709551615 4194304 5129932 140735879199920 140735879198064 140005041296478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22342/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.200318 s]
/proc/loadavg: 1.15 1.09 1.01 2/59 22342
/proc/meminfo: memFree=497944/1022884 swapFree=0/0
[pid=22342] ppid=22341 vsize=9172 CPUtime=0
/proc/22342/stat : 22342 (p2cudf-basic-1.) S 22341 22342 1733 0 -1 4202496 459 293 0 0 0 0 0 0 20 0 1 0 115494888 9392128 331 18446744073709551615 4194304 5129932 140735879199920 140735879198064 140005041296478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22342/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.300254 s]
/proc/loadavg: 1.15 1.09 1.01 2/59 22342
/proc/meminfo: memFree=497944/1022884 swapFree=0/0
[pid=22342] ppid=22341 vsize=9172 CPUtime=0
/proc/22342/stat : 22342 (p2cudf-basic-1.) S 22341 22342 1733 0 -1 4202496 459 293 0 0 0 0 0 0 20 0 1 0 115494888 9392128 331 18446744073709551615 4194304 5129932 140735879199920 140735879198064 140005041296478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22342/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.700202 s]
/proc/loadavg: 1.15 1.09 1.01 2/59 22342
/proc/meminfo: memFree=497944/1022884 swapFree=0/0
[pid=22342] ppid=22341 vsize=9172 CPUtime=0
/proc/22342/stat : 22342 (p2cudf-basic-1.) S 22341 22342 1733 0 -1 4202496 459 293 0 0 0 0 0 0 20 0 1 0 115494888 9392128 331 18446744073709551615 4194304 5129932 140735879199920 140735879198064 140005041296478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22342/statm: 2293 331 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+1.50076 s]
/proc/loadavg: 1.15 1.09 1.01 4/70 22354
/proc/meminfo: memFree=421216/1022884 swapFree=0/0
[pid=22342] ppid=22341 vsize=9172 CPUtime=0
/proc/22342/stat : 22342 (p2cudf-basic-1.) S 22341 22342 1733 0 -1 4202496 459 293 0 0 0 0 0 0 20 0 1 0 115494888 9392128 331 18446744073709551615 4194304 5129932 140735879199920 140735879198064 140005041296478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22342/statm: 2293 331 280 229 0 53 0
[pid=22345] ppid=22342 vsize=1051512 CPUtime=1.44
/proc/22345/stat : 22345 (java) S 22342 22342 1733 0 -1 4202496 35475 0 0 0 132 12 0 0 20 0 10 0 115494889 1076748288 32153 18446744073709551615 4194304 4228012 140733698501920 140733698492944 140389992550005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22345/statm: 262878 32153 2348 9 0 250228 0
[pid=22345/tid=22346] ppid=22342 vsize=1051512 CPUtime=0.66
/proc/22345/task/22346/stat : 22346 (java) R 22342 22342 1733 0 -1 4202560 15817 0 0 0 60 6 0 0 20 0 10 0 115494890 1076748288 32153 18446744073709551615 4194304 4228012 140733698501920 140389999076000 140389976044981 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0
[pid=22345/tid=22347] ppid=22342 vsize=1051512 CPUtime=0
/proc/22345/task/22347/stat : 22347 (java) S 22342 22342 1733 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 10 0 115494892 1076748288 32153 18446744073709551615 4194304 4228012 140733698501920 140389891722368 140389992564299 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22348] ppid=22342 vsize=1051512 CPUtime=0
/proc/22345/task/22348/stat : 22348 (java) S 22342 22342 1733 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 115494893 1076748288 32153 18446744073709551615 4194304 4228012 140733698501920 140389890668560 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22349] ppid=22342 vsize=1051512 CPUtime=0
/proc/22345/task/22349/stat : 22349 (java) S 22342 22342 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 115494893 1076748288 32153 18446744073709551615 4194304 4228012 140733698501920 140389889615776 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22350] ppid=22342 vsize=1051512 CPUtime=0
/proc/22345/task/22350/stat : 22350 (java) S 22342 22342 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115494897 1076748288 32153 18446744073709551615 4194304 4228012 140733698501920 140389888564208 140389992571936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22351] ppid=22342 vsize=1051512 CPUtime=0.37
/proc/22345/task/22351/stat : 22351 (java) R 22342 22342 1733 0 -1 4202560 9116 0 0 0 34 3 0 0 20 0 10 0 115494897 1076748288 32153 18446744073709551615 4194304 4228012 140733698501920 140389887499096 140389975398118 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22352] ppid=22342 vsize=1051512 CPUtime=0.39
/proc/22345/task/22352/stat : 22352 (java) R 22342 22342 1733 0 -1 4202560 9251 0 0 0 36 3 0 0 20 0 10 0 115494897 1076748288 32153 18446744073709551615 4194304 4228012 140733698501920 140389886446472 140389976853650 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22353] ppid=22342 vsize=1051512 CPUtime=0
/proc/22345/task/22353/stat : 22353 (java) S 22342 22342 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115494897 1076748288 32153 18446744073709551615 4194304 4228012 140733698501920 140389885406416 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22354] ppid=22342 vsize=1051512 CPUtime=0
/proc/22345/task/22354/stat : 22354 (java) S 22342 22342 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115494897 1076748288 32153 18446744073709551615 4194304 4228012 140733698501920 140389884353920 140389992564299 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 1060684

[startup+3.1008 s]
/proc/loadavg: 1.15 1.09 1.01 2/70 22354
/proc/meminfo: memFree=330820/1022884 swapFree=0/0
[pid=22342] ppid=22341 vsize=9172 CPUtime=0
/proc/22342/stat : 22342 (p2cudf-basic-1.) S 22341 22342 1733 0 -1 4202496 459 293 0 0 0 0 0 0 20 0 1 0 115494888 9392128 331 18446744073709551615 4194304 5129932 140735879199920 140735879198064 140005041296478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22342/statm: 2293 331 280 229 0 53 0
[pid=22345] ppid=22342 vsize=1051040 CPUtime=2.97
/proc/22345/stat : 22345 (java) S 22342 22342 1733 0 -1 4202496 78244 0 0 0 271 26 0 0 20 0 10 0 115494889 1076264960 73889 18446744073709551615 4194304 4228012 140733698501920 140733698492944 140389992550005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22345/statm: 262760 73889 2370 9 0 250110 0
[pid=22345/tid=22346] ppid=22342 vsize=1051040 CPUtime=1.54
/proc/22345/task/22346/stat : 22346 (java) S 22342 22342 1733 0 -1 4202560 47413 0 0 0 140 14 0 0 20 0 10 0 115494890 1076264960 73889 18446744073709551615 4194304 4228012 140733698501920 140389999084032 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0
[pid=22345/tid=22347] ppid=22342 vsize=1051040 CPUtime=0.19
/proc/22345/task/22347/stat : 22347 (java) R 22342 22342 1733 0 -1 4202560 10239 0 0 0 15 4 0 0 20 0 10 0 115494892 1076264960 73889 18446744073709551615 4194304 4228012 140733698501920 140389891721744 140389978729257 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22348] ppid=22342 vsize=1051040 CPUtime=0
/proc/22345/task/22348/stat : 22348 (java) S 22342 22342 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115494893 1076264960 73889 18446744073709551615 4194304 4228012 140733698501920 140389890668560 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22349] ppid=22342 vsize=1051040 CPUtime=0
/proc/22345/task/22349/stat : 22349 (java) S 22342 22342 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 115494893 1076264960 73889 18446744073709551615 4194304 4228012 140733698501920 140389889615776 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22350] ppid=22342 vsize=1051040 CPUtime=0
/proc/22345/task/22350/stat : 22350 (java) S 22342 22342 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115494897 1076264960 73889 18446744073709551615 4194304 4228012 140733698501920 140389888564208 140389992571936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22351] ppid=22342 vsize=1051040 CPUtime=0.6
/proc/22345/task/22351/stat : 22351 (java) S 22342 22342 1733 0 -1 4202560 9263 0 0 0 57 3 0 0 20 0 10 0 115494897 1076264960 73889 18446744073709551615 4194304 4228012 140733698501920 140389887511568 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22352] ppid=22342 vsize=1051040 CPUtime=0.6
/proc/22345/task/22352/stat : 22352 (java) S 22342 22342 1733 0 -1 4202560 10038 0 0 0 56 4 0 0 20 0 10 0 115494897 1076264960 73889 18446744073709551615 4194304 4228012 140733698501920 140389886458896 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22353] ppid=22342 vsize=1051040 CPUtime=0
/proc/22345/task/22353/stat : 22353 (java) S 22342 22342 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115494897 1076264960 73889 18446744073709551615 4194304 4228012 140733698501920 140389885406416 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22354] ppid=22342 vsize=1051040 CPUtime=0
/proc/22345/task/22354/stat : 22354 (java) S 22342 22342 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115494897 1076264960 73889 18446744073709551615 4194304 4228012 140733698501920 140389884353920 140389992564299 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 1060212

[startup+6.30056 s]
/proc/loadavg: 1.14 1.09 1.01 2/70 22354
/proc/meminfo: memFree=42396/1022884 swapFree=0/0
[pid=22342] ppid=22341 vsize=9172 CPUtime=0
/proc/22342/stat : 22342 (p2cudf-basic-1.) S 22341 22342 1733 0 -1 4202496 459 293 0 0 0 0 0 0 20 0 1 0 115494888 9392128 331 18446744073709551615 4194304 5129932 140735879199920 140735879198064 140005041296478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22342/statm: 2293 331 280 229 0 53 0
[pid=22345] ppid=22342 vsize=1051040 CPUtime=6.06
/proc/22345/stat : 22345 (java) S 22342 22342 1733 0 -1 4202496 115225 0 0 0 568 38 0 0 20 0 10 0 115494889 1076264960 110616 18446744073709551615 4194304 4228012 140733698501920 140733698492944 140389992550005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22345/statm: 262760 110616 2374 9 0 250110 0
[pid=22345/tid=22346] ppid=22342 vsize=1051040 CPUtime=3.06
/proc/22345/task/22346/stat : 22346 (java) R 22342 22342 1733 0 -1 4202560 47711 0 0 0 291 15 0 0 20 0 10 0 115494890 1076264960 110616 18446744073709551615 4194304 4228012 140733698501920 140389999084168 140389977039994 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0
[pid=22345/tid=22347] ppid=22342 vsize=1051040 CPUtime=0.95
/proc/22345/task/22347/stat : 22347 (java) S 22342 22342 1733 0 -1 4202560 46751 0 0 0 80 15 0 0 20 0 10 0 115494892 1076264960 110616 18446744073709551615 4194304 4228012 140733698501920 140389891722368 140389992564299 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22348] ppid=22342 vsize=1051040 CPUtime=0
/proc/22345/task/22348/stat : 22348 (java) S 22342 22342 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115494893 1076264960 110616 18446744073709551615 4194304 4228012 140733698501920 140389890668560 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22349] ppid=22342 vsize=1051040 CPUtime=0
/proc/22345/task/22349/stat : 22349 (java) S 22342 22342 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 115494893 1076264960 110616 18446744073709551615 4194304 4228012 140733698501920 140389889615776 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22350] ppid=22342 vsize=1051040 CPUtime=0
/proc/22345/task/22350/stat : 22350 (java) S 22342 22342 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115494897 1076264960 110616 18446744073709551615 4194304 4228012 140733698501920 140389888564208 140389992571936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22351] ppid=22342 vsize=1051040 CPUtime=0.95
/proc/22345/task/22351/stat : 22351 (java) R 22342 22342 1733 0 -1 4202560 9327 0 0 0 92 3 0 0 20 0 10 0 115494897 1076264960 110616 18446744073709551615 4194304 4228012 140733698501920 140389887511312 140389976378995 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22352] ppid=22342 vsize=1051040 CPUtime=1.06
/proc/22345/task/22352/stat : 22352 (java) R 22342 22342 1733 0 -1 4202560 10145 0 0 0 102 4 0 0 20 0 10 0 115494897 1076264960 110616 18446744073709551615 4194304 4228012 140733698501920 140389886458640 140389976828501 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22353] ppid=22342 vsize=1051040 CPUtime=0
/proc/22345/task/22353/stat : 22353 (java) S 22342 22342 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115494897 1076264960 110616 18446744073709551615 4194304 4228012 140733698501920 140389885406416 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22354] ppid=22342 vsize=1051040 CPUtime=0
/proc/22345/task/22354/stat : 22354 (java) S 22342 22342 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115494897 1076264960 110616 18446744073709551615 4194304 4228012 140733698501920 140389884353920 140389992564299 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 1060212

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

[startup+6.40073 s]
/proc/loadavg: 1.14 1.09 1.01 2/70 22354
/proc/meminfo: memFree=42396/1022884 swapFree=0/0
[pid=22342] ppid=22341 vsize=9172 CPUtime=0
/proc/22342/stat : 22342 (p2cudf-basic-1.) S 22341 22342 1733 0 -1 4202496 459 293 0 0 0 0 0 0 20 0 1 0 115494888 9392128 331 18446744073709551615 4194304 5129932 140735879199920 140735879198064 140005041296478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22342/statm: 2293 331 280 229 0 53 0
[pid=22345] ppid=22342 vsize=1051040 CPUtime=6.16
/proc/22345/stat : 22345 (java) S 22342 22342 1733 0 -1 4202496 115261 0 0 0 578 38 0 0 20 0 10 0 115494889 1076264960 110652 18446744073709551615 4194304 4228012 140733698501920 140733698492944 140389992550005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22345/statm: 262760 110652 2374 9 0 250110 0
[pid=22345/tid=22346] ppid=22342 vsize=1051040 CPUtime=3.09
/proc/22345/task/22346/stat : 22346 (java) R 22342 22342 1733 0 -1 4202560 47711 0 0 0 294 15 0 0 20 0 10 0 115494890 1076264960 110652 18446744073709551615 4194304 4228012 140733698501920 140389999084168 140389896568713 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0
[pid=22345/tid=22347] ppid=22342 vsize=1051040 CPUtime=0.95
/proc/22345/task/22347/stat : 22347 (java) S 22342 22342 1733 0 -1 4202560 46751 0 0 0 80 15 0 0 20 0 10 0 115494892 1076264960 110652 18446744073709551615 4194304 4228012 140733698501920 140389891722368 140389992564299 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22348] ppid=22342 vsize=1051040 CPUtime=0
/proc/22345/task/22348/stat : 22348 (java) S 22342 22342 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115494893 1076264960 110652 18446744073709551615 4194304 4228012 140733698501920 140389890668560 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22349] ppid=22342 vsize=1051040 CPUtime=0
/proc/22345/task/22349/stat : 22349 (java) S 22342 22342 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 115494893 1076264960 110652 18446744073709551615 4194304 4228012 140733698501920 140389889615776 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22350] ppid=22342 vsize=1051040 CPUtime=0
/proc/22345/task/22350/stat : 22350 (java) S 22342 22342 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115494897 1076264960 110652 18446744073709551615 4194304 4228012 140733698501920 140389888564208 140389992571936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22351] ppid=22342 vsize=1051040 CPUtime=0.99
/proc/22345/task/22351/stat : 22351 (java) R 22342 22342 1733 0 -1 4202560 9363 0 0 0 96 3 0 0 20 0 10 0 115494897 1076264960 110652 18446744073709551615 4194304 4228012 140733698501920 140389887511312 140389975395588 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22352] ppid=22342 vsize=1051040 CPUtime=1.1
/proc/22345/task/22352/stat : 22352 (java) R 22342 22342 1733 0 -1 4202560 10145 0 0 0 106 4 0 0 20 0 10 0 115494897 1076264960 110652 18446744073709551615 4194304 4228012 140733698501920 140389886458640 140389976854496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22353] ppid=22342 vsize=1051040 CPUtime=0
/proc/22345/task/22353/stat : 22353 (java) S 22342 22342 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115494897 1076264960 110652 18446744073709551615 4194304 4228012 140733698501920 140389885406416 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22354] ppid=22342 vsize=1051040 CPUtime=0
/proc/22345/task/22354/stat : 22354 (java) S 22342 22342 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115494897 1076264960 110652 18446744073709551615 4194304 4228012 140733698501920 140389884353920 140389992564299 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 1060212

[startup+8.00057 s]
/proc/loadavg: 1.14 1.09 1.01 4/70 22354
/proc/meminfo: memFree=12140/1022884 swapFree=0/0
[pid=22342] ppid=22341 vsize=9172 CPUtime=0
/proc/22342/stat : 22342 (p2cudf-basic-1.) S 22341 22342 1733 0 -1 4202496 459 293 0 0 0 0 0 0 20 0 1 0 115494888 9392128 331 18446744073709551615 4194304 5129932 140735879199920 140735879198064 140005041296478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22342/statm: 2293 331 280 229 0 53 0
[pid=22345] ppid=22342 vsize=1052068 CPUtime=7.75
/proc/22345/stat : 22345 (java) S 22342 22342 1733 0 -1 4202496 122590 0 0 0 735 40 0 0 20 0 11 0 115494889 1077317632 117981 18446744073709551615 4194304 4228012 140733698501920 140733698492944 140389992550005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22345/statm: 263017 117981 2377 9 0 250367 0
[pid=22345/tid=22346] ppid=22342 vsize=1052068 CPUtime=3.7
/proc/22345/task/22346/stat : 22346 (java) R 22342 22342 1733 0 -1 4202560 47798 0 0 0 355 15 0 0 20 0 11 0 115494890 1077317632 117981 18446744073709551615 4194304 4228012 140733698501920 140389999083880 140389897824999 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0
[pid=22345/tid=22347] ppid=22342 vsize=1052068 CPUtime=1.12
/proc/22345/task/22347/stat : 22347 (java) S 22342 22342 1733 0 -1 4202560 53846 0 0 0 96 16 0 0 20 0 11 0 115494892 1077317632 117981 18446744073709551615 4194304 4228012 140733698501920 140389891722368 140389992564299 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22348] ppid=22342 vsize=1052068 CPUtime=0
/proc/22345/task/22348/stat : 22348 (java) S 22342 22342 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115494893 1077317632 117981 18446744073709551615 4194304 4228012 140733698501920 140389890668560 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22349] ppid=22342 vsize=1052068 CPUtime=0
/proc/22345/task/22349/stat : 22349 (java) S 22342 22342 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115494893 1077317632 117981 18446744073709551615 4194304 4228012 140733698501920 140389889615776 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22350] ppid=22342 vsize=1052068 CPUtime=0
/proc/22345/task/22350/stat : 22350 (java) S 22342 22342 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115494897 1077317632 117981 18446744073709551615 4194304 4228012 140733698501920 140389888564208 140389992571936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22351] ppid=22342 vsize=1052068 CPUtime=1.37
/proc/22345/task/22351/stat : 22351 (java) R 22342 22342 1733 0 -1 4202560 9415 0 0 0 134 3 0 0 20 0 11 0 115494897 1077317632 117981 18446744073709551615 4194304 4228012 140733698501920 140389887511312 140389975511816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22352] ppid=22342 vsize=1052068 CPUtime=1.51
/proc/22345/task/22352/stat : 22352 (java) R 22342 22342 1733 0 -1 4202560 10234 0 0 0 147 4 0 0 20 0 11 0 115494897 1077317632 117981 18446744073709551615 4194304 4228012 140733698501920 140389886458640 140389974165059 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22353] ppid=22342 vsize=1052068 CPUtime=0
/proc/22345/task/22353/stat : 22353 (java) S 22342 22342 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115494897 1077317632 117981 18446744073709551615 4194304 4228012 140733698501920 140389885406416 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22354] ppid=22342 vsize=1052068 CPUtime=0
/proc/22345/task/22354/stat : 22354 (java) S 22342 22342 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115494897 1077317632 117981 18446744073709551615 4194304 4228012 140733698501920 140389884353920 140389992564299 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.75
Current children cumulated vsize (KiB) 1061240

[startup+8.80075 s]
/proc/loadavg: 1.14 1.09 1.01 2/71 22356
/proc/meminfo: memFree=11788/1022884 swapFree=0/0
[pid=22342] ppid=22341 vsize=9172 CPUtime=0
/proc/22342/stat : 22342 (p2cudf-basic-1.) S 22341 22342 1733 0 -1 4202496 459 293 0 0 0 0 0 0 20 0 1 0 115494888 9392128 331 18446744073709551615 4194304 5129932 140735879199920 140735879198064 140005041296478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22342/statm: 2293 331 280 229 0 53 0
[pid=22345] ppid=22342 vsize=1053096 CPUtime=8.05
/proc/22345/stat : 22345 (java) S 22342 22342 1733 0 -1 4202496 122628 0 0 0 763 42 0 0 20 0 11 0 115494889 1078370304 118017 18446744073709551615 4194304 4228012 140733698501920 140733698492944 140389992550005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22345/statm: 263274 118017 2379 9 0 250624 0
[pid=22345/tid=22346] ppid=22342 vsize=1053096 CPUtime=3.78
/proc/22345/task/22346/stat : 22346 (java) S 22342 22342 1733 0 -1 4202560 47809 0 0 0 363 15 0 0 20 0 11 0 115494890 1078370304 118017 18446744073709551615 4194304 4228012 140733698501920 140389999084464 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0
[pid=22345/tid=22347] ppid=22342 vsize=1053096 CPUtime=1.12
/proc/22345/task/22347/stat : 22347 (java) S 22342 22342 1733 0 -1 4202560 53846 0 0 0 96 16 0 0 20 0 11 0 115494892 1078370304 118017 18446744073709551615 4194304 4228012 140733698501920 140389891722368 140389992564299 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22348] ppid=22342 vsize=1053096 CPUtime=0
/proc/22345/task/22348/stat : 22348 (java) S 22342 22342 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115494893 1078370304 118017 18446744073709551615 4194304 4228012 140733698501920 140389890668560 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22349] ppid=22342 vsize=1053096 CPUtime=0
/proc/22345/task/22349/stat : 22349 (java) S 22342 22342 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115494893 1078370304 118017 18446744073709551615 4194304 4228012 140733698501920 140389889615776 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22350] ppid=22342 vsize=1053096 CPUtime=0
/proc/22345/task/22350/stat : 22350 (java) S 22342 22342 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115494897 1078370304 118017 18446744073709551615 4194304 4228012 140733698501920 140389888564208 140389992571936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22351] ppid=22342 vsize=1053096 CPUtime=1.48
/proc/22345/task/22351/stat : 22351 (java) S 22342 22342 1733 0 -1 4202560 9427 0 0 0 145 3 0 0 20 0 11 0 115494897 1078370304 118017 18446744073709551615 4194304 4228012 140733698501920 140389887511568 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22352] ppid=22342 vsize=1053096 CPUtime=1.59
/proc/22345/task/22352/stat : 22352 (java) S 22342 22342 1733 0 -1 4202560 10242 0 0 0 155 4 0 0 20 0 11 0 115494897 1078370304 118017 18446744073709551615 4194304 4228012 140733698501920 140389886458896 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22353] ppid=22342 vsize=1053096 CPUtime=0
/proc/22345/task/22353/stat : 22353 (java) S 22342 22342 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115494897 1078370304 118017 18446744073709551615 4194304 4228012 140733698501920 140389885406416 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22354] ppid=22342 vsize=1053096 CPUtime=0
/proc/22345/task/22354/stat : 22354 (java) S 22342 22342 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115494897 1078370304 118017 18446744073709551615 4194304 4228012 140733698501920 140389884353920 140389992564299 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22356] ppid=22342 vsize=1053096 CPUtime=0.04
/proc/22345/task/22356/stat : 22356 (java) R 22342 22342 1733 0 -1 4202560 7 0 0 0 2 2 0 0 20 0 11 0 115495711 1078370304 118017 18446744073709551615 4194304 4228012 140733698501920 140389882086592 140389992575277 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.05
Current children cumulated vsize (KiB) 1062268

[startup+9.00081 s]
/proc/loadavg: 1.14 1.09 1.01 2/71 22356
/proc/meminfo: memFree=11788/1022884 swapFree=0/0
[pid=22342] ppid=22341 vsize=9172 CPUtime=0
/proc/22342/stat : 22342 (p2cudf-basic-1.) S 22341 22342 1733 0 -1 4202496 459 293 0 0 0 0 0 0 20 0 1 0 115494888 9392128 331 18446744073709551615 4194304 5129932 140735879199920 140735879198064 140005041296478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22342/statm: 2293 331 280 229 0 53 0
[pid=22345] ppid=22342 vsize=1053096 CPUtime=8.24
/proc/22345/stat : 22345 (java) S 22342 22342 1733 0 -1 4202496 122634 0 0 0 777 47 0 0 20 0 11 0 115494889 1078370304 118023 18446744073709551615 4194304 4228012 140733698501920 140733698492944 140389992550005 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22345/statm: 263274 118023 2380 9 0 250624 0
[pid=22345/tid=22346] ppid=22342 vsize=1053096 CPUtime=3.78
/proc/22345/task/22346/stat : 22346 (java) S 22342 22342 1733 0 -1 4202560 47809 0 0 0 363 15 0 0 20 0 11 0 115494890 1078370304 118023 18446744073709551615 4194304 4228012 140733698501920 140389999084464 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0
[pid=22345/tid=22347] ppid=22342 vsize=1053096 CPUtime=1.12
/proc/22345/task/22347/stat : 22347 (java) S 22342 22342 1733 0 -1 4202560 53846 0 0 0 96 16 0 0 20 0 11 0 115494892 1078370304 118023 18446744073709551615 4194304 4228012 140733698501920 140389891722368 140389992564299 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22348] ppid=22342 vsize=1053096 CPUtime=0
/proc/22345/task/22348/stat : 22348 (java) S 22342 22342 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115494893 1078370304 118023 18446744073709551615 4194304 4228012 140733698501920 140389890668560 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22349] ppid=22342 vsize=1053096 CPUtime=0
/proc/22345/task/22349/stat : 22349 (java) S 22342 22342 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115494893 1078370304 118023 18446744073709551615 4194304 4228012 140733698501920 140389889615776 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22350] ppid=22342 vsize=1053096 CPUtime=0
/proc/22345/task/22350/stat : 22350 (java) S 22342 22342 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115494897 1078370304 118023 18446744073709551615 4194304 4228012 140733698501920 140389888564208 140389992571936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22351] ppid=22342 vsize=1053096 CPUtime=1.52
/proc/22345/task/22351/stat : 22351 (java) R 22342 22342 1733 0 -1 4202560 9431 0 0 0 149 3 0 0 20 0 11 0 115494897 1078370304 118023 18446744073709551615 4194304 4228012 140733698501920 140389887511312 140389979886748 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22352] ppid=22342 vsize=1053096 CPUtime=1.62
/proc/22345/task/22352/stat : 22352 (java) R 22342 22342 1733 0 -1 4202560 10242 0 0 0 158 4 0 0 20 0 11 0 115494897 1078370304 118023 18446744073709551615 4194304 4228012 140733698501920 140389886458640 140389978957248 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22353] ppid=22342 vsize=1053096 CPUtime=0
/proc/22345/task/22353/stat : 22353 (java) S 22342 22342 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115494897 1078370304 118023 18446744073709551615 4194304 4228012 140733698501920 140389885406416 140389992563412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22354] ppid=22342 vsize=1053096 CPUtime=0
/proc/22345/task/22354/stat : 22354 (java) S 22342 22342 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115494897 1078370304 118023 18446744073709551615 4194304 4228012 140733698501920 140389884353920 140389992564299 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22345/tid=22356] ppid=22342 vsize=1053096 CPUtime=0.15
/proc/22345/task/22356/stat : 22356 (java) R 22342 22342 1733 0 -1 4202560 9 0 0 0 8 7 0 0 20 0 11 0 115495711 1078370304 118023 18446744073709551615 4194304 4228012 140733698501920 140389882087232 140389992575277 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 8.24
Current children cumulated vsize (KiB) 1062268

[startup+9.10358 s]
/proc/loadavg: 1.14 1.09 1.01 2/71 22356
/proc/meminfo: memFree=11788/1022884 swapFree=0/0
[pid=22342] ppid=22341 vsize=9172 CPUtime=0
/proc/22342/stat : 22342 (p2cudf-basic-1.) S 22341 22342 1733 0 -1 4202496 459 293 0 0 0 0 0 0 20 0 1 0 115494888 9392128 331 18446744073709551615 4194304 5129932 140735879199920 140735879198064 140005041296478 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/22342/statm: 2293 331 280 229 0 53 0
[pid=22345] ppid=22342 vsize=0 CPUtime=8.34
/proc/22345/stat : 22345 (java) Z 22342 22342 1733 0 -1 4203532 122651 0 0 0 784 50 0 0 20 0 2 0 115494889 0 0 18446744073709551615 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/22345/statm: 0 0 0 0 0 0 0
[pid=22345/tid=22356] ppid=22342 vsize=0 CPUtime=0.22
/proc/22345/task/22356/stat : 22356 (java) R 22342 22342 1733 0 -1 4203588 9 0 0 0 12 10 0 0 20 0 2 0 115495711 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) 8.34
Current children cumulated vsize (KiB) 9172

Child status: 0
Real time (s): 9.14661
CPU time (s): 8.39652
CPU user time (s): 7.85249
CPU system time (s): 0.544034
CPU usage (%): 91.7993
Max. virtual memory (cumulated for all children) (KiB): 1062268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.85249
system time used= 0.544034
maximum resident set size= 472152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123415
page faults= 0
swaps= 0
block input operations= 43856
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 851
involuntary context switches= 2415

runsolver used 0.012 second user time and 0.080005 second system time

The end