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/aspcud-trendy-1.3/rand915.sarge.cudf.sarge.log.runsolver ./aspcud-trendy-1.3 /home/misc2010/data/icse/sarge/rand915.sarge.cudf /home/misc2010/tmp/201012070034/aspcud-trendy-1.3/rand915.sarge.cudf.sarge.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.13 1.03 1.01 5/46 28874
/proc/meminfo: memFree=834764/1048576 swapFree=2077628/2097144
[pid=28872] ppid=28871 vsize=2588 CPUtime=0
/proc/28872/stat : 28872 (aspcud-trendy-1) S 28871 28872 4159 34819 4229 4202496 375 0 0 0 0 0 0 0 18 0 1 0 883588161 2650112 281 1283457024 134512640 135304128 4288711728 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/28872/statm: 647 281 237 194 0 33 0
[pid=28873] ppid=28872 vsize=2588 CPUtime=0
/proc/28873/stat : 28873 (aspcud-trendy-1) R 28872 28872 4159 34819 4229 4202560 105 0 0 0 0 0 0 0 25 0 1 0 883588161 2650112 127 1283457024 134512640 135304128 4288711728 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/28873/statm: 647 127 82 194 0 33 0
[pid=28874] ppid=28873 vsize=2588 CPUtime=0
/proc/28874/stat : 28874 (aspcud-trendy-1) R 28873 28872 4159 34819 4229 4202560 0 0 0 0 0 0 0 0 25 0 1 0 883588161 2650112 45 1283457024 134512640 135304128 4288711728 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/28874/statm: 647 45 0 194 0 33 0

[startup+0.113787 s]
/proc/loadavg: 1.13 1.03 1.01 5/46 28874
/proc/meminfo: memFree=834764/1048576 swapFree=2077628/2097144
[pid=28872] ppid=28871 vsize=2600 CPUtime=0
/proc/28872/stat : 28872 (aspcud-trendy-1) S 28871 28872 4159 34819 4229 4202496 624 2221 0 0 0 0 0 0 25 0 1 0 883588161 2662400 300 1283457024 134512640 135304128 4288711728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/28872/statm: 650 300 253 194 0 36 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2600

[startup+0.203812 s]
/proc/loadavg: 1.13 1.03 1.01 5/46 28874
/proc/meminfo: memFree=834764/1048576 swapFree=2077628/2097144
[pid=28872] ppid=28871 vsize=2600 CPUtime=0
/proc/28872/stat : 28872 (aspcud-trendy-1) S 28871 28872 4159 34819 4229 4202496 624 2221 0 0 0 0 0 0 25 0 1 0 883588161 2662400 300 1283457024 134512640 135304128 4288711728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/28872/statm: 650 300 253 194 0 36 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2600

[startup+0.313822 s]
/proc/loadavg: 1.13 1.03 1.01 5/46 28874
/proc/meminfo: memFree=834764/1048576 swapFree=2077628/2097144
[pid=28872] ppid=28871 vsize=2600 CPUtime=0
/proc/28872/stat : 28872 (aspcud-trendy-1) S 28871 28872 4159 34819 4229 4202496 624 2221 0 0 0 0 0 0 25 0 1 0 883588161 2662400 300 1283457024 134512640 135304128 4288711728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/28872/statm: 650 300 253 194 0 36 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2600

[startup+0.713905 s]
/proc/loadavg: 1.13 1.03 1.01 5/46 28874
/proc/meminfo: memFree=834764/1048576 swapFree=2077628/2097144
[pid=28872] ppid=28871 vsize=2600 CPUtime=0.52
/proc/28872/stat : 28872 (aspcud-trendy-1) S 28871 28872 4159 34819 4229 4202496 624 8430 0 0 0 0 48 4 21 0 1 0 883588161 2662400 300 1283457024 134512640 135304128 4288711728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/28872/statm: 650 300 253 194 0 36 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2600

