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/rand662.cudf.dudf-random.log.runsolver ./packup2mp4tr-0.6 /home/misc2010/data/2011/dudf-random//rand662.cudf /home/misc2010/tmp/201108241238/packup2mp4tr-0.6/rand662.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.19 1.26 1.13 4/34 22297
/proc/meminfo: memFree=328564/1048576 swapFree=0/0
[pid=22296] ppid=22295 vsize=2568 CPUtime=0
/proc/22296/stat : 22296 (packup2mp4tr-0.) S 22295 22296 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 18 0 1 0 4642709 2629632 274 1283457024 134512640 135304128 4289129632 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22296/statm: 642 274 233 194 0 29 0
[pid=22297] ppid=22296 vsize=3420 CPUtime=0
/proc/22297/stat : 22297 (packup) R 22296 22296 1511 34817 1511 4202496 264 0 0 0 0 0 0 0 25 0 1 0 4642709 3502080 193 1283457024 134512640 134752139 4287091312 18446744073709551615 4157643808 0 0 0 0 0 0 0 17 0 0 0 0
/proc/22297/statm: 855 193 164 59 0 19 0

[startup+0.182946 s]
/proc/loadavg: 1.19 1.26 1.13 4/34 22297
/proc/meminfo: memFree=328564/1048576 swapFree=0/0
[pid=22296] ppid=22295 vsize=2568 CPUtime=0
/proc/22296/stat : 22296 (packup2mp4tr-0.) S 22295 22296 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 18 0 1 0 4642709 2629632 274 1283457024 134512640 135304128 4289129632 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22296/statm: 642 274 233 194 0 29 0
[pid=22297] ppid=22296 vsize=9296 CPUtime=0.18
/proc/22297/stat : 22297 (packup) R 22296 22296 1511 34817 1511 4202496 1829 0 0 0 18 0 0 0 25 0 1 0 4642709 9519104 1758 1283457024 134512640 134752139 4287091312 18446744073709551615 4157946100 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/22297/statm: 2324 1758 286 59 0 1488 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 11864

[startup+0.212952 s]
/proc/loadavg: 1.19 1.26 1.13 4/34 22297
/proc/meminfo: memFree=328564/1048576 swapFree=0/0
[pid=22296] ppid=22295 vsize=2568 CPUtime=0
/proc/22296/stat : 22296 (packup2mp4tr-0.) S 22295 22296 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 18 0 1 0 4642709 2629632 274 1283457024 134512640 135304128 4289129632 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22296/statm: 642 274 233 194 0 29 0
[pid=22297] ppid=22296 vsize=10220 CPUtime=0.21
/proc/22297/stat : 22297 (packup) R 22296 22296 1511 34817 1511 4202496 2039 0 0 0 20 1 0 0 25 0 1 0 4642709 10465280 1968 1283457024 134512640 134752139 4287091312 18446744073709551615 4157949743 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/22297/statm: 2555 1968 286 59 0 1719 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 12788

[startup+0.302971 s]
/proc/loadavg: 1.19 1.26 1.13 4/34 22297
/proc/meminfo: memFree=328564/1048576 swapFree=0/0
[pid=22296] ppid=22295 vsize=2568 CPUtime=0
/proc/22296/stat : 22296 (packup2mp4tr-0.) S 22295 22296 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 18 0 1 0 4642709 2629632 274 1283457024 134512640 135304128 4289129632 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22296/statm: 642 274 233 194 0 29 0
[pid=22297] ppid=22296 vsize=12712 CPUtime=0.3
/proc/22297/stat : 22297 (packup) R 22296 22296 1511 34817 1511 4202496 2656 0 0 0 29 1 0 0 25 0 1 0 4642709 13017088 2585 1283457024 134512640 134752139 4287091312 18446744073709551615 4157979421 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/22297/statm: 3178 2585 286 59 0 2342 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 15280

