runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491102-1307764003/watcher-3491102-1307764003 -o /tmp/evaluation-result-3491102-1307764003/solver-3491102-1307764003 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491102-1307764003.opb --verbosity=0 --format=opb --randomseed=297768749
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: 1.84 1.98 2.00 2/174 20582
/proc/meminfo: memFree=31786748/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=7572 CPUtime=0 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 420 0 0 0 0 0 0 0 25 0 1 0 887998531 7753728 372 33554432000 4194304 6720400 140736856231936 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/20582/statm: 1893 372 232 617 0 1267 0
[startup+0.010997 s]
/proc/loadavg: 1.84 1.98 2.00 2/174 20582
/proc/meminfo: memFree=31786748/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=7956 CPUtime=0.01 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 512 0 0 0 1 0 0 0 25 0 1 0 887998531 8146944 464 33554432000 4194304 6720400 140736856231936 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/20582/statm: 1989 464 232 617 0 1363 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7956
[startup+0.100985 s]
/proc/loadavg: 1.84 1.98 2.00 2/174 20582
/proc/meminfo: memFree=31786748/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=10596 CPUtime=0.09 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 1241 0 0 0 9 0 0 0 25 0 1 0 887998531 10850304 1189 33554432000 4194304 6720400 140736856231936 18446744073709551615 4616985 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 2649 1189 264 617 0 2023 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10596
[startup+0.300905 s]
/proc/loadavg: 1.84 1.98 2.00 2/174 20582
/proc/meminfo: memFree=31786748/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=6864 CPUtime=0.29 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 1554 0 0 0 29 0 0 0 25 0 1 0 887998531 7028736 1289 33554432000 4194304 6720400 140736856231936 18446744073709551615 4717394 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 1716 1289 264 617 0 1090 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6864
[startup+0.700837 s]
/proc/loadavg: 1.84 1.98 2.00 2/174 20582
/proc/meminfo: memFree=31786748/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=8532 CPUtime=0.69 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 1894 0 0 0 69 0 0 0 25 0 1 0 887998531 8736768 1609 33554432000 4194304 6720400 140736856231936 18446744073709551615 4718487 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 2133 1609 264 617 0 1507 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8532
[startup+1.50073 s]
/proc/loadavg: 1.84 1.98 2.00 3/179 20592
/proc/meminfo: memFree=31769132/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=8536 CPUtime=1.49 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 1999 0 0 0 149 0 0 0 25 0 1 0 887998531 8740864 1714 33554432000 4194304 6720400 140736856231936 18446744073709551615 4803258 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 2134 1714 266 617 0 1508 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8536
[startup+3.10043 s]
/proc/loadavg: 1.84 1.98 2.00 3/179 20592
/proc/meminfo: memFree=31765908/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=10304 CPUtime=3.09 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 2245 0 0 0 309 0 0 0 25 0 1 0 887998531 10551296 1955 33554432000 4194304 6720400 140736856231936 18446744073709551615 4803302 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 2576 1955 266 617 0 1950 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10304
[startup+6.30086 s]
/proc/loadavg: 1.85 1.98 2.00 3/179 20592
/proc/meminfo: memFree=31763588/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=11320 CPUtime=6.29 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 2522 0 0 0 629 0 0 0 25 0 1 0 887998531 11591680 2220 33554432000 4194304 6720400 140736856231936 18446744073709551615 4616643 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 2830 2220 266 617 0 2204 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11320
[startup+12.7007 s]
/proc/loadavg: 1.86 1.98 2.00 3/179 20592
/proc/meminfo: memFree=31746412/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=13800 CPUtime=12.69 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 3206 0 0 0 1269 0 0 0 25 0 1 0 887998531 14131200 2892 33554432000 4194304 6720400 140736856231936 18446744073709551615 4617337 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 3450 2892 266 617 0 2824 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13800
[startup+25.5003 s]
/proc/loadavg: 1.89 1.98 2.00 3/179 20593
/proc/meminfo: memFree=31739324/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=25388 CPUtime=25.49 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 6932 0 0 0 2548 1 0 0 25 0 1 0 887998531 25997312 5403 33554432000 4194304 6720400 140736856231936 18446744073709551615 4820082 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 6347 5403 266 617 0 5721 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25388
[startup+51.1007 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20593
/proc/meminfo: memFree=31733064/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=25388 CPUtime=51.09 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 7467 0 0 0 5108 1 0 0 25 0 1 0 887998531 25997312 5925 33554432000 4194304 6720400 140736856231936 18446744073709551615 4803152 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 6347 5925 266 617 0 5721 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 25388
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20595
/proc/meminfo: memFree=31708244/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=32860 CPUtime=102.3 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 9117 0 0 0 10228 2 0 0 25 0 1 0 887998531 33648640 7551 33554432000 4194304 6720400 140736856231936 18446744073709551615 4718494 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 8215 7551 266 617 0 7589 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 32860
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20596
/proc/meminfo: memFree=31700148/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=32860 CPUtime=162.3 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 9366 0 0 0 16228 2 0 0 25 0 1 0 887998531 33648640 7793 33554432000 4194304 6720400 140736856231936 18446744073709551615 4715174 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 8215 7793 266 617 0 7589 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 32860
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20598
/proc/meminfo: memFree=31696768/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=47200 CPUtime=222.29 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 12023 0 0 0 22227 2 0 0 25 0 1 0 887998531 48332800 8655 33554432000 4194304 6720400 140736856231936 18446744073709551615 5718784 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 11800 8655 266 617 0 11174 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 47200
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20600
/proc/meminfo: memFree=31688804/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=44380 CPUtime=282.3 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 17843 0 0 0 28226 4 0 0 25 0 1 0 887998531 45445120 10673 33554432000 4194304 6720400 140736856231936 18446744073709551615 4610302 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 11095 10673 266 617 0 10469 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 44380
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20601
/proc/meminfo: memFree=31688408/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=54176 CPUtime=342.3 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 23479 0 0 0 34225 5 0 0 25 0 1 0 887998531 55476224 10967 33554432000 4194304 6720400 140736856231936 18446744073709551615 4617073 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 13544 10967 266 617 0 12918 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 54176
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20603
/proc/meminfo: memFree=31681188/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=52092 CPUtime=402.3 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 28516 0 0 0 40224 6 0 0 25 0 1 0 887998531 53342208 11929 33554432000 4194304 6720400 140736856231936 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 13023 11929 266 617 0 12397 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 52092
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20604
/proc/meminfo: memFree=31677940/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=52092 CPUtime=462.3 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 28974 0 0 0 46224 6 0 0 25 0 1 0 887998531 53342208 12376 33554432000 4194304 6720400 140736856231936 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 13023 12376 266 617 0 12397 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 52092
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20606
/proc/meminfo: memFree=31674184/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=52092 CPUtime=522.3 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 28974 0 0 0 52224 6 0 0 25 0 1 0 887998531 53342208 12376 33554432000 4194304 6720400 140736856231936 18446744073709551615 4611787 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 13023 12376 266 617 0 12397 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 52092
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20608
/proc/meminfo: memFree=31674164/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=52092 CPUtime=582.31 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 28988 0 0 0 58224 7 0 0 25 0 1 0 887998531 53342208 12390 33554432000 4194304 6720400 140736856231936 18446744073709551615 4803369 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 13023 12390 266 617 0 12397 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 52092
[startup+642.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20609
/proc/meminfo: memFree=31673388/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=52092 CPUtime=642.32 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 29192 0 0 0 64225 7 0 0 25 0 1 0 887998531 53342208 12589 33554432000 4194304 6720400 140736856231936 18446744073709551615 4718479 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 13023 12589 266 617 0 12397 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 52092
[startup+702.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20611
/proc/meminfo: memFree=31661960/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=66236 CPUtime=702.32 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 34935 0 0 0 70224 8 0 0 25 0 1 0 887998531 67825664 15321 33554432000 4194304 6720400 140736856231936 18446744073709551615 4803270 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 16559 15321 266 617 0 15933 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 66236
[startup+762.306 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 20612
/proc/meminfo: memFree=31661680/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=66236 CPUtime=762.32 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 34977 0 0 0 76224 8 0 0 25 0 1 0 887998531 67825664 15363 33554432000 4194304 6720400 140736856231936 18446744073709551615 4616654 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 16559 15363 266 617 0 15933 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 66236
Solver just ended. Dumping a history of the last processes samples
[startup+767.901 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 20613
/proc/meminfo: memFree=31661672/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=66236 CPUtime=767.92 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 34977 0 0 0 76784 8 0 0 25 0 1 0 887998531 67825664 15363 33554432000 4194304 6720400 140736856231936 18446744073709551615 4816966 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 16559 15363 266 617 0 15933 0
Current children cumulated CPU time (s) 767.92
Current children cumulated vsize (KiB) 66236
[startup+780.701 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20613
/proc/meminfo: memFree=31661548/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=66236 CPUtime=780.72 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 35006 0 0 0 78064 8 0 0 25 0 1 0 887998531 67825664 15391 33554432000 4194304 6720400 140736856231936 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 16559 15391 266 617 0 15933 0
Current children cumulated CPU time (s) 780.72
Current children cumulated vsize (KiB) 66236
[startup+783.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20613
/proc/meminfo: memFree=31661424/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=66236 CPUtime=783.91 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 35006 0 0 0 78383 8 0 0 25 0 1 0 887998531 67825664 15391 33554432000 4194304 6720400 140736856231936 18446744073709551615 4820061 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 16559 15391 266 617 0 15933 0
Current children cumulated CPU time (s) 783.91
Current children cumulated vsize (KiB) 66236
[startup+785.501 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20613
/proc/meminfo: memFree=31661544/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=66236 CPUtime=785.52 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 35006 0 0 0 78544 8 0 0 25 0 1 0 887998531 67825664 15391 33554432000 4194304 6720400 140736856231936 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 16559 15391 266 617 0 15933 0
Current children cumulated CPU time (s) 785.52
Current children cumulated vsize (KiB) 66236
[startup+786.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20613
/proc/meminfo: memFree=31661544/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=66236 CPUtime=786.32 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 35006 0 0 0 78624 8 0 0 25 0 1 0 887998531 67825664 15391 33554432000 4194304 6720400 140736856231936 18446744073709551615 4616620 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 16559 15391 266 617 0 15933 0
Current children cumulated CPU time (s) 786.32
Current children cumulated vsize (KiB) 66236
[startup+786.701 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20613
/proc/meminfo: memFree=31661544/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=66236 CPUtime=786.72 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 35006 0 0 0 78664 8 0 0 25 0 1 0 887998531 67825664 15391 33554432000 4194304 6720400 140736856231936 18446744073709551615 4617061 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 16559 15391 266 617 0 15933 0
Current children cumulated CPU time (s) 786.72
Current children cumulated vsize (KiB) 66236
[startup+787.101 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20613
/proc/meminfo: memFree=31661544/32951124 swapFree=67063556/67111528
[pid=20582] ppid=20580 vsize=66236 CPUtime=787.12 cores=0,2,4,6
/proc/20582/stat : 20582 (minisatid) R 20580 20582 20281 0 -1 4202496 35006 0 0 0 78704 8 0 0 25 0 1 0 887998531 67825664 15391 33554432000 4194304 6720400 140736856231936 18446744073709551615 4803225 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20582/statm: 16559 15391 266 617 0 15933 0
Current children cumulated CPU time (s) 787.12
Current children cumulated vsize (KiB) 66236
Child status: 10
Real time (s): 787.148
CPU time (s): 787.169
CPU user time (s): 787.083
CPU system time (s): 0.085986
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 75120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 787.083
system time used= 0.085986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35011
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= 5
involuntary context switches= 3376
runsolver used 1.19182 second user time and 2.40363 second system time
The end