[startup+1.50407 s]
/proc/loadavg: 1.20 1.05 1.01 2/46 28886
/proc/meminfo: memFree=826584/1048576 swapFree=2077628/2097144
[pid=28872] ppid=28871 vsize=2600 CPUtime=0.52
/proc/28872/stat : 28872 (aspcud-trendy-1) S 28871 28872 4159 34819 4229 4202496 624 8430 0 0 0 0 48 4 21 0 1 0 883588161 2662400 300 1283457024 134512640 135304128 4288711728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/28872/statm: 650 300 253 194 0 36 0
[pid=28884] ppid=28872 vsize=10000 CPUtime=0.97
/proc/28884/stat : 28884 (clasp) R 28872 28872 4159 34819 4229 4202496 2671 0 0 0 97 0 0 0 24 0 1 0 883588163 10240000 2202 1283457024 134512640 136223643 4289148000 18446744073709551615 134924239 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/28884/statm: 2500 2202 225 418 0 2080 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12600

[startup+3.10444 s]
/proc/loadavg: 1.20 1.05 1.01 2/46 28886
/proc/meminfo: memFree=826584/1048576 swapFree=2077628/2097144
[pid=28872] ppid=28871 vsize=2600 CPUtime=0.52
/proc/28872/stat : 28872 (aspcud-trendy-1) S 28871 28872 4159 34819 4229 4202496 624 8430 0 0 0 0 48 4 21 0 1 0 883588161 2662400 300 1283457024 134512640 135304128 4288711728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/28872/statm: 650 300 253 194 0 36 0
[pid=28884] ppid=28872 vsize=10264 CPUtime=2.57
/proc/28884/stat : 28884 (clasp) R 28872 28872 4159 34819 4229 4202496 2751 0 0 0 257 0 0 0 25 0 1 0 883588163 10510336 2282 1283457024 134512640 136223643 4289148000 18446744073709551615 134711229 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/28884/statm: 2566 2282 225 418 0 2146 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12864

[startup+6.3051 s]
/proc/loadavg: 1.20 1.05 1.01 2/46 28886
/proc/meminfo: memFree=826344/1048576 swapFree=2077628/2097144
[pid=28872] ppid=28871 vsize=2600 CPUtime=0.52
/proc/28872/stat : 28872 (aspcud-trendy-1) S 28871 28872 4159 34819 4229 4202496 624 8430 0 0 0 0 48 4 21 0 1 0 883588161 2662400 300 1283457024 134512640 135304128 4288711728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/28872/statm: 650 300 253 194 0 36 0
[pid=28884] ppid=28872 vsize=10396 CPUtime=5.77
/proc/28884/stat : 28884 (clasp) R 28872 28872 4159 34819 4229 4202496 2806 0 0 0 577 0 0 0 25 0 1 0 883588163 10645504 2337 1283457024 134512640 136223643 4289148000 18446744073709551615 134711220 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/28884/statm: 2599 2337 225 418 0 2179 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12996

[startup+12.7064 s]
/proc/loadavg: 1.16 1.05 1.01 2/46 28886
/proc/meminfo: memFree=826220/1048576 swapFree=2077628/2097144
[pid=28872] ppid=28871 vsize=2600 CPUtime=0.52
/proc/28872/stat : 28872 (aspcud-trendy-1) S 28871 28872 4159 34819 4229 4202496 624 8430 0 0 0 0 48 4 21 0 1 0 883588161 2662400 300 1283457024 134512640 135304128 4288711728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/28872/statm: 650 300 253 194 0 36 0
[pid=28884] ppid=28872 vsize=10528 CPUtime=12.15
/proc/28884/stat : 28884 (clasp) R 28872 28872 4159 34819 4229 4202496 2837 0 0 0 1215 0 0 0 25 0 1 0 883588163 10780672 2368 1283457024 134512640 136223643 4289148000 18446744073709551615 134711984 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/28884/statm: 2632 2368 225 418 0 2212 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 13128

