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/33bb2fbc-9512-11e0-9181-00163e1e087d.cudf.log.runsolver /home/competition/aspcud-full-1.7/aspcud-full /home/competition/data/real/33bb2fbc-9512-11e0-9181-00163e1e087d.cudf /tmp/misc2012/2012-09-02-22:42/full/aspcud-full-1.7/slowlink/real/33bb2fbc-9512-11e0-9181-00163e1e087d.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: 0.91 0.94 0.97 2/64 19812
/proc/meminfo: memFree=404636/1022884 swapFree=0/0
[pid=19812] ppid=19811 vsize=9204 CPUtime=0
/proc/19812/stat : 19812 (aspcud-full) S 19811 19812 1745 0 -1 4202496 431 0 0 0 0 0 0 0 20 0 1 0 120220495 9424896 331 18446744073709551615 4194304 5129932 140735316394560 140735316392024 140040361318176 0 0 16781316 65536 0 0 0 17 0 0 0 0 0 0
/proc/19812/statm: 2301 331 272 229 0 61 0

[startup+0.176911 s]
/proc/loadavg: 0.91 0.94 0.97 2/64 19812
/proc/meminfo: memFree=404636/1022884 swapFree=0/0
[pid=19812] ppid=19811 vsize=9212 CPUtime=0.06
/proc/19812/stat : 19812 (aspcud-full) S 19811 19812 1745 0 -1 4202496 733 3620 0 0 1 0 3 2 20 0 1 0 120220495 9433088 364 18446744073709551615 4194304 5129932 140735316394560 140735316393216 140040361174110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/19812/statm: 2303 364 303 229 0 63 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9212

[startup+0.200326 s]
/proc/loadavg: 0.91 0.94 0.97 2/64 19812
/proc/meminfo: memFree=404636/1022884 swapFree=0/0
[pid=19812] ppid=19811 vsize=9212 CPUtime=0.06
/proc/19812/stat : 19812 (aspcud-full) S 19811 19812 1745 0 -1 4202496 733 3620 0 0 1 0 3 2 20 0 1 0 120220495 9433088 364 18446744073709551615 4194304 5129932 140735316394560 140735316393216 140040361174110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/19812/statm: 2303 364 303 229 0 63 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9212

[startup+0.300296 s]
/proc/loadavg: 0.91 0.94 0.97 2/64 19812
/proc/meminfo: memFree=404636/1022884 swapFree=0/0
[pid=19812] ppid=19811 vsize=9212 CPUtime=0.06
/proc/19812/stat : 19812 (aspcud-full) S 19811 19812 1745 0 -1 4202496 733 3620 0 0 1 0 3 2 20 0 1 0 120220495 9433088 364 18446744073709551615 4194304 5129932 140735316394560 140735316393216 140040361174110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/19812/statm: 2303 364 303 229 0 63 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9212

[startup+0.700284 s]
/proc/loadavg: 0.91 0.94 0.97 2/64 19812
/proc/meminfo: memFree=404636/1022884 swapFree=0/0
[pid=19812] ppid=19811 vsize=9212 CPUtime=0.06
/proc/19812/stat : 19812 (aspcud-full) S 19811 19812 1745 0 -1 4202496 733 3620 0 0 1 0 3 2 20 0 1 0 120220495 9433088 364 18446744073709551615 4194304 5129932 140735316394560 140735316393216 140040361174110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/19812/statm: 2303 364 303 229 0 63 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9212

[startup+1.50032 s]
/proc/loadavg: 0.92 0.94 0.97 2/66 19828
/proc/meminfo: memFree=369148/1022884 swapFree=0/0
[pid=19812] ppid=19811 vsize=9212 CPUtime=0.06
/proc/19812/stat : 19812 (aspcud-full) S 19811 19812 1745 0 -1 4202496 733 3620 0 0 1 0 3 2 20 0 1 0 120220495 9433088 364 18446744073709551615 4194304 5129932 140735316394560 140735316393216 140040361174110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/19812/statm: 2303 364 303 229 0 63 0
[pid=19828] ppid=19812 vsize=50184 CPUtime=1.41
/proc/19828/stat : 19828 (cudf2lp) R 19812 19812 1745 0 -1 4202496 14142 0 0 0 136 5 0 0 20 0 1 0 120220499 51388416 10743 18446744073709551615 4194304 5690517 140734922258544 140734922256184 4360816 0 0 16781316 0 0 0 0 17 0 0 0 3 0 0
/proc/19828/statm: 12546 10743 160 366 0 12177 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 59396

