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/rand252.cudf.dudf-random.log.runsolver ./packup2mp4tr-0.6 /home/misc2010/data/2011/dudf-random//rand252.cudf /home/misc2010/tmp/201108241238/packup2mp4tr-0.6/rand252.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.09 1.08 1.02 4/34 5421
/proc/meminfo: memFree=508180/1048576 swapFree=0/0
[pid=5420] ppid=5419 vsize=2572 CPUtime=0
/proc/5420/stat : 5420 (packup2mp4tr-0.) S 5419 5420 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 18 0 1 0 1320333 2633728 275 1283457024 134512640 135304128 4289098896 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/5420/statm: 643 275 233 194 0 30 0
[pid=5421] ppid=5420 vsize=3552 CPUtime=0.01
/proc/5421/stat : 5421 (packup) R 5420 5420 1511 34817 1511 4202496 351 0 0 0 0 1 0 0 25 0 1 0 1320333 3637248 279 1283457024 134512640 134752139 4292333424 18446744073709551615 4294960130 0 0 0 0 0 0 0 17 0 0 0 0
/proc/5421/statm: 888 279 245 59 0 52 0

[startup+0.153192 s]
/proc/loadavg: 1.09 1.08 1.02 4/34 5421
/proc/meminfo: memFree=508180/1048576 swapFree=0/0
[pid=5420] ppid=5419 vsize=2572 CPUtime=0
/proc/5420/stat : 5420 (packup2mp4tr-0.) S 5419 5420 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 18 0 1 0 1320333 2633728 275 1283457024 134512640 135304128 4289098896 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/5420/statm: 643 275 233 194 0 30 0
[pid=5421] ppid=5420 vsize=8636 CPUtime=0.15
/proc/5421/stat : 5421 (packup) R 5420 5420 1511 34817 1511 4202496 1645 0 0 0 14 1 0 0 25 0 1 0 1320333 8843264 1573 1283457024 134512640 134752139 4292333424 18446744073709551615 134682011 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/5421/statm: 2159 1573 286 59 0 1323 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 11208

[startup+0.20321 s]
/proc/loadavg: 1.09 1.08 1.02 4/34 5421
/proc/meminfo: memFree=508180/1048576 swapFree=0/0
[pid=5420] ppid=5419 vsize=2572 CPUtime=0
/proc/5420/stat : 5420 (packup2mp4tr-0.) S 5419 5420 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 18 0 1 0 1320333 2633728 275 1283457024 134512640 135304128 4289098896 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/5420/statm: 643 275 233 194 0 30 0
[pid=5421] ppid=5420 vsize=10088 CPUtime=0.21
/proc/5421/stat : 5421 (packup) R 5420 5420 1511 34817 1511 4202496 2017 0 0 0 18 3 0 0 25 0 1 0 1320333 10330112 1945 1283457024 134512640 134752139 4292333424 18446744073709551615 4156986952 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/5421/statm: 2522 1945 286 59 0 1686 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 12660

[startup+0.313233 s]
/proc/loadavg: 1.09 1.08 1.02 4/34 5421
/proc/meminfo: memFree=508180/1048576 swapFree=0/0
[pid=5420] ppid=5419 vsize=2572 CPUtime=0
/proc/5420/stat : 5420 (packup2mp4tr-0.) S 5419 5420 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 18 0 1 0 1320333 2633728 275 1283457024 134512640 135304128 4289098896 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/5420/statm: 643 275 233 194 0 30 0
[pid=5421] ppid=5420 vsize=13108 CPUtime=0.31
/proc/5421/stat : 5421 (packup) R 5420 5420 1511 34817 1511 4202496 2782 0 0 0 28 3 0 0 25 0 1 0 1320333 13422592 2710 1283457024 134512640 134752139 4292333424 18446744073709551615 134681676 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/5421/statm: 3277 2710 286 59 0 2441 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 15680

[startup+0.713312 s]
/proc/loadavg: 1.09 1.08 1.02 4/34 5421
/proc/meminfo: memFree=508180/1048576 swapFree=0/0
[pid=5420] ppid=5419 vsize=2572 CPUtime=0
/proc/5420/stat : 5420 (packup2mp4tr-0.) S 5419 5420 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 18 0 1 0 1320333 2633728 275 1283457024 134512640 135304128 4289098896 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/5420/statm: 643 275 233 194 0 30 0
[pid=5421] ppid=5420 vsize=23072 CPUtime=0.71
/proc/5421/stat : 5421 (packup) R 5420 5420 1511 34817 1511 4202496 5250 0 0 0 68 3 0 0 25 0 1 0 1320333 23625728 5178 1283457024 134512640 134752139 4292333424 18446744073709551615 4157265285 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/5421/statm: 5768 5178 286 59 0 4932 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 25644