[startup+25.509 s]
/proc/loadavg: 1.14 1.04 1.01 3/46 28886
/proc/meminfo: memFree=825972/1048576 swapFree=2077628/2097144
[pid=28872] ppid=28871 vsize=2600 CPUtime=0.52
/proc/28872/stat : 28872 (aspcud-trendy-1) S 28871 28872 4159 34819 4229 4202496 624 8430 0 0 0 0 48 4 21 0 1 0 883588161 2662400 300 1283457024 134512640 135304128 4288711728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/28872/statm: 650 300 253 194 0 36 0
[pid=28884] ppid=28872 vsize=10924 CPUtime=24.94
/proc/28884/stat : 28884 (clasp) R 28872 28872 4159 34819 4229 4202496 2913 0 0 0 2494 0 0 0 25 0 1 0 883588163 11186176 2444 1283457024 134512640 136223643 4289148000 18446744073709551615 134712512 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/28884/statm: 2731 2444 225 418 0 2311 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 13524

[startup+51.1045 s]
/proc/loadavg: 1.08 1.04 1.01 2/46 28886
/proc/meminfo: memFree=825724/1048576 swapFree=2077628/2097144
[pid=28872] ppid=28871 vsize=2600 CPUtime=0.52
/proc/28872/stat : 28872 (aspcud-trendy-1) S 28871 28872 4159 34819 4229 4202496 624 8430 0 0 0 0 48 4 21 0 1 0 883588161 2662400 300 1283457024 134512640 135304128 4288711728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/28872/statm: 650 300 253 194 0 36 0
[pid=28884] ppid=28872 vsize=11192 CPUtime=50.5
/proc/28884/stat : 28884 (clasp) R 28872 28872 4159 34819 4229 4202496 2987 0 0 0 5050 0 0 0 25 0 1 0 883588163 11460608 2518 1283457024 134512640 136223643 4289148000 18446744073709551615 134929167 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/28884/statm: 2798 2518 225 418 0 2378 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 13792

[startup+102.315 s]
/proc/loadavg: 1.03 1.03 1.00 2/46 28886
/proc/meminfo: memFree=825600/1048576 swapFree=2077628/2097144
[pid=28872] ppid=28871 vsize=2600 CPUtime=0.52
/proc/28872/stat : 28872 (aspcud-trendy-1) S 28871 28872 4159 34819 4229 4202496 624 8430 0 0 0 0 48 4 21 0 1 0 883588161 2662400 300 1283457024 134512640 135304128 4288711728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/28872/statm: 650 300 253 194 0 36 0
[pid=28884] ppid=28872 vsize=11324 CPUtime=101.68
/proc/28884/stat : 28884 (clasp) R 28872 28872 4159 34819 4229 4202496 3030 0 0 0 10168 0 0 0 25 0 1 0 883588163 11595776 2561 1283457024 134512640 136223643 4289148000 18446744073709551615 134711231 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/28884/statm: 2831 2561 225 418 0 2411 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 13924

[startup+162.307 s]
/proc/loadavg: 1.01 1.02 1.00 2/46 28886
/proc/meminfo: memFree=825104/1048576 swapFree=2077628/2097144
[pid=28872] ppid=28871 vsize=2600 CPUtime=0.52
/proc/28872/stat : 28872 (aspcud-trendy-1) S 28871 28872 4159 34819 4229 4202496 624 8430 0 0 0 0 48 4 21 0 1 0 883588161 2662400 300 1283457024 134512640 135304128 4288711728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/28872/statm: 650 300 253 194 0 36 0
[pid=28884] ppid=28872 vsize=11720 CPUtime=161.61
/proc/28884/stat : 28884 (clasp) R 28872 28872 4159 34819 4229 4202496 3118 0 0 0 16159 2 0 0 25 0 1 0 883588163 12001280 2649 1283457024 134512640 136223643 4289148000 18446744073709551615 134924369 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/28884/statm: 2930 2649 225 418 0 2510 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 14320