[startup+3.10024 s]
/proc/loadavg: 0.92 0.94 0.97 2/66 19828
/proc/meminfo: memFree=313100/1022884 swapFree=0/0
[pid=19812] ppid=19811 vsize=9212 CPUtime=2.65
/proc/19812/stat : 19812 (aspcud-full) S 19811 19812 1745 0 -1 4202496 757 27624 0 0 1 0 251 13 20 0 1 0 120220495 9433088 364 18446744073709551615 4194304 5129932 140735316394560 140735316393216 140040361174110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/19812/statm: 2303 364 303 229 0 63 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 9212

[startup+6.30038 s]
/proc/loadavg: 0.92 0.94 0.97 2/67 19831
/proc/meminfo: memFree=330328/1022884 swapFree=0/0
[pid=19812] ppid=19811 vsize=9212 CPUtime=5.07
/proc/19812/stat : 19812 (aspcud-full) S 19811 19812 1745 0 -1 4202496 794 65114 0 0 1 0 470 36 20 0 1 0 120220495 9433088 364 18446744073709551615 4194304 5129932 140735316394560 140735316392624 140040361174110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/19812/statm: 2303 364 303 229 0 63 0
[pid=19830] ppid=19812 vsize=43068 CPUtime=1.13
/proc/19830/stat : 19830 (clasp) R 19812 19812 1745 0 -1 4202496 12365 0 0 0 110 3 0 0 20 0 1 0 120221008 44101632 10423 18446744073709551615 4194304 6238623 140735723863776 140735723860800 4677160 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/19830/statm: 10767 10423 264 500 0 10264 0
[pid=19831] ppid=19812 vsize=22040 CPUtime=0.02
/proc/19831/stat : 19831 (parse.py) S 19812 19812 1745 0 -1 4202496 1318 0 0 0 0 2 0 0 20 0 1 0 120221008 22568960 1128 18446744073709551615 4194304 6642060 140733634661696 140733634660056 140581593446176 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/19831/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 74320

[startup+12.7004 s]
/proc/loadavg: 0.93 0.94 0.97 2/67 19831
/proc/meminfo: memFree=332436/1022884 swapFree=0/0
[pid=19812] ppid=19811 vsize=9212 CPUtime=5.07
/proc/19812/stat : 19812 (aspcud-full) S 19811 19812 1745 0 -1 4202496 794 65114 0 0 1 0 470 36 20 0 1 0 120220495 9433088 364 18446744073709551615 4194304 5129932 140735316394560 140735316392624 140040361174110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/19812/statm: 2303 364 303 229 0 63 0
[pid=19830] ppid=19812 vsize=43068 CPUtime=7.46
/proc/19830/stat : 19830 (clasp) R 19812 19812 1745 0 -1 4202496 12381 0 0 0 743 3 0 0 20 0 1 0 120221008 44101632 10439 18446744073709551615 4194304 6238623 140735723863776 140735723860800 4669522 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/19830/statm: 10767 10439 264 500 0 10264 0
[pid=19831] ppid=19812 vsize=22040 CPUtime=0.02
/proc/19831/stat : 19831 (parse.py) S 19812 19812 1745 0 -1 4202496 1318 0 0 0 0 2 0 0 20 0 1 0 120221008 22568960 1128 18446744073709551615 4194304 6642060 140733634661696 140733634660056 140581593446176 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/19831/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 74320

