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/embedded/install/rand208.cudf.log.runsolver /home/competition/p2cudf-basic-1.15/p2cudf-basic-1.15 /home/competition/data/install/rand208.cudf /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/embedded/install/rand208.cudf.result -sum(solution,installedsize),-count(removed) 

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.40 1.08 0.95 2/64 6535
/proc/meminfo: memFree=581412/1022884 swapFree=0/0
[pid=6535] ppid=6534 vsize=3152 CPUtime=0
/proc/6535/stat : 6535 (runsolver) R 6534 1745 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 115975119 3227648 32 18446744073709551615 134512640 134586868 4293096496 4293094544 4151899184 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/6535/statm: 788 32 0 19 0 73 0
Current StackSize limit: 8192 KiB


[startup+0.111478 s]
/proc/loadavg: 1.40 1.08 0.95 2/64 6535
/proc/meminfo: memFree=581412/1022884 swapFree=0/0
[pid=6535] ppid=6534 vsize=9168 CPUtime=0
/proc/6535/stat : 6535 (p2cudf-basic-1.) S 6534 6535 1745 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115975119 9388032 330 18446744073709551615 4194304 5129932 140736883249376 140736883247520 140681083380830 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6535/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.201056 s]
/proc/loadavg: 1.40 1.08 0.95 2/64 6535
/proc/meminfo: memFree=581412/1022884 swapFree=0/0
[pid=6535] ppid=6534 vsize=9168 CPUtime=0
/proc/6535/stat : 6535 (p2cudf-basic-1.) S 6534 6535 1745 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115975119 9388032 330 18446744073709551615 4194304 5129932 140736883249376 140736883247520 140681083380830 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6535/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.300306 s]
/proc/loadavg: 1.40 1.08 0.95 2/64 6535
/proc/meminfo: memFree=581412/1022884 swapFree=0/0
[pid=6535] ppid=6534 vsize=9168 CPUtime=0
/proc/6535/stat : 6535 (p2cudf-basic-1.) S 6534 6535 1745 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115975119 9388032 330 18446744073709551615 4194304 5129932 140736883249376 140736883247520 140681083380830 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6535/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.700216 s]
/proc/loadavg: 1.40 1.08 0.95 2/64 6535
/proc/meminfo: memFree=581412/1022884 swapFree=0/0
[pid=6535] ppid=6534 vsize=9168 CPUtime=0
/proc/6535/stat : 6535 (p2cudf-basic-1.) S 6534 6535 1745 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115975119 9388032 330 18446744073709551615 4194304 5129932 140736883249376 140736883247520 140681083380830 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6535/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+1.50057 s]
/proc/loadavg: 1.53 1.11 0.96 4/75 6547
/proc/meminfo: memFree=462400/1022884 swapFree=0/0
[pid=6535] ppid=6534 vsize=9168 CPUtime=0
/proc/6535/stat : 6535 (p2cudf-basic-1.) S 6534 6535 1745 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115975119 9388032 330 18446744073709551615 4194304 5129932 140736883249376 140736883247520 140681083380830 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6535/statm: 2292 330 280 229 0 52 0
[pid=6538] ppid=6535 vsize=1068184 CPUtime=1.47
/proc/6538/stat : 6538 (java) S 6535 6535 1745 0 -1 4202496 46356 0 0 0 133 14 0 0 20 0 10 0 115975119 1093820416 40522 18446744073709551615 4194304 4228012 140737255637872 140737255628896 140578148777589 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 267046 40522 2348 9 0 254396 0
[pid=6538/tid=6539] ppid=6535 vsize=1068184 CPUtime=0.62
/proc/6538/task/6539/stat : 6539 (java) R 6535 6535 1745 0 -1 4202560 23985 0 0 0 54 8 0 0 20 0 10 0 115975120 1093820416 40522 18446744073709551615 4194304 4228012 140737255637872 140578155303616 140578052941346 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6540] ppid=6535 vsize=1068184 CPUtime=0
/proc/6538/task/6540/stat : 6540 (java) S 6535 6535 1745 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 10 0 115975122 1093820416 40522 18446744073709551615 4194304 4228012 140737255637872 140578047949952 140578148791883 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6541] ppid=6535 vsize=1068184 CPUtime=0
/proc/6538/task/6541/stat : 6541 (java) S 6535 6535 1745 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 115975122 1093820416 40522 18446744073709551615 4194304 4228012 140737255637872 140578046896144 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6542] ppid=6535 vsize=1068184 CPUtime=0
/proc/6538/task/6542/stat : 6542 (java) S 6535 6535 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 115975122 1093820416 40522 18446744073709551615 4194304 4228012 140737255637872 140578045843360 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6543] ppid=6535 vsize=1068184 CPUtime=0
/proc/6538/task/6543/stat : 6543 (java) S 6535 6535 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115975125 1093820416 40522 18446744073709551615 4194304 4228012 140737255637872 140578044791792 140578148799520 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6544] ppid=6535 vsize=1068184 CPUtime=0.41
/proc/6538/task/6544/stat : 6544 (java) R 6535 6535 1745 0 -1 4202560 10938 0 0 0 38 3 0 0 20 0 10 0 115975125 1093820416 40522 18446744073709551615 4194304 4228012 140737255637872 140578043724520 140578134618357 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6545] ppid=6535 vsize=1068184 CPUtime=0.41
/proc/6538/task/6545/stat : 6545 (java) R 6535 6535 1745 0 -1 4202560 10141 0 0 0 39 2 0 0 20 0 10 0 115975125 1093820416 40522 18446744073709551615 4194304 4228012 140737255637872 140578042686224 140578134405128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6546] ppid=6535 vsize=1068184 CPUtime=0
/proc/6538/task/6546/stat : 6546 (java) S 6535 6535 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115975125 1093820416 40522 18446744073709551615 4194304 4228012 140737255637872 140578041634000 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6547] ppid=6535 vsize=1068184 CPUtime=0
/proc/6538/task/6547/stat : 6547 (java) S 6535 6535 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115975125 1093820416 40522 18446744073709551615 4194304 4228012 140737255637872 140578040581504 140578148791883 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) 1077352

