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/apt-pbo-trendy-1.0.6/rand878003.cudf.impossible.log.runsolver ./apt-pbo-trendy-1.0.6 /home/misc2010/data/2010/impossible//rand878003.cudf /home/misc2010/tmp/201012070034/apt-pbo-trendy-1.0.6/rand878003.cudf.impossible.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.05 1.08 1.03 1/44 29779
/proc/meminfo: memFree=945412/1048576 swapFree=2077628/2097144
[pid=29779] ppid=29778 vsize=3024 CPUtime=0
/proc/29779/stat : 29779 (runsolver) D 29778 29779 4159 34819 4229 4202560 73 0 0 0 0 0 0 0 22 0 1 0 883679345 3096576 94 1283457024 134512640 134586868 4291982960 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0
/proc/29779/statm: 756 94 62 19 0 54 0

[startup+0.185436 s]
/proc/loadavg: 1.05 1.08 1.03 1/44 29779
/proc/meminfo: memFree=945412/1048576 swapFree=2077628/2097144
[pid=29779] ppid=29778 vsize=1676 CPUtime=0
/proc/29779/stat : 29779 (sh) S 29778 29779 4159 34819 4229 4202496 221 175 0 0 0 0 0 0 23 0 1 0 883679345 1716224 128 1283457024 134512640 134594024 4294184368 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/29779/statm: 419 128 112 20 0 45 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1676

[startup+0.205438 s]
/proc/loadavg: 1.05 1.08 1.03 1/44 29779
/proc/meminfo: memFree=945412/1048576 swapFree=2077628/2097144
[pid=29779] ppid=29778 vsize=1676 CPUtime=0
/proc/29779/stat : 29779 (sh) S 29778 29779 4159 34819 4229 4202496 221 175 0 0 0 0 0 0 23 0 1 0 883679345 1716224 128 1283457024 134512640 134594024 4294184368 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/29779/statm: 419 128 112 20 0 45 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1676

[startup+0.305463 s]
/proc/loadavg: 1.05 1.08 1.03 1/44 29779
/proc/meminfo: memFree=945412/1048576 swapFree=2077628/2097144
[pid=29779] ppid=29778 vsize=1676 CPUtime=0
/proc/29779/stat : 29779 (sh) S 29778 29779 4159 34819 4229 4202496 221 175 0 0 0 0 0 0 23 0 1 0 883679345 1716224 128 1283457024 134512640 134594024 4294184368 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/29779/statm: 419 128 112 20 0 45 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1676

[startup+0.713859 s]
/proc/loadavg: 1.05 1.08 1.03 1/44 29779
/proc/meminfo: memFree=945412/1048576 swapFree=2077628/2097144
[pid=29779] ppid=29778 vsize=1676 CPUtime=0
/proc/29779/stat : 29779 (sh) S 29778 29779 4159 34819 4229 4202496 221 175 0 0 0 0 0 0 23 0 1 0 883679345 1716224 128 1283457024 134512640 134594024 4294184368 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/29779/statm: 419 128 112 20 0 45 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1676

[startup+1.51406 s]
/proc/loadavg: 1.05 1.08 1.03 2/47 29785
/proc/meminfo: memFree=922368/1048576 swapFree=2077628/2097144
[pid=29779] ppid=29778 vsize=1676 CPUtime=0
/proc/29779/stat : 29779 (sh) S 29778 29779 4159 34819 4229 4202496 221 175 0 0 0 0 0 0 23 0 1 0 883679345 1716224 128 1283457024 134512640 134594024 4294184368 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/29779/statm: 419 128 112 20 0 45 0
[pid=29782] ppid=29779 vsize=8352 CPUtime=0.01
/proc/29782/stat : 29782 (apt-pbo) S 29779 29779 4159 34819 4229 4202496 1582 412 31 0 1 0 0 0 23 0 1 0 883679347 8552448 1422 1283457024 134512640 135744540 4289693952 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/29782/statm: 2088 1422 646 301 0 821 0
[pid=29785] ppid=29782 vsize=23124 CPUtime=0.94
/proc/29785/stat : 29785 (cudftodeb.nativ) R 29782 29779 4159 34819 4229 4202496 5346 0 12 0 94 0 0 0 25 0 1 0 883679392 23678976 5276 1283457024 134512640 135029684 4288916032 18446744073709551615 135011982 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/29785/statm: 5781 5276 247 127 0 5164 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 33152

