runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3461523-1307103112/watcher-3461523-1307103112 -o /tmp/evaluation-result-3461523-1307103112/solver-3461523-1307103112 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3461523-1307103112.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.16 2.09 2.02 2/550 22330
/proc/meminfo: memFree=21178248/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=2368 CPUtime=0.01 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 420 0 0 0 1 0 0 0 18 0 1 0 821911618 2424832 354 33554432000 4194304 5714214 140735002397616 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22330/statm: 592 354 180 372 0 217 0
[startup+0.0952829 s]
/proc/loadavg: 2.16 2.09 2.02 2/550 22330
/proc/meminfo: memFree=21178248/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=2896 CPUtime=0.09 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 532 0 0 0 9 0 0 0 18 0 1 0 821911618 2965504 466 33554432000 4194304 5714214 140735002397616 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22330/statm: 724 466 180 372 0 349 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2896
[startup+0.100262 s]
/proc/loadavg: 2.16 2.09 2.02 2/550 22330
/proc/meminfo: memFree=21178248/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=2896 CPUtime=0.09 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 542 0 0 0 9 0 0 0 18 0 1 0 821911618 2965504 476 33554432000 4194304 5714214 140735002397616 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22330/statm: 724 476 180 372 0 349 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2896
[startup+0.300276 s]
/proc/loadavg: 2.16 2.09 2.02 2/550 22330
/proc/meminfo: memFree=21178248/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=4376 CPUtime=0.29 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 904 0 0 0 29 0 0 0 18 0 1 0 821911618 4481024 838 33554432000 4194304 5714214 140735002397616 18446744073709551615 4319297 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22330/statm: 1094 838 180 372 0 719 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4376
[startup+0.701177 s]
/proc/loadavg: 2.16 2.09 2.02 2/550 22330
/proc/meminfo: memFree=21178248/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=5696 CPUtime=0.69 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 1250 0 0 0 69 0 0 0 18 0 1 0 821911618 5832704 1184 33554432000 4194304 5714214 140735002397616 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/22330/statm: 1424 1184 180 372 0 1049 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5696
[startup+1.50097 s]
/proc/loadavg: 2.15 2.09 2.02 3/551 22331
/proc/meminfo: memFree=21164104/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=11312 CPUtime=1.49 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 2626 0 0 0 148 1 0 0 20 0 1 0 821911618 11583488 2560 33554432000 4194304 5714214 140735002397616 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/22330/statm: 2828 2560 180 372 0 2453 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11312
[startup+3.10068 s]
/proc/loadavg: 2.15 2.09 2.02 3/551 22331
/proc/meminfo: memFree=21152088/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=17456 CPUtime=3.06 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 4138 0 0 0 304 2 0 0 25 0 1 0 821911618 17874944 4072 33554432000 4194304 5714214 140735002397616 18446744073709551615 4311264 0 0 4096 3 0 0 0 17 6 0 0 0
/proc/22330/statm: 4364 4072 180 372 0 3989 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 17456
[startup+6.30017 s]
/proc/loadavg: 2.15 2.09 2.02 3/551 22331
/proc/meminfo: memFree=21137456/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=19156 CPUtime=6.23 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 4983 0 0 0 618 5 0 0 25 0 1 0 821911618 19615744 4537 33554432000 4194304 5714214 140735002397616 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22330/statm: 4789 4537 180 372 0 4414 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 19156
[startup+12.701 s]
/proc/loadavg: 2.12 2.08 2.02 3/551 22331
/proc/meminfo: memFree=21125360/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=25968 CPUtime=12.63 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 6667 0 0 0 1254 9 0 0 25 0 1 0 821911618 26591232 6221 33554432000 4194304 5714214 140735002397616 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22330/statm: 6492 6221 180 372 0 6117 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 25968
[startup+25.5006 s]
/proc/loadavg: 2.25 2.11 2.03 3/551 22331
/proc/meminfo: memFree=21089416/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=47180 CPUtime=25.43 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 11934 0 0 0 2525 18 0 0 25 0 1 0 821911618 48312320 11488 33554432000 4194304 5714214 140735002397616 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22330/statm: 11795 11488 180 372 0 11420 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 47180
[startup+51.101 s]
/proc/loadavg: 2.16 2.10 2.02 3/551 22332
/proc/meminfo: memFree=21051892/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=78476 CPUtime=51.03 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 19711 0 0 0 5074 29 0 0 25 0 1 0 821911618 80359424 19265 33554432000 4194304 5714214 140735002397616 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22330/statm: 19619 19265 180 372 0 19244 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 78476
[startup+102.321 s]
/proc/loadavg: 2.11 2.10 2.02 3/551 22334
/proc/meminfo: memFree=20978332/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=116876 CPUtime=102.25 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 29201 0 0 0 10174 51 0 0 25 0 1 0 821911618 119681024 28755 33554432000 4194304 5714214 140735002397616 18446744073709551615 4319428 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22330/statm: 29219 28755 180 372 0 28844 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 116876
[startup+162.301 s]
/proc/loadavg: 2.04 2.08 2.02 3/551 22335
/proc/meminfo: memFree=20873540/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=168996 CPUtime=162.24 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 41993 0 0 0 16149 75 0 0 25 0 1 0 821911618 173051904 41547 33554432000 4194304 5714214 140735002397616 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22330/statm: 42249 41547 180 372 0 41874 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 168996
[startup+222.301 s]
/proc/loadavg: 2.01 2.06 2.01 3/551 22337
/proc/meminfo: memFree=20793160/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=211664 CPUtime=222.24 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 52497 0 0 0 22129 95 0 0 25 0 1 0 821911618 216743936 52051 33554432000 4194304 5714214 140735002397616 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22330/statm: 52916 52051 180 372 0 52541 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 211664
[startup+282.301 s]
/proc/loadavg: 2.00 2.05 2.01 3/551 22365
/proc/meminfo: memFree=20917832/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=253712 CPUtime=282.24 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 62866 0 0 0 28106 118 0 0 25 0 1 0 821911618 259801088 62420 33554432000 4194304 5714214 140735002397616 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22330/statm: 63428 62420 180 372 0 63053 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 253712
[startup+342.301 s]
/proc/loadavg: 2.14 2.08 2.02 3/551 22367
/proc/meminfo: memFree=20807012/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=282364 CPUtime=342.24 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 69922 0 0 0 34086 138 0 0 25 0 1 0 821911618 289140736 69476 33554432000 4194304 5714214 140735002397616 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22330/statm: 70591 69476 180 372 0 70216 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 282364
[startup+402.3 s]
/proc/loadavg: 2.15 2.11 2.03 5/551 22395
/proc/meminfo: memFree=20794568/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=318184 CPUtime=402.24 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 78874 0 0 0 40069 155 0 0 25 0 1 0 821911618 325820416 78428 33554432000 4194304 5714214 140735002397616 18446744073709551615 4319852 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22330/statm: 79546 78428 180 372 0 79171 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 318184
[startup+462.3 s]
/proc/loadavg: 2.09 2.10 2.03 5/551 22397
/proc/meminfo: memFree=20713944/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=352772 CPUtime=462.25 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 87355 0 0 0 46051 174 0 0 25 0 1 0 821911618 361238528 86909 33554432000 4194304 5714214 140735002397616 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22330/statm: 88193 86909 180 372 0 87818 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 352772
[startup+522.3 s]
/proc/loadavg: 2.03 2.08 2.02 4/551 22399
/proc/meminfo: memFree=20642000/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=383504 CPUtime=522.24 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 94962 0 0 0 52030 194 0 0 25 0 1 0 821911618 392708096 94516 33554432000 4194304 5714214 140735002397616 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22330/statm: 95876 94516 180 372 0 95501 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 383504
[startup+582.3 s]
/proc/loadavg: 2.01 2.06 2.02 5/551 22400
/proc/meminfo: memFree=20544640/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=414708 CPUtime=582.24 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 102741 0 0 0 58013 211 0 0 25 0 1 0 821911618 424660992 102295 33554432000 4194304 5714214 140735002397616 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22330/statm: 103677 102295 180 372 0 103302 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 414708
[startup+642.301 s]
/proc/loadavg: 2.00 2.05 2.01 5/551 22402
/proc/meminfo: memFree=20471696/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=450948 CPUtime=642.26 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 111686 0 0 0 63994 232 0 0 25 0 1 0 821911618 461770752 111240 33554432000 4194304 5714214 140735002397616 18446744073709551615 4319274 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22330/statm: 112737 111240 180 372 0 112362 0
Current children cumulated CPU time (s) 642.26
Current children cumulated vsize (KiB) 450948
[startup+702.301 s]
/proc/loadavg: 2.00 2.04 2.00 4/551 22404
/proc/meminfo: memFree=20422824/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=478184 CPUtime=702.24 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 118433 0 0 0 69981 243 0 0 25 0 1 0 821911618 489660416 117987 33554432000 4194304 5714214 140735002397616 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22330/statm: 119546 117987 180 372 0 119171 0
Current children cumulated CPU time (s) 702.24
Current children cumulated vsize (KiB) 478184
Solver just ended. Dumping a history of the last processes samples
[startup+716.701 s]
/proc/loadavg: 2.00 2.03 2.00 4/551 22404
/proc/meminfo: memFree=20399884/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=485460 CPUtime=716.65 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 120230 0 0 0 71419 246 0 0 25 0 1 0 821911618 497111040 119784 33554432000 4194304 5714214 140735002397616 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22330/statm: 121365 119784 180 372 0 120990 0
Current children cumulated CPU time (s) 716.65
Current children cumulated vsize (KiB) 485460
[startup+729.501 s]
/proc/loadavg: 2.00 2.03 2.00 4/551 22404
/proc/meminfo: memFree=20371488/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=505260 CPUtime=729.45 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 125175 0 0 0 72696 249 0 0 25 0 1 0 821911618 517386240 124729 33554432000 4194304 5714214 140735002397616 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22330/statm: 126315 124729 180 372 0 125940 0
Current children cumulated CPU time (s) 729.45
Current children cumulated vsize (KiB) 505260
[startup+742.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/551 22405
/proc/meminfo: memFree=20329948/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=541692 CPUtime=742.25 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 134282 0 0 0 73975 250 0 0 25 0 1 0 821911618 554692608 133836 33554432000 4194304 5714214 140735002397616 18446744073709551615 4324856 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22330/statm: 135423 133836 180 372 0 135048 0
Current children cumulated CPU time (s) 742.25
Current children cumulated vsize (KiB) 541692
[startup+745.501 s]
/proc/loadavg: 2.00 2.03 2.00 4/551 22405
/proc/meminfo: memFree=20330436/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=541956 CPUtime=745.45 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 134332 0 0 0 74295 250 0 0 25 0 1 0 821911618 554962944 133886 33554432000 4194304 5714214 140735002397616 18446744073709551615 4472247 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22330/statm: 135489 133886 180 372 0 135114 0
Current children cumulated CPU time (s) 745.45
Current children cumulated vsize (KiB) 541956
[startup+747.101 s]
/proc/loadavg: 2.00 2.03 2.00 5/551 22405
/proc/meminfo: memFree=20330188/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=541256 CPUtime=747.05 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 134332 0 0 0 74453 252 0 0 25 0 1 0 821911618 554246144 133769 33554432000 4194304 5714214 140735002397616 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22330/statm: 135314 133769 180 372 0 134939 0
Current children cumulated CPU time (s) 747.05
Current children cumulated vsize (KiB) 541256
[startup+748.7 s]
/proc/loadavg: 2.00 2.03 2.00 4/551 22405
/proc/meminfo: memFree=20330188/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=541256 CPUtime=748.64 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 134332 0 0 0 74611 253 0 0 25 0 1 0 821911618 554246144 133769 33554432000 4194304 5714214 140735002397616 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22330/statm: 135314 133769 180 372 0 134939 0
Current children cumulated CPU time (s) 748.64
Current children cumulated vsize (KiB) 541256
[startup+749.121 s]
/proc/loadavg: 2.00 2.03 2.00 5/551 22405
/proc/meminfo: memFree=20330188/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=541256 CPUtime=749.07 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 134332 0 0 0 74653 254 0 0 25 0 1 0 821911618 554246144 133769 33554432000 4194304 5714214 140735002397616 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22330/statm: 135314 133769 180 372 0 134939 0
Current children cumulated CPU time (s) 749.07
Current children cumulated vsize (KiB) 541256
[startup+749.301 s]
/proc/loadavg: 2.00 2.03 2.00 5/551 22405
/proc/meminfo: memFree=20330188/32951124 swapFree=53733252/67111528
[pid=22330] ppid=22328 vsize=541256 CPUtime=749.25 cores=0,2,4,6
/proc/22330/stat : 22330 (wbo1.6) R 22328 22330 21496 0 -1 4202496 134332 0 0 0 74671 254 0 0 25 0 1 0 821911618 554246144 133769 33554432000 4194304 5714214 140735002397616 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22330/statm: 135314 133769 180 372 0 134939 0
Current children cumulated CPU time (s) 749.25
Current children cumulated vsize (KiB) 541256
Child status: 0
Real time (s): 749.392
CPU time (s): 749.345
CPU user time (s): 746.774
CPU system time (s): 2.57161
CPU usage (%): 99.9938
Max. virtual memory (cumulated for all children) (KiB): 541956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 746.773
system time used= 2.57161
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134335
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= 6
involuntary context switches= 1428
runsolver used 4.22136 second user time and 9.40157 second system time
The end