[startup+25.5004 s]
/proc/loadavg: 0.94 0.95 0.97 2/67 19831
/proc/meminfo: memFree=332436/1022884 swapFree=0/0
[pid=19812] ppid=19811 vsize=9212 CPUtime=5.07
/proc/19812/stat : 19812 (aspcud-full) S 19811 19812 1745 0 -1 4202496 794 65114 0 0 1 0 470 36 20 0 1 0 120220495 9433088 364 18446744073709551615 4194304 5129932 140735316394560 140735316392624 140040361174110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/19812/statm: 2303 364 303 229 0 63 0
[pid=19830] ppid=19812 vsize=43068 CPUtime=20.13
/proc/19830/stat : 19830 (clasp) R 19812 19812 1745 0 -1 4202496 12381 0 0 0 2009 4 0 0 20 0 1 0 120221008 44101632 10439 18446744073709551615 4194304 6238623 140735723863776 140735723860800 4407036 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/19830/statm: 10767 10439 264 500 0 10264 0
[pid=19831] ppid=19812 vsize=22040 CPUtime=0.02
/proc/19831/stat : 19831 (parse.py) S 19812 19812 1745 0 -1 4202496 1318 0 0 0 0 2 0 0 20 0 1 0 120221008 22568960 1128 18446744073709551615 4194304 6642060 140733634661696 140733634660056 140581593446176 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/19831/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 74320

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

[startup+25.6005 s]
/proc/loadavg: 0.94 0.95 0.97 2/67 19831
/proc/meminfo: memFree=332436/1022884 swapFree=0/0
[pid=19812] ppid=19811 vsize=9212 CPUtime=5.07
/proc/19812/stat : 19812 (aspcud-full) S 19811 19812 1745 0 -1 4202496 794 65114 0 0 1 0 470 36 20 0 1 0 120220495 9433088 364 18446744073709551615 4194304 5129932 140735316394560 140735316392624 140040361174110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/19812/statm: 2303 364 303 229 0 63 0
[pid=19830] ppid=19812 vsize=43068 CPUtime=20.23
/proc/19830/stat : 19830 (clasp) R 19812 19812 1745 0 -1 4202496 12381 0 0 0 2019 4 0 0 20 0 1 0 120221008 44101632 10439 18446744073709551615 4194304 6238623 140735723863776 140735723860800 4663090 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/19830/statm: 10767 10439 264 500 0 10264 0
[pid=19831] ppid=19812 vsize=22040 CPUtime=0.02
/proc/19831/stat : 19831 (parse.py) S 19812 19812 1745 0 -1 4202496 1318 0 0 0 0 2 0 0 20 0 1 0 120221008 22568960 1128 18446744073709551615 4194304 6642060 140733634661696 140733634660056 140581593446176 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/19831/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 74320

[startup+32.0089 s]
/proc/loadavg: 0.95 0.95 0.97 2/67 19831
/proc/meminfo: memFree=332436/1022884 swapFree=0/0
[pid=19812] ppid=19811 vsize=9212 CPUtime=5.07
/proc/19812/stat : 19812 (aspcud-full) S 19811 19812 1745 0 -1 4202496 794 65114 0 0 1 0 470 36 20 0 1 0 120220495 9433088 364 18446744073709551615 4194304 5129932 140735316394560 140735316392624 140040361174110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/19812/statm: 2303 364 303 229 0 63 0
[pid=19830] ppid=19812 vsize=43068 CPUtime=26.57
/proc/19830/stat : 19830 (clasp) R 19812 19812 1745 0 -1 4202496 12381 0 0 0 2653 4 0 0 20 0 1 0 120221008 44101632 10439 18446744073709551615 4194304 6238623 140735723863776 140735723860800 4371507 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/19830/statm: 10767 10439 264 500 0 10264 0
[pid=19831] ppid=19812 vsize=22040 CPUtime=0.02
/proc/19831/stat : 19831 (parse.py) S 19812 19812 1745 0 -1 4202496 1318 0 0 0 0 2 0 0 20 0 1 0 120221008 22568960 1128 18446744073709551615 4194304 6642060 140733634661696 140733634660056 140581593446176 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/19831/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 31.66
Current children cumulated vsize (KiB) 74320

