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: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108241238/packup2mp4tr-0.6/rand933.cudf.dudf-random.log.runsolver ./packup2mp4tr-0.6 /home/misc2010/data/2011/dudf-random//rand933.cudf /home/misc2010/tmp/201108241238/packup2mp4tr-0.6/rand933.cudf.dudf-random.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 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.37 1.25 1.14 5/34 25644
/proc/meminfo: memFree=362764/1048576 swapFree=0/0
[pid=25643] ppid=25642 vsize=2572 CPUtime=0
/proc/25643/stat : 25643 (packup2mp4tr-0.) S 25642 25643 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 25 0 1 0 4762547 2633728 275 1283457024 134512640 135304128 4287906672 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/25643/statm: 643 275 233 194 0 30 0
[pid=25644] ppid=25643 vsize=3980 CPUtime=0.01
/proc/25644/stat : 25644 (packup) R 25643 25643 1511 34817 1511 4202496 490 0 0 0 1 0 0 0 25 0 1 0 4762547 4075520 418 1283457024 134512640 134752139 4289987904 18446744073709551615 4157250718 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/25644/statm: 995 418 286 59 0 159 0

[startup+0.173073 s]
/proc/loadavg: 1.37 1.25 1.14 5/34 25644
/proc/meminfo: memFree=362764/1048576 swapFree=0/0
[pid=25643] ppid=25642 vsize=2572 CPUtime=0
/proc/25643/stat : 25643 (packup2mp4tr-0.) S 25642 25643 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 25 0 1 0 4762547 2633728 275 1283457024 134512640 135304128 4287906672 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/25643/statm: 643 275 233 194 0 30 0
[pid=25644] ppid=25643 vsize=9168 CPUtime=0.17
/proc/25644/stat : 25644 (packup) R 25643 25643 1511 34817 1511 4202496 1774 0 0 0 17 0 0 0 25 0 1 0 4762547 9388032 1702 1283457024 134512640 134752139 4289987904 18446744073709551615 134626961 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/25644/statm: 2292 1702 286 59 0 1456 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 11740

[startup+0.203091 s]
/proc/loadavg: 1.37 1.25 1.14 5/34 25644
/proc/meminfo: memFree=362764/1048576 swapFree=0/0
[pid=25643] ppid=25642 vsize=2572 CPUtime=0
/proc/25643/stat : 25643 (packup2mp4tr-0.) S 25642 25643 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 25 0 1 0 4762547 2633728 275 1283457024 134512640 135304128 4287906672 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/25643/statm: 643 275 233 194 0 30 0
[pid=25644] ppid=25643 vsize=10092 CPUtime=0.2
/proc/25644/stat : 25644 (packup) R 25643 25643 1511 34817 1511 4202496 2003 0 0 0 20 0 0 0 25 0 1 0 4762547 10334208 1931 1283457024 134512640 134752139 4289987904 18446744073709551615 134641906 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/25644/statm: 2523 1931 286 59 0 1687 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 12664

[startup+0.313109 s]
/proc/loadavg: 1.37 1.25 1.14 5/34 25644
/proc/meminfo: memFree=362764/1048576 swapFree=0/0
[pid=25643] ppid=25642 vsize=2572 CPUtime=0
/proc/25643/stat : 25643 (packup2mp4tr-0.) S 25642 25643 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 25 0 1 0 4762547 2633728 275 1283457024 134512640 135304128 4287906672 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/25643/statm: 643 275 233 194 0 30 0
[pid=25644] ppid=25643 vsize=13112 CPUtime=0.3
/proc/25644/stat : 25644 (packup) R 25643 25643 1511 34817 1511 4202496 2754 0 0 0 30 0 0 0 25 0 1 0 4762547 13426688 2682 1283457024 134512640 134752139 4289987904 18446744073709551615 134681560 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/25644/statm: 3278 2682 286 59 0 2442 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 15684

