Trace number 2680630

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)? (MO) 213.14 213.306

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-manna81.opb
MD5SUM6fc83a536fe9a582c06bbccccc09c709
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-13164
Best CPU time to get the best result obtained on this benchmark47.7537
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -12220
Optimality of the best value was proved NO
Number of variables10713
Total number of constraints9151
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints9151
Minimum length of a constraint2
Maximum length of a constraint8
Number of terms in the objective function 10713
Biggest coefficient in the objective function 8
Number of bits for the biggest coefficient in the objective function 4
Sum of the numbers in the objective function 30411
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 30411
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.01	c wbo 1.4 beta - 20100610
0.00/0.01	c Parsing opb file format. File HOME/instance-2680630-1277451713.opb.
0.00/0.01	c Instance file HOME/instance-2680630-1277451713.opb
0.00/0.01	c File size is 638263 bytes.
0.09/0.11	c Highest Coefficient sum: 54
0.09/0.11	c ============================[ Problem Statistics ]=============================
0.09/0.11	c |                                                                             |
0.09/0.11	c |  Parsing time:          0.11         s                                      |
0.09/0.11	c |  Number Variables:      10713                                               |
0.09/0.11	c |  Number Clauses:        0                                                   |
0.09/0.11	c |  Number Cardinality:    0                                                   |
0.09/0.11	c |  Number PB Constraints: 9151                                                |
0.09/0.12	c ============================[ Search Statistics ]==============================
0.09/0.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.12	c ===============================================================================
0.09/0.13	c |         0 |   10713     9151    51957 |     5000        0    nan |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: 0
0.29/0.34	o 0
0.29/0.34	c Elapsed CPU time: 0.335948 s	Remaining CPU time: 179.664 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |         0 |   10713     9152    62670 |     5000        0    nan |  0.000 % |
0.49/0.56	c ===============================================================================
0.49/0.56	c New solution: -4
0.49/0.56	o -4
0.49/0.56	c Elapsed CPU time: 0.547916 s	Remaining CPU time: 179.452 s
0.49/0.56	c ===============================================================================
0.49/0.56	c |         0 |   10713     9153    73383 |     5000        0    nan |  0.000 % |
0.69/0.78	c ===============================================================================
0.69/0.78	c New solution: -8
0.69/0.78	o -8
0.69/0.78	c Elapsed CPU time: 0.755885 s	Remaining CPU time: 179.244 s
0.69/0.78	c ===============================================================================
0.69/0.78	c |         0 |   10713     9154    84096 |     5000        0    nan |  0.000 % |
1.00/1.00	c ===============================================================================
1.00/1.00	c New solution: -10
1.00/1.00	o -10
1.00/1.00	c Elapsed CPU time: 0.970852 s	Remaining CPU time: 179.029 s
1.00/1.00	c ===============================================================================
1.00/1.00	c |         0 |   10713     9155    94809 |     5000        0    nan |  0.000 % |
1.19/1.23	c ===============================================================================
1.19/1.23	c New solution: -11
1.19/1.23	o -11
1.19/1.23	c Elapsed CPU time: 1.19082 s	Remaining CPU time: 178.809 s
1.19/1.23	c ===============================================================================
1.19/1.23	c |         0 |   10713     9156   105522 |     5000        0    nan |  0.000 % |
1.39/1.46	c ===============================================================================
1.39/1.46	c New solution: -12
1.39/1.46	o -12
1.39/1.46	c Elapsed CPU time: 1.40979 s	Remaining CPU time: 178.59 s
1.39/1.46	c ===============================================================================
1.39/1.46	c |         0 |   10713     9157   116235 |     5000        0    nan |  0.000 % |
1.59/1.69	c ===============================================================================
1.59/1.69	c New solution: -13
1.59/1.69	o -13
1.59/1.69	c Elapsed CPU time: 1.63575 s	Remaining CPU time: 178.364 s
1.59/1.69	c ===============================================================================
1.59/1.69	c |         0 |   10713     9158   126948 |     5000        0    nan |  0.000 % |
1.89/1.93	c ===============================================================================
1.89/1.93	c New solution: -14
1.89/1.93	o -14
1.89/1.93	c Elapsed CPU time: 1.86472 s	Remaining CPU time: 178.135 s
1.89/1.93	c ===============================================================================
1.89/1.93	c |         0 |   10713     9159   137661 |     5000        0    nan |  0.000 % |
2.10/2.17	c ===============================================================================
2.10/2.17	c New solution: -16
2.10/2.17	o -16
2.10/2.17	c Elapsed CPU time: 2.09468 s	Remaining CPU time: 177.905 s
2.10/2.17	c ===============================================================================
2.10/2.17	c |         0 |   10713     9160   148374 |     5000        0    nan |  0.000 % |
2.39/2.41	c ===============================================================================
2.39/2.41	c New solution: -17
2.39/2.41	o -17
2.39/2.41	c Elapsed CPU time: 2.32864 s	Remaining CPU time: 177.671 s
2.39/2.41	c ===============================================================================
2.39/2.41	c |         0 |   10713     9161   159087 |     5000        0    nan |  0.000 % |
2.59/2.66	c ===============================================================================
2.59/2.66	c New solution: -18
2.59/2.66	o -18
2.59/2.66	c Elapsed CPU time: 2.56761 s	Remaining CPU time: 177.432 s
2.59/2.66	c ===============================================================================
2.59/2.66	c |         0 |   10713     9162   169800 |     5000        0    nan |  0.000 % |
2.89/2.91	c ===============================================================================
2.89/2.91	c New solution: -19
2.89/2.91	o -19
2.89/2.91	c Elapsed CPU time: 2.81257 s	Remaining CPU time: 177.187 s
2.89/2.91	c ===============================================================================
2.89/2.91	c |         0 |   10713     9163   180513 |     5000        0    nan |  0.000 % |
3.09/3.16	c ===============================================================================
3.09/3.16	c New solution: -20
3.09/3.16	o -20
3.09/3.16	c Elapsed CPU time: 3.06153 s	Remaining CPU time: 176.938 s
3.09/3.16	c ===============================================================================
3.09/3.16	c |         0 |   10713     9164   191226 |     5000        0    nan |  0.000 % |
3.39/3.43	c ===============================================================================
3.39/3.43	c New solution: -22
3.39/3.43	o -22
3.39/3.43	c Elapsed CPU time: 3.3145 s	Remaining CPU time: 176.686 s
3.39/3.43	c ===============================================================================
3.39/3.43	c |         0 |   10713     9165   201939 |     5000        0    nan |  0.000 % |
3.59/3.69	c ===============================================================================
3.59/3.69	c New solution: -24
3.59/3.69	o -24
3.59/3.69	c Elapsed CPU time: 3.57146 s	Remaining CPU time: 176.429 s
3.59/3.69	c ===============================================================================
3.59/3.69	c |         0 |   10713     9166   212652 |     5000        0    nan |  0.000 % |
3.89/3.95	c ===============================================================================
3.89/3.95	c New solution: -28
3.89/3.95	o -28
3.89/3.95	c Elapsed CPU time: 3.82642 s	Remaining CPU time: 176.174 s
3.89/3.95	c ===============================================================================
3.89/3.95	c |         0 |   10713     9167   223365 |     5000        0    nan |  0.000 % |
4.19/4.22	c ===============================================================================
4.19/4.22	c New solution: -30
4.19/4.22	o -30
4.19/4.22	c Elapsed CPU time: 4.08138 s	Remaining CPU time: 175.919 s
4.19/4.22	c ===============================================================================
4.19/4.22	c |         0 |   10713     9168   234078 |     5000        0    nan |  0.000 % |
4.40/4.50	c ===============================================================================
4.40/4.50	c New solution: -32
4.40/4.50	o -32
4.40/4.50	c Elapsed CPU time: 4.34534 s	Remaining CPU time: 175.655 s
4.40/4.50	c ===============================================================================
4.40/4.50	c |         0 |   10713     9169   244791 |     5000        0    nan |  0.000 % |
4.69/4.77	c ===============================================================================
4.69/4.77	c New solution: -36
4.69/4.77	o -36
4.69/4.77	c Elapsed CPU time: 4.6183 s	Remaining CPU time: 175.382 s
4.69/4.77	c ===============================================================================
4.69/4.77	c |         0 |   10713     9170   255504 |     5000        0    nan |  0.000 % |
4.99/5.06	c ===============================================================================
4.99/5.06	c New solution: -38
4.99/5.06	o -38
4.99/5.06	c Elapsed CPU time: 4.89426 s	Remaining CPU time: 175.106 s
4.99/5.06	c ===============================================================================
4.99/5.06	c |         0 |   10713     9171   266217 |     5000        0    nan |  0.000 % |
5.29/5.36	c ===============================================================================
5.29/5.36	c New solution: -39
5.29/5.36	o -39
5.29/5.36	c Elapsed CPU time: 5.17821 s	Remaining CPU time: 174.822 s
5.29/5.36	c ===============================================================================
5.29/5.36	c |         0 |   10713     9172   276930 |     5000        0    nan |  0.000 % |
5.59/5.66	c ===============================================================================
5.59/5.66	c New solution: -40
5.59/5.66	o -40
5.59/5.66	c Elapsed CPU time: 5.46617 s	Remaining CPU time: 174.534 s
5.59/5.66	c ===============================================================================
5.59/5.66	c |         0 |   10713     9173   287643 |     5000        0    nan |  0.000 % |
5.89/5.96	c ===============================================================================
5.89/5.96	c New solution: -41
5.89/5.96	o -41
5.89/5.96	c Elapsed CPU time: 5.76212 s	Remaining CPU time: 174.238 s
5.89/5.96	c ===============================================================================
5.89/5.96	c |         0 |   10713     9174   298356 |     5000        0    nan |  0.000 % |
6.19/6.27	c ===============================================================================
6.19/6.27	c New solution: -42
6.19/6.27	o -42
6.19/6.27	c Elapsed CPU time: 6.06508 s	Remaining CPU time: 173.935 s
6.19/6.27	c ===============================================================================
6.19/6.27	c |         0 |   10713     9175   309069 |     5000        0    nan |  0.000 % |
6.50/6.58	c ===============================================================================
6.50/6.58	c New solution: -43
6.50/6.58	o -43
6.50/6.58	c Elapsed CPU time: 6.36903 s	Remaining CPU time: 173.631 s
6.50/6.58	c ===============================================================================
6.50/6.58	c |         0 |   10713     9176   319782 |     5000        0    nan |  0.000 % |
6.89/6.90	c ===============================================================================
6.89/6.90	c New solution: -44
6.89/6.90	o -44
6.89/6.90	c Elapsed CPU time: 6.68198 s	Remaining CPU time: 173.318 s
6.89/6.90	c ===============================================================================
6.89/6.90	c |         0 |   10713     9177   330495 |     5000        0    nan |  0.000 % |
7.19/7.23	c ===============================================================================
7.19/7.23	c New solution: -45
7.19/7.23	o -45
7.19/7.23	c Elapsed CPU time: 7.00394 s	Remaining CPU time: 172.996 s
7.19/7.23	c ===============================================================================
7.19/7.23	c |         0 |   10713     9178   341208 |     5000        0    nan |  0.000 % |
7.49/7.57	c ===============================================================================
7.49/7.57	c New solution: -46
7.49/7.57	o -46
7.49/7.57	c Elapsed CPU time: 7.33188 s	Remaining CPU time: 172.668 s
7.49/7.57	c ===============================================================================
7.49/7.57	c |         0 |   10713     9179   351921 |     5000        0    nan |  0.000 % |
7.89/7.90	c ===============================================================================
7.89/7.90	c New solution: -48
7.89/7.90	o -48
7.89/7.90	c Elapsed CPU time: 7.65684 s	Remaining CPU time: 172.343 s
7.89/7.90	c ===============================================================================
7.89/7.90	c |         0 |   10713     9180   362634 |     5000        0    nan |  0.000 % |
8.19/8.24	c ===============================================================================
8.19/8.24	c New solution: -50
8.19/8.24	o -50
8.19/8.24	c Elapsed CPU time: 7.98379 s	Remaining CPU time: 172.016 s
8.19/8.24	c ===============================================================================
8.19/8.24	c |         0 |   10713     9181   373347 |     5000        0    nan |  0.000 % |
8.49/8.59	c ===============================================================================
8.49/8.59	c New solution: -52
8.49/8.59	o -52
8.49/8.59	c Elapsed CPU time: 8.32273 s	Remaining CPU time: 171.677 s
8.49/8.59	c ===============================================================================
8.49/8.59	c |         0 |   10713     9182   384060 |     5000        0    nan |  0.000 % |
8.89/8.94	c ===============================================================================
8.89/8.94	c New solution: -53
8.89/8.94	o -53
8.89/8.94	c Elapsed CPU time: 8.66768 s	Remaining CPU time: 171.332 s
8.89/8.94	c ===============================================================================
8.89/8.94	c |         0 |   10713     9183   394773 |     5000        0    nan |  0.000 % |
9.29/9.30	c ===============================================================================
9.29/9.30	c New solution: -54
9.29/9.30	o -54
9.29/9.30	c Elapsed CPU time: 9.01963 s	Remaining CPU time: 170.98 s
9.29/9.30	c ===============================================================================
9.29/9.30	c |         0 |   10713     9184   405486 |     5000        0    nan |  0.000 % |
9.59/9.66	c ===============================================================================
9.59/9.66	c New solution: -55
9.59/9.66	o -55
9.59/9.66	c Elapsed CPU time: 9.37857 s	Remaining CPU time: 170.621 s
9.59/9.66	c ===============================================================================
9.59/9.66	c |         0 |   10713     9185   416199 |     5000        0    nan |  0.000 % |
9.99/10.04	c ===============================================================================
9.99/10.04	c New solution: -56
9.99/10.04	o -56
9.99/10.04	c Elapsed CPU time: 9.74452 s	Remaining CPU time: 170.255 s
9.99/10.04	c ===============================================================================
9.99/10.04	c |         0 |   10713     9186   426912 |     5000        0    nan |  0.000 % |
10.39/10.42	c ===============================================================================
10.39/10.42	c New solution: -58
10.39/10.42	o -58
10.39/10.42	c Elapsed CPU time: 10.1105 s	Remaining CPU time: 169.89 s
10.39/10.42	c ===============================================================================
10.39/10.42	c |         0 |   10713     9187   437625 |     5000        0    nan |  0.000 % |
10.79/10.80	c ===============================================================================
10.79/10.80	c New solution: -60
10.79/10.80	o -60
10.79/10.80	c Elapsed CPU time: 10.4794 s	Remaining CPU time: 169.521 s
10.79/10.80	c ===============================================================================
10.79/10.80	c |         0 |   10713     9188   448338 |     5000        0    nan |  0.000 % |
11.08/11.20	c ===============================================================================
11.08/11.20	c New solution: -61
11.08/11.20	o -61
11.08/11.20	c Elapsed CPU time: 10.8573 s	Remaining CPU time: 169.143 s
11.08/11.20	c ===============================================================================
11.08/11.20	c |         0 |   10713     9189   459051 |     5000        0    nan |  0.000 % |
11.48/11.59	c ===============================================================================
11.48/11.59	c New solution: -62
11.48/11.59	o -62
11.48/11.59	c Elapsed CPU time: 11.2423 s	Remaining CPU time: 168.758 s
11.48/11.59	c ===============================================================================
11.48/11.59	c |         0 |   10713     9190   469764 |     5000        0    nan |  0.000 % |
12.00/12.00	c ===============================================================================
12.00/12.00	c New solution: -63
12.00/12.00	o -63
12.00/12.00	c Elapsed CPU time: 11.6402 s	Remaining CPU time: 168.36 s
12.00/12.00	c ===============================================================================
12.00/12.00	c |         0 |   10713     9191   480477 |     5000        0    nan |  0.000 % |
12.38/12.42	c ===============================================================================
12.38/12.42	c New solution: -64
12.38/12.42	o -64
12.38/12.42	c Elapsed CPU time: 12.0502 s	Remaining CPU time: 167.95 s
12.38/12.42	c ===============================================================================
12.38/12.42	c |         0 |   10713     9192   491190 |     5000        0    nan |  0.000 % |
12.79/12.84	c ===============================================================================
12.79/12.84	c New solution: -65
12.79/12.84	o -65
12.79/12.84	c Elapsed CPU time: 12.4681 s	Remaining CPU time: 167.532 s
12.79/12.84	c ===============================================================================
12.79/12.84	c |         0 |   10713     9193   501903 |     5000        0    nan |  0.000 % |
13.19/13.27	c ===============================================================================
13.19/13.27	c New solution: -66
13.19/13.27	o -66
13.19/13.27	c Elapsed CPU time: 12.885 s	Remaining CPU time: 167.115 s
13.19/13.27	c ===============================================================================
13.19/13.27	c |         0 |   10713     9194   512616 |     5000        0    nan |  0.000 % |
13.68/13.71	c ===============================================================================
13.68/13.71	c New solution: -67
13.68/13.71	o -67
13.68/13.71	c Elapsed CPU time: 13.31 s	Remaining CPU time: 166.69 s
13.68/13.71	c ===============================================================================
13.68/13.71	c |         0 |   10713     9195   523329 |     5000        0    nan |  0.000 % |
14.09/14.15	c ===============================================================================
14.09/14.15	c New solution: -68
14.09/14.15	o -68
14.09/14.15	c Elapsed CPU time: 13.7399 s	Remaining CPU time: 166.26 s
14.09/14.15	c ===============================================================================
14.09/14.15	c |         0 |   10713     9196   534042 |     5000        0    nan |  0.000 % |
14.59/14.60	c ===============================================================================
14.59/14.60	c New solution: -69
14.59/14.60	o -69
14.59/14.60	c Elapsed CPU time: 14.1778 s	Remaining CPU time: 165.822 s
14.59/14.60	c ===============================================================================
14.59/14.60	c |         1 |   10713     9197   544755 |     5000        1  10691 |  0.000 % |
14.99/15.05	c ===============================================================================
14.99/15.05	c New solution: -70
14.99/15.05	o -70
14.99/15.05	c Elapsed CPU time: 14.6168 s	Remaining CPU time: 165.383 s
14.99/15.05	c ===============================================================================
14.99/15.05	c |         1 |   10713     9198   555468 |     5000        1  10691 |  0.000 % |
15.49/15.51	c ===============================================================================
15.49/15.51	c New solution: -71
15.49/15.51	o -71
15.49/15.51	c Elapsed CPU time: 15.0647 s	Remaining CPU time: 164.935 s
15.49/15.51	c ===============================================================================
15.49/15.51	c |         1 |   10713     9199   566181 |     5000        1  10691 |  0.000 % |
15.88/15.98	c ===============================================================================
15.88/15.98	c New solution: -72
15.88/15.98	o -72
15.88/15.98	c Elapsed CPU time: 15.5226 s	Remaining CPU time: 164.477 s
15.88/15.98	c ===============================================================================
15.88/15.98	c |         1 |   10713     9200   576894 |     5000        1  10691 |  0.000 % |
16.39/16.46	c ===============================================================================
16.39/16.46	c New solution: -73
16.39/16.46	o -73
16.39/16.46	c Elapsed CPU time: 15.9956 s	Remaining CPU time: 164.004 s
16.39/16.46	c ===============================================================================
16.39/16.46	c |         1 |   10713     9201   587607 |     5000        1  10691 |  0.000 % |
16.89/16.94	c ===============================================================================
16.89/16.94	c New solution: -74
16.89/16.94	o -74
16.89/16.94	c Elapsed CPU time: 16.4685 s	Remaining CPU time: 163.532 s
16.89/16.94	c ===============================================================================
16.89/16.94	c |         1 |   10713     9202   598320 |     5000        1  10691 |  0.000 % |
17.39/17.44	c ===============================================================================
17.39/17.44	c New solution: -75
17.39/17.44	o -75
17.39/17.44	c Elapsed CPU time: 16.9574 s	Remaining CPU time: 163.043 s
17.39/17.44	c ===============================================================================
17.39/17.44	c |         1 |   10713     9203   609033 |     5000        1  10691 |  0.000 % |
17.89/17.94	c ===============================================================================
17.89/17.94	c New solution: -76
17.89/17.94	o -76
17.89/17.94	c Elapsed CPU time: 17.4483 s	Remaining CPU time: 162.552 s
17.89/17.94	c ===============================================================================
17.89/17.94	c |         1 |   10713     9204   619746 |     5000        1  10691 |  0.000 % |
18.39/18.44	c ===============================================================================
18.39/18.44	c New solution: -77
18.39/18.44	o -77
18.39/18.44	c Elapsed CPU time: 17.9373 s	Remaining CPU time: 162.063 s
18.39/18.44	c ===============================================================================
18.39/18.44	c |         1 |   10713     9205   630459 |     5000        1  10691 |  0.000 % |
18.89/18.95	c ===============================================================================
18.89/18.95	c New solution: -78
18.89/18.95	o -78
18.89/18.95	c Elapsed CPU time: 18.4332 s	Remaining CPU time: 161.567 s
18.89/18.95	c ===============================================================================
18.89/18.95	c |         1 |   10713     9206   641172 |     5000        1  10691 |  0.000 % |
19.38/19.46	c ===============================================================================
19.38/19.46	c New solution: -79
19.38/19.46	o -79
19.38/19.46	c Elapsed CPU time: 18.9311 s	Remaining CPU time: 161.069 s
19.38/19.46	c ===============================================================================
19.38/19.46	c |         1 |   10713     9207   651885 |     5000        1  10691 |  0.000 % |
19.88/19.99	c ===============================================================================
19.88/19.99	c New solution: -80
19.88/19.99	o -80
19.88/19.99	c Elapsed CPU time: 19.447 s	Remaining CPU time: 160.553 s
19.88/19.99	c ===============================================================================
19.88/19.99	c |         1 |   10713     9208   662598 |     5000        1  10691 |  0.000 % |
20.48/20.52	c ===============================================================================
20.48/20.52	c New solution: -81
20.48/20.52	o -81
20.48/20.52	c Elapsed CPU time: 19.968 s	Remaining CPU time: 160.032 s
20.48/20.52	c ===============================================================================
20.48/20.52	c |         1 |   10713     9209   673311 |     5000        1  10691 |  0.000 % |
20.99/21.06	c ===============================================================================
20.99/21.06	c New solution: -82
20.99/21.06	o -82
20.99/21.06	c Elapsed CPU time: 20.5039 s	Remaining CPU time: 159.496 s
20.99/21.06	c ===============================================================================
20.99/21.06	c |         1 |   10713     9210   684024 |     5000        1  10691 |  0.000 % |
21.59/21.61	c ===============================================================================
21.59/21.61	c New solution: -83
21.59/21.61	o -83
21.59/21.61	c Elapsed CPU time: 21.0428 s	Remaining CPU time: 158.957 s
21.59/21.61	c ===============================================================================
21.59/21.61	c |         1 |   10713     9211   694737 |     5000        1  10691 |  0.000 % |
22.09/22.17	c ===============================================================================
22.09/22.17	c New solution: -84
22.09/22.17	o -84
22.09/22.17	c Elapsed CPU time: 21.5917 s	Remaining CPU time: 158.408 s
22.09/22.17	c ===============================================================================
22.09/22.17	c |         1 |   10713     9212   705450 |     5000        1  10691 |  0.000 % |
22.68/22.74	c ===============================================================================
22.68/22.74	c New solution: -85
22.68/22.74	o -85
22.68/22.74	c Elapsed CPU time: 22.1496 s	Remaining CPU time: 157.85 s
22.68/22.74	c ===============================================================================
22.68/22.74	c |         1 |   10713     9213   716163 |     5000        1  10691 |  0.000 % |
23.28/23.32	c ===============================================================================
23.28/23.32	c New solution: -86
23.28/23.32	o -86
23.28/23.32	c Elapsed CPU time: 22.7195 s	Remaining CPU time: 157.28 s
23.28/23.32	c ===============================================================================
23.28/23.32	c |         1 |   10713     9214   726876 |     5000        1  10691 |  0.000 % |
23.88/23.91	c ===============================================================================
23.88/23.91	c New solution: -87
23.88/23.91	o -87
23.88/23.91	c Elapsed CPU time: 23.2965 s	Remaining CPU time: 156.704 s
23.88/23.91	c ===============================================================================
23.88/23.91	c |         1 |   10713     9215   737589 |     5000        1  10691 |  0.000 % |
24.48/24.52	c ===============================================================================
24.48/24.52	c New solution: -88
24.48/24.52	o -88
24.48/24.52	c Elapsed CPU time: 23.8974 s	Remaining CPU time: 156.103 s
24.48/24.52	c ===============================================================================
24.48/24.52	c |         1 |   10713     9216   748302 |     5000        1  10691 |  0.000 % |
25.08/25.11	c ===============================================================================
25.08/25.11	c New solution: -89
25.08/25.11	o -89
25.08/25.11	c Elapsed CPU time: 24.4823 s	Remaining CPU time: 155.518 s
25.08/25.11	c ===============================================================================
25.08/25.11	c |         1 |   10713     9217   759015 |     5000        1  10691 |  0.000 % |
25.69/25.73	c ===============================================================================
25.69/25.73	c New solution: -90
25.69/25.73	o -90
25.69/25.73	c Elapsed CPU time: 25.0862 s	Remaining CPU time: 154.914 s
25.69/25.73	c ===============================================================================
25.69/25.73	c |         1 |   10713     9218   769728 |     5000        1  10691 |  0.000 % |
26.29/26.34	c ===============================================================================
26.29/26.34	c New solution: -91
26.29/26.34	o -91
26.29/26.34	c Elapsed CPU time: 25.6851 s	Remaining CPU time: 154.315 s
26.29/26.34	c ===============================================================================
26.29/26.34	c |         1 |   10713     9219   780441 |     5000        1  10691 |  0.000 % |
26.89/26.96	c ===============================================================================
26.89/26.96	c New solution: -92
26.89/26.96	o -92
26.89/26.96	c Elapsed CPU time: 26.293 s	Remaining CPU time: 153.707 s
26.89/26.96	c ===============================================================================
26.89/26.96	c |         1 |   10713     9220   791154 |     5000        1  10691 |  0.000 % |
27.49/27.59	c ===============================================================================
27.49/27.59	c New solution: -93
27.49/27.59	o -93
27.49/27.59	c Elapsed CPU time: 26.9119 s	Remaining CPU time: 153.088 s
27.49/27.59	c ===============================================================================
27.49/27.59	c |         1 |   10713     9221   801867 |     5000        1  10691 |  0.000 % |
28.18/28.22	c ===============================================================================
28.18/28.22	c New solution: -94
28.18/28.22	o -94
28.18/28.22	c Elapsed CPU time: 27.5338 s	Remaining CPU time: 152.466 s
28.18/28.22	c ===============================================================================
28.18/28.22	c |         1 |   10713     9222   812580 |     5000        1  10691 |  0.000 % |
28.78/28.86	c ===============================================================================
28.78/28.86	c New solution: -95
28.78/28.86	o -95
28.78/28.86	c Elapsed CPU time: 28.1617 s	Remaining CPU time: 151.838 s
28.78/28.86	c ===============================================================================
28.78/28.86	c |         1 |   10713     9223   823293 |     5000        1  10691 |  0.000 % |
29.48/29.50	c ===============================================================================
29.48/29.50	c New solution: -96
29.48/29.50	o -96
29.48/29.50	c Elapsed CPU time: 28.7956 s	Remaining CPU time: 151.204 s
29.48/29.50	c ===============================================================================
29.48/29.50	c |         1 |   10713     9224   834006 |     5000        1  10691 |  0.000 % |
30.08/30.15	c ===============================================================================
30.08/30.15	c New solution: -97
30.08/30.15	o -97
30.08/30.15	c Elapsed CPU time: 29.4335 s	Remaining CPU time: 150.566 s
30.08/30.15	c ===============================================================================
30.08/30.15	c |         1 |   10713     9225   844719 |     5000        1  10691 |  0.000 % |
30.79/30.81	c ===============================================================================
30.79/30.81	c New solution: -98
30.79/30.81	o -98
30.79/30.81	c Elapsed CPU time: 30.0804 s	Remaining CPU time: 149.92 s
30.79/30.81	c ===============================================================================
30.79/30.81	c |         1 |   10713     9226   855432 |     5000        1  10691 |  0.000 % |
31.38/31.48	c ===============================================================================
31.38/31.48	c New solution: -99
31.38/31.48	o -99
31.38/31.48	c Elapsed CPU time: 30.7433 s	Remaining CPU time: 149.257 s
31.38/31.48	c ===============================================================================
31.38/31.48	c |         2 |   10713     9227   866145 |     5000        2  10688 |  0.000 % |
32.09/32.16	c ===============================================================================
32.09/32.16	c New solution: -100
32.09/32.16	o -100
32.09/32.16	c Elapsed CPU time: 31.4162 s	Remaining CPU time: 148.584 s
32.09/32.16	c ===============================================================================
32.09/32.16	c |         2 |   10713     9228   876858 |     5000        2  10688 |  0.000 % |
32.79/32.85	c ===============================================================================
32.79/32.85	c New solution: -101
32.79/32.85	o -101
32.79/32.85	c Elapsed CPU time: 32.0941 s	Remaining CPU time: 147.906 s
32.79/32.85	c ===============================================================================
32.79/32.85	c |         2 |   10713     9229   887571 |     5000        2  10688 |  0.000 % |
33.48/33.55	c ===============================================================================
33.48/33.55	c New solution: -102
33.48/33.55	o -102
33.48/33.55	c Elapsed CPU time: 32.781 s	Remaining CPU time: 147.219 s
33.48/33.55	c ===============================================================================
33.48/33.55	c |         2 |   10713     9230   898284 |     5000        2  10688 |  0.000 % |
34.18/34.28	c ===============================================================================
34.18/34.28	c New solution: -103
34.18/34.28	o -103
34.18/34.28	c Elapsed CPU time: 33.5009 s	Remaining CPU time: 146.499 s
34.18/34.28	c ===============================================================================
34.18/34.28	c |         2 |   10713     9231   908997 |     5000        2  10688 |  0.000 % |
34.98/35.01	c ===============================================================================
34.98/35.01	c New solution: -104
34.98/35.01	o -104
34.98/35.01	c Elapsed CPU time: 34.2198 s	Remaining CPU time: 145.78 s
34.98/35.01	c ===============================================================================
34.98/35.01	c |         2 |   10713     9232   919710 |     5000        2  10688 |  0.000 % |
35.68/35.74	c ===============================================================================
35.68/35.74	c New solution: -105
35.68/35.74	o -105
35.68/35.74	c Elapsed CPU time: 34.9387 s	Remaining CPU time: 145.061 s
35.68/35.74	c ===============================================================================
35.68/35.74	c |         2 |   10713     9233   930423 |     5000        2  10688 |  0.000 % |
36.38/36.48	c ===============================================================================
36.38/36.48	c New solution: -106
36.38/36.48	o -106
36.38/36.48	c Elapsed CPU time: 35.6606 s	Remaining CPU time: 144.339 s
36.38/36.48	c ===============================================================================
36.38/36.48	c |         2 |   10713     9234   941136 |     5000        2  10688 |  0.000 % |
37.18/37.23	c ===============================================================================
37.18/37.23	c New solution: -107
37.18/37.23	o -107
37.18/37.23	c Elapsed CPU time: 36.3975 s	Remaining CPU time: 143.603 s
37.18/37.23	c ===============================================================================
37.18/37.23	c |         2 |   10713     9235   951849 |     5000        2  10688 |  0.000 % |
37.88/37.98	c ===============================================================================
37.88/37.98	c New solution: -108
37.88/37.98	o -108
37.88/37.98	c Elapsed CPU time: 37.1384 s	Remaining CPU time: 142.862 s
37.88/37.98	c ===============================================================================
37.88/37.98	c |         2 |   10713     9236   962562 |     5000        2  10688 |  0.000 % |
38.68/38.73	c ===============================================================================
38.68/38.73	c New solution: -109
38.68/38.73	o -109
38.68/38.73	c Elapsed CPU time: 37.8742 s	Remaining CPU time: 142.126 s
38.68/38.73	c ===============================================================================
38.68/38.73	c |         2 |   10713     9237   973275 |     5000        2  10688 |  0.000 % |
39.38/39.48	c ===============================================================================
39.38/39.48	c New solution: -110
39.38/39.48	o -110
39.38/39.48	c Elapsed CPU time: 38.6211 s	Remaining CPU time: 141.379 s
39.38/39.48	c ===============================================================================
39.38/39.48	c |         2 |   10713     9238   983988 |     5000        2  10688 |  0.000 % |
40.18/40.25	c ===============================================================================
40.18/40.25	c New solution: -111
40.18/40.25	o -111
40.18/40.25	c Elapsed CPU time: 39.378 s	Remaining CPU time: 140.622 s
40.18/40.25	c ===============================================================================
40.18/40.25	c |         2 |   10713     9239   994701 |     5000        2  10688 |  0.000 % |
40.98/41.03	c ===============================================================================
40.98/41.03	c New solution: -112
40.98/41.03	o -112
40.98/41.03	c Elapsed CPU time: 40.1459 s	Remaining CPU time: 139.854 s
40.98/41.03	c ===============================================================================
40.98/41.03	c |         2 |   10713     9240  1005414 |     5000        2  10688 |  0.000 % |
41.79/41.81	c ===============================================================================
41.79/41.81	c New solution: -113
41.79/41.81	o -113
41.79/41.81	c Elapsed CPU time: 40.9228 s	Remaining CPU time: 139.077 s
41.79/41.81	c ===============================================================================
41.79/41.81	c |         2 |   10713     9241  1016127 |     5000        2  10688 |  0.000 % |
42.58/42.62	c ===============================================================================
42.58/42.62	c New solution: -114
42.58/42.62	o -114
42.58/42.62	c Elapsed CPU time: 41.7177 s	Remaining CPU time: 138.282 s
42.58/42.62	c ===============================================================================
42.58/42.62	c |         2 |   10713     9242  1026840 |     5000        2  10688 |  0.000 % |
43.38/43.43	c ===============================================================================
43.38/43.43	c New solution: -115
43.38/43.43	o -115
43.38/43.43	c Elapsed CPU time: 42.5145 s	Remaining CPU time: 137.485 s
43.38/43.43	c ===============================================================================
43.38/43.43	c |         3 |   10713     9243  1037553 |     5000        3  10684 |  0.000 % |
44.18/44.24	c ===============================================================================
44.18/44.24	c New solution: -116
44.18/44.24	o -116
44.18/44.24	c Elapsed CPU time: 43.3134 s	Remaining CPU time: 136.687 s
44.18/44.24	c ===============================================================================
44.18/44.24	c |         3 |   10713     9244  1048266 |     5000        3  10684 |  0.000 % |
44.98/45.07	c ===============================================================================
44.98/45.07	c New solution: -117
44.98/45.07	o -117
44.98/45.07	c Elapsed CPU time: 44.1293 s	Remaining CPU time: 135.871 s
44.98/45.07	c ===============================================================================
44.98/45.07	c |         3 |   10713     9245  1058979 |     5000        3  10684 |  0.000 % |
45.78/45.89	c ===============================================================================
45.78/45.89	c New solution: -118
45.78/45.89	o -118
45.78/45.89	c Elapsed CPU time: 44.9432 s	Remaining CPU time: 135.057 s
45.78/45.89	c ===============================================================================
45.78/45.89	c |         3 |   10713     9246  1069692 |     5000        3  10684 |  0.000 % |
46.68/46.74	c ===============================================================================
46.68/46.74	c New solution: -119
46.68/46.74	o -119
46.68/46.74	c Elapsed CPU time: 45.782 s	Remaining CPU time: 134.218 s
46.68/46.74	c ===============================================================================
46.68/46.74	c |         3 |   10713     9247  1080405 |     5000        3  10684 |  0.000 % |
47.48/47.57	c ===============================================================================
47.48/47.57	c New solution: -120
47.48/47.57	o -120
47.48/47.57	c Elapsed CPU time: 46.6009 s	Remaining CPU time: 133.399 s
47.48/47.57	c ===============================================================================
47.48/47.57	c |         3 |   10713     9248  1091118 |     5000        3  10684 |  0.000 % |
48.39/48.43	c ===============================================================================
48.39/48.43	c New solution: -121
48.39/48.43	o -121
48.39/48.43	c Elapsed CPU time: 47.4448 s	Remaining CPU time: 132.555 s
48.39/48.43	c ===============================================================================
48.39/48.43	c |         3 |   10713     9249  1101831 |     5000        3  10684 |  0.000 % |
49.18/49.27	c ===============================================================================
49.18/49.27	c New solution: -122
49.18/49.27	o -122
49.18/49.27	c Elapsed CPU time: 48.2767 s	Remaining CPU time: 131.723 s
49.18/49.27	c ===============================================================================
49.18/49.27	c |         4 |   10713     9250  1112544 |     5000        4  10681 |  0.000 % |
50.08/50.13	c ===============================================================================
50.08/50.13	c New solution: -123
50.08/50.13	o -123
50.08/50.13	c Elapsed CPU time: 49.1325 s	Remaining CPU time: 130.867 s
50.08/50.13	c ===============================================================================
50.08/50.13	c |         4 |   10713     9251  1123257 |     5000        4  10681 |  0.000 % |
50.88/50.99	c ===============================================================================
50.88/50.99	c New solution: -124
50.88/50.99	o -124
50.88/50.99	c Elapsed CPU time: 49.9884 s	Remaining CPU time: 130.012 s
50.88/50.99	c ===============================================================================
50.88/50.99	c |         4 |   10713     9252  1133970 |     5000        4  10681 |  0.000 % |
51.78/51.88	c ===============================================================================
51.78/51.88	c New solution: -125
51.78/51.88	o -125
51.78/51.88	c Elapsed CPU time: 50.8603 s	Remaining CPU time: 129.14 s
51.78/51.88	c ===============================================================================
51.78/51.88	c |         4 |   10713     9253  1144683 |     5000        4  10681 |  0.000 % |
52.68/52.76	c ===============================================================================
52.68/52.76	c New solution: -126
52.68/52.76	o -126
52.68/52.76	c Elapsed CPU time: 51.7291 s	Remaining CPU time: 128.271 s
52.68/52.76	c ===============================================================================
52.68/52.76	c |         4 |   10713     9254  1155396 |     5000        4  10681 |  0.000 % |
53.58/53.66	c ===============================================================================
53.58/53.66	c New solution: -127
53.58/53.66	o -127
53.58/53.66	c Elapsed CPU time: 52.623 s	Remaining CPU time: 127.377 s
53.58/53.66	c ===============================================================================
53.58/53.66	c |         4 |   10713     9255  1166109 |     5000        4  10681 |  0.000 % |
54.48/54.55	c ===============================================================================
54.48/54.55	c New solution: -128
54.48/54.55	o -128
54.48/54.55	c Elapsed CPU time: 53.5079 s	Remaining CPU time: 126.492 s
54.48/54.55	c ===============================================================================
54.48/54.55	c |         4 |   10713     9256  1176822 |     5000        4  10681 |  0.000 % |
55.37/55.46	c ===============================================================================
55.37/55.46	c New solution: -129
55.37/55.46	o -129
55.37/55.46	c Elapsed CPU time: 54.3977 s	Remaining CPU time: 125.602 s
55.37/55.46	c ===============================================================================
55.37/55.46	c |         4 |   10713     9257  1187535 |     5000        4  10681 |  0.000 % |
56.27/56.37	c ===============================================================================
56.27/56.37	c New solution: -130
56.27/56.37	o -130
56.27/56.37	c Elapsed CPU time: 55.2946 s	Remaining CPU time: 124.705 s
56.27/56.37	c ===============================================================================
56.27/56.37	c |         4 |   10713     9258  1198248 |     5000        4  10681 |  0.000 % |
57.18/57.30	c ===============================================================================
57.18/57.30	c New solution: -131
57.18/57.30	o -131
57.18/57.30	c Elapsed CPU time: 56.2055 s	Remaining CPU time: 123.795 s
57.18/57.30	c ===============================================================================
57.18/57.30	c |         4 |   10713     9259  1208961 |     5000        4  10681 |  0.000 % |
58.18/58.23	c ===============================================================================
58.18/58.23	c New solution: -132
58.18/58.23	o -132
58.18/58.23	c Elapsed CPU time: 57.1293 s	Remaining CPU time: 122.871 s
58.18/58.23	c ===============================================================================
58.18/58.23	c |         4 |   10713     9260  1219674 |     5000        4  10681 |  0.000 % |
59.08/59.15	c ===============================================================================
59.08/59.15	c New solution: -133
59.08/59.15	o -133
59.08/59.15	c Elapsed CPU time: 58.0342 s	Remaining CPU time: 121.966 s
59.08/59.15	c ===============================================================================
59.08/59.15	c |         4 |   10713     9261  1230387 |     5000        4  10681 |  0.000 % |
59.98/60.10	c ===============================================================================
59.98/60.10	c New solution: -134
59.98/60.10	o -134
59.98/60.10	c Elapsed CPU time: 58.974 s	Remaining CPU time: 121.026 s
59.98/60.10	c ===============================================================================
59.98/60.10	c |         4 |   10713     9262  1241100 |     5000        4  10681 |  0.000 % |
60.98/61.05	c ===============================================================================
60.98/61.05	c New solution: -135
60.98/61.05	o -135
60.98/61.05	c Elapsed CPU time: 59.9259 s	Remaining CPU time: 120.074 s
60.98/61.05	c ===============================================================================
60.98/61.05	c |         4 |   10713     9263  1251813 |     5000        4  10681 |  0.000 % |
61.98/62.00	c ===============================================================================
61.98/62.00	c New solution: -136
61.98/62.00	o -136
61.98/62.00	c Elapsed CPU time: 60.8657 s	Remaining CPU time: 119.134 s
61.98/62.00	c ===============================================================================
61.98/62.00	c |         4 |   10713     9264  1262526 |     5000        4  10681 |  0.000 % |
62.87/62.97	c ===============================================================================
62.87/62.97	c New solution: -137
62.87/62.97	o -137
62.87/62.97	c Elapsed CPU time: 61.8166 s	Remaining CPU time: 118.183 s
62.87/62.97	c ===============================================================================
62.87/62.97	c |         4 |   10713     9265  1273239 |     5000        4  10681 |  0.000 % |
63.87/63.95	c ===============================================================================
63.87/63.95	c New solution: -138
63.87/63.95	o -138
63.87/63.95	c Elapsed CPU time: 62.7895 s	Remaining CPU time: 117.211 s
63.87/63.95	c ===============================================================================
63.87/63.95	c |         4 |   10713     9266  1283952 |     5000        4  10681 |  0.000 % |
64.88/64.92	c ===============================================================================
64.88/64.92	c New solution: -139
64.88/64.92	o -139
64.88/64.92	c Elapsed CPU time: 63.7513 s	Remaining CPU time: 116.249 s
64.88/64.92	c ===============================================================================
64.88/64.92	c |         4 |   10713     9267  1294665 |     5000        4  10681 |  0.000 % |
65.88/65.92	c ===============================================================================
65.88/65.92	c New solution: -140
65.88/65.92	o -140
65.88/65.92	c Elapsed CPU time: 64.7362 s	Remaining CPU time: 115.264 s
65.88/65.92	c ===============================================================================
65.88/65.92	c |         4 |   10713     9268  1305378 |     5000        4  10681 |  0.000 % |
66.87/66.91	c ===============================================================================
66.87/66.91	c New solution: -141
66.87/66.91	o -141
66.87/66.91	c Elapsed CPU time: 65.719 s	Remaining CPU time: 114.281 s
66.87/66.91	c ===============================================================================
66.87/66.91	c |         4 |   10713     9269  1316091 |     5000        4  10681 |  0.000 % |
67.88/67.92	c ===============================================================================
67.88/67.92	c New solution: -142
67.88/67.92	o -142
67.88/67.92	c Elapsed CPU time: 66.7189 s	Remaining CPU time: 113.281 s
67.88/67.92	c ===============================================================================
67.88/67.92	c |         4 |   10713     9270  1326804 |     5000        4  10681 |  0.000 % |
68.87/68.94	c ===============================================================================
68.87/68.94	c New solution: -143
68.87/68.94	o -143
68.87/68.94	c Elapsed CPU time: 67.7267 s	Remaining CPU time: 112.273 s
68.87/68.94	c ===============================================================================
68.87/68.94	c |         4 |   10713     9271  1337517 |     5000        4  10681 |  0.000 % |
69.88/69.95	c ===============================================================================
69.88/69.95	c New solution: -144
69.88/69.95	o -144
69.88/69.95	c Elapsed CPU time: 68.7286 s	Remaining CPU time: 111.271 s
69.88/69.95	c ===============================================================================
69.88/69.95	c |         5 |   10713     9272  1348230 |     5000        5  10677 |  0.000 % |
70.97/71.09	c ===============================================================================
70.97/71.09	c New solution: -145
70.97/71.09	o -145
70.97/71.09	c Elapsed CPU time: 69.8484 s	Remaining CPU time: 110.152 s
70.97/71.09	c ===============================================================================
70.97/71.09	c |         5 |   10713     9273  1358943 |     5000        5  10677 |  0.000 % |
72.17/72.21	c ===============================================================================
72.17/72.21	c New solution: -146
72.17/72.21	o -146
72.17/72.21	c Elapsed CPU time: 70.9572 s	Remaining CPU time: 109.043 s
72.17/72.21	c ===============================================================================
72.17/72.21	c |         5 |   10713     9274  1369656 |     5000        5  10677 |  0.000 % |
73.27/73.36	c ===============================================================================
73.27/73.36	c New solution: -147
73.27/73.36	o -147
73.27/73.36	c Elapsed CPU time: 72.093 s	Remaining CPU time: 107.907 s
73.27/73.36	c ===============================================================================
73.27/73.36	c |         5 |   10713     9275  1380369 |     5000        5  10677 |  0.000 % |
74.47/74.50	c ===============================================================================
74.47/74.50	c New solution: -148
74.47/74.50	o -148
74.47/74.50	c Elapsed CPU time: 73.2249 s	Remaining CPU time: 106.775 s
74.47/74.50	c ===============================================================================
74.47/74.50	c |         5 |   10713     9276  1391082 |     5000        5  10677 |  0.000 % |
75.57/75.65	c ===============================================================================
75.57/75.65	c New solution: -149
75.57/75.65	o -149
75.57/75.65	c Elapsed CPU time: 74.3707 s	Remaining CPU time: 105.629 s
75.57/75.65	c ===============================================================================
75.57/75.65	c |         5 |   10713     9277  1401795 |     5000        5  10677 |  0.000 % |
76.77/76.80	c ===============================================================================
76.77/76.80	c New solution: -150
76.77/76.80	o -150
76.77/76.80	c Elapsed CPU time: 75.5105 s	Remaining CPU time: 104.489 s
76.77/76.80	c ===============================================================================
76.77/76.80	c |         5 |   10713     9278  1412508 |     5000        5  10677 |  0.000 % |
77.87/77.95	c ===============================================================================
77.87/77.95	c New solution: -151
77.87/77.95	o -151
77.87/77.95	c Elapsed CPU time: 76.6383 s	Remaining CPU time: 103.362 s
77.87/77.95	c ===============================================================================
77.87/77.95	c |         5 |   10713     9279  1423221 |     5000        5  10677 |  0.000 % |
79.08/79.13	c ===============================================================================
79.08/79.13	c New solution: -152
79.08/79.13	o -152
79.08/79.13	c Elapsed CPU time: 77.8102 s	Remaining CPU time: 102.19 s
79.08/79.13	c ===============================================================================
79.08/79.13	c |         5 |   10713     9280  1433934 |     5000        5  10677 |  0.000 % |
80.28/80.32	c ===============================================================================
80.28/80.32	c New solution: -153
80.28/80.32	o -153
80.28/80.32	c Elapsed CPU time: 78.986 s	Remaining CPU time: 101.014 s
80.28/80.32	c ===============================================================================
80.28/80.32	c |         5 |   10713     9281  1444647 |     5000        5  10677 |  0.000 % |
81.47/81.52	c ===============================================================================
81.47/81.52	c New solution: -154
81.47/81.52	o -154
81.47/81.52	c Elapsed CPU time: 80.1808 s	Remaining CPU time: 99.8192 s
81.47/81.52	c ===============================================================================
81.47/81.52	c |         5 |   10713     9282  1455360 |     5000        5  10677 |  0.000 % |
82.67/82.74	c ===============================================================================
82.67/82.74	c New solution: -155
82.67/82.74	o -155
82.67/82.74	c Elapsed CPU time: 81.3866 s	Remaining CPU time: 98.6134 s
82.67/82.74	c ===============================================================================
82.67/82.74	c |         5 |   10713     9283  1466073 |     5000        5  10677 |  0.000 % |
83.87/83.96	c ===============================================================================
83.87/83.96	c New solution: -156
83.87/83.96	o -156
83.87/83.96	c Elapsed CPU time: 82.5874 s	Remaining CPU time: 97.4126 s
83.87/83.96	c ===============================================================================
83.87/83.96	c |         5 |   10713     9284  1476786 |     5000        5  10677 |  0.000 % |
85.07/85.18	c ===============================================================================
85.07/85.18	c New solution: -157
85.07/85.18	o -157
85.07/85.18	c Elapsed CPU time: 83.7893 s	Remaining CPU time: 96.2107 s
85.07/85.18	c ===============================================================================
85.07/85.18	c |         5 |   10713     9285  1487499 |     5000        5  10677 |  0.000 % |
86.27/86.36	c ===============================================================================
86.27/86.36	c New solution: -158
86.27/86.36	o -158
86.27/86.36	c Elapsed CPU time: 84.9571 s	Remaining CPU time: 95.0429 s
86.27/86.36	c ===============================================================================
86.27/86.36	c |         5 |   10713     9286  1498212 |     5000        5  10677 |  0.000 % |
87.47/87.56	c ===============================================================================
87.47/87.56	c New solution: -159
87.47/87.56	o -159
87.47/87.56	c Elapsed CPU time: 86.1489 s	Remaining CPU time: 93.8511 s
87.47/87.56	c ===============================================================================
87.47/87.56	c |         5 |   10713     9287  1508925 |     5000        5  10677 |  0.000 % |
88.67/88.77	c ===============================================================================
88.67/88.77	c New solution: -160
88.67/88.77	o -160
88.67/88.77	c Elapsed CPU time: 87.3387 s	Remaining CPU time: 92.6613 s
88.67/88.77	c ===============================================================================
88.67/88.77	c |         5 |   10713     9288  1519638 |     5000        5  10677 |  0.000 % |
89.97/90.02	c ===============================================================================
89.97/90.02	c New solution: -161
89.97/90.02	o -161
89.97/90.02	c Elapsed CPU time: 88.5815 s	Remaining CPU time: 91.4185 s
89.97/90.02	c ===============================================================================
89.97/90.02	c |         5 |   10713     9289  1530351 |     5000        5  10677 |  0.000 % |
91.18/91.28	c ===============================================================================
91.18/91.28	c New solution: -162
91.18/91.28	o -162
91.18/91.28	c Elapsed CPU time: 89.8253 s	Remaining CPU time: 90.1747 s
91.18/91.28	c ===============================================================================
91.18/91.28	c |         5 |   10713     9290  1541064 |     5000        5  10677 |  0.000 % |
92.47/92.54	c ===============================================================================
92.47/92.54	c New solution: -163
92.47/92.54	o -163
92.47/92.54	c Elapsed CPU time: 91.0732 s	Remaining CPU time: 88.9268 s
92.47/92.54	c ===============================================================================
92.47/92.54	c |         5 |   10713     9291  1551777 |     5000        5  10677 |  0.000 % |
93.67/93.76	c ===============================================================================
93.67/93.76	c New solution: -164
93.67/93.76	o -164
93.67/93.76	c Elapsed CPU time: 92.286 s	Remaining CPU time: 87.714 s
93.67/93.76	c ===============================================================================
93.67/93.76	c |         5 |   10713     9292  1562490 |     5000        5  10677 |  0.000 % |
94.97/95.00	c ===============================================================================
94.97/95.00	c New solution: -165
94.97/95.00	o -165
94.97/95.00	c Elapsed CPU time: 93.5148 s	Remaining CPU time: 86.4852 s
94.97/95.00	c ===============================================================================
94.97/95.00	c |         5 |   10713     9293  1573203 |     5000        5  10677 |  0.000 % |
96.17/96.27	c ===============================================================================
96.17/96.27	c New solution: -166
96.17/96.27	o -166
96.17/96.27	c Elapsed CPU time: 94.7766 s	Remaining CPU time: 85.2234 s
96.17/96.27	c ===============================================================================
96.17/96.27	c |         5 |   10713     9294  1583916 |     5000        5  10677 |  0.000 % |
97.47/97.57	c ===============================================================================
97.47/97.57	c New solution: -167
97.47/97.57	o -167
97.47/97.57	c Elapsed CPU time: 96.0534 s	Remaining CPU time: 83.9466 s
97.47/97.57	c ===============================================================================
97.47/97.57	c |         5 |   10713     9295  1594629 |     5000        5  10677 |  0.000 % |
98.77/98.87	c ===============================================================================
98.77/98.87	c New solution: -168
98.77/98.87	o -168
98.77/98.87	c Elapsed CPU time: 97.3512 s	Remaining CPU time: 82.6488 s
98.77/98.87	c ===============================================================================
98.77/98.87	c |         5 |   10713     9296  1605342 |     5000        5  10677 |  0.000 % |
100.08/100.13	c ===============================================================================
100.08/100.13	c New solution: -169
100.08/100.13	o -169
100.08/100.13	c Elapsed CPU time: 98.598 s	Remaining CPU time: 81.402 s
100.08/100.13	c ===============================================================================
100.08/100.13	c |         6 |   10713     9297  1616055 |     5000        6  10674 |  0.000 % |
101.36/101.42	c ===============================================================================
101.36/101.42	c New solution: -170
101.36/101.42	o -170
101.36/101.42	c Elapsed CPU time: 99.8748 s	Remaining CPU time: 80.1252 s
101.36/101.42	c ===============================================================================
101.36/101.42	c |         6 |   10713     9298  1626768 |     5000        6  10674 |  0.000 % |
102.56/102.69	c ===============================================================================
102.56/102.69	c New solution: -171
102.56/102.69	o -171
102.56/102.69	c Elapsed CPU time: 101.133 s	Remaining CPU time: 78.8674 s
102.56/102.69	c ===============================================================================
102.56/102.69	c |         6 |   10713     9299  1637481 |     5000        6  10674 |  0.000 % |
103.86/103.99	c ===============================================================================
103.86/103.99	c New solution: -172
103.86/103.99	o -172
103.86/103.99	c Elapsed CPU time: 102.42 s	Remaining CPU time: 77.5796 s
103.86/103.99	c ===============================================================================
103.86/103.99	c |         6 |   10713     9300  1648194 |     5000        6  10674 |  0.000 % |
105.16/105.30	c ===============================================================================
105.16/105.30	c New solution: -173
105.16/105.30	o -173
105.16/105.30	c Elapsed CPU time: 103.714 s	Remaining CPU time: 76.2858 s
105.16/105.30	c ===============================================================================
105.16/105.30	c |         6 |   10713     9301  1658907 |     5000        6  10674 |  0.000 % |
106.46/106.57	c ===============================================================================
106.46/106.57	c New solution: -174
106.46/106.57	o -174
106.46/106.57	c Elapsed CPU time: 104.978 s	Remaining CPU time: 75.022 s
106.46/106.57	c ===============================================================================
106.46/106.57	c |         6 |   10713     9302  1669620 |     5000        6  10674 |  0.000 % |
107.77/107.86	c ===============================================================================
107.77/107.86	c New solution: -175
107.77/107.86	o -175
107.77/107.86	c Elapsed CPU time: 106.267 s	Remaining CPU time: 73.7332 s
107.77/107.86	c ===============================================================================
107.77/107.86	c |         6 |   10713     9303  1680333 |     5000        6  10674 |  0.000 % |
109.07/109.16	c ===============================================================================
109.07/109.16	c New solution: -176
109.07/109.16	o -176
109.07/109.16	c Elapsed CPU time: 107.56 s	Remaining CPU time: 72.4404 s
109.07/109.16	c ===============================================================================
109.07/109.16	c |         6 |   10713     9304  1691046 |     5000        6  10674 |  0.000 % |
110.46/110.50	c ===============================================================================
110.46/110.50	c New solution: -177
110.46/110.50	o -177
110.46/110.50	c Elapsed CPU time: 108.884 s	Remaining CPU time: 71.1156 s
110.46/110.50	c ===============================================================================
110.46/110.50	c |         6 |   10713     9305  1701759 |     5000        6  10674 |  0.000 % |
111.76/111.82	c ===============================================================================
111.76/111.82	c New solution: -178
111.76/111.82	o -178
111.76/111.82	c Elapsed CPU time: 110.2 s	Remaining CPU time: 69.7998 s
111.76/111.82	c ===============================================================================
111.76/111.82	c |         6 |   10713     9306  1712472 |     5000        6  10674 |  0.000 % |
113.06/113.16	c ===============================================================================
113.06/113.16	c New solution: -179
113.06/113.16	o -179
113.06/113.16	c Elapsed CPU time: 111.531 s	Remaining CPU time: 68.469 s
113.06/113.16	c ===============================================================================
113.06/113.16	c |         6 |   10713     9307  1723185 |     5000        6  10674 |  0.000 % |
114.37/114.48	c ===============================================================================
114.37/114.48	c New solution: -180
114.37/114.48	o -180
114.37/114.48	c Elapsed CPU time: 112.841 s	Remaining CPU time: 67.1592 s
114.37/114.48	c ===============================================================================
114.37/114.48	c |         6 |   10713     9308  1733898 |     5000        6  10674 |  0.000 % |
115.76/115.81	c ===============================================================================
115.76/115.81	c New solution: -181
115.76/115.81	o -181
115.76/115.81	c Elapsed CPU time: 114.151 s	Remaining CPU time: 65.8494 s
115.76/115.81	c ===============================================================================
115.76/115.81	c |         6 |   10713     9309  1744611 |     5000        6  10674 |  0.000 % |
117.06/117.13	c ===============================================================================
117.06/117.13	c New solution: -182
117.06/117.13	o -182
117.06/117.13	c Elapsed CPU time: 115.458 s	Remaining CPU time: 64.5416 s
117.06/117.13	c ===============================================================================
117.06/117.13	c |         6 |   10713     9310  1755324 |     5000        6  10674 |  0.000 % |
118.37/118.46	c ===============================================================================
118.37/118.46	c New solution: -183
118.37/118.46	o -183
118.37/118.46	c Elapsed CPU time: 116.78 s	Remaining CPU time: 63.2198 s
118.37/118.46	c ===============================================================================
118.37/118.46	c |         6 |   10713     9311  1766037 |     5000        6  10674 |  0.000 % |
119.76/119.84	c ===============================================================================
119.76/119.84	c New solution: -184
119.76/119.84	o -184
119.76/119.84	c Elapsed CPU time: 118.156 s	Remaining CPU time: 61.844 s
119.76/119.84	c ===============================================================================
119.76/119.84	c |         6 |   10713     9312  1776750 |     5000        6  10674 |  0.000 % |
121.16/121.20	c ===============================================================================
121.16/121.20	c New solution: -185
121.16/121.20	o -185
121.16/121.20	c Elapsed CPU time: 119.508 s	Remaining CPU time: 60.4922 s
121.16/121.20	c ===============================================================================
121.16/121.20	c |         6 |   10713     9313  1787463 |     5000        6  10674 |  0.000 % |
122.46/122.57	c ===============================================================================
122.46/122.57	c New solution: -186
122.46/122.57	o -186
122.46/122.57	c Elapsed CPU time: 120.868 s	Remaining CPU time: 59.1324 s
122.46/122.57	c ===============================================================================
122.46/122.57	c |         6 |   10713     9314  1798176 |     5000        6  10674 |  0.000 % |
123.86/123.93	c ===============================================================================
123.86/123.93	c New solution: -187
123.86/123.93	o -187
123.86/123.93	c Elapsed CPU time: 122.207 s	Remaining CPU time: 57.7926 s
123.86/123.93	c ===============================================================================
123.86/123.93	c |         6 |   10713     9315  1808889 |     5000        6  10674 |  0.000 % |
125.27/125.31	c ===============================================================================
125.27/125.31	c New solution: -188
125.27/125.31	o -188
125.27/125.31	c Elapsed CPU time: 123.586 s	Remaining CPU time: 56.4138 s
125.27/125.31	c ===============================================================================
125.27/125.31	c |         6 |   10713     9316  1819602 |     5000        6  10674 |  0.000 % |
126.66/126.74	c ===============================================================================
126.66/126.74	c New solution: -189
126.66/126.74	o -189
126.66/126.74	c Elapsed CPU time: 124.994 s	Remaining CPU time: 55.006 s
126.66/126.74	c ===============================================================================
126.66/126.74	c |         6 |   10713     9317  1830315 |     5000        6  10674 |  0.000 % |
128.06/128.17	c ===============================================================================
128.06/128.17	c New solution: -190
128.06/128.17	o -190
128.06/128.17	c Elapsed CPU time: 126.416 s	Remaining CPU time: 53.5842 s
128.06/128.17	c ===============================================================================
128.06/128.17	c |         6 |   10713     9318  1841028 |     5000        6  10674 |  0.000 % |
129.56/129.60	c ===============================================================================
129.56/129.60	c New solution: -191
129.56/129.60	o -191
129.56/129.60	c Elapsed CPU time: 127.833 s	Remaining CPU time: 52.1674 s
129.56/129.60	c ===============================================================================
129.56/129.60	c |         6 |   10713     9319  1851741 |     5000        6  10674 |  0.000 % |
130.95/131.02	c ===============================================================================
130.95/131.02	c New solution: -192
130.95/131.02	o -192
130.95/131.02	c Elapsed CPU time: 129.243 s	Remaining CPU time: 50.7566 s
130.95/131.02	c ===============================================================================
130.95/131.02	c |         6 |   10713     9320  1862454 |     5000        6  10674 |  0.000 % |
132.36/132.41	c ===============================================================================
132.36/132.41	c New solution: -193
132.36/132.41	o -193
132.36/132.41	c Elapsed CPU time: 130.625 s	Remaining CPU time: 49.3749 s
132.36/132.41	c ===============================================================================
132.36/132.41	c |         6 |   10713     9321  1873167 |     5000        6  10674 |  0.000 % |
133.76/133.85	c ===============================================================================
133.76/133.85	c New solution: -194
133.76/133.85	o -194
133.76/133.85	c Elapsed CPU time: 132.048 s	Remaining CPU time: 47.9521 s
133.76/133.85	c ===============================================================================
133.76/133.85	c |         6 |   10713     9322  1883880 |     5000        6  10674 |  0.000 % |
135.26/135.37	c ===============================================================================
135.26/135.37	c New solution: -195
135.26/135.37	o -195
135.26/135.37	c Elapsed CPU time: 133.564 s	Remaining CPU time: 46.4363 s
135.26/135.37	c ===============================================================================
135.26/135.37	c |         6 |   10713     9323  1894593 |     5000        6  10674 |  0.000 % |
136.86/136.97	c ===============================================================================
136.86/136.97	c New solution: -196
136.86/136.97	o -196
136.86/136.97	c Elapsed CPU time: 135.139 s	Remaining CPU time: 44.8605 s
136.86/136.97	c ===============================================================================
136.86/136.97	c |         6 |   10713     9324  1905306 |     5000        6  10674 |  0.000 % |
138.35/138.47	c ===============================================================================
138.35/138.47	c New solution: -197
138.35/138.47	o -197
138.35/138.47	c Elapsed CPU time: 136.629 s	Remaining CPU time: 43.3708 s
138.35/138.47	c ===============================================================================
138.35/138.47	c |         6 |   10713     9325  1916019 |     5000        6  10674 |  0.000 % |
139.96/140.00	c ===============================================================================
139.96/140.00	c New solution: -198
139.96/140.00	o -198
139.96/140.00	c Elapsed CPU time: 138.148 s	Remaining CPU time: 41.852 s
139.96/140.00	c ===============================================================================
139.96/140.00	c |         6 |   10713     9326  1926732 |     5000        6  10674 |  0.000 % |
141.36/141.49	c ===============================================================================
141.36/141.49	c New solution: -199
141.36/141.49	o -199
141.36/141.49	c Elapsed CPU time: 139.625 s	Remaining CPU time: 40.3752 s
141.36/141.49	c ===============================================================================
141.36/141.49	c |         6 |   10713     9327  1937445 |     5000        6  10674 |  0.000 % |
142.86/142.99	c ===============================================================================
142.86/142.99	c New solution: -200
142.86/142.99	o -200
142.86/142.99	c Elapsed CPU time: 141.11 s	Remaining CPU time: 38.8905 s
142.86/142.99	c ===============================================================================
142.86/142.99	c |         7 |   10713     9328  1948158 |     5000        7  10670 |  0.000 % |
144.35/144.48	c ===============================================================================
144.35/144.48	c New solution: -201
144.35/144.48	o -201
144.35/144.48	c Elapsed CPU time: 142.588 s	Remaining CPU time: 37.4117 s
144.35/144.48	c ===============================================================================
144.35/144.48	c |         7 |   10713     9329  1958871 |     5000        7  10670 |  0.000 % |
145.85/145.99	c ===============================================================================
145.85/145.99	c New solution: -202
145.85/145.99	o -202
145.85/145.99	c Elapsed CPU time: 144.083 s	Remaining CPU time: 35.9169 s
145.85/145.99	c ===============================================================================
145.85/145.99	c |         7 |   10713     9330  1969584 |     5000        7  10670 |  0.000 % |
147.45/147.52	c ===============================================================================
147.45/147.52	c New solution: -203
147.45/147.52	o -203
147.45/147.52	c Elapsed CPU time: 145.608 s	Remaining CPU time: 34.3921 s
147.45/147.52	c ===============================================================================
147.45/147.52	c |         7 |   10713     9331  1980297 |     5000        7  10670 |  0.000 % |
148.95/149.02	c ===============================================================================
148.95/149.02	c New solution: -204
148.95/149.02	o -204
148.95/149.02	c Elapsed CPU time: 147.093 s	Remaining CPU time: 32.9074 s
148.95/149.02	c ===============================================================================
148.95/149.02	c |         7 |   10713     9332  1991010 |     5000        7  10670 |  0.000 % |
150.46/150.56	c ===============================================================================
150.46/150.56	c New solution: -205
150.46/150.56	o -205
150.46/150.56	c Elapsed CPU time: 148.626 s	Remaining CPU time: 31.3736 s
150.46/150.56	c ===============================================================================
150.46/150.56	c |         7 |   10713     9333  2001723 |     5000        7  10670 |  0.000 % |
151.95/152.08	c ===============================================================================
151.95/152.08	c New solution: -206
151.95/152.08	o -206
151.95/152.08	c Elapsed CPU time: 150.129 s	Remaining CPU time: 29.8708 s
151.95/152.08	c ===============================================================================
151.95/152.08	c |         7 |   10713     9334  2012436 |     5000        7  10670 |  0.000 % |
153.55/153.61	c ===============================================================================
153.55/153.61	c New solution: -207
153.55/153.61	o -207
153.55/153.61	c Elapsed CPU time: 151.657 s	Remaining CPU time: 28.3431 s
153.55/153.61	c ===============================================================================
153.55/153.61	c |         7 |   10713     9335  2023149 |     5000        7  10670 |  0.000 % |
155.06/155.16	c ===============================================================================
155.06/155.16	c New solution: -208
155.06/155.16	o -208
155.06/155.16	c Elapsed CPU time: 153.193 s	Remaining CPU time: 26.8073 s
155.06/155.16	c ===============================================================================
155.06/155.16	c |         7 |   10713     9336  2033862 |     5000        7  10670 |  0.000 % |
156.65/156.70	c ===============================================================================
156.65/156.70	c New solution: -209
156.65/156.70	o -209
156.65/156.70	c Elapsed CPU time: 154.714 s	Remaining CPU time: 25.2855 s
156.65/156.70	c ===============================================================================
156.65/156.70	c |         7 |   10713     9337  2044575 |     5000        7  10670 |  0.000 % |
158.15/158.24	c ===============================================================================
158.15/158.24	c New solution: -210
158.15/158.24	o -210
158.15/158.24	c Elapsed CPU time: 156.245 s	Remaining CPU time: 23.7548 s
158.15/158.24	c ===============================================================================
158.15/158.24	c |         7 |   10713     9338  2055288 |     5000        7  10670 |  0.000 % |
159.65/159.79	c ===============================================================================
159.65/159.79	c New solution: -211
159.65/159.79	o -211
159.65/159.79	c Elapsed CPU time: 157.791 s	Remaining CPU time: 22.209 s
159.65/159.79	c ===============================================================================
159.65/159.79	c |         8 |   10713     9339  2066001 |     5000        8  10666 |  0.000 % |
161.45/161.59	c ===============================================================================
161.45/161.59	c New solution: -212
161.45/161.59	o -212
161.45/161.59	c Elapsed CPU time: 159.581 s	Remaining CPU time: 20.4193 s
161.45/161.59	c ===============================================================================
161.45/161.59	c |         8 |   10713     9340  2076714 |     5000        8  10666 |  0.000 % |
163.35/163.40	c ===============================================================================
163.35/163.40	c New solution: -213
163.35/163.40	o -213
163.35/163.40	c Elapsed CPU time: 161.38 s	Remaining CPU time: 18.6195 s
163.35/163.40	c ===============================================================================
163.35/163.40	c |         8 |   10713     9341  2087427 |     5000        8  10666 |  0.000 % |
165.05/165.15	c ===============================================================================
165.05/165.15	c New solution: -214
165.05/165.15	o -214
165.05/165.15	c Elapsed CPU time: 163.11 s	Remaining CPU time: 16.8898 s
165.05/165.15	c ===============================================================================
165.05/165.15	c |         8 |   10713     9342  2098140 |     5000        8  10666 |  0.000 % |
166.75/166.89	c ===============================================================================
166.75/166.89	c New solution: -215
166.75/166.89	o -215
166.75/166.89	c Elapsed CPU time: 164.847 s	Remaining CPU time: 15.1531 s
166.75/166.89	c ===============================================================================
166.75/166.89	c |         8 |   10713     9343  2108853 |     5000        8  10666 |  0.000 % |
168.55/168.66	c ===============================================================================
168.55/168.66	c New solution: -216
168.55/168.66	o -216
168.55/168.66	c Elapsed CPU time: 166.605 s	Remaining CPU time: 13.3953 s
168.55/168.66	c ===============================================================================
168.55/168.66	c |         8 |   10713     9344  2119566 |     5000        8  10666 |  0.000 % |
170.35/170.42	c ===============================================================================
170.35/170.42	c New solution: -217
170.35/170.42	o -217
170.35/170.42	c Elapsed CPU time: 168.358 s	Remaining CPU time: 11.6416 s
170.35/170.42	c ===============================================================================
170.35/170.42	c |         8 |   10713     9345  2130279 |     5000        8  10666 |  0.000 % |
172.15/172.22	c ===============================================================================
172.15/172.22	c New solution: -218
172.15/172.22	o -218
172.15/172.22	c Elapsed CPU time: 170.149 s	Remaining CPU time: 9.85087 s
172.15/172.22	c ===============================================================================
172.15/172.22	c |         8 |   10713     9346  2140992 |     5000        8  10666 |  0.000 % |
173.94/174.01	c ===============================================================================
173.94/174.01	c New solution: -219
173.94/174.01	o -219
173.94/174.01	c Elapsed CPU time: 171.921 s	Remaining CPU time: 8.07914 s
173.94/174.01	c ===============================================================================
173.94/174.01	c |         8 |   10713     9347  2151705 |     5000        8  10666 |  0.000 % |
175.64/175.79	c ===============================================================================
175.64/175.79	c New solution: -220
175.64/175.79	o -220
175.64/175.79	c Elapsed CPU time: 173.692 s	Remaining CPU time: 6.30841 s
175.64/175.79	c ===============================================================================
175.64/175.79	c |         8 |   10713     9348  2162418 |     5000        8  10666 |  0.000 % |
177.44/177.58	c ===============================================================================
177.44/177.58	c New solution: -221
177.44/177.58	o -221
177.44/177.58	c Elapsed CPU time: 175.467 s	Remaining CPU time: 4.53268 s
177.44/177.58	c ===============================================================================
177.44/177.58	c |         8 |   10713     9349  2173131 |     5000        8  10666 |  0.000 % |
179.26/179.36	c ===============================================================================
179.26/179.36	c New solution: -222
179.26/179.36	o -222
179.26/179.36	c Elapsed CPU time: 177.235 s	Remaining CPU time: 2.76494 s
179.26/179.36	c ===============================================================================
179.26/179.36	c |         8 |   10713     9350  2183844 |     5000        8  10666 |  0.000 % |
181.05/181.15	c ===============================================================================
181.05/181.15	c New solution: -223
181.05/181.15	o -223
181.05/181.15	c Elapsed CPU time: 179.014 s	Remaining CPU time: 0.986215 s
181.05/181.15	c ===============================================================================
181.05/181.15	c |         8 |   10713     9351  2194557 |     5000        8  10666 |  0.000 % |
182.45/182.55	c There are 0 assigned variables. 0 in cost function.
190.74/190.86	c core #1
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 5	Core Weight: 1	Total Weight: -30410
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #2
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 4	Core Weight: 1	Total Weight: -30409
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #3
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 3	Core Weight: 2	Total Weight: -30407
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #4
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 5	Core Weight: 1	Total Weight: -30406
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #5
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 4	Core Weight: 1	Total Weight: -30405
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #6
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 3	Core Weight: 2	Total Weight: -30403
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #7
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 5	Core Weight: 1	Total Weight: -30402
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #8
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 4	Core Weight: 1	Total Weight: -30401
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #9
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 4	Core Weight: 1	Total Weight: -30400
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #10
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 4	Core Weight: 1	Total Weight: -30399
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #11
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 3	Core Weight: 1	Total Weight: -30398
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #12
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 4	Core Weight: 1	Total Weight: -30397
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #13
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 5	Core Weight: 1	Total Weight: -30396
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #14
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 4	Core Weight: 1	Total Weight: -30395
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #15
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 3	Core Weight: 2	Total Weight: -30393
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #16
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 5	Core Weight: 1	Total Weight: -30392
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #17
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 4	Core Weight: 1	Total Weight: -30391
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #18
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 5	Core Weight: 1	Total Weight: -30390
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #19
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 4	Core Weight: 1	Total Weight: -30389
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #20
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 3	Core Weight: 2	Total Weight: -30387
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #21
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 5	Core Weight: 1	Total Weight: -30386
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #22
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 4	Core Weight: 1	Total Weight: -30385
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #23
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 3	Core Weight: 2	Total Weight: -30383
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #24
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 5	Core Weight: 1	Total Weight: -30382
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #25
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 4	Core Weight: 1	Total Weight: -30381
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #26
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 3	Core Weight: 2	Total Weight: -30379
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #27
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 4	Core Weight: 1	Total Weight: -30378
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #28
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 5	Core Weight: 1	Total Weight: -30377
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #29
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 4	Core Weight: 1	Total Weight: -30376
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #30
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 5	Core Weight: 1	Total Weight: -30375
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #31
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 4	Core Weight: 1	Total Weight: -30374
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #32
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 3	Core Weight: 2	Total Weight: -30372
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #33
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 5	Core Weight: 1	Total Weight: -30371
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #34
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 4	Core Weight: 1	Total Weight: -30370
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #35
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 3	Core Weight: 2	Total Weight: -30368
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #36
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 5	Core Weight: 1	Total Weight: -30367
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #37
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 4	Core Weight: 1	Total Weight: -30366
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #38
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 3	Core Weight: 2	Total Weight: -30364
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #39
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 5	Core Weight: 1	Total Weight: -30363
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #40
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 4	Core Weight: 1	Total Weight: -30362
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #41
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 3	Core Weight: 2	Total Weight: -30360
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #42
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 5	Core Weight: 1	Total Weight: -30359
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #43
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 4	Core Weight: 1	Total Weight: -30358
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #44
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 3	Core Weight: 2	Total Weight: -30356
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #45
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 4	Core Weight: 1	Total Weight: -30355
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #46
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 5	Core Weight: 1	Total Weight: -30354
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #47
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 4	Core Weight: 1	Total Weight: -30353
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #48
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 3	Core Weight: 2	Total Weight: -30351
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #49
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 5	Core Weight: 1	Total Weight: -30350
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #50
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 4	Core Weight: 1	Total Weight: -30349
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #51
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 5	Core Weight: 1	Total Weight: -30348
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #52
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 4	Core Weight: 1	Total Weight: -30347
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #53
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 3	Core Weight: 2	Total Weight: -30345
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #54
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 5	Core Weight: 1	Total Weight: -30344
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #55
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 4	Core Weight: 1	Total Weight: -30343
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #56
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 3	Core Weight: 2	Total Weight: -30341
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #57
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 5	Core Weight: 1	Total Weight: -30340
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c core #58
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30339
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #59
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 5	Core Weight: 1	Total Weight: -30338
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #60
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30337
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #61
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 3	Core Weight: 2	Total Weight: -30335
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #62
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 5	Core Weight: 1	Total Weight: -30334
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #63
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30333
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #64
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 3	Core Weight: 2	Total Weight: -30331
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #65
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 5	Core Weight: 1	Total Weight: -30330
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #66
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30329
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #67
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 3	Core Weight: 2	Total Weight: -30327
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #68
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 5	Core Weight: 1	Total Weight: -30326
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #69
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30325
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #70
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30324
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #71
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 3	Core Weight: 1	Total Weight: -30323
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #72
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 5	Core Weight: 1	Total Weight: -30322
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #73
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30321
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #74
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 3	Core Weight: 2	Total Weight: -30319
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #75
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30318
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #76
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 5	Core Weight: 1	Total Weight: -30317
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #77
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30316
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #78
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 3	Core Weight: 2	Total Weight: -30314
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #79
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 5	Core Weight: 1	Total Weight: -30313
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #80
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30312
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #81
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 3	Core Weight: 2	Total Weight: -30310
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #82
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 5	Core Weight: 1	Total Weight: -30309
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #83
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30308
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #84
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 5	Core Weight: 1	Total Weight: -30307
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #85
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30306
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #86
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 3	Core Weight: 2	Total Weight: -30304
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #87
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 5	Core Weight: 1	Total Weight: -30303
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #88
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30302
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #89
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30301
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #90
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 3	Core Weight: 1	Total Weight: -30300
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #91
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 5	Core Weight: 1	Total Weight: -30299
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #92
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30298
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #93
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 5	Core Weight: 1	Total Weight: -30297
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #94
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30296
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #95
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 3	Core Weight: 2	Total Weight: -30294
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #96
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 5	Core Weight: 1	Total Weight: -30293
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #97
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30292
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #98
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 3	Core Weight: 2	Total Weight: -30290
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #99
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 5	Core Weight: 1	Total Weight: -30289
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #100
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30288
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #101
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 5	Core Weight: 1	Total Weight: -30287
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #102
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30286
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #103
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 3	Core Weight: 2	Total Weight: -30284
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #104
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 5	Core Weight: 1	Total Weight: -30283
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #105
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30282
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #106
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 3	Core Weight: 2	Total Weight: -30280
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #107
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 5	Core Weight: 1	Total Weight: -30279
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #108
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30278
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #109
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30277
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #110
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 3	Core Weight: 1	Total Weight: -30276
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #111
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30275
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #112
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 5	Core Weight: 1	Total Weight: -30274
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #113
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 4	Core Weight: 1	Total Weight: -30273
198.64/198.79	c
198.64/198.79	c
198.64/198.79	c core #114
198.64/198.79	c 
198.64/198.79	c 
198.64/198.79	c Core size: 3	Core Weight: 2	Total Weight: -30271
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #115
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 5	Core Weight: 1	Total Weight: -30270
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #116
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30269
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #117
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 3	Core Weight: 2	Total Weight: -30267
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #118
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 5	Core Weight: 1	Total Weight: -30266
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #119
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30265
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #120
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 3	Core Weight: 2	Total Weight: -30263
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #121
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30262
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #122
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 3	Core Weight: 1	Total Weight: -30261
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #123
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30260
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #124
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30259
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #125
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 3	Core Weight: 1	Total Weight: -30258
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #126
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30257
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #127
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 3	Core Weight: 1	Total Weight: -30256
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #128
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 5	Core Weight: 1	Total Weight: -30255
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #129
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30254
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #130
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 3	Core Weight: 2	Total Weight: -30252
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #131
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 5	Core Weight: 1	Total Weight: -30251
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #132
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30250
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #133
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 3	Core Weight: 2	Total Weight: -30248
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #134
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 5	Core Weight: 1	Total Weight: -30247
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #135
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 5	Core Weight: 1	Total Weight: -30246
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #136
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30245
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #137
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 3	Core Weight: 2	Total Weight: -30243
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #138
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30242
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #139
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 5	Core Weight: 1	Total Weight: -30241
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #140
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30240
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #141
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 3	Core Weight: 2	Total Weight: -30238
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #142
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 5	Core Weight: 1	Total Weight: -30237
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #143
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30236
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #144
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 3	Core Weight: 2	Total Weight: -30234
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #145
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30233
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #146
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 5	Core Weight: 1	Total Weight: -30232
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #147
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30231
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #148
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 3	Core Weight: 2	Total Weight: -30229
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #149
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 5	Core Weight: 1	Total Weight: -30228
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #150
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30227
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #151
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 3	Core Weight: 2	Total Weight: -30225
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #152
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 5	Core Weight: 1	Total Weight: -30224
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #153
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30223
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #154
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 5	Core Weight: 1	Total Weight: -30222
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #155
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30221
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #156
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 3	Core Weight: 2	Total Weight: -30219
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #157
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30218
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #158
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 5	Core Weight: 1	Total Weight: -30217
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #159
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30216
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #160
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30215
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #161
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30214
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #162
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30213
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #163
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 3	Core Weight: 1	Total Weight: -30212
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #164
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30211
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #165
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 3	Core Weight: 1	Total Weight: -30210
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #166
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30209
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #167
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30208
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #168
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 3	Core Weight: 1	Total Weight: -30207
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #169
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 4	Core Weight: 1	Total Weight: -30206
206.65/206.76	c
206.65/206.76	c
206.65/206.76	c core #170
206.65/206.76	c 
206.65/206.76	c 
206.65/206.76	c Core size: 3	Core Weight: 1	Total Weigh

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680630-1277451713/watcher-2680630-1277451713 -o /tmp/evaluation-result-2680630-1277451713/solver-2680630-1277451713 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680630-1277451713.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 27527
/proc/meminfo: memFree=1199012/2059040 swapFree=4140428/4192956
[pid=27527] ppid=27525 vsize=4564 CPUtime=0.01
/proc/27527/stat : 27527 (wbo1.4b) R 27525 27527 27500 0 -1 4202496 597 0 0 0 1 0 0 0 21 0 1 0 86463515 4673536 516 1992294400 134512640 135752675 4290144464 18446744073709551615 134564635 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27527/statm: 1141 516 144 303 0 680 0

