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/201012061533/cudf2msu4paranoid-1.0/rand316.sarge-etch-lenny-squeeze.cudf.sarge-etch-lenny-squeeze.log.runsolver ./cudf2msu4paranoid-1.0 /home/misc2010/data/icse/sarge-etch-lenny-squeeze/rand316.sarge-etch-lenny-squeeze.cudf /home/misc2010/tmp/201012061533/cudf2msu4paranoid-1.0/rand316.sarge-etch-lenny-squeeze.cudf.sarge-etch-lenny-squeeze.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.18 1.10 1.08 5/46 11618
/proc/meminfo: memFree=610844/1048576 swapFree=2078768/2097144
[pid=11617] ppid=11616 vsize=2572 CPUtime=0
/proc/11617/stat : 11617 (cudf2msu4parano) S 11616 11617 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 22 0 1 0 875306273 2633728 272 1283457024 134512640 135304128 4288299888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11617/statm: 643 272 231 194 0 29 0
[pid=11618] ppid=11617 vsize=2576 CPUtime=0.02
/proc/11618/stat : 11618 (cudf_msu32) R 11617 11617 2059 34821 2220 4202496 399 0 0 0 2 0 0 0 25 0 1 0 875306273 2637824 338 1283457024 134512640 136120023 4294002944 18446744073709551615 134712312 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/11618/statm: 644 338 137 393 0 249 0

[startup+0.125801 s]
/proc/loadavg: 1.18 1.10 1.08 5/46 11618
/proc/meminfo: memFree=610844/1048576 swapFree=2078768/2097144
[pid=11617] ppid=11616 vsize=2572 CPUtime=0
/proc/11617/stat : 11617 (cudf2msu4parano) S 11616 11617 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 22 0 1 0 875306273 2633728 272 1283457024 134512640 135304128 4288299888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11617/statm: 643 272 231 194 0 29 0
[pid=11618] ppid=11617 vsize=7252 CPUtime=0.12
/proc/11618/stat : 11618 (cudf_msu32) R 11617 11617 2059 34821 2220 4202496 1558 0 0 0 12 0 0 0 25 0 1 0 875306273 7426048 1497 1283457024 134512640 136120023 4294002944 18446744073709551615 134712307 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/11618/statm: 1813 1497 138 393 0 1418 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9824

[startup+0.205822 s]
/proc/loadavg: 1.18 1.10 1.08 5/46 11618
/proc/meminfo: memFree=610844/1048576 swapFree=2078768/2097144
[pid=11617] ppid=11616 vsize=2572 CPUtime=0
/proc/11617/stat : 11617 (cudf2msu4parano) S 11616 11617 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 22 0 1 0 875306273 2633728 272 1283457024 134512640 135304128 4288299888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11617/statm: 643 272 231 194 0 29 0
[pid=11618] ppid=11617 vsize=10240 CPUtime=0.2
/proc/11618/stat : 11618 (cudf_msu32) R 11617 11617 2059 34821 2220 4202496 2328 0 0 0 20 0 0 0 25 0 1 0 875306273 10485760 2267 1283457024 134512640 136120023 4294002944 18446744073709551615 135528598 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/11618/statm: 2560 2267 138 393 0 2165 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 12812

[startup+0.305844 s]
/proc/loadavg: 1.18 1.10 1.08 5/46 11618
/proc/meminfo: memFree=610844/1048576 swapFree=2078768/2097144
[pid=11617] ppid=11616 vsize=2572 CPUtime=0
/proc/11617/stat : 11617 (cudf2msu4parano) S 11616 11617 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 22 0 1 0 875306273 2633728 272 1283457024 134512640 135304128 4288299888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11617/statm: 643 272 231 194 0 29 0
[pid=11618] ppid=11617 vsize=13736 CPUtime=0.3
/proc/11618/stat : 11618 (cudf_msu32) R 11617 11617 2059 34821 2220 4202496 3191 0 0 0 29 1 0 0 25 0 1 0 875306273 14065664 3130 1283457024 134512640 136120023 4294002944 18446744073709551615 135680478 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/11618/statm: 3434 3130 139 393 0 3039 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 16308

[startup+0.705961 s]
/proc/loadavg: 1.18 1.10 1.08 5/46 11618
/proc/meminfo: memFree=610844/1048576 swapFree=2078768/2097144
[pid=11617] ppid=11616 vsize=2572 CPUtime=0
/proc/11617/stat : 11617 (cudf2msu4parano) S 11616 11617 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 22 0 1 0 875306273 2633728 272 1283457024 134512640 135304128 4288299888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11617/statm: 643 272 231 194 0 29 0
[pid=11618] ppid=11617 vsize=25680 CPUtime=0.7
/proc/11618/stat : 11618 (cudf_msu32) R 11617 11617 2059 34821 2220 4202496 6186 0 0 0 66 4 0 0 25 0 1 0 875306273 26296320 6125 1283457024 134512640 136120023 4294002944 18446744073709551615 134721232 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/11618/statm: 6420 6125 139 393 0 6025 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 28252

