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/201012070034/cudf2msu4trendy-1.0/9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./cudf2msu4trendy-1.0 /home/misc2010/data/2010/debian-dudf//9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf /home/misc2010/tmp/201012070034/cudf2msu4trendy-1.0/9bb87ab4-4c36-11df-bc1e-00163e7a6f5e.cudf.debian-dudf.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.02 1.01 1.00 1/41 2098
/proc/meminfo: memFree=612100/1048576 swapFree=2080276/2097144
[pid=2097] ppid=2096 vsize=2568 CPUtime=0
/proc/2097/stat : 2097 (cudf2msu4trendy) S 2096 2097 4159 34819 4229 4202496 374 0 0 0 0 0 0 0 25 0 1 0 884959116 2629632 271 1283457024 134512640 135304128 4286609904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2097/statm: 642 271 231 194 0 28 0
[pid=2098] ppid=2097 vsize=1616 CPUtime=0
/proc/2098/stat : 2098 (cudf_msu32) D 2097 2097 4159 34819 4229 4194304 59 0 0 0 0 0 0 0 25 0 1 0 884959116 1654784 1 1283457024 0 0 4294382372 18446744073709551615 4294960130 0 0 0 0 18446744071564332000 0 0 17 0 0 0 0
/proc/2098/statm: 404 1 0 0 0 9 0

[startup+0.199895 s]
/proc/loadavg: 1.02 1.01 1.00 1/41 2098
/proc/meminfo: memFree=612100/1048576 swapFree=2080276/2097144
[pid=2097] ppid=2096 vsize=2568 CPUtime=0
/proc/2097/stat : 2097 (cudf2msu4trendy) S 2096 2097 4159 34819 4229 4202496 374 0 0 0 0 0 0 0 25 0 1 0 884959116 2629632 271 1283457024 134512640 135304128 4286609904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2097/statm: 642 271 231 194 0 28 0
[pid=2098] ppid=2097 vsize=9104 CPUtime=0.18
/proc/2098/stat : 2098 (cudf_msu32) R 2097 2097 4159 34819 4229 4202496 2047 0 1 0 16 2 0 0 25 0 1 0 884959116 9322496 1988 1283457024 134512640 136120023 4294376064 18446744073709551615 134712087 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2098/statm: 2276 1988 137 393 0 1881 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 11672

[startup+0.207961 s]
/proc/loadavg: 1.02 1.01 1.00 1/41 2098
/proc/meminfo: memFree=612100/1048576 swapFree=2080276/2097144
[pid=2097] ppid=2096 vsize=2568 CPUtime=0
/proc/2097/stat : 2097 (cudf2msu4trendy) S 2096 2097 4159 34819 4229 4202496 374 0 0 0 0 0 0 0 25 0 1 0 884959116 2629632 271 1283457024 134512640 135304128 4286609904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2097/statm: 642 271 231 194 0 28 0
[pid=2098] ppid=2097 vsize=9368 CPUtime=0.19
/proc/2098/stat : 2098 (cudf_msu32) R 2097 2097 4159 34819 4229 4202496 2110 0 1 0 17 2 0 0 25 0 1 0 884959116 9592832 2051 1283457024 134512640 136120023 4294376064 18446744073709551615 134712101 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2098/statm: 2342 2051 137 393 0 1947 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11936

[startup+0.307992 s]
/proc/loadavg: 1.02 1.01 1.00 1/41 2098
/proc/meminfo: memFree=612100/1048576 swapFree=2080276/2097144
[pid=2097] ppid=2096 vsize=2568 CPUtime=0
/proc/2097/stat : 2097 (cudf2msu4trendy) S 2096 2097 4159 34819 4229 4202496 374 0 0 0 0 0 0 0 25 0 1 0 884959116 2629632 271 1283457024 134512640 135304128 4286609904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2097/statm: 642 271 231 194 0 28 0
[pid=2098] ppid=2097 vsize=12468 CPUtime=0.28
/proc/2098/stat : 2098 (cudf_msu32) R 2097 2097 4159 34819 4229 4202496 2880 0 1 0 26 2 0 0 25 0 1 0 884959116 12767232 2821 1283457024 134512640 136120023 4294376064 18446744073709551615 134733541 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2098/statm: 3117 2821 138 393 0 2722 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15036