[startup+3.10082 s]
/proc/loadavg: 1.53 1.11 0.96 3/74 6554
/proc/meminfo: memFree=299588/1022884 swapFree=0/0
[pid=6535] ppid=6534 vsize=9168 CPUtime=0
/proc/6535/stat : 6535 (p2cudf-basic-1.) S 6534 6535 1745 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115975119 9388032 330 18446744073709551615 4194304 5129932 140736883249376 140736883247520 140681083380830 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6535/statm: 2292 330 280 229 0 52 0
[pid=6538] ppid=6535 vsize=1068184 CPUtime=2.58
/proc/6538/stat : 6538 (java) S 6535 6535 1745 0 -1 4202496 91093 0 0 0 232 26 0 0 20 0 10 0 115975119 1093820416 84359 18446744073709551615 4194304 4228012 140737255637872 140737255628896 140578148777589 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 267046 84359 2369 9 0 254396 0
[pid=6538/tid=6539] ppid=6535 vsize=1068184 CPUtime=1.33
/proc/6538/task/6539/stat : 6539 (java) D 6535 6535 1745 0 -1 4202560 47414 0 0 0 119 14 0 0 20 0 10 0 115975120 1093820416 84359 18446744073709551615 4194304 4228012 140737255637872 140578155303616 140578148802957 0 4 0 16800975 0 0 0 -1 0 0 0 26 0 0
[pid=6538/tid=6540] ppid=6535 vsize=1068184 CPUtime=0.3
/proc/6538/task/6540/stat : 6540 (java) S 6535 6535 1745 0 -1 4202560 21301 0 0 0 25 5 0 0 20 0 10 0 115975122 1093820416 84359 18446744073709551615 4194304 4228012 140737255637872 140578047949952 140578148791883 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6541] ppid=6535 vsize=1068184 CPUtime=0
/proc/6538/task/6541/stat : 6541 (java) S 6535 6535 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115975122 1093820416 84359 18446744073709551615 4194304 4228012 140737255637872 140578046896144 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6542] ppid=6535 vsize=1068184 CPUtime=0
/proc/6538/task/6542/stat : 6542 (java) S 6535 6535 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 115975122 1093820416 84359 18446744073709551615 4194304 4228012 140737255637872 140578045843360 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6543] ppid=6535 vsize=1068184 CPUtime=0
/proc/6538/task/6543/stat : 6543 (java) S 6535 6535 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115975125 1093820416 84359 18446744073709551615 4194304 4228012 140737255637872 140578044791792 140578148799520 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6544] ppid=6535 vsize=1068184 CPUtime=0.46
/proc/6538/task/6544/stat : 6544 (java) S 6535 6535 1745 0 -1 4202560 10945 0 0 0 43 3 0 0 20 0 10 0 115975125 1093820416 84359 18446744073709551615 4194304 4228012 140737255637872 140578043739152 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6545] ppid=6535 vsize=1068184 CPUtime=0.45
/proc/6538/task/6545/stat : 6545 (java) S 6535 6535 1745 0 -1 4202560 10141 0 0 0 43 2 0 0 20 0 10 0 115975125 1093820416 84359 18446744073709551615 4194304 4228012 140737255637872 140578042686480 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6546] ppid=6535 vsize=1068184 CPUtime=0
/proc/6538/task/6546/stat : 6546 (java) S 6535 6535 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115975125 1093820416 84359 18446744073709551615 4194304 4228012 140737255637872 140578041634000 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6547] ppid=6535 vsize=1068184 CPUtime=0
/proc/6538/task/6547/stat : 6547 (java) S 6535 6535 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115975125 1093820416 84359 18446744073709551615 4194304 4228012 140737255637872 140578040581504 140578148791883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 1077352

