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 300 -d 10 -w /tmp/misc2012/2012-09-02-22:42/full/aspuncud-full-1.7/slowlink/install/rand96.cudf.log.runsolver /home/competition/aspuncud-full-1.7/aspuncud-full /home/competition/data/install/rand96.cudf /tmp/misc2012/2012-09-02-22:42/full/aspuncud-full-1.7/slowlink/install/rand96.cudf.result -sum(changed,installedsize),-count(removed),-notuptodate(solution),-count(changed) 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 300 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 330 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.06 1.01 1.00 2/64 20806
/proc/meminfo: memFree=447720/1022884 swapFree=0/0
[pid=20806] ppid=20805 vsize=3152 CPUtime=0
/proc/20806/stat : 20806 (runsolver) R 20805 1745 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 120608079 3227648 32 18446744073709551615 134512640 134586868 4291954496 4291952544 4151895088 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/20806/statm: 788 32 0 19 0 73 0
Current StackSize limit: 8192 KiB


[startup+0.125032 s]
/proc/loadavg: 1.06 1.01 1.00 2/64 20806
/proc/meminfo: memFree=447720/1022884 swapFree=0/0
[pid=20806] ppid=20805 vsize=9212 CPUtime=0.02
/proc/20806/stat : 20806 (aspuncud-full) S 20805 20806 1745 0 -1 4202496 697 2803 0 0 0 0 1 1 20 0 1 0 120608079 9433088 365 18446744073709551615 4194304 5129932 140733761945568 140733761944224 139701882279006 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/20806/statm: 2303 365 303 229 0 63 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9212

[startup+0.200324 s]
/proc/loadavg: 1.06 1.01 1.00 2/64 20806
/proc/meminfo: memFree=447720/1022884 swapFree=0/0
[pid=20806] ppid=20805 vsize=9212 CPUtime=0.02
/proc/20806/stat : 20806 (aspuncud-full) S 20805 20806 1745 0 -1 4202496 697 2803 0 0 0 0 1 1 20 0 1 0 120608079 9433088 365 18446744073709551615 4194304 5129932 140733761945568 140733761944224 139701882279006 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/20806/statm: 2303 365 303 229 0 63 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9212

[startup+0.300375 s]
/proc/loadavg: 1.06 1.01 1.00 2/64 20806
/proc/meminfo: memFree=447720/1022884 swapFree=0/0
[pid=20806] ppid=20805 vsize=9212 CPUtime=0.02
/proc/20806/stat : 20806 (aspuncud-full) S 20805 20806 1745 0 -1 4202496 697 2803 0 0 0 0 1 1 20 0 1 0 120608079 9433088 365 18446744073709551615 4194304 5129932 140733761945568 140733761944224 139701882279006 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/20806/statm: 2303 365 303 229 0 63 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9212

[startup+0.700241 s]
/proc/loadavg: 1.06 1.01 1.00 2/64 20806
/proc/meminfo: memFree=447720/1022884 swapFree=0/0
[pid=20806] ppid=20805 vsize=9212 CPUtime=0.02
/proc/20806/stat : 20806 (aspuncud-full) S 20805 20806 1745 0 -1 4202496 697 2803 0 0 0 0 1 1 20 0 1 0 120608079 9433088 365 18446744073709551615 4194304 5129932 140733761945568 140733761944224 139701882279006 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/20806/statm: 2303 365 303 229 0 63 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9212

[startup+1.50035 s]
/proc/loadavg: 1.06 1.01 1.00 2/66 20819
/proc/meminfo: memFree=412976/1022884 swapFree=0/0
[pid=20806] ppid=20805 vsize=9212 CPUtime=0.02
/proc/20806/stat : 20806 (aspuncud-full) S 20805 20806 1745 0 -1 4202496 697 2803 0 0 0 0 1 1 20 0 1 0 120608079 9433088 365 18446744073709551615 4194304 5129932 140733761945568 140733761944224 139701882279006 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/20806/statm: 2303 365 303 229 0 63 0
[pid=20819] ppid=20806 vsize=55752 CPUtime=1.43
/proc/20819/stat : 20819 (cudf2lp) R 20806 20806 1745 0 -1 4202496 13501 0 0 0 138 5 0 0 20 0 1 0 120608082 57090048 11768 18446744073709551615 4194304 5690517 140736638477344 140736638473512 4960650 0 0 16781316 0 0 0 0 17 0 0 0 3 0 0
/proc/20819/statm: 13938 11768 160 366 0 13569 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 64964

