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/33bb2fbc-9512-11e0-9181-00163e1e087d.cudf.log.runsolver /home/competition/p2cudf-basic-1.15/p2cudf-basic-1.15 /home/competition/data/real/33bb2fbc-9512-11e0-9181-00163e1e087d.cudf /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/paranoid-size/real/33bb2fbc-9512-11e0-9181-00163e1e087d.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

[startup+0 s]
/proc/loadavg: 1.71 1.43 1.13 2/60 8429
/proc/meminfo: memFree=435644/1022884 swapFree=0/0
[pid=8429] ppid=8428 vsize=3152 CPUtime=0
/proc/8429/stat : 8429 (runsolver) R 8428 32685 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 37267859 3227648 32 18446744073709551615 134512640 134586868 4287722832 4287720880 4151198768 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/8429/statm: 788 32 0 19 0 73 0
Current StackSize limit: 8192 KiB


[startup+0.110418 s]
/proc/loadavg: 1.71 1.43 1.13 2/60 8429
/proc/meminfo: memFree=435644/1022884 swapFree=0/0
[pid=8429] ppid=8428 vsize=9172 CPUtime=0
/proc/8429/stat : 8429 (p2cudf-basic-1.) S 8428 8429 32685 0 -1 4202496 461 294 0 0 0 0 0 0 20 0 1 0 37267859 9392128 332 18446744073709551615 4194304 5129932 140737032423904 140737032422048 140305427407966 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8429/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.200254 s]
/proc/loadavg: 1.71 1.43 1.13 2/60 8429
/proc/meminfo: memFree=435644/1022884 swapFree=0/0
[pid=8429] ppid=8428 vsize=9172 CPUtime=0
/proc/8429/stat : 8429 (p2cudf-basic-1.) S 8428 8429 32685 0 -1 4202496 461 294 0 0 0 0 0 0 20 0 1 0 37267859 9392128 332 18446744073709551615 4194304 5129932 140737032423904 140737032422048 140305427407966 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8429/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.300262 s]
/proc/loadavg: 1.71 1.43 1.13 2/60 8429
/proc/meminfo: memFree=435644/1022884 swapFree=0/0
[pid=8429] ppid=8428 vsize=9172 CPUtime=0
/proc/8429/stat : 8429 (p2cudf-basic-1.) S 8428 8429 32685 0 -1 4202496 461 294 0 0 0 0 0 0 20 0 1 0 37267859 9392128 332 18446744073709551615 4194304 5129932 140737032423904 140737032422048 140305427407966 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8429/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+0.704133 s]
/proc/loadavg: 1.71 1.43 1.13 2/60 8429
/proc/meminfo: memFree=435644/1022884 swapFree=0/0
[pid=8429] ppid=8428 vsize=9172 CPUtime=0
/proc/8429/stat : 8429 (p2cudf-basic-1.) S 8428 8429 32685 0 -1 4202496 461 294 0 0 0 0 0 0 20 0 1 0 37267859 9392128 332 18446744073709551615 4194304 5129932 140737032423904 140737032422048 140305427407966 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8429/statm: 2293 332 280 229 0 53 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9172

