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/trendy-size/install/rand937.cudf.log.runsolver /home/competition/aspuncud-full-1.7/aspuncud-full /home/competition/data/install/rand937.cudf /tmp/misc2012/2012-09-02-22:42/full/aspuncud-full-1.7/trendy-size/install/rand937.cudf.result -count(removed),-sum(solution,installedsize),-notuptodate(solution),-unsat_recommends(solution),-count(new) 

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.02 1.03 0.96 2/56 23788
/proc/meminfo: memFree=712460/1022884 swapFree=0/0
[pid=23788] ppid=23787 vsize=3152 CPUtime=0
/proc/23788/stat : 23788 (runsolver) R 23787 32685 32685 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 41419797 3227648 32 18446744073709551615 134512640 134586868 4289491264 4289489312 4152124464 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/23788/statm: 788 32 0 19 0 73 0
Current StackSize limit: 8192 KiB


[startup+0.159254 s]
/proc/loadavg: 1.02 1.03 0.96 2/56 23788
/proc/meminfo: memFree=712460/1022884 swapFree=0/0
[pid=23788] ppid=23787 vsize=9212 CPUtime=0.05
/proc/23788/stat : 23788 (aspuncud-full) S 23787 23788 32685 0 -1 4202496 693 2806 2 5 0 1 2 2 20 0 1 0 41419797 9433088 364 18446744073709551615 4194304 5129932 140733270719632 140733270718288 140562587407454 0 65536 16781316 1115778811 0 0 0 17 0 0 0 6 0 0
/proc/23788/statm: 2303 364 303 229 0 63 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9212

[startup+0.200344 s]
/proc/loadavg: 1.02 1.03 0.96 2/56 23788
/proc/meminfo: memFree=712460/1022884 swapFree=0/0
[pid=23788] ppid=23787 vsize=9212 CPUtime=0.05
/proc/23788/stat : 23788 (aspuncud-full) S 23787 23788 32685 0 -1 4202496 693 2806 2 5 0 1 2 2 20 0 1 0 41419797 9433088 364 18446744073709551615 4194304 5129932 140733270719632 140733270718288 140562587407454 0 65536 16781316 1115778811 0 0 0 17 0 0 0 6 0 0
/proc/23788/statm: 2303 364 303 229 0 63 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9212

[startup+0.300333 s]
/proc/loadavg: 1.02 1.03 0.96 2/56 23788
/proc/meminfo: memFree=712460/1022884 swapFree=0/0
[pid=23788] ppid=23787 vsize=9212 CPUtime=0.05
/proc/23788/stat : 23788 (aspuncud-full) S 23787 23788 32685 0 -1 4202496 693 2806 2 5 0 1 2 2 20 0 1 0 41419797 9433088 364 18446744073709551615 4194304 5129932 140733270719632 140733270718288 140562587407454 0 65536 16781316 1115778811 0 0 0 17 0 0 0 6 0 0
/proc/23788/statm: 2303 364 303 229 0 63 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9212

[startup+0.700251 s]
/proc/loadavg: 1.02 1.03 0.96 2/56 23788
/proc/meminfo: memFree=712460/1022884 swapFree=0/0
[pid=23788] ppid=23787 vsize=9212 CPUtime=0.05
/proc/23788/stat : 23788 (aspuncud-full) S 23787 23788 32685 0 -1 4202496 693 2806 2 5 0 1 2 2 20 0 1 0 41419797 9433088 364 18446744073709551615 4194304 5129932 140733270719632 140733270718288 140562587407454 0 65536 16781316 1115778811 0 0 0 17 0 0 0 6 0 0
/proc/23788/statm: 2303 364 303 229 0 63 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9212