[startup+6.30077 s]
/proc/loadavg: 1.53 1.11 0.96 1/76 6584
/proc/meminfo: memFree=118788/1022884 swapFree=0/0
[pid=6535] ppid=6534 vsize=9168 CPUtime=0
/proc/6535/stat : 6535 (p2cudf-basic-1.) S 6534 6535 1745 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115975119 9388032 330 18446744073709551615 4194304 5129932 140736883249376 140736883247520 140681083380830 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6535/statm: 2292 330 280 229 0 52 0
[pid=6538] ppid=6535 vsize=1065412 CPUtime=4.91
/proc/6538/stat : 6538 (java) S 6535 6535 1745 0 -1 4202496 123036 0 0 0 454 37 0 0 20 0 10 0 115975119 1090981888 115432 18446744073709551615 4194304 4228012 140737255637872 140737255628896 140578148777589 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 266353 115432 2369 9 0 253703 0
[pid=6538/tid=6539] ppid=6535 vsize=1065412 CPUtime=2.7
/proc/6538/task/6539/stat : 6539 (java) R 6535 6535 1745 0 -1 4202560 47415 0 0 0 254 16 0 0 20 0 10 0 115975120 1090981888 115432 18446744073709551615 4194304 4228012 140737255637872 140578155303616 140578053232740 0 4 0 16800975 0 0 0 -1 0 0 0 56 0 0
[pid=6538/tid=6540] ppid=6535 vsize=1065412 CPUtime=1.2
/proc/6538/task/6540/stat : 6540 (java) S 6535 6535 1745 0 -1 4202560 53237 0 0 0 105 15 0 0 20 0 10 0 115975122 1090981888 115432 18446744073709551615 4194304 4228012 140737255637872 140578047949952 140578148791883 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6541] ppid=6535 vsize=1065412 CPUtime=0
/proc/6538/task/6541/stat : 6541 (java) S 6535 6535 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115975122 1090981888 115432 18446744073709551615 4194304 4228012 140737255637872 140578046896144 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6542] ppid=6535 vsize=1065412 CPUtime=0
/proc/6538/task/6542/stat : 6542 (java) S 6535 6535 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 115975122 1090981888 115432 18446744073709551615 4194304 4228012 140737255637872 140578045843360 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6543] ppid=6535 vsize=1065412 CPUtime=0
/proc/6538/task/6543/stat : 6543 (java) S 6535 6535 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115975125 1090981888 115432 18446744073709551615 4194304 4228012 140737255637872 140578044791792 140578148799520 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6544] ppid=6535 vsize=1065412 CPUtime=0.49
/proc/6538/task/6544/stat : 6544 (java) S 6535 6535 1745 0 -1 4202560 10945 0 0 0 46 3 0 0 20 0 10 0 115975125 1090981888 115432 18446744073709551615 4194304 4228012 140737255637872 140578043739152 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6545] ppid=6535 vsize=1065412 CPUtime=0.49
/proc/6538/task/6545/stat : 6545 (java) S 6535 6535 1745 0 -1 4202560 10147 0 0 0 47 2 0 0 20 0 10 0 115975125 1090981888 115432 18446744073709551615 4194304 4228012 140737255637872 140578042686480 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6546] ppid=6535 vsize=1065412 CPUtime=0
/proc/6538/task/6546/stat : 6546 (java) S 6535 6535 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115975125 1090981888 115432 18446744073709551615 4194304 4228012 140737255637872 140578041634000 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6547] ppid=6535 vsize=1065412 CPUtime=0
/proc/6538/task/6547/stat : 6547 (java) S 6535 6535 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115975125 1090981888 115432 18446744073709551615 4194304 4228012 140737255637872 140578040581504 140578148791883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.91
Current children cumulated vsize (KiB) 1074580
heavy processes:

