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/upgrade/difficult/rand794.cudf.log.runsolver /home/competition/aspuncud-full-1.7/aspuncud-full /home/competition/data/upgrade/difficult/rand794.cudf /tmp/misc2012/2012-09-02-22:42/full/aspuncud-full-1.7/trendy-size/upgrade/difficult/rand794.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.10 1.05 1.01 2/59 2659
/proc/meminfo: memFree=665588/1022884 swapFree=0/0
[pid=2659] ppid=2658 vsize=3152 CPUtime=0
/proc/2659/stat : 2659 (runsolver) R 2658 1733 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 119720112 3227648 33 18446744073709551615 134512640 134586868 4291133424 4291131472 4151456816 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/2659/statm: 788 33 0 19 0 73 0
Current StackSize limit: 8192 KiB


[startup+0.111444 s]
/proc/loadavg: 1.10 1.05 1.01 2/59 2659
/proc/meminfo: memFree=665588/1022884 swapFree=0/0
[pid=2659] ppid=2658 vsize=9204 CPUtime=0.02
/proc/2659/stat : 2659 (aspuncud-full) S 2658 2659 1733 0 -1 4202496 597 1949 2 4 0 0 2 0 20 0 1 0 119720112 9424896 359 18446744073709551615 4194304 5129932 140736129898256 140736129895720 140030676264736 0 0 16781316 1115778811 0 0 0 17 0 0 0 4 0 0
/proc/2659/statm: 2301 359 300 229 0 61 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9204

[startup+0.200337 s]
/proc/loadavg: 1.10 1.05 1.01 2/59 2659
/proc/meminfo: memFree=665588/1022884 swapFree=0/0
[pid=2659] ppid=2658 vsize=9212 CPUtime=0.03
/proc/2659/stat : 2659 (aspuncud-full) S 2658 2659 1733 0 -1 4202496 697 2801 2 7 0 0 2 1 20 0 1 0 119720112 9433088 364 18446744073709551615 4194304 5129932 140736129898256 140736129896912 140030676120670 0 65536 16781316 1115778811 0 0 0 17 0 0 0 4 0 0
/proc/2659/statm: 2303 364 303 229 0 63 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9212

[startup+0.300329 s]
/proc/loadavg: 1.10 1.05 1.01 2/59 2659
/proc/meminfo: memFree=665588/1022884 swapFree=0/0
[pid=2659] ppid=2658 vsize=9212 CPUtime=0.03
/proc/2659/stat : 2659 (aspuncud-full) S 2658 2659 1733 0 -1 4202496 697 2801 2 7 0 0 2 1 20 0 1 0 119720112 9433088 364 18446744073709551615 4194304 5129932 140736129898256 140736129896912 140030676120670 0 65536 16781316 1115778811 0 0 0 17 0 0 0 4 0 0
/proc/2659/statm: 2303 364 303 229 0 63 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9212

[startup+0.700288 s]
/proc/loadavg: 1.10 1.05 1.01 2/59 2659
/proc/meminfo: memFree=665588/1022884 swapFree=0/0
[pid=2659] ppid=2658 vsize=9212 CPUtime=0.03
/proc/2659/stat : 2659 (aspuncud-full) S 2658 2659 1733 0 -1 4202496 697 2801 2 7 0 0 2 1 20 0 1 0 119720112 9433088 364 18446744073709551615 4194304 5129932 140736129898256 140736129896912 140030676120670 0 65536 16781316 1115778811 0 0 0 17 0 0 0 4 0 0
/proc/2659/statm: 2303 364 303 229 0 63 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9212