[startup+1.50031 s]
/proc/loadavg: 1.02 1.03 0.96 2/58 23801
/proc/meminfo: memFree=679080/1022884 swapFree=0/0
[pid=23788] ppid=23787 vsize=9212 CPUtime=0.05
/proc/23788/stat : 23788 (aspuncud-full) S 23787 23788 32685 0 -1 4202496 693 2806 2 5 0 1 2 2 20 0 1 0 41419797 9433088 364 18446744073709551615 4194304 5129932 140733270719632 140733270718288 140562587407454 0 65536 16781316 1115778811 0 0 0 17 0 0 0 6 0 0
/proc/23788/statm: 2303 364 303 229 0 63 0
[pid=23801] ppid=23788 vsize=30540 CPUtime=1.32
/proc/23801/stat : 23801 (cudf2lp) R 23788 23788 32685 0 -1 4202496 9048 0 1 0 126 6 0 0 20 0 1 0 41419810 31272960 7316 18446744073709551615 4194304 5690517 140735327801600 140735327799240 4960643 0 0 16781316 0 0 0 0 17 0 0 0 2 0 0
/proc/23801/statm: 7635 7316 160 366 0 7266 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 39752

[startup+3.10032 s]
/proc/loadavg: 1.02 1.03 0.96 2/58 23801
/proc/meminfo: memFree=647088/1022884 swapFree=0/0
[pid=23788] ppid=23787 vsize=9212 CPUtime=0.05
/proc/23788/stat : 23788 (aspuncud-full) S 23787 23788 32685 0 -1 4202496 693 2806 2 5 0 1 2 2 20 0 1 0 41419797 9433088 364 18446744073709551615 4194304 5129932 140733270719632 140733270718288 140562587407454 0 65536 16781316 1115778811 0 0 0 17 0 0 0 6 0 0
/proc/23788/statm: 2303 364 303 229 0 63 0
[pid=23801] ppid=23788 vsize=93028 CPUtime=2.92
/proc/23801/stat : 23801 (cudf2lp) R 23788 23788 32685 0 -1 4202496 26417 0 1 0 278 14 0 0 20 0 1 0 41419810 95260672 19691 18446744073709551615 4194304 5690517 140735327801600 140735327799240 4960674 0 0 16781316 0 0 0 0 17 0 0 0 2 0 0
/proc/23801/statm: 23257 19691 160 366 0 22888 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 102240

[startup+6.30032 s]
/proc/loadavg: 1.02 1.03 0.96 2/58 23802
/proc/meminfo: memFree=659612/1022884 swapFree=0/0
[pid=23788] ppid=23787 vsize=9212 CPUtime=5.26
/proc/23788/stat : 23788 (aspuncud-full) S 23787 23788 32685 0 -1 4202496 721 42125 2 6 0 1 496 29 20 0 1 0 41419797 9433088 364 18446744073709551615 4194304 5129932 140733270719632 140733270718288 140562587407454 0 65536 16781316 1115778811 0 0 0 17 0 0 0 6 0 0
/proc/23788/statm: 2303 364 303 229 0 63 0
[pid=23802] ppid=23788 vsize=27436 CPUtime=0.87
/proc/23802/stat : 23802 (gringo) R 23788 23788 32685 0 -1 4202496 7130 0 0 0 85 2 0 0 20 0 1 0 41420338 28094464 6019 18446744073709551615 4194304 6531320 140737313290480 140737313287096 4372948 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/23802/statm: 6859 6019 259 571 0 6280 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 36648

[startup+12.7003 s]
/proc/loadavg: 1.01 1.03 0.96 2/58 23802
/proc/meminfo: memFree=355812/1022884 swapFree=0/0
[pid=23788] ppid=23787 vsize=9212 CPUtime=5.26
/proc/23788/stat : 23788 (aspuncud-full) S 23787 23788 32685 0 -1 4202496 721 42125 2 6 0 1 496 29 20 0 1 0 41419797 9433088 364 18446744073709551615 4194304 5129932 140733270719632 140733270718288 140562587407454 0 65536 16781316 1115778811 0 0 0 17 0 0 0 6 0 0
/proc/23788/statm: 2303 364 303 229 0 63 0
[pid=23802] ppid=23788 vsize=419996 CPUtime=7.22
/proc/23802/stat : 23802 (gringo) R 23788 23788 32685 0 -1 4202496 99932 0 0 0 675 47 0 0 20 0 1 0 41420338 430075904 83457 18446744073709551615 4194304 6531320 140737313290480 140737313287464 4359010 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/23802/statm: 104999 83457 282 571 0 104420 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 429208