[startup+3.10035 s]
/proc/loadavg: 1.06 1.01 1.00 1/66 20819
/proc/meminfo: memFree=380860/1022884 swapFree=0/0
[pid=20806] ppid=20805 vsize=9212 CPUtime=0.02
/proc/20806/stat : 20806 (aspuncud-full) S 20805 20806 1745 0 -1 4202496 697 2803 0 0 0 0 1 1 20 0 1 0 120608079 9433088 365 18446744073709551615 4194304 5129932 140733761945568 140733761944224 139701882279006 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/20806/statm: 2303 365 303 229 0 63 0
[pid=20819] ppid=20806 vsize=93028 CPUtime=2.99
/proc/20819/stat : 20819 (cudf2lp) R 20806 20806 1745 0 -1 4202496 26521 0 0 0 288 11 0 0 20 0 1 0 120608082 95260672 19794 18446744073709551615 4194304 5690517 140736638477344 140736638474984 4357483 0 0 16781316 0 0 0 0 17 0 0 0 6 0 0
/proc/20819/statm: 23257 19794 160 366 0 22888 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 102240

[startup+6.30036 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 20820
/proc/meminfo: memFree=390284/1022884 swapFree=0/0
[pid=20806] ppid=20805 vsize=9212 CPUtime=4.96
/proc/20806/stat : 20806 (aspuncud-full) S 20805 20806 1745 0 -1 4202496 725 42124 0 0 0 0 473 23 20 0 1 0 120608079 9433088 365 18446744073709551615 4194304 5129932 140733761945568 140733761944224 139701882279006 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/20806/statm: 2303 365 303 229 0 63 0
[pid=20820] ppid=20806 vsize=39452 CPUtime=1.21
/proc/20820/stat : 20820 (gringo) R 20806 20806 1745 0 -1 4202496 10965 0 0 0 114 7 0 0 20 0 1 0 120608586 40398848 7832 18446744073709551615 4194304 6531320 140735662124800 140735662120600 4330140 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/20820/statm: 9863 7832 259 571 0 9284 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 48664

[startup+12.7004 s]
/proc/loadavg: 1.13 1.03 1.01 2/66 20820
/proc/meminfo: memFree=10184/1022884 swapFree=0/0
[pid=20806] ppid=20805 vsize=9212 CPUtime=4.96
/proc/20806/stat : 20806 (aspuncud-full) S 20805 20806 1745 0 -1 4202496 725 42124 0 0 0 0 473 23 20 0 1 0 120608079 9433088 365 18446744073709551615 4194304 5129932 140733761945568 140733761944224 139701882279006 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/20806/statm: 2303 365 303 229 0 63 0
[pid=20820] ppid=20806 vsize=466564 CPUtime=7.48
/proc/20820/stat : 20820 (gringo) R 20806 20806 1745 0 -1 4202496 110611 0 0 0 700 48 0 0 20 0 1 0 120608586 477761536 101332 18446744073709551615 4194304 6531320 140735662124800 140735662121928 5502254 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/20820/statm: 116641 101332 284 571 0 116062 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 475776

[startup+25.5004 s]
/proc/loadavg: 1.10 1.03 1.00 2/67 20822
/proc/meminfo: memFree=275812/1022884 swapFree=0/0
[pid=20806] ppid=20805 vsize=9212 CPUtime=12.96
/proc/20806/stat : 20806 (aspuncud-full) S 20805 20806 1745 0 -1 4202496 766 152739 0 0 0 0 1209 87 20 0 1 0 120608079 9433088 365 18446744073709551615 4194304 5129932 140733761945568 140733761943632 139701882279006 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/20806/statm: 2303 365 303 229 0 63 0
[pid=20821] ppid=20806 vsize=139348 CPUtime=12.12
/proc/20821/stat : 20821 (unclasp) R 20806 20806 1745 0 -1 4202496 40508 0 0 0 1196 16 0 0 20 0 1 0 120609402 142692352 34334 18446744073709551615 4194304 6012874 140736670446352 140736670445672 4855815 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/20821/statm: 34837 34334 226 444 0 34385 0
[pid=20822] ppid=20806 vsize=22044 CPUtime=0.02
/proc/20822/stat : 20822 (parse.py) S 20806 20806 1745 0 -1 4202496 1324 0 0 0 1 1 0 0 20 0 1 0 120609402 22573056 1133 18446744073709551615 4194304 6642060 140735274132288 140735274130488 139859337303840 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/20822/statm: 5511 1133 508 598 0 597 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 170604

[startup+51.1005 s]
/proc/loadavg: 1.07 1.03 1.00 2/67 20822
/proc/meminfo: memFree=275192/1022884 swapFree=0/0
[pid=20806] ppid=20805 vsize=9212 CPUtime=12.96
/proc/20806/stat : 20806 (aspuncud-full) S 20805 20806 1745 0 -1 4202496 766 152739 0 0 0 0 1209 87 20 0 1 0 120608079 9433088 365 18446744073709551615 4194304 5129932 140733761945568 140733761943632 139701882279006 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/20806/statm: 2303 365 303 229 0 63 0
[pid=20821] ppid=20806 vsize=139348 CPUtime=37.45
/proc/20821/stat : 20821 (unclasp) R 20806 20806 1745 0 -1 4202496 40695 0 0 0 3727 18 0 0 20 0 1 0 120609402 142692352 34521 18446744073709551615 4194304 6012874 140736670446352 140736670445672 4548180 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/20821/statm: 34837 34521 226 444 0 34385 0
[pid=20822] ppid=20806 vsize=22044 CPUtime=0.02
/proc/20822/stat : 20822 (parse.py) S 20806 20806 1745 0 -1 4202496 1324 0 0 0 1 1 0 0 20 0 1 0 120609402 22573056 1133 18446744073709551615 4194304 6642060 140735274132288 140735274130488 139859337303840 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/20822/statm: 5511 1133 508 598 0 597 0
Current children cumulated CPU time (s) 50.43
Current children cumulated vsize (KiB) 170604

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

[startup+51.2006 s]
/proc/loadavg: 1.07 1.03 1.00 2/67 20822
/proc/meminfo: memFree=275192/1022884 swapFree=0/0
[pid=20806] ppid=20805 vsize=9212 CPUtime=12.96
/proc/20806/stat : 20806 (aspuncud-full) S 20805 20806 1745 0 -1 4202496 766 152739 0 0 0 0 1209 87 20 0 1 0 120608079 9433088 365 18446744073709551615 4194304 5129932 140733761945568 140733761943632 139701882279006 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/20806/statm: 2303 365 303 229 0 63 0
[pid=20821] ppid=20806 vsize=139348 CPUtime=37.54
/proc/20821/stat : 20821 (unclasp) R 20806 20806 1745 0 -1 4202496 40695 0 0 0 3736 18 0 0 20 0 1 0 120609402 142692352 34521 18446744073709551615 4194304 6012874 140736670446352 140736670445672 4548913 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/20821/statm: 34837 34521 226 444 0 34385 0
[pid=20822] ppid=20806 vsize=22044 CPUtime=0.02
/proc/20822/stat : 20822 (parse.py) S 20806 20806 1745 0 -1 4202496 1324 0 0 0 1 1 0 0 20 0 1 0 120609402 22573056 1133 18446744073709551615 4194304 6642060 140735274132288 140735274130488 139859337303840 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/20822/statm: 5511 1133 508 598 0 597 0
Current children cumulated CPU time (s) 50.52
Current children cumulated vsize (KiB) 170604

[startup+54.4004 s]
/proc/loadavg: 1.06 1.02 1.00 2/67 20822
/proc/meminfo: memFree=275192/1022884 swapFree=0/0
[pid=20806] ppid=20805 vsize=9212 CPUtime=12.96
/proc/20806/stat : 20806 (aspuncud-full) S 20805 20806 1745 0 -1 4202496 766 152739 0 0 0 0 1209 87 20 0 1 0 120608079 9433088 365 18446744073709551615 4194304 5129932 140733761945568 140733761943632 139701882279006 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/20806/statm: 2303 365 303 229 0 63 0
[pid=20821] ppid=20806 vsize=139348 CPUtime=40.71
/proc/20821/stat : 20821 (unclasp) R 20806 20806 1745 0 -1 4202496 40695 0 0 0 4053 18 0 0 20 0 1 0 120609402 142692352 34521 18446744073709551615 4194304 6012874 140736670446352 140736670445672 4532853 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/20821/statm: 34837 34521 226 444 0 34385 0
[pid=20822] ppid=20806 vsize=22044 CPUtime=0.02
/proc/20822/stat : 20822 (parse.py) S 20806 20806 1745 0 -1 4202496 1324 0 0 0 1 1 0 0 20 0 1 0 120609402 22573056 1133 18446744073709551615 4194304 6642060 140735274132288 140735274130488 139859337303840 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/20822/statm: 5511 1133 508 598 0 597 0
Current children cumulated CPU time (s) 53.69
Current children cumulated vsize (KiB) 170604

[startup+57.6004 s]
/proc/loadavg: 1.06 1.02 1.00 2/67 20822
/proc/meminfo: memFree=275192/1022884 swapFree=0/0
[pid=20806] ppid=20805 vsize=9212 CPUtime=12.96
/proc/20806/stat : 20806 (aspuncud-full) S 20805 20806 1745 0 -1 4202496 766 152739 0 0 0 0 1209 87 20 0 1 0 120608079 9433088 365 18446744073709551615 4194304 5129932 140733761945568 140733761943632 139701882279006 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/20806/statm: 2303 365 303 229 0 63 0
[pid=20821] ppid=20806 vsize=139348 CPUtime=43.87
/proc/20821/stat : 20821 (unclasp) R 20806 20806 1745 0 -1 4202496 40695 0 0 0 4369 18 0 0 20 0 1 0 120609402 142692352 34521 18446744073709551615 4194304 6012874 140736670446352 140736670445672 4548507 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/20821/statm: 34837 34521 226 444 0 34385 0
[pid=20822] ppid=20806 vsize=22044 CPUtime=0.02
/proc/20822/stat : 20822 (parse.py) S 20806 20806 1745 0 -1 4202496 1324 0 0 0 1 1 0 0 20 0 1 0 120609402 22573056 1133 18446744073709551615 4194304 6642060 140735274132288 140735274130488 139859337303840 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/20822/statm: 5511 1133 508 598 0 597 0
Current children cumulated CPU time (s) 56.85
Current children cumulated vsize (KiB) 170604

[startup+59.2004 s]
/proc/loadavg: 1.06 1.02 1.00 2/67 20822
/proc/meminfo: memFree=275192/1022884 swapFree=0/0
[pid=20806] ppid=20805 vsize=9212 CPUtime=12.96
/proc/20806/stat : 20806 (aspuncud-full) S 20805 20806 1745 0 -1 4202496 766 152739 0 0 0 0 1209 87 20 0 1 0 120608079 9433088 365 18446744073709551615 4194304 5129932 140733761945568 140733761943632 139701882279006 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/20806/statm: 2303 365 303 229 0 63 0
[pid=20821] ppid=20806 vsize=139348 CPUtime=45.45
/proc/20821/stat : 20821 (unclasp) R 20806 20806 1745 0 -1 4202496 40695 0 0 0 4527 18 0 0 20 0 1 0 120609402 142692352 34521 18446744073709551615 4194304 6012874 140736670446352 140736670445416 4494997 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/20821/statm: 34837 34521 226 444 0 34385 0
[pid=20822] ppid=20806 vsize=22044 CPUtime=0.02
/proc/20822/stat : 20822 (parse.py) S 20806 20806 1745 0 -1 4202496 1324 0 0 0 1 1 0 0 20 0 1 0 120609402 22573056 1133 18446744073709551615 4194304 6642060 140735274132288 140735274130488 139859337303840 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/20822/statm: 5511 1133 508 598 0 597 0
Current children cumulated CPU time (s) 58.43
Current children cumulated vsize (KiB) 170604

[startup+60.0004 s]
/proc/loadavg: 1.06 1.02 1.00 2/67 20822
/proc/meminfo: memFree=275192/1022884 swapFree=0/0
[pid=20806] ppid=20805 vsize=9212 CPUtime=12.96
/proc/20806/stat : 20806 (aspuncud-full) S 20805 20806 1745 0 -1 4202496 766 152739 0 0 0 0 1209 87 20 0 1 0 120608079 9433088 365 18446744073709551615 4194304 5129932 140733761945568 140733761943632 139701882279006 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/20806/statm: 2303 365 303 229 0 63 0
[pid=20821] ppid=20806 vsize=139348 CPUtime=46.24
/proc/20821/stat : 20821 (unclasp) R 20806 20806 1745 0 -1 4202496 40695 0 0 0 4606 18 0 0 20 0 1 0 120609402 142692352 34521 18446744073709551615 4194304 6012874 140736670446352 140736670445416 4532850 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/20821/statm: 34837 34521 226 444 0 34385 0
[pid=20822] ppid=20806 vsize=22044 CPUtime=0.02
/proc/20822/stat : 20822 (parse.py) S 20806 20806 1745 0 -1 4202496 1324 0 0 0 1 1 0 0 20 0 1 0 120609402 22573056 1133 18446744073709551615 4194304 6642060 140735274132288 140735274130488 139859337303840 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/20822/statm: 5511 1133 508 598 0 597 0
Current children cumulated CPU time (s) 59.22
Current children cumulated vsize (KiB) 170604

[startup+60.4004 s]
/proc/loadavg: 1.06 1.02 1.00 2/67 20822
/proc/meminfo: memFree=275192/1022884 swapFree=0/0
[pid=20806] ppid=20805 vsize=9212 CPUtime=12.96
/proc/20806/stat : 20806 (aspuncud-full) S 20805 20806 1745 0 -1 4202496 766 152739 0 0 0 0 1209 87 20 0 1 0 120608079 9433088 365 18446744073709551615 4194304 5129932 140733761945568 140733761943632 139701882279006 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/20806/statm: 2303 365 303 229 0 63 0
[pid=20821] ppid=20806 vsize=139348 CPUtime=46.64
/proc/20821/stat : 20821 (unclasp) R 20806 20806 1745 0 -1 4202496 40695 0 0 0 4646 18 0 0 20 0 1 0 120609402 142692352 34521 18446744073709551615 4194304 6012874 140736670446352 140736670445416 4495048 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/20821/statm: 34837 34521 226 444 0 34385 0
[pid=20822] ppid=20806 vsize=22196 CPUtime=0.02
/proc/20822/stat : 20822 (parse.py) S 20806 20806 1745 0 -1 4202496 1335 0 0 0 1 1 0 0 20 0 1 0 120609402 22728704 1144 18446744073709551615 4194304 6642060 140735274132288 140735274130488 139859337303840 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/20822/statm: 5549 1144 508 598 0 635 0
Current children cumulated CPU time (s) 59.62
Current children cumulated vsize (KiB) 170756

[startup+60.5004 s]
/proc/loadavg: 1.06 1.02 1.00 2/67 20822
/proc/meminfo: memFree=275192/1022884 swapFree=0/0
[pid=20806] ppid=20805 vsize=9212 CPUtime=12.96
/proc/20806/stat : 20806 (aspuncud-full) S 20805 20806 1745 0 -1 4202496 766 152739 0 0 0 0 1209 87 20 0 1 0 120608079 9433088 365 18446744073709551615 4194304 5129932 140733761945568 140733761943632 139701882279006 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/20806/statm: 2303 365 303 229 0 63 0
[pid=20821] ppid=20806 vsize=139348 CPUtime=46.75
/proc/20821/stat : 20821 (unclasp) R 20806 20806 1745 0 -1 4202496 40703 0 0 0 4656 19 0 0 20 0 1 0 120609402 142692352 33505 18446744073709551615 4194304 6012874 140736670446352 140736670445752 5474154 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/20821/statm: 34837 33505 234 444 0 34385 0
[pid=20822] ppid=20806 vsize=22196 CPUtime=0.02
/proc/20822/stat : 20822 (parse.py) S 20806 20806 1745 0 -1 4202496 1347 0 0 0 1 1 0 0 20 0 1 0 120609402 22728704 1156 18446744073709551615 4194304 6642060 140735274132288 140735274130488 139859337303840 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/20822/statm: 5549 1156 508 598 0 635 0
Current children cumulated CPU time (s) 59.73
Current children cumulated vsize (KiB) 170756

Child status: 0
Real time (s): 60.5778
CPU time (s): 59.8277
CPU user time (s): 58.6757
CPU system time (s): 1.15207
CPU usage (%): 98.7618
Max. virtual memory (cumulated for all children) (KiB): 475776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.6757
system time used= 1.15207
maximum resident set size= 405328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195841
page faults= 0
swaps= 0
block input operations= 68424
block output operations= 51280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102
involuntary context switches= 6913

runsolver used 0.056003 second user time and 0.416026 second system time

The end