[startup+1.50625 s]
/proc/loadavg: 1.18 1.10 1.08 2/47 11619
/proc/meminfo: memFree=577148/1048576 swapFree=2078768/2097144
[pid=11617] ppid=11616 vsize=2572 CPUtime=0
/proc/11617/stat : 11617 (cudf2msu4parano) S 11616 11617 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 22 0 1 0 875306273 2633728 272 1283457024 134512640 135304128 4288299888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11617/statm: 643 272 231 194 0 29 0
[pid=11618] ppid=11617 vsize=71380 CPUtime=1.5
/proc/11618/stat : 11618 (cudf_msu32) R 11617 11617 2059 34821 2220 4202496 23649 0 0 0 140 10 0 0 25 0 1 0 875306273 73093120 17511 1283457024 134512640 136120023 4294002944 18446744073709551615 134779751 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/11618/statm: 17845 17511 157 393 0 17450 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 73952

[startup+3.10687 s]
/proc/loadavg: 1.18 1.10 1.08 2/47 11619
/proc/meminfo: memFree=538584/1048576 swapFree=2078768/2097144
[pid=11617] ppid=11616 vsize=2572 CPUtime=0
/proc/11617/stat : 11617 (cudf2msu4parano) S 11616 11617 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 22 0 1 0 875306273 2633728 272 1283457024 134512640 135304128 4288299888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11617/statm: 643 272 231 194 0 29 0
[pid=11618] ppid=11617 vsize=74968 CPUtime=3.1
/proc/11618/stat : 11618 (cudf_msu32) R 11617 11617 2059 34821 2220 4202496 29450 0 0 0 297 13 0 0 25 0 1 0 875306273 76767232 18435 1283457024 134512640 136120023 4294002944 18446744073709551615 134862572 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/11618/statm: 18742 18435 182 393 0 18347 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 77540

[startup+6.30781 s]
/proc/loadavg: 1.16 1.09 1.08 2/47 11619
/proc/meminfo: memFree=538212/1048576 swapFree=2078768/2097144
[pid=11617] ppid=11616 vsize=2572 CPUtime=0
/proc/11617/stat : 11617 (cudf2msu4parano) S 11616 11617 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 22 0 1 0 875306273 2633728 272 1283457024 134512640 135304128 4288299888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11617/statm: 643 272 231 194 0 29 0
[pid=11618] ppid=11617 vsize=74968 CPUtime=6.3
/proc/11618/stat : 11618 (cudf_msu32) R 11617 11617 2059 34821 2220 4202496 29450 0 0 0 617 13 0 0 25 0 1 0 875306273 76767232 18435 1283457024 134512640 136120023 4294002944 18446744073709551615 134871054 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/11618/statm: 18742 18435 182 393 0 18347 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 77540

[startup+12.7094 s]
/proc/loadavg: 1.15 1.09 1.08 2/47 11619
/proc/meminfo: memFree=538212/1048576 swapFree=2078768/2097144
[pid=11617] ppid=11616 vsize=2572 CPUtime=0
/proc/11617/stat : 11617 (cudf2msu4parano) S 11616 11617 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 22 0 1 0 875306273 2633728 272 1283457024 134512640 135304128 4288299888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11617/statm: 643 272 231 194 0 29 0
[pid=11618] ppid=11617 vsize=74968 CPUtime=12.7
/proc/11618/stat : 11618 (cudf_msu32) R 11617 11617 2059 34821 2220 4202496 29450 0 0 0 1257 13 0 0 25 0 1 0 875306273 76767232 18435 1283457024 134512640 136120023 4294002944 18446744073709551615 134870168 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/11618/statm: 18742 18435 182 393 0 18347 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 77540

[startup+25.5125 s]
/proc/loadavg: 1.12 1.09 1.07 2/47 11619
/proc/meminfo: memFree=523952/1048576 swapFree=2078768/2097144
[pid=11617] ppid=11616 vsize=2572 CPUtime=0
/proc/11617/stat : 11617 (cudf2msu4parano) S 11616 11617 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 22 0 1 0 875306273 2633728 272 1283457024 134512640 135304128 4288299888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11617/statm: 643 272 231 194 0 29 0
[pid=11618] ppid=11617 vsize=89356 CPUtime=25.48
/proc/11618/stat : 11618 (cudf_msu32) R 11617 11617 2059 34821 2220 4202496 33042 0 0 0 2530 18 0 0 25 0 1 0 875306273 91500544 22027 1283457024 134512640 136120023 4294002944 18446744073709551615 134862581 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/11618/statm: 22339 22027 182 393 0 21944 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 91928