[startup+222.311 s]
/proc/loadavg: 1.00 1.02 1.00 2/46 28886
/proc/meminfo: memFree=824980/1048576 swapFree=2077628/2097144
[pid=28872] ppid=28871 vsize=2600 CPUtime=0.52
/proc/28872/stat : 28872 (aspcud-trendy-1) S 28871 28872 4159 34819 4229 4202496 624 8430 0 0 0 0 48 4 21 0 1 0 883588161 2662400 300 1283457024 134512640 135304128 4288711728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/28872/statm: 650 300 253 194 0 36 0
[pid=28884] ppid=28872 vsize=11720 CPUtime=221.57
/proc/28884/stat : 28884 (clasp) R 28872 28872 4159 34819 4229 4202496 3127 0 0 0 22155 2 0 0 25 0 1 0 883588163 12001280 2658 1283457024 134512640 136223643 4289148000 18446744073709551615 134611253 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/28884/statm: 2930 2658 225 418 0 2510 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 14320

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

[startup+224.012 s]
/proc/loadavg: 1.00 1.02 1.00 2/46 28886
/proc/meminfo: memFree=824980/1048576 swapFree=2077628/2097144
[pid=28872] ppid=28871 vsize=2600 CPUtime=0.52
/proc/28872/stat : 28872 (aspcud-trendy-1) S 28871 28872 4159 34819 4229 4202496 624 8430 0 0 0 0 48 4 21 0 1 0 883588161 2662400 300 1283457024 134512640 135304128 4288711728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/28872/statm: 650 300 253 194 0 36 0
[pid=28884] ppid=28872 vsize=11720 CPUtime=223.27
/proc/28884/stat : 28884 (clasp) R 28872 28872 4159 34819 4229 4202496 3127 0 0 0 22325 2 0 0 25 0 1 0 883588163 12001280 2658 1283457024 134512640 136223643 4289148000 18446744073709551615 134712067 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/28884/statm: 2930 2658 225 418 0 2510 0
Current children cumulated CPU time (s) 223.79
Current children cumulated vsize (KiB) 14320

[startup+227.202 s]
/proc/loadavg: 1.00 1.02 1.00 2/46 28886
/proc/meminfo: memFree=824980/1048576 swapFree=2077628/2097144
[pid=28872] ppid=28871 vsize=2600 CPUtime=0.52
/proc/28872/stat : 28872 (aspcud-trendy-1) S 28871 28872 4159 34819 4229 4202496 624 8430 0 0 0 0 48 4 21 0 1 0 883588161 2662400 300 1283457024 134512640 135304128 4288711728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/28872/statm: 650 300 253 194 0 36 0
[pid=28884] ppid=28872 vsize=11720 CPUtime=226.45
/proc/28884/stat : 28884 (clasp) R 28872 28872 4159 34819 4229 4202496 3127 0 0 0 22643 2 0 0 25 0 1 0 883588163 12001280 2658 1283457024 134512640 136223643 4289148000 18446744073709551615 134711282 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/28884/statm: 2930 2658 225 418 0 2510 0
Current children cumulated CPU time (s) 226.97
Current children cumulated vsize (KiB) 14320

[startup+230.403 s]
/proc/loadavg: 1.00 1.02 1.00 2/46 28886
/proc/meminfo: memFree=824980/1048576 swapFree=2077628/2097144
[pid=28872] ppid=28871 vsize=2600 CPUtime=0.52
/proc/28872/stat : 28872 (aspcud-trendy-1) S 28871 28872 4159 34819 4229 4202496 624 8430 0 0 0 0 48 4 21 0 1 0 883588161 2662400 300 1283457024 134512640 135304128 4288711728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/28872/statm: 650 300 253 194 0 36 0
[pid=28884] ppid=28872 vsize=11720 CPUtime=229.65
/proc/28884/stat : 28884 (clasp) R 28872 28872 4159 34819 4229 4202496 3127 0 0 0 22963 2 0 0 25 0 1 0 883588163 12001280 2658 1283457024 134512640 136223643 4289148000 18446744073709551615 134711220 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/28884/statm: 2930 2658 225 418 0 2510 0
Current children cumulated CPU time (s) 230.17
Current children cumulated vsize (KiB) 14320