[startup+0.708083 s]
/proc/loadavg: 1.02 1.01 1.00 1/41 2098
/proc/meminfo: memFree=612100/1048576 swapFree=2080276/2097144
[pid=2097] ppid=2096 vsize=2568 CPUtime=0
/proc/2097/stat : 2097 (cudf2msu4trendy) S 2096 2097 4159 34819 4229 4202496 374 0 0 0 0 0 0 0 25 0 1 0 884959116 2629632 271 1283457024 134512640 135304128 4286609904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2097/statm: 642 271 231 194 0 28 0
[pid=2098] ppid=2097 vsize=23488 CPUtime=0.68
/proc/2098/stat : 2098 (cudf_msu32) R 2097 2097 4159 34819 4229 4202496 5631 0 1 0 66 2 0 0 25 0 1 0 884959116 24051712 5572 1283457024 134512640 136120023 4294376064 18446744073709551615 134732904 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2098/statm: 5872 5572 138 393 0 5477 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 26056

[startup+1.50832 s]
/proc/loadavg: 1.02 1.01 1.00 2/42 2099
/proc/meminfo: memFree=580620/1048576 swapFree=2080276/2097144
[pid=2097] ppid=2096 vsize=2568 CPUtime=0
/proc/2097/stat : 2097 (cudf2msu4trendy) S 2096 2097 4159 34819 4229 4202496 374 0 0 0 0 0 0 0 25 0 1 0 884959116 2629632 271 1283457024 134512640 135304128 4286609904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2097/statm: 642 271 231 194 0 28 0
[pid=2098] ppid=2097 vsize=51288 CPUtime=1.48
/proc/2098/stat : 2098 (cudf_msu32) R 2097 2097 4159 34819 4229 4202496 12965 0 1 0 144 4 0 0 25 0 1 0 884959116 52518912 12513 1283457024 134512640 136120023 4294376064 18446744073709551615 134628538 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2098/statm: 12822 12513 149 393 0 12427 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 53856

[startup+3.10878 s]
/proc/loadavg: 1.02 1.01 1.00 2/42 2099
/proc/meminfo: memFree=500888/1048576 swapFree=2080276/2097144
[pid=2097] ppid=2096 vsize=2568 CPUtime=0
/proc/2097/stat : 2097 (cudf2msu4trendy) S 2096 2097 4159 34819 4229 4202496 374 0 0 0 0 0 0 0 25 0 1 0 884959116 2629632 271 1283457024 134512640 135304128 4286609904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2097/statm: 642 271 231 194 0 28 0
[pid=2098] ppid=2097 vsize=112860 CPUtime=3.09
/proc/2098/stat : 2098 (cudf_msu32) R 2097 2097 4159 34819 4229 4202496 28411 0 1 0 299 10 0 0 25 0 1 0 884959116 115568640 27929 1283457024 134512640 136120023 4294376064 18446744073709551615 134887231 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2098/statm: 28215 27929 178 393 0 27820 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 115428

[startup+6.30971 s]
/proc/loadavg: 1.02 1.01 1.00 2/42 2099
/proc/meminfo: memFree=500392/1048576 swapFree=2080276/2097144
[pid=2097] ppid=2096 vsize=2568 CPUtime=0
/proc/2097/stat : 2097 (cudf2msu4trendy) S 2096 2097 4159 34819 4229 4202496 374 0 0 0 0 0 0 0 25 0 1 0 884959116 2629632 271 1283457024 134512640 135304128 4286609904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2097/statm: 642 271 231 194 0 28 0
[pid=2098] ppid=2097 vsize=113128 CPUtime=6.29
/proc/2098/stat : 2098 (cudf_msu32) R 2097 2097 4159 34819 4229 4202496 28530 0 1 0 619 10 0 0 25 0 1 0 884959116 115843072 28035 1283457024 134512640 136120023 4294376064 18446744073709551615 134863075 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2098/statm: 28282 28035 182 393 0 27887 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 115696