[startup+0.713194 s]
/proc/loadavg: 1.37 1.25 1.14 5/34 25644
/proc/meminfo: memFree=362764/1048576 swapFree=0/0
[pid=25643] ppid=25642 vsize=2572 CPUtime=0
/proc/25643/stat : 25643 (packup2mp4tr-0.) S 25642 25643 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 25 0 1 0 4762547 2633728 275 1283457024 134512640 135304128 4287906672 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/25643/statm: 643 275 233 194 0 30 0
[pid=25644] ppid=25643 vsize=22812 CPUtime=0.7
/proc/25644/stat : 25644 (packup) R 25643 25643 1511 34817 1511 4202496 5182 0 0 0 68 2 0 0 25 0 1 0 4762547 23359488 5110 1283457024 134512640 134752139 4289987904 18446744073709551615 4294960130 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/25644/statm: 5703 5110 286 59 0 4867 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 25384

[startup+1.51337 s]
/proc/loadavg: 1.37 1.25 1.14 2/35 25645
/proc/meminfo: memFree=334728/1048576 swapFree=0/0
[pid=25643] ppid=25642 vsize=2572 CPUtime=0
/proc/25643/stat : 25643 (packup2mp4tr-0.) S 25642 25643 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 25 0 1 0 4762547 2633728 275 1283457024 134512640 135304128 4287906672 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/25643/statm: 643 275 233 194 0 30 0
[pid=25644] ppid=25643 vsize=46688 CPUtime=1.5
/proc/25644/stat : 25644 (packup) R 25643 25643 1511 34817 1511 4202496 11242 0 0 0 141 9 0 0 25 0 1 0 4762547 47808512 11121 1283457024 134512640 134752139 4289987904 18446744073709551615 134646096 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/25644/statm: 11672 11121 317 59 0 10836 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 49260

[startup+3.11361 s]
/proc/loadavg: 1.37 1.25 1.14 2/37 25647
/proc/meminfo: memFree=304688/1048576 swapFree=0/0
[pid=25643] ppid=25642 vsize=2572 CPUtime=0
/proc/25643/stat : 25643 (packup2mp4tr-0.) S 25642 25643 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 25 0 1 0 4762547 2633728 275 1283457024 134512640 135304128 4287906672 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/25643/statm: 643 275 233 194 0 30 0
[pid=25644] ppid=25643 vsize=53432 CPUtime=1.92
/proc/25644/stat : 25644 (packup) S 25643 25643 1511 34817 1511 4202496 12929 0 0 0 162 30 0 0 25 0 1 0 4762547 54714368 12582 1283457024 134512640 134752139 4289987904 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/25644/statm: 13358 12582 325 59 0 12522 0
[pid=25646] ppid=25644 vsize=1668 CPUtime=0
/proc/25646/stat : 25646 (sh) S 25644 25643 1511 34817 1511 4202496 145 0 0 0 0 0 0 0 25 0 1 0 4762740 1708032 123 1283457024 134512640 134593992 4290694800 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/25646/statm: 417 123 108 20 0 44 0
[pid=25647] ppid=25646 vsize=31184 CPUtime=1.17
/proc/25647/stat : 25647 (minisatp_32) R 25646 25643 1511 34817 1511 4202496 7089 0 0 0 115 2 0 0 25 0 1 0 4762741 31932416 6451 1283457024 134512640 135413687 4291217200 18446744073709551615 134988446 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/25647/statm: 7796 6451 83 220 0 7574 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 88856