[startup+3.11451 s]
/proc/loadavg: 1.05 1.08 1.03 2/47 29785
/proc/meminfo: memFree=893488/1048576 swapFree=2077628/2097144
[pid=29779] ppid=29778 vsize=1676 CPUtime=0
/proc/29779/stat : 29779 (sh) S 29778 29779 4159 34819 4229 4202496 221 175 0 0 0 0 0 0 23 0 1 0 883679345 1716224 128 1283457024 134512640 134594024 4294184368 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/29779/statm: 419 128 112 20 0 45 0
[pid=29782] ppid=29779 vsize=8352 CPUtime=0.01
/proc/29782/stat : 29782 (apt-pbo) S 29779 29779 4159 34819 4229 4202496 1582 412 31 0 1 0 0 0 23 0 1 0 883679347 8552448 1422 1283457024 134512640 135744540 4289693952 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/29782/statm: 2088 1422 646 301 0 821 0
[pid=29785] ppid=29782 vsize=55136 CPUtime=2.53
/proc/29785/stat : 29785 (cudftodeb.nativ) R 29782 29779 4159 34819 4229 4202496 13370 0 12 0 249 4 0 0 25 0 1 0 883679392 56459264 13300 1283457024 134512640 135029684 4288916032 18446744073709551615 134977563 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/29785/statm: 13784 13300 247 127 0 13167 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 65164

[startup+6.30589 s]
/proc/loadavg: 1.04 1.08 1.03 2/47 29785
/proc/meminfo: memFree=817644/1048576 swapFree=2077628/2097144
[pid=29779] ppid=29778 vsize=1676 CPUtime=0
/proc/29779/stat : 29779 (sh) S 29778 29779 4159 34819 4229 4202496 221 175 0 0 0 0 0 0 23 0 1 0 883679345 1716224 128 1283457024 134512640 134594024 4294184368 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/29779/statm: 419 128 112 20 0 45 0
[pid=29782] ppid=29779 vsize=8352 CPUtime=0.01
/proc/29782/stat : 29782 (apt-pbo) S 29779 29779 4159 34819 4229 4202496 1582 412 31 0 1 0 0 0 23 0 1 0 883679347 8552448 1422 1283457024 134512640 135744540 4289693952 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/29782/statm: 2088 1422 646 301 0 821 0
[pid=29785] ppid=29782 vsize=118896 CPUtime=5.66
/proc/29785/stat : 29785 (cudftodeb.nativ) R 29782 29779 4159 34819 4229 4202496 29166 0 12 0 560 6 0 0 25 0 1 0 883679392 121749504 29096 1283457024 134512640 135029684 4288916032 18446744073709551615 4160155139 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/29785/statm: 29724 29096 257 127 0 29107 0
Current children cumulated CPU time (s) 5.67
Current children cumulated vsize (KiB) 128924

[startup+12.7096 s]
/proc/loadavg: 1.04 1.07 1.03 2/47 29785
/proc/meminfo: memFree=801184/1048576 swapFree=2077628/2097144
[pid=29779] ppid=29778 vsize=1676 CPUtime=0
/proc/29779/stat : 29779 (sh) S 29778 29779 4159 34819 4229 4202496 221 175 0 0 0 0 0 0 23 0 1 0 883679345 1716224 128 1283457024 134512640 134594024 4294184368 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/29779/statm: 419 128 112 20 0 45 0
[pid=29782] ppid=29779 vsize=8352 CPUtime=0.01
/proc/29782/stat : 29782 (apt-pbo) S 29779 29779 4159 34819 4229 4202496 1582 412 31 0 1 0 0 0 23 0 1 0 883679347 8552448 1422 1283457024 134512640 135744540 4289693952 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/29782/statm: 2088 1422 646 301 0 821 0
[pid=29785] ppid=29782 vsize=99312 CPUtime=11.97
/proc/29785/stat : 29785 (cudftodeb.nativ) R 29782 29779 4159 34819 4229 4202496 37967 0 12 0 1021 176 0 0 25 0 1 0 883679392 101695488 24272 1283457024 134512640 135029684 4288916032 18446744073709551615 134973030 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/29785/statm: 24828 24272 258 127 0 24211 0
Current children cumulated CPU time (s) 11.98
Current children cumulated vsize (KiB) 109340

