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/aspcud-full-1.7/slowlink/real/4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf.log.runsolver /home/competition/aspcud-full-1.7/aspcud-full /home/competition/data/real/4e539b28-d46c-11df-8f4f-00163e3d3b7c.cudf /tmp/misc2012/2012-09-02-22:42/full/aspcud-full-1.7/slowlink/real/4e539b28-d46c-11df-8f4f-00163e3d3b7c.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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.02 0.99 0.99 2/59 4552
/proc/meminfo: memFree=340332/1022884 swapFree=0/0
[pid=4552] ppid=4551 vsize=9204 CPUtime=0
/proc/4552/stat : 4552 (aspcud-full) S 4551 4552 1733 0 -1 4202496 431 0 0 0 0 0 0 0 20 0 1 0 120236276 9424896 332 18446744073709551615 4194304 5129932 140733359158720 140733359156184 140216593430304 0 0 16781316 65536 0 0 0 17 0 0 0 0 0 0
/proc/4552/statm: 2301 332 272 229 0 61 0

[startup+0.186665 s]
/proc/loadavg: 1.02 0.99 0.99 2/59 4552
/proc/meminfo: memFree=340332/1022884 swapFree=0/0
[pid=4552] ppid=4551 vsize=9212 CPUtime=0.04
/proc/4552/stat : 4552 (aspcud-full) S 4551 4552 1733 0 -1 4202496 740 3623 0 0 0 0 2 2 20 0 1 0 120236276 9433088 365 18446744073709551615 4194304 5129932 140733359158720 140733359157376 140216593286238 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/4552/statm: 2303 365 303 229 0 63 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9212

[startup+0.20032 s]
/proc/loadavg: 1.02 0.99 0.99 2/59 4552
/proc/meminfo: memFree=340332/1022884 swapFree=0/0
[pid=4552] ppid=4551 vsize=9212 CPUtime=0.04
/proc/4552/stat : 4552 (aspcud-full) S 4551 4552 1733 0 -1 4202496 740 3623 0 0 0 0 2 2 20 0 1 0 120236276 9433088 365 18446744073709551615 4194304 5129932 140733359158720 140733359157376 140216593286238 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/4552/statm: 2303 365 303 229 0 63 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9212

[startup+0.300286 s]
/proc/loadavg: 1.02 0.99 0.99 2/59 4552
/proc/meminfo: memFree=340332/1022884 swapFree=0/0
[pid=4552] ppid=4551 vsize=9212 CPUtime=0.04
/proc/4552/stat : 4552 (aspcud-full) S 4551 4552 1733 0 -1 4202496 740 3623 0 0 0 0 2 2 20 0 1 0 120236276 9433088 365 18446744073709551615 4194304 5129932 140733359158720 140733359157376 140216593286238 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/4552/statm: 2303 365 303 229 0 63 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9212

[startup+0.700225 s]
/proc/loadavg: 1.02 0.99 0.99 2/59 4552
/proc/meminfo: memFree=340332/1022884 swapFree=0/0
[pid=4552] ppid=4551 vsize=9212 CPUtime=0.04
/proc/4552/stat : 4552 (aspcud-full) S 4551 4552 1733 0 -1 4202496 740 3623 0 0 0 0 2 2 20 0 1 0 120236276 9433088 365 18446744073709551615 4194304 5129932 140733359158720 140733359157376 140216593286238 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/4552/statm: 2303 365 303 229 0 63 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9212

[startup+1.50029 s]
/proc/loadavg: 1.02 0.99 0.99 2/61 4568
/proc/meminfo: memFree=304472/1022884 swapFree=0/0
[pid=4552] ppid=4551 vsize=9212 CPUtime=0.04
/proc/4552/stat : 4552 (aspcud-full) S 4551 4552 1733 0 -1 4202496 740 3623 0 0 0 0 2 2 20 0 1 0 120236276 9433088 365 18446744073709551615 4194304 5129932 140733359158720 140733359157376 140216593286238 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/4552/statm: 2303 365 303 229 0 63 0
[pid=4568] ppid=4552 vsize=51796 CPUtime=1.4
/proc/4568/stat : 4568 (cudf2lp) R 4552 4552 1733 0 -1 4202496 14479 0 0 0 134 6 0 0 20 0 1 0 120236279 53039104 11079 18446744073709551615 4194304 5690517 140735668832560 140735668830200 4249623 0 0 16781316 0 0 0 0 17 0 0 0 4 0 0
/proc/4568/statm: 12949 11079 160 366 0 12580 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 61008