[startup+6.305 s]
/proc/loadavg: 1.34 1.24 1.14 2/37 25649
/proc/meminfo: memFree=307168/1048576 swapFree=0/0
[pid=25643] ppid=25642 vsize=2572 CPUtime=0
/proc/25643/stat : 25643 (packup2mp4tr-0.) S 25642 25643 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 25 0 1 0 4762547 2633728 275 1283457024 134512640 135304128 4287906672 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/25643/statm: 643 275 233 194 0 30 0
[pid=25644] ppid=25643 vsize=53436 CPUtime=5.38
/proc/25644/stat : 25644 (packup) S 25643 25643 1511 34817 1511 4202496 13034 26270 0 0 178 50 288 22 18 0 1 0 4762547 54718464 12600 1283457024 134512640 134752139 4289987904 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/25644/statm: 13359 12600 333 59 0 12523 0
[pid=25648] ppid=25644 vsize=1668 CPUtime=0
/proc/25648/stat : 25648 (sh) S 25644 25643 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 4763085 1708032 123 1283457024 134512640 134593992 4294931104 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/25648/statm: 417 123 108 20 0 44 0
[pid=25649] ppid=25648 vsize=25176 CPUtime=0.91
/proc/25649/stat : 25649 (minisatp_32) R 25648 25643 1511 34817 1511 4202496 5602 0 0 0 90 1 0 0 23 0 1 0 4763086 25780224 4942 1283457024 134512640 135413687 4292235296 18446744073709551615 134571260 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/25649/statm: 6294 4942 77 220 0 6072 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82852

[startup+12.7071 s]
/proc/loadavg: 1.31 1.24 1.14 2/37 25651
/proc/meminfo: memFree=246540/1048576 swapFree=0/0
[pid=25643] ppid=25642 vsize=2572 CPUtime=0
/proc/25643/stat : 25643 (packup2mp4tr-0.) S 25642 25643 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 25 0 1 0 4762547 2633728 275 1283457024 134512640 135304128 4287906672 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/25643/statm: 643 275 233 194 0 30 0
[pid=25644] ppid=25643 vsize=53440 CPUtime=10.04
/proc/25644/stat : 25644 (packup) S 25643 25643 1511 34817 1511 4202496 13123 66491 0 0 196 66 691 51 18 0 1 0 4762547 54722560 12610 1283457024 134512640 134752139 4289987904 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/25644/statm: 13360 12610 333 59 0 12524 0
[pid=25650] ppid=25644 vsize=1676 CPUtime=0
/proc/25650/stat : 25650 (sh) S 25644 25643 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 19 0 1 0 4763554 1716224 124 1283457024 134512640 134593992 4289578368 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/25650/statm: 419 124 108 20 0 46 0
[pid=25651] ppid=25650 vsize=73524 CPUtime=2.51
/proc/25651/stat : 25651 (minisatp_32) R 25650 25643 1511 34817 1511 4202496 23004 0 0 0 232 19 0 0 25 0 1 0 4763555 75288576 16770 1283457024 134512640 135413687 4292139024 18446744073709551615 134686487 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/25651/statm: 18381 16770 94 220 0 18159 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 131212

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

[startup+12.8071 s]
/proc/loadavg: 1.31 1.24 1.14 2/37 25651
/proc/meminfo: memFree=246540/1048576 swapFree=0/0
[pid=25643] ppid=25642 vsize=2572 CPUtime=0
/proc/25643/stat : 25643 (packup2mp4tr-0.) S 25642 25643 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 25 0 1 0 4762547 2633728 275 1283457024 134512640 135304128 4287906672 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/25643/statm: 643 275 233 194 0 30 0
[pid=25644] ppid=25643 vsize=53440 CPUtime=10.04
/proc/25644/stat : 25644 (packup) S 25643 25643 1511 34817 1511 4202496 13123 66491 0 0 196 66 691 51 18 0 1 0 4762547 54722560 12610 1283457024 134512640 134752139 4289987904 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/25644/statm: 13360 12610 333 59 0 12524 0
[pid=25650] ppid=25644 vsize=1676 CPUtime=0
/proc/25650/stat : 25650 (sh) S 25644 25643 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 19 0 1 0 4763554 1716224 124 1283457024 134512640 134593992 4289578368 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/25650/statm: 419 124 108 20 0 46 0
[pid=25651] ppid=25650 vsize=76204 CPUtime=2.61
/proc/25651/stat : 25651 (minisatp_32) R 25650 25643 1511 34817 1511 4202496 23541 0 0 0 242 19 0 0 25 0 1 0 4763555 78032896 17297 1283457024 134512640 135413687 4292139024 18446744073709551615 134683810 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/25651/statm: 19051 17297 94 220 0 18829 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 133892