[startup+1.51351 s]
/proc/loadavg: 1.09 1.08 1.02 2/35 5422
/proc/meminfo: memFree=480020/1048576 swapFree=0/0
[pid=5420] ppid=5419 vsize=2572 CPUtime=0
/proc/5420/stat : 5420 (packup2mp4tr-0.) S 5419 5420 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 18 0 1 0 1320333 2633728 275 1283457024 134512640 135304128 4289098896 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/5420/statm: 643 275 233 194 0 30 0
[pid=5421] ppid=5420 vsize=46280 CPUtime=1.52
/proc/5421/stat : 5421 (packup) R 5420 5420 1511 34817 1511 4202496 11115 0 0 0 146 6 0 0 25 0 1 0 1320333 47390720 10994 1283457024 134512640 134752139 4292333424 18446744073709551615 134593099 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/5421/statm: 11570 10994 308 59 0 10734 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 48852

[startup+3.11381 s]
/proc/loadavg: 1.09 1.08 1.02 2/37 5424
/proc/meminfo: memFree=451716/1048576 swapFree=0/0
[pid=5420] ppid=5419 vsize=2572 CPUtime=0
/proc/5420/stat : 5420 (packup2mp4tr-0.) S 5419 5420 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 18 0 1 0 1320333 2633728 275 1283457024 134512640 135304128 4289098896 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/5420/statm: 643 275 233 194 0 30 0
[pid=5421] ppid=5420 vsize=52016 CPUtime=1.96
/proc/5421/stat : 5421 (packup) S 5420 5420 1511 34817 1511 4202496 12567 0 0 0 166 30 0 0 25 0 1 0 1320333 53264384 12445 1283457024 134512640 134752139 4292333424 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/5421/statm: 13004 12445 324 59 0 12168 0
[pid=5423] ppid=5421 vsize=1676 CPUtime=0
/proc/5423/stat : 5423 (sh) S 5421 5420 1511 34817 1511 4202496 146 0 0 0 0 0 0 0 25 0 1 0 1320529 1716224 124 1283457024 134512640 134593992 4291188496 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/5423/statm: 419 124 108 20 0 46 0
[pid=5424] ppid=5423 vsize=27016 CPUtime=1.14
/proc/5424/stat : 5424 (minisatp_32) R 5423 5420 1511 34817 1511 4202496 6118 0 0 0 114 0 0 0 25 0 1 0 1320530 27664384 5467 1283457024 134512640 135413687 4291557248 18446744073709551615 134552538 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/5424/statm: 6754 5467 84 220 0 6532 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 83280

[startup+6.31232 s]
/proc/loadavg: 1.08 1.08 1.02 2/37 5426
/proc/meminfo: memFree=406704/1048576 swapFree=0/0
[pid=5420] ppid=5419 vsize=2572 CPUtime=0
/proc/5420/stat : 5420 (packup2mp4tr-0.) S 5419 5420 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 18 0 1 0 1320333 2633728 275 1283457024 134512640 135304128 4289098896 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/5420/statm: 643 275 233 194 0 30 0
[pid=5421] ppid=5420 vsize=54728 CPUtime=3.71
/proc/5421/stat : 5421 (packup) S 5420 5420 1511 34817 1511 4202496 13834 7335 0 0 180 52 126 13 18 0 1 0 1320333 56041472 12888 1283457024 134512640 134752139 4292333424 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/5421/statm: 13682 12888 332 59 0 12846 0
[pid=5425] ppid=5421 vsize=1672 CPUtime=0.01
/proc/5425/stat : 5425 (sh) S 5421 5420 1511 34817 1511 4202496 147 0 0 0 0 1 0 0 18 0 1 0 1320717 1712128 124 1283457024 134512640 134593992 4288193584 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/5425/statm: 418 124 108 20 0 45 0
[pid=5426] ppid=5425 vsize=70712 CPUtime=2.46
/proc/5426/stat : 5426 (minisatp_32) R 5425 5420 1511 34817 1511 4202496 21558 0 0 0 224 22 0 0 25 0 1 0 1320717 72409088 15707 1283457024 134512640 135413687 4290178608 18446744073709551615 134705933 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/5426/statm: 17678 15707 108 220 0 17456 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 129684