[startup+25.5003 s]
/proc/loadavg: 1.01 1.03 0.96 2/59 23804
/proc/meminfo: memFree=430576/1022884 swapFree=0/0
[pid=23788] ppid=23787 vsize=9212 CPUtime=16.64
/proc/23788/stat : 23788 (aspuncud-full) S 23787 23788 32685 0 -1 4202496 762 220978 2 6 0 1 1547 116 20 0 1 0 41419797 9433088 364 18446744073709551615 4194304 5129932 140733270719632 140733270717696 140562587407454 0 65536 16781316 1115778811 0 0 0 17 0 0 0 6 0 0
/proc/23788/statm: 2303 364 303 229 0 63 0
[pid=23803] ppid=23788 vsize=228472 CPUtime=8.51
/proc/23803/stat : 23803 (unclasp) R 23788 23788 32685 0 -1 4202496 69235 0 0 0 834 17 0 0 20 0 1 0 41421489 233955328 56637 18446744073709551615 4194304 6012874 140733690031712 140733690031032 4548572 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/23803/statm: 57118 56637 230 444 0 56666 0
[pid=23804] ppid=23788 vsize=22464 CPUtime=0.01
/proc/23804/stat : 23804 (parse.py) S 23788 23788 32685 0 -1 4202496 1418 0 0 0 1 0 0 0 20 0 1 0 41421489 23003136 1227 18446744073709551615 4194304 6642060 140737311783360 140737311781640 139992520541984 0 0 16777220 20994 0 0 0 17 0 0 0 2 0 0
/proc/23804/statm: 5616 1227 508 598 0 702 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 260148

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

[startup+25.6004 s]
/proc/loadavg: 1.01 1.03 0.96 2/59 23804
/proc/meminfo: memFree=430576/1022884 swapFree=0/0
[pid=23788] ppid=23787 vsize=9212 CPUtime=16.64
/proc/23788/stat : 23788 (aspuncud-full) S 23787 23788 32685 0 -1 4202496 762 220978 2 6 0 1 1547 116 20 0 1 0 41419797 9433088 364 18446744073709551615 4194304 5129932 140733270719632 140733270717696 140562587407454 0 65536 16781316 1115778811 0 0 0 17 0 0 0 6 0 0
/proc/23788/statm: 2303 364 303 229 0 63 0
[pid=23803] ppid=23788 vsize=228472 CPUtime=8.6
/proc/23803/stat : 23803 (unclasp) R 23788 23788 32685 0 -1 4202496 69235 0 0 0 843 17 0 0 20 0 1 0 41421489 233955328 56637 18446744073709551615 4194304 6012874 140733690031712 140733690031032 4548102 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/23803/statm: 57118 56637 230 444 0 56666 0
[pid=23804] ppid=23788 vsize=22464 CPUtime=0.01
/proc/23804/stat : 23804 (parse.py) S 23788 23788 32685 0 -1 4202496 1418 0 0 0 1 0 0 0 20 0 1 0 41421489 23003136 1227 18446744073709551615 4194304 6642060 140737311783360 140737311781640 139992520541984 0 0 16777220 20994 0 0 0 17 0 0 0 2 0 0
/proc/23804/statm: 5616 1227 508 598 0 702 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 260148