[startup+0.703071 s]
/proc/loadavg: 1.19 1.26 1.13 4/34 22297
/proc/meminfo: memFree=328564/1048576 swapFree=0/0
[pid=22296] ppid=22295 vsize=2568 CPUtime=0
/proc/22296/stat : 22296 (packup2mp4tr-0.) S 22295 22296 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 18 0 1 0 4642709 2629632 274 1283457024 134512640 135304128 4289129632 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22296/statm: 642 274 233 194 0 29 0
[pid=22297] ppid=22296 vsize=22544 CPUtime=0.7
/proc/22297/stat : 22297 (packup) R 22296 22296 1511 34817 1511 4202496 5112 0 0 0 67 3 0 0 25 0 1 0 4642709 23085056 5041 1283457024 134512640 134752139 4287091312 18446744073709551615 134681685 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/22297/statm: 5636 5041 286 59 0 4800 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 25112

[startup+1.50324 s]
/proc/loadavg: 1.17 1.25 1.13 2/35 22298
/proc/meminfo: memFree=300900/1048576 swapFree=0/0
[pid=22296] ppid=22295 vsize=2568 CPUtime=0
/proc/22296/stat : 22296 (packup2mp4tr-0.) S 22295 22296 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 18 0 1 0 4642709 2629632 274 1283457024 134512640 135304128 4289129632 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22296/statm: 642 274 233 194 0 29 0
[pid=22297] ppid=22296 vsize=45808 CPUtime=1.5
/proc/22297/stat : 22297 (packup) R 22296 22296 1511 34817 1511 4202496 11028 0 0 0 145 5 0 0 25 0 1 0 4642709 46907392 10908 1283457024 134512640 134752139 4287091312 18446744073709551615 134667828 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/22297/statm: 11452 10908 309 59 0 10616 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 48376

[startup+3.10364 s]
/proc/loadavg: 1.17 1.25 1.13 2/37 22300
/proc/meminfo: memFree=270736/1048576 swapFree=0/0
[pid=22296] ppid=22295 vsize=2568 CPUtime=0
/proc/22296/stat : 22296 (packup2mp4tr-0.) S 22295 22296 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 18 0 1 0 4642709 2629632 274 1283457024 134512640 135304128 4289129632 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22296/statm: 642 274 233 194 0 29 0
[pid=22297] ppid=22296 vsize=53272 CPUtime=1.93
/proc/22297/stat : 22297 (packup) S 22296 22296 1511 34817 1511 4202496 12918 0 0 0 168 25 0 0 25 0 1 0 4642709 54550528 12573 1283457024 134512640 134752139 4287091312 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22297/statm: 13318 12573 325 59 0 12482 0
[pid=22299] ppid=22297 vsize=1672 CPUtime=0.01
/proc/22299/stat : 22299 (sh) S 22297 22296 1511 34817 1511 4202496 146 0 0 0 0 1 0 0 25 0 1 0 4642902 1712128 123 1283457024 134512640 134593992 4294692160 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22299/statm: 418 123 108 20 0 45 0
[pid=22300] ppid=22299 vsize=29300 CPUtime=1.14
/proc/22300/stat : 22300 (minisatp_32) R 22299 22296 1511 34817 1511 4202496 6633 0 0 0 114 0 0 0 25 0 1 0 4642904 30003200 5981 1283457024 134512640 135413687 4286794480 18446744073709551615 134753053 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/22300/statm: 7325 5981 77 220 0 7103 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 86812