[startup+51.1096 s]
/proc/loadavg: 1.08 1.08 1.07 2/47 11619
/proc/meminfo: memFree=497912/1048576 swapFree=2078768/2097144
[pid=11617] ppid=11616 vsize=2572 CPUtime=0
/proc/11617/stat : 11617 (cudf2msu4parano) S 11616 11617 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 22 0 1 0 875306273 2633728 272 1283457024 134512640 135304128 4288299888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11617/statm: 643 272 231 194 0 29 0
[pid=11618] ppid=11617 vsize=116228 CPUtime=51.06
/proc/11618/stat : 11618 (cudf_msu32) R 11617 11617 2059 34821 2220 4202496 39916 0 0 0 5081 25 0 0 25 0 1 0 875306273 119017472 28645 1283457024 134512640 136120023 4294002944 18446744073709551615 134869912 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/11618/statm: 29057 28645 182 393 0 28662 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 118800

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

[startup+51.2097 s]
/proc/loadavg: 1.08 1.08 1.07 2/47 11619
/proc/meminfo: memFree=497912/1048576 swapFree=2078768/2097144
[pid=11617] ppid=11616 vsize=2572 CPUtime=0
/proc/11617/stat : 11617 (cudf2msu4parano) S 11616 11617 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 22 0 1 0 875306273 2633728 272 1283457024 134512640 135304128 4288299888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11617/statm: 643 272 231 194 0 29 0
[pid=11618] ppid=11617 vsize=116492 CPUtime=51.16
/proc/11618/stat : 11618 (cudf_msu32) R 11617 11617 2059 34821 2220 4202496 39957 0 0 0 5091 25 0 0 25 0 1 0 875306273 119287808 28686 1283457024 134512640 136120023 4294002944 18446744073709551615 134870168 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/11618/statm: 29123 28686 182 393 0 28728 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 119064

[startup+76.8065 s]
/proc/loadavg: 1.05 1.07 1.07 2/47 11619
/proc/meminfo: memFree=487372/1048576 swapFree=2078768/2097144
[pid=11617] ppid=11616 vsize=2572 CPUtime=0
/proc/11617/stat : 11617 (cudf2msu4parano) S 11616 11617 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 22 0 1 0 875306273 2633728 272 1283457024 134512640 135304128 4288299888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11617/statm: 643 272 231 194 0 29 0
[pid=11618] ppid=11617 vsize=124976 CPUtime=76.74
/proc/11618/stat : 11618 (cudf_msu32) R 11617 11617 2059 34821 2220 4202496 42840 0 0 0 7649 25 0 0 25 0 1 0 875306273 127975424 30935 1283457024 134512640 136120023 4294002944 18446744073709551615 134869928 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/11618/statm: 31244 30935 182 393 0 30849 0
Current children cumulated CPU time (s) 76.74
Current children cumulated vsize (KiB) 127548

[startup+83.2083 s]
/proc/loadavg: 1.05 1.07 1.07 2/47 11619
/proc/meminfo: memFree=487372/1048576 swapFree=2078768/2097144
[pid=11617] ppid=11616 vsize=2572 CPUtime=0
/proc/11617/stat : 11617 (cudf2msu4parano) S 11616 11617 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 22 0 1 0 875306273 2633728 272 1283457024 134512640 135304128 4288299888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11617/statm: 643 272 231 194 0 29 0
[pid=11618] ppid=11617 vsize=124976 CPUtime=83.14
/proc/11618/stat : 11618 (cudf_msu32) R 11617 11617 2059 34821 2220 4202496 42840 0 0 0 8288 26 0 0 25 0 1 0 875306273 127975424 30935 1283457024 134512640 136120023 4294002944 18446744073709551615 134849879 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/11618/statm: 31244 30935 182 393 0 30849 0
Current children cumulated CPU time (s) 83.14
Current children cumulated vsize (KiB) 127548

[startup+89.6099 s]
/proc/loadavg: 1.04 1.07 1.07 2/47 11619
/proc/meminfo: memFree=487372/1048576 swapFree=2078768/2097144
[pid=11617] ppid=11616 vsize=2572 CPUtime=0
/proc/11617/stat : 11617 (cudf2msu4parano) S 11616 11617 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 22 0 1 0 875306273 2633728 272 1283457024 134512640 135304128 4288299888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11617/statm: 643 272 231 194 0 29 0
[pid=11618] ppid=11617 vsize=124976 CPUtime=89.52
/proc/11618/stat : 11618 (cudf_msu32) R 11617 11617 2059 34821 2220 4202496 42840 0 0 0 8926 26 0 0 25 0 1 0 875306273 127975424 30935 1283457024 134512640 136120023 4294002944 18446744073709551615 134869928 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/11618/statm: 31244 30935 182 393 0 30849 0
Current children cumulated CPU time (s) 89.52
Current children cumulated vsize (KiB) 127548