[startup+1.50032 s]
/proc/loadavg: 1.09 1.05 1.01 2/61 2672
/proc/meminfo: memFree=632580/1022884 swapFree=0/0
[pid=2659] ppid=2658 vsize=9212 CPUtime=0.03
/proc/2659/stat : 2659 (aspuncud-full) S 2658 2659 1733 0 -1 4202496 697 2801 2 7 0 0 2 1 20 0 1 0 119720112 9433088 364 18446744073709551615 4194304 5129932 140736129898256 140736129896912 140030676120670 0 65536 16781316 1115778811 0 0 0 17 0 0 0 4 0 0
/proc/2659/statm: 2303 364 303 229 0 63 0
[pid=2672] ppid=2659 vsize=29880 CPUtime=1.3
/proc/2672/stat : 2672 (cudf2lp) R 2659 2659 1733 0 -1 4202496 8803 0 1 0 126 4 0 0 20 0 1 0 119720124 30597120 7069 18446744073709551615 4194304 5690517 140734086327600 140734086325240 4379272 0 0 16781316 0 0 0 0 17 0 0 0 5 0 0
/proc/2672/statm: 7470 7069 159 366 0 7101 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 39092

[startup+3.10038 s]
/proc/loadavg: 1.09 1.05 1.01 2/61 2672
/proc/meminfo: memFree=600836/1022884 swapFree=0/0
[pid=2659] ppid=2658 vsize=9212 CPUtime=0.03
/proc/2659/stat : 2659 (aspuncud-full) S 2658 2659 1733 0 -1 4202496 697 2801 2 7 0 0 2 1 20 0 1 0 119720112 9433088 364 18446744073709551615 4194304 5129932 140736129898256 140736129896912 140030676120670 0 65536 16781316 1115778811 0 0 0 17 0 0 0 4 0 0
/proc/2659/statm: 2303 364 303 229 0 63 0
[pid=2672] ppid=2659 vsize=105948 CPUtime=2.89
/proc/2672/stat : 2672 (cudf2lp) R 2659 2659 1733 0 -1 4202496 26240 0 1 0 278 11 0 0 20 0 1 0 119720124 108490752 22841 18446744073709551615 4194304 5690517 140734086327600 140734086323768 4963885 0 0 16781316 0 0 0 0 17 0 0 0 6 0 0
/proc/2672/statm: 26487 22841 160 366 0 26118 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 115160

[startup+6.30033 s]
/proc/loadavg: 1.09 1.05 1.01 2/61 2673
/proc/meminfo: memFree=598480/1022884 swapFree=0/0
[pid=2659] ppid=2658 vsize=9212 CPUtime=4.62
/proc/2659/stat : 2659 (aspuncud-full) S 2658 2659 1733 0 -1 4202496 724 42124 2 8 0 0 436 26 20 0 1 0 119720112 9433088 364 18446744073709551615 4194304 5129932 140736129898256 140736129896912 140030676120670 0 65536 16781316 1115778811 0 0 0 17 0 0 0 4 0 0
/proc/2659/statm: 2303 364 303 229 0 63 0
[pid=2673] ppid=2659 vsize=41964 CPUtime=1.38
/proc/2673/stat : 2673 (gringo) R 2659 2659 1733 0 -1 4202496 10719 0 1 0 132 6 0 0 20 0 1 0 119720593 42971136 8583 18446744073709551615 4194304 6531320 140735151014368 140735151009768 5512445 0 0 16781316 16386 0 0 0 17 0 0 0 8 0 0
/proc/2673/statm: 10491 8583 259 571 0 9912 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 51176

[startup+12.7003 s]
/proc/loadavg: 1.08 1.05 1.01 2/61 2673
/proc/meminfo: memFree=238012/1022884 swapFree=0/0
[pid=2659] ppid=2658 vsize=9212 CPUtime=4.62
/proc/2659/stat : 2659 (aspuncud-full) S 2658 2659 1733 0 -1 4202496 724 42124 2 8 0 0 436 26 20 0 1 0 119720112 9433088 364 18446744073709551615 4194304 5129932 140736129898256 140736129896912 140030676120670 0 65536 16781316 1115778811 0 0 0 17 0 0 0 4 0 0
/proc/2659/statm: 2303 364 303 229 0 63 0
[pid=2673] ppid=2659 vsize=510884 CPUtime=7.72
/proc/2673/stat : 2673 (gringo) R 2659 2659 1733 0 -1 4202496 121201 0 1 0 730 42 0 0 20 0 1 0 119720593 523145216 104726 18446744073709551615 4194304 6531320 140735151014368 140735151010984 5119294 0 0 16781316 16386 0 0 0 17 0 0 0 8 0 0
/proc/2673/statm: 127721 104726 282 571 0 127142 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 520096