[startup+25.511 s]
/proc/loadavg: 1.03 1.07 1.03 2/48 29798
/proc/meminfo: memFree=769112/1048576 swapFree=2077628/2097144
[pid=29779] ppid=29778 vsize=1676 CPUtime=0
/proc/29779/stat : 29779 (sh) S 29778 29779 4159 34819 4229 4202496 221 175 0 0 0 0 0 0 23 0 1 0 883679345 1716224 128 1283457024 134512640 134594024 4294184368 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/29779/statm: 419 128 112 20 0 45 0
[pid=29782] ppid=29779 vsize=48788 CPUtime=17.13
/proc/29782/stat : 29782 (apt-pbo) S 29779 29779 4159 34819 4229 4202496 11673 51236 31 565 56 48 1365 244 18 0 1 0 883679347 49958912 11085 1283457024 134512640 135744540 4289693952 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/29782/statm: 12197 11085 9576 301 0 1534 0
[pid=29795] ppid=29782 vsize=2584 CPUtime=0
/proc/29795/stat : 29795 (apt-get.sh) S 29782 29779 4159 34819 4229 4202496 461 491 0 0 0 0 0 0 18 0 1 0 883681400 2646016 279 1283457024 134512640 135304128 4292990448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29795/statm: 646 279 235 194 0 32 0
[pid=29798] ppid=29795 vsize=44632 CPUtime=4.13
/proc/29798/stat : 29798 (apt-get) R 29795 29779 4159 34819 4229 4202496 10252 0 0 0 366 47 0 0 25 0 1 0 883681401 45703168 10128 1283457024 134512640 134649604 4287185056 18446744073709551615 4157327073 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/29798/statm: 11158 10128 9274 34 0 852 0
Current children cumulated CPU time (s) 21.26
Current children cumulated vsize (KiB) 97680

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

[startup+25.611 s]
/proc/loadavg: 1.03 1.07 1.03 2/48 29798
/proc/meminfo: memFree=769112/1048576 swapFree=2077628/2097144
[pid=29779] ppid=29778 vsize=1676 CPUtime=0
/proc/29779/stat : 29779 (sh) S 29778 29779 4159 34819 4229 4202496 221 175 0 0 0 0 0 0 23 0 1 0 883679345 1716224 128 1283457024 134512640 134594024 4294184368 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/29779/statm: 419 128 112 20 0 45 0
[pid=29782] ppid=29779 vsize=48788 CPUtime=17.14
/proc/29782/stat : 29782 (apt-pbo) S 29779 29779 4159 34819 4229 4202496 11673 51236 31 565 57 48 1365 244 18 0 1 0 883679347 49958912 11085 1283457024 134512640 135744540 4289693952 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/29782/statm: 12197 11085 9576 301 0 1534 0
[pid=29795] ppid=29782 vsize=2584 CPUtime=0
/proc/29795/stat : 29795 (apt-get.sh) S 29782 29779 4159 34819 4229 4202496 461 491 0 0 0 0 0 0 18 0 1 0 883681400 2646016 279 1283457024 134512640 135304128 4292990448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29795/statm: 646 279 235 194 0 32 0
[pid=29798] ppid=29795 vsize=44632 CPUtime=4.21
/proc/29798/stat : 29798 (apt-get) R 29795 29779 4159 34819 4229 4202496 10252 0 0 0 373 48 0 0 25 0 1 0 883681401 45703168 10128 1283457024 134512640 134649604 4287185056 18446744073709551615 4157673179 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/29798/statm: 11158 10128 9274 34 0 852 0
Current children cumulated CPU time (s) 21.35
Current children cumulated vsize (KiB) 97680