[startup+12.7044 s]
/proc/loadavg: 1.08 1.07 1.02 2/37 5430
/proc/meminfo: memFree=442920/1048576 swapFree=0/0
[pid=5420] ppid=5419 vsize=2572 CPUtime=0
/proc/5420/stat : 5420 (packup2mp4tr-0.) S 5419 5420 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 18 0 1 0 1320333 2633728 275 1283457024 134512640 135304128 4289098896 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/5420/statm: 643 275 233 194 0 30 0
[pid=5421] ppid=5420 vsize=54736 CPUtime=11.43
/proc/5421/stat : 5421 (packup) S 5420 5420 1511 34817 1511 4202496 14008 69903 0 0 219 85 773 66 18 0 1 0 1320333 56049664 12899 1283457024 134512640 134752139 4292333424 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/5421/statm: 13684 12899 332 59 0 12848 0
[pid=5429] ppid=5421 vsize=1676 CPUtime=0
/proc/5429/stat : 5429 (sh) S 5421 5420 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 18 0 1 0 1321489 1716224 124 1283457024 134512640 134593992 4288394336 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/5429/statm: 419 124 108 20 0 46 0
[pid=5430] ppid=5429 vsize=27592 CPUtime=1.13
/proc/5430/stat : 5430 (minisatp_32) R 5429 5420 1511 34817 1511 4202496 6250 0 0 0 113 0 0 0 25 0 1 0 1321490 28254208 5553 1283457024 134512640 135413687 4288611504 18446744073709551615 134714612 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/5430/statm: 6898 5553 77 220 0 6676 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 86576

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

[startup+12.8045 s]
/proc/loadavg: 1.08 1.07 1.02 2/37 5430
/proc/meminfo: memFree=442920/1048576 swapFree=0/0
[pid=5420] ppid=5419 vsize=2572 CPUtime=0
/proc/5420/stat : 5420 (packup2mp4tr-0.) S 5419 5420 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 18 0 1 0 1320333 2633728 275 1283457024 134512640 135304128 4289098896 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/5420/statm: 643 275 233 194 0 30 0
[pid=5421] ppid=5420 vsize=54736 CPUtime=11.43
/proc/5421/stat : 5421 (packup) S 5420 5420 1511 34817 1511 4202496 14008 69903 0 0 219 85 773 66 18 0 1 0 1320333 56049664 12899 1283457024 134512640 134752139 4292333424 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/5421/statm: 13684 12899 332 59 0 12848 0
[pid=5429] ppid=5421 vsize=1676 CPUtime=0
/proc/5429/stat : 5429 (sh) S 5421 5420 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 18 0 1 0 1321489 1716224 124 1283457024 134512640 134593992 4288394336 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/5429/statm: 419 124 108 20 0 46 0
[pid=5430] ppid=5429 vsize=30056 CPUtime=1.23
/proc/5430/stat : 5430 (minisatp_32) R 5429 5420 1511 34817 1511 4202496 6959 0 0 0 122 1 0 0 25 0 1 0 1321490 30777344 6156 1283457024 134512640 135413687 4288611504 18446744073709551615 134549235 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/5430/statm: 7514 6156 83 220 0 7292 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 89040

[startup+14.4048 s]
/proc/loadavg: 1.07 1.07 1.02 2/37 5430
/proc/meminfo: memFree=359964/1048576 swapFree=0/0
[pid=5420] ppid=5419 vsize=2572 CPUtime=0
/proc/5420/stat : 5420 (packup2mp4tr-0.) S 5419 5420 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 18 0 1 0 1320333 2633728 275 1283457024 134512640 135304128 4289098896 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/5420/statm: 643 275 233 194 0 30 0
[pid=5421] ppid=5420 vsize=54736 CPUtime=11.43
/proc/5421/stat : 5421 (packup) S 5420 5420 1511 34817 1511 4202496 14008 69903 0 0 219 85 773 66 18 0 1 0 1320333 56049664 12899 1283457024 134512640 134752139 4292333424 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/5421/statm: 13684 12899 332 59 0 12848 0
[pid=5429] ppid=5421 vsize=1676 CPUtime=0
/proc/5429/stat : 5429 (sh) S 5421 5420 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 18 0 1 0 1321489 1716224 124 1283457024 134512640 134593992 4288394336 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/5429/statm: 419 124 108 20 0 46 0
[pid=5430] ppid=5429 vsize=112892 CPUtime=2.83
/proc/5430/stat : 5430 (minisatp_32) R 5429 5420 1511 34817 1511 4202496 34312 0 0 0 251 32 0 0 25 0 1 0 1321490 115601408 24062 1283457024 134512640 135413687 4288611504 18446744073709551615 134682730 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/5430/statm: 28223 24062 94 220 0 28001 0
Current children cumulated CPU time (s) 14.26
Current children cumulated vsize (KiB) 171876