[startup+25.5003 s]
/proc/loadavg: 1.06 1.05 1.01 2/62 2675
/proc/meminfo: memFree=430672/1022884 swapFree=0/0
[pid=2659] ppid=2658 vsize=9212 CPUtime=15.54
/proc/2659/stat : 2659 (aspuncud-full) S 2658 2659 1733 0 -1 4202496 764 221265 2 9 0 0 1450 104 20 0 1 0 119720112 9433088 364 18446744073709551615 4194304 5129932 140736129898256 140736129896320 140030676120670 0 65536 16781316 1115778811 0 0 0 17 0 0 0 4 0 0
/proc/2659/statm: 2303 364 303 229 0 63 0
[pid=2674] ppid=2659 vsize=228832 CPUtime=9.35
/proc/2674/stat : 2674 (unclasp) R 2659 2659 1733 0 -1 4202496 69338 0 0 0 918 17 0 0 20 0 1 0 119721717 234323968 56733 18446744073709551615 4194304 6012874 140737454555376 140737454554696 4506614 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/2674/statm: 57208 56733 230 444 0 56756 0
[pid=2675] ppid=2659 vsize=22464 CPUtime=0.01
/proc/2675/stat : 2675 (parse.py) S 2659 2659 1733 0 -1 4202496 1419 0 0 0 1 0 0 0 20 0 1 0 119721717 23003136 1227 18446744073709551615 4194304 6642060 140736430417936 140736430416216 140669862336288 0 0 16777220 20994 0 0 0 17 0 0 0 3 0 0
/proc/2675/statm: 5616 1227 508 598 0 702 0
Current children cumulated CPU time (s) 24.9
Current children cumulated vsize (KiB) 260508

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

[startup+25.6004 s]
/proc/loadavg: 1.06 1.05 1.01 2/62 2675
/proc/meminfo: memFree=430672/1022884 swapFree=0/0
[pid=2659] ppid=2658 vsize=9212 CPUtime=15.54
/proc/2659/stat : 2659 (aspuncud-full) S 2658 2659 1733 0 -1 4202496 764 221265 2 9 0 0 1450 104 20 0 1 0 119720112 9433088 364 18446744073709551615 4194304 5129932 140736129898256 140736129896320 140030676120670 0 65536 16781316 1115778811 0 0 0 17 0 0 0 4 0 0
/proc/2659/statm: 2303 364 303 229 0 63 0
[pid=2674] ppid=2659 vsize=228832 CPUtime=9.45
/proc/2674/stat : 2674 (unclasp) R 2659 2659 1733 0 -1 4202496 69338 0 0 0 928 17 0 0 20 0 1 0 119721717 234323968 56733 18446744073709551615 4194304 6012874 140737454555376 140737454554696 4548170 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/2674/statm: 57208 56733 230 444 0 56756 0
[pid=2675] ppid=2659 vsize=22464 CPUtime=0.01
/proc/2675/stat : 2675 (parse.py) S 2659 2659 1733 0 -1 4202496 1419 0 0 0 1 0 0 0 20 0 1 0 119721717 23003136 1227 18446744073709551615 4194304 6642060 140736430417936 140736430416216 140669862336288 0 0 16777220 20994 0 0 0 17 0 0 0 3 0 0
/proc/2675/statm: 5616 1227 508 598 0 702 0
Current children cumulated CPU time (s) 25
Current children cumulated vsize (KiB) 260508