[startup+12.7116 s]
/proc/loadavg: 1.01 1.01 1.00 2/42 2099
/proc/meminfo: memFree=500276/1048576 swapFree=2080276/2097144
[pid=2097] ppid=2096 vsize=2568 CPUtime=0
/proc/2097/stat : 2097 (cudf2msu4trendy) S 2096 2097 4159 34819 4229 4202496 374 0 0 0 0 0 0 0 25 0 1 0 884959116 2629632 271 1283457024 134512640 135304128 4286609904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2097/statm: 642 271 231 194 0 28 0
[pid=2098] ppid=2097 vsize=113128 CPUtime=12.69
/proc/2098/stat : 2098 (cudf_msu32) R 2097 2097 4159 34819 4229 4202496 28530 0 1 0 1259 10 0 0 25 0 1 0 884959116 115843072 28035 1283457024 134512640 136120023 4294376064 18446744073709551615 135530362 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2098/statm: 28282 28035 182 393 0 27887 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 115696

[startup+25.5151 s]
/proc/loadavg: 1.01 1.01 1.00 2/42 2099
/proc/meminfo: memFree=500276/1048576 swapFree=2080276/2097144
[pid=2097] ppid=2096 vsize=2568 CPUtime=0
/proc/2097/stat : 2097 (cudf2msu4trendy) S 2096 2097 4159 34819 4229 4202496 374 0 0 0 0 0 0 0 25 0 1 0 884959116 2629632 271 1283457024 134512640 135304128 4286609904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2097/statm: 642 271 231 194 0 28 0
[pid=2098] ppid=2097 vsize=113128 CPUtime=25.46
/proc/2098/stat : 2098 (cudf_msu32) R 2097 2097 4159 34819 4229 4202496 28530 0 1 0 2534 12 0 0 25 0 1 0 884959116 115843072 28035 1283457024 134512640 136120023 4294376064 18446744073709551615 134865782 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2098/statm: 28282 28035 182 393 0 27887 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 115696

[startup+51.1122 s]
/proc/loadavg: 1.01 1.00 1.00 2/42 2099
/proc/meminfo: memFree=494820/1048576 swapFree=2080276/2097144
[pid=2097] ppid=2096 vsize=2568 CPUtime=0
/proc/2097/stat : 2097 (cudf2msu4trendy) S 2096 2097 4159 34819 4229 4202496 374 0 0 0 0 0 0 0 25 0 1 0 884959116 2629632 271 1283457024 134512640 135304128 4286609904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2097/statm: 642 271 231 194 0 28 0
[pid=2098] ppid=2097 vsize=118544 CPUtime=51.04
/proc/2098/stat : 2098 (cudf_msu32) R 2097 2097 4159 34819 4229 4202496 29893 0 1 0 5092 12 0 0 25 0 1 0 884959116 121389056 29393 1283457024 134512640 136120023 4294376064 18446744073709551615 134869763 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2098/statm: 29636 29393 182 393 0 29241 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 121112

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

[startup+51.2122 s]
/proc/loadavg: 1.01 1.00 1.00 2/42 2099
/proc/meminfo: memFree=494820/1048576 swapFree=2080276/2097144
[pid=2097] ppid=2096 vsize=2568 CPUtime=0
/proc/2097/stat : 2097 (cudf2msu4trendy) S 2096 2097 4159 34819 4229 4202496 374 0 0 0 0 0 0 0 25 0 1 0 884959116 2629632 271 1283457024 134512640 135304128 4286609904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2097/statm: 642 271 231 194 0 28 0
[pid=2098] ppid=2097 vsize=118544 CPUtime=51.14
/proc/2098/stat : 2098 (cudf_msu32) R 2097 2097 4159 34819 4229 4202496 29893 0 1 0 5102 12 0 0 25 0 1 0 884959116 121389056 29393 1283457024 134512640 136120023 4294376064 18446744073709551615 134867660 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2098/statm: 29636 29393 182 393 0 29241 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 121112