[startup+1.50058 s]
/proc/loadavg: 1.71 1.43 1.13 4/71 8441
/proc/meminfo: memFree=319608/1022884 swapFree=0/0
[pid=8429] ppid=8428 vsize=9172 CPUtime=0
/proc/8429/stat : 8429 (p2cudf-basic-1.) S 8428 8429 32685 0 -1 4202496 461 294 0 0 0 0 0 0 20 0 1 0 37267859 9392128 332 18446744073709551615 4194304 5129932 140737032423904 140737032422048 140305427407966 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8429/statm: 2293 332 280 229 0 53 0
[pid=8432] ppid=8429 vsize=1052920 CPUtime=1.47
/proc/8432/stat : 8432 (java) S 8429 8429 32685 0 -1 4202496 42565 0 0 0 133 14 0 0 20 0 10 0 37267860 1078190080 38670 18446744073709551615 4194304 4228012 140737205236240 140737205227264 140378430045813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8432/statm: 263230 38670 2345 9 0 250580 0
[pid=8432/tid=8433] ppid=8429 vsize=1052920 CPUtime=0.61
/proc/8432/task/8433/stat : 8433 (java) R 8429 8429 32685 0 -1 4202560 22350 0 0 0 53 8 0 0 20 0 10 0 37267860 1078190080 38670 18446744073709551615 4194304 4228012 140737205236240 140378436567744 140378334470393 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0
[pid=8432/tid=8434] ppid=8429 vsize=1052920 CPUtime=0
/proc/8432/task/8434/stat : 8434 (java) S 8429 8429 32685 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 10 0 37267862 1078190080 38670 18446744073709551615 4194304 4228012 140737205236240 140378329218176 140378430060107 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8435] ppid=8429 vsize=1052920 CPUtime=0
/proc/8432/task/8435/stat : 8435 (java) S 8429 8429 32685 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 37267863 1078190080 38670 18446744073709551615 4194304 4228012 140737205236240 140378328164368 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8436] ppid=8429 vsize=1052920 CPUtime=0
/proc/8432/task/8436/stat : 8436 (java) S 8429 8429 32685 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 37267863 1078190080 38670 18446744073709551615 4194304 4228012 140737205236240 140378327111584 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8437] ppid=8429 vsize=1052920 CPUtime=0
/proc/8432/task/8437/stat : 8437 (java) S 8429 8429 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 37267865 1078190080 38670 18446744073709551615 4194304 4228012 140737205236240 140378326060016 140378430067744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8438] ppid=8429 vsize=1052920 CPUtime=0.42
/proc/8432/task/8438/stat : 8438 (java) R 8429 8429 32685 0 -1 4202560 8927 0 0 0 40 2 0 0 20 0 10 0 37267865 1078190080 38670 18446744073709551615 4194304 4228012 140737205236240 140378325007120 140378411691664 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8439] ppid=8429 vsize=1052920 CPUtime=0.4
/proc/8432/task/8439/stat : 8439 (java) R 8429 8429 32685 0 -1 4202560 9993 0 0 0 38 2 0 0 20 0 10 0 37267865 1078190080 38670 18446744073709551615 4194304 4228012 140737205236240 140378323954448 140378415942031 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8440] ppid=8429 vsize=1052920 CPUtime=0
/proc/8432/task/8440/stat : 8440 (java) S 8429 8429 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37267865 1078190080 38670 18446744073709551615 4194304 4228012 140737205236240 140378322902224 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8441] ppid=8429 vsize=1052920 CPUtime=0
/proc/8432/task/8441/stat : 8441 (java) S 8429 8429 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37267865 1078190080 38670 18446744073709551615 4194304 4228012 140737205236240 140378321849728 140378430060107 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 1062092

[startup+3.1006 s]
/proc/loadavg: 1.71 1.43 1.13 2/71 8441
/proc/meminfo: memFree=147620/1022884 swapFree=0/0
[pid=8429] ppid=8428 vsize=9172 CPUtime=0
/proc/8429/stat : 8429 (p2cudf-basic-1.) S 8428 8429 32685 0 -1 4202496 461 294 0 0 0 0 0 0 20 0 1 0 37267859 9392128 332 18446744073709551615 4194304 5129932 140737032423904 140737032422048 140305427407966 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8429/statm: 2293 332 280 229 0 53 0
[pid=8432] ppid=8429 vsize=1052920 CPUtime=3.05
/proc/8432/stat : 8432 (java) S 8429 8429 32685 0 -1 4202496 98012 0 0 0 275 30 0 0 20 0 10 0 37267860 1078190080 94117 18446744073709551615 4194304 4228012 140737205236240 140737205227264 140378430045813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8432/statm: 263230 94117 2366 9 0 250580 0
[pid=8432/tid=8433] ppid=8429 vsize=1052920 CPUtime=1.6
/proc/8432/task/8433/stat : 8433 (java) R 8429 8429 32685 0 -1 4202560 47416 0 0 0 142 18 0 0 20 0 10 0 37267860 1078190080 94117 18446744073709551615 4194304 4228012 140737205236240 140378436567744 140378334470039 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0
[pid=8432/tid=8434] ppid=8429 vsize=1052920 CPUtime=0.49
/proc/8432/task/8434/stat : 8434 (java) S 8429 8429 32685 0 -1 4202560 30333 0 0 0 42 7 0 0 20 0 10 0 37267862 1078190080 94117 18446744073709551615 4194304 4228012 140737205236240 140378329218176 140378430060107 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8435] ppid=8429 vsize=1052920 CPUtime=0
/proc/8432/task/8435/stat : 8435 (java) S 8429 8429 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 37267863 1078190080 94117 18446744073709551615 4194304 4228012 140737205236240 140378328164368 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8436] ppid=8429 vsize=1052920 CPUtime=0
/proc/8432/task/8436/stat : 8436 (java) S 8429 8429 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 37267863 1078190080 94117 18446744073709551615 4194304 4228012 140737205236240 140378327111584 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8437] ppid=8429 vsize=1052920 CPUtime=0
/proc/8432/task/8437/stat : 8437 (java) S 8429 8429 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 37267865 1078190080 94117 18446744073709551615 4194304 4228012 140737205236240 140378326060016 140378430067744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8438] ppid=8429 vsize=1052920 CPUtime=0.49
/proc/8432/task/8438/stat : 8438 (java) S 8429 8429 32685 0 -1 4202560 8934 0 0 0 47 2 0 0 20 0 10 0 37267865 1078190080 94117 18446744073709551615 4194304 4228012 140737205236240 140378325007376 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8439] ppid=8429 vsize=1052920 CPUtime=0.44
/proc/8432/task/8439/stat : 8439 (java) S 8429 8429 32685 0 -1 4202560 10034 0 0 0 42 2 0 0 20 0 10 0 37267865 1078190080 94117 18446744073709551615 4194304 4228012 140737205236240 140378323954704 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8440] ppid=8429 vsize=1052920 CPUtime=0
/proc/8432/task/8440/stat : 8440 (java) S 8429 8429 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37267865 1078190080 94117 18446744073709551615 4194304 4228012 140737205236240 140378322902224 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8441] ppid=8429 vsize=1052920 CPUtime=0
/proc/8432/task/8441/stat : 8441 (java) S 8429 8429 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 37267865 1078190080 94117 18446744073709551615 4194304 4228012 140737205236240 140378321849728 140378430060107 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 1062092