[startup+32.0047 s]
/proc/loadavg: 1.05 1.05 1.01 2/62 2675
/proc/meminfo: memFree=430672/1022884 swapFree=0/0
[pid=2659] ppid=2658 vsize=9212 CPUtime=15.54
/proc/2659/stat : 2659 (aspuncud-full) S 2658 2659 1733 0 -1 4202496 764 221265 2 9 0 0 1450 104 20 0 1 0 119720112 9433088 364 18446744073709551615 4194304 5129932 140736129898256 140736129896320 140030676120670 0 65536 16781316 1115778811 0 0 0 17 0 0 0 4 0 0
/proc/2659/statm: 2303 364 303 229 0 63 0
[pid=2674] ppid=2659 vsize=228832 CPUtime=15.8
/proc/2674/stat : 2674 (unclasp) R 2659 2659 1733 0 -1 4202496 69338 0 0 0 1563 17 0 0 20 0 1 0 119721717 234323968 56733 18446744073709551615 4194304 6012874 140737454555376 140737454554696 4274958 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/2674/statm: 57208 56733 230 444 0 56756 0
[pid=2675] ppid=2659 vsize=22464 CPUtime=0.01
/proc/2675/stat : 2675 (parse.py) S 2659 2659 1733 0 -1 4202496 1419 0 0 0 1 0 0 0 20 0 1 0 119721717 23003136 1227 18446744073709551615 4194304 6642060 140736430417936 140736430416216 140669862336288 0 0 16777220 20994 0 0 0 17 0 0 0 3 0 0
/proc/2675/statm: 5616 1227 508 598 0 702 0
Current children cumulated CPU time (s) 31.35
Current children cumulated vsize (KiB) 260508

[startup+35.2004 s]
/proc/loadavg: 1.05 1.05 1.01 2/62 2675
/proc/meminfo: memFree=430672/1022884 swapFree=0/0
[pid=2659] ppid=2658 vsize=9212 CPUtime=15.54
/proc/2659/stat : 2659 (aspuncud-full) S 2658 2659 1733 0 -1 4202496 764 221265 2 9 0 0 1450 104 20 0 1 0 119720112 9433088 364 18446744073709551615 4194304 5129932 140736129898256 140736129896320 140030676120670 0 65536 16781316 1115778811 0 0 0 17 0 0 0 4 0 0
/proc/2659/statm: 2303 364 303 229 0 63 0
[pid=2674] ppid=2659 vsize=228832 CPUtime=18.97
/proc/2674/stat : 2674 (unclasp) R 2659 2659 1733 0 -1 4202496 69338 0 0 0 1880 17 0 0 20 0 1 0 119721717 234323968 56733 18446744073709551615 4194304 6012874 140737454555376 140737454554696 4548102 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/2674/statm: 57208 56733 230 444 0 56756 0
[pid=2675] ppid=2659 vsize=22464 CPUtime=0.01
/proc/2675/stat : 2675 (parse.py) S 2659 2659 1733 0 -1 4202496 1419 0 0 0 1 0 0 0 20 0 1 0 119721717 23003136 1227 18446744073709551615 4194304 6642060 140736430417936 140736430416216 140669862336288 0 0 16777220 20994 0 0 0 17 0 0 0 3 0 0
/proc/2675/statm: 5616 1227 508 598 0 702 0
Current children cumulated CPU time (s) 34.52
Current children cumulated vsize (KiB) 260508

[startup+36.8004 s]
/proc/loadavg: 1.05 1.05 1.01 2/62 2675
/proc/meminfo: memFree=430672/1022884 swapFree=0/0
[pid=2659] ppid=2658 vsize=9212 CPUtime=15.54
/proc/2659/stat : 2659 (aspuncud-full) S 2658 2659 1733 0 -1 4202496 764 221265 2 9 0 0 1450 104 20 0 1 0 119720112 9433088 364 18446744073709551615 4194304 5129932 140736129898256 140736129896320 140030676120670 0 65536 16781316 1115778811 0 0 0 17 0 0 0 4 0 0
/proc/2659/statm: 2303 364 303 229 0 63 0
[pid=2674] ppid=2659 vsize=228832 CPUtime=20.55
/proc/2674/stat : 2674 (unclasp) R 2659 2659 1733 0 -1 4202496 69338 0 0 0 2038 17 0 0 20 0 1 0 119721717 234323968 56733 18446744073709551615 4194304 6012874 140737454555376 140737454554696 4548462 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/2674/statm: 57208 56733 230 444 0 56756 0
[pid=2675] ppid=2659 vsize=22464 CPUtime=0.01
/proc/2675/stat : 2675 (parse.py) S 2659 2659 1733 0 -1 4202496 1419 0 0 0 1 0 0 0 20 0 1 0 119721717 23003136 1227 18446744073709551615 4194304 6642060 140736430417936 140736430416216 140669862336288 0 0 16777220 20994 0 0 0 17 0 0 0 3 0 0
/proc/2675/statm: 5616 1227 508 598 0 702 0
Current children cumulated CPU time (s) 36.1
Current children cumulated vsize (KiB) 260508