[startup+35.2004 s]
/proc/loadavg: 0.95 0.95 0.97 2/67 19831
/proc/meminfo: memFree=332436/1022884 swapFree=0/0
[pid=19812] ppid=19811 vsize=9212 CPUtime=5.07
/proc/19812/stat : 19812 (aspcud-full) S 19811 19812 1745 0 -1 4202496 794 65114 0 0 1 0 470 36 20 0 1 0 120220495 9433088 364 18446744073709551615 4194304 5129932 140735316394560 140735316392624 140040361174110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/19812/statm: 2303 364 303 229 0 63 0
[pid=19830] ppid=19812 vsize=43068 CPUtime=29.74
/proc/19830/stat : 19830 (clasp) R 19812 19812 1745 0 -1 4202496 12381 0 0 0 2969 5 0 0 20 0 1 0 120221008 44101632 10439 18446744073709551615 4194304 6238623 140735723863776 140735723860800 4407011 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/19830/statm: 10767 10439 264 500 0 10264 0
[pid=19831] ppid=19812 vsize=22040 CPUtime=0.02
/proc/19831/stat : 19831 (parse.py) S 19812 19812 1745 0 -1 4202496 1318 0 0 0 0 2 0 0 20 0 1 0 120221008 22568960 1128 18446744073709551615 4194304 6642060 140733634661696 140733634660056 140581593446176 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/19831/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 34.83
Current children cumulated vsize (KiB) 74320

[startup+38.4004 s]
/proc/loadavg: 0.95 0.95 0.97 2/67 19831
/proc/meminfo: memFree=332436/1022884 swapFree=0/0
[pid=19812] ppid=19811 vsize=9212 CPUtime=5.07
/proc/19812/stat : 19812 (aspcud-full) S 19811 19812 1745 0 -1 4202496 794 65114 0 0 1 0 470 36 20 0 1 0 120220495 9433088 364 18446744073709551615 4194304 5129932 140735316394560 140735316392624 140040361174110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/19812/statm: 2303 364 303 229 0 63 0
[pid=19830] ppid=19812 vsize=43068 CPUtime=32.9
/proc/19830/stat : 19830 (clasp) R 19812 19812 1745 0 -1 4202496 12381 0 0 0 3285 5 0 0 20 0 1 0 120221008 44101632 10439 18446744073709551615 4194304 6238623 140735723863776 140735723860800 4406990 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/19830/statm: 10767 10439 264 500 0 10264 0
[pid=19831] ppid=19812 vsize=22040 CPUtime=0.02
/proc/19831/stat : 19831 (parse.py) S 19812 19812 1745 0 -1 4202496 1318 0 0 0 0 2 0 0 20 0 1 0 120221008 22568960 1128 18446744073709551615 4194304 6642060 140733634661696 140733634660056 140581593446176 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/19831/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 37.99
Current children cumulated vsize (KiB) 74320

[startup+39.2004 s]
/proc/loadavg: 0.95 0.95 0.97 2/67 19831
/proc/meminfo: memFree=332436/1022884 swapFree=0/0
[pid=19812] ppid=19811 vsize=9212 CPUtime=5.07
/proc/19812/stat : 19812 (aspcud-full) S 19811 19812 1745 0 -1 4202496 794 65114 0 0 1 0 470 36 20 0 1 0 120220495 9433088 364 18446744073709551615 4194304 5129932 140735316394560 140735316392624 140040361174110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/19812/statm: 2303 364 303 229 0 63 0
[pid=19830] ppid=19812 vsize=43068 CPUtime=33.7
/proc/19830/stat : 19830 (clasp) R 19812 19812 1745 0 -1 4202496 12381 0 0 0 3365 5 0 0 20 0 1 0 120221008 44101632 10439 18446744073709551615 4194304 6238623 140735723863776 140735723860800 4586413 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/19830/statm: 10767 10439 264 500 0 10264 0
[pid=19831] ppid=19812 vsize=22040 CPUtime=0.02
/proc/19831/stat : 19831 (parse.py) S 19812 19812 1745 0 -1 4202496 1318 0 0 0 0 2 0 0 20 0 1 0 120221008 22568960 1128 18446744073709551615 4194304 6642060 140733634661696 140733634660056 140581593446176 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/19831/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 38.79
Current children cumulated vsize (KiB) 74320