[startup+3.10022 s]
/proc/loadavg: 1.02 0.99 0.99 2/61 4568
/proc/meminfo: memFree=249912/1022884 swapFree=0/0
[pid=4552] ppid=4551 vsize=9212 CPUtime=2.7
/proc/4552/stat : 4552 (aspcud-full) S 4551 4552 1733 0 -1 4202496 764 27039 0 0 0 0 256 14 20 0 1 0 120236276 9433088 365 18446744073709551615 4194304 5129932 140733359158720 140733359157376 140216593286238 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/4552/statm: 2303 365 303 229 0 63 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 9212

[startup+6.30028 s]
/proc/loadavg: 1.02 0.99 0.99 2/61 4569
/proc/meminfo: memFree=189028/1022884 swapFree=0/0
[pid=4552] ppid=4551 vsize=9212 CPUtime=2.7
/proc/4552/stat : 4552 (aspcud-full) S 4551 4552 1733 0 -1 4202496 764 27039 0 0 0 0 256 14 20 0 1 0 120236276 9433088 365 18446744073709551615 4194304 5129932 140733359158720 140733359157376 140216593286238 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/4552/statm: 2303 365 303 229 0 63 0
[pid=4569] ppid=4552 vsize=238348 CPUtime=3.49
/proc/4569/stat : 4569 (gringo) R 4552 4552 1733 0 -1 4202496 57233 0 0 0 329 20 0 0 20 0 1 0 120236553 244068352 48466 18446744073709551615 4194304 6531320 140736994607680 140736994603960 4595711 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/4569/statm: 59587 48466 283 571 0 59008 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 247560

[startup+12.7004 s]
/proc/loadavg: 1.02 0.99 0.99 2/62 4571
/proc/meminfo: memFree=202164/1022884 swapFree=0/0
[pid=4552] ppid=4551 vsize=9212 CPUtime=7.91
/proc/4552/stat : 4552 (aspcud-full) S 4551 4552 1733 0 -1 4202496 802 108288 0 0 0 0 736 55 20 0 1 0 120236276 9433088 365 18446744073709551615 4194304 5129932 140733359158720 140733359156784 140216593286238 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/4552/statm: 2303 365 303 229 0 63 0
[pid=4570] ppid=4552 vsize=99800 CPUtime=4.61
/proc/4570/stat : 4570 (clasp) R 4552 4552 1733 0 -1 4202496 30118 0 0 0 454 7 0 0 20 0 1 0 120237078 102195200 24516 18446744073709551615 4194304 6238623 140734628990784 140734628987808 4635573 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/4570/statm: 24950 24516 263 500 0 24447 0
[pid=4571] ppid=4552 vsize=22040 CPUtime=0.02
/proc/4571/stat : 4571 (parse.py) S 4552 4552 1733 0 -1 4202496 1318 0 0 0 0 2 0 0 20 0 1 0 120237078 22568960 1128 18446744073709551615 4194304 6642060 140734553101664 140734553100024 140029959661344 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/4571/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 131052

[startup+25.5004 s]
/proc/loadavg: 1.01 0.99 0.99 2/62 4571
/proc/meminfo: memFree=202164/1022884 swapFree=0/0
[pid=4552] ppid=4551 vsize=9212 CPUtime=7.91
/proc/4552/stat : 4552 (aspcud-full) S 4551 4552 1733 0 -1 4202496 802 108288 0 0 0 0 736 55 20 0 1 0 120236276 9433088 365 18446744073709551615 4194304 5129932 140733359158720 140733359156784 140216593286238 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/4552/statm: 2303 365 303 229 0 63 0
[pid=4570] ppid=4552 vsize=99800 CPUtime=17.28
/proc/4570/stat : 4570 (clasp) R 4552 4552 1733 0 -1 4202496 30118 0 0 0 1721 7 0 0 20 0 1 0 120237078 102195200 24516 18446744073709551615 4194304 6238623 140734628990784 140734628987808 4356177 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/4570/statm: 24950 24516 263 500 0 24447 0
[pid=4571] ppid=4552 vsize=22040 CPUtime=0.02
/proc/4571/stat : 4571 (parse.py) S 4552 4552 1733 0 -1 4202496 1318 0 0 0 0 2 0 0 20 0 1 0 120237078 22568960 1128 18446744073709551615 4194304 6642060 140734553101664 140734553100024 140029959661344 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/4571/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 131052