[startup+6.30064 s]
/proc/loadavg: 1.73 1.44 1.14 4/71 8441
/proc/meminfo: memFree=12460/1022884 swapFree=0/0
[pid=8429] ppid=8428 vsize=9172 CPUtime=0
/proc/8429/stat : 8429 (p2cudf-basic-1.) S 8428 8429 32685 0 -1 4202496 461 294 0 0 0 0 0 0 20 0 1 0 37267859 9392128 332 18446744073709551615 4194304 5129932 140737032423904 140737032422048 140305427407966 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8429/statm: 2293 332 280 229 0 53 0
[pid=8432] ppid=8429 vsize=1054920 CPUtime=6.08
/proc/8432/stat : 8432 (java) S 8429 8429 32685 0 -1 4202496 110687 0 0 0 573 35 0 0 20 0 11 0 37267860 1080238080 103588 18446744073709551615 4194304 4228012 140737205236240 140737205227264 140378430045813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8432/statm: 263730 103588 2376 9 0 251080 0
[pid=8432/tid=8433] ppid=8429 vsize=1054920 CPUtime=2.74
/proc/8432/task/8433/stat : 8433 (java) R 8429 8429 32685 0 -1 4202560 47771 0 0 0 255 19 0 0 20 0 11 0 37267860 1080238080 103588 18446744073709551615 4194304 4228012 140737205236240 140378436575616 140378417130717 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0
[pid=8432/tid=8434] ppid=8429 vsize=1054920 CPUtime=0.67
/proc/8432/task/8434/stat : 8434 (java) S 8429 8429 32685 0 -1 4202560 38638 0 0 0 57 10 0 0 20 0 11 0 37267862 1080238080 103588 18446744073709551615 4194304 4228012 140737205236240 140378329218176 140378430060107 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8435] ppid=8429 vsize=1054920 CPUtime=0
/proc/8432/task/8435/stat : 8435 (java) S 8429 8429 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 37267863 1080238080 103588 18446744073709551615 4194304 4228012 140737205236240 140378328164368 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8436] ppid=8429 vsize=1054920 CPUtime=0
/proc/8432/task/8436/stat : 8436 (java) S 8429 8429 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 37267863 1080238080 103588 18446744073709551615 4194304 4228012 140737205236240 140378327111584 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8437] ppid=8429 vsize=1054920 CPUtime=0
/proc/8432/task/8437/stat : 8437 (java) S 8429 8429 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37267865 1080238080 103588 18446744073709551615 4194304 4228012 140737205236240 140378326060016 140378430067744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8438] ppid=8429 vsize=1054920 CPUtime=1.34
/proc/8432/task/8438/stat : 8438 (java) R 8429 8429 32685 0 -1 4202560 9307 0 0 0 132 2 0 0 20 0 11 0 37267865 1080238080 103588 18446744073709551615 4194304 4228012 140737205236240 140378324992616 140378415714242 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8439] ppid=8429 vsize=1054920 CPUtime=1.31
/proc/8432/task/8439/stat : 8439 (java) R 8429 8429 32685 0 -1 4202560 13669 0 0 0 128 3 0 0 20 0 11 0 37267865 1080238080 103588 18446744073709551615 4194304 4228012 140737205236240 140378323954448 140378413875201 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8440] ppid=8429 vsize=1054920 CPUtime=0
/proc/8432/task/8440/stat : 8440 (java) S 8429 8429 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37267865 1080238080 103588 18446744073709551615 4194304 4228012 140737205236240 140378322902224 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8441] ppid=8429 vsize=1054920 CPUtime=0
/proc/8432/task/8441/stat : 8441 (java) S 8429 8429 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37267865 1080238080 103588 18446744073709551615 4194304 4228012 140737205236240 140378321849728 140378430060107 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 1064092

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