[startup+6.3045 s]
/proc/loadavg: 1.17 1.25 1.13 2/37 22302
/proc/meminfo: memFree=271364/1048576 swapFree=0/0
[pid=22296] ppid=22295 vsize=2568 CPUtime=0
/proc/22296/stat : 22296 (packup2mp4tr-0.) S 22295 22296 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 18 0 1 0 4642709 2629632 274 1283457024 134512640 135304128 4289129632 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22296/statm: 642 274 233 194 0 29 0
[pid=22297] ppid=22296 vsize=53276 CPUtime=5.29
/proc/22297/stat : 22297 (packup) S 22296 22296 1511 34817 1511 4202496 13021 26006 0 0 182 46 271 30 18 0 1 0 4642709 54554624 12590 1283457024 134512640 134752139 4287091312 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22297/statm: 13319 12590 333 59 0 12483 0
[pid=22301] ppid=22297 vsize=1672 CPUtime=0
/proc/22301/stat : 22301 (sh) S 22297 22296 1511 34817 1511 4202496 148 0 0 0 0 0 0 0 18 0 1 0 4643239 1712128 124 1283457024 134512640 134593992 4288812224 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22301/statm: 418 124 108 20 0 45 0
[pid=22302] ppid=22301 vsize=26576 CPUtime=0.99
/proc/22302/stat : 22302 (minisatp_32) R 22301 22296 1511 34817 1511 4202496 5938 0 0 0 96 3 0 0 25 0 1 0 4643240 27213824 5297 1283457024 134512640 135413687 4292798640 18446744073709551615 134753050 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/22302/statm: 6644 5297 77 220 0 6422 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84092

[startup+12.7063 s]
/proc/loadavg: 1.14 1.25 1.13 2/37 22304
/proc/meminfo: memFree=209736/1048576 swapFree=0/0
[pid=22296] ppid=22295 vsize=2568 CPUtime=0
/proc/22296/stat : 22296 (packup2mp4tr-0.) S 22295 22296 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 18 0 1 0 4642709 2629632 274 1283457024 134512640 135304128 4289129632 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22296/statm: 642 274 233 194 0 29 0
[pid=22297] ppid=22296 vsize=53280 CPUtime=9.93
/proc/22297/stat : 22297 (packup) S 22296 22296 1511 34817 1511 4202496 13113 66181 0 0 197 66 672 58 18 0 1 0 4642709 54558720 12601 1283457024 134512640 134752139 4287091312 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22297/statm: 13320 12601 333 59 0 12484 0
[pid=22303] ppid=22297 vsize=1672 CPUtime=0
/proc/22303/stat : 22303 (sh) S 22297 22296 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 4643704 1712128 123 1283457024 134512640 134593992 4288408672 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22303/statm: 418 123 108 20 0 45 0
[pid=22304] ppid=22303 vsize=71752 CPUtime=2.74
/proc/22304/stat : 22304 (minisatp_32) R 22303 22296 1511 34817 1511 4202496 23904 0 0 0 258 16 0 0 25 0 1 0 4643705 73474048 16325 1283457024 134512640 135413687 4286565056 18446744073709551615 134686170 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/22304/statm: 17938 16325 94 220 0 17716 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 129272

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

[startup+12.8064 s]
/proc/loadavg: 1.14 1.25 1.13 2/37 22304
/proc/meminfo: memFree=209736/1048576 swapFree=0/0
[pid=22296] ppid=22295 vsize=2568 CPUtime=0
/proc/22296/stat : 22296 (packup2mp4tr-0.) S 22295 22296 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 18 0 1 0 4642709 2629632 274 1283457024 134512640 135304128 4289129632 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22296/statm: 642 274 233 194 0 29 0
[pid=22297] ppid=22296 vsize=53280 CPUtime=9.93
/proc/22297/stat : 22297 (packup) S 22296 22296 1511 34817 1511 4202496 13113 66181 0 0 197 66 672 58 18 0 1 0 4642709 54558720 12601 1283457024 134512640 134752139 4287091312 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22297/statm: 13320 12601 333 59 0 12484 0
[pid=22303] ppid=22297 vsize=1672 CPUtime=0
/proc/22303/stat : 22303 (sh) S 22297 22296 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 18 0 1 0 4643704 1712128 123 1283457024 134512640 134593992 4288408672 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22303/statm: 418 123 108 20 0 45 0
[pid=22304] ppid=22303 vsize=74432 CPUtime=2.84
/proc/22304/stat : 22304 (minisatp_32) R 22303 22296 1511 34817 1511 4202496 24097 0 0 0 268 16 0 0 25 0 1 0 4643705 76218368 16506 1283457024 134512640 135413687 4286565056 18446744073709551615 134688068 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/22304/statm: 18608 16506 94 220 0 18386 0
Current children cumulated CPU time (s) 12.77
Current children cumulated vsize (KiB) 131952