[startup+92.8112 s]
/proc/loadavg: 1.04 1.07 1.07 2/47 11619
/proc/meminfo: memFree=487372/1048576 swapFree=2078768/2097144
[pid=11617] ppid=11616 vsize=2572 CPUtime=0
/proc/11617/stat : 11617 (cudf2msu4parano) S 11616 11617 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 22 0 1 0 875306273 2633728 272 1283457024 134512640 135304128 4288299888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11617/statm: 643 272 231 194 0 29 0
[pid=11618] ppid=11617 vsize=124976 CPUtime=92.72
/proc/11618/stat : 11618 (cudf_msu32) R 11617 11617 2059 34821 2220 4202496 42840 0 0 0 9246 26 0 0 25 0 1 0 875306273 127975424 30935 1283457024 134512640 136120023 4294002944 18446744073709551615 134870736 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/11618/statm: 31244 30935 182 393 0 30849 0
Current children cumulated CPU time (s) 92.72
Current children cumulated vsize (KiB) 127548

[startup+94.4116 s]
/proc/loadavg: 1.04 1.07 1.07 2/47 11619
/proc/meminfo: memFree=487372/1048576 swapFree=2078768/2097144
[pid=11617] ppid=11616 vsize=2572 CPUtime=0
/proc/11617/stat : 11617 (cudf2msu4parano) S 11616 11617 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 22 0 1 0 875306273 2633728 272 1283457024 134512640 135304128 4288299888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11617/statm: 643 272 231 194 0 29 0
[pid=11618] ppid=11617 vsize=124976 CPUtime=94.32
/proc/11618/stat : 11618 (cudf_msu32) R 11617 11617 2059 34821 2220 4202496 42840 0 0 0 9406 26 0 0 25 0 1 0 875306273 127975424 30935 1283457024 134512640 136120023 4294002944 18446744073709551615 134870521 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/11618/statm: 31244 30935 182 393 0 30849 0
Current children cumulated CPU time (s) 94.32
Current children cumulated vsize (KiB) 127548

[startup+95.2119 s]
/proc/loadavg: 1.03 1.07 1.07 2/47 11619
/proc/meminfo: memFree=487372/1048576 swapFree=2078768/2097144
[pid=11617] ppid=11616 vsize=2572 CPUtime=0
/proc/11617/stat : 11617 (cudf2msu4parano) S 11616 11617 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 22 0 1 0 875306273 2633728 272 1283457024 134512640 135304128 4288299888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11617/statm: 643 272 231 194 0 29 0
[pid=11618] ppid=11617 vsize=126548 CPUtime=95.12
/proc/11618/stat : 11618 (cudf_msu32) R 11617 11617 2059 34821 2220 4202496 43220 0 0 0 9486 26 0 0 25 0 1 0 875306273 129585152 31315 1283457024 134512640 136120023 4294002944 18446744073709551615 134840886 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/11618/statm: 31637 31315 182 393 0 31242 0
Current children cumulated CPU time (s) 95.12
Current children cumulated vsize (KiB) 129120

[startup+95.4119 s]
/proc/loadavg: 1.03 1.07 1.07 2/47 11619
/proc/meminfo: memFree=487372/1048576 swapFree=2078768/2097144
[pid=11617] ppid=11616 vsize=2572 CPUtime=0
/proc/11617/stat : 11617 (cudf2msu4parano) S 11616 11617 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 22 0 1 0 875306273 2633728 272 1283457024 134512640 135304128 4288299888 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/11617/statm: 643 272 231 194 0 29 0
[pid=11618] ppid=11617 vsize=124792 CPUtime=95.31
/proc/11618/stat : 11618 (cudf_msu32) R 11617 11617 2059 34821 2220 4202496 43232 0 0 0 9505 26 0 0 25 0 1 0 875306273 127787008 30905 1283457024 134512640 136120023 4294002944 18446744073709551615 134894165 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/11618/statm: 31198 30905 182 393 0 30803 0
Current children cumulated CPU time (s) 95.31
Current children cumulated vsize (KiB) 127364

Child status: 0
Real time (s): 95.4865
CPU time (s): 95.386
CPU user time (s): 95.1019
CPU system time (s): 0.284017
CPU usage (%): 99.8947
Max. virtual memory (cumulated for all children) (KiB): 130120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.1019
system time used= 0.284017
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43634
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= 3
involuntary context switches= 1240

runsolver used 0 second user time and 0 second system time

The end