[startup+32.0032 s]
/proc/loadavg: 1.01 1.02 0.96 2/59 23804
/proc/meminfo: memFree=430452/1022884 swapFree=0/0
[pid=23788] ppid=23787 vsize=9212 CPUtime=16.64
/proc/23788/stat : 23788 (aspuncud-full) S 23787 23788 32685 0 -1 4202496 762 220978 2 6 0 1 1547 116 20 0 1 0 41419797 9433088 364 18446744073709551615 4194304 5129932 140733270719632 140733270717696 140562587407454 0 65536 16781316 1115778811 0 0 0 17 0 0 0 6 0 0
/proc/23788/statm: 2303 364 303 229 0 63 0
[pid=23803] ppid=23788 vsize=228472 CPUtime=14.97
/proc/23803/stat : 23803 (unclasp) R 23788 23788 32685 0 -1 4202496 69235 0 0 0 1478 19 0 0 20 0 1 0 41421489 233955328 56637 18446744073709551615 4194304 6012874 140733690031712 140733690031032 4548180 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/23803/statm: 57118 56637 230 444 0 56666 0
[pid=23804] ppid=23788 vsize=22464 CPUtime=0.01
/proc/23804/stat : 23804 (parse.py) S 23788 23788 32685 0 -1 4202496 1418 0 0 0 1 0 0 0 20 0 1 0 41421489 23003136 1227 18446744073709551615 4194304 6642060 140737311783360 140737311781640 139992520541984 0 0 16777220 20994 0 0 0 17 0 0 0 2 0 0
/proc/23804/statm: 5616 1227 508 598 0 702 0
Current children cumulated CPU time (s) 31.62
Current children cumulated vsize (KiB) 260148

[startup+35.2003 s]
/proc/loadavg: 1.01 1.02 0.96 2/59 23804
/proc/meminfo: memFree=430452/1022884 swapFree=0/0
[pid=23788] ppid=23787 vsize=9212 CPUtime=16.64
/proc/23788/stat : 23788 (aspuncud-full) S 23787 23788 32685 0 -1 4202496 762 220978 2 6 0 1 1547 116 20 0 1 0 41419797 9433088 364 18446744073709551615 4194304 5129932 140733270719632 140733270717696 140562587407454 0 65536 16781316 1115778811 0 0 0 17 0 0 0 6 0 0
/proc/23788/statm: 2303 364 303 229 0 63 0
[pid=23803] ppid=23788 vsize=228472 CPUtime=18.16
/proc/23803/stat : 23803 (unclasp) R 23788 23788 32685 0 -1 4202496 69235 0 0 0 1796 20 0 0 20 0 1 0 41421489 233955328 56637 18446744073709551615 4194304 6012874 140733690031712 140733690031032 4548102 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/23803/statm: 57118 56637 230 444 0 56666 0
[pid=23804] ppid=23788 vsize=22464 CPUtime=0.01
/proc/23804/stat : 23804 (parse.py) S 23788 23788 32685 0 -1 4202496 1418 0 0 0 1 0 0 0 20 0 1 0 41421489 23003136 1227 18446744073709551615 4194304 6642060 140737311783360 140737311781640 139992520541984 0 0 16777220 20994 0 0 0 17 0 0 0 2 0 0
/proc/23804/statm: 5616 1227 508 598 0 702 0
Current children cumulated CPU time (s) 34.81
Current children cumulated vsize (KiB) 260148

[startup+38.4003 s]
/proc/loadavg: 1.01 1.02 0.96 2/59 23804
/proc/meminfo: memFree=430452/1022884 swapFree=0/0
[pid=23788] ppid=23787 vsize=9212 CPUtime=16.64
/proc/23788/stat : 23788 (aspuncud-full) S 23787 23788 32685 0 -1 4202496 762 220978 2 6 0 1 1547 116 20 0 1 0 41419797 9433088 364 18446744073709551615 4194304 5129932 140733270719632 140733270717696 140562587407454 0 65536 16781316 1115778811 0 0 0 17 0 0 0 6 0 0
/proc/23788/statm: 2303 364 303 229 0 63 0
[pid=23803] ppid=23788 vsize=228472 CPUtime=21.34
/proc/23803/stat : 23803 (unclasp) R 23788 23788 32685 0 -1 4202496 69235 0 0 0 2114 20 0 0 20 0 1 0 41421489 233955328 56637 18446744073709551615 4194304 6012874 140733690031712 140733690031032 4548180 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/23803/statm: 57118 56637 230 444 0 56666 0
[pid=23804] ppid=23788 vsize=22464 CPUtime=0.01
/proc/23804/stat : 23804 (parse.py) S 23788 23788 32685 0 -1 4202496 1418 0 0 0 1 0 0 0 20 0 1 0 41421489 23003136 1227 18446744073709551615 4194304 6642060 140737311783360 140737311781640 139992520541984 0 0 16777220 20994 0 0 0 17 0 0 0 2 0 0
/proc/23804/statm: 5616 1227 508 598 0 702 0
Current children cumulated CPU time (s) 37.99
Current children cumulated vsize (KiB) 260148