[startup+64.0062 s]
/proc/loadavg: 1.00 1.00 1.00 2/42 2099
/proc/meminfo: memFree=494820/1048576 swapFree=2080276/2097144
[pid=2097] ppid=2096 vsize=2568 CPUtime=0
/proc/2097/stat : 2097 (cudf2msu4trendy) S 2096 2097 4159 34819 4229 4202496 374 0 0 0 0 0 0 0 25 0 1 0 884959116 2629632 271 1283457024 134512640 135304128 4286609904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2097/statm: 642 271 231 194 0 28 0
[pid=2098] ppid=2097 vsize=118544 CPUtime=63.92
/proc/2098/stat : 2098 (cudf_msu32) R 2097 2097 4159 34819 4229 4202496 29893 0 1 0 6380 12 0 0 25 0 1 0 884959116 121389056 29393 1283457024 134512640 136120023 4294376064 18446744073709551615 134863191 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2098/statm: 29636 29393 182 393 0 29241 0
Current children cumulated CPU time (s) 63.92
Current children cumulated vsize (KiB) 121112

[startup+70.4077 s]
/proc/loadavg: 1.00 1.00 1.00 2/42 2099
/proc/meminfo: memFree=494820/1048576 swapFree=2080276/2097144
[pid=2097] ppid=2096 vsize=2568 CPUtime=0
/proc/2097/stat : 2097 (cudf2msu4trendy) S 2096 2097 4159 34819 4229 4202496 374 0 0 0 0 0 0 0 25 0 1 0 884959116 2629632 271 1283457024 134512640 135304128 4286609904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2097/statm: 642 271 231 194 0 28 0
[pid=2098] ppid=2097 vsize=118544 CPUtime=70.32
/proc/2098/stat : 2098 (cudf_msu32) R 2097 2097 4159 34819 4229 4202496 29893 0 1 0 7020 12 0 0 25 0 1 0 884959116 121389056 29393 1283457024 134512640 136120023 4294376064 18446744073709551615 134869943 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2098/statm: 29636 29393 182 393 0 29241 0
Current children cumulated CPU time (s) 70.32
Current children cumulated vsize (KiB) 121112

[startup+72.008 s]
/proc/loadavg: 1.00 1.00 1.00 2/42 2099
/proc/meminfo: memFree=494820/1048576 swapFree=2080276/2097144
[pid=2097] ppid=2096 vsize=2568 CPUtime=0
/proc/2097/stat : 2097 (cudf2msu4trendy) S 2096 2097 4159 34819 4229 4202496 374 0 0 0 0 0 0 0 25 0 1 0 884959116 2629632 271 1283457024 134512640 135304128 4286609904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2097/statm: 642 271 231 194 0 28 0
[pid=2098] ppid=2097 vsize=118544 CPUtime=71.92
/proc/2098/stat : 2098 (cudf_msu32) R 2097 2097 4159 34819 4229 4202496 29893 0 1 0 7180 12 0 0 25 0 1 0 884959116 121389056 29393 1283457024 134512640 136120023 4294376064 18446744073709551615 134863393 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2098/statm: 29636 29393 182 393 0 29241 0
Current children cumulated CPU time (s) 71.92
Current children cumulated vsize (KiB) 121112

[startup+73.6083 s]
/proc/loadavg: 1.00 1.00 1.00 2/42 2099
/proc/meminfo: memFree=494820/1048576 swapFree=2080276/2097144
[pid=2097] ppid=2096 vsize=2568 CPUtime=0
/proc/2097/stat : 2097 (cudf2msu4trendy) S 2096 2097 4159 34819 4229 4202496 374 0 0 0 0 0 0 0 25 0 1 0 884959116 2629632 271 1283457024 134512640 135304128 4286609904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2097/statm: 642 271 231 194 0 28 0
[pid=2098] ppid=2097 vsize=118544 CPUtime=73.52
/proc/2098/stat : 2098 (cudf_msu32) R 2097 2097 4159 34819 4229 4202496 29893 0 1 0 7340 12 0 0 25 0 1 0 884959116 121389056 29393 1283457024 134512640 136120023 4294376064 18446744073709551615 134869928 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2098/statm: 29636 29393 182 393 0 29241 0
Current children cumulated CPU time (s) 73.52
Current children cumulated vsize (KiB) 121112