[startup+0.0398279 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 27527
/proc/meminfo: memFree=1199012/2059040 swapFree=4140428/4192956
[pid=27527] ppid=27525 vsize=5496 CPUtime=0.03
/proc/27527/stat : 27527 (wbo1.4b) R 27525 27527 27500 0 -1 4202496 843 0 0 0 3 0 0 0 21 0 1 0 86463515 5627904 762 1992294400 134512640 135752675 4290144464 18446744073709551615 134559885 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27527/statm: 1374 762 180 303 0 913 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5496

[startup+0.101834 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 27527
/proc/meminfo: memFree=1199012/2059040 swapFree=4140428/4192956
[pid=27527] ppid=27525 vsize=6684 CPUtime=0.09
/proc/27527/stat : 27527 (wbo1.4b) R 27525 27527 27500 0 -1 4202496 1228 0 0 0 9 0 0 0 21 0 1 0 86463515 6844416 1147 1992294400 134512640 135752675 4290144464 18446744073709551615 135228428 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27527/statm: 1671 1147 267 303 0 1210 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6684

[startup+0.301855 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 27527
/proc/meminfo: memFree=1199012/2059040 swapFree=4140428/4192956
[pid=27527] ppid=27525 vsize=6788 CPUtime=0.29
/proc/27527/stat : 27527 (wbo1.4b) R 27525 27527 27500 0 -1 4202496 1747 0 0 0 29 0 0 0 21 0 1 0 86463515 6950912 1196 1992294400 134512640 135752675 4290144464 18446744073709551615 134634705 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27527/statm: 1697 1196 142 303 0 1392 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6788

[startup+0.701895 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 27527
/proc/meminfo: memFree=1199012/2059040 swapFree=4140428/4192956
[pid=27527] ppid=27525 vsize=7448 CPUtime=0.69
/proc/27527/stat : 27527 (wbo1.4b) R 27525 27527 27500 0 -1 4202496 1921 0 0 0 67 2 0 0 22 0 1 0 86463515 7626752 1370 1992294400 134512640 135752675 4290144464 18446744073709551615 134634755 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27527/statm: 1862 1370 142 303 0 1557 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7448

[startup+1.50198 s]
/proc/loadavg: 0.00 0.00 0.00 2/107 27528
/proc/meminfo: memFree=1193796/2059040 swapFree=4140428/4192956
[pid=27527] ppid=27525 vsize=8660 CPUtime=1.49
/proc/27527/stat : 27527 (wbo1.4b) R 27525 27527 27500 0 -1 4202496 2233 0 0 0 144 5 0 0 25 0 1 0 86463515 8867840 1682 1992294400 134512640 135752675 4290144464 18446744073709551615 134634752 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27527/statm: 2165 1682 142 303 0 1860 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8660

[startup+3.10114 s]
/proc/loadavg: 0.08 0.02 0.01 2/107 27528
/proc/meminfo: memFree=1192060/2059040 swapFree=4140428/4192956
[pid=27527] ppid=27525 vsize=10388 CPUtime=3.09
/proc/27527/stat : 27527 (wbo1.4b) R 27525 27527 27500 0 -1 4202496 2674 0 0 0 299 10 0 0 25 0 1 0 86463515 10637312 2123 1992294400 134512640 135752675 4290144464 18446744073709551615 134634691 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27527/statm: 2597 2123 142 303 0 2292 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10388

[startup+6.30147 s]
/proc/loadavg: 0.08 0.02 0.01 2/107 27528
/proc/meminfo: memFree=1187844/2059040 swapFree=4140428/4192956
[pid=27527] ppid=27525 vsize=14076 CPUtime=6.29
/proc/27527/stat : 27527 (wbo1.4b) R 27525 27527 27500 0 -1 4202496 3566 0 0 0 608 21 0 0 25 0 1 0 86463515 14413824 3015 1992294400 134512640 135752675 4290144464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27527/statm: 3519 3015 142 303 0 3214 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14076

[startup+12.7011 s]
/proc/loadavg: 0.22 0.05 0.02 2/107 27528
/proc/meminfo: memFree=1182512/2059040 swapFree=4140428/4192956
[pid=27527] ppid=27525 vsize=18868 CPUtime=12.69
/proc/27527/stat : 27527 (wbo1.4b) R 27525 27527 27500 0 -1 4202496 4792 0 0 0 1232 37 0 0 25 0 1 0 86463515 19320832 4241 1992294400 134512640 135752675 4290144464 18446744073709551615 134634686 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27527/statm: 4717 4241 142 303 0 4412 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18868

[startup+25.5014 s]
/proc/loadavg: 0.34 0.08 0.02 2/107 27528
/proc/meminfo: memFree=1173584/2059040 swapFree=4140428/4192956
[pid=27527] ppid=27525 vsize=27408 CPUtime=25.49
/proc/27527/stat : 27527 (wbo1.4b) R 27525 27527 27500 0 -1 4202496 6928 0 0 0 2485 64 0 0 25 0 1 0 86463515 28065792 6377 1992294400 134512640 135752675 4290144464 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27527/statm: 6852 6377 143 303 0 6547 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27408

[startup+51.101 s]
/proc/loadavg: 0.56 0.15 0.05 2/107 27528
/proc/meminfo: memFree=1162920/2059040 swapFree=4140428/4192956
[pid=27527] ppid=27525 vsize=38400 CPUtime=51.08
/proc/27527/stat : 27527 (wbo1.4b) R 27525 27527 27500 0 -1 4202496 9665 0 0 0 5008 100 0 0 25 0 1 0 86463515 39321600 9114 1992294400 134512640 135752675 4290144464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27527/statm: 9600 9114 143 303 0 9295 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 38400

[startup+102.309 s]
/proc/loadavg: 0.82 0.29 0.10 2/107 27530
/proc/meminfo: memFree=1147792/2059040 swapFree=4140428/4192956
[pid=27527] ppid=27525 vsize=53020 CPUtime=102.27
/proc/27527/stat : 27527 (wbo1.4b) R 27525 27527 27500 0 -1 4202496 13314 0 0 0 10074 153 0 0 25 0 1 0 86463515 54292480 12763 1992294400 134512640 135752675 4290144464 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27527/statm: 13255 12763 143 303 0 12950 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 53020

[startup+162.301 s]
/proc/loadavg: 0.93 0.41 0.15 2/107 27532
/proc/meminfo: memFree=1137004/2059040 swapFree=4140428/4192956
[pid=27527] ppid=27525 vsize=63680 CPUtime=162.25
/proc/27527/stat : 27527 (wbo1.4b) R 27525 27527 27500 0 -1 4202496 15971 0 0 0 16027 198 0 0 25 0 1 0 86463515 65208320 15420 1992294400 134512640 135752675 4290144464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27527/statm: 15920 15420 143 303 0 15615 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 63680



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+213.102 s]
/proc/loadavg: 0.97 0.51 0.20 2/107 27532
/proc/meminfo: memFree=9620/2059040 swapFree=4140428/4192956
[pid=27527] ppid=27525 vsize=1847844 CPUtime=213.04
/proc/27527/stat : 27527 (wbo1.4b) R 27525 27527 27500 0 -1 4202496 462275 0 0 0 20939 365 0 0 25 0 1 0 86463515 1892192256 461472 1992294400 134512640 135752675 4290144464 18446744073709551615 135206853 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27527/statm: 461961 461472 145 303 0 461656 0
Current children cumulated CPU time (s) 213.04
Current children cumulated vsize (KiB) 1847844

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (213.14 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (213.14 s) to the 'lost time'.

[startup+213.21 s]
/proc/loadavg: 0.97 0.51 0.20 2/107 27532
/proc/meminfo: memFree=9620/2059040 swapFree=4140428/4192956
[pid=27527] ppid=27525 vsize=0 CPUtime=213.14
/proc/27527/stat : 27527 (wbo1.4b) R 27525 27527 27500 0 -1 4203524 462275 0 0 0 20939 375 0 0 25 0 1 0 86463515 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/27527/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 213.14
Current children cumulated vsize (KiB) 0

[startup+213.302 s]
/proc/loadavg: 0.97 0.51 0.20 2/108 27533
/proc/meminfo: memFree=1856036/2059040 swapFree=4140428/4192956
[pid=27527] ppid=-1 vsize=0 CPUtime=0
/proc/27527/stat : -- couldn't open stat file --/proc/27527/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############


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

[startup+213.21 s]
/proc/loadavg: 0.97 0.51 0.20 2/107 27532
/proc/meminfo: memFree=9620/2059040 swapFree=4140428/4192956
[pid=27527] ppid=27525 vsize=0 CPUtime=213.14
/proc/27527/stat : 27527 (wbo1.4b) R 27525 27527 27500 0 -1 4203524 462275 0 0 0 20939 375 0 0 25 0 1 0 86463515 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/27527/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 213.14
Current children cumulated vsize (KiB) 0

[startup+213.302 s]
/proc/loadavg: 0.97 0.51 0.20 2/108 27533
/proc/meminfo: memFree=1856036/2059040 swapFree=4140428/4192956
[pid=27527] ppid=-1 vsize=0 CPUtime=0
/proc/27527/stat : -- couldn't open stat file --/proc/27527/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27527 and gives
#  childrusage.ru_utime.tv_sec=209
#  childrusage.ru_utime.tv_usec=396166
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=849414
# CPU time returned by wait4() is 213.246
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 213.14
#  lost CPU user time (s): 209.39
#  lost CPU system time (s): 3.75

Real time (s): 213.306
CPU time (s): 213.14
CPU user time (s): 209.39
CPU system time (s): 3.75
CPU usage (%): 99.9223
Max. virtual memory (cumulated for all children) (KiB): 1847844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 209.396
system time used= 3.84941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462275
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= 28
involuntary context switches= 292

runsolver used 0.402938 second user time and 1.02084 second system time

The end

Launcher Data 

Begin job on node045 at 2010-06-25 09:41:53
IDJOB=2680630
IDBENCH=1869
IDSOLVER=1190
FILE ID=node045/2680630-1277451713
PBS_JOBID= 11188122
Free space on /tmp= 62508 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-manna81.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680630-1277451713/watcher-2680630-1277451713 -o /tmp/evaluation-result-2680630-1277451713/solver-2680630-1277451713 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680630-1277451713.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 6fc83a536fe9a582c06bbccccc09c709
RANDOM SEED=854475842

node045.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.247
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.247
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1199540 kB
Buffers:        200148 kB
Cached:         546124 kB
SwapCached:       5580 kB
Active:         176084 kB
Inactive:       583304 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1199540 kB
SwapTotal:     4192956 kB
SwapFree:      4140428 kB
Dirty:            3252 kB
Writeback:           0 kB
AnonPages:       11476 kB
Mapped:          11976 kB
Slab:            78184 kB
PageTables:       4148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183128 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62504 MiB
End job on node045 at 2010-06-25 09:45:28