[startup+39.2003 s]
/proc/loadavg: 1.01 1.02 0.96 2/59 23804
/proc/meminfo: memFree=430452/1022884 swapFree=0/0
[pid=23788] ppid=23787 vsize=9212 CPUtime=16.64
/proc/23788/stat : 23788 (aspuncud-full) S 23787 23788 32685 0 -1 4202496 762 220978 2 6 0 1 1547 116 20 0 1 0 41419797 9433088 364 18446744073709551615 4194304 5129932 140733270719632 140733270717696 140562587407454 0 65536 16781316 1115778811 0 0 0 17 0 0 0 6 0 0
/proc/23788/statm: 2303 364 303 229 0 63 0
[pid=23803] ppid=23788 vsize=228472 CPUtime=22.14
/proc/23803/stat : 23803 (unclasp) R 23788 23788 32685 0 -1 4202496 69235 0 0 0 2194 20 0 0 20 0 1 0 41421489 233955328 56637 18446744073709551615 4194304 6012874 140733690031712 140733690031032 4274832 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/23803/statm: 57118 56637 230 444 0 56666 0
[pid=23804] ppid=23788 vsize=22464 CPUtime=0.01
/proc/23804/stat : 23804 (parse.py) S 23788 23788 32685 0 -1 4202496 1418 0 0 0 1 0 0 0 20 0 1 0 41421489 23003136 1227 18446744073709551615 4194304 6642060 140737311783360 140737311781640 139992520541984 0 0 16777220 20994 0 0 0 17 0 0 0 2 0 0
/proc/23804/statm: 5616 1227 508 598 0 702 0
Current children cumulated CPU time (s) 38.79
Current children cumulated vsize (KiB) 260148

[startup+40.0003 s]
/proc/loadavg: 1.01 1.02 0.96 2/59 23804
/proc/meminfo: memFree=430452/1022884 swapFree=0/0
[pid=23788] ppid=23787 vsize=9212 CPUtime=16.64
/proc/23788/stat : 23788 (aspuncud-full) S 23787 23788 32685 0 -1 4202496 762 220978 2 6 0 1 1547 116 20 0 1 0 41419797 9433088 364 18446744073709551615 4194304 5129932 140733270719632 140733270717696 140562587407454 0 65536 16781316 1115778811 0 0 0 17 0 0 0 6 0 0
/proc/23788/statm: 2303 364 303 229 0 63 0
[pid=23803] ppid=23788 vsize=228472 CPUtime=22.93
/proc/23803/stat : 23803 (unclasp) R 23788 23788 32685 0 -1 4202496 69235 0 0 0 2273 20 0 0 20 0 1 0 41421489 233955328 56637 18446744073709551615 4194304 6012874 140733690031712 140733690031032 4274978 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/23803/statm: 57118 56637 230 444 0 56666 0
[pid=23804] ppid=23788 vsize=22464 CPUtime=0.01
/proc/23804/stat : 23804 (parse.py) S 23788 23788 32685 0 -1 4202496 1418 0 0 0 1 0 0 0 20 0 1 0 41421489 23003136 1227 18446744073709551615 4194304 6642060 140737311783360 140737311781640 139992520541984 0 0 16777220 20994 0 0 0 17 0 0 0 2 0 0
/proc/23804/statm: 5616 1227 508 598 0 702 0
Current children cumulated CPU time (s) 39.58
Current children cumulated vsize (KiB) 260148

