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-3466819-1307381322/watcher-3466819-1307381322 -o /tmp/evaluation-result-3466819-1307381322/solver-3466819-1307381322 -C 1800 -W 1900 -M 15500 HOME/minisatid-gmp HOME/instance-3466819-1307381322.opb --verbosity=0 --format=opb
running on 4 cores: 1,3,5,7
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: 0.00 0.00 0.00 2/424 20492
/proc/meminfo: memFree=25594284/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=7972 CPUtime=0 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 539 0 0 0 0 0 0 0 24 0 1 0 849730448 8163328 489 33554432000 4194304 6736272 140737235942512 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1993 490 265 621 0 1363 0
[startup+0.0890309 s]
/proc/loadavg: 0.00 0.00 0.00 2/424 20492
/proc/meminfo: memFree=25594284/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4672 CPUtime=0.08 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 837 0 0 0 8 0 0 0 24 0 1 0 849730448 4784128 785 33554432000 4194304 6736272 140737235942512 18446744073709551615 5803157 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1168 785 282 621 0 538 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4672
[startup+0.10103 s]
/proc/loadavg: 0.00 0.00 0.00 2/424 20492
/proc/meminfo: memFree=25594284/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4672 CPUtime=0.09 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 837 0 0 0 9 0 0 0 24 0 1 0 849730448 4784128 785 33554432000 4194304 6736272 140737235942512 18446744073709551615 5221948 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1168 785 282 621 0 538 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4672
[startup+0.300991 s]
/proc/loadavg: 0.00 0.00 0.00 2/424 20492
/proc/meminfo: memFree=25594284/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4672 CPUtime=0.29 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 838 0 0 0 29 0 0 0 25 0 1 0 849730448 4784128 786 33554432000 4194304 6736272 140737235942512 18446744073709551615 4754044 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1168 786 282 621 0 538 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4672
[startup+0.700922 s]
/proc/loadavg: 0.00 0.00 0.00 2/424 20492
/proc/meminfo: memFree=25594284/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4672 CPUtime=0.69 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 843 0 0 0 69 0 0 0 25 0 1 0 849730448 4784128 791 33554432000 4194304 6736272 140737235942512 18446744073709551615 5222025 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1168 791 282 621 0 538 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4672
[startup+1.50077 s]
/proc/loadavg: 0.00 0.00 0.00 3/425 20493
/proc/meminfo: memFree=25590680/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4672 CPUtime=1.49 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 843 0 0 0 149 0 0 0 25 0 1 0 849730448 4784128 791 33554432000 4194304 6736272 140737235942512 18446744073709551615 5818411 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1168 791 282 621 0 538 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4672
[startup+3.10048 s]
/proc/loadavg: 0.00 0.00 0.00 3/425 20493
/proc/meminfo: memFree=25589936/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=3.09 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 847 0 0 0 309 0 0 0 25 0 1 0 849730448 4923392 795 33554432000 4194304 6736272 140737235942512 18446744073709551615 5816871 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 795 282 621 0 572 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4808
[startup+6.3009 s]
/proc/loadavg: 0.16 0.03 0.01 3/425 20493
/proc/meminfo: memFree=25589860/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=6.3 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 849 0 0 0 630 0 0 0 25 0 1 0 849730448 4923392 797 33554432000 4194304 6736272 140737235942512 18446744073709551615 5818597 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 797 282 621 0 572 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 4808
[startup+12.7007 s]
/proc/loadavg: 0.31 0.07 0.02 3/425 20494
/proc/meminfo: memFree=25588816/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=12.7 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 851 0 0 0 1270 0 0 0 25 0 1 0 849730448 4923392 799 33554432000 4194304 6736272 140737235942512 18446744073709551615 5803203 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 799 282 621 0 572 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 4808
[startup+25.5004 s]
/proc/loadavg: 0.68 0.16 0.05 3/425 20494
/proc/meminfo: memFree=25588960/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=25.5 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 852 0 0 0 2550 0 0 0 25 0 1 0 849730448 4923392 800 33554432000 4194304 6736272 140737235942512 18446744073709551615 5806557 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 800 282 621 0 572 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 4808
[startup+51.1007 s]
/proc/loadavg: 1.13 0.31 0.10 3/425 20495
/proc/meminfo: memFree=25588908/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=51.1 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 852 0 0 0 5110 0 0 0 25 0 1 0 849730448 4923392 800 33554432000 4194304 6736272 140737235942512 18446744073709551615 4755960 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 800 282 621 0 572 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 4808
[startup+102.314 s]
/proc/loadavg: 1.62 0.56 0.20 3/425 20496
/proc/meminfo: memFree=25587148/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=102.31 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 852 0 0 0 10231 0 0 0 25 0 1 0 849730448 4923392 800 33554432000 4194304 6736272 140737235942512 18446744073709551615 5818587 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 800 282 621 0 572 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 4808
[startup+162.301 s]
/proc/loadavg: 1.93 0.84 0.31 3/425 20498
/proc/meminfo: memFree=25586636/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=162.3 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 852 0 0 0 16230 0 0 0 25 0 1 0 849730448 4923392 800 33554432000 4194304 6736272 140737235942512 18446744073709551615 4734371 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 800 282 621 0 572 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 4808
[startup+222.301 s]
/proc/loadavg: 1.97 1.05 0.42 3/425 20499
/proc/meminfo: memFree=25587360/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=222.3 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 852 0 0 0 22230 0 0 0 25 0 1 0 849730448 4923392 800 33554432000 4194304 6736272 140737235942512 18446744073709551615 4734496 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 800 282 621 0 572 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 4808
[startup+282.301 s]
/proc/loadavg: 2.03 1.23 0.52 3/425 20501
/proc/meminfo: memFree=25587332/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=282.3 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 852 0 0 0 28230 0 0 0 25 0 1 0 849730448 4923392 800 33554432000 4194304 6736272 140737235942512 18446744073709551615 5803283 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 800 282 621 0 572 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 4808
[startup+342.301 s]
/proc/loadavg: 2.01 1.37 0.61 3/425 20502
/proc/meminfo: memFree=25588936/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=342.3 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 852 0 0 0 34230 0 0 0 25 0 1 0 849730448 4923392 800 33554432000 4194304 6736272 140737235942512 18446744073709551615 4765211 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 800 282 621 0 572 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 4808
[startup+402.301 s]
/proc/loadavg: 2.00 1.48 0.69 3/425 20504
/proc/meminfo: memFree=25589280/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=402.31 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 852 0 0 0 40231 0 0 0 25 0 1 0 849730448 4923392 800 33554432000 4194304 6736272 140737235942512 18446744073709551615 5148000 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 800 282 621 0 572 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 4808
[startup+462.301 s]
/proc/loadavg: 2.00 1.57 0.77 3/425 20506
/proc/meminfo: memFree=25589144/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=462.31 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 852 0 0 0 46231 0 0 0 25 0 1 0 849730448 4923392 800 33554432000 4194304 6736272 140737235942512 18446744073709551615 5816884 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 800 282 621 0 572 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 4808
[startup+522.301 s]
/proc/loadavg: 2.00 1.65 0.85 3/425 20507
/proc/meminfo: memFree=25589252/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=522.31 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 852 0 0 0 52231 0 0 0 25 0 1 0 849730448 4923392 800 33554432000 4194304 6736272 140737235942512 18446744073709551615 4733165 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 800 282 621 0 572 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 4808
[startup+582.301 s]
/proc/loadavg: 2.00 1.71 0.91 3/425 20509
/proc/meminfo: memFree=25588860/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=582.31 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 852 0 0 0 58231 0 0 0 25 0 1 0 849730448 4923392 800 33554432000 4194304 6736272 140737235942512 18446744073709551615 4753726 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 800 282 621 0 572 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 4808
[startup+642.3 s]
/proc/loadavg: 2.00 1.76 0.98 3/425 20510
/proc/meminfo: memFree=25588968/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=642.32 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 852 0 0 0 64232 0 0 0 25 0 1 0 849730448 4923392 800 33554432000 4194304 6736272 140737235942512 18446744073709551615 5219603 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 800 282 621 0 572 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 4808
Solver just ended. Dumping a history of the last processes samples
[startup+665.515 s]
/proc/loadavg: 2.00 1.78 1.01 3/425 20511
/proc/meminfo: memFree=25589200/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=665.53 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 852 0 0 0 66553 0 0 0 25 0 1 0 849730448 4923392 800 33554432000 4194304 6736272 140737235942512 18446744073709551615 4534975 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 800 282 621 0 572 0
Current children cumulated CPU time (s) 665.53
Current children cumulated vsize (KiB) 4808
[startup+678.301 s]
/proc/loadavg: 2.00 1.79 1.02 3/425 20511
/proc/meminfo: memFree=25588948/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=678.31 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 852 0 0 0 67831 0 0 0 25 0 1 0 849730448 4923392 800 33554432000 4194304 6736272 140737235942512 18446744073709551615 4288381 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 800 282 621 0 572 0
Current children cumulated CPU time (s) 678.31
Current children cumulated vsize (KiB) 4808
[startup+684.7 s]
/proc/loadavg: 2.00 1.79 1.03 3/425 20511
/proc/meminfo: memFree=25589192/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=684.71 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 852 0 0 0 68471 0 0 0 25 0 1 0 849730448 4923392 800 33554432000 4194304 6736272 140737235942512 18446744073709551615 5146819 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 800 282 621 0 572 0
Current children cumulated CPU time (s) 684.71
Current children cumulated vsize (KiB) 4808
[startup+687.901 s]
/proc/loadavg: 2.00 1.79 1.03 3/425 20512
/proc/meminfo: memFree=25589068/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=687.92 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 852 0 0 0 68792 0 0 0 25 0 1 0 849730448 4923392 800 33554432000 4194304 6736272 140737235942512 18446744073709551615 4753698 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 800 282 621 0 572 0
Current children cumulated CPU time (s) 687.92
Current children cumulated vsize (KiB) 4808
[startup+689.501 s]
/proc/loadavg: 2.00 1.79 1.03 3/425 20512
/proc/meminfo: memFree=25588820/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=689.52 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 852 0 0 0 68952 0 0 0 25 0 1 0 849730448 4923392 800 33554432000 4194304 6736272 140737235942512 18446744073709551615 5149152 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 800 282 621 0 572 0
Current children cumulated CPU time (s) 689.52
Current children cumulated vsize (KiB) 4808
[startup+691.1 s]
/proc/loadavg: 2.00 1.80 1.03 3/425 20512
/proc/meminfo: memFree=25589068/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=691.11 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 852 0 0 0 69111 0 0 0 25 0 1 0 849730448 4923392 800 33554432000 4194304 6736272 140737235942512 18446744073709551615 4747840 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 800 282 621 0 572 0
Current children cumulated CPU time (s) 691.11
Current children cumulated vsize (KiB) 4808
[startup+691.915 s]
/proc/loadavg: 2.00 1.80 1.03 3/425 20512
/proc/meminfo: memFree=25589192/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=691.93 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 852 0 0 0 69193 0 0 0 25 0 1 0 849730448 4923392 800 33554432000 4194304 6736272 140737235942512 18446744073709551615 5148172 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 800 282 621 0 572 0
Current children cumulated CPU time (s) 691.93
Current children cumulated vsize (KiB) 4808
[startup+692.101 s]
/proc/loadavg: 2.00 1.80 1.03 3/425 20512
/proc/meminfo: memFree=25589192/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=692.12 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 852 0 0 0 69212 0 0 0 25 0 1 0 849730448 4923392 800 33554432000 4194304 6736272 140737235942512 18446744073709551615 5155021 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 800 282 621 0 572 0
Current children cumulated CPU time (s) 692.12
Current children cumulated vsize (KiB) 4808
[startup+692.201 s]
/proc/loadavg: 2.00 1.80 1.03 3/425 20512
/proc/meminfo: memFree=25589192/32951124 swapFree=44043516/67111528
[pid=20492] ppid=20490 vsize=4808 CPUtime=692.22 cores=1,3,5,7
/proc/20492/stat : 20492 (minisatid-gmp) R 20490 20492 20454 0 -1 4202496 852 0 0 0 69222 0 0 0 25 0 1 0 849730448 4923392 800 33554432000 4194304 6736272 140737235942512 18446744073709551615 4640036 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/20492/statm: 1202 800 282 621 0 572 0
Current children cumulated CPU time (s) 692.22
Current children cumulated vsize (KiB) 4808
Child status: 10
Real time (s): 692.222
CPU time (s): 692.242
CPU user time (s): 692.24
CPU system time (s): 0.001999
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 4808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 692.24
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 859
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= 1034
runsolver used 2.5926 second user time and 6.22805 second system time
The end