[startup+6.40077 s]
/proc/loadavg: 1.73 1.44 1.14 4/71 8441
/proc/meminfo: memFree=12460/1022884 swapFree=0/0
[pid=8429] ppid=8428 vsize=9172 CPUtime=0
/proc/8429/stat : 8429 (p2cudf-basic-1.) S 8428 8429 32685 0 -1 4202496 461 294 0 0 0 0 0 0 20 0 1 0 37267859 9392128 332 18446744073709551615 4194304 5129932 140737032423904 140737032422048 140305427407966 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8429/statm: 2293 332 280 229 0 53 0
[pid=8432] ppid=8429 vsize=1054920 CPUtime=6.18
/proc/8432/stat : 8432 (java) S 8429 8429 32685 0 -1 4202496 110743 0 0 0 583 35 0 0 20 0 11 0 37267860 1080238080 103644 18446744073709551615 4194304 4228012 140737205236240 140737205227264 140378430045813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8432/statm: 263730 103644 2376 9 0 251080 0
[pid=8432/tid=8433] ppid=8429 vsize=1054920 CPUtime=2.77
/proc/8432/task/8433/stat : 8433 (java) R 8429 8429 32685 0 -1 4202560 47772 0 0 0 258 19 0 0 20 0 11 0 37267860 1080238080 103644 18446744073709551615 4194304 4228012 140737205236240 140378436568072 140378430061237 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0
[pid=8432/tid=8434] ppid=8429 vsize=1054920 CPUtime=0.67
/proc/8432/task/8434/stat : 8434 (java) S 8429 8429 32685 0 -1 4202560 38638 0 0 0 57 10 0 0 20 0 11 0 37267862 1080238080 103644 18446744073709551615 4194304 4228012 140737205236240 140378329218008 140378430069996 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8435] ppid=8429 vsize=1054920 CPUtime=0
/proc/8432/task/8435/stat : 8435 (java) S 8429 8429 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 37267863 1080238080 103644 18446744073709551615 4194304 4228012 140737205236240 140378328164368 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8436] ppid=8429 vsize=1054920 CPUtime=0
/proc/8432/task/8436/stat : 8436 (java) S 8429 8429 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 37267863 1080238080 103644 18446744073709551615 4194304 4228012 140737205236240 140378327111584 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8437] ppid=8429 vsize=1054920 CPUtime=0
/proc/8432/task/8437/stat : 8437 (java) S 8429 8429 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37267865 1080238080 103644 18446744073709551615 4194304 4228012 140737205236240 140378326060016 140378430067744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8438] ppid=8429 vsize=1054920 CPUtime=1.37
/proc/8432/task/8438/stat : 8438 (java) R 8429 8429 32685 0 -1 4202560 9361 0 0 0 135 2 0 0 20 0 11 0 37267865 1080238080 103644 18446744073709551615 4194304 4228012 140737205236240 140378324992616 140378415682179 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8439] ppid=8429 vsize=1054920 CPUtime=1.34
/proc/8432/task/8439/stat : 8439 (java) R 8429 8429 32685 0 -1 4202560 13670 0 0 0 131 3 0 0 20 0 11 0 37267865 1080238080 103644 18446744073709551615 4194304 4228012 140737205236240 140378323954448 140378414102329 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8440] ppid=8429 vsize=1054920 CPUtime=0
/proc/8432/task/8440/stat : 8440 (java) S 8429 8429 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37267865 1080238080 103644 18446744073709551615 4194304 4228012 140737205236240 140378322902224 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8441] ppid=8429 vsize=1054920 CPUtime=0
/proc/8432/task/8441/stat : 8441 (java) S 8429 8429 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37267865 1080238080 103644 18446744073709551615 4194304 4228012 140737205236240 140378321849728 140378430060107 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 1064092