[startup+16.0079 s]
/proc/loadavg: 1.14 1.25 1.13 2/35 22304
/proc/meminfo: memFree=276480/1048576 swapFree=0/0
[pid=22296] ppid=22295 vsize=2568 CPUtime=0
/proc/22296/stat : 22296 (packup2mp4tr-0.) S 22295 22296 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 18 0 1 0 4642709 2629632 274 1283457024 134512640 135304128 4289129632 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22296/statm: 642 274 233 194 0 29 0
[pid=22297] ppid=22296 vsize=53284 CPUtime=15.46
/proc/22297/stat : 22297 (packup) S 22296 22296 1511 34817 1511 4202496 13199 109985 0 0 208 92 1158 88 18 0 1 0 4642709 54562816 12602 1283457024 134512640 134752139 4287091312 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22297/statm: 13321 12602 333 59 0 12485 0
Current children cumulated CPU time (s) 15.46
Current children cumulated vsize (KiB) 55852

[startup+19.2088 s]
/proc/loadavg: 1.13 1.24 1.13 2/37 22306
/proc/meminfo: memFree=170800/1048576 swapFree=0/0
[pid=22296] ppid=22295 vsize=2568 CPUtime=0
/proc/22296/stat : 22296 (packup2mp4tr-0.) S 22295 22296 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 18 0 1 0 4642709 2629632 274 1283457024 134512640 135304128 4289129632 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22296/statm: 642 274 233 194 0 29 0
[pid=22297] ppid=22296 vsize=53284 CPUtime=15.46
/proc/22297/stat : 22297 (packup) S 22296 22296 1511 34817 1511 4202496 13199 109985 0 0 208 92 1158 88 18 0 1 0 4642709 54562816 12602 1283457024 134512640 134752139 4287091312 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22297/statm: 13321 12602 333 59 0 12485 0
[pid=22305] ppid=22297 vsize=1672 CPUtime=0
/proc/22305/stat : 22305 (sh) S 22297 22296 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 18 0 1 0 4644256 1712128 124 1283457024 134512640 134593992 4292300832 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22305/statm: 418 124 108 20 0 45 0
[pid=22306] ppid=22305 vsize=120756 CPUtime=3.72
/proc/22306/stat : 22306 (minisatp_32) R 22305 22296 1511 34817 1511 4202496 38879 0 0 0 341 31 0 0 25 0 1 0 4644257 123654144 26468 1283457024 134512640 135413687 4290696880 18446744073709551615 134971360 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/22306/statm: 30189 26468 94 220 0 29967 0
Current children cumulated CPU time (s) 19.18
Current children cumulated vsize (KiB) 178280

[startup+20.0091 s]
/proc/loadavg: 1.13 1.24 1.13 2/37 22306
/proc/meminfo: memFree=171172/1048576 swapFree=0/0
[pid=22296] ppid=22295 vsize=2568 CPUtime=0
/proc/22296/stat : 22296 (packup2mp4tr-0.) S 22295 22296 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 18 0 1 0 4642709 2629632 274 1283457024 134512640 135304128 4289129632 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22296/statm: 642 274 233 194 0 29 0
[pid=22297] ppid=22296 vsize=53284 CPUtime=15.46
/proc/22297/stat : 22297 (packup) S 22296 22296 1511 34817 1511 4202496 13199 109985 0 0 208 92 1158 88 18 0 1 0 4642709 54562816 12602 1283457024 134512640 134752139 4287091312 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22297/statm: 13321 12602 333 59 0 12485 0
[pid=22305] ppid=22297 vsize=1672 CPUtime=0
/proc/22305/stat : 22305 (sh) S 22297 22296 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 18 0 1 0 4644256 1712128 124 1283457024 134512640 134593992 4292300832 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22305/statm: 418 124 108 20 0 45 0
[pid=22306] ppid=22305 vsize=118052 CPUtime=4.51
/proc/22306/stat : 22306 (minisatp_32) R 22305 22296 1511 34817 1511 4202496 41505 0 0 0 419 32 0 0 25 0 1 0 4644257 120885248 25981 1283457024 134512640 135413687 4290696880 18446744073709551615 134692025 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/22306/statm: 29513 25981 94 220 0 29291 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (KiB) 175576