[startup+232.003 s]
/proc/loadavg: 1.00 1.02 1.00 2/46 28886
/proc/meminfo: memFree=824980/1048576 swapFree=2077628/2097144
[pid=28872] ppid=28871 vsize=2600 CPUtime=0.52
/proc/28872/stat : 28872 (aspcud-trendy-1) S 28871 28872 4159 34819 4229 4202496 624 8430 0 0 0 0 48 4 21 0 1 0 883588161 2662400 300 1283457024 134512640 135304128 4288711728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/28872/statm: 650 300 253 194 0 36 0
[pid=28884] ppid=28872 vsize=11852 CPUtime=231.25
/proc/28884/stat : 28884 (clasp) R 28872 28872 4159 34819 4229 4202496 3139 0 0 0 23123 2 0 0 25 0 1 0 883588163 12136448 2670 1283457024 134512640 136223643 4289148000 18446744073709551615 134922671 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/28884/statm: 2963 2670 225 418 0 2543 0
Current children cumulated CPU time (s) 231.77
Current children cumulated vsize (KiB) 14452

[startup+232.804 s]
/proc/loadavg: 1.00 1.02 1.00 2/46 28886
/proc/meminfo: memFree=824980/1048576 swapFree=2077628/2097144
[pid=28872] ppid=28871 vsize=2600 CPUtime=0.52
/proc/28872/stat : 28872 (aspcud-trendy-1) S 28871 28872 4159 34819 4229 4202496 624 8430 0 0 0 0 48 4 21 0 1 0 883588161 2662400 300 1283457024 134512640 135304128 4288711728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/28872/statm: 650 300 253 194 0 36 0
[pid=28884] ppid=28872 vsize=11852 CPUtime=232.05
/proc/28884/stat : 28884 (clasp) R 28872 28872 4159 34819 4229 4202496 3141 0 0 0 23201 4 0 0 25 0 1 0 883588163 12136448 2672 1283457024 134512640 136223643 4289148000 18446744073709551615 134931093 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/28884/statm: 2963 2672 225 418 0 2543 0
Current children cumulated CPU time (s) 232.57
Current children cumulated vsize (KiB) 14452

[startup+233.004 s]
/proc/loadavg: 1.00 1.02 1.00 2/46 28886
/proc/meminfo: memFree=824980/1048576 swapFree=2077628/2097144
[pid=28872] ppid=28871 vsize=2600 CPUtime=0.52
/proc/28872/stat : 28872 (aspcud-trendy-1) S 28871 28872 4159 34819 4229 4202496 624 8430 0 0 0 0 48 4 21 0 1 0 883588161 2662400 300 1283457024 134512640 135304128 4288711728 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/28872/statm: 650 300 253 194 0 36 0
[pid=28884] ppid=28872 vsize=11852 CPUtime=232.25
/proc/28884/stat : 28884 (clasp) R 28872 28872 4159 34819 4229 4202496 3141 0 0 0 23221 4 0 0 25 0 1 0 883588163 12136448 2672 1283457024 134512640 136223643 4289148000 18446744073709551615 134931303 0 0 6 16384 0 0 0 17 0 0 0 0
/proc/28884/statm: 2963 2672 225 418 0 2543 0
Current children cumulated CPU time (s) 232.77
Current children cumulated vsize (KiB) 14452

Child status: 0
Real time (s): 233.067
CPU time (s): 232.839
CPU user time (s): 232.747
CPU system time (s): 0.092005
CPU usage (%): 99.9019
Max. virtual memory (cumulated for all children) (KiB): 14452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 232.747
system time used= 0.092005
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15835
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= 529
involuntary context switches= 3457

runsolver used 0.012 second user time and 0 second system time

The end