[startup+28.8118 s]
/proc/loadavg: 1.03 1.07 1.03 2/48 29798
/proc/meminfo: memFree=764648/1048576 swapFree=2077628/2097144
[pid=29779] ppid=29778 vsize=1676 CPUtime=0
/proc/29779/stat : 29779 (sh) S 29778 29779 4159 34819 4229 4202496 221 175 0 0 0 0 0 0 23 0 1 0 883679345 1716224 128 1283457024 134512640 134594024 4294184368 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/29779/statm: 419 128 112 20 0 45 0
[pid=29782] ppid=29779 vsize=48788 CPUtime=17.67
/proc/29782/stat : 29782 (apt-pbo) S 29779 29779 4159 34819 4229 4202496 11673 51236 31 565 80 78 1365 244 18 0 1 0 883679347 49958912 11085 1283457024 134512640 135744540 4289693952 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/29782/statm: 12197 11085 9576 301 0 1534 0
[pid=29795] ppid=29782 vsize=2584 CPUtime=0
/proc/29795/stat : 29795 (apt-get.sh) S 29782 29779 4159 34819 4229 4202496 461 491 0 0 0 0 0 0 18 0 1 0 883681400 2646016 279 1283457024 134512640 135304128 4292990448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29795/statm: 646 279 235 194 0 32 0
[pid=29798] ppid=29795 vsize=44888 CPUtime=6.89
/proc/29798/stat : 29798 (apt-get) R 29795 29779 4159 34819 4229 4202496 10305 0 0 0 598 91 0 0 25 0 1 0 883681401 45965312 10181 1283457024 134512640 134649604 4287185056 18446744073709551615 4157350899 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/29798/statm: 11222 10181 9274 34 0 916 0
Current children cumulated CPU time (s) 24.56
Current children cumulated vsize (KiB) 97936

[startup+32.0091 s]
/proc/loadavg: 1.03 1.07 1.03 3/48 29798
/proc/meminfo: memFree=760556/1048576 swapFree=2077628/2097144
[pid=29779] ppid=29778 vsize=1676 CPUtime=0
/proc/29779/stat : 29779 (sh) S 29778 29779 4159 34819 4229 4202496 221 175 0 0 0 0 0 0 23 0 1 0 883679345 1716224 128 1283457024 134512640 134594024 4294184368 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/29779/statm: 419 128 112 20 0 45 0
[pid=29782] ppid=29779 vsize=48788 CPUtime=18.1
/proc/29782/stat : 29782 (apt-pbo) S 29779 29779 4159 34819 4229 4202496 11673 51236 31 565 95 106 1365 244 18 0 1 0 883679347 49958912 11085 1283457024 134512640 135744540 4289693952 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/29782/statm: 12197 11085 9576 301 0 1534 0
[pid=29795] ppid=29782 vsize=2584 CPUtime=0
/proc/29795/stat : 29795 (apt-get.sh) S 29782 29779 4159 34819 4229 4202496 461 491 0 0 0 0 0 0 18 0 1 0 883681400 2646016 279 1283457024 134512640 135304128 4292990448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29795/statm: 646 279 235 194 0 32 0
[pid=29798] ppid=29795 vsize=45144 CPUtime=9.56
/proc/29798/stat : 29798 (apt-get) R 29795 29779 4159 34819 4229 4202496 10391 0 0 0 824 132 0 0 25 0 1 0 883681401 46227456 10203 1283457024 134512640 134649604 4287185056 18446744073709551615 4157322423 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/29798/statm: 11286 10203 9274 34 0 980 0
Current children cumulated CPU time (s) 27.66
Current children cumulated vsize (KiB) 98192