[startup+20.8093 s]
/proc/loadavg: 1.13 1.24 1.13 2/37 22306
/proc/meminfo: memFree=171172/1048576 swapFree=0/0
[pid=22296] ppid=22295 vsize=2568 CPUtime=0
/proc/22296/stat : 22296 (packup2mp4tr-0.) S 22295 22296 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 18 0 1 0 4642709 2629632 274 1283457024 134512640 135304128 4289129632 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22296/statm: 642 274 233 194 0 29 0
[pid=22297] ppid=22296 vsize=53284 CPUtime=15.46
/proc/22297/stat : 22297 (packup) S 22296 22296 1511 34817 1511 4202496 13199 109985 0 0 208 92 1158 88 18 0 1 0 4642709 54562816 12602 1283457024 134512640 134752139 4287091312 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/22297/statm: 13321 12602 333 59 0 12485 0
[pid=22305] ppid=22297 vsize=1672 CPUtime=0
/proc/22305/stat : 22305 (sh) S 22297 22296 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 18 0 1 0 4644256 1712128 124 1283457024 134512640 134593992 4292300832 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/22305/statm: 418 124 108 20 0 45 0
[pid=22306] ppid=22305 vsize=132952 CPUtime=5.31
/proc/22306/stat : 22306 (minisatp_32) R 22305 22296 1511 34817 1511 4202496 47769 0 0 0 496 35 0 0 25 0 1 0 4644257 136142848 30377 1283457024 134512640 135413687 4290696880 18446744073709551615 134649264 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/22306/statm: 33238 30377 107 220 0 33016 0
Current children cumulated CPU time (s) 20.77
Current children cumulated vsize (KiB) 190476

[startup+21.0101 s]
/proc/loadavg: 1.12 1.24 1.13 2/37 22306
/proc/meminfo: memFree=159268/1048576 swapFree=0/0
[pid=22296] ppid=22295 vsize=2568 CPUtime=0
/proc/22296/stat : 22296 (packup2mp4tr-0.) S 22295 22296 1511 34817 1511 4202496 378 0 0 0 0 0 0 0 18 0 1 0 4642709 2629632 274 1283457024 134512640 135304128 4289129632 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/22296/statm: 642 274 233 194 0 29 0
[pid=22297] ppid=22296 vsize=53288 CPUtime=20.97
/proc/22297/stat : 22297 (packup) R 22296 22296 1511 34817 1511 4202496 16121 157935 0 0 212 94 1665 126 18 0 1 0 4642709 54566912 12615 1283457024 134512640 134752139 4287091312 18446744073709551615 4157945089 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/22297/statm: 13322 12615 345 59 0 12486 0
Current children cumulated CPU time (s) 20.97
Current children cumulated vsize (KiB) 55856

Child status: 0
Real time (s): 21.1102
CPU time (s): 21.0773
CPU user time (s): 18.8612
CPU system time (s): 2.21614
CPU usage (%): 99.8445
Max. virtual memory (cumulated for all children) (KiB): 202044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.8612
system time used= 2.21614
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183098
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= 19
involuntary context switches= 334

runsolver used 0.008 second user time and 0 second system time

The end