[startup+7.20084 s]
/proc/loadavg: 1.73 1.44 1.14 4/72 8442
/proc/meminfo: memFree=9848/1022884 swapFree=0/0
[pid=8429] ppid=8428 vsize=9172 CPUtime=0
/proc/8429/stat : 8429 (p2cudf-basic-1.) S 8428 8429 32685 0 -1 4202496 461 294 0 0 0 0 0 0 20 0 1 0 37267859 9392128 332 18446744073709551615 4194304 5129932 140737032423904 140737032422048 140305427407966 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8429/statm: 2293 332 280 229 0 53 0
[pid=8432] ppid=8429 vsize=1055908 CPUtime=6.97
/proc/8432/stat : 8432 (java) S 8429 8429 32685 0 -1 4202496 110923 0 0 0 662 35 0 0 20 0 11 0 37267860 1081249792 103824 18446744073709551615 4194304 4228012 140737205236240 140737205227264 140378430045813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8432/statm: 263977 103824 2377 9 0 251327 0
[pid=8432/tid=8433] ppid=8429 vsize=1055908 CPUtime=3.03
/proc/8432/task/8433/stat : 8433 (java) R 8429 8429 32685 0 -1 4202560 47798 0 0 0 284 19 0 0 20 0 11 0 37267860 1081249792 103824 18446744073709551615 4194304 4228012 140737205236240 140378436566944 140378413951532 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0
[pid=8432/tid=8434] ppid=8429 vsize=1055908 CPUtime=0.67
/proc/8432/task/8434/stat : 8434 (java) S 8429 8429 32685 0 -1 4202560 38638 0 0 0 57 10 0 0 20 0 11 0 37267862 1081249792 103824 18446744073709551615 4194304 4228012 140737205236240 140378329218176 140378430060107 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8435] ppid=8429 vsize=1055908 CPUtime=0
/proc/8432/task/8435/stat : 8435 (java) S 8429 8429 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 37267863 1081249792 103824 18446744073709551615 4194304 4228012 140737205236240 140378328164368 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8436] ppid=8429 vsize=1055908 CPUtime=0
/proc/8432/task/8436/stat : 8436 (java) S 8429 8429 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 37267863 1081249792 103824 18446744073709551615 4194304 4228012 140737205236240 140378327111584 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8437] ppid=8429 vsize=1055908 CPUtime=0
/proc/8432/task/8437/stat : 8437 (java) S 8429 8429 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37267865 1081249792 103824 18446744073709551615 4194304 4228012 140737205236240 140378326060016 140378430067744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8438] ppid=8429 vsize=1055908 CPUtime=1.64
/proc/8432/task/8438/stat : 8438 (java) R 8429 8429 32685 0 -1 4202560 9511 0 0 0 162 2 0 0 20 0 11 0 37267865 1081249792 103824 18446744073709551615 4194304 4228012 140737205236240 140378325007120 140378413007652 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8439] ppid=8429 vsize=1055908 CPUtime=1.61
/proc/8432/task/8439/stat : 8439 (java) R 8429 8429 32685 0 -1 4202560 13674 0 0 0 158 3 0 0 20 0 11 0 37267865 1081249792 103824 18446744073709551615 4194304 4228012 140737205236240 140378323954448 140378414350556 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8440] ppid=8429 vsize=1055908 CPUtime=0
/proc/8432/task/8440/stat : 8440 (java) S 8429 8429 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37267865 1081249792 103824 18446744073709551615 4194304 4228012 140737205236240 140378322902224 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8441] ppid=8429 vsize=1055908 CPUtime=0
/proc/8432/task/8441/stat : 8441 (java) S 8429 8429 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37267865 1081249792 103824 18446744073709551615 4194304 4228012 140737205236240 140378321849728 140378430060107 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8442] ppid=8429 vsize=1055908 CPUtime=0
/proc/8432/task/8442/stat : 8442 (java) S 8429 8429 32685 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 37268462 1081249792 103824 18446744073709551615 4194304 4228012 140737205236240 140378320648032 140378430060107 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.97
Current children cumulated vsize (KiB) 1065080