[startup+12.7006 s]
/proc/loadavg: 1.76 1.17 0.98 5/75 6687
/proc/meminfo: memFree=12332/1022884 swapFree=0/0
[pid=6535] ppid=6534 vsize=9168 CPUtime=0
/proc/6535/stat : 6535 (p2cudf-basic-1.) S 6534 6535 1745 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115975119 9388032 330 18446744073709551615 4194304 5129932 140736883249376 140736883247520 140681083380830 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6535/statm: 2292 330 280 229 0 52 0
[pid=6538] ppid=6535 vsize=1065412 CPUtime=9.51
/proc/6538/stat : 6538 (java) S 6535 6535 1745 0 -1 4202496 153130 0 0 0 902 49 0 0 20 0 10 0 115975119 1090981888 143199 18446744073709551615 4194304 4228012 140737255637872 140737255628896 140578148777589 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 266353 143199 2376 9 0 253703 0
[pid=6538/tid=6539] ppid=6535 vsize=1065412 CPUtime=4.84
/proc/6538/task/6539/stat : 6539 (java) S 6535 6535 1745 0 -1 4202560 47720 0 0 0 465 19 0 0 20 0 10 0 115975120 1090981888 143199 18446744073709551615 4194304 4228012 140737255637872 140578155311312 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 67 0 0
[pid=6538/tid=6540] ppid=6535 vsize=1065412 CPUtime=1.9
/proc/6538/task/6540/stat : 6540 (java) R 6535 6535 1745 0 -1 4202560 77535 0 0 0 168 22 0 0 20 0 10 0 115975122 1090981888 143199 18446744073709551615 4194304 4228012 140737255637872 140578047949328 140578134956841 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6541] ppid=6535 vsize=1065412 CPUtime=0
/proc/6538/task/6541/stat : 6541 (java) S 6535 6535 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115975122 1090981888 143199 18446744073709551615 4194304 4228012 140737255637872 140578046896144 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6542] ppid=6535 vsize=1065412 CPUtime=0
/proc/6538/task/6542/stat : 6542 (java) S 6535 6535 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 115975122 1090981888 143199 18446744073709551615 4194304 4228012 140737255637872 140578045843360 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6543] ppid=6535 vsize=1065412 CPUtime=0
/proc/6538/task/6543/stat : 6543 (java) S 6535 6535 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115975125 1090981888 143199 18446744073709551615 4194304 4228012 140737255637872 140578044791792 140578148799520 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6544] ppid=6535 vsize=1065412 CPUtime=1.39
/proc/6538/task/6544/stat : 6544 (java) S 6535 6535 1745 0 -1 4202560 16227 0 0 0 134 5 0 0 20 0 10 0 115975125 1090981888 143199 18446744073709551615 4194304 4228012 140737255637872 140578043739152 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6545] ppid=6535 vsize=1065412 CPUtime=1.34
/proc/6538/task/6545/stat : 6545 (java) S 6535 6535 1745 0 -1 4202560 10356 0 0 0 132 2 0 0 20 0 10 0 115975125 1090981888 143199 18446744073709551615 4194304 4228012 140737255637872 140578042686480 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6546] ppid=6535 vsize=1065412 CPUtime=0
/proc/6538/task/6546/stat : 6546 (java) S 6535 6535 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115975125 1090981888 143199 18446744073709551615 4194304 4228012 140737255637872 140578041634000 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6547] ppid=6535 vsize=1065412 CPUtime=0
/proc/6538/task/6547/stat : 6547 (java) S 6535 6535 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115975125 1090981888 143199 18446744073709551615 4194304 4228012 140737255637872 140578040581504 140578148791883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.51
Current children cumulated vsize (KiB) 1074580
heavy processes:
  %CPU=10 pid=6688 uid=0 cmd=/usr/bin/apt-get update 

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