[startup+40.4003 s]
/proc/loadavg: 1.01 1.02 0.96 2/59 23804
/proc/meminfo: memFree=430452/1022884 swapFree=0/0
[pid=23788] ppid=23787 vsize=9212 CPUtime=16.64
/proc/23788/stat : 23788 (aspuncud-full) S 23787 23788 32685 0 -1 4202496 762 220978 2 6 0 1 1547 116 20 0 1 0 41419797 9433088 364 18446744073709551615 4194304 5129932 140733270719632 140733270717696 140562587407454 0 65536 16781316 1115778811 0 0 0 17 0 0 0 6 0 0
/proc/23788/statm: 2303 364 303 229 0 63 0
[pid=23803] ppid=23788 vsize=228472 CPUtime=23.32
/proc/23803/stat : 23803 (unclasp) R 23788 23788 32685 0 -1 4202496 69235 0 0 0 2312 20 0 0 20 0 1 0 41421489 233955328 56637 18446744073709551615 4194304 6012874 140733690031712 140733690031032 4300035 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/23803/statm: 57118 56637 230 444 0 56666 0
[pid=23804] ppid=23788 vsize=22464 CPUtime=0.02
/proc/23804/stat : 23804 (parse.py) S 23788 23788 32685 0 -1 4202496 1418 0 0 0 2 0 0 0 20 0 1 0 41421489 23003136 1227 18446744073709551615 4194304 6642060 140737311783360 140737311781560 139992520541984 0 0 16777220 20994 0 0 0 17 0 0 0 2 0 0
/proc/23804/statm: 5616 1227 508 598 0 702 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (KiB) 260148

[startup+40.5004 s]
/proc/loadavg: 1.01 1.02 0.96 2/59 23804
/proc/meminfo: memFree=430452/1022884 swapFree=0/0
[pid=23788] ppid=23787 vsize=9212 CPUtime=16.64
/proc/23788/stat : 23788 (aspuncud-full) S 23787 23788 32685 0 -1 4202496 762 220978 2 6 0 1 1547 116 20 0 1 0 41419797 9433088 364 18446744073709551615 4194304 5129932 140733270719632 140733270717696 140562587407454 0 65536 16781316 1115778811 0 0 0 17 0 0 0 6 0 0
/proc/23788/statm: 2303 364 303 229 0 63 0
[pid=23803] ppid=23788 vsize=228472 CPUtime=23.42
/proc/23803/stat : 23803 (unclasp) R 23788 23788 32685 0 -1 4202496 69242 0 0 0 2317 25 0 0 20 0 1 0 41421489 233955328 7492 18446744073709551615 4194304 6012874 140733690031712 140733690031112 5474154 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/23803/statm: 57118 7492 237 444 0 56666 0
[pid=23804] ppid=23788 vsize=22464 CPUtime=0.02
/proc/23804/stat : 23804 (parse.py) S 23788 23788 32685 0 -1 4202496 1418 0 0 0 2 0 0 0 20 0 1 0 41421489 23003136 1227 18446744073709551615 4194304 6642060 140737311783360 140737311781560 139992520541984 0 0 16777220 20994 0 0 0 17 0 0 0 2 0 0
/proc/23804/statm: 5616 1227 508 598 0 702 0
Current children cumulated CPU time (s) 40.08
Current children cumulated vsize (KiB) 260148

Child status: 0
Real time (s): 40.5725
CPU time (s): 40.1185
CPU user time (s): 38.6704
CPU system time (s): 1.44809
CPU usage (%): 98.881
Max. virtual memory (cumulated for all children) (KiB): 784124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.6704
system time used= 1.44809
maximum resident set size= 649496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 292685
page faults= 9
swaps= 0
block input operations= 69064
block output operations= 81840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 176
involuntary context switches= 766

runsolver used 0.072004 second user time and 0.156009 second system time

The end