[startup+51.1003 s]
/proc/loadavg: 1.01 0.99 0.99 2/62 4571
/proc/meminfo: memFree=202164/1022884 swapFree=0/0
[pid=4552] ppid=4551 vsize=9212 CPUtime=7.91
/proc/4552/stat : 4552 (aspcud-full) S 4551 4552 1733 0 -1 4202496 802 108288 0 0 0 0 736 55 20 0 1 0 120236276 9433088 365 18446744073709551615 4194304 5129932 140733359158720 140733359156784 140216593286238 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/4552/statm: 2303 365 303 229 0 63 0
[pid=4570] ppid=4552 vsize=99800 CPUtime=42.67
/proc/4570/stat : 4570 (clasp) R 4552 4552 1733 0 -1 4202496 30118 0 0 0 4259 8 0 0 20 0 1 0 120237078 102195200 24516 18446744073709551615 4194304 6238623 140734628990784 140734628987808 4407054 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/4570/statm: 24950 24516 263 500 0 24447 0
[pid=4571] ppid=4552 vsize=22040 CPUtime=0.02
/proc/4571/stat : 4571 (parse.py) S 4552 4552 1733 0 -1 4202496 1318 0 0 0 0 2 0 0 20 0 1 0 120237078 22568960 1128 18446744073709551615 4194304 6642060 140734553101664 140734553100024 140029959661344 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/4571/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 131052

[startup+102.3 s]
/proc/loadavg: 1.00 0.99 0.99 2/62 4571
/proc/meminfo: memFree=202164/1022884 swapFree=0/0
[pid=4552] ppid=4551 vsize=9212 CPUtime=7.91
/proc/4552/stat : 4552 (aspcud-full) S 4551 4552 1733 0 -1 4202496 802 108288 0 0 0 0 736 55 20 0 1 0 120236276 9433088 365 18446744073709551615 4194304 5129932 140733359158720 140733359156784 140216593286238 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/4552/statm: 2303 365 303 229 0 63 0
[pid=4570] ppid=4552 vsize=99800 CPUtime=93.48
/proc/4570/stat : 4570 (clasp) R 4552 4552 1733 0 -1 4202496 30131 0 0 0 9338 10 0 0 20 0 1 0 120237078 102195200 24529 18446744073709551615 4194304 6238623 140734628990784 140734628987808 4407017 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/4570/statm: 24950 24529 263 500 0 24447 0
[pid=4571] ppid=4552 vsize=22040 CPUtime=0.02
/proc/4571/stat : 4571 (parse.py) S 4552 4552 1733 0 -1 4202496 1318 0 0 0 0 2 0 0 20 0 1 0 120237078 22568960 1128 18446744073709551615 4194304 6642060 140734553101664 140734553100024 140029959661344 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/4571/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 131052

[startup+162.3 s]
/proc/loadavg: 1.06 1.00 0.99 2/62 4571
/proc/meminfo: memFree=202164/1022884 swapFree=0/0
[pid=4552] ppid=4551 vsize=9212 CPUtime=7.91
/proc/4552/stat : 4552 (aspcud-full) S 4551 4552 1733 0 -1 4202496 802 108288 0 0 0 0 736 55 20 0 1 0 120236276 9433088 365 18446744073709551615 4194304 5129932 140733359158720 140733359156784 140216593286238 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/4552/statm: 2303 365 303 229 0 63 0
[pid=4570] ppid=4552 vsize=99800 CPUtime=153.03
/proc/4570/stat : 4570 (clasp) R 4552 4552 1733 0 -1 4202496 30132 0 0 0 15285 18 0 0 20 0 1 0 120237078 102195200 24530 18446744073709551615 4194304 6238623 140734628990784 140734628987808 4677120 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/4570/statm: 24950 24530 264 500 0 24447 0
[pid=4571] ppid=4552 vsize=22040 CPUtime=0.02
/proc/4571/stat : 4571 (parse.py) S 4552 4552 1733 0 -1 4202496 1318 0 0 0 0 2 0 0 20 0 1 0 120237078 22568960 1128 18446744073709551615 4194304 6642060 140734553101664 140734553100024 140029959661344 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/4571/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 160.96
Current children cumulated vsize (KiB) 131052