[startup+12.8048 s]
/proc/loadavg: 1.76 1.17 0.98 2/76 6690
/proc/meminfo: memFree=12200/1022884 swapFree=0/0
[pid=6535] ppid=6534 vsize=9168 CPUtime=0
/proc/6535/stat : 6535 (p2cudf-basic-1.) S 6534 6535 1745 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115975119 9388032 330 18446744073709551615 4194304 5129932 140736883249376 140736883247520 140681083380830 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6535/statm: 2292 330 280 229 0 52 0
[pid=6538] ppid=6535 vsize=1065412 CPUtime=9.6
/proc/6538/stat : 6538 (java) S 6535 6535 1745 0 -1 4202496 154957 0 0 0 910 50 0 0 20 0 10 0 115975119 1090981888 145026 18446744073709551615 4194304 4228012 140737255637872 140737255628896 140578148777589 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 266353 145026 2376 9 0 253703 0
[pid=6538/tid=6539] ppid=6535 vsize=1065412 CPUtime=4.84
/proc/6538/task/6539/stat : 6539 (java) S 6535 6535 1745 0 -1 4202560 47720 0 0 0 465 19 0 0 20 0 10 0 115975120 1090981888 145026 18446744073709551615 4194304 4228012 140737255637872 140578155311312 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 67 0 0
[pid=6538/tid=6540] ppid=6535 vsize=1065412 CPUtime=1.98
/proc/6538/task/6540/stat : 6540 (java) R 6535 6535 1745 0 -1 4202560 79362 0 0 0 176 22 0 0 20 0 10 0 115975122 1090981888 145026 18446744073709551615 4194304 4228012 140737255637872 140578047949328 140578142024843 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6541] ppid=6535 vsize=1065412 CPUtime=0
/proc/6538/task/6541/stat : 6541 (java) S 6535 6535 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115975122 1090981888 145026 18446744073709551615 4194304 4228012 140737255637872 140578046896144 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6542] ppid=6535 vsize=1065412 CPUtime=0
/proc/6538/task/6542/stat : 6542 (java) S 6535 6535 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 115975122 1090981888 145026 18446744073709551615 4194304 4228012 140737255637872 140578045843360 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6543] ppid=6535 vsize=1065412 CPUtime=0
/proc/6538/task/6543/stat : 6543 (java) S 6535 6535 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115975125 1090981888 145026 18446744073709551615 4194304 4228012 140737255637872 140578044791792 140578148799520 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6544] ppid=6535 vsize=1065412 CPUtime=1.39
/proc/6538/task/6544/stat : 6544 (java) S 6535 6535 1745 0 -1 4202560 16227 0 0 0 134 5 0 0 20 0 10 0 115975125 1090981888 145026 18446744073709551615 4194304 4228012 140737255637872 140578043739152 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6545] ppid=6535 vsize=1065412 CPUtime=1.34
/proc/6538/task/6545/stat : 6545 (java) S 6535 6535 1745 0 -1 4202560 10356 0 0 0 132 2 0 0 20 0 10 0 115975125 1090981888 145026 18446744073709551615 4194304 4228012 140737255637872 140578042686480 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6546] ppid=6535 vsize=1065412 CPUtime=0
/proc/6538/task/6546/stat : 6546 (java) S 6535 6535 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115975125 1090981888 145026 18446744073709551615 4194304 4228012 140737255637872 140578041634000 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6547] ppid=6535 vsize=1065412 CPUtime=0
/proc/6538/task/6547/stat : 6547 (java) S 6535 6535 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115975125 1090981888 145026 18446744073709551615 4194304 4228012 140737255637872 140578040581504 140578148791883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.6
Current children cumulated vsize (KiB) 1074580