[startup+8.00075 s]
/proc/loadavg: 1.73 1.44 1.14 3/72 8443
/proc/meminfo: memFree=9576/1022884 swapFree=0/0
[pid=8429] ppid=8428 vsize=9172 CPUtime=0
/proc/8429/stat : 8429 (p2cudf-basic-1.) S 8428 8429 32685 0 -1 4202496 461 294 0 0 0 0 0 0 20 0 1 0 37267859 9392128 332 18446744073709551615 4194304 5129932 140737032423904 140737032422048 140305427407966 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8429/statm: 2293 332 280 229 0 53 0
[pid=8432] ppid=8429 vsize=1056936 CPUtime=7.53
/proc/8432/stat : 8432 (java) S 8429 8429 32685 0 -1 4202496 110979 0 0 0 717 36 0 0 20 0 11 0 37267860 1082302464 103878 18446744073709551615 4194304 4228012 140737205236240 140737205227264 140378430045813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8432/statm: 264234 103878 2379 9 0 251584 0
[pid=8432/tid=8433] ppid=8429 vsize=1056936 CPUtime=3.19
/proc/8432/task/8433/stat : 8433 (java) S 8429 8429 32685 0 -1 4202560 47810 0 0 0 300 19 0 0 20 0 11 0 37267860 1082302464 103878 18446744073709551615 4194304 4228012 140737205236240 140378436576176 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0
[pid=8432/tid=8434] ppid=8429 vsize=1056936 CPUtime=0.67
/proc/8432/task/8434/stat : 8434 (java) S 8429 8429 32685 0 -1 4202560 38638 0 0 0 57 10 0 0 20 0 11 0 37267862 1082302464 103878 18446744073709551615 4194304 4228012 140737205236240 140378329218176 140378430060107 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8435] ppid=8429 vsize=1056936 CPUtime=0
/proc/8432/task/8435/stat : 8435 (java) S 8429 8429 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 37267863 1082302464 103878 18446744073709551615 4194304 4228012 140737205236240 140378328164368 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8436] ppid=8429 vsize=1056936 CPUtime=0
/proc/8432/task/8436/stat : 8436 (java) S 8429 8429 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 37267863 1082302464 103878 18446744073709551615 4194304 4228012 140737205236240 140378327111584 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8437] ppid=8429 vsize=1056936 CPUtime=0
/proc/8432/task/8437/stat : 8437 (java) S 8429 8429 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37267865 1082302464 103878 18446744073709551615 4194304 4228012 140737205236240 140378326060016 140378430067744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8438] ppid=8429 vsize=1056936 CPUtime=1.84
/proc/8432/task/8438/stat : 8438 (java) S 8429 8429 32685 0 -1 4202560 9529 0 0 0 182 2 0 0 20 0 11 0 37267865 1082302464 103878 18446744073709551615 4194304 4228012 140737205236240 140378325007376 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8439] ppid=8429 vsize=1056936 CPUtime=1.8
/proc/8432/task/8439/stat : 8439 (java) S 8429 8429 32685 0 -1 4202560 13694 0 0 0 177 3 0 0 20 0 11 0 37267865 1082302464 103878 18446744073709551615 4194304 4228012 140737205236240 140378323954704 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8440] ppid=8429 vsize=1056936 CPUtime=0
/proc/8432/task/8440/stat : 8440 (java) S 8429 8429 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37267865 1082302464 103878 18446744073709551615 4194304 4228012 140737205236240 140378322902224 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8441] ppid=8429 vsize=1056936 CPUtime=0
/proc/8432/task/8441/stat : 8441 (java) S 8429 8429 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37267865 1082302464 103878 18446744073709551615 4194304 4228012 140737205236240 140378321849728 140378430060107 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8443] ppid=8429 vsize=1056936 CPUtime=0
/proc/8432/task/8443/stat : 8443 (java) S 8429 8429 32685 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 37268628 1082302464 103878 18446744073709551615 4194304 4228012 140737205236240 140378319595696 140378430060107 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.53
Current children cumulated vsize (KiB) 1066108