[startup+16.0082 s]
/proc/loadavg: 1.29 1.23 1.14 2/35 25651
/proc/meminfo: memFree=312028/1048576 swapFree=0/0
[pid=25643] ppid=25642 vsize=2572 CPUtime=0
/proc/25643/stat : 25643 (packup2mp4tr-0.) S 25642 25643 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 25 0 1 0 4762547 2633728 275 1283457024 134512640 135304128 4287906672 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/25643/statm: 643 275 233 194 0 30 0
[pid=25644] ppid=25643 vsize=53444 CPUtime=15.59
/proc/25644/stat : 25644 (packup) S 25643 25643 1511 34817 1511 4202496 13212 110690 0 0 214 84 1181 80 18 0 1 0 4762547 54726656 12611 1283457024 134512640 134752139 4289987904 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/25644/statm: 13361 12611 333 59 0 12525 0
Current children cumulated CPU time (s) 15.59
Current children cumulated vsize (KiB) 56016

[startup+19.2091 s]
/proc/loadavg: 1.26 1.23 1.14 2/37 25653
/proc/meminfo: memFree=203512/1048576 swapFree=0/0
[pid=25643] ppid=25642 vsize=2572 CPUtime=0
/proc/25643/stat : 25643 (packup2mp4tr-0.) S 25642 25643 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 25 0 1 0 4762547 2633728 275 1283457024 134512640 135304128 4287906672 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/25643/statm: 643 275 233 194 0 30 0
[pid=25644] ppid=25643 vsize=53444 CPUtime=15.59
/proc/25644/stat : 25644 (packup) S 25643 25643 1511 34817 1511 4202496 13212 110690 0 0 214 84 1181 80 18 0 1 0 4762547 54726656 12611 1283457024 134512640 134752139 4289987904 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/25644/statm: 13361 12611 333 59 0 12525 0
[pid=25652] ppid=25644 vsize=1672 CPUtime=0
/proc/25652/stat : 25652 (sh) S 25644 25643 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 4764121 1712128 124 1283457024 134512640 134593992 4291612528 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/25652/statm: 418 124 108 20 0 45 0
[pid=25653] ppid=25652 vsize=128192 CPUtime=3.46
/proc/25653/stat : 25653 (minisatp_32) R 25652 25643 1511 34817 1511 4202496 38284 0 0 0 318 28 0 0 25 0 1 0 4764122 131268608 26833 1283457024 134512640 135413687 4288250976 18446744073709551615 134688064 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/25653/statm: 32048 26833 94 220 0 31826 0
Current children cumulated CPU time (s) 19.05
Current children cumulated vsize (KiB) 185880