[startup+32.8093 s]
/proc/loadavg: 1.03 1.07 1.03 3/48 29798
/proc/meminfo: memFree=760556/1048576 swapFree=2077628/2097144
[pid=29779] ppid=29778 vsize=1676 CPUtime=0
/proc/29779/stat : 29779 (sh) S 29778 29779 4159 34819 4229 4202496 221 175 0 0 0 0 0 0 23 0 1 0 883679345 1716224 128 1283457024 134512640 134594024 4294184368 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/29779/statm: 419 128 112 20 0 45 0
[pid=29782] ppid=29779 vsize=48788 CPUtime=18.18
/proc/29782/stat : 29782 (apt-pbo) S 29779 29779 4159 34819 4229 4202496 11673 51236 31 565 100 109 1365 244 18 0 1 0 883679347 49958912 11085 1283457024 134512640 135744540 4289693952 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/29782/statm: 12197 11085 9576 301 0 1534 0
[pid=29795] ppid=29782 vsize=2584 CPUtime=0
/proc/29795/stat : 29795 (apt-get.sh) S 29782 29779 4159 34819 4229 4202496 461 491 0 0 0 0 0 0 18 0 1 0 883681400 2646016 279 1283457024 134512640 135304128 4292990448 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29795/statm: 646 279 235 194 0 32 0
[pid=29798] ppid=29795 vsize=45144 CPUtime=10.29
/proc/29798/stat : 29798 (apt-get) R 29795 29779 4159 34819 4229 4202496 10398 0 0 0 885 144 0 0 25 0 1 0 883681401 46227456 10210 1283457024 134512640 134649604 4287185056 18446744073709551615 4294960130 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/29798/statm: 11286 10210 9275 34 0 980 0
Current children cumulated CPU time (s) 28.47
Current children cumulated vsize (KiB) 98192

[startup+33.6092 s]
/proc/loadavg: 1.03 1.07 1.03 2/48 29798
/proc/meminfo: memFree=750884/1048576 swapFree=2077628/2097144
[pid=29779] ppid=29778 vsize=1676 CPUtime=0
/proc/29779/stat : 29779 (sh) S 29778 29779 4159 34819 4229 4202496 221 175 0 0 0 0 0 0 23 0 1 0 883679345 1716224 128 1283457024 134512640 134594024 4294184368 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/29779/statm: 419 128 112 20 0 45 0
[pid=29782] ppid=29779 vsize=50840 CPUtime=28.88
/proc/29782/stat : 29782 (apt-pbo) S 29779 29779 4159 34819 4229 4202496 12302 62598 31 565 100 112 2261 415 18 0 1 0 883679347 52060160 11601 1283457024 134512640 135744540 4289693952 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0
/proc/29782/statm: 12710 11601 9579 301 0 2047 0
Current children cumulated CPU time (s) 28.88
Current children cumulated vsize (KiB) 52516

[startup+33.8035 s]
/proc/loadavg: 1.03 1.07 1.03 2/48 29798
/proc/meminfo: memFree=750884/1048576 swapFree=2077628/2097144
[pid=29779] ppid=29778 vsize=1676 CPUtime=0
/proc/29779/stat : 29779 (sh) S 29778 29779 4159 34819 4229 4202496 221 175 0 0 0 0 0 0 23 0 1 0 883679345 1716224 128 1283457024 134512640 134594024 4294184368 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0
/proc/29779/statm: 419 128 112 20 0 45 0
[pid=29782] ppid=29779 vsize=51280 CPUtime=28.92
/proc/29782/stat : 29782 (apt-pbo) R 29779 29779 4159 34819 4229 4202496 12531 62598 31 565 104 112 2261 415 18 0 1 0 883679347 52510720 11714 1283457024 134512640 135744540 4289693952 18446744073709551615 135095366 0 0 128 0 0 0 0 17 0 0 0 0
/proc/29782/statm: 12820 11714 9580 301 0 2157 0
Current children cumulated CPU time (s) 28.92
Current children cumulated vsize (KiB) 52956

Child status: 0
Real time (s): 33.8499
CPU time (s): 28.9818
CPU user time (s): 23.6935
CPU system time (s): 5.28833
CPU usage (%): 85.6187
Max. virtual memory (cumulated for all children) (KiB): 160676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.6935
system time used= 5.28833
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75787
page faults= 596
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 267679
involuntary context switches= 267737

runsolver used 0 second user time and 0.004 second system time

The end