[startup+74.4083 s]
/proc/loadavg: 1.00 1.00 1.00 2/42 2099
/proc/meminfo: memFree=494820/1048576 swapFree=2080276/2097144
[pid=2097] ppid=2096 vsize=2568 CPUtime=0
/proc/2097/stat : 2097 (cudf2msu4trendy) S 2096 2097 4159 34819 4229 4202496 374 0 0 0 0 0 0 0 25 0 1 0 884959116 2629632 271 1283457024 134512640 135304128 4286609904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2097/statm: 642 271 231 194 0 28 0
[pid=2098] ppid=2097 vsize=118544 CPUtime=74.32
/proc/2098/stat : 2098 (cudf_msu32) R 2097 2097 4159 34819 4229 4202496 29893 0 1 0 7420 12 0 0 25 0 1 0 884959116 121389056 29393 1283457024 134512640 136120023 4294376064 18446744073709551615 134869912 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2098/statm: 29636 29393 182 393 0 29241 0
Current children cumulated CPU time (s) 74.32
Current children cumulated vsize (KiB) 121112

[startup+74.8084 s]
/proc/loadavg: 1.00 1.00 1.00 2/42 2099
/proc/meminfo: memFree=494820/1048576 swapFree=2080276/2097144
[pid=2097] ppid=2096 vsize=2568 CPUtime=0
/proc/2097/stat : 2097 (cudf2msu4trendy) S 2096 2097 4159 34819 4229 4202496 374 0 0 0 0 0 0 0 25 0 1 0 884959116 2629632 271 1283457024 134512640 135304128 4286609904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2097/statm: 642 271 231 194 0 28 0
[pid=2098] ppid=2097 vsize=118544 CPUtime=74.72
/proc/2098/stat : 2098 (cudf_msu32) R 2097 2097 4159 34819 4229 4202496 29893 0 1 0 7460 12 0 0 25 0 1 0 884959116 121389056 29393 1283457024 134512640 136120023 4294376064 18446744073709551615 134869661 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2098/statm: 29636 29393 182 393 0 29241 0
Current children cumulated CPU time (s) 74.72
Current children cumulated vsize (KiB) 121112

[startup+74.9084 s]
/proc/loadavg: 1.00 1.00 1.00 2/42 2099
/proc/meminfo: memFree=494820/1048576 swapFree=2080276/2097144
[pid=2097] ppid=2096 vsize=2568 CPUtime=0
/proc/2097/stat : 2097 (cudf2msu4trendy) S 2096 2097 4159 34819 4229 4202496 374 0 0 0 0 0 0 0 25 0 1 0 884959116 2629632 271 1283457024 134512640 135304128 4286609904 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/2097/statm: 642 271 231 194 0 28 0
[pid=2098] ppid=2097 vsize=118544 CPUtime=74.82
/proc/2098/stat : 2098 (cudf_msu32) R 2097 2097 4159 34819 4229 4202496 29907 0 1 0 7469 13 0 0 25 0 1 0 884959116 121389056 29407 1283457024 134512640 136120023 4294376064 18446744073709551615 135136972 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/2098/statm: 29636 29407 196 393 0 29241 0
Current children cumulated CPU time (s) 74.82
Current children cumulated vsize (KiB) 121112

Child status: 0
Real time (s): 74.9827
CPU time (s): 74.8927
CPU user time (s): 74.7527
CPU system time (s): 0.140008
CPU usage (%): 99.8799
Max. virtual memory (cumulated for all children) (KiB): 121112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.7527
system time used= 0.140008
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30294
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 938

runsolver used 0 second user time and 0 second system time

The end