[startup+38.4004 s]
/proc/loadavg: 1.05 1.05 1.01 2/62 2675
/proc/meminfo: memFree=430672/1022884 swapFree=0/0
[pid=2659] ppid=2658 vsize=9212 CPUtime=15.54
/proc/2659/stat : 2659 (aspuncud-full) S 2658 2659 1733 0 -1 4202496 764 221265 2 9 0 0 1450 104 20 0 1 0 119720112 9433088 364 18446744073709551615 4194304 5129932 140736129898256 140736129896320 140030676120670 0 65536 16781316 1115778811 0 0 0 17 0 0 0 4 0 0
/proc/2659/statm: 2303 364 303 229 0 63 0
[pid=2674] ppid=2659 vsize=228832 CPUtime=22.13
/proc/2674/stat : 2674 (unclasp) R 2659 2659 1733 0 -1 4202496 69338 0 0 0 2196 17 0 0 20 0 1 0 119721717 234323968 56733 18446744073709551615 4194304 6012874 140737454555376 140737454554696 4548913 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/2674/statm: 57208 56733 230 444 0 56756 0
[pid=2675] ppid=2659 vsize=22464 CPUtime=0.01
/proc/2675/stat : 2675 (parse.py) S 2659 2659 1733 0 -1 4202496 1419 0 0 0 1 0 0 0 20 0 1 0 119721717 23003136 1227 18446744073709551615 4194304 6642060 140736430417936 140736430416216 140669862336288 0 0 16777220 20994 0 0 0 17 0 0 0 3 0 0
/proc/2675/statm: 5616 1227 508 598 0 702 0
Current children cumulated CPU time (s) 37.68
Current children cumulated vsize (KiB) 260508

[startup+38.8004 s]
/proc/loadavg: 1.05 1.05 1.01 2/62 2675
/proc/meminfo: memFree=430672/1022884 swapFree=0/0
[pid=2659] ppid=2658 vsize=9212 CPUtime=15.54
/proc/2659/stat : 2659 (aspuncud-full) S 2658 2659 1733 0 -1 4202496 764 221265 2 9 0 0 1450 104 20 0 1 0 119720112 9433088 364 18446744073709551615 4194304 5129932 140736129898256 140736129896320 140030676120670 0 65536 16781316 1115778811 0 0 0 17 0 0 0 4 0 0
/proc/2659/statm: 2303 364 303 229 0 63 0
[pid=2674] ppid=2659 vsize=228832 CPUtime=22.53
/proc/2674/stat : 2674 (unclasp) R 2659 2659 1733 0 -1 4202496 69338 0 0 0 2236 17 0 0 20 0 1 0 119721717 234323968 56733 18446744073709551615 4194304 6012874 140737454555376 140737454554696 4548102 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/2674/statm: 57208 56733 230 444 0 56756 0
[pid=2675] ppid=2659 vsize=22464 CPUtime=0.01
/proc/2675/stat : 2675 (parse.py) S 2659 2659 1733 0 -1 4202496 1419 0 0 0 1 0 0 0 20 0 1 0 119721717 23003136 1227 18446744073709551615 4194304 6642060 140736430417936 140736430416216 140669862336288 0 0 16777220 20994 0 0 0 17 0 0 0 3 0 0
/proc/2675/statm: 5616 1227 508 598 0 702 0
Current children cumulated CPU time (s) 38.08
Current children cumulated vsize (KiB) 260508