[startup+13.6006 s]
/proc/loadavg: 1.76 1.17 0.98 4/80 6699
/proc/meminfo: memFree=9064/1022884 swapFree=0/0
[pid=6535] ppid=6534 vsize=9168 CPUtime=0
/proc/6535/stat : 6535 (p2cudf-basic-1.) S 6534 6535 1745 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115975119 9388032 330 18446744073709551615 4194304 5129932 140736883249376 140736883247520 140681083380830 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6535/statm: 2292 330 280 229 0 52 0
[pid=6538] ppid=6535 vsize=1066440 CPUtime=10.15
/proc/6538/stat : 6538 (java) S 6535 6535 1745 0 -1 4202496 159405 0 0 0 963 52 0 0 20 0 11 0 115975119 1092034560 149474 18446744073709551615 4194304 4228012 140737255637872 140737255628896 140578148777589 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 266610 149474 2378 9 0 253960 0
[pid=6538/tid=6539] ppid=6535 vsize=1066440 CPUtime=5.12
/proc/6538/task/6539/stat : 6539 (java) R 6535 6535 1745 0 -1 4202560 47776 0 0 0 492 20 0 0 20 0 11 0 115975120 1092034560 149474 18446744073709551615 4194304 4228012 140737255637872 140578155311624 140578053571342 0 4 0 16800975 0 0 0 -1 0 0 0 67 0 0
[pid=6538/tid=6540] ppid=6535 vsize=1066440 CPUtime=2.04
/proc/6538/task/6540/stat : 6540 (java) S 6535 6535 1745 0 -1 4202560 83740 0 0 0 180 24 0 0 20 0 11 0 115975122 1092034560 149474 18446744073709551615 4194304 4228012 140737255637872 140578047949952 140578148791883 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6541] ppid=6535 vsize=1066440 CPUtime=0
/proc/6538/task/6541/stat : 6541 (java) S 6535 6535 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115975122 1092034560 149474 18446744073709551615 4194304 4228012 140737255637872 140578046896144 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6542] ppid=6535 vsize=1066440 CPUtime=0
/proc/6538/task/6542/stat : 6542 (java) S 6535 6535 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115975122 1092034560 149474 18446744073709551615 4194304 4228012 140737255637872 140578045843360 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6543] ppid=6535 vsize=1066440 CPUtime=0
/proc/6538/task/6543/stat : 6543 (java) S 6535 6535 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115975125 1092034560 149474 18446744073709551615 4194304 4228012 140737255637872 140578044791792 140578148799520 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6544] ppid=6535 vsize=1066440 CPUtime=1.52
/proc/6538/task/6544/stat : 6544 (java) S 6535 6535 1745 0 -1 4202560 16228 0 0 0 146 6 0 0 20 0 11 0 115975125 1092034560 149474 18446744073709551615 4194304 4228012 140737255637872 140578043739152 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6545] ppid=6535 vsize=1066440 CPUtime=1.45
/proc/6538/task/6545/stat : 6545 (java) S 6535 6535 1745 0 -1 4202560 10363 0 0 0 143 2 0 0 20 0 11 0 115975125 1092034560 149474 18446744073709551615 4194304 4228012 140737255637872 140578042686480 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6546] ppid=6535 vsize=1066440 CPUtime=0
/proc/6538/task/6546/stat : 6546 (java) S 6535 6535 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115975125 1092034560 149474 18446744073709551615 4194304 4228012 140737255637872 140578041634000 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6547] ppid=6535 vsize=1066440 CPUtime=0
/proc/6538/task/6547/stat : 6547 (java) S 6535 6535 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115975125 1092034560 149474 18446744073709551615 4194304 4228012 140737255637872 140578040581504 140578148791883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6699] ppid=6535 vsize=1066440 CPUtime=0
/proc/6538/task/6699/stat : 6699 (java) S 6535 6535 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 115976426 1092034560 149474 18446744073709551615 4194304 4228012 140737255637872 140578039388000 140578148791883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.15
Current children cumulated vsize (KiB) 1075608