[startup+20.0094 s]
/proc/loadavg: 1.26 1.23 1.14 2/37 25653
/proc/meminfo: memFree=201776/1048576 swapFree=0/0
[pid=25643] ppid=25642 vsize=2572 CPUtime=0
/proc/25643/stat : 25643 (packup2mp4tr-0.) S 25642 25643 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 25 0 1 0 4762547 2633728 275 1283457024 134512640 135304128 4287906672 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/25643/statm: 643 275 233 194 0 30 0
[pid=25644] ppid=25643 vsize=53444 CPUtime=15.59
/proc/25644/stat : 25644 (packup) S 25643 25643 1511 34817 1511 4202496 13212 110690 0 0 214 84 1181 80 18 0 1 0 4762547 54726656 12611 1283457024 134512640 134752139 4289987904 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/25644/statm: 13361 12611 333 59 0 12525 0
[pid=25652] ppid=25644 vsize=1672 CPUtime=0
/proc/25652/stat : 25652 (sh) S 25644 25643 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 4764121 1712128 124 1283457024 134512640 134593992 4291612528 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/25652/statm: 418 124 108 20 0 45 0
[pid=25653] ppid=25652 vsize=119572 CPUtime=4.27
/proc/25653/stat : 25653 (minisatp_32) R 25652 25643 1511 34817 1511 4202496 41312 0 0 0 398 29 0 0 25 0 1 0 4764122 122441728 26437 1283457024 134512640 135413687 4288250976 18446744073709551615 134689679 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/25653/statm: 29893 26437 94 220 0 29671 0
Current children cumulated CPU time (s) 19.86
Current children cumulated vsize (KiB) 177260

[startup+20.8097 s]
/proc/loadavg: 1.26 1.23 1.14 2/37 25653
/proc/meminfo: memFree=201776/1048576 swapFree=0/0
[pid=25643] ppid=25642 vsize=2572 CPUtime=0
/proc/25643/stat : 25643 (packup2mp4tr-0.) S 25642 25643 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 25 0 1 0 4762547 2633728 275 1283457024 134512640 135304128 4287906672 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/25643/statm: 643 275 233 194 0 30 0
[pid=25644] ppid=25643 vsize=53444 CPUtime=15.59
/proc/25644/stat : 25644 (packup) S 25643 25643 1511 34817 1511 4202496 13212 110690 0 0 214 84 1181 80 18 0 1 0 4762547 54726656 12611 1283457024 134512640 134752139 4289987904 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/25644/statm: 13361 12611 333 59 0 12525 0
[pid=25652] ppid=25644 vsize=1672 CPUtime=0
/proc/25652/stat : 25652 (sh) S 25644 25643 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 4764121 1712128 124 1283457024 134512640 134593992 4291612528 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/25652/statm: 418 124 108 20 0 45 0
[pid=25653] ppid=25652 vsize=139976 CPUtime=5.07
/proc/25653/stat : 25653 (minisatp_32) R 25652 25643 1511 34817 1511 4202496 47782 0 0 0 477 30 0 0 25 0 1 0 4764122 143335424 31562 1283457024 134512640 135413687 4288250976 18446744073709551615 134657085 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/25653/statm: 34994 31562 107 220 0 34772 0
Current children cumulated CPU time (s) 20.66
Current children cumulated vsize (KiB) 197664

[startup+21.2099 s]
/proc/loadavg: 1.26 1.23 1.14 2/37 25653
/proc/meminfo: memFree=188136/1048576 swapFree=0/0
[pid=25643] ppid=25642 vsize=2572 CPUtime=0
/proc/25643/stat : 25643 (packup2mp4tr-0.) S 25642 25643 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 25 0 1 0 4762547 2633728 275 1283457024 134512640 135304128 4287906672 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/25643/statm: 643 275 233 194 0 30 0
[pid=25644] ppid=25643 vsize=53448 CPUtime=21.06
/proc/25644/stat : 25644 (packup) R 25643 25643 1511 34817 1511 4202496 16121 159003 0 0 217 88 1688 113 18 0 1 0 4762547 54730752 12625 1283457024 134512640 134752139 4289987904 18446744073709551615 134525596 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/25644/statm: 13362 12625 346 59 0 12526 0
Current children cumulated CPU time (s) 21.06
Current children cumulated vsize (KiB) 56020

Child status: 0
Real time (s): 21.3097
CPU time (s): 21.1693
CPU user time (s): 19.1172
CPU system time (s): 2.05213
CPU usage (%): 99.3411
Max. virtual memory (cumulated for all children) (KiB): 202560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.1172
system time used= 2.05213
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184191
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 325

runsolver used 0 second user time and 0.008 second system time

The end