[startup+8.20414 s]
/proc/loadavg: 1.73 1.44 1.14 3/72 8443
/proc/meminfo: memFree=9576/1022884 swapFree=0/0
[pid=8429] ppid=8428 vsize=9172 CPUtime=0
/proc/8429/stat : 8429 (p2cudf-basic-1.) S 8428 8429 32685 0 -1 4202496 461 294 0 0 0 0 0 0 20 0 1 0 37267859 9392128 332 18446744073709551615 4194304 5129932 140737032423904 140737032422048 140305427407966 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8429/statm: 2293 332 280 229 0 53 0
[pid=8432] ppid=8429 vsize=1056936 CPUtime=7.54
/proc/8432/stat : 8432 (java) S 8429 8429 32685 0 -1 4202496 110979 0 0 0 718 36 0 0 20 0 11 0 37267860 1082302464 103878 18446744073709551615 4194304 4228012 140737205236240 140737205227264 140378430045813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8432/statm: 264234 103878 2379 9 0 251584 0
[pid=8432/tid=8433] ppid=8429 vsize=1056936 CPUtime=3.19
/proc/8432/task/8433/stat : 8433 (java) S 8429 8429 32685 0 -1 4202560 47810 0 0 0 300 19 0 0 20 0 11 0 37267860 1082302464 103878 18446744073709551615 4194304 4228012 140737205236240 140378436576176 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0
[pid=8432/tid=8434] ppid=8429 vsize=1056936 CPUtime=0.67
/proc/8432/task/8434/stat : 8434 (java) S 8429 8429 32685 0 -1 4202560 38638 0 0 0 57 10 0 0 20 0 11 0 37267862 1082302464 103878 18446744073709551615 4194304 4228012 140737205236240 140378329218176 140378430060107 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8435] ppid=8429 vsize=1056936 CPUtime=0
/proc/8432/task/8435/stat : 8435 (java) S 8429 8429 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 37267863 1082302464 103878 18446744073709551615 4194304 4228012 140737205236240 140378328164368 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8436] ppid=8429 vsize=1056936 CPUtime=0
/proc/8432/task/8436/stat : 8436 (java) S 8429 8429 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 37267863 1082302464 103878 18446744073709551615 4194304 4228012 140737205236240 140378327111584 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8437] ppid=8429 vsize=1056936 CPUtime=0
/proc/8432/task/8437/stat : 8437 (java) S 8429 8429 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37267865 1082302464 103878 18446744073709551615 4194304 4228012 140737205236240 140378326060016 140378430067744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8438] ppid=8429 vsize=1056936 CPUtime=1.84
/proc/8432/task/8438/stat : 8438 (java) R 8429 8429 32685 0 -1 4202560 9529 0 0 0 182 2 0 0 20 0 11 0 37267865 1082302464 103878 18446744073709551615 4194304 4228012 140737205236240 140378325007376 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8439] ppid=8429 vsize=1056936 CPUtime=1.8
/proc/8432/task/8439/stat : 8439 (java) R 8429 8429 32685 0 -1 4202560 13694 0 0 0 177 3 0 0 20 0 11 0 37267865 1082302464 103878 18446744073709551615 4194304 4228012 140737205236240 140378323954448 140378415718810 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8440] ppid=8429 vsize=1056936 CPUtime=0
/proc/8432/task/8440/stat : 8440 (java) S 8429 8429 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37267865 1082302464 103878 18446744073709551615 4194304 4228012 140737205236240 140378322902224 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8441] ppid=8429 vsize=1056936 CPUtime=0
/proc/8432/task/8441/stat : 8441 (java) S 8429 8429 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37267865 1082302464 103878 18446744073709551615 4194304 4228012 140737205236240 140378321849728 140378430060107 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8443] ppid=8429 vsize=1056936 CPUtime=0
/proc/8432/task/8443/stat : 8443 (java) R 8429 8429 32685 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 37268628 1082302464 103878 18446744073709551615 4194304 4228012 140737205236240 140378319586496 140378430071085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.54
Current children cumulated vsize (KiB) 1066108