[startup+40.0004 s]
/proc/loadavg: 0.95 0.95 0.97 2/67 19831
/proc/meminfo: memFree=332436/1022884 swapFree=0/0
[pid=19812] ppid=19811 vsize=9212 CPUtime=5.07
/proc/19812/stat : 19812 (aspcud-full) S 19811 19812 1745 0 -1 4202496 794 65114 0 0 1 0 470 36 20 0 1 0 120220495 9433088 364 18446744073709551615 4194304 5129932 140735316394560 140735316392624 140040361174110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/19812/statm: 2303 364 303 229 0 63 0
[pid=19830] ppid=19812 vsize=43068 CPUtime=34.48
/proc/19830/stat : 19830 (clasp) R 19812 19812 1745 0 -1 4202496 12381 0 0 0 3443 5 0 0 20 0 1 0 120221008 44101632 10439 18446744073709551615 4194304 6238623 140735723863776 140735723860800 4747988 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/19830/statm: 10767 10439 264 500 0 10264 0
[pid=19831] ppid=19812 vsize=22040 CPUtime=0.02
/proc/19831/stat : 19831 (parse.py) S 19812 19812 1745 0 -1 4202496 1318 0 0 0 0 2 0 0 20 0 1 0 120221008 22568960 1128 18446744073709551615 4194304 6642060 140733634661696 140733634660056 140581593446176 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/19831/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 39.57
Current children cumulated vsize (KiB) 74320

[startup+40.2004 s]
/proc/loadavg: 0.95 0.95 0.97 2/67 19831
/proc/meminfo: memFree=332436/1022884 swapFree=0/0
[pid=19812] ppid=19811 vsize=9212 CPUtime=5.07
/proc/19812/stat : 19812 (aspcud-full) S 19811 19812 1745 0 -1 4202496 794 65114 0 0 1 0 470 36 20 0 1 0 120220495 9433088 364 18446744073709551615 4194304 5129932 140735316394560 140735316392624 140040361174110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/19812/statm: 2303 364 303 229 0 63 0
[pid=19830] ppid=19812 vsize=43068 CPUtime=34.68
/proc/19830/stat : 19830 (clasp) R 19812 19812 1745 0 -1 4202496 12381 0 0 0 3463 5 0 0 20 0 1 0 120221008 44101632 10439 18446744073709551615 4194304 6238623 140735723863776 140735723860800 4407293 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/19830/statm: 10767 10439 264 500 0 10264 0
[pid=19831] ppid=19812 vsize=22040 CPUtime=0.02
/proc/19831/stat : 19831 (parse.py) S 19812 19812 1745 0 -1 4202496 1318 0 0 0 0 2 0 0 20 0 1 0 120221008 22568960 1128 18446744073709551615 4194304 6642060 140733634661696 140733634660056 140581593446176 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/19831/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 39.77
Current children cumulated vsize (KiB) 74320

[startup+40.3004 s]
/proc/loadavg: 0.95 0.95 0.97 2/67 19831
/proc/meminfo: memFree=332436/1022884 swapFree=0/0
[pid=19812] ppid=19811 vsize=9212 CPUtime=5.07
/proc/19812/stat : 19812 (aspcud-full) S 19811 19812 1745 0 -1 4202496 794 65114 0 0 1 0 470 36 20 0 1 0 120220495 9433088 364 18446744073709551615 4194304 5129932 140735316394560 140735316392624 140040361174110 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/19812/statm: 2303 364 303 229 0 63 0
[pid=19830] ppid=19812 vsize=43068 CPUtime=34.78
/proc/19830/stat : 19830 (clasp) R 19812 19812 1745 0 -1 4202496 12381 0 0 0 3473 5 0 0 20 0 1 0 120221008 44101632 10439 18446744073709551615 4194304 6238623 140735723863776 140735723860800 4407011 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/19830/statm: 10767 10439 264 500 0 10264 0
[pid=19831] ppid=19812 vsize=22040 CPUtime=0.02
/proc/19831/stat : 19831 (parse.py) S 19812 19812 1745 0 -1 4202496 1318 0 0 0 0 2 0 0 20 0 1 0 120221008 22568960 1128 18446744073709551615 4194304 6642060 140733634661696 140733634660056 140581593446176 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/19831/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 39.87
Current children cumulated vsize (KiB) 74320

Child status: 0
Real time (s): 40.3503
CPU time (s): 39.9465
CPU user time (s): 39.4905
CPU system time (s): 0.456028
CPU usage (%): 98.9992
Max. virtual memory (cumulated for all children) (KiB): 166192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.4905
system time used= 0.456028
maximum resident set size= 131268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79929
page faults= 0
swaps= 0
block input operations= 37048
block output operations= 19032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71
involuntary context switches= 4600

runsolver used 0.144009 second user time and 0.16401 second system time

The end