[startup+222.307 s]
/proc/loadavg: 1.09 1.02 1.00 2/62 4579
/proc/meminfo: memFree=201792/1022884 swapFree=0/0
[pid=4552] ppid=4551 vsize=9212 CPUtime=7.91
/proc/4552/stat : 4552 (aspcud-full) S 4551 4552 1733 0 -1 4202496 802 108288 0 0 0 0 736 55 20 0 1 0 120236276 9433088 365 18446744073709551615 4194304 5129932 140733359158720 140733359156784 140216593286238 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/4552/statm: 2303 365 303 229 0 63 0
[pid=4570] ppid=4552 vsize=99800 CPUtime=212.57
/proc/4570/stat : 4570 (clasp) R 4552 4552 1733 0 -1 4202496 30132 0 0 0 21235 22 0 0 20 0 1 0 120237078 102195200 24530 18446744073709551615 4194304 6238623 140734628990784 140734628987808 4422224 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/4570/statm: 24950 24530 264 500 0 24447 0
[pid=4571] ppid=4552 vsize=22040 CPUtime=0.02
/proc/4571/stat : 4571 (parse.py) S 4552 4552 1733 0 -1 4202496 1318 0 0 0 0 2 0 0 20 0 1 0 120237078 22568960 1128 18446744073709551615 4194304 6642060 140734553101664 140734553100024 140029959661344 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/4571/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 220.5
Current children cumulated vsize (KiB) 131052

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

[startup+222.4 s]
/proc/loadavg: 1.09 1.02 1.00 2/62 4579
/proc/meminfo: memFree=201792/1022884 swapFree=0/0
[pid=4552] ppid=4551 vsize=9212 CPUtime=7.91
/proc/4552/stat : 4552 (aspcud-full) S 4551 4552 1733 0 -1 4202496 802 108288 0 0 0 0 736 55 20 0 1 0 120236276 9433088 365 18446744073709551615 4194304 5129932 140733359158720 140733359156784 140216593286238 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/4552/statm: 2303 365 303 229 0 63 0
[pid=4570] ppid=4552 vsize=99800 CPUtime=212.66
/proc/4570/stat : 4570 (clasp) R 4552 4552 1733 0 -1 4202496 30132 0 0 0 21244 22 0 0 20 0 1 0 120237078 102195200 24530 18446744073709551615 4194304 6238623 140734628990784 140734628987808 4407165 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/4570/statm: 24950 24530 264 500 0 24447 0
[pid=4571] ppid=4552 vsize=22040 CPUtime=0.02
/proc/4571/stat : 4571 (parse.py) S 4552 4552 1733 0 -1 4202496 1318 0 0 0 0 2 0 0 20 0 1 0 120237078 22568960 1128 18446744073709551615 4194304 6642060 140734553101664 140734553100024 140029959661344 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/4571/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 220.59
Current children cumulated vsize (KiB) 131052