[startup+39.2004 s]
/proc/loadavg: 1.05 1.05 1.01 2/62 2675
/proc/meminfo: memFree=430672/1022884 swapFree=0/0
[pid=2659] ppid=2658 vsize=9212 CPUtime=15.54
/proc/2659/stat : 2659 (aspuncud-full) S 2658 2659 1733 0 -1 4202496 764 221265 2 9 0 0 1450 104 20 0 1 0 119720112 9433088 364 18446744073709551615 4194304 5129932 140736129898256 140736129896320 140030676120670 0 65536 16781316 1115778811 0 0 0 17 0 0 0 4 0 0
/proc/2659/statm: 2303 364 303 229 0 63 0
[pid=2674] ppid=2659 vsize=228832 CPUtime=22.91
/proc/2674/stat : 2674 (unclasp) R 2659 2659 1733 0 -1 4202496 69338 0 0 0 2274 17 0 0 20 0 1 0 119721717 234323968 56733 18446744073709551615 4194304 6012874 140737454555376 140737454554696 4311293 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/2674/statm: 57208 56733 230 444 0 56756 0
[pid=2675] ppid=2659 vsize=22464 CPUtime=0.01
/proc/2675/stat : 2675 (parse.py) S 2659 2659 1733 0 -1 4202496 1419 0 0 0 1 0 0 0 20 0 1 0 119721717 23003136 1227 18446744073709551615 4194304 6642060 140736430417936 140736430416136 140669862336288 0 0 16777220 20994 0 0 0 17 0 0 0 3 0 0
/proc/2675/statm: 5616 1227 508 598 0 702 0
Current children cumulated CPU time (s) 38.46
Current children cumulated vsize (KiB) 260508

[startup+39.3024 s]
/proc/loadavg: 1.05 1.05 1.01 2/62 2675
/proc/meminfo: memFree=430672/1022884 swapFree=0/0
[pid=2659] ppid=2658 vsize=9212 CPUtime=15.54
/proc/2659/stat : 2659 (aspuncud-full) S 2658 2659 1733 0 -1 4202496 764 221265 2 9 0 0 1450 104 20 0 1 0 119720112 9433088 364 18446744073709551615 4194304 5129932 140736129898256 140736129896320 140030676120670 0 65536 16781316 1115778811 0 0 0 17 0 0 0 4 0 0
/proc/2659/statm: 2303 364 303 229 0 63 0
[pid=2674] ppid=2659 vsize=0 CPUtime=23.01
/proc/2674/stat : 2674 (unclasp) R 2659 2659 1733 0 -1 4202500 69347 0 0 0 2275 26 0 0 20 0 1 0 119721717 0 0 18446744073709551615 0 0 0 0 0 0 0 16781316 16386 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/2674/statm: 0 0 0 0 0 0 0
[pid=2675] ppid=2659 vsize=22468 CPUtime=0.01
/proc/2675/stat : 2675 (parse.py) R 2659 2659 1733 0 -1 4202496 1430 0 0 0 1 0 0 0 20 0 1 0 119721717 23007232 1238 18446744073709551615 4194304 6642060 140736430417936 140736430416056 4634864 0 0 16777220 20994 0 0 0 17 0 0 0 3 0 0
/proc/2675/statm: 5617 1238 518 598 0 703 0
Current children cumulated CPU time (s) 38.56
Current children cumulated vsize (KiB) 31680

Child status: 0
Real time (s): 39.3205
CPU time (s): 38.6144
CPU user time (s): 37.2823
CPU system time (s): 1.33208
CPU usage (%): 98.2042
Max. virtual memory (cumulated for all children) (KiB): 784552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.2823
system time used= 1.33208
maximum resident set size= 650648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293078
page faults= 11
swaps= 0
block input operations= 69248
block output operations= 81968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 185
involuntary context switches= 4758

runsolver used 0.060003 second user time and 0.184011 second system time

The end