runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3740927-1339249645/watcher-3740927-1339249645 -o /tmp/evaluation-result-3740927-1339249645/solver-3740927-1339249645 -C 1800 -W 1900 -M 15500 run HOME/instance-3740927-1339249645.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: 2.13 3.77 4.99 3/177 4668
/proc/meminfo: memFree=28930824/32873844 swapFree=7384/7384
[pid=4668] ppid=4666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4668/stat : 4668 (run) S 4666 4668 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391093906 9367552 269 33554432000 4194304 5064252 140734721356576 140734721355488 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4668/statm: 2287 269 229 213 0 72 0
[startup+0.064726 s]
/proc/loadavg: 2.13 3.77 4.99 3/177 4668
/proc/meminfo: memFree=28930824/32873844 swapFree=7384/7384
[pid=4668] ppid=4666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4668/stat : 4668 (run) S 4666 4668 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391093906 9367552 269 33554432000 4194304 5064252 140734721356576 140734721355488 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4668/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100275 s]
/proc/loadavg: 2.13 3.77 4.99 3/177 4668
/proc/meminfo: memFree=28930824/32873844 swapFree=7384/7384
[pid=4668] ppid=4666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4668/stat : 4668 (run) S 4666 4668 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391093906 9367552 269 33554432000 4194304 5064252 140734721356576 140734721355488 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4668/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300254 s]
/proc/loadavg: 2.13 3.77 4.99 3/177 4668
/proc/meminfo: memFree=28930824/32873844 swapFree=7384/7384
[pid=4668] ppid=4666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4668/stat : 4668 (run) S 4666 4668 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391093906 9367552 269 33554432000 4194304 5064252 140734721356576 140734721355488 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4668/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70025 s]
/proc/loadavg: 2.13 3.77 4.99 3/177 4668
/proc/meminfo: memFree=28930824/32873844 swapFree=7384/7384
[pid=4668] ppid=4666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4668/stat : 4668 (run) S 4666 4668 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391093906 9367552 269 33554432000 4194304 5064252 140734721356576 140734721355488 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4668/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.13 3.77 4.99 3/179 4670
/proc/meminfo: memFree=28893840/32873844 swapFree=7384/7384
[pid=4668] ppid=4666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4668/stat : 4668 (run) S 4666 4668 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391093906 9367552 269 33554432000 4194304 5064252 140734721356576 140734721355488 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4668/statm: 2287 269 229 213 0 72 0
[pid=4669] ppid=4668 vsize=417300 CPUtime=1.49 cores=1,3,5,7
/proc/4669/stat : 4669 (pb_cplex) R 4668 4668 3259 0 -1 4202496 17792 0 0 0 147 2 0 0 20 0 1 0 391093906 427315200 17261 33554432000 134512640 146736320 4288478656 4288476568 144716523 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4669/statm: 104325 17261 3082 2985 0 14256 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 426448
[startup+3.10034 s]
/proc/loadavg: 2.13 3.77 4.99 3/179 4670
/proc/meminfo: memFree=28850252/32873844 swapFree=7384/7384
[pid=4668] ppid=4666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4668/stat : 4668 (run) S 4666 4668 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391093906 9367552 269 33554432000 4194304 5064252 140734721356576 140734721355488 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4668/statm: 2287 269 229 213 0 72 0
[pid=4669] ppid=4668 vsize=474016 CPUtime=3.09 cores=1,3,5,7
/proc/4669/stat : 4669 (pb_cplex) R 4668 4668 3259 0 -1 4202496 34396 0 0 0 304 5 0 0 20 0 1 0 391093906 485392384 34373 33554432000 134512640 146736320 4288478656 4288476680 144716523 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4669/statm: 118504 34373 6098 2985 0 28435 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 483164
[startup+6.30043 s]
/proc/loadavg: 2.20 3.76 4.98 3/179 4670
/proc/meminfo: memFree=28712848/32873844 swapFree=7384/7384
[pid=4668] ppid=4666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4668/stat : 4668 (run) S 4666 4668 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391093906 9367552 269 33554432000 4194304 5064252 140734721356576 140734721355488 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4668/statm: 2287 269 229 213 0 72 0
[pid=4669] ppid=4668 vsize=582836 CPUtime=6.3 cores=1,3,5,7
/proc/4669/stat : 4669 (pb_cplex) R 4668 4668 3259 0 -1 4202496 65853 0 0 0 620 10 0 0 20 0 1 0 391093906 596824064 67358 33554432000 134512640 146736320 4288478656 4288476680 144716523 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4669/statm: 145709 67359 11923 2985 0 55640 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 591984
[startup+12.7003 s]
/proc/loadavg: 2.18 3.73 4.97 3/179 4670
/proc/meminfo: memFree=28545580/32873844 swapFree=7384/7384
[pid=4668] ppid=4666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4668/stat : 4668 (run) S 4666 4668 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391093906 9367552 269 33554432000 4194304 5064252 140734721356576 140734721355488 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4668/statm: 2287 269 229 213 0 72 0
[pid=4669] ppid=4668 vsize=778524 CPUtime=12.69 cores=1,3,5,7
/proc/4669/stat : 4669 (pb_cplex) R 4668 4668 3259 0 -1 4202496 125987 0 0 0 1248 21 0 0 20 0 1 0 391093906 797208576 127413 33554432000 134512640 146736320 4288478656 4288476568 144716523 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4669/statm: 194631 127413 23239 2985 0 104562 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 787672
[startup+25.5004 s]
/proc/loadavg: 2.14 3.64 4.92 3/179 4670
/proc/meminfo: memFree=28148616/32873844 swapFree=7384/7384
[pid=4668] ppid=4666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4668/stat : 4668 (run) S 4666 4668 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391093906 9367552 269 33554432000 4194304 5064252 140734721356576 140734721355488 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4668/statm: 2287 269 229 213 0 72 0
[pid=4669] ppid=4668 vsize=1159848 CPUtime=25.48 cores=1,3,5,7
/proc/4669/stat : 4669 (pb_cplex) R 4668 4668 3259 0 -1 4202496 239355 0 0 0 2508 40 0 0 20 0 1 0 391093906 1187684352 243966 33554432000 134512640 146736320 4288478656 4288476608 134543014 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4669/statm: 289962 243967 45511 2985 0 199893 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1168996
[startup+51.1003 s]
/proc/loadavg: 2.09 3.51 4.84 3/179 4670
/proc/meminfo: memFree=27449436/32873844 swapFree=7384/7384
[pid=4668] ppid=4666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4668/stat : 4668 (run) S 4666 4668 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391093906 9367552 269 33554432000 4194304 5064252 140734721356576 140734721355488 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4668/statm: 2287 269 229 213 0 72 0
[pid=4669] ppid=4668 vsize=1851844 CPUtime=51.08 cores=1,3,5,7
/proc/4669/stat : 4669 (pb_cplex) R 4668 4668 3259 0 -1 4202496 446616 0 0 0 5031 77 0 0 20 0 1 0 391093906 1896288256 459447 33554432000 134512640 146736320 4288478656 4288476608 134542742 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4669/statm: 462961 459447 87018 2985 0 372892 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1860992
[startup+102.3 s]
/proc/loadavg: 3.45 3.63 4.81 2/180 4671
/proc/meminfo: memFree=21007792/32873844 swapFree=7384/7384
[pid=4668] ppid=4666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4668/stat : 4668 (run) S 4666 4668 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391093906 9367552 269 33554432000 4194304 5064252 140734721356576 140734721355488 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4668/statm: 2287 269 229 213 0 72 0
[pid=4669] ppid=4668 vsize=2755364 CPUtime=58.15 cores=1,3,5,7
/proc/4669/stat : 4669 (pb_cplex) S 4668 4668 3259 0 -1 4204032 601570 0 0 0 5596 219 0 0 20 0 1 0 391093906 2821492736 677054 33554432000 134512640 146736320 4288478656 4288477148 144864592 0 0 4096 16387 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4669/statm: 688841 677054 858 2985 0 685775 0
Current children cumulated CPU time (s) 58.15
Current children cumulated vsize (KiB) 2764512
heavy processes:
%CPU=21 pid=4671 uid=0 cmd=
Solver just ended. Dumping a history of the last processes samples
[startup+103.207 s]
/proc/loadavg: 3.58 3.66 4.81 2/180 4671
/proc/meminfo: memFree=21007916/32873844 swapFree=7384/7384
[pid=4668] ppid=4666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4668/stat : 4668 (run) S 4666 4668 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391093906 9367552 269 33554432000 4194304 5064252 140734721356576 140734721355488 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4668/statm: 2287 269 229 213 0 72 0
[pid=4669] ppid=4668 vsize=2755364 CPUtime=58.15 cores=1,3,5,7
/proc/4669/stat : 4669 (pb_cplex) S 4668 4668 3259 0 -1 4204032 601570 0 0 0 5596 219 0 0 20 0 1 0 391093906 2821492736 677054 33554432000 134512640 146736320 4288478656 4288477148 144864592 0 0 4096 16387 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4669/statm: 688841 677054 858 2985 0 685775 0
Current children cumulated CPU time (s) 58.15
Current children cumulated vsize (KiB) 2764512
[startup+128.8 s]
/proc/loadavg: 4.12 3.78 4.82 2/180 4671
/proc/meminfo: memFree=21093320/32873844 swapFree=7384/7384
[pid=4668] ppid=4666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4668/stat : 4668 (run) S 4666 4668 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391093906 9367552 269 33554432000 4194304 5064252 140734721356576 140734721355488 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4668/statm: 2287 269 229 213 0 72 0
[pid=4669] ppid=4668 vsize=2755364 CPUtime=58.15 cores=1,3,5,7
/proc/4669/stat : 4669 (pb_cplex) S 4668 4668 3259 0 -1 4204032 601570 0 0 0 5596 219 0 0 20 0 1 0 391093906 2821492736 677054 33554432000 134512640 146736320 4288478656 4288477148 144864592 0 0 4096 16387 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4669/statm: 688841 677054 858 2985 0 685775 0
Current children cumulated CPU time (s) 58.15
Current children cumulated vsize (KiB) 2764512
[startup+141.6 s]
/proc/loadavg: 4.26 3.82 4.82 2/187 4692
/proc/meminfo: memFree=20900760/32873844 swapFree=7384/7384
[pid=4668] ppid=4666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4668/stat : 4668 (run) S 4666 4668 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391093906 9367552 269 33554432000 4194304 5064252 140734721356576 140734721355488 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4668/statm: 2287 269 229 213 0 72 0
[pid=4669] ppid=4668 vsize=2755364 CPUtime=58.15 cores=1,3,5,7
/proc/4669/stat : 4669 (pb_cplex) S 4668 4668 3259 0 -1 4204032 601570 0 0 0 5596 219 0 0 20 0 1 0 391093906 2821492736 677054 33554432000 134512640 146736320 4288478656 4288477148 144864592 0 0 4096 16387 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4669/statm: 688841 677054 858 2985 0 685775 0
Current children cumulated CPU time (s) 58.15
Current children cumulated vsize (KiB) 2764512
[startup+148 s]
/proc/loadavg: 4.32 3.84 4.82 2/190 4695
/proc/meminfo: memFree=20900348/32873844 swapFree=7384/7384
[pid=4668] ppid=4666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4668/stat : 4668 (run) S 4666 4668 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391093906 9367552 269 33554432000 4194304 5064252 140734721356576 140734721355488 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4668/statm: 2287 269 229 213 0 72 0
[pid=4669] ppid=4668 vsize=2755364 CPUtime=58.15 cores=1,3,5,7
/proc/4669/stat : 4669 (pb_cplex) S 4668 4668 3259 0 -1 4204032 601570 0 0 0 5596 219 0 0 20 0 1 0 391093906 2821492736 677054 33554432000 134512640 146736320 4288478656 4288477148 144864592 0 0 4096 16387 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4669/statm: 688841 677054 858 2985 0 685775 0
Current children cumulated CPU time (s) 58.15
Current children cumulated vsize (KiB) 2764512
[startup+151.2 s]
/proc/loadavg: 4.45 3.87 4.83 2/190 4695
/proc/meminfo: memFree=20900084/32873844 swapFree=7384/7384
[pid=4668] ppid=4666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4668/stat : 4668 (run) S 4666 4668 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391093906 9367552 269 33554432000 4194304 5064252 140734721356576 140734721355488 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4668/statm: 2287 269 229 213 0 72 0
[pid=4669] ppid=4668 vsize=2755364 CPUtime=58.15 cores=1,3,5,7
/proc/4669/stat : 4669 (pb_cplex) S 4668 4668 3259 0 -1 4204032 601570 0 0 0 5596 219 0 0 20 0 1 0 391093906 2821492736 677054 33554432000 134512640 146736320 4288478656 4288477148 144864592 0 0 4096 16387 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4669/statm: 688841 677054 858 2985 0 685775 0
Current children cumulated CPU time (s) 58.15
Current children cumulated vsize (KiB) 2764512
[startup+152.8 s]
/proc/loadavg: 4.45 3.87 4.83 2/190 4695
/proc/meminfo: memFree=20899820/32873844 swapFree=7384/7384
[pid=4668] ppid=4666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4668/stat : 4668 (run) S 4666 4668 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391093906 9367552 269 33554432000 4194304 5064252 140734721356576 140734721355488 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4668/statm: 2287 269 229 213 0 72 0
[pid=4669] ppid=4668 vsize=2755364 CPUtime=58.15 cores=1,3,5,7
/proc/4669/stat : 4669 (pb_cplex) S 4668 4668 3259 0 -1 4204032 601570 0 0 0 5596 219 0 0 20 0 1 0 391093906 2821492736 677054 33554432000 134512640 146736320 4288478656 4288477148 144864592 0 0 4096 16387 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4669/statm: 688841 677054 858 2985 0 685775 0
Current children cumulated CPU time (s) 58.15
Current children cumulated vsize (KiB) 2764512
[startup+153.2 s]
/proc/loadavg: 4.45 3.87 4.83 2/190 4695
/proc/meminfo: memFree=20899820/32873844 swapFree=7384/7384
[pid=4668] ppid=4666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4668/stat : 4668 (run) S 4666 4668 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391093906 9367552 269 33554432000 4194304 5064252 140734721356576 140734721355488 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4668/statm: 2287 269 229 213 0 72 0
[pid=4669] ppid=4668 vsize=2755364 CPUtime=58.15 cores=1,3,5,7
/proc/4669/stat : 4669 (pb_cplex) S 4668 4668 3259 0 -1 4204032 601570 0 0 0 5596 219 0 0 20 0 1 0 391093906 2821492736 677054 33554432000 134512640 146736320 4288478656 4288477148 144864592 0 0 4096 16387 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/4669/statm: 688841 677054 858 2985 0 685775 0
Current children cumulated CPU time (s) 58.15
Current children cumulated vsize (KiB) 2764512
[startup+153.6 s]
/proc/loadavg: 4.45 3.87 4.83 2/190 4695
/proc/meminfo: memFree=20899820/32873844 swapFree=7384/7384
[pid=4668] ppid=4666 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4668/stat : 4668 (run) S 4666 4668 3259 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391093906 9367552 269 33554432000 4194304 5064252 140734721356576 140734721355488 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4668/statm: 2287 269 229 213 0 72 0
[pid=4669] ppid=4668 vsize=0 CPUtime=58.23 cores=1,3,5,7
/proc/4669/stat : 4669 (pb_cplex) R 4668 4668 3259 0 -1 4204036 601570 0 0 0 5596 227 0 0 20 0 1 0 391093906 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4669/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 58.23
Current children cumulated vsize (KiB) 9148
Child status: 134
Real time (s): 153.655
CPU time (s): 58.2911
CPU user time (s): 55.9615
CPU system time (s): 2.32965
CPU usage (%): 37.9363
Max. virtual memory (cumulated for all children) (KiB): 3752328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.9615
system time used= 2.32965
maximum resident set size= 3534836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 601935
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= 626739
involuntary context switches= 64
runsolver used 0.25796 second user time and 0.737887 second system time
The end