[startup+224 s]
/proc/loadavg: 1.09 1.02 1.00 2/62 4579
/proc/meminfo: memFree=201792/1022884 swapFree=0/0
[pid=4552] ppid=4551 vsize=9212 CPUtime=7.91
/proc/4552/stat : 4552 (aspcud-full) S 4551 4552 1733 0 -1 4202496 802 108288 0 0 0 0 736 55 20 0 1 0 120236276 9433088 365 18446744073709551615 4194304 5129932 140733359158720 140733359156784 140216593286238 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/4552/statm: 2303 365 303 229 0 63 0
[pid=4570] ppid=4552 vsize=99800 CPUtime=214.24
/proc/4570/stat : 4570 (clasp) R 4552 4552 1733 0 -1 4202496 30132 0 0 0 21402 22 0 0 20 0 1 0 120237078 102195200 24530 18446744073709551615 4194304 6238623 140734628990784 140734628987808 4407104 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/4570/statm: 24950 24530 264 500 0 24447 0
[pid=4571] ppid=4552 vsize=22040 CPUtime=0.02
/proc/4571/stat : 4571 (parse.py) S 4552 4552 1733 0 -1 4202496 1318 0 0 0 0 2 0 0 20 0 1 0 120237078 22568960 1128 18446744073709551615 4194304 6642060 140734553101664 140734553100024 140029959661344 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/4571/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 131052

[startup+224.8 s]
/proc/loadavg: 1.08 1.02 1.00 2/62 4579
/proc/meminfo: memFree=201792/1022884 swapFree=0/0
[pid=4552] ppid=4551 vsize=9212 CPUtime=7.91
/proc/4552/stat : 4552 (aspcud-full) S 4551 4552 1733 0 -1 4202496 802 108288 0 0 0 0 736 55 20 0 1 0 120236276 9433088 365 18446744073709551615 4194304 5129932 140733359158720 140733359156784 140216593286238 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/4552/statm: 2303 365 303 229 0 63 0
[pid=4570] ppid=4552 vsize=99800 CPUtime=215.04
/proc/4570/stat : 4570 (clasp) R 4552 4552 1733 0 -1 4202496 30132 0 0 0 21482 22 0 0 20 0 1 0 120237078 102195200 24530 18446744073709551615 4194304 6238623 140734628990784 140734628987808 4407044 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/4570/statm: 24950 24530 264 500 0 24447 0
[pid=4571] ppid=4552 vsize=22040 CPUtime=0.02
/proc/4571/stat : 4571 (parse.py) S 4552 4552 1733 0 -1 4202496 1318 0 0 0 0 2 0 0 20 0 1 0 120237078 22568960 1128 18446744073709551615 4194304 6642060 140734553101664 140734553100024 140029959661344 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/4571/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 222.97
Current children cumulated vsize (KiB) 131052

[startup+225 s]
/proc/loadavg: 1.08 1.02 1.00 2/62 4579
/proc/meminfo: memFree=201792/1022884 swapFree=0/0
[pid=4552] ppid=4551 vsize=9212 CPUtime=7.91
/proc/4552/stat : 4552 (aspcud-full) S 4551 4552 1733 0 -1 4202496 802 108288 0 0 0 0 736 55 20 0 1 0 120236276 9433088 365 18446744073709551615 4194304 5129932 140733359158720 140733359156784 140216593286238 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/4552/statm: 2303 365 303 229 0 63 0
[pid=4570] ppid=4552 vsize=99800 CPUtime=215.24
/proc/4570/stat : 4570 (clasp) R 4552 4552 1733 0 -1 4202496 30132 0 0 0 21502 22 0 0 20 0 1 0 120237078 102195200 24530 18446744073709551615 4194304 6238623 140734628990784 140734628987808 4407011 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/4570/statm: 24950 24530 264 500 0 24447 0
[pid=4571] ppid=4552 vsize=22040 CPUtime=0.02
/proc/4571/stat : 4571 (parse.py) S 4552 4552 1733 0 -1 4202496 1318 0 0 0 0 2 0 0 20 0 1 0 120237078 22568960 1128 18446744073709551615 4194304 6642060 140734553101664 140734553100024 140029959661344 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/4571/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 223.17
Current children cumulated vsize (KiB) 131052

Child status: 0
Real time (s): 225.097
CPU time (s): 223.294
CPU user time (s): 222.446
CPU system time (s): 0.848053
CPU usage (%): 99.1992
Max. virtual memory (cumulated for all children) (KiB): 357104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 222.446
system time used= 0.848053
maximum resident set size= 289912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140899
page faults= 0
swaps= 0
block input operations= 39640
block output operations= 35688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91
involuntary context switches= 25560

runsolver used 0.436027 second user time and 0.824051 second system time

The end