[startup+14.4041 s]
/proc/loadavg: 1.76 1.17 0.98 1/80 6700
/proc/meminfo: memFree=9452/1022884 swapFree=0/0
[pid=6535] ppid=6534 vsize=9168 CPUtime=0
/proc/6535/stat : 6535 (p2cudf-basic-1.) S 6534 6535 1745 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115975119 9388032 330 18446744073709551615 4194304 5129932 140736883249376 140736883247520 140681083380830 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6535/statm: 2292 330 280 229 0 52 0
[pid=6538] ppid=6535 vsize=1067468 CPUtime=10.46
/proc/6538/stat : 6538 (java) S 6535 6535 1745 0 -1 4202496 159448 0 0 0 994 52 0 0 20 0 11 0 115975119 1093087232 149515 18446744073709551615 4194304 4228012 140737255637872 140737255628896 140578148777589 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 266867 149515 2379 9 0 254217 0
[pid=6538/tid=6539] ppid=6535 vsize=1067468 CPUtime=5.3
/proc/6538/task/6539/stat : 6539 (java) S 6535 6535 1745 0 -1 4202560 47798 0 0 0 510 20 0 0 20 0 11 0 115975120 1093087232 149515 18446744073709551615 4194304 4228012 140737255637872 140578155312048 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 67 0 0
[pid=6538/tid=6540] ppid=6535 vsize=1067468 CPUtime=2.04
/proc/6538/task/6540/stat : 6540 (java) S 6535 6535 1745 0 -1 4202560 83740 0 0 0 180 24 0 0 20 0 11 0 115975122 1093087232 149515 18446744073709551615 4194304 4228012 140737255637872 140578047949952 140578148791883 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6541] ppid=6535 vsize=1067468 CPUtime=0
/proc/6538/task/6541/stat : 6541 (java) S 6535 6535 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115975122 1093087232 149515 18446744073709551615 4194304 4228012 140737255637872 140578046896144 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6542] ppid=6535 vsize=1067468 CPUtime=0
/proc/6538/task/6542/stat : 6542 (java) S 6535 6535 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115975122 1093087232 149515 18446744073709551615 4194304 4228012 140737255637872 140578045843360 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6543] ppid=6535 vsize=1067468 CPUtime=0
/proc/6538/task/6543/stat : 6543 (java) S 6535 6535 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115975125 1093087232 149515 18446744073709551615 4194304 4228012 140737255637872 140578044791792 140578148799520 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6544] ppid=6535 vsize=1067468 CPUtime=1.58
/proc/6538/task/6544/stat : 6544 (java) S 6535 6535 1745 0 -1 4202560 16233 0 0 0 152 6 0 0 20 0 11 0 115975125 1093087232 149515 18446744073709551615 4194304 4228012 140737255637872 140578043739152 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6545] ppid=6535 vsize=1067468 CPUtime=1.53
/proc/6538/task/6545/stat : 6545 (java) S 6535 6535 1745 0 -1 4202560 10373 0 0 0 151 2 0 0 20 0 11 0 115975125 1093087232 149515 18446744073709551615 4194304 4228012 140737255637872 140578042686480 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6546] ppid=6535 vsize=1067468 CPUtime=0
/proc/6538/task/6546/stat : 6546 (java) S 6535 6535 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115975125 1093087232 149515 18446744073709551615 4194304 4228012 140737255637872 140578041634000 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6547] ppid=6535 vsize=1067468 CPUtime=0
/proc/6538/task/6547/stat : 6547 (java) S 6535 6535 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115975125 1093087232 149515 18446744073709551615 4194304 4228012 140737255637872 140578040581504 140578148791883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6700] ppid=6535 vsize=1067468 CPUtime=0
/proc/6538/task/6700/stat : 6700 (java) S 6535 6535 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 115976527 1093087232 149515 18446744073709551615 4194304 4228012 140737255637872 140577970579632 140578148791883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.46
Current children cumulated vsize (KiB) 1076636