[startup+15.205 s]
/proc/loadavg: 1.07 1.07 1.02 2/37 5430
/proc/meminfo: memFree=359964/1048576 swapFree=0/0
[pid=5420] ppid=5419 vsize=2572 CPUtime=0
/proc/5420/stat : 5420 (packup2mp4tr-0.) S 5419 5420 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 18 0 1 0 1320333 2633728 275 1283457024 134512640 135304128 4289098896 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/5420/statm: 643 275 233 194 0 30 0
[pid=5421] ppid=5420 vsize=54736 CPUtime=11.43
/proc/5421/stat : 5421 (packup) S 5420 5420 1511 34817 1511 4202496 14008 69903 0 0 219 85 773 66 18 0 1 0 1320333 56049664 12899 1283457024 134512640 134752139 4292333424 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/5421/statm: 13684 12899 332 59 0 12848 0
[pid=5429] ppid=5421 vsize=1676 CPUtime=0
/proc/5429/stat : 5429 (sh) S 5421 5420 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 18 0 1 0 1321489 1716224 124 1283457024 134512640 134593992 4288394336 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/5429/statm: 419 124 108 20 0 46 0
[pid=5430] ppid=5429 vsize=112936 CPUtime=3.64
/proc/5430/stat : 5430 (minisatp_32) R 5429 5420 1511 34817 1511 4202496 37414 0 0 0 330 34 0 0 25 0 1 0 1321490 115646464 24033 1283457024 134512640 135413687 4288611504 18446744073709551615 134696685 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/5430/statm: 28234 24033 94 220 0 28012 0
Current children cumulated CPU time (s) 15.07
Current children cumulated vsize (KiB) 171920

[startup+16.0052 s]
/proc/loadavg: 1.07 1.07 1.02 2/37 5430
/proc/meminfo: memFree=350912/1048576 swapFree=0/0
[pid=5420] ppid=5419 vsize=2572 CPUtime=0
/proc/5420/stat : 5420 (packup2mp4tr-0.) S 5419 5420 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 18 0 1 0 1320333 2633728 275 1283457024 134512640 135304128 4289098896 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/5420/statm: 643 275 233 194 0 30 0
[pid=5421] ppid=5420 vsize=54736 CPUtime=11.43
/proc/5421/stat : 5421 (packup) S 5420 5420 1511 34817 1511 4202496 14008 69903 0 0 219 85 773 66 18 0 1 0 1320333 56049664 12899 1283457024 134512640 134752139 4292333424 18446744073709551615 4294960130 0 65536 18950 8192 18446744071564329979 0 0 17 0 0 0 0
/proc/5421/statm: 13684 12899 332 59 0 12848 0
[pid=5429] ppid=5421 vsize=1676 CPUtime=0
/proc/5429/stat : 5429 (sh) S 5421 5420 1511 34817 1511 4202496 147 0 0 0 0 0 0 0 18 0 1 0 1321489 1716224 124 1283457024 134512640 134593992 4288394336 18446744073709551615 4294960130 0 0 18944 2 18446744071564329979 0 0 17 0 0 0 0
/proc/5429/statm: 419 124 108 20 0 46 0
[pid=5430] ppid=5429 vsize=128528 CPUtime=4.43
/proc/5430/stat : 5430 (minisatp_32) R 5429 5420 1511 34817 1511 4202496 43839 0 0 0 405 38 0 0 25 0 1 0 1321490 131612672 28652 1283457024 134512640 135413687 4288611504 18446744073709551615 134696961 0 0 18944 0 0 0 0 17 0 0 0 0
/proc/5430/statm: 32132 28652 107 220 0 31910 0
Current children cumulated CPU time (s) 15.86
Current children cumulated vsize (KiB) 187512

[startup+16.4059 s]
/proc/loadavg: 1.07 1.07 1.02 2/37 5430
/proc/meminfo: memFree=350912/1048576 swapFree=0/0
[pid=5420] ppid=5419 vsize=2572 CPUtime=0
/proc/5420/stat : 5420 (packup2mp4tr-0.) S 5419 5420 1511 34817 1511 4202496 380 0 0 0 0 0 0 0 18 0 1 0 1320333 2633728 275 1283457024 134512640 135304128 4289098896 18446744073709551615 4294960130 0 65536 4 84482 18446744071564329979 0 0 17 0 0 0 0
/proc/5420/statm: 643 275 233 194 0 30 0
[pid=5421] ppid=5420 vsize=0 CPUtime=16.26
/proc/5421/stat : 5421 (packup) R 5420 5420 1511 34817 1511 4202500 25783 114774 0 0 231 90 1199 106 18 0 1 0 1320333 0 0 1283457024 0 0 0 0 0 0 0 18944 8192 0 0 0 17 0 0 0 0
/proc/5421/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 16.26
Current children cumulated vsize (KiB) 2572

Child status: 0
Real time (s): 16.4088
CPU time (s): 16.277
CPU user time (s): 14.3089
CPU system time (s): 1.96812
CPU usage (%): 99.1968
Max. virtual memory (cumulated for all children) (KiB): 189652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.3089
system time used= 1.96812
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140945
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= 272

runsolver used 0 second user time and 0 second system time

The end