[startup+8.30074 s]
/proc/loadavg: 1.73 1.44 1.14 3/72 8443
/proc/meminfo: memFree=9576/1022884 swapFree=0/0
[pid=8429] ppid=8428 vsize=9172 CPUtime=0
/proc/8429/stat : 8429 (p2cudf-basic-1.) S 8428 8429 32685 0 -1 4202496 461 294 0 0 0 0 0 0 20 0 1 0 37267859 9392128 332 18446744073709551615 4194304 5129932 140737032423904 140737032422048 140305427407966 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/8429/statm: 2293 332 280 229 0 53 0
[pid=8432] ppid=8429 vsize=1056936 CPUtime=7.63
/proc/8432/stat : 8432 (java) S 8429 8429 32685 0 -1 4202496 110983 0 0 0 724 39 0 0 20 0 11 0 37267860 1082302464 103882 18446744073709551615 4194304 4228012 140737205236240 140737205227264 140378430045813 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8432/statm: 264234 103882 2379 9 0 251584 0
[pid=8432/tid=8433] ppid=8429 vsize=1056936 CPUtime=3.19
/proc/8432/task/8433/stat : 8433 (java) S 8429 8429 32685 0 -1 4202560 47810 0 0 0 300 19 0 0 20 0 11 0 37267860 1082302464 103882 18446744073709551615 4194304 4228012 140737205236240 140378436576176 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0
[pid=8432/tid=8434] ppid=8429 vsize=1056936 CPUtime=0.67
/proc/8432/task/8434/stat : 8434 (java) S 8429 8429 32685 0 -1 4202560 38638 0 0 0 57 10 0 0 20 0 11 0 37267862 1082302464 103882 18446744073709551615 4194304 4228012 140737205236240 140378329218176 140378430060107 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8435] ppid=8429 vsize=1056936 CPUtime=0
/proc/8432/task/8435/stat : 8435 (java) S 8429 8429 32685 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 37267863 1082302464 103882 18446744073709551615 4194304 4228012 140737205236240 140378328164368 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8436] ppid=8429 vsize=1056936 CPUtime=0
/proc/8432/task/8436/stat : 8436 (java) S 8429 8429 32685 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 37267863 1082302464 103882 18446744073709551615 4194304 4228012 140737205236240 140378327111584 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8437] ppid=8429 vsize=1056936 CPUtime=0
/proc/8432/task/8437/stat : 8437 (java) S 8429 8429 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37267865 1082302464 103882 18446744073709551615 4194304 4228012 140737205236240 140378326060016 140378430067744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8438] ppid=8429 vsize=1056936 CPUtime=1.84
/proc/8432/task/8438/stat : 8438 (java) S 8429 8429 32685 0 -1 4202560 9530 0 0 0 182 2 0 0 20 0 11 0 37267865 1082302464 103882 18446744073709551615 4194304 4228012 140737205236240 140378325007376 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8439] ppid=8429 vsize=1056936 CPUtime=1.83
/proc/8432/task/8439/stat : 8439 (java) S 8429 8429 32685 0 -1 4202560 13694 0 0 0 180 3 0 0 20 0 11 0 37267865 1082302464 103882 18446744073709551615 4194304 4228012 140737205236240 140378323954704 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8440] ppid=8429 vsize=1056936 CPUtime=0
/proc/8432/task/8440/stat : 8440 (java) S 8429 8429 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 37267865 1082302464 103882 18446744073709551615 4194304 4228012 140737205236240 140378322902224 140378430059220 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8441] ppid=8429 vsize=1056936 CPUtime=0
/proc/8432/task/8441/stat : 8441 (java) S 8429 8429 32685 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 37267865 1082302464 103882 18446744073709551615 4194304 4228012 140737205236240 140378321849728 140378430060107 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8432/tid=8443] ppid=8429 vsize=1056936 CPUtime=0.07
/proc/8432/task/8443/stat : 8443 (java) R 8429 8429 32685 0 -1 4202560 9 0 0 0 4 3 0 0 20 0 11 0 37268628 1082302464 103882 18446744073709551615 4194304 4228012 140737205236240 140378319586608 140378430071085 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) 1066108

Child status: 0
Real time (s): 8.34276
CPU time (s): 7.68848
CPU user time (s): 7.28446
CPU system time (s): 0.404025
CPU usage (%): 92.1575
Max. virtual memory (cumulated for all children) (KiB): 1066568

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.28446
system time used= 0.404025
maximum resident set size= 415576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111764
page faults= 0
swaps= 0
block input operations= 37048
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 623
involuntary context switches= 1866

runsolver used 0.004 second user time and 0.072004 second system time

The end