[startup+14.8008 s]
/proc/loadavg: 1.76 1.17 0.98 1/80 6700
/proc/meminfo: memFree=9452/1022884 swapFree=0/0
[pid=6535] ppid=6534 vsize=9168 CPUtime=0
/proc/6535/stat : 6535 (p2cudf-basic-1.) S 6534 6535 1745 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115975119 9388032 330 18446744073709551615 4194304 5129932 140736883249376 140736883247520 140681083380830 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6535/statm: 2292 330 280 229 0 52 0
[pid=6538] ppid=6535 vsize=1067468 CPUtime=10.6
/proc/6538/stat : 6538 (java) S 6535 6535 1745 0 -1 4202496 159451 0 0 0 1006 54 0 0 20 0 11 0 115975119 1093087232 149518 18446744073709551615 4194304 4228012 140737255637872 140737255628896 140578148777589 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 266867 149518 2379 9 0 254217 0
[pid=6538/tid=6539] ppid=6535 vsize=1067468 CPUtime=5.3
/proc/6538/task/6539/stat : 6539 (java) S 6535 6535 1745 0 -1 4202560 47798 0 0 0 510 20 0 0 20 0 11 0 115975120 1093087232 149518 18446744073709551615 4194304 4228012 140737255637872 140578155312048 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 67 0 0
[pid=6538/tid=6540] ppid=6535 vsize=1067468 CPUtime=2.04
/proc/6538/task/6540/stat : 6540 (java) S 6535 6535 1745 0 -1 4202560 83740 0 0 0 180 24 0 0 20 0 11 0 115975122 1093087232 149518 18446744073709551615 4194304 4228012 140737255637872 140578047949952 140578148791883 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6541] ppid=6535 vsize=1067468 CPUtime=0
/proc/6538/task/6541/stat : 6541 (java) S 6535 6535 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115975122 1093087232 149518 18446744073709551615 4194304 4228012 140737255637872 140578046896144 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6542] ppid=6535 vsize=1067468 CPUtime=0
/proc/6538/task/6542/stat : 6542 (java) S 6535 6535 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115975122 1093087232 149518 18446744073709551615 4194304 4228012 140737255637872 140578045843360 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6543] ppid=6535 vsize=1067468 CPUtime=0
/proc/6538/task/6543/stat : 6543 (java) S 6535 6535 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115975125 1093087232 149518 18446744073709551615 4194304 4228012 140737255637872 140578044791792 140578148799520 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6544] ppid=6535 vsize=1067468 CPUtime=1.6
/proc/6538/task/6544/stat : 6544 (java) S 6535 6535 1745 0 -1 4202560 16233 0 0 0 154 6 0 0 20 0 11 0 115975125 1093087232 149518 18446744073709551615 4194304 4228012 140737255637872 140578043739152 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6545] ppid=6535 vsize=1067468 CPUtime=1.54
/proc/6538/task/6545/stat : 6545 (java) S 6535 6535 1745 0 -1 4202560 10374 0 0 0 152 2 0 0 20 0 11 0 115975125 1093087232 149518 18446744073709551615 4194304 4228012 140737255637872 140578042686480 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6546] ppid=6535 vsize=1067468 CPUtime=0
/proc/6538/task/6546/stat : 6546 (java) S 6535 6535 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115975125 1093087232 149518 18446744073709551615 4194304 4228012 140737255637872 140578041634000 140578148790996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6547] ppid=6535 vsize=1067468 CPUtime=0
/proc/6538/task/6547/stat : 6547 (java) S 6535 6535 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115975125 1093087232 149518 18446744073709551615 4194304 4228012 140737255637872 140578040581504 140578148791883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6538/tid=6700] ppid=6535 vsize=1067468 CPUtime=0.08
/proc/6538/task/6700/stat : 6700 (java) R 6535 6535 1745 0 -1 4202560 8 0 0 0 6 2 0 0 20 0 11 0 115976527 1093087232 149518 18446744073709551615 4194304 4228012 140737255637872 140577970570432 140578052834986 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.6
Current children cumulated vsize (KiB) 1076636

[startup+14.9046 s]
/proc/loadavg: 1.76 1.17 0.98 1/80 6700
/proc/meminfo: memFree=9452/1022884 swapFree=0/0
[pid=6535] ppid=6534 vsize=9168 CPUtime=0
/proc/6535/stat : 6535 (p2cudf-basic-1.) S 6534 6535 1745 0 -1 4202496 455 292 0 0 0 0 0 0 20 0 1 0 115975119 9388032 330 18446744073709551615 4194304 5129932 140736883249376 140736883247520 140681083380830 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6535/statm: 2292 330 280 229 0 52 0
[pid=6538] ppid=6535 vsize=0 CPUtime=10.66
/proc/6538/stat : 6538 (java) Z 6535 6535 1745 0 -1 4203532 159462 0 0 0 1010 56 0 0 20 0 2 0 115975119 0 0 18446744073709551615 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6538/statm: 0 0 0 0 0 0 0
[pid=6538/tid=6700] ppid=6535 vsize=0 CPUtime=0.12
/proc/6538/task/6700/stat : 6700 (java) R 6535 6535 1745 0 -1 4203588 8 0 0 0 9 3 0 0 20 0 2 0 115976527 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) 10.66
Current children cumulated vsize (KiB) 9168

Child status: 0
Real time (s): 14.9621
CPU time (s): 10.6967
CPU user time (s): 10.1166
CPU system time (s): 0.580036
CPU usage (%): 71.4919
Max. virtual memory (cumulated for all children) (KiB): 1081208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.1166
system time used= 0.580036
maximum resident set size= 598108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160222
page faults= 0
swaps= 0
block input operations= 68424
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1049
involuntary context switches= 3708

runsolver used 0.052003 second user time and 0.108006 second system time

The end