Trace number 2683471

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)OPT6576 182.854 182.913

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randcebca4.cudf.paranoid.opb
MD5SUM18eba4fc2c6c4c36f404d480a47d1c35
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6576
Best CPU time to get the best result obtained on this benchmark2.30665
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5690
Total number of constraints25377
Number of constraints which are clauses25090
Number of constraints which are cardinality constraints (but not clauses)287
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 2112
Biggest coefficient in the objective function 1563
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 862774
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1563
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 862774
Number of bits of the biggest sum of numbers20
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.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2683471-1277509983.opb.
0.00/0.00	c Instance file HOME/instance-2683471-1277509983.opb
0.00/0.00	c File size is 807576 bytes.
0.09/0.11	c Highest Coefficient sum: 553
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:      5690                                                |
0.09/0.11	c |  Number Clauses:        25090                                               |
0.09/0.11	c |  Number Cardinality:    287                                                 |
0.09/0.11	c |  Number PB Constraints: 0                                                   |
2.20/2.21	c ============================[ Search Statistics ]==============================
2.20/2.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.20/2.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.20/2.21	c ===============================================================================
2.20/2.21	c |         0 |    3630    26944    52424 |     8459        0    nan |  0.000 % |
2.20/2.22	c ===============================================================================
2.20/2.22	c New solution: 493022
2.20/2.22	o 493022
2.20/2.22	c Elapsed CPU time: 2.19767 s	Remaining CPU time: 177.802 s
2.20/2.22	c ===============================================================================
2.20/2.22	c |         7 |    3630    26945    54440 |     8981        7      5 |  0.000 % |
2.20/2.23	c ===============================================================================
2.20/2.23	c New solution: 477426
2.20/2.23	o 477426
2.20/2.23	c Elapsed CPU time: 2.20566 s	Remaining CPU time: 177.794 s
2.20/2.23	c ===============================================================================
2.20/2.23	c |        17 |    3630    26946    56456 |     8982       17      4 |  0.000 % |
2.20/2.24	c ===============================================================================
2.20/2.24	c New solution: 421107
2.20/2.24	o 421107
2.20/2.24	c Elapsed CPU time: 2.21066 s	Remaining CPU time: 177.789 s
2.20/2.24	c ===============================================================================
2.20/2.24	c |        19 |    3630    26947    58472 |     8982       19      4 |  0.000 % |
2.20/2.25	c ===============================================================================
2.20/2.25	c New solution: 389847
2.20/2.25	o 389847
2.20/2.25	c Elapsed CPU time: 2.21966 s	Remaining CPU time: 177.78 s
2.20/2.25	c ===============================================================================
2.20/2.25	c |        26 |    3630    26948    60488 |     8982       26      4 |  0.000 % |
2.20/2.26	c ===============================================================================
2.20/2.26	c New solution: 316367
2.20/2.26	o 316367
2.20/2.26	c Elapsed CPU time: 2.23066 s	Remaining CPU time: 177.769 s
2.20/2.26	c ===============================================================================
2.20/2.26	c |        36 |    3630    26949    62504 |     8983       36      4 |  0.000 % |
2.20/2.27	c ===============================================================================
2.20/2.27	c New solution: 316366
2.20/2.27	o 316366
2.20/2.27	c Elapsed CPU time: 2.24266 s	Remaining CPU time: 177.757 s
2.20/2.27	c ===============================================================================
2.20/2.27	c |        41 |    3630    26950    64520 |     8983       41      4 |  0.000 % |
2.20/2.29	c ===============================================================================
2.20/2.29	c New solution: 292900
2.20/2.29	o 292900
2.20/2.29	c Elapsed CPU time: 2.25666 s	Remaining CPU time: 177.743 s
2.20/2.29	c ===============================================================================
2.20/2.29	c |        49 |    3630    26951    66536 |     8983       49      4 |  0.000 % |
2.29/2.30	c ===============================================================================
2.29/2.30	c New solution: 272555
2.29/2.30	o 272555
2.29/2.30	c Elapsed CPU time: 2.26865 s	Remaining CPU time: 177.731 s
2.29/2.30	c ===============================================================================
2.29/2.30	c |        57 |    3630    26952    68552 |     8984       57      4 |  0.000 % |
2.29/2.32	c ===============================================================================
2.29/2.32	c New solution: 271027
2.29/2.32	o 271027
2.29/2.32	c Elapsed CPU time: 2.28165 s	Remaining CPU time: 177.718 s
2.29/2.32	c ===============================================================================
2.29/2.32	c |        71 |    3630    26953    70568 |     8984       71      4 |  0.000 % |
2.29/2.33	c ===============================================================================
2.29/2.33	c New solution: 236611
2.29/2.33	o 236611
2.29/2.33	c Elapsed CPU time: 2.29065 s	Remaining CPU time: 177.709 s
2.29/2.33	c ===============================================================================
2.29/2.33	c |        77 |    3630    26954    72584 |     8984       77      4 |  0.000 % |
2.29/2.36	c ===============================================================================
2.29/2.36	c New solution: 236610
2.29/2.36	o 236610
2.29/2.36	c Elapsed CPU time: 2.31465 s	Remaining CPU time: 177.685 s
2.29/2.36	c ===============================================================================
2.29/2.36	c |        93 |    3630    26955    74600 |     8985       93      4 |  0.000 % |
2.29/2.37	c ===============================================================================
2.29/2.37	c New solution: 236591
2.29/2.37	o 236591
2.29/2.37	c Elapsed CPU time: 2.32864 s	Remaining CPU time: 177.671 s
2.29/2.37	c ===============================================================================
2.29/2.37	c |       100 |    3630    26956    76616 |     8985      100      9 |  0.000 % |
2.39/2.41	c ===============================================================================
2.39/2.41	c New solution: 122566
2.39/2.41	o 122566
2.39/2.41	c Elapsed CPU time: 2.35964 s	Remaining CPU time: 177.64 s
2.39/2.41	c ===============================================================================
2.39/2.41	c |       150 |    3630    26957    78632 |     8985      150      7 |  0.000 % |
2.39/2.42	c ===============================================================================
2.39/2.42	c New solution: 122509
2.39/2.42	o 122509
2.39/2.42	c Elapsed CPU time: 2.37164 s	Remaining CPU time: 177.628 s
2.39/2.42	c ===============================================================================
2.39/2.42	c |       159 |    3630    26958    80648 |     8986      159      7 |  0.000 % |
2.39/2.46	c ===============================================================================
2.39/2.46	c New solution: 122508
2.39/2.46	o 122508
2.39/2.46	c Elapsed CPU time: 2.40663 s	Remaining CPU time: 177.593 s
2.39/2.46	c ===============================================================================
2.39/2.46	c |       177 |    3630    26959    82664 |     8986      177     10 |  0.000 % |
2.49/2.50	c ===============================================================================
2.49/2.50	c New solution: 121002
2.49/2.50	o 121002
2.49/2.50	c Elapsed CPU time: 2.44463 s	Remaining CPU time: 177.555 s
2.49/2.50	c ===============================================================================
2.49/2.50	c |       205 |    3630    26960    84680 |     8986      205     12 |  0.000 % |
2.49/2.51	c ===============================================================================
2.49/2.51	c New solution: 119411
2.49/2.51	o 119411
2.49/2.51	c Elapsed CPU time: 2.45263 s	Remaining CPU time: 177.547 s
2.49/2.51	c ===============================================================================
2.49/2.51	c |       207 |    3630    26961    86696 |     8987      207     11 |  0.000 % |
2.49/2.53	c ===============================================================================
2.49/2.53	c New solution: 119403
2.49/2.53	o 119403
2.49/2.53	c Elapsed CPU time: 2.46962 s	Remaining CPU time: 177.53 s
2.49/2.53	c ===============================================================================
2.49/2.53	c |       209 |    3630    26962    88712 |     8987      209     14 |  0.000 % |
2.49/2.58	c ===============================================================================
2.49/2.58	c New solution: 119402
2.49/2.58	o 119402
2.49/2.58	c Elapsed CPU time: 2.51762 s	Remaining CPU time: 177.482 s
2.49/2.58	c ===============================================================================
2.49/2.58	c |       239 |    3630    26963    90728 |     8987      239     17 |  0.000 % |
2.59/2.60	c ===============================================================================
2.59/2.60	c New solution: 119401
2.59/2.60	o 119401
2.59/2.60	c Elapsed CPU time: 2.53461 s	Remaining CPU time: 177.465 s
2.59/2.60	c ===============================================================================
2.59/2.60	c |       241 |    3630    26964    92744 |     8988      241     17 |  0.000 % |
2.59/2.62	c ===============================================================================
2.59/2.62	c New solution: 119400
2.59/2.62	o 119400
2.59/2.62	c Elapsed CPU time: 2.54861 s	Remaining CPU time: 177.451 s
2.59/2.62	c ===============================================================================
2.59/2.62	c |       242 |    3630    26965    94760 |     8988      242     17 |  0.000 % |
2.59/2.64	c ===============================================================================
2.59/2.64	c New solution: 119399
2.59/2.64	o 119399
2.59/2.64	c Elapsed CPU time: 2.56961 s	Remaining CPU time: 177.43 s
2.59/2.64	c ===============================================================================
2.59/2.64	c |       243 |    3630    26966    96776 |     8988      243     17 |  0.000 % |
2.59/2.65	c ===============================================================================
2.59/2.65	c New solution: 110030
2.59/2.65	o 110030
2.59/2.65	c Elapsed CPU time: 2.58161 s	Remaining CPU time: 177.418 s
2.59/2.65	c ===============================================================================
2.59/2.65	c |       245 |    3630    26967    98792 |     8989      245     17 |  0.000 % |
2.69/2.75	c ===============================================================================
2.69/2.75	c New solution: 110029
2.69/2.75	o 110029
2.69/2.75	c Elapsed CPU time: 2.67159 s	Remaining CPU time: 177.328 s
2.69/2.75	c ===============================================================================
2.69/2.75	c |       260 |    3630    26968   100808 |     8989      260     18 |  0.000 % |
2.69/2.78	c ===============================================================================
2.69/2.78	c New solution: 110028
2.69/2.78	o 110028
2.69/2.78	c Elapsed CPU time: 2.70559 s	Remaining CPU time: 177.294 s
2.69/2.78	c ===============================================================================
2.69/2.78	c |       269 |    3630    26969   102824 |     8989      269     26 |  0.000 % |
2.89/2.90	c ===============================================================================
2.89/2.90	c New solution: 110027
2.89/2.90	o 110027
2.89/2.90	c Elapsed CPU time: 2.82457 s	Remaining CPU time: 177.175 s
2.89/2.90	c ===============================================================================
2.89/2.90	c |       289 |    3630    26970   104840 |     8990      289     27 |  0.000 % |
2.89/2.93	c ===============================================================================
2.89/2.93	c New solution: 110021
2.89/2.93	o 110021
2.89/2.93	c Elapsed CPU time: 2.84857 s	Remaining CPU time: 177.151 s
2.89/2.93	c ===============================================================================
2.89/2.93	c |       291 |    3630    26971   106856 |     8990      291     27 |  0.000 % |
2.89/2.96	c ===============================================================================
2.89/2.96	c New solution: 110020
2.89/2.96	o 110020
2.89/2.96	c Elapsed CPU time: 2.88256 s	Remaining CPU time: 177.117 s
2.89/2.96	c ===============================================================================
2.89/2.96	c |       292 |    3630    26972   108872 |     8990      292     26 |  0.000 % |
2.89/2.98	c ===============================================================================
2.89/2.98	c New solution: 110016
2.89/2.98	o 110016
2.89/2.98	c Elapsed CPU time: 2.90656 s	Remaining CPU time: 177.093 s
2.89/2.98	c ===============================================================================
2.89/2.98	c |       292 |    3630    26973   110888 |     8991      292     26 |  0.000 % |
2.99/3.02	c ===============================================================================
2.99/3.02	c New solution: 110015
2.99/3.02	o 110015
2.99/3.02	c Elapsed CPU time: 2.93755 s	Remaining CPU time: 177.062 s
2.99/3.02	c ===============================================================================
2.99/3.02	c |       292 |    3630    26974   112904 |     8991      292     26 |  0.000 % |
2.99/3.05	c ===============================================================================
2.99/3.05	c New solution: 110014
2.99/3.05	o 110014
2.99/3.05	c Elapsed CPU time: 2.97155 s	Remaining CPU time: 177.028 s
2.99/3.05	c ===============================================================================
2.99/3.05	c |       294 |    3630    26975   114920 |     8991      294     26 |  0.000 % |
2.99/3.09	c ===============================================================================
2.99/3.09	c New solution: 110013
2.99/3.09	o 110013
2.99/3.09	c Elapsed CPU time: 3.01254 s	Remaining CPU time: 176.987 s
2.99/3.09	c ===============================================================================
2.99/3.09	c |       296 |    3630    26976   116936 |     8992      296     26 |  0.000 % |
3.09/3.12	c ===============================================================================
3.09/3.12	c New solution: 110011
3.09/3.12	o 110011
3.09/3.12	c Elapsed CPU time: 3.03554 s	Remaining CPU time: 176.964 s
3.09/3.12	c ===============================================================================
3.09/3.12	c |       296 |    3630    26977   118952 |     8992      296     26 |  0.000 % |
3.09/3.15	c ===============================================================================
3.09/3.15	c New solution: 110010
3.09/3.15	o 110010
3.09/3.15	c Elapsed CPU time: 3.06953 s	Remaining CPU time: 176.93 s
3.09/3.15	c ===============================================================================
3.09/3.15	c |       296 |    3630    26978   120968 |     8992      296     26 |  0.000 % |
3.09/3.17	c ===============================================================================
3.09/3.17	c New solution: 110009
3.09/3.17	o 110009
3.09/3.17	c Elapsed CPU time: 3.09153 s	Remaining CPU time: 176.908 s
3.09/3.17	c ===============================================================================
3.09/3.17	c |       297 |    3630    26979   122984 |     8993      297     28 |  0.000 % |
3.19/3.23	c ===============================================================================
3.19/3.23	c New solution: 108521
3.19/3.23	o 108521
3.19/3.23	c Elapsed CPU time: 3.14452 s	Remaining CPU time: 176.855 s
3.19/3.23	c ===============================================================================
3.19/3.23	c |       317 |    3630    26980   125000 |     8993      317     34 |  0.000 % |
3.19/3.27	c ===============================================================================
3.19/3.27	c New solution: 108507
3.19/3.27	o 108507
3.19/3.27	c Elapsed CPU time: 3.18452 s	Remaining CPU time: 176.815 s
3.19/3.27	c ===============================================================================
3.19/3.27	c |       323 |    3630    26981   127016 |     8993      323     33 |  0.000 % |
3.19/3.29	c ===============================================================================
3.19/3.29	c New solution: 105393
3.19/3.29	o 105393
3.19/3.29	c Elapsed CPU time: 3.20151 s	Remaining CPU time: 176.798 s
3.19/3.29	c ===============================================================================
3.19/3.29	c |       326 |    3630    26982   129032 |     8994      326     33 |  0.000 % |
3.30/3.33	c ===============================================================================
3.30/3.33	c New solution: 105392
3.30/3.33	o 105392
3.30/3.33	c Elapsed CPU time: 3.24451 s	Remaining CPU time: 176.755 s
3.30/3.33	c ===============================================================================
3.30/3.33	c |       326 |    3630    26983   131048 |     8994      326     33 |  0.000 % |
3.30/3.35	c ===============================================================================
3.30/3.35	c New solution: 105391
3.30/3.35	o 105391
3.30/3.35	c Elapsed CPU time: 3.2635 s	Remaining CPU time: 176.736 s
3.30/3.35	c ===============================================================================
3.30/3.35	c |       326 |    3630    26984   133064 |     8994      326     33 |  0.000 % |
3.30/3.38	c ===============================================================================
3.30/3.38	c New solution: 105390
3.30/3.38	o 105390
3.30/3.38	c Elapsed CPU time: 3.2915 s	Remaining CPU time: 176.709 s
3.30/3.38	c ===============================================================================
3.30/3.38	c |       326 |    3630    26985   135080 |     8995      326     33 |  0.000 % |
3.39/3.41	c ===============================================================================
3.39/3.41	c New solution: 105389
3.39/3.41	o 105389
3.39/3.41	c Elapsed CPU time: 3.3205 s	Remaining CPU time: 176.68 s
3.39/3.41	c ===============================================================================
3.39/3.41	c |       327 |    3630    26986   137096 |     8995      327     33 |  0.000 % |
3.39/3.46	c ===============================================================================
3.39/3.46	c New solution: 105388
3.39/3.46	o 105388
3.39/3.46	c Elapsed CPU time: 3.36449 s	Remaining CPU time: 176.636 s
3.39/3.46	c ===============================================================================
3.39/3.46	c |       327 |    3630    26987   139112 |     8995      327     33 |  0.000 % |
3.39/3.48	c ===============================================================================
3.39/3.48	c New solution: 105387
3.39/3.48	o 105387
3.39/3.48	c Elapsed CPU time: 3.38948 s	Remaining CPU time: 176.611 s
3.39/3.48	c ===============================================================================
3.39/3.48	c |       328 |    3630    26988   141128 |     8996      328     34 |  0.000 % |
3.49/3.52	c ===============================================================================
3.49/3.52	c New solution: 105355
3.49/3.52	o 105355
3.49/3.52	c Elapsed CPU time: 3.42948 s	Remaining CPU time: 176.571 s
3.49/3.52	c ===============================================================================
3.49/3.52	c |       330 |    3630    26989   143144 |     8996      330     36 |  0.000 % |
3.49/3.57	c ===============================================================================
3.49/3.57	c New solution: 105354
3.49/3.57	o 105354
3.49/3.57	c Elapsed CPU time: 3.47147 s	Remaining CPU time: 176.529 s
3.49/3.57	c ===============================================================================
3.49/3.57	c |       343 |    3630    26990   145160 |     8996      343     42 |  0.000 % |
3.59/3.65	c ===============================================================================
3.59/3.65	c New solution: 105353
3.59/3.65	o 105353
3.59/3.65	c Elapsed CPU time: 3.55246 s	Remaining CPU time: 176.448 s
3.59/3.65	c ===============================================================================
3.59/3.65	c |       346 |    3630    26991   147176 |     8997      346     43 |  0.000 % |
3.69/3.71	c ===============================================================================
3.69/3.71	c New solution: 105352
3.69/3.71	o 105352
3.69/3.71	c Elapsed CPU time: 3.60945 s	Remaining CPU time: 176.391 s
3.69/3.71	c ===============================================================================
3.69/3.71	c |       349 |    3630    26992   149192 |     8997      349     46 |  0.000 % |
3.69/3.74	c ===============================================================================
3.69/3.74	c New solution: 105329
3.69/3.74	o 105329
3.69/3.74	c Elapsed CPU time: 3.63945 s	Remaining CPU time: 176.361 s
3.69/3.74	c ===============================================================================
3.69/3.74	c |       355 |    3630    26993   151208 |     8997      355     45 |  0.000 % |
3.69/3.77	c ===============================================================================
3.69/3.77	c New solution: 105328
3.69/3.77	o 105328
3.69/3.77	c Elapsed CPU time: 3.66644 s	Remaining CPU time: 176.334 s
3.69/3.77	c ===============================================================================
3.69/3.77	c |       355 |    3630    26994   153224 |     8998      355     45 |  0.000 % |
3.79/3.83	c ===============================================================================
3.79/3.83	c New solution: 105327
3.79/3.83	o 105327
3.79/3.83	c Elapsed CPU time: 3.72643 s	Remaining CPU time: 176.274 s
3.79/3.83	c ===============================================================================
3.79/3.83	c |       355 |    3630    26995   155240 |     8998      355     45 |  0.000 % |
3.79/3.86	c ===============================================================================
3.79/3.86	c New solution: 105326
3.79/3.86	o 105326
3.79/3.86	c Elapsed CPU time: 3.75543 s	Remaining CPU time: 176.245 s
3.79/3.86	c ===============================================================================
3.79/3.86	c |       355 |    3630    26996   157256 |     8998      355     45 |  0.000 % |
3.79/3.88	c ===============================================================================
3.79/3.88	c New solution: 105325
3.79/3.88	o 105325
3.79/3.88	c Elapsed CPU time: 3.78143 s	Remaining CPU time: 176.219 s
3.79/3.88	c ===============================================================================
3.79/3.88	c |       355 |    3630    26997   159272 |     8999      355     45 |  0.000 % |
3.89/3.91	c ===============================================================================
3.89/3.91	c New solution: 105324
3.89/3.91	o 105324
3.89/3.91	c Elapsed CPU time: 3.80842 s	Remaining CPU time: 176.192 s
3.89/3.91	c ===============================================================================
3.89/3.91	c |       355 |    3630    26998   161288 |     8999      355     45 |  0.000 % |
3.89/3.94	c ===============================================================================
3.89/3.94	c New solution: 105323
3.89/3.94	o 105323
3.89/3.94	c Elapsed CPU time: 3.83842 s	Remaining CPU time: 176.162 s
3.89/3.94	c ===============================================================================
3.89/3.94	c |       355 |    3630    26999   163304 |     8999      355     45 |  0.000 % |
3.89/3.99	c ===============================================================================
3.89/3.99	c New solution: 105322
3.89/3.99	o 105322
3.89/3.99	c Elapsed CPU time: 3.88441 s	Remaining CPU time: 176.116 s
3.89/3.99	c ===============================================================================
3.89/3.99	c |       358 |    3630    27000   165320 |     9000      358     48 |  0.000 % |
4.09/4.10	c ===============================================================================
4.09/4.10	c New solution: 103871
4.09/4.10	o 103871
4.09/4.10	c Elapsed CPU time: 3.99739 s	Remaining CPU time: 176.003 s
4.09/4.10	c ===============================================================================
4.09/4.10	c |       362 |    3630    27001   167336 |     9000      362     47 |  0.000 % |
4.19/4.21	c ===============================================================================
4.19/4.21	c New solution: 103870
4.19/4.21	o 103870
4.19/4.21	c Elapsed CPU time: 4.10338 s	Remaining CPU time: 175.897 s
4.19/4.21	c ===============================================================================
4.19/4.21	c |       366 |    3630    27002   169352 |     9000      366     47 |  0.000 % |
4.19/4.28	c ===============================================================================
4.19/4.28	c New solution: 103869
4.19/4.28	o 103869
4.19/4.28	c Elapsed CPU time: 4.17037 s	Remaining CPU time: 175.83 s
4.19/4.28	c ===============================================================================
4.19/4.28	c |       366 |    3630    27003   171368 |     9001      366     47 |  0.000 % |
4.29/4.34	c ===============================================================================
4.29/4.34	c New solution: 103868
4.29/4.34	o 103868
4.29/4.34	c Elapsed CPU time: 4.23635 s	Remaining CPU time: 175.764 s
4.29/4.34	c ===============================================================================
4.29/4.34	c |       366 |    3630    27004   173384 |     9001      366     47 |  0.000 % |
4.39/4.41	c ===============================================================================
4.39/4.41	c New solution: 103867
4.39/4.41	o 103867
4.39/4.41	c Elapsed CPU time: 4.30234 s	Remaining CPU time: 175.698 s
4.39/4.41	c ===============================================================================
4.39/4.41	c |       366 |    3630    27005   175400 |     9001      366     47 |  0.000 % |
4.39/4.48	c ===============================================================================
4.39/4.48	c New solution: 103838
4.39/4.48	o 103838
4.39/4.48	c Elapsed CPU time: 4.37033 s	Remaining CPU time: 175.63 s
4.39/4.48	c ===============================================================================
4.39/4.48	c |       366 |    3630    27006   177416 |     9002      366     47 |  0.000 % |
4.49/4.55	c ===============================================================================
4.49/4.55	c New solution: 103837
4.49/4.55	o 103837
4.49/4.55	c Elapsed CPU time: 4.43933 s	Remaining CPU time: 175.561 s
4.49/4.55	c ===============================================================================
4.49/4.55	c |       367 |    3630    27007   179432 |     9002      367     49 |  0.000 % |
4.69/4.70	c ===============================================================================
4.69/4.70	c New solution: 103836
4.69/4.70	o 103836
4.69/4.70	c Elapsed CPU time: 4.5923 s	Remaining CPU time: 175.408 s
4.69/4.70	c ===============================================================================
4.69/4.70	c |       372 |    3630    27008   181448 |     9002      372     50 |  0.000 % |
4.69/4.76	c ===============================================================================
4.69/4.76	c New solution: 103819
4.69/4.76	o 103819
4.69/4.76	c Elapsed CPU time: 4.64829 s	Remaining CPU time: 175.352 s
4.69/4.76	c ===============================================================================
4.69/4.76	c |       374 |    3630    27009   183464 |     9003      374     51 |  0.000 % |
4.79/4.80	c ===============================================================================
4.79/4.80	c New solution: 103818
4.79/4.80	o 103818
4.79/4.80	c Elapsed CPU time: 4.68729 s	Remaining CPU time: 175.313 s
4.79/4.80	c ===============================================================================
4.79/4.80	c |       376 |    3630    27010   185480 |     9003      376     54 |  0.000 % |
4.89/4.90	c ===============================================================================
4.89/4.90	c New solution: 103812
4.89/4.90	o 103812
4.89/4.90	c Elapsed CPU time: 4.78127 s	Remaining CPU time: 175.219 s
4.89/4.90	c ===============================================================================
4.89/4.90	c |       376 |    3630    27011   187496 |     9003      376     54 |  0.000 % |
4.89/4.99	c ===============================================================================
4.89/4.99	c New solution: 103811
4.89/4.99	o 103811
4.89/4.99	c Elapsed CPU time: 4.87626 s	Remaining CPU time: 175.124 s
4.89/4.99	c ===============================================================================
4.89/4.99	c |       376 |    3630    27012   189512 |     9004      376     54 |  0.000 % |
4.99/5.09	c ===============================================================================
4.99/5.09	c New solution: 103810
4.99/5.09	o 103810
4.99/5.09	c Elapsed CPU time: 4.97224 s	Remaining CPU time: 175.028 s
4.99/5.09	c ===============================================================================
4.99/5.09	c |       376 |    3630    27013   191528 |     9004      376     54 |  0.000 % |
5.09/5.19	c ===============================================================================
5.09/5.19	c New solution: 103809
5.09/5.19	o 103809
5.09/5.19	c Elapsed CPU time: 5.07023 s	Remaining CPU time: 174.93 s
5.09/5.19	c ===============================================================================
5.09/5.19	c |       378 |    3630    27014   193544 |     9004      378     57 |  0.000 % |
5.28/5.34	c ===============================================================================
5.28/5.34	c New solution: 103808
5.28/5.34	o 103808
5.28/5.34	c Elapsed CPU time: 5.22121 s	Remaining CPU time: 174.779 s
5.28/5.34	c ===============================================================================
5.28/5.34	c |       393 |    3630    27015   195560 |     9005      393     73 |  0.000 % |
5.39/5.41	c ===============================================================================
5.39/5.41	c New solution: 103807
5.39/5.41	o 103807
5.39/5.41	c Elapsed CPU time: 5.2882 s	Remaining CPU time: 174.712 s
5.39/5.41	c ===============================================================================
5.39/5.41	c |       406 |    3630    27016   197576 |     9005      406     87 |  0.000 % |
5.59/5.64	c ===============================================================================
5.59/5.64	c New solution: 102318
5.59/5.64	o 102318
5.59/5.64	c Elapsed CPU time: 5.51716 s	Remaining CPU time: 174.483 s
5.59/5.64	c ===============================================================================
5.59/5.64	c |       462 |    3630    27017   199592 |     9005      462    142 |  0.000 % |
5.69/5.71	c ===============================================================================
5.69/5.71	c New solution: 102263
5.69/5.71	o 102263
5.69/5.71	c Elapsed CPU time: 5.59015 s	Remaining CPU time: 174.41 s
5.69/5.71	c ===============================================================================
5.69/5.71	c |       463 |    3630    27018   201608 |     9006      463    143 |  0.000 % |
5.69/5.77	c ===============================================================================
5.69/5.77	c New solution: 102235
5.69/5.77	o 102235
5.69/5.77	c Elapsed CPU time: 5.64914 s	Remaining CPU time: 174.351 s
5.69/5.77	c ===============================================================================
5.69/5.77	c |       464 |    3630    27019   203624 |     9006      464    144 |  0.000 % |
5.79/5.83	c ===============================================================================
5.79/5.83	c New solution: 102234
5.79/5.83	o 102234
5.79/5.83	c Elapsed CPU time: 5.71013 s	Remaining CPU time: 174.29 s
5.79/5.83	c ===============================================================================
5.79/5.83	c |       469 |    3630    27020   205640 |     9006      469    148 |  0.000 % |
5.79/5.89	c ===============================================================================
5.79/5.89	c New solution: 102233
5.79/5.89	o 102233
5.79/5.89	c Elapsed CPU time: 5.77112 s	Remaining CPU time: 174.229 s
5.79/5.89	c ===============================================================================
5.79/5.89	c |       469 |    3630    27021   207656 |     9007      469    148 |  0.000 % |
5.89/5.98	c ===============================================================================
5.89/5.98	c New solution: 102232
5.89/5.98	o 102232
5.89/5.98	c Elapsed CPU time: 5.85411 s	Remaining CPU time: 174.146 s
5.89/5.98	c ===============================================================================
5.89/5.98	c |       471 |    3630    27022   209672 |     9007      471    149 |  0.000 % |
5.99/6.04	c ===============================================================================
5.99/6.04	c New solution: 102231
5.99/6.04	o 102231
5.99/6.04	c Elapsed CPU time: 5.9181 s	Remaining CPU time: 174.082 s
5.99/6.04	c ===============================================================================
5.99/6.04	c |       473 |    3630    27023   211688 |     9007      473    149 |  0.000 % |
6.09/6.11	c ===============================================================================
6.09/6.11	c New solution: 102230
6.09/6.11	o 102230
6.09/6.11	c Elapsed CPU time: 5.98409 s	Remaining CPU time: 174.016 s
6.09/6.11	c ===============================================================================
6.09/6.11	c |       476 |    3630    27024   213704 |     9008      476    152 |  0.000 % |
6.09/6.19	c ===============================================================================
6.09/6.19	c New solution: 102229
6.09/6.19	o 102229
6.09/6.19	c Elapsed CPU time: 6.06808 s	Remaining CPU time: 173.932 s
6.09/6.19	c ===============================================================================
6.09/6.19	c |       488 |    3630    27025   215720 |     9008      488    160 |  0.000 % |
6.29/6.38	c ===============================================================================
6.29/6.38	c New solution: 102228
6.29/6.38	o 102228
6.29/6.38	c Elapsed CPU time: 6.25605 s	Remaining CPU time: 173.744 s
6.29/6.38	c ===============================================================================
6.29/6.38	c |       516 |    3630    27026   217736 |     9008      516    186 |  0.000 % |
6.60/6.64	c |       616 |    3630    27026   217736 |     9909      616    253 | 36.204 % |
6.60/6.69	c ===============================================================================
6.60/6.69	c New solution: 102227
6.60/6.69	o 102227
6.60/6.69	c Elapsed CPU time: 6.567 s	Remaining CPU time: 173.433 s
6.60/6.69	c ===============================================================================
6.60/6.69	c |       620 |    3630    27027   219752 |     9009      620    256 | 36.204 % |
6.69/6.74	c ===============================================================================
6.69/6.74	c New solution: 102226
6.69/6.74	o 102226
6.69/6.74	c Elapsed CPU time: 6.61499 s	Remaining CPU time: 173.385 s
6.69/6.74	c ===============================================================================
6.69/6.74	c |       622 |    3630    27028   221768 |     9009      622    257 | 36.204 % |
6.79/6.87	c ===============================================================================
6.79/6.87	c New solution: 102225
6.79/6.87	o 102225
6.79/6.87	c Elapsed CPU time: 6.74897 s	Remaining CPU time: 173.251 s
6.79/6.87	c ===============================================================================
6.79/6.87	c |       656 |    3630    27029   223784 |     9009      656    278 | 36.204 % |
7.38/7.41	c ===============================================================================
7.38/7.41	c New solution: 100742
7.38/7.41	o 100742
7.38/7.41	c Elapsed CPU time: 7.27989 s	Remaining CPU time: 172.72 s
7.38/7.41	c ===============================================================================
7.38/7.41	c |       726 |    3630    27030   225800 |     9010      726    310 | 36.204 % |
7.38/7.48	c ===============================================================================
7.38/7.48	c New solution: 100710
7.38/7.48	o 100710
7.38/7.48	c Elapsed CPU time: 7.35488 s	Remaining CPU time: 172.645 s
7.38/7.48	c ===============================================================================
7.38/7.48	c |       729 |    3630    27031   227816 |     9010      729    310 | 36.204 % |
7.48/7.59	c ===============================================================================
7.48/7.59	c New solution: 100709
7.48/7.59	o 100709
7.48/7.59	c Elapsed CPU time: 7.46087 s	Remaining CPU time: 172.539 s
7.48/7.59	c ===============================================================================
7.48/7.59	c |       729 |    3630    27032   229832 |     9010      729    310 | 36.204 % |
7.60/7.69	c ===============================================================================
7.60/7.69	c New solution: 100699
7.60/7.69	o 100699
7.60/7.69	c Elapsed CPU time: 7.55485 s	Remaining CPU time: 172.445 s
7.60/7.69	c ===============================================================================
7.60/7.69	c |       730 |    3630    27033   231848 |     9011      730    310 | 36.204 % |
7.79/7.80	c ===============================================================================
7.79/7.80	c New solution: 100698
7.79/7.80	o 100698
7.79/7.80	c Elapsed CPU time: 7.66783 s	Remaining CPU time: 172.332 s
7.79/7.80	c ===============================================================================
7.79/7.80	c |       731 |    3630    27034   233864 |     9011      731    310 | 36.204 % |
7.79/7.89	c ===============================================================================
7.79/7.89	c New solution: 100697
7.79/7.89	o 100697
7.79/7.89	c Elapsed CPU time: 7.75482 s	Remaining CPU time: 172.245 s
7.79/7.89	c ===============================================================================
7.79/7.89	c |       733 |    3630    27035   235880 |     9011      733    311 | 36.204 % |
7.99/8.00	c ===============================================================================
7.99/8.00	c New solution: 100696
7.99/8.00	o 100696
7.99/8.00	c Elapsed CPU time: 7.8658 s	Remaining CPU time: 172.134 s
7.99/8.00	c ===============================================================================
7.99/8.00	c |       735 |    3630    27036   237896 |     9012      735    310 | 36.204 % |
7.99/8.07	c ===============================================================================
7.99/8.07	c New solution: 100695
7.99/8.07	o 100695
7.99/8.07	c Elapsed CPU time: 7.93979 s	Remaining CPU time: 172.06 s
7.99/8.07	c ===============================================================================
7.99/8.07	c |       736 |    3630    27037   239912 |     9012      736    311 | 36.204 % |
8.09/8.17	c ===============================================================================
8.09/8.17	c New solution: 100694
8.09/8.17	o 100694
8.09/8.17	c Elapsed CPU time: 8.03578 s	Remaining CPU time: 171.964 s
8.09/8.17	c ===============================================================================
8.09/8.17	c |       737 |    3630    27038   241928 |     9012      737    310 | 36.204 % |
8.19/8.25	c ===============================================================================
8.19/8.25	c New solution: 100693
8.19/8.25	o 100693
8.19/8.25	c Elapsed CPU time: 8.11577 s	Remaining CPU time: 171.884 s
8.19/8.25	c ===============================================================================
8.19/8.25	c |       744 |    3630    27039   243944 |     9013      744    313 | 36.204 % |
8.29/8.32	c ===============================================================================
8.29/8.32	c New solution: 100692
8.29/8.32	o 100692
8.29/8.32	c Elapsed CPU time: 8.18475 s	Remaining CPU time: 171.815 s
8.29/8.32	c ===============================================================================
8.29/8.32	c |       746 |    3630    27040   245960 |     9013      746    314 | 36.204 % |
8.29/8.39	c ===============================================================================
8.29/8.39	c New solution: 100677
8.29/8.39	o 100677
8.29/8.39	c Elapsed CPU time: 8.25774 s	Remaining CPU time: 171.742 s
8.29/8.39	c ===============================================================================
8.29/8.39	c |       749 |    3630    27041   247976 |     9013      749    315 | 36.204 % |
8.49/8.56	c ===============================================================================
8.49/8.56	c New solution: 99161
8.49/8.56	o 99161
8.49/8.56	c Elapsed CPU time: 8.42472 s	Remaining CPU time: 171.575 s
8.49/8.56	c ===============================================================================
8.49/8.56	c |       777 |    3630    27042   249992 |     9014      777    322 | 36.204 % |
8.59/8.63	c ===============================================================================
8.59/8.63	c New solution: 99115
8.59/8.63	o 99115
8.59/8.63	c Elapsed CPU time: 8.49471 s	Remaining CPU time: 171.505 s
8.59/8.63	c ===============================================================================
8.59/8.63	c |       778 |    3630    27043   252008 |     9014      778    322 | 36.204 % |
8.69/8.72	c ===============================================================================
8.69/8.72	c New solution: 99114
8.69/8.72	o 99114
8.69/8.72	c Elapsed CPU time: 8.5807 s	Remaining CPU time: 171.419 s
8.69/8.72	c ===============================================================================
8.69/8.72	c |       791 |    3630    27044   254024 |     9014      791    325 | 36.204 % |
8.80/8.83	c ===============================================================================
8.80/8.83	c New solution: 97603
8.80/8.83	o 97603
8.80/8.83	c Elapsed CPU time: 8.68568 s	Remaining CPU time: 171.314 s
8.80/8.83	c ===============================================================================
8.80/8.83	c |       799 |    3630    27045   256040 |     9015      799    328 | 36.204 % |
8.89/8.91	c ===============================================================================
8.89/8.91	c New solution: 97551
8.89/8.91	o 97551
8.89/8.91	c Elapsed CPU time: 8.76567 s	Remaining CPU time: 171.234 s
8.89/8.91	c ===============================================================================
8.89/8.91	c |       799 |    3630    27046   258056 |     9015      799    328 | 36.204 % |
8.89/8.99	c ===============================================================================
8.89/8.99	c New solution: 97550
8.89/8.99	o 97550
8.89/8.99	c Elapsed CPU time: 8.84965 s	Remaining CPU time: 171.15 s
8.89/8.99	c ===============================================================================
8.89/8.99	c |       800 |    3630    27047   260072 |     9015      800    328 | 36.204 % |
8.99/9.07	c ===============================================================================
8.99/9.07	c New solution: 97549
8.99/9.07	o 97549
8.99/9.07	c Elapsed CPU time: 8.92464 s	Remaining CPU time: 171.075 s
8.99/9.07	c ===============================================================================
8.99/9.07	c |       801 |    3630    27048   262088 |     9016      801    328 | 36.204 % |
9.09/9.15	c ===============================================================================
9.09/9.15	c New solution: 97548
9.09/9.15	o 97548
9.09/9.15	c Elapsed CPU time: 9.00663 s	Remaining CPU time: 170.993 s
9.09/9.15	c ===============================================================================
9.09/9.15	c |       802 |    3630    27049   264104 |     9016      802    328 | 36.204 % |
9.19/9.24	c ===============================================================================
9.19/9.24	c New solution: 97547
9.19/9.24	o 97547
9.19/9.24	c Elapsed CPU time: 9.09262 s	Remaining CPU time: 170.907 s
9.19/9.24	c ===============================================================================
9.19/9.24	c |       803 |    3630    27050   266120 |     9016      803    328 | 36.204 % |
9.29/9.31	c ===============================================================================
9.29/9.31	c New solution: 97546
9.29/9.31	o 97546
9.29/9.31	c Elapsed CPU time: 9.16161 s	Remaining CPU time: 170.838 s
9.29/9.31	c ===============================================================================
9.29/9.31	c |       803 |    3630    27051   268136 |     9017      803    328 | 36.204 % |
9.29/9.37	c ===============================================================================
9.29/9.37	c New solution: 97545
9.29/9.37	o 97545
9.29/9.37	c Elapsed CPU time: 9.2276 s	Remaining CPU time: 170.772 s
9.29/9.37	c ===============================================================================
9.29/9.37	c |       804 |    3630    27052   270152 |     9017      804    328 | 36.204 % |
9.39/9.45	c ===============================================================================
9.39/9.45	c New solution: 97544
9.39/9.45	o 97544
9.39/9.45	c Elapsed CPU time: 9.29859 s	Remaining CPU time: 170.701 s
9.39/9.45	c ===============================================================================
9.39/9.45	c |       808 |    3630    27053   272168 |     9017      808    329 | 36.204 % |
9.79/9.88	c ===============================================================================
9.79/9.88	c New solution: 97543
9.79/9.88	o 97543
9.79/9.88	c Elapsed CPU time: 9.73452 s	Remaining CPU time: 170.265 s
9.79/9.88	c ===============================================================================
9.79/9.88	c |       897 |    3630    27054   274184 |     9018      897    363 | 36.204 % |
9.89/9.92	c ===============================================================================
9.89/9.92	c New solution: 97542
9.89/9.92	o 97542
9.89/9.92	c Elapsed CPU time: 9.77351 s	Remaining CPU time: 170.226 s
9.89/9.92	c ===============================================================================
9.89/9.92	c |       903 |    3630    27055   276200 |     9018      903    364 | 36.204 % |
10.08/10.14	c ===============================================================================
10.08/10.14	c New solution: 97541
10.08/10.14	o 97541
10.08/10.14	c Elapsed CPU time: 9.98948 s	Remaining CPU time: 170.011 s
10.08/10.14	c ===============================================================================
10.08/10.14	c |       968 |    3630    27056   278216 |     9018      968    384 | 36.204 % |
10.19/10.24	c ===============================================================================
10.19/10.24	c New solution: 96025
10.19/10.24	o 96025
10.19/10.24	c Elapsed CPU time: 10.0855 s	Remaining CPU time: 169.915 s
10.19/10.24	c ===============================================================================
10.19/10.24	c |       975 |    3630    27057   280232 |     9019      975    385 | 36.204 % |
10.39/10.46	c ===============================================================================
10.39/10.46	c New solution: 96023
10.39/10.46	o 96023
10.39/10.46	c Elapsed CPU time: 10.3044 s	Remaining CPU time: 169.696 s
10.39/10.46	c ===============================================================================
10.39/10.46	c |       978 |    3630    27058   282248 |     9019      978    385 | 36.204 % |
10.49/10.57	c ===============================================================================
10.49/10.57	c New solution: 95994
10.49/10.57	o 95994
10.49/10.57	c Elapsed CPU time: 10.4144 s	Remaining CPU time: 169.586 s
10.49/10.57	c ===============================================================================
10.49/10.57	c |       978 |    3630    27059   284264 |     9019      978    385 | 36.204 % |
10.59/10.69	c ===============================================================================
10.59/10.69	c New solution: 95980
10.59/10.69	o 95980
10.59/10.69	c Elapsed CPU time: 10.5314 s	Remaining CPU time: 169.469 s
10.59/10.69	c ===============================================================================
10.59/10.69	c |       982 |    3630    27060   286280 |     9020      982    385 | 36.204 % |
10.69/10.78	c ===============================================================================
10.69/10.78	c New solution: 95979
10.69/10.78	o 95979
10.69/10.78	c Elapsed CPU time: 10.6204 s	Remaining CPU time: 169.38 s
10.69/10.78	c ===============================================================================
10.69/10.78	c |       982 |    3630    27061   288296 |     9020      982    385 | 36.204 % |
10.78/10.87	c ===============================================================================
10.78/10.87	c New solution: 95978
10.78/10.87	o 95978
10.78/10.87	c Elapsed CPU time: 10.7144 s	Remaining CPU time: 169.286 s
10.78/10.87	c ===============================================================================
10.78/10.87	c |       982 |    3630    27062   290312 |     9020      982    385 | 36.204 % |
10.90/10.96	c ===============================================================================
10.90/10.96	c New solution: 95977
10.90/10.96	o 95977
10.90/10.96	c Elapsed CPU time: 10.7994 s	Remaining CPU time: 169.201 s
10.90/10.96	c ===============================================================================
10.90/10.96	c |       982 |    3630    27063   292328 |     9021      982    385 | 36.204 % |
11.00/11.05	c ===============================================================================
11.00/11.05	c New solution: 95976
11.00/11.05	o 95976
11.00/11.05	c Elapsed CPU time: 10.8873 s	Remaining CPU time: 169.113 s
11.00/11.05	c ===============================================================================
11.00/11.05	c |       983 |    3630    27064   294344 |     9021      983    385 | 36.204 % |
11.09/11.13	c ===============================================================================
11.09/11.13	c New solution: 95975
11.09/11.13	o 95975
11.09/11.13	c Elapsed CPU time: 10.9693 s	Remaining CPU time: 169.031 s
11.09/11.13	c ===============================================================================
11.09/11.13	c |       983 |    3630    27065   296360 |     9021      983    385 | 36.204 % |
11.19/11.21	c ===============================================================================
11.19/11.21	c New solution: 95974
11.19/11.21	o 95974
11.19/11.21	c Elapsed CPU time: 11.0503 s	Remaining CPU time: 168.95 s
11.19/11.21	c ===============================================================================
11.19/11.21	c |       983 |    3630    27066   298376 |     9022      983    385 | 36.204 % |
11.19/11.29	c ===============================================================================
11.19/11.29	c New solution: 95973
11.19/11.29	o 95973
11.19/11.29	c Elapsed CPU time: 11.1313 s	Remaining CPU time: 168.869 s
11.19/11.29	c ===============================================================================
11.19/11.29	c |       983 |    3630    27067   300392 |     9022      983    385 | 36.204 % |
11.29/11.37	c ===============================================================================
11.29/11.37	c New solution: 95972
11.29/11.37	o 95972
11.29/11.37	c Elapsed CPU time: 11.2103 s	Remaining CPU time: 168.79 s
11.29/11.37	c ===============================================================================
11.29/11.37	c |       983 |    3630    27068   302408 |     9022      983    385 | 36.204 % |
11.39/11.45	c ===============================================================================
11.39/11.45	c New solution: 95971
11.39/11.45	o 95971
11.39/11.45	c Elapsed CPU time: 11.2903 s	Remaining CPU time: 168.71 s
11.39/11.45	c ===============================================================================
11.39/11.45	c |       987 |    3630    27069   304424 |     9023      987    386 | 36.204 % |
12.00/12.04	c |      1088 |    3630    27069   304424 |     9925     1088    411 | 36.204 % |
12.10/12.12	c ===============================================================================
12.10/12.12	c New solution: 95970
12.10/12.12	o 95970
12.10/12.12	c Elapsed CPU time: 11.9532 s	Remaining CPU time: 168.047 s
12.10/12.12	c ===============================================================================
12.10/12.12	c |      1089 |    3630    27070   306440 |     9023     1089    411 | 36.204 % |
12.19/12.23	c ===============================================================================
12.19/12.23	c New solution: 94459
12.19/12.23	o 94459
12.19/12.23	c Elapsed CPU time: 12.0642 s	Remaining CPU time: 167.936 s
12.19/12.23	c ===============================================================================
12.19/12.23	c |      1095 |    3630    27071   308456 |     9023     1095    413 | 36.204 % |
12.49/12.50	c ===============================================================================
12.49/12.50	c New solution: 94431
12.49/12.50	o 94431
12.49/12.50	c Elapsed CPU time: 12.3351 s	Remaining CPU time: 167.665 s
12.49/12.50	c ===============================================================================
12.49/12.50	c |      1167 |    3630    27072   310472 |     9024     1167    424 | 36.204 % |
12.59/12.61	c ===============================================================================
12.59/12.61	c New solution: 94430
12.59/12.61	o 94430
12.59/12.61	c Elapsed CPU time: 12.4451 s	Remaining CPU time: 167.555 s
12.59/12.61	c ===============================================================================
12.59/12.61	c |      1171 |    3630    27073   312488 |     9024     1171    425 | 36.204 % |
13.09/13.20	c ===============================================================================
13.09/13.20	c New solution: 94429
13.09/13.20	o 94429
13.09/13.20	c Elapsed CPU time: 13.03 s	Remaining CPU time: 166.97 s
13.09/13.20	c ===============================================================================
13.09/13.20	c |      1242 |    3630    27074   314504 |     9024     1242    439 | 36.204 % |
13.29/13.31	c ===============================================================================
13.29/13.31	c New solution: 94428
13.29/13.31	o 94428
13.29/13.31	c Elapsed CPU time: 13.146 s	Remaining CPU time: 166.854 s
13.29/13.31	c ===============================================================================
13.29/13.31	c |      1248 |    3630    27075   316520 |     9025     1248    439 | 36.204 % |
13.38/13.46	c ===============================================================================
13.38/13.46	c New solution: 94427
13.38/13.46	o 94427
13.38/13.46	c Elapsed CPU time: 13.289 s	Remaining CPU time: 166.711 s
13.38/13.46	c ===============================================================================
13.38/13.46	c |      1253 |    3630    27076   318536 |     9025     1253    440 | 36.204 % |
13.48/13.58	c ===============================================================================
13.48/13.58	c New solution: 94426
13.48/13.58	o 94426
13.48/13.58	c Elapsed CPU time: 13.416 s	Remaining CPU time: 166.584 s
13.48/13.58	c ===============================================================================
13.48/13.58	c |      1260 |    3630    27077   320552 |     9025     1260    440 | 36.204 % |
13.58/13.68	c ===============================================================================
13.58/13.68	c New solution: 94425
13.58/13.68	o 94425
13.58/13.68	c Elapsed CPU time: 13.5139 s	Remaining CPU time: 166.486 s
13.58/13.68	c ===============================================================================
13.58/13.68	c |      1266 |    3630    27078   322568 |     9026     1266    440 | 36.204 % |
13.78/13.82	c ===============================================================================
13.78/13.82	c New solution: 94424
13.78/13.82	o 94424
13.78/13.82	c Elapsed CPU time: 13.6539 s	Remaining CPU time: 166.346 s
13.78/13.82	c ===============================================================================
13.78/13.82	c |      1280 |    3630    27079   324584 |     9026     1280    442 | 36.204 % |
14.58/14.69	c |      1380 |    3630    27079   324584 |     9928     1380    458 | 36.204 % |
15.30/15.36	c ===============================================================================
15.30/15.36	c New solution: 94423
15.30/15.36	o 94423
15.30/15.36	c Elapsed CPU time: 15.1847 s	Remaining CPU time: 164.815 s
15.30/15.36	c ===============================================================================
15.30/15.36	c |      1526 |    3630    27080   326600 |     9026     1526    476 | 36.204 % |
15.40/15.48	c ===============================================================================
15.40/15.48	c New solution: 94422
15.40/15.48	o 94422
15.40/15.48	c Elapsed CPU time: 15.3037 s	Remaining CPU time: 164.696 s
15.40/15.48	c ===============================================================================
15.40/15.48	c |      1532 |    3630    27081   328616 |     9027     1532    476 | 36.204 % |
15.59/15.60	c ===============================================================================
15.59/15.60	c New solution: 94421
15.59/15.60	o 94421
15.59/15.60	c Elapsed CPU time: 15.4257 s	Remaining CPU time: 164.574 s
15.59/15.60	c ===============================================================================
15.59/15.60	c |      1551 |    3630    27082   330632 |     9027     1551    477 | 36.204 % |
16.09/16.12	c ===============================================================================
16.09/16.12	c New solution: 94420
16.09/16.12	o 94420
16.09/16.12	c Elapsed CPU time: 15.9416 s	Remaining CPU time: 164.058 s
16.09/16.12	c ===============================================================================
16.09/16.12	c |      1628 |    3630    27083   332648 |     9027     1628    485 | 36.204 % |
16.19/16.26	c ===============================================================================
16.19/16.26	c New solution: 94419
16.19/16.26	o 94419
16.19/16.26	c Elapsed CPU time: 16.0796 s	Remaining CPU time: 163.92 s
16.19/16.26	c ===============================================================================
16.19/16.26	c |      1631 |    3630    27084   334664 |     9028     1631    484 | 36.204 % |
16.78/16.88	c |      1732 |    3630    27084   334664 |     9930     1732    495 | 36.204 % |
16.88/16.96	c ===============================================================================
16.88/16.96	c New solution: 92889
16.88/16.96	o 92889
16.88/16.96	c Elapsed CPU time: 16.7804 s	Remaining CPU time: 163.22 s
16.88/16.96	c ===============================================================================
16.88/16.96	c |      1735 |    3630    27085   336680 |     9028     1735    494 | 36.204 % |
16.98/17.04	c ===============================================================================
16.98/17.04	c New solution: 92877
16.98/17.04	o 92877
16.98/17.04	c Elapsed CPU time: 16.8554 s	Remaining CPU time: 163.145 s
16.98/17.04	c ===============================================================================
16.98/17.04	c |      1739 |    3630    27086   338696 |     9028     1739    494 | 36.204 % |
17.09/17.16	c ===============================================================================
17.09/17.16	c New solution: 92876
17.09/17.16	o 92876
17.09/17.16	c Elapsed CPU time: 16.9774 s	Remaining CPU time: 163.023 s
17.09/17.16	c ===============================================================================
17.09/17.16	c |      1742 |    3630    27087   340712 |     9029     1742    494 | 36.204 % |
17.19/17.25	c ===============================================================================
17.19/17.25	c New solution: 92874
17.19/17.25	o 92874
17.19/17.25	c Elapsed CPU time: 17.0644 s	Remaining CPU time: 162.936 s
17.19/17.25	c ===============================================================================
17.19/17.25	c |      1743 |    3630    27088   342728 |     9029     1743    494 | 36.204 % |
17.29/17.31	c ===============================================================================
17.29/17.31	c New solution: 92859
17.29/17.31	o 92859
17.29/17.31	c Elapsed CPU time: 17.1264 s	Remaining CPU time: 162.874 s
17.29/17.31	c ===============================================================================
17.29/17.31	c |      1744 |    3630    27089   344744 |     9029     1744    494 | 36.204 % |
17.39/17.40	c ===============================================================================
17.39/17.40	c New solution: 92858
17.39/17.40	o 92858
17.39/17.40	c Elapsed CPU time: 17.2144 s	Remaining CPU time: 162.786 s
17.39/17.40	c ===============================================================================
17.39/17.40	c |      1752 |    3630    27090   346760 |     9030     1752    494 | 36.204 % |
17.39/17.47	c ===============================================================================
17.39/17.47	c New solution: 91334
17.39/17.47	o 91334
17.39/17.47	c Elapsed CPU time: 17.2784 s	Remaining CPU time: 162.722 s
17.39/17.47	c ===============================================================================
17.39/17.47	c |      1754 |    3630    27091   348776 |     9030     1754    494 | 36.204 % |
17.49/17.59	c ===============================================================================
17.49/17.59	c New solution: 91316
17.49/17.59	o 91316
17.49/17.59	c Elapsed CPU time: 17.4044 s	Remaining CPU time: 162.596 s
17.49/17.59	c ===============================================================================
17.49/17.59	c |      1756 |    3630    27092   350792 |     9030     1756    494 | 36.204 % |
17.78/17.87	c ===============================================================================
17.78/17.87	c New solution: 91315
17.78/17.87	o 91315
17.78/17.87	c Elapsed CPU time: 17.6753 s	Remaining CPU time: 162.325 s
17.78/17.87	c ===============================================================================
17.78/17.87	c |      1768 |    3630    27093   352808 |     9031     1768    494 | 36.204 % |
17.88/17.94	c ===============================================================================
17.88/17.94	c New solution: 91313
17.88/17.94	o 91313
17.88/17.94	c Elapsed CPU time: 17.7503 s	Remaining CPU time: 162.25 s
17.88/17.94	c ===============================================================================
17.88/17.94	c |      1769 |    3630    27094   354824 |     9031     1769    494 | 36.204 % |
17.98/18.01	c ===============================================================================
17.98/18.01	c New solution: 91312
17.98/18.01	o 91312
17.98/18.01	c Elapsed CPU time: 17.8183 s	Remaining CPU time: 162.182 s
17.98/18.01	c ===============================================================================
17.98/18.01	c |      1771 |    3630    27095   356840 |     9031     1771    494 | 36.204 % |
18.18/18.21	c ===============================================================================
18.18/18.21	c New solution: 91311
18.18/18.21	o 91311
18.18/18.21	c Elapsed CPU time: 18.0193 s	Remaining CPU time: 161.981 s
18.18/18.21	c ===============================================================================
18.18/18.21	c |      1771 |    3630    27096   358856 |     9032     1771    494 | 36.204 % |
18.39/18.42	c ===============================================================================
18.39/18.42	c New solution: 91310
18.39/18.42	o 91310
18.39/18.42	c Elapsed CPU time: 18.2272 s	Remaining CPU time: 161.773 s
18.39/18.42	c ===============================================================================
18.39/18.42	c |      1772 |    3630    27097   360872 |     9032     1772    494 | 36.204 % |
18.59/18.62	c ===============================================================================
18.59/18.62	c New solution: 91309
18.59/18.62	o 91309
18.59/18.62	c Elapsed CPU time: 18.4242 s	Remaining CPU time: 161.576 s
18.59/18.62	c ===============================================================================
18.59/18.62	c |      1772 |    3630    27098   362888 |     9032     1772    494 | 36.204 % |
18.59/18.69	c ===============================================================================
18.59/18.69	c New solution: 91307
18.59/18.69	o 91307
18.59/18.69	c Elapsed CPU time: 18.4942 s	Remaining CPU time: 161.506 s
18.59/18.69	c ===============================================================================
18.59/18.69	c |      1775 |    3630    27099   364904 |     9033     1775    493 | 36.204 % |
18.79/18.89	c ===============================================================================
18.79/18.89	c New solution: 91306
18.79/18.89	o 91306
18.79/18.89	c Elapsed CPU time: 18.6902 s	Remaining CPU time: 161.31 s
18.79/18.89	c ===============================================================================
18.79/18.89	c |      1775 |    3630    27100   366920 |     9033     1775    493 | 36.204 % |
18.99/19.08	c ===============================================================================
18.99/19.08	c New solution: 91305
18.99/19.08	o 91305
18.99/19.08	c Elapsed CPU time: 18.8821 s	Remaining CPU time: 161.118 s
18.99/19.08	c ===============================================================================
18.99/19.08	c |      1776 |    3630    27101   368936 |     9033     1776    493 | 36.204 % |
19.09/19.14	c ===============================================================================
19.09/19.14	c New solution: 91304
19.09/19.14	o 91304
19.09/19.14	c Elapsed CPU time: 18.9471 s	Remaining CPU time: 161.053 s
19.09/19.14	c ===============================================================================
19.09/19.14	c |      1777 |    3630    27102   370952 |     9034     1777    493 | 36.204 % |
19.18/19.22	c ===============================================================================
19.18/19.22	c New solution: 91303
19.18/19.22	o 91303
19.18/19.22	c Elapsed CPU time: 19.0201 s	Remaining CPU time: 160.98 s
19.18/19.22	c ===============================================================================
19.18/19.22	c |      1779 |    3630    27103   372968 |     9034     1779    493 | 36.204 % |
19.18/19.26	c ===============================================================================
19.18/19.26	c New solution: 91302
19.18/19.26	o 91302
19.18/19.26	c Elapsed CPU time: 19.0591 s	Remaining CPU time: 160.941 s
19.18/19.26	c ===============================================================================
19.18/19.26	c |      1780 |    3630    27104   374984 |     9034     1780    493 | 36.204 % |
19.38/19.45	c ===============================================================================
19.38/19.45	c New solution: 91301
19.38/19.45	o 91301
19.38/19.45	c Elapsed CPU time: 19.2491 s	Remaining CPU time: 160.751 s
19.38/19.45	c ===============================================================================
19.38/19.45	c |      1781 |    3630    27105   377000 |     9035     1781    493 | 36.204 % |
19.48/19.52	c ===============================================================================
19.48/19.52	c New solution: 89757
19.48/19.52	o 89757
19.48/19.52	c Elapsed CPU time: 19.3171 s	Remaining CPU time: 160.683 s
19.48/19.52	c ===============================================================================
19.48/19.52	c |      1783 |    3630    27106   379016 |     9035     1783    493 | 36.204 % |
19.59/19.63	c ===============================================================================
19.59/19.63	c New solution: 89726
19.59/19.63	o 89726
19.59/19.63	c Elapsed CPU time: 19.429 s	Remaining CPU time: 160.571 s
19.59/19.63	c ===============================================================================
19.59/19.63	c |      1785 |    3630    27107   381032 |     9035     1785    493 | 36.204 % |
19.69/19.70	c ===============================================================================
19.69/19.70	c New solution: 88209
19.69/19.70	o 88209
19.69/19.70	c Elapsed CPU time: 19.494 s	Remaining CPU time: 160.506 s
19.69/19.70	c ===============================================================================
19.69/19.70	c |      1785 |    3630    27108   383048 |     9036     1785    493 | 36.204 % |
19.69/19.78	c ===============================================================================
19.69/19.78	c New solution: 86677
19.69/19.78	o 86677
19.69/19.78	c Elapsed CPU time: 19.573 s	Remaining CPU time: 160.427 s
19.69/19.78	c ===============================================================================
19.69/19.78	c |      1785 |    3630    27109   385064 |     9036     1785    493 | 36.204 % |
19.79/19.87	c ===============================================================================
19.79/19.87	c New solution: 86676
19.79/19.87	o 86676
19.79/19.87	c Elapsed CPU time: 19.665 s	Remaining CPU time: 160.335 s
19.79/19.87	c ===============================================================================
19.79/19.87	c |      1785 |    3630    27110   387080 |     9036     1785    493 | 36.204 % |
19.88/19.95	c ===============================================================================
19.88/19.95	c New solution: 86674
19.88/19.95	o 86674
19.88/19.95	c Elapsed CPU time: 19.744 s	Remaining CPU time: 160.256 s
19.88/19.95	c ===============================================================================
19.88/19.95	c |      1785 |    3630    27111   389096 |     9037     1785    493 | 36.204 % |
19.98/20.09	c ===============================================================================
19.98/20.09	c New solution: 86673
19.98/20.09	o 86673
19.98/20.09	c Elapsed CPU time: 19.881 s	Remaining CPU time: 160.119 s
19.98/20.09	c ===============================================================================
19.98/20.09	c |      1785 |    3630    27112   391112 |     9037     1785    493 | 36.204 % |
20.08/20.15	c ===============================================================================
20.08/20.15	c New solution: 86672
20.08/20.15	o 86672
20.08/20.15	c Elapsed CPU time: 19.939 s	Remaining CPU time: 160.061 s
20.08/20.15	c ===============================================================================
20.08/20.15	c |      1785 |    3630    27113   393128 |     9037     1785    493 | 36.204 % |
20.18/20.22	c ===============================================================================
20.18/20.22	c New solution: 86671
20.18/20.22	o 86671
20.18/20.22	c Elapsed CPU time: 20.014 s	Remaining CPU time: 159.986 s
20.18/20.22	c ===============================================================================
20.18/20.22	c |      1785 |    3630    27114   395144 |     9038     1785    493 | 36.204 % |
20.18/20.29	c ===============================================================================
20.18/20.29	c New solution: 86670
20.18/20.29	o 86670
20.18/20.29	c Elapsed CPU time: 20.0849 s	Remaining CPU time: 159.915 s
20.18/20.29	c ===============================================================================
20.18/20.29	c |      1785 |    3630    27115   397160 |     9038     1785    493 | 36.204 % |
20.28/20.37	c ===============================================================================
20.28/20.37	c New solution: 86669
20.28/20.37	o 86669
20.28/20.37	c Elapsed CPU time: 20.1629 s	Remaining CPU time: 159.837 s
20.28/20.37	c ===============================================================================
20.28/20.37	c |      1787 |    3630    27116   399176 |     9038     1787    492 | 36.204 % |
20.38/20.43	c ===============================================================================
20.38/20.43	c New solution: 86668
20.38/20.43	o 86668
20.38/20.43	c Elapsed CPU time: 20.2189 s	Remaining CPU time: 159.781 s
20.38/20.43	c ===============================================================================
20.38/20.43	c |      1787 |    3630    27117   401192 |     9039     1787    492 | 36.204 % |
20.38/20.48	c ===============================================================================
20.38/20.48	c New solution: 86667
20.38/20.48	o 86667
20.38/20.48	c Elapsed CPU time: 20.2719 s	Remaining CPU time: 159.728 s
20.38/20.48	c ===============================================================================
20.38/20.48	c |      1787 |    3630    27118   403208 |     9039     1787    492 | 36.204 % |
20.48/20.54	c ===============================================================================
20.48/20.54	c New solution: 86666
20.48/20.54	o 86666
20.48/20.54	c Elapsed CPU time: 20.3289 s	Remaining CPU time: 159.671 s
20.48/20.54	c ===============================================================================
20.48/20.54	c |      1787 |    3630    27119   405224 |     9039     1787    492 | 36.204 % |
20.48/20.59	c ===============================================================================
20.48/20.59	c New solution: 86665
20.48/20.59	o 86665
20.48/20.59	c Elapsed CPU time: 20.3729 s	Remaining CPU time: 159.627 s
20.48/20.59	c ===============================================================================
20.48/20.59	c |      1787 |    3630    27120   407240 |     9040     1787    492 | 36.204 % |
20.59/20.64	c ===============================================================================
20.59/20.64	c New solution: 86664
20.59/20.64	o 86664
20.59/20.64	c Elapsed CPU time: 20.4259 s	Remaining CPU time: 159.574 s
20.59/20.64	c ===============================================================================
20.59/20.64	c |      1789 |    3630    27121   409256 |     9040     1789    492 | 36.204 % |
20.89/20.92	c ===============================================================================
20.89/20.92	c New solution: 86646
20.89/20.92	o 86646
20.89/20.92	c Elapsed CPU time: 20.7079 s	Remaining CPU time: 159.292 s
20.89/20.92	c ===============================================================================
20.89/20.92	c |      1790 |    3630    27122   411272 |     9040     1790    492 | 36.204 % |
20.99/21.07	c ===============================================================================
20.99/21.07	c New solution: 86645
20.99/21.07	o 86645
20.99/21.07	c Elapsed CPU time: 20.8578 s	Remaining CPU time: 159.142 s
20.99/21.07	c ===============================================================================
20.99/21.07	c |      1793 |    3630    27123   413288 |     9041     1793    492 | 36.204 % |
21.18/21.23	c ===============================================================================
21.18/21.23	c New solution: 86611
21.18/21.23	o 86611
21.18/21.23	c Elapsed CPU time: 21.0118 s	Remaining CPU time: 158.988 s
21.18/21.23	c ===============================================================================
21.18/21.23	c |      1793 |    3630    27124   415304 |     9041     1793    492 | 36.204 % |
21.28/21.38	c ===============================================================================
21.28/21.38	c New solution: 86610
21.28/21.38	o 86610
21.28/21.38	c Elapsed CPU time: 21.1638 s	Remaining CPU time: 158.836 s
21.28/21.38	c ===============================================================================
21.28/21.38	c |      1794 |    3630    27125   417320 |     9041     1794    492 | 36.204 % |
21.48/21.50	c ===============================================================================
21.48/21.50	c New solution: 86601
21.48/21.50	o 86601
21.48/21.50	c Elapsed CPU time: 21.2808 s	Remaining CPU time: 158.719 s
21.48/21.50	c ===============================================================================
21.48/21.50	c |      1798 |    3630    27126   419336 |     9042     1798    492 | 36.204 % |
22.18/22.22	c |      1898 |    3630    27126   419336 |     9946     1898    502 | 36.204 % |
22.68/22.76	c ===============================================================================
22.68/22.76	c New solution: 86600
22.68/22.76	o 86600
22.68/22.76	c Elapsed CPU time: 22.5406 s	Remaining CPU time: 157.459 s
22.68/22.76	c ===============================================================================
22.68/22.76	c |      1949 |    3630    27127   421352 |     9042     1949    506 | 36.204 % |
22.88/22.96	c ===============================================================================
22.88/22.96	c New solution: 86599
22.88/22.96	o 86599
22.88/22.96	c Elapsed CPU time: 22.7365 s	Remaining CPU time: 157.263 s
22.88/22.96	c ===============================================================================
22.88/22.96	c |      1959 |    3630    27128   423368 |     9042     1959    507 | 36.204 % |
22.99/23.09	c ===============================================================================
22.99/23.09	c New solution: 86598
22.99/23.09	o 86598
22.99/23.09	c Elapsed CPU time: 22.8665 s	Remaining CPU time: 157.133 s
22.99/23.09	c ===============================================================================
22.99/23.09	c |      1961 |    3630    27129   425384 |     9043     1961    507 | 36.204 % |
23.89/23.98	c ===============================================================================
23.89/23.98	c New solution: 86597
23.89/23.98	o 86597
23.89/23.98	c Elapsed CPU time: 23.7564 s	Remaining CPU time: 156.244 s
23.89/23.98	c ===============================================================================
23.89/23.98	c |      2039 |    3630    27130   427400 |     9043     2039    512 | 36.204 % |
24.09/24.16	c ===============================================================================
24.09/24.16	c New solution: 86596
24.09/24.16	o 86596
24.09/24.16	c Elapsed CPU time: 23.9314 s	Remaining CPU time: 156.069 s
24.09/24.16	c ===============================================================================
24.09/24.16	c |      2046 |    3630    27131   429416 |     9043     2046    513 | 36.204 % |
24.28/24.33	c ===============================================================================
24.28/24.33	c New solution: 86595
24.28/24.33	o 86595
24.28/24.33	c Elapsed CPU time: 24.1033 s	Remaining CPU time: 155.897 s
24.28/24.33	c ===============================================================================
24.28/24.33	c |      2058 |    3630    27132   431432 |     9044     2058    513 | 36.204 % |
24.38/24.47	c ===============================================================================
24.38/24.47	c New solution: 86594
24.38/24.47	o 86594
24.38/24.47	c Elapsed CPU time: 24.2403 s	Remaining CPU time: 155.76 s
24.38/24.47	c ===============================================================================
24.38/24.47	c |      2066 |    3630    27133   433448 |     9044     2066    514 | 36.204 % |
24.58/24.60	c ===============================================================================
24.58/24.60	c New solution: 86593
24.58/24.60	o 86593
24.58/24.60	c Elapsed CPU time: 24.3753 s	Remaining CPU time: 155.625 s
24.58/24.60	c ===============================================================================
24.58/24.60	c |      2075 |    3630    27134   435464 |     9044     2075    514 | 36.204 % |
25.08/25.15	c |      2175 |    3630    27134   435464 |     9949     2175    520 | 36.204 % |
26.48/26.57	c ===============================================================================
26.48/26.57	c New solution: 86592
26.48/26.57	o 86592
26.48/26.57	c Elapsed CPU time: 26.336 s	Remaining CPU time: 153.664 s
26.48/26.57	c ===============================================================================
26.48/26.57	c |      2312 |    3630    27135   437480 |     9045     2312    528 | 36.204 % |
26.68/26.75	c ===============================================================================
26.68/26.75	c New solution: 86591
26.68/26.75	o 86591
26.68/26.75	c Elapsed CPU time: 26.513 s	Remaining CPU time: 153.487 s
26.68/26.75	c ===============================================================================
26.68/26.75	c |      2312 |    3630    27136   439496 |     9045     2312    528 | 36.204 % |
26.88/26.93	c ===============================================================================
26.88/26.93	c New solution: 86590
26.88/26.93	o 86590
26.88/26.93	c Elapsed CPU time: 26.6949 s	Remaining CPU time: 153.305 s
26.88/26.93	c ===============================================================================
26.88/26.93	c |      2312 |    3630    27137   441512 |     9045     2312    528 | 36.204 % |
27.09/27.11	c ===============================================================================
27.09/27.11	c New solution: 86589
27.09/27.11	o 86589
27.09/27.11	c Elapsed CPU time: 26.8719 s	Remaining CPU time: 153.128 s
27.09/27.11	c ===============================================================================
27.09/27.11	c |      2312 |    3630    27138   443528 |     9046     2312    528 | 36.204 % |
27.19/27.29	c ===============================================================================
27.19/27.29	c New solution: 86588
27.19/27.29	o 86588
27.19/27.29	c Elapsed CPU time: 27.0489 s	Remaining CPU time: 152.951 s
27.19/27.29	c ===============================================================================
27.19/27.29	c |      2312 |    3630    27139   445544 |     9046     2312    528 | 36.204 % |
27.39/27.46	c ===============================================================================
27.39/27.46	c New solution: 86587
27.39/27.46	o 86587
27.39/27.46	c Elapsed CPU time: 27.2239 s	Remaining CPU time: 152.776 s
27.39/27.46	c ===============================================================================
27.39/27.46	c |      2312 |    3630    27140   447560 |     9046     2312    528 | 36.204 % |
27.58/27.64	c ===============================================================================
27.58/27.64	c New solution: 86586
27.58/27.64	o 86586
27.58/27.64	c Elapsed CPU time: 27.3988 s	Remaining CPU time: 152.601 s
27.58/27.64	c ===============================================================================
27.58/27.64	c |      2312 |    3630    27141   449576 |     9047     2312    528 | 36.204 % |
27.78/27.81	c ===============================================================================
27.78/27.81	c New solution: 86585
27.78/27.81	o 86585
27.78/27.81	c Elapsed CPU time: 27.5738 s	Remaining CPU time: 152.426 s
27.78/27.81	c ===============================================================================
27.78/27.81	c |      2312 |    3630    27142   451592 |     9047     2312    528 | 36.204 % |
27.88/27.99	c ===============================================================================
27.88/27.99	c New solution: 86584
27.88/27.99	o 86584
27.88/27.99	c Elapsed CPU time: 27.7488 s	Remaining CPU time: 152.251 s
27.88/27.99	c ===============================================================================
27.88/27.99	c |      2312 |    3630    27143   453608 |     9047     2312    528 | 36.204 % |
28.08/28.17	c ===============================================================================
28.08/28.17	c New solution: 86583
28.08/28.17	o 86583
28.08/28.17	c Elapsed CPU time: 27.9308 s	Remaining CPU time: 152.069 s
28.08/28.17	c ===============================================================================
28.08/28.17	c |      2313 |    3630    27144   455624 |     9048     2313    528 | 36.204 % |
28.59/28.64	c ===============================================================================
28.59/28.64	c New solution: 86582
28.59/28.64	o 86582
28.59/28.64	c Elapsed CPU time: 28.4017 s	Remaining CPU time: 151.598 s
28.59/28.64	c ===============================================================================
28.59/28.64	c |      2355 |    3630    27145   457640 |     9048     2355    530 | 36.204 % |
28.78/28.80	c ===============================================================================
28.78/28.80	c New solution: 86581
28.78/28.80	o 86581
28.78/28.80	c Elapsed CPU time: 28.5607 s	Remaining CPU time: 151.439 s
28.78/28.80	c ===============================================================================
28.78/28.80	c |      2360 |    3630    27146   459656 |     9048     2360    531 | 36.204 % |
29.38/29.40	c |      2460 |    3630    27146   459656 |     9953     2460    536 | 36.204 % |
29.49/29.57	c ===============================================================================
29.49/29.57	c New solution: 86580
29.49/29.57	o 86580
29.49/29.57	c Elapsed CPU time: 29.3255 s	Remaining CPU time: 150.674 s
29.49/29.57	c ===============================================================================
29.49/29.57	c |      2466 |    3630    27147   461672 |     9049     2466    535 | 36.204 % |
30.58/30.60	c |      2567 |    3630    27147   461672 |     9953     2567    540 | 36.204 % |
30.69/30.71	c ===============================================================================
30.69/30.71	c New solution: 85050
30.69/30.71	o 85050
30.69/30.71	c Elapsed CPU time: 30.4584 s	Remaining CPU time: 149.542 s
30.69/30.71	c ===============================================================================
30.69/30.71	c |      2569 |    3630    27148   463688 |     9049     2569    540 | 36.204 % |
30.88/30.95	c ===============================================================================
30.88/30.95	c New solution: 85049
30.88/30.95	o 85049
30.88/30.95	c Elapsed CPU time: 30.6943 s	Remaining CPU time: 149.306 s
30.88/30.95	c ===============================================================================
30.88/30.95	c |      2572 |    3630    27149   465704 |     9049     2572    540 | 36.204 % |
31.08/31.10	c ===============================================================================
31.08/31.10	c New solution: 85048
31.08/31.10	o 85048
31.08/31.10	c Elapsed CPU time: 30.8453 s	Remaining CPU time: 149.155 s
31.08/31.10	c ===============================================================================
31.08/31.10	c |      2573 |    3630    27150   467720 |     9050     2573    540 | 36.204 % |
31.18/31.28	c ===============================================================================
31.18/31.28	c New solution: 85047
31.18/31.28	o 85047
31.18/31.28	c Elapsed CPU time: 31.0303 s	Remaining CPU time: 148.97 s
31.18/31.28	c ===============================================================================
31.18/31.28	c |      2577 |    3630    27151   469736 |     9050     2577    540 | 36.204 % |
31.28/31.36	c ===============================================================================
31.28/31.36	c New solution: 85046
31.28/31.36	o 85046
31.28/31.36	c Elapsed CPU time: 31.1033 s	Remaining CPU time: 148.897 s
31.28/31.36	c ===============================================================================
31.28/31.36	c |      2579 |    3630    27152   471752 |     9050     2579    540 | 36.204 % |
31.48/31.51	c ===============================================================================
31.48/31.51	c New solution: 85045
31.48/31.51	o 85045
31.48/31.51	c Elapsed CPU time: 31.2522 s	Remaining CPU time: 148.748 s
31.48/31.51	c ===============================================================================
31.48/31.51	c |      2579 |    3630    27153   473768 |     9051     2579    540 | 36.204 % |
31.58/31.66	c ===============================================================================
31.58/31.66	c New solution: 85044
31.58/31.66	o 85044
31.58/31.66	c Elapsed CPU time: 31.4072 s	Remaining CPU time: 148.593 s
31.58/31.66	c ===============================================================================
31.58/31.66	c |      2579 |    3630    27154   475784 |     9051     2579    540 | 36.204 % |
31.79/31.81	c ===============================================================================
31.79/31.81	c New solution: 85043
31.79/31.81	o 85043
31.79/31.81	c Elapsed CPU time: 31.5552 s	Remaining CPU time: 148.445 s
31.79/31.81	c ===============================================================================
31.79/31.81	c |      2580 |    3630    27155   477800 |     9051     2580    540 | 36.204 % |
32.38/32.49	c |      2681 |    3630    27155   477800 |     9956     2681    545 | 36.204 % |
32.58/32.63	c ===============================================================================
32.58/32.63	c New solution: 85038
32.58/32.63	o 85038
32.58/32.63	c Elapsed CPU time: 32.3661 s	Remaining CPU time: 147.634 s
32.58/32.63	c ===============================================================================
32.58/32.63	c |      2682 |    3630    27156   479816 |     9052     2682    545 | 36.204 % |
32.78/32.82	c ===============================================================================
32.78/32.82	c New solution: 85037
32.78/32.82	o 85037
32.78/32.82	c Elapsed CPU time: 32.556 s	Remaining CPU time: 147.444 s
32.78/32.82	c ===============================================================================
32.78/32.82	c |      2687 |    3630    27157   481832 |     9052     2687    545 | 36.204 % |
32.89/32.98	c ===============================================================================
32.89/32.98	c New solution: 85036
32.89/32.98	o 85036
32.89/32.98	c Elapsed CPU time: 32.716 s	Remaining CPU time: 147.284 s
32.89/32.98	c ===============================================================================
32.89/32.98	c |      2687 |    3630    27158   483848 |     9052     2687    545 | 36.204 % |
33.08/33.11	c ===============================================================================
33.08/33.11	c New solution: 85035
33.08/33.11	o 85035
33.08/33.11	c Elapsed CPU time: 32.851 s	Remaining CPU time: 147.149 s
33.08/33.11	c ===============================================================================
33.08/33.11	c |      2688 |    3630    27159   485864 |     9053     2688    545 | 36.204 % |
33.18/33.28	c ===============================================================================
33.18/33.28	c New solution: 85034
33.18/33.28	o 85034
33.18/33.28	c Elapsed CPU time: 33.018 s	Remaining CPU time: 146.982 s
33.18/33.28	c ===============================================================================
33.18/33.28	c |      2689 |    3630    27160   487880 |     9053     2689    545 | 36.204 % |
33.38/33.45	c ===============================================================================
33.38/33.45	c New solution: 85033
33.38/33.45	o 85033
33.38/33.45	c Elapsed CPU time: 33.183 s	Remaining CPU time: 146.817 s
33.38/33.45	c ===============================================================================
33.38/33.45	c |      2689 |    3630    27161   489896 |     9053     2689    545 | 36.204 % |
33.58/33.60	c ===============================================================================
33.58/33.60	c New solution: 85032
33.58/33.60	o 85032
33.58/33.60	c Elapsed CPU time: 33.3379 s	Remaining CPU time: 146.662 s
33.58/33.60	c ===============================================================================
33.58/33.60	c |      2689 |    3630    27162   491912 |     9054     2689    545 | 36.204 % |
33.68/33.76	c ===============================================================================
33.68/33.76	c New solution: 85031
33.68/33.76	o 85031
33.68/33.76	c Elapsed CPU time: 33.4999 s	Remaining CPU time: 146.5 s
33.68/33.76	c ===============================================================================
33.68/33.76	c |      2689 |    3630    27163   493928 |     9054     2689    545 | 36.204 % |
34.88/34.92	c ===============================================================================
34.88/34.92	c New solution: 85030
34.88/34.92	o 85030
34.88/34.92	c Elapsed CPU time: 34.6547 s	Remaining CPU time: 145.345 s
34.88/34.92	c ===============================================================================
34.88/34.92	c |      2784 |    3630    27164   495944 |     9054     2784    548 | 36.204 % |
35.09/35.11	c ===============================================================================
35.09/35.11	c New solution: 85029
35.09/35.11	o 85029
35.09/35.11	c Elapsed CPU time: 34.8417 s	Remaining CPU time: 145.158 s
35.09/35.11	c ===============================================================================
35.09/35.11	c |      2786 |    3630    27165   497960 |     9055     2786    548 | 36.204 % |
35.78/35.82	c |      2886 |    3630    27165   497960 |     9960     2886    552 | 36.204 % |
35.88/35.97	c ===============================================================================
35.88/35.97	c New solution: 85028
35.88/35.97	o 85028
35.88/35.97	c Elapsed CPU time: 35.6976 s	Remaining CPU time: 144.302 s
35.88/35.97	c ===============================================================================
35.88/35.97	c |      2886 |    3630    27166   499976 |     9055     2886    552 | 36.204 % |
36.08/36.12	c ===============================================================================
36.08/36.12	c New solution: 85027
36.08/36.12	o 85027
36.08/36.12	c Elapsed CPU time: 35.8436 s	Remaining CPU time: 144.156 s
36.08/36.12	c ===============================================================================
36.08/36.12	c |      2886 |    3630    27167   501992 |     9055     2886    552 | 36.204 % |
36.19/36.28	c ===============================================================================
36.19/36.28	c New solution: 85026
36.19/36.28	o 85026
36.19/36.28	c Elapsed CPU time: 36.0055 s	Remaining CPU time: 143.994 s
36.19/36.28	c ===============================================================================
36.19/36.28	c |      2886 |    3630    27168   504008 |     9056     2886    552 | 36.204 % |
36.38/36.43	c ===============================================================================
36.38/36.43	c New solution: 85025
36.38/36.43	o 85025
36.38/36.43	c Elapsed CPU time: 36.1565 s	Remaining CPU time: 143.843 s
36.38/36.43	c ===============================================================================
36.38/36.43	c |      2888 |    3630    27169   506024 |     9056     2888    552 | 36.204 % |
36.57/36.60	c ===============================================================================
36.57/36.60	c New solution: 83508
36.57/36.60	o 83508
36.57/36.60	c Elapsed CPU time: 36.3225 s	Remaining CPU time: 143.678 s
36.57/36.60	c ===============================================================================
36.57/36.60	c |      2892 |    3630    27170   508040 |     9056     2892    553 | 36.204 % |
36.78/36.84	c ===============================================================================
36.78/36.84	c New solution: 83501
36.78/36.84	o 83501
36.78/36.84	c Elapsed CPU time: 36.5584 s	Remaining CPU time: 143.442 s
36.78/36.84	c ===============================================================================
36.78/36.84	c |      2893 |    3630    27171   510056 |     9057     2893    553 | 36.204 % |
36.98/37.08	c ===============================================================================
36.98/37.08	c New solution: 83500
36.98/37.08	o 83500
36.98/37.08	c Elapsed CPU time: 36.7934 s	Remaining CPU time: 143.207 s
36.98/37.08	c ===============================================================================
36.98/37.08	c |      2894 |    3630    27172   512072 |     9057     2894    553 | 36.204 % |
37.18/37.24	c ===============================================================================
37.18/37.24	c New solution: 83499
37.18/37.24	o 83499
37.18/37.24	c Elapsed CPU time: 36.9554 s	Remaining CPU time: 143.045 s
37.18/37.24	c ===============================================================================
37.18/37.24	c |      2896 |    3630    27173   514088 |     9057     2896    553 | 36.204 % |
37.39/37.42	c ===============================================================================
37.39/37.42	c New solution: 83498
37.39/37.42	o 83498
37.39/37.42	c Elapsed CPU time: 37.1374 s	Remaining CPU time: 142.863 s
37.39/37.42	c ===============================================================================
37.39/37.42	c |      2896 |    3630    27174   516104 |     9058     2896    553 | 36.204 % |
37.58/37.61	c ===============================================================================
37.58/37.61	c New solution: 83497
37.58/37.61	o 83497
37.58/37.61	c Elapsed CPU time: 37.3263 s	Remaining CPU time: 142.674 s
37.58/37.61	c ===============================================================================
37.58/37.61	c |      2897 |    3630    27175   518120 |     9058     2897    553 | 36.204 % |
37.68/37.79	c ===============================================================================
37.68/37.79	c New solution: 83496
37.68/37.79	o 83496
37.68/37.79	c Elapsed CPU time: 37.5023 s	Remaining CPU time: 142.498 s
37.68/37.79	c ===============================================================================
37.68/37.79	c |      2899 |    3630    27176   520136 |     9058     2899    553 | 36.204 % |
37.88/37.98	c ===============================================================================
37.88/37.98	c New solution: 83495
37.88/37.98	o 83495
37.88/37.98	c Elapsed CPU time: 37.6933 s	Remaining CPU time: 142.307 s
37.88/37.98	c ===============================================================================
37.88/37.98	c |      2905 |    3630    27177   522152 |     9059     2905    553 | 36.204 % |
38.08/38.16	c ===============================================================================
38.08/38.16	c New solution: 83494
38.08/38.16	o 83494
38.08/38.16	c Elapsed CPU time: 37.8772 s	Remaining CPU time: 142.123 s
38.08/38.16	c ===============================================================================
38.08/38.16	c |      2908 |    3630    27178   524168 |     9059     2908    553 | 36.204 % |
38.28/38.34	c ===============================================================================
38.28/38.34	c New solution: 83493
38.28/38.34	o 83493
38.28/38.34	c Elapsed CPU time: 38.0532 s	Remaining CPU time: 141.947 s
38.28/38.34	c ===============================================================================
38.28/38.34	c |      2911 |    3630    27179   526184 |     9059     2911    553 | 36.204 % |
38.48/38.52	c ===============================================================================
38.48/38.52	c New solution: 83492
38.48/38.52	o 83492
38.48/38.52	c Elapsed CPU time: 38.2382 s	Remaining CPU time: 141.762 s
38.48/38.52	c ===============================================================================
38.48/38.52	c |      2913 |    3630    27180   528200 |     9060     2913    553 | 36.204 % |
38.67/38.71	c ===============================================================================
38.67/38.71	c New solution: 83491
38.67/38.71	o 83491
38.67/38.71	c Elapsed CPU time: 38.4212 s	Remaining CPU time: 141.579 s
38.67/38.71	c ===============================================================================
38.67/38.71	c |      2913 |    3630    27181   530216 |     9060     2913    553 | 36.204 % |
38.87/38.90	c ===============================================================================
38.87/38.90	c New solution: 83482
38.87/38.90	o 83482
38.87/38.90	c Elapsed CPU time: 38.6101 s	Remaining CPU time: 141.39 s
38.87/38.90	c ===============================================================================
38.87/38.90	c |      2914 |    3630    27182   532232 |     9060     2914    552 | 36.204 % |
38.98/39.02	c ===============================================================================
38.98/39.02	c New solution: 83481
38.98/39.02	o 83481
38.98/39.02	c Elapsed CPU time: 38.7271 s	Remaining CPU time: 141.273 s
38.98/39.02	c ===============================================================================
38.98/39.02	c |      2921 |    3630    27183   534248 |     9061     2921    552 | 36.204 % |
39.68/39.76	c |      3026 |    3630    27183   534248 |     9967     3026    557 | 36.204 % |
40.08/40.14	c ===============================================================================
40.08/40.14	c New solution: 83480
40.08/40.14	o 83480
40.08/40.14	c Elapsed CPU time: 39.8439 s	Remaining CPU time: 140.156 s
40.08/40.14	c ===============================================================================
40.08/40.14	c |      3061 |    3630    27184   536264 |     9061     3061    559 | 36.204 % |
40.28/40.37	c ===============================================================================
40.28/40.37	c New solution: 83479
40.28/40.37	o 83479
40.28/40.37	c Elapsed CPU time: 40.0779 s	Remaining CPU time: 139.922 s
40.28/40.37	c ===============================================================================
40.28/40.37	c |      3070 |    3630    27185   538280 |     9061     3070    558 | 36.204 % |
41.08/41.13	c ===============================================================================
41.08/41.13	c New solution: 83478
41.08/41.13	o 83478
41.08/41.13	c Elapsed CPU time: 40.8368 s	Remaining CPU time: 139.163 s
41.08/41.13	c ===============================================================================
41.08/41.13	c |      3112 |    3630    27186   540296 |     9062     3112    560 | 36.204 % |
41.28/41.35	c ===============================================================================
41.28/41.35	c New solution: 83477
41.28/41.35	o 83477
41.28/41.35	c Elapsed CPU time: 41.0548 s	Remaining CPU time: 138.945 s
41.28/41.35	c ===============================================================================
41.28/41.35	c |      3115 |    3630    27187   542312 |     9062     3115    560 | 36.204 % |
41.58/41.62	c ===============================================================================
41.58/41.62	c New solution: 83476
41.58/41.62	o 83476
41.58/41.62	c Elapsed CPU time: 41.3277 s	Remaining CPU time: 138.672 s
41.58/41.62	c ===============================================================================
41.58/41.62	c |      3124 |    3630    27188   544328 |     9062     3124    560 | 36.204 % |
41.78/41.85	c ===============================================================================
41.78/41.85	c New solution: 83475
41.78/41.85	o 83475
41.78/41.85	c Elapsed CPU time: 41.5497 s	Remaining CPU time: 138.45 s
41.78/41.85	c ===============================================================================
41.78/41.85	c |      3131 |    3630    27189   546344 |     9063     3131    560 | 36.204 % |
42.78/42.80	c |      3231 |    3630    27189   546344 |     9969     3231    563 | 36.204 % |
43.88/43.97	c ===============================================================================
43.88/43.97	c New solution: 83474
43.88/43.97	o 83474
43.88/43.97	c Elapsed CPU time: 43.6654 s	Remaining CPU time: 136.335 s
43.88/43.97	c ===============================================================================
43.88/43.97	c |      3342 |    3630    27190   548360 |     9063     3342    567 | 36.204 % |
44.08/44.18	c ===============================================================================
44.08/44.18	c New solution: 83473
44.08/44.18	o 83473
44.08/44.18	c Elapsed CPU time: 43.8763 s	Remaining CPU time: 136.124 s
44.08/44.18	c ===============================================================================
44.08/44.18	c |      3345 |    3630    27191   550376 |     9063     3345    567 | 36.204 % |
45.68/45.72	c |      3446 |    3630    27191   550376 |     9970     3446    569 | 36.204 % |
46.67/46.76	c ===============================================================================
46.67/46.76	c New solution: 83472
46.67/46.76	o 83472
46.67/46.76	c Elapsed CPU time: 46.4539 s	Remaining CPU time: 133.546 s
46.67/46.76	c ===============================================================================
46.67/46.76	c |      3565 |    3630    27192   552392 |     9064     3565    573 | 36.204 % |
46.87/46.96	c ===============================================================================
46.87/46.96	c New solution: 83471
46.87/46.96	o 83471
46.87/46.96	c Elapsed CPU time: 46.6519 s	Remaining CPU time: 133.348 s
46.87/46.96	c ===============================================================================
46.87/46.96	c |      3567 |    3630    27193   554408 |     9064     3567    573 | 36.204 % |
47.97/48.03	c |      3668 |    3630    27193   554408 |     9970     3668    575 | 36.204 % |
48.17/48.25	c ===============================================================================
48.17/48.25	c New solution: 83470
48.17/48.25	o 83470
48.17/48.25	c Elapsed CPU time: 47.9367 s	Remaining CPU time: 132.063 s
48.17/48.25	c ===============================================================================
48.17/48.25	c |      3677 |    3630    27194   556424 |     9064     3677    575 | 36.204 % |
48.47/48.57	c ===============================================================================
48.47/48.57	c New solution: 83469
48.47/48.57	o 83469
48.47/48.57	c Elapsed CPU time: 48.2567 s	Remaining CPU time: 131.743 s
48.47/48.57	c ===============================================================================
48.47/48.57	c |      3687 |    3630    27195   558440 |     9065     3687    575 | 36.204 % |
49.97/50.08	c |      3789 |    3630    27195   558440 |     9971     3789    577 | 36.204 % |
51.38/51.45	c |      3939 |    3630    27195   558440 |    10968     3939    581 | 36.204 % |
51.58/51.64	c ===============================================================================
51.58/51.64	c New solution: 83468
51.58/51.64	o 83468
51.58/51.64	c Elapsed CPU time: 51.3242 s	Remaining CPU time: 128.676 s
51.58/51.64	c ===============================================================================
51.58/51.64	c |      3942 |    3630    27196   560456 |     9065     3942    580 | 36.204 % |
51.88/51.93	c ===============================================================================
51.88/51.93	c New solution: 83467
51.88/51.93	o 83467
51.88/51.93	c Elapsed CPU time: 51.6122 s	Remaining CPU time: 128.388 s
51.88/51.93	c ===============================================================================
51.88/51.93	c |      3951 |    3630    27197   562472 |     9065     3951    581 | 36.204 % |
52.18/52.24	c ===============================================================================
52.18/52.24	c New solution: 83466
52.18/52.24	o 83466
52.18/52.24	c Elapsed CPU time: 51.9231 s	Remaining CPU time: 128.077 s
52.18/52.24	c ===============================================================================
52.18/52.24	c |      3963 |    3630    27198   564488 |     9066     3963    581 | 36.204 % |
52.87/52.95	c ===============================================================================
52.87/52.95	c New solution: 83465
52.87/52.95	o 83465
52.87/52.95	c Elapsed CPU time: 52.627 s	Remaining CPU time: 127.373 s
52.87/52.95	c ===============================================================================
52.87/52.95	c |      4006 |    3630    27199   566504 |     9066     4006    581 | 36.204 % |
53.07/53.12	c ===============================================================================
53.07/53.12	c New solution: 81952
53.07/53.12	o 81952
53.07/53.12	c Elapsed CPU time: 52.797 s	Remaining CPU time: 127.203 s
53.07/53.12	c ===============================================================================
53.07/53.12	c |      4009 |    3630    27200   568520 |     9066     4009    581 | 36.204 % |
53.37/53.45	c ===============================================================================
53.37/53.45	c New solution: 81945
53.37/53.45	o 81945
53.37/53.45	c Elapsed CPU time: 53.1269 s	Remaining CPU time: 126.873 s
53.37/53.45	c ===============================================================================
53.37/53.45	c |      4010 |    3630    27201   570536 |     9067     4010    581 | 36.204 % |
53.68/53.73	c ===============================================================================
53.68/53.73	c New solution: 81927
53.68/53.73	o 81927
53.68/53.73	c Elapsed CPU time: 53.4029 s	Remaining CPU time: 126.597 s
53.68/53.73	c ===============================================================================
53.68/53.73	c |      4012 |    3630    27202   572552 |     9067     4012    581 | 36.204 % |
53.97/54.01	c ===============================================================================
53.97/54.01	c New solution: 81926
53.97/54.01	o 81926
53.97/54.01	c Elapsed CPU time: 53.6798 s	Remaining CPU time: 126.32 s
53.97/54.01	c ===============================================================================
53.97/54.01	c |      4012 |    3630    27203   574568 |     9067     4012    581 | 36.204 % |
54.17/54.29	c ===============================================================================
54.17/54.29	c New solution: 81922
54.17/54.29	o 81922
54.17/54.29	c Elapsed CPU time: 53.9648 s	Remaining CPU time: 126.035 s
54.17/54.29	c ===============================================================================
54.17/54.29	c |      4012 |    3630    27204   576584 |     9068     4012    581 | 36.204 % |
54.47/54.57	c ===============================================================================
54.47/54.57	c New solution: 81921
54.47/54.57	o 81921
54.47/54.57	c Elapsed CPU time: 54.2388 s	Remaining CPU time: 125.761 s
54.47/54.57	c ===============================================================================
54.47/54.57	c |      4015 |    3630    27205   578600 |     9068     4015    581 | 36.204 % |
56.27/56.32	c |      4117 |    3630    27205   578600 |     9975     4117    583 | 36.204 % |
56.67/56.70	c ===============================================================================
56.67/56.70	c New solution: 81920
56.67/56.70	o 81920
56.67/56.70	c Elapsed CPU time: 56.3644 s	Remaining CPU time: 123.636 s
56.67/56.70	c ===============================================================================
56.67/56.70	c |      4119 |    3630    27206   580616 |     9068     4119    583 | 36.204 % |
56.77/56.88	c ===============================================================================
56.77/56.88	c New solution: 81919
56.77/56.88	o 81919
56.77/56.88	c Elapsed CPU time: 56.5434 s	Remaining CPU time: 123.457 s
56.77/56.88	c ===============================================================================
56.77/56.88	c |      4120 |    3630    27207   582632 |     9069     4120    583 | 36.204 % |
57.08/57.15	c ===============================================================================
57.08/57.15	c New solution: 81918
57.08/57.15	o 81918
57.08/57.15	c Elapsed CPU time: 56.8164 s	Remaining CPU time: 123.184 s
57.08/57.15	c ===============================================================================
57.08/57.15	c |      4121 |    3630    27208   584648 |     9069     4121    583 | 36.204 % |
57.28/57.35	c ===============================================================================
57.28/57.35	c New solution: 81917
57.28/57.35	o 81917
57.28/57.35	c Elapsed CPU time: 57.0173 s	Remaining CPU time: 122.983 s
57.28/57.35	c ===============================================================================
57.28/57.35	c |      4122 |    3630    27209   586664 |     9069     4122    583 | 36.204 % |
57.58/57.63	c ===============================================================================
57.58/57.63	c New solution: 81916
57.58/57.63	o 81916
57.58/57.63	c Elapsed CPU time: 57.2933 s	Remaining CPU time: 122.707 s
57.58/57.63	c ===============================================================================
57.58/57.63	c |      4122 |    3630    27210   588680 |     9070     4122    583 | 36.204 % |
57.78/57.89	c ===============================================================================
57.78/57.89	c New solution: 81915
57.78/57.89	o 81915
57.78/57.89	c Elapsed CPU time: 57.5493 s	Remaining CPU time: 122.451 s
57.78/57.89	c ===============================================================================
57.78/57.89	c |      4125 |    3630    27211   590696 |     9070     4125    583 | 36.204 % |
57.97/58.09	c ===============================================================================
57.97/58.09	c New solution: 81914
57.97/58.09	o 81914
57.97/58.09	c Elapsed CPU time: 57.7512 s	Remaining CPU time: 122.249 s
57.97/58.09	c ===============================================================================
57.97/58.09	c |      4126 |    3630    27212   592712 |     9070     4126    583 | 36.204 % |
58.28/58.32	c ===============================================================================
58.28/58.32	c New solution: 81913
58.28/58.32	o 81913
58.28/58.32	c Elapsed CPU time: 57.9772 s	Remaining CPU time: 122.023 s
58.28/58.32	c ===============================================================================
58.28/58.32	c |      4138 |    3630    27213   594728 |     9071     4138    584 | 36.204 % |
58.47/58.58	c ===============================================================================
58.47/58.58	c New solution: 81912
58.47/58.58	o 81912
58.47/58.58	c Elapsed CPU time: 58.2401 s	Remaining CPU time: 121.76 s
58.47/58.58	c ===============================================================================
58.47/58.58	c |      4141 |    3630    27214   596744 |     9071     4141    583 | 36.204 % |
58.67/58.74	c ===============================================================================
58.67/58.74	c New solution: 81911
58.67/58.74	o 81911
58.67/58.74	c Elapsed CPU time: 58.4041 s	Remaining CPU time: 121.596 s
58.67/58.74	c ===============================================================================
58.67/58.74	c |      4148 |    3630    27215   598760 |     9071     4148    583 | 36.204 % |
60.57/60.60	c |      4249 |    3630    27215   598760 |     9978     4249    585 | 36.204 % |
60.77/60.81	c ===============================================================================
60.77/60.81	c New solution: 81910
60.77/60.81	o 81910
60.77/60.81	c Elapsed CPU time: 60.4668 s	Remaining CPU time: 119.533 s
60.77/60.81	c ===============================================================================
60.77/60.81	c |      4253 |    3630    27216   600776 |     9072     4253    585 | 36.204 % |
60.87/60.99	c ===============================================================================
60.87/60.99	c New solution: 81909
60.87/60.99	o 81909
60.87/60.99	c Elapsed CPU time: 60.6478 s	Remaining CPU time: 119.352 s
60.87/60.99	c ===============================================================================
60.87/60.99	c |      4254 |    3630    27217   602792 |     9072     4254    585 | 36.204 % |
61.07/61.19	c ===============================================================================
61.07/61.19	c New solution: 81908
61.07/61.19	o 81908
61.07/61.19	c Elapsed CPU time: 60.8388 s	Remaining CPU time: 119.161 s
61.07/61.19	c ===============================================================================
61.07/61.19	c |      4256 |    3630    27218   604808 |     9072     4256    585 | 36.204 % |
61.37/61.44	c ===============================================================================
61.37/61.44	c New solution: 81907
61.37/61.44	o 81907
61.37/61.44	c Elapsed CPU time: 61.0907 s	Remaining CPU time: 118.909 s
61.37/61.44	c ===============================================================================
61.37/61.44	c |      4258 |    3630    27219   606824 |     9073     4258    585 | 36.204 % |
61.97/62.09	c ===============================================================================
61.97/62.09	c New solution: 81906
61.97/62.09	o 81906
61.97/62.09	c Elapsed CPU time: 61.7396 s	Remaining CPU time: 118.26 s
61.97/62.09	c ===============================================================================
61.97/62.09	c |      4302 |    3630    27220   608840 |     9073     4302    586 | 36.204 % |
62.27/62.34	c ===============================================================================
62.27/62.34	c New solution: 81905
62.27/62.34	o 81905
62.27/62.34	c Elapsed CPU time: 61.9886 s	Remaining CPU time: 118.011 s
62.27/62.34	c ===============================================================================
62.27/62.34	c |      4304 |    3630    27221   610856 |     9073     4304    586 | 36.204 % |
62.58/62.69	c ===============================================================================
62.58/62.69	c New solution: 81904
62.58/62.69	o 81904
62.58/62.69	c Elapsed CPU time: 62.3405 s	Remaining CPU time: 117.659 s
62.58/62.69	c ===============================================================================
62.58/62.69	c |      4328 |    3630    27222   612872 |     9074     4328    586 | 36.204 % |
63.57/63.69	c |      4428 |    3630    27222   612872 |     9981     4428    589 | 36.204 % |
63.77/63.89	c ===============================================================================
63.77/63.89	c New solution: 81903
63.77/63.89	o 81903
63.77/63.89	c Elapsed CPU time: 63.5353 s	Remaining CPU time: 116.465 s
63.77/63.89	c ===============================================================================
63.77/63.89	c |      4432 |    3630    27223   614888 |     9074     4432    589 | 36.204 % |
65.67/65.79	c |      4532 |    3630    27223   614888 |     9981     4532    590 | 36.204 % |
65.87/65.94	c ===============================================================================
65.87/65.94	c New solution: 81902
65.87/65.94	o 81902
65.87/65.94	c Elapsed CPU time: 65.584 s	Remaining CPU time: 114.416 s
65.87/65.94	c ===============================================================================
65.87/65.94	c |      4536 |    3630    27224   616904 |     9074     4536    590 | 36.204 % |
66.98/67.00	c |      4636 |    3630    27224   616904 |     9982     4636    591 | 36.204 % |
67.17/67.26	c ===============================================================================
67.17/67.26	c New solution: 81901
67.17/67.26	o 81901
67.17/67.26	c Elapsed CPU time: 66.9028 s	Remaining CPU time: 113.097 s
67.17/67.26	c ===============================================================================
67.17/67.26	c |      4651 |    3630    27225   618920 |     9075     4651    592 | 36.204 % |
68.27/68.35	c |      4753 |    3630    27225   618920 |     9982     4753    593 | 36.204 % |
69.67/69.75	c |      4903 |    3630    27225   618920 |    10980     4903    596 | 36.204 % |
69.97/70.03	c ===============================================================================
69.97/70.03	c New solution: 81900
69.97/70.03	o 81900
69.97/70.03	c Elapsed CPU time: 69.6634 s	Remaining CPU time: 110.337 s
69.97/70.03	c ===============================================================================
69.97/70.03	c |      4912 |    3630    27226   620936 |     9075     4912    596 | 36.204 % |
70.17/70.26	c ===============================================================================
70.17/70.26	c New solution: 81899
70.17/70.26	o 81899
70.17/70.26	c Elapsed CPU time: 69.8944 s	Remaining CPU time: 110.106 s
70.17/70.26	c ===============================================================================
70.17/70.26	c |      4913 |    3630    27227   622952 |     9075     4913    596 | 36.204 % |
72.17/72.28	c |      5013 |    3630    27227   622952 |     9983     5013    597 | 36.204 % |
72.77/72.80	c ===============================================================================
72.77/72.80	c New solution: 81898
72.77/72.80	o 81898
72.77/72.80	c Elapsed CPU time: 72.428 s	Remaining CPU time: 107.572 s
72.77/72.80	c ===============================================================================
72.77/72.80	c |      5084 |    3630    27228   624968 |     9076     5084    597 | 36.204 % |
73.07/73.10	c ===============================================================================
73.07/73.10	c New solution: 81897
73.07/73.10	o 81897
73.07/73.10	c Elapsed CPU time: 72.7289 s	Remaining CPU time: 107.271 s
73.07/73.10	c ===============================================================================
73.07/73.10	c |      5087 |    3630    27229   626984 |     9076     5087    597 | 36.204 % |
73.58/73.61	c ===============================================================================
73.58/73.61	c New solution: 81896
73.58/73.61	o 81896
73.58/73.61	c Elapsed CPU time: 73.2369 s	Remaining CPU time: 106.763 s
73.58/73.61	c ===============================================================================
73.58/73.61	c |      5113 |    3630    27230   629000 |     9076     5113    597 | 36.204 % |
74.47/74.58	c |      5215 |    3630    27230   629000 |     9984     5215    599 | 36.204 % |
74.67/74.78	c ===============================================================================
74.67/74.78	c New solution: 81895
74.67/74.78	o 81895
74.67/74.78	c Elapsed CPU time: 74.4047 s	Remaining CPU time: 105.595 s
74.67/74.78	c ===============================================================================
74.67/74.78	c |      5220 |    3630    27231   631016 |     9077     5220    599 | 36.204 % |
75.07/75.14	c ===============================================================================
75.07/75.14	c New solution: 80421
75.07/75.14	o 80421
75.07/75.14	c Elapsed CPU time: 74.7626 s	Remaining CPU time: 105.237 s
75.07/75.14	c ===============================================================================
75.07/75.14	c |      5227 |    3630    27232   633032 |     9077     5227    599 | 36.204 % |
75.56/75.60	c ===============================================================================
75.56/75.60	c New solution: 80375
75.56/75.60	o 80375
75.56/75.60	c Elapsed CPU time: 75.2266 s	Remaining CPU time: 104.773 s
75.56/75.60	c ===============================================================================
75.56/75.60	c |      5272 |    3630    27233   635048 |     9077     5272    598 | 36.204 % |
75.66/75.78	c ===============================================================================
75.66/75.78	c New solution: 80374
75.66/75.78	o 80374
75.66/75.78	c Elapsed CPU time: 75.3985 s	Remaining CPU time: 104.601 s
75.66/75.78	c ===============================================================================
75.66/75.78	c |      5274 |    3630    27234   637064 |     9078     5274    598 | 36.204 % |
76.06/76.13	c ===============================================================================
76.06/76.13	c New solution: 80367
76.06/76.13	o 80367
76.06/76.13	c Elapsed CPU time: 75.7495 s	Remaining CPU time: 104.251 s
76.06/76.13	c ===============================================================================
76.06/76.13	c |      5277 |    3630    27235   639080 |     9078     5277    598 | 36.204 % |
77.27/77.37	c |      5379 |    3630    27235   639080 |     9986     5379    600 | 36.204 % |
77.57/77.65	c ===============================================================================
77.57/77.65	c New solution: 80366
77.57/77.65	o 80366
77.57/77.65	c Elapsed CPU time: 77.2723 s	Remaining CPU time: 102.728 s
77.57/77.65	c ===============================================================================
77.57/77.65	c |      5380 |    3630    27236   641096 |     9078     5380    600 | 36.204 % |
77.87/77.96	c ===============================================================================
77.87/77.96	c New solution: 80365
77.87/77.96	o 80365
77.87/77.96	c Elapsed CPU time: 77.5772 s	Remaining CPU time: 102.423 s
77.87/77.96	c ===============================================================================
77.87/77.96	c |      5383 |    3630    27237   643112 |     9079     5383    600 | 36.204 % |
78.27/78.38	c ===============================================================================
78.27/78.38	c New solution: 80364
78.27/78.38	o 80364
78.27/78.38	c Elapsed CPU time: 77.9951 s	Remaining CPU time: 102.005 s
78.27/78.38	c ===============================================================================
78.27/78.38	c |      5385 |    3630    27238   645128 |     9079     5385    600 | 36.204 % |
78.77/78.80	c ===============================================================================
78.77/78.80	c New solution: 80363
78.77/78.80	o 80363
78.77/78.80	c Elapsed CPU time: 78.4121 s	Remaining CPU time: 101.588 s
78.77/78.80	c ===============================================================================
78.77/78.80	c |      5401 |    3630    27239   647144 |     9079     5401    600 | 36.204 % |
78.97/79.08	c ===============================================================================
78.97/79.08	c New solution: 80362
78.97/79.08	o 80362
78.97/79.08	c Elapsed CPU time: 78.699 s	Remaining CPU time: 101.301 s
78.97/79.08	c ===============================================================================
78.97/79.08	c |      5403 |    3630    27240   649160 |     9080     5403    600 | 36.204 % |
79.27/79.37	c ===============================================================================
79.27/79.37	c New solution: 80361
79.27/79.37	o 80361
79.27/79.37	c Elapsed CPU time: 78.985 s	Remaining CPU time: 101.015 s
79.27/79.37	c ===============================================================================
79.27/79.37	c |      5405 |    3630    27241   651176 |     9080     5405    600 | 36.204 % |
79.87/79.92	c ===============================================================================
79.87/79.92	c New solution: 80360
79.87/79.92	o 80360
79.87/79.92	c Elapsed CPU time: 79.5349 s	Remaining CPU time: 100.465 s
79.87/79.92	c ===============================================================================
79.87/79.92	c |      5441 |    3630    27242   653192 |     9080     5441    601 | 36.204 % |
80.46/80.54	c ===============================================================================
80.46/80.54	c New solution: 80359
80.46/80.54	o 80359
80.46/80.54	c Elapsed CPU time: 80.1498 s	Remaining CPU time: 99.8502 s
80.46/80.54	c ===============================================================================
80.46/80.54	c |      5495 |    3630    27243   655208 |     9081     5495    602 | 36.204 % |
80.76/80.85	c ===============================================================================
80.76/80.85	c New solution: 80358
80.76/80.85	o 80358
80.76/80.85	c Elapsed CPU time: 80.4668 s	Remaining CPU time: 99.5332 s
80.76/80.85	c ===============================================================================
80.76/80.85	c |      5495 |    3630    27244   657224 |     9081     5495    602 | 36.204 % |
81.06/81.17	c ===============================================================================
81.06/81.17	c New solution: 80357
81.06/81.17	o 80357
81.06/81.17	c Elapsed CPU time: 80.7817 s	Remaining CPU time: 99.2183 s
81.06/81.17	c ===============================================================================
81.06/81.17	c |      5495 |    3630    27245   659240 |     9081     5495    602 | 36.204 % |
81.37/81.48	c ===============================================================================
81.37/81.48	c New solution: 80356
81.37/81.48	o 80356
81.37/81.48	c Elapsed CPU time: 81.0947 s	Remaining CPU time: 98.9053 s
81.37/81.48	c ===============================================================================
81.37/81.48	c |      5495 |    3630    27246   661256 |     9082     5495    602 | 36.204 % |
81.76/81.80	c ===============================================================================
81.76/81.80	c New solution: 80355
81.76/81.80	o 80355
81.76/81.80	c Elapsed CPU time: 81.4076 s	Remaining CPU time: 98.5924 s
81.76/81.80	c ===============================================================================
81.76/81.80	c |      5495 |    3630    27247   663272 |     9082     5495    602 | 36.204 % |
81.87/81.93	c ===============================================================================
81.87/81.93	c New solution: 80354
81.87/81.93	o 80354
81.87/81.93	c Elapsed CPU time: 81.5386 s	Remaining CPU time: 98.4614 s
81.87/81.93	c ===============================================================================
81.87/81.93	c |      5505 |    3630    27248   665288 |     9082     5505    602 | 36.204 % |
82.27/82.32	c ===============================================================================
82.27/82.32	c New solution: 80353
82.27/82.32	o 80353
82.27/82.32	c Elapsed CPU time: 81.9265 s	Remaining CPU time: 98.0735 s
82.27/82.32	c ===============================================================================
82.27/82.32	c |      5506 |    3630    27249   667304 |     9083     5506    602 | 36.204 % |
82.57/82.63	c ===============================================================================
82.57/82.63	c New solution: 80352
82.57/82.63	o 80352
82.57/82.63	c Elapsed CPU time: 82.2375 s	Remaining CPU time: 97.7625 s
82.57/82.63	c ===============================================================================
82.57/82.63	c |      5507 |    3630    27250   669320 |     9083     5507    602 | 36.204 % |
82.87/82.91	c ===============================================================================
82.87/82.91	c New solution: 80351
82.87/82.91	o 80351
82.87/82.91	c Elapsed CPU time: 82.5105 s	Remaining CPU time: 97.4895 s
82.87/82.91	c ===============================================================================
82.87/82.91	c |      5513 |    3630    27251   671336 |     9083     5513    602 | 36.204 % |
83.17/83.21	c ===============================================================================
83.17/83.21	c New solution: 80350
83.17/83.21	o 80350
83.17/83.21	c Elapsed CPU time: 82.8104 s	Remaining CPU time: 97.1896 s
83.17/83.21	c ===============================================================================
83.17/83.21	c |      5520 |    3630    27252   673352 |     9084     5520    602 | 36.204 % |
84.36/84.47	c |      5620 |    3630    27252   673352 |     9992     5620    603 | 36.204 % |
84.67/84.75	c ===============================================================================
84.67/84.75	c New solution: 80349
84.67/84.75	o 80349
84.67/84.75	c Elapsed CPU time: 84.3542 s	Remaining CPU time: 95.6458 s
84.67/84.75	c ===============================================================================
84.67/84.75	c |      5625 |    3630    27253   675368 |     9084     5625    603 | 36.204 % |
85.26/85.32	c ===============================================================================
85.26/85.32	c New solution: 80348
85.26/85.32	o 80348
85.26/85.32	c Elapsed CPU time: 84.9231 s	Remaining CPU time: 95.0769 s
85.26/85.32	c ===============================================================================
85.26/85.32	c |      5668 |    3630    27254   677384 |     9084     5668    603 | 36.204 % |
85.46/85.54	c ===============================================================================
85.46/85.54	c New solution: 80347
85.46/85.54	o 80347
85.46/85.54	c Elapsed CPU time: 85.1421 s	Remaining CPU time: 94.8579 s
85.46/85.54	c ===============================================================================
85.46/85.54	c |      5676 |    3630    27255   679400 |     9085     5676    604 | 36.204 % |
85.87/85.95	c ===============================================================================
85.87/85.95	c New solution: 80346
85.87/85.95	o 80346
85.87/85.95	c Elapsed CPU time: 85.546 s	Remaining CPU time: 94.454 s
85.87/85.95	c ===============================================================================
85.87/85.95	c |      5698 |    3630    27256   681416 |     9085     5698    603 | 36.204 % |
86.27/86.30	c ===============================================================================
86.27/86.30	c New solution: 80345
86.27/86.30	o 80345
86.27/86.30	c Elapsed CPU time: 85.8949 s	Remaining CPU time: 94.1051 s
86.27/86.30	c ===============================================================================
86.27/86.30	c |      5699 |    3630    27257   683432 |     9085     5699    603 | 36.204 % |
86.57/86.62	c ===============================================================================
86.57/86.62	c New solution: 80344
86.57/86.62	o 80344
86.57/86.62	c Elapsed CPU time: 86.2149 s	Remaining CPU time: 93.7851 s
86.57/86.62	c ===============================================================================
86.57/86.62	c |      5700 |    3630    27258   685448 |     9086     5700    603 | 36.204 % |
88.47/88.57	c |      5800 |    3630    27258   685448 |     9994     5800    604 | 36.204 % |
88.87/88.93	c ===============================================================================
88.87/88.93	c New solution: 80343
88.87/88.93	o 80343
88.87/88.93	c Elapsed CPU time: 88.5265 s	Remaining CPU time: 91.4735 s
88.87/88.93	c ===============================================================================
88.87/88.93	c |      5802 |    3630    27259   687464 |     9086     5802    604 | 36.204 % |
89.17/89.24	c ===============================================================================
89.17/89.24	c New solution: 80342
89.17/89.24	o 80342
89.17/89.24	c Elapsed CPU time: 88.8335 s	Remaining CPU time: 91.1665 s
89.17/89.24	c ===============================================================================
89.17/89.24	c |      5805 |    3630    27260   689480 |     9086     5805    604 | 36.204 % |
89.56/89.65	c ===============================================================================
89.56/89.65	c New solution: 80341
89.56/89.65	o 80341
89.56/89.65	c Elapsed CPU time: 89.2414 s	Remaining CPU time: 90.7586 s
89.56/89.65	c ===============================================================================
89.56/89.65	c |      5818 |    3630    27261   691496 |     9087     5818    605 | 36.204 % |
90.07/90.11	c ===============================================================================
90.07/90.11	c New solution: 80340
90.07/90.11	o 80340
90.07/90.11	c Elapsed CPU time: 89.6984 s	Remaining CPU time: 90.3016 s
90.07/90.11	c ===============================================================================
90.07/90.11	c |      5831 |    3630    27262   693512 |     9087     5831    605 | 36.204 % |
90.26/90.39	c ===============================================================================
90.26/90.39	c New solution: 78849
90.26/90.39	o 78849
90.26/90.39	c Elapsed CPU time: 89.9803 s	Remaining CPU time: 90.0197 s
90.26/90.39	c ===============================================================================
90.26/90.39	c |      5832 |    3630    27263   695528 |     9087     5832    605 | 36.204 % |
90.76/90.80	c ===============================================================================
90.76/90.80	c New solution: 78848
90.76/90.80	o 78848
90.76/90.80	c Elapsed CPU time: 90.3913 s	Remaining CPU time: 89.6087 s
90.76/90.80	c ===============================================================================
90.76/90.80	c |      5833 |    3630    27264   697544 |     9088     5833    605 | 36.204 % |
91.17/91.22	c ===============================================================================
91.17/91.22	c New solution: 78829
91.17/91.22	o 78829
91.17/91.22	c Elapsed CPU time: 90.8042 s	Remaining CPU time: 89.1958 s
91.17/91.22	c ===============================================================================
91.17/91.22	c |      5833 |    3630    27265   699560 |     9088     5833    605 | 36.204 % |
91.56/91.63	c ===============================================================================
91.56/91.63	c New solution: 78828
91.56/91.63	o 78828
91.56/91.63	c Elapsed CPU time: 91.2131 s	Remaining CPU time: 88.7869 s
91.56/91.63	c ===============================================================================
91.56/91.63	c |      5833 |    3630    27266   701576 |     9088     5833    605 | 36.204 % |
91.96/92.03	c ===============================================================================
91.96/92.03	c New solution: 78827
91.96/92.03	o 78827
91.96/92.03	c Elapsed CPU time: 91.6191 s	Remaining CPU time: 88.3809 s
91.96/92.03	c ===============================================================================
91.96/92.03	c |      5833 |    3630    27267   703592 |     9089     5833    605 | 36.204 % |
92.27/92.40	c ===============================================================================
92.27/92.40	c New solution: 78814
92.27/92.40	o 78814
92.27/92.40	c Elapsed CPU time: 91.984 s	Remaining CPU time: 88.016 s
92.27/92.40	c ===============================================================================
92.27/92.40	c |      5833 |    3630    27268   705608 |     9089     5833    605 | 36.204 % |
92.46/92.54	c ===============================================================================
92.46/92.54	c New solution: 78813
92.46/92.54	o 78813
92.46/92.54	c Elapsed CPU time: 92.122 s	Remaining CPU time: 87.878 s
92.46/92.54	c ===============================================================================
92.46/92.54	c |      5835 |    3630    27269   707624 |     9089     5835    605 | 36.204 % |
92.76/92.88	c ===============================================================================
92.76/92.88	c New solution: 78812
92.76/92.88	o 78812
92.76/92.88	c Elapsed CPU time: 92.4659 s	Remaining CPU time: 87.5341 s
92.76/92.88	c ===============================================================================
92.76/92.88	c |      5837 |    3630    27270   709640 |     9090     5837    605 | 36.204 % |
93.16/93.26	c ===============================================================================
93.16/93.26	c New solution: 78811
93.16/93.26	o 78811
93.16/93.26	c Elapsed CPU time: 92.8449 s	Remaining CPU time: 87.1551 s
93.16/93.26	c ===============================================================================
93.16/93.26	c |      5840 |    3630    27271   711656 |     9090     5840    605 | 36.204 % |
93.57/93.61	c ===============================================================================
93.57/93.61	c New solution: 78810
93.57/93.61	o 78810
93.57/93.61	c Elapsed CPU time: 93.1958 s	Remaining CPU time: 86.8042 s
93.57/93.61	c ===============================================================================
93.57/93.61	c |      5840 |    3630    27272   713672 |     9090     5840    605 | 36.204 % |
93.67/93.79	c ===============================================================================
93.67/93.79	c New solution: 78809
93.67/93.79	o 78809
93.67/93.79	c Elapsed CPU time: 93.3698 s	Remaining CPU time: 86.6302 s
93.67/93.79	c ===============================================================================
93.67/93.79	c |      5841 |    3630    27273   715688 |     9091     5841    605 | 36.204 % |
94.86/94.93	c ===============================================================================
94.86/94.93	c New solution: 78808
94.86/94.93	o 78808
94.86/94.93	c Elapsed CPU time: 94.5126 s	Remaining CPU time: 85.4874 s
94.86/94.93	c ===============================================================================
94.86/94.93	c |      5913 |    3630    27274   717704 |     9091     5913    606 | 36.204 % |
95.16/95.22	c ===============================================================================
95.16/95.22	c New solution: 78807
95.16/95.22	o 78807
95.16/95.22	c Elapsed CPU time: 94.8026 s	Remaining CPU time: 85.1974 s
95.16/95.22	c ===============================================================================
95.16/95.22	c |      5915 |    3630    27275   719720 |     9091     5915    606 | 36.204 % |
95.46/95.54	c ===============================================================================
95.46/95.54	c New solution: 78806
95.46/95.54	o 78806
95.46/95.54	c Elapsed CPU time: 95.1225 s	Remaining CPU time: 84.8775 s
95.46/95.54	c ===============================================================================
95.46/95.54	c |      5920 |    3630    27276   721736 |     9092     5920    606 | 36.204 % |
95.67/95.76	c ===============================================================================
95.67/95.76	c New solution: 78805
95.67/95.76	o 78805
95.67/95.76	c Elapsed CPU time: 95.3375 s	Remaining CPU time: 84.6625 s
95.67/95.76	c ===============================================================================
95.67/95.76	c |      5920 |    3630    27277   723752 |     9092     5920    606 | 36.204 % |
95.96/96.09	c ===============================================================================
95.96/96.09	c New solution: 78804
95.96/96.09	o 78804
95.96/96.09	c Elapsed CPU time: 95.6725 s	Remaining CPU time: 84.3275 s
95.96/96.09	c ===============================================================================
95.96/96.09	c |      5922 |    3630    27278   725768 |     9092     5922    606 | 36.204 % |
96.46/96.52	c ===============================================================================
96.46/96.52	c New solution: 78803
96.46/96.52	o 78803
96.46/96.52	c Elapsed CPU time: 96.0974 s	Remaining CPU time: 83.9026 s
96.46/96.52	c ===============================================================================
96.46/96.52	c |      5923 |    3630    27279   727784 |     9093     5923    606 | 36.204 % |
96.77/96.84	c ===============================================================================
96.77/96.84	c New solution: 78802
96.77/96.84	o 78802
96.77/96.84	c Elapsed CPU time: 96.4203 s	Remaining CPU time: 83.5797 s
96.77/96.84	c ===============================================================================
96.77/96.84	c |      5923 |    3630    27280   729800 |     9093     5923    606 | 36.204 % |
97.06/97.16	c ===============================================================================
97.06/97.16	c New solution: 78801
97.06/97.16	o 78801
97.06/97.16	c Elapsed CPU time: 96.7403 s	Remaining CPU time: 83.2597 s
97.06/97.16	c ===============================================================================
97.06/97.16	c |      5923 |    3630    27281   731816 |     9093     5923    606 | 36.204 % |
97.35/97.48	c ===============================================================================
97.35/97.48	c New solution: 78800
97.35/97.48	o 78800
97.35/97.48	c Elapsed CPU time: 97.0532 s	Remaining CPU time: 82.9468 s
97.35/97.48	c ===============================================================================
97.35/97.48	c |      5924 |    3630    27282   733832 |     9094     5924    606 | 36.204 % |
97.77/97.82	c ===============================================================================
97.77/97.82	c New solution: 78799
97.77/97.82	o 78799
97.77/97.82	c Elapsed CPU time: 97.3862 s	Remaining CPU time: 82.6138 s
97.77/97.82	c ===============================================================================
97.77/97.82	c |      5924 |    3630    27283   735848 |     9094     5924    606 | 36.204 % |
98.06/98.12	c ===============================================================================
98.06/98.12	c New solution: 78798
98.06/98.12	o 78798
98.06/98.12	c Elapsed CPU time: 97.6861 s	Remaining CPU time: 82.3139 s
98.06/98.12	c ===============================================================================
98.06/98.12	c |      5925 |    3630    27284   737864 |     9094     5925    606 | 36.204 % |
98.46/98.51	c ===============================================================================
98.46/98.51	c New solution: 78797
98.46/98.51	o 78797
98.46/98.51	c Elapsed CPU time: 98.0751 s	Remaining CPU time: 81.9249 s
98.46/98.51	c ===============================================================================
98.46/98.51	c |      5925 |    3630    27285   739880 |     9095     5925    606 | 36.204 % |
98.87/98.90	c ===============================================================================
98.87/98.90	c New solution: 78796
98.87/98.90	o 78796
98.87/98.90	c Elapsed CPU time: 98.467 s	Remaining CPU time: 81.533 s
98.87/98.90	c ===============================================================================
98.87/98.90	c |      5926 |    3630    27286   741896 |     9095     5926    606 | 36.204 % |
99.16/99.23	c ===============================================================================
99.16/99.23	c New solution: 78795
99.16/99.23	o 78795
99.16/99.23	c Elapsed CPU time: 98.798 s	Remaining CPU time: 81.202 s
99.16/99.23	c ===============================================================================
99.16/99.23	c |      5927 |    3630    27287   743912 |     9095     5927    606 | 36.204 % |
99.46/99.54	c ===============================================================================
99.46/99.54	c New solution: 78794
99.46/99.54	o 78794
99.46/99.54	c Elapsed CPU time: 99.1049 s	Remaining CPU time: 80.8951 s
99.46/99.54	c ===============================================================================
99.46/99.54	c |      5936 |    3630    27288   745928 |     9096     5936    606 | 36.204 % |
99.85/99.92	c ===============================================================================
99.85/99.92	c New solution: 78793
99.85/99.92	o 78793
99.85/99.92	c Elapsed CPU time: 99.4819 s	Remaining CPU time: 80.5181 s
99.85/99.92	c ===============================================================================
99.85/99.92	c |      5942 |    3630    27289   747944 |     9096     5942    606 | 36.204 % |
100.06/100.19	c ===============================================================================
100.06/100.19	c New solution: 78792
100.06/100.19	o 78792
100.06/100.19	c Elapsed CPU time: 99.7498 s	Remaining CPU time: 80.2502 s
100.06/100.19	c ===============================================================================
100.06/100.19	c |      5946 |    3630    27290   749960 |     9096     5946    606 | 36.204 % |
100.36/100.46	c ===============================================================================
100.36/100.46	c New solution: 78791
100.36/100.46	o 78791
100.36/100.46	c Elapsed CPU time: 100.022 s	Remaining CPU time: 79.9782 s
100.36/100.46	c ===============================================================================
100.36/100.46	c |      5947 |    3630    27291   751976 |     9097     5947    606 | 36.204 % |
100.66/100.76	c ===============================================================================
100.66/100.76	c New solution: 78790
100.66/100.76	o 78790
100.66/100.76	c Elapsed CPU time: 100.322 s	Remaining CPU time: 79.6783 s
100.66/100.76	c ===============================================================================
100.66/100.76	c |      5947 |    3630    27292   753992 |     9097     5947    606 | 36.204 % |
100.96/101.06	c ===============================================================================
100.96/101.06	c New solution: 78789
100.96/101.06	o 78789
100.96/101.06	c Elapsed CPU time: 100.618 s	Remaining CPU time: 79.3823 s
100.96/101.06	c ===============================================================================
100.96/101.06	c |      5948 |    3630    27293   756008 |     9097     5948    606 | 36.204 % |
101.17/101.26	c ===============================================================================
101.17/101.26	c New solution: 78788
101.17/101.26	o 78788
101.17/101.26	c Elapsed CPU time: 100.818 s	Remaining CPU time: 79.1823 s
101.17/101.26	c ===============================================================================
101.17/101.26	c |      5949 |    3630    27294   758024 |     9098     5949    606 | 36.204 % |
101.66/101.76	c ===============================================================================
101.66/101.76	c New solution: 78787
101.66/101.76	o 78787
101.66/101.76	c Elapsed CPU time: 101.314 s	Remaining CPU time: 78.6864 s
101.66/101.76	c ===============================================================================
101.66/101.76	c |      5963 |    3630    27295   760040 |     9098     5963    606 | 36.204 % |
102.66/102.72	c ===============================================================================
102.66/102.72	c New solution: 78786
102.66/102.72	o 78786
102.66/102.72	c Elapsed CPU time: 102.274 s	Remaining CPU time: 77.7255 s
102.66/102.72	c ===============================================================================
102.66/102.72	c |      5997 |    3630    27296   762056 |     9098     5997    606 | 36.204 % |
103.95/104.02	c |      6099 |    3630    27296   762056 |    10008     6099    607 | 36.204 % |
105.66/105.79	c |      6250 |    3630    27296   762056 |    11009     6250    609 | 36.204 % |
105.96/106.04	c ===============================================================================
105.96/106.04	c New solution: 78785
105.96/106.04	o 78785
105.96/106.04	c Elapsed CPU time: 105.587 s	Remaining CPU time: 74.4131 s
105.96/106.04	c ===============================================================================
105.96/106.04	c |      6252 |    3630    27297   764072 |     9099     6252    609 | 36.204 % |
106.67/106.77	c ===============================================================================
106.67/106.77	c New solution: 78784
106.67/106.77	o 78784
106.67/106.77	c Elapsed CPU time: 106.317 s	Remaining CPU time: 73.6832 s
106.67/106.77	c ===============================================================================
106.67/106.77	c |      6291 |    3630    27298   766088 |     9099     6291    609 | 36.204 % |
106.96/107.02	c ===============================================================================
106.96/107.02	c New solution: 78783
106.96/107.02	o 78783
106.96/107.02	c Elapsed CPU time: 106.567 s	Remaining CPU time: 73.4332 s
106.96/107.02	c ===============================================================================
106.96/107.02	c |      6294 |    3630    27299   768104 |     9099     6294    609 | 36.204 % |
108.25/108.39	c |      6394 |    3630    27299   768104 |    10009     6394    610 | 36.204 % |
108.55/108.68	c ===============================================================================
108.55/108.68	c New solution: 78782
108.55/108.68	o 78782
108.55/108.68	c Elapsed CPU time: 108.219 s	Remaining CPU time: 71.7815 s
108.55/108.68	c ===============================================================================
108.55/108.68	c |      6396 |    3630    27300   770120 |     9100     6396    610 | 36.204 % |
109.05/109.14	c ===============================================================================
109.05/109.14	c New solution: 78781
109.05/109.14	o 78781
109.05/109.14	c Elapsed CPU time: 108.676 s	Remaining CPU time: 71.3235 s
109.05/109.14	c ===============================================================================
109.05/109.14	c |      6397 |    3630    27301   772136 |     9100     6397    610 | 36.204 % |
109.55/109.69	c ===============================================================================
109.55/109.69	c New solution: 78780
109.55/109.69	o 78780
109.55/109.69	c Elapsed CPU time: 109.232 s	Remaining CPU time: 70.7676 s
109.55/109.69	c ===============================================================================
109.55/109.69	c |      6398 |    3630    27302   774152 |     9100     6398    610 | 36.204 % |
109.86/109.96	c ===============================================================================
109.86/109.96	c New solution: 78779
109.86/109.96	o 78779
109.86/109.96	c Elapsed CPU time: 109.502 s	Remaining CPU time: 70.4976 s
109.86/109.96	c ===============================================================================
109.86/109.96	c |      6398 |    3630    27303   776168 |     9101     6398    610 | 36.204 % |
109.96/110.08	c ===============================================================================
109.96/110.08	c New solution: 78778
109.96/110.08	o 78778
109.96/110.08	c Elapsed CPU time: 109.615 s	Remaining CPU time: 70.3847 s
109.96/110.08	c ===============================================================================
109.96/110.08	c |      6400 |    3630    27304   778184 |     9101     6400    609 | 36.204 % |
110.46/110.58	c ===============================================================================
110.46/110.58	c New solution: 78777
110.46/110.58	o 78777
110.46/110.58	c Elapsed CPU time: 110.113 s	Remaining CPU time: 69.8867 s
110.46/110.58	c ===============================================================================
110.46/110.58	c |      6401 |    3630    27305   780200 |     9101     6401    610 | 36.204 % |
111.07/111.17	c ===============================================================================
111.07/111.17	c New solution: 78776
111.07/111.17	o 78776
111.07/111.17	c Elapsed CPU time: 110.702 s	Remaining CPU time: 69.2978 s
111.07/111.17	c ===============================================================================
111.07/111.17	c |      6412 |    3630    27306   782216 |     9102     6412    610 | 36.204 % |
111.46/111.52	c ===============================================================================
111.46/111.52	c New solution: 78775
111.46/111.52	o 78775
111.46/111.52	c Elapsed CPU time: 111.058 s	Remaining CPU time: 68.9419 s
111.46/111.52	c ===============================================================================
111.46/111.52	c |      6418 |    3630    27307   784232 |     9102     6418    610 | 36.204 % |
112.16/112.22	c ===============================================================================
112.16/112.22	c New solution: 77266
112.16/112.22	o 77266
112.16/112.22	c Elapsed CPU time: 111.751 s	Remaining CPU time: 68.249 s
112.16/112.22	c ===============================================================================
112.16/112.22	c |      6440 |    3630    27308   786248 |     9102     6440    610 | 36.204 % |
112.36/112.48	c ===============================================================================
112.36/112.48	c New solution: 77240
112.36/112.48	o 77240
112.36/112.48	c Elapsed CPU time: 112.014 s	Remaining CPU time: 67.986 s
112.36/112.48	c ===============================================================================
112.36/112.48	c |      6446 |    3630    27309   788264 |     9103     6446    610 | 36.204 % |
112.75/112.87	c ===============================================================================
112.75/112.87	c New solution: 77239
112.75/112.87	o 77239
112.75/112.87	c Elapsed CPU time: 112.397 s	Remaining CPU time: 67.6031 s
112.75/112.87	c ===============================================================================
112.75/112.87	c |      6447 |    3630    27310   790280 |     9103     6447    610 | 36.204 % |
113.05/113.19	c ===============================================================================
113.05/113.19	c New solution: 77233
113.05/113.19	o 77233
113.05/113.19	c Elapsed CPU time: 112.722 s	Remaining CPU time: 67.2781 s
113.05/113.19	c ===============================================================================
113.05/113.19	c |      6448 |    3630    27311   792296 |     9103     6448    610 | 36.204 % |
113.46/113.53	c ===============================================================================
113.46/113.53	c New solution: 77232
113.46/113.53	o 77232
113.46/113.53	c Elapsed CPU time: 113.055 s	Remaining CPU time: 66.9452 s
113.46/113.53	c ===============================================================================
113.46/113.53	c |      6449 |    3630    27312   794312 |     9104     6449    610 | 36.204 % |
113.76/113.86	c ===============================================================================
113.76/113.86	c New solution: 77231
113.76/113.86	o 77231
113.76/113.86	c Elapsed CPU time: 113.386 s	Remaining CPU time: 66.6142 s
113.76/113.86	c ===============================================================================
113.76/113.86	c |      6449 |    3630    27313   796328 |     9104     6449    610 | 36.204 % |
113.96/114.05	c ===============================================================================
113.96/114.05	c New solution: 77230
113.96/114.05	o 77230
113.96/114.05	c Elapsed CPU time: 113.58 s	Remaining CPU time: 66.4203 s
113.96/114.05	c ===============================================================================
113.96/114.05	c |      6455 |    3630    27314   798344 |     9104     6455    610 | 36.204 % |
114.26/114.40	c ===============================================================================
114.26/114.40	c New solution: 77229
114.26/114.40	o 77229
114.26/114.40	c Elapsed CPU time: 113.926 s	Remaining CPU time: 66.0743 s
114.26/114.40	c ===============================================================================
114.26/114.40	c |      6460 |    3630    27315   800360 |     9105     6460    610 | 36.204 % |
114.46/114.59	c ===============================================================================
114.46/114.59	c New solution: 75718
114.46/114.59	o 75718
114.46/114.59	c Elapsed CPU time: 114.118 s	Remaining CPU time: 65.8823 s
114.46/114.59	c ===============================================================================
114.46/114.59	c |      6460 |    3630    27316   802376 |     9105     6460    610 | 36.204 % |
114.66/114.75	c ===============================================================================
114.66/114.75	c New solution: 75717
114.66/114.75	o 75717
114.66/114.75	c Elapsed CPU time: 114.279 s	Remaining CPU time: 65.7214 s
114.66/114.75	c ===============================================================================
114.66/114.75	c |      6461 |    3630    27317   804392 |     9105     6461    609 | 36.204 % |
114.75/114.89	c ===============================================================================
114.75/114.89	c New solution: 75716
114.75/114.89	o 75716
114.75/114.89	c Elapsed CPU time: 114.415 s	Remaining CPU time: 65.5854 s
114.75/114.89	c ===============================================================================
114.75/114.89	c |      6462 |    3630    27318   806408 |     9106     6462    609 | 36.204 % |
115.05/115.15	c ===============================================================================
115.05/115.15	c New solution: 75678
115.05/115.15	o 75678
115.05/115.15	c Elapsed CPU time: 114.672 s	Remaining CPU time: 65.3284 s
115.05/115.15	c ===============================================================================
115.05/115.15	c |      6464 |    3630    27319   808424 |     9106     6464    609 | 36.204 % |
116.15/116.22	c |      6564 |    3630    27319   808424 |    10016     6564    611 | 36.204 % |
116.46/116.53	c ===============================================================================
116.46/116.53	c New solution: 75677
116.46/116.53	o 75677
116.46/116.53	c Elapsed CPU time: 116.054 s	Remaining CPU time: 63.9456 s
116.46/116.53	c ===============================================================================
116.46/116.53	c |      6567 |    3630    27320   810440 |     9106     6567    611 | 36.204 % |
116.75/116.86	c ===============================================================================
116.75/116.86	c New solution: 75675
116.75/116.86	o 75675
116.75/116.86	c Elapsed CPU time: 116.381 s	Remaining CPU time: 63.6187 s
116.75/116.86	c ===============================================================================
116.75/116.86	c |      6567 |    3630    27321   812456 |     9107     6567    611 | 36.204 % |
117.06/117.17	c ===============================================================================
117.06/117.17	c New solution: 75667
117.06/117.17	o 75667
117.06/117.17	c Elapsed CPU time: 116.691 s	Remaining CPU time: 63.3087 s
117.06/117.17	c ===============================================================================
117.06/117.17	c |      6568 |    3630    27322   814472 |     9107     6568    611 | 36.204 % |
117.46/117.53	c ===============================================================================
117.46/117.53	c New solution: 75666
117.46/117.53	o 75666
117.46/117.53	c Elapsed CPU time: 117.047 s	Remaining CPU time: 62.9528 s
117.46/117.53	c ===============================================================================
117.46/117.53	c |      6568 |    3630    27323   816488 |     9107     6568    611 | 36.204 % |
117.76/117.83	c ===============================================================================
117.76/117.83	c New solution: 75665
117.76/117.83	o 75665
117.76/117.83	c Elapsed CPU time: 117.346 s	Remaining CPU time: 62.6538 s
117.76/117.83	c ===============================================================================
117.76/117.83	c |      6574 |    3630    27324   818504 |     9108     6574    611 | 36.204 % |
118.26/118.36	c |      6674 |    3630    27324   818504 |    10018     6674    610 | 36.204 % |
120.75/120.84	c |      6824 |    3630    27324   818504 |    11020     6824    611 | 36.204 % |
120.86/121.00	c ===============================================================================
120.86/121.00	c New solution: 75664
120.86/121.00	o 75664
120.86/121.00	c Elapsed CPU time: 120.51 s	Remaining CPU time: 59.4903 s
120.86/121.00	c ===============================================================================
120.86/121.00	c |      6833 |    3630    27325   820520 |     9108     6833    611 | 36.204 % |
121.15/121.28	c ===============================================================================
121.15/121.28	c New solution: 75663
121.15/121.28	o 75663
121.15/121.28	c Elapsed CPU time: 120.785 s	Remaining CPU time: 59.2154 s
121.15/121.28	c ===============================================================================
121.15/121.28	c |      6842 |    3630    27326   822536 |     9108     6842    611 | 36.204 % |
122.75/122.80	c ===============================================================================
122.75/122.80	c New solution: 75662
122.75/122.80	o 75662
122.75/122.80	c Elapsed CPU time: 122.304 s	Remaining CPU time: 57.6956 s
122.75/122.80	c ===============================================================================
122.75/122.80	c |      6913 |    3630    27327   824552 |     9109     6913    611 | 36.204 % |
123.05/123.16	c ===============================================================================
123.05/123.16	c New solution: 75661
123.05/123.16	o 75661
123.05/123.16	c Elapsed CPU time: 122.66 s	Remaining CPU time: 57.3396 s
123.05/123.16	c ===============================================================================
123.05/123.16	c |      6914 |    3630    27328   826568 |     9109     6914    611 | 36.204 % |
123.65/123.70	c ===============================================================================
123.65/123.70	c New solution: 75660
123.65/123.70	o 75660
123.65/123.70	c Elapsed CPU time: 123.199 s	Remaining CPU time: 56.8007 s
123.65/123.70	c ===============================================================================
123.65/123.70	c |      6948 |    3630    27329   828584 |     9109     6948    612 | 36.204 % |
124.26/124.35	c ===============================================================================
124.26/124.35	c New solution: 75659
124.26/124.35	o 75659
124.26/124.35	c Elapsed CPU time: 123.854 s	Remaining CPU time: 56.1458 s
124.26/124.35	c ===============================================================================
124.26/124.35	c |      6983 |    3630    27330   830600 |     9110     6983    612 | 36.204 % |
124.65/124.75	c ===============================================================================
124.65/124.75	c New solution: 75658
124.65/124.75	o 75658
124.65/124.75	c Elapsed CPU time: 124.25 s	Remaining CPU time: 55.7499 s
124.65/124.75	c ===============================================================================
124.65/124.75	c |      6996 |    3630    27331   832616 |     9110     6996    612 | 36.204 % |
127.45/127.58	c |      7097 |    3630    27331   832616 |    10021     7097    612 | 36.204 % |
127.85/127.92	c ===============================================================================
127.85/127.92	c New solution: 75657
127.85/127.92	o 75657
127.85/127.92	c Elapsed CPU time: 127.411 s	Remaining CPU time: 52.5894 s
127.85/127.92	c ===============================================================================
127.85/127.92	c |      7097 |    3630    27332   834632 |     9110     7097    612 | 36.204 % |
128.15/128.30	c ===============================================================================
128.15/128.30	c New solution: 75656
128.15/128.30	o 75656
128.15/128.30	c Elapsed CPU time: 127.79 s	Remaining CPU time: 52.2104 s
128.15/128.30	c ===============================================================================
128.15/128.30	c |      7103 |    3630    27333   836648 |     9111     7103    612 | 36.204 % |
129.65/129.75	c ===============================================================================
129.65/129.75	c New solution: 75655
129.65/129.75	o 75655
129.65/129.75	c Elapsed CPU time: 129.247 s	Remaining CPU time: 50.7526 s
129.65/129.75	c ===============================================================================
129.65/129.75	c |      7138 |    3630    27334   838664 |     9111     7138    612 | 36.204 % |
129.94/130.00	c ===============================================================================
129.94/130.00	c New solution: 75654
129.94/130.00	o 75654
129.94/130.00	c Elapsed CPU time: 129.496 s	Remaining CPU time: 50.5037 s
129.94/130.00	c ===============================================================================
129.94/130.00	c |      7147 |    3630    27335   840680 |     9111     7147    612 | 36.204 % |
131.45/131.54	c |      7247 |    3630    27335   840680 |    10022     7247    613 | 36.204 % |
131.75/131.87	c ===============================================================================
131.75/131.87	c New solution: 75653
131.75/131.87	o 75653
131.75/131.87	c Elapsed CPU time: 131.353 s	Remaining CPU time: 48.647 s
131.75/131.87	c ===============================================================================
131.75/131.87	c |      7249 |    3630    27336   842696 |     9112     7249    613 | 36.204 % |
134.85/134.93	c |      7349 |    3630    27336   842696 |    10023     7349    613 | 36.204 % |
135.16/135.29	c ===============================================================================
135.16/135.29	c New solution: 75652
135.16/135.29	o 75652
135.16/135.29	c Elapsed CPU time: 134.777 s	Remaining CPU time: 45.2235 s
135.16/135.29	c ===============================================================================
135.16/135.29	c |      7354 |    3630    27337   844712 |     9112     7354    613 | 36.204 % |
136.64/136.70	c |      7454 |    3630    27337   844712 |    10023     7454    614 | 36.204 % |
136.84/136.99	c ===============================================================================
136.84/136.99	c New solution: 75651
136.84/136.99	o 75651
136.84/136.99	c Elapsed CPU time: 136.474 s	Remaining CPU time: 43.5257 s
136.84/136.99	c ===============================================================================
136.84/136.99	c |      7457 |    3630    27338   846728 |     9112     7457    614 | 36.204 % |
140.05/140.13	c ===============================================================================
140.05/140.13	c New solution: 74181
140.05/140.13	o 74181
140.05/140.13	c Elapsed CPU time: 139.603 s	Remaining CPU time: 40.3972 s
140.05/140.13	c ===============================================================================
140.05/140.13	c |      7535 |    3630    27339   848744 |     9113     7535    614 | 36.204 % |
140.76/140.88	c ===============================================================================
140.76/140.88	c New solution: 74149
140.76/140.88	o 74149
140.76/140.88	c Elapsed CPU time: 140.362 s	Remaining CPU time: 39.6383 s
140.76/140.88	c ===============================================================================
140.76/140.88	c |      7537 |    3630    27340   850760 |     9113     7537    614 | 36.204 % |
141.55/141.61	c ===============================================================================
141.55/141.61	c New solution: 74145
141.55/141.61	o 74145
141.55/141.61	c Elapsed CPU time: 141.085 s	Remaining CPU time: 38.9154 s
141.55/141.61	c ===============================================================================
141.55/141.61	c |      7552 |    3630    27341   852776 |     9113     7552    614 | 36.204 % |
142.15/142.22	c ===============================================================================
142.15/142.22	c New solution: 74131
142.15/142.22	o 74131
142.15/142.22	c Elapsed CPU time: 141.694 s	Remaining CPU time: 38.3055 s
142.15/142.22	c ===============================================================================
142.15/142.22	c |      7553 |    3630    27342   854792 |     9114     7553    614 | 36.204 % |
142.75/142.83	c ===============================================================================
142.75/142.83	c New solution: 74128
142.75/142.83	o 74128
142.75/142.83	c Elapsed CPU time: 142.307 s	Remaining CPU time: 37.6926 s
142.75/142.83	c ===============================================================================
142.75/142.83	c |      7553 |    3630    27343   856808 |     9114     7553    614 | 36.204 % |
143.34/143.44	c ===============================================================================
143.34/143.44	c New solution: 74127
143.34/143.44	o 74127
143.34/143.44	c Elapsed CPU time: 142.913 s	Remaining CPU time: 37.0867 s
143.34/143.44	c ===============================================================================
143.34/143.44	c |      7553 |    3630    27344   858824 |     9114     7553    614 | 36.204 % |
143.95/144.05	c ===============================================================================
143.95/144.05	c New solution: 74126
143.95/144.05	o 74126
143.95/144.05	c Elapsed CPU time: 143.522 s	Remaining CPU time: 36.4778 s
143.95/144.05	c ===============================================================================
143.95/144.05	c |      7553 |    3630    27345   860840 |     9115     7553    614 | 36.204 % |
144.54/144.66	c ===============================================================================
144.54/144.66	c New solution: 74125
144.54/144.66	o 74125
144.54/144.66	c Elapsed CPU time: 144.127 s	Remaining CPU time: 35.8729 s
144.54/144.66	c ===============================================================================
144.54/144.66	c |      7553 |    3630    27346   862856 |     9115     7553    614 | 36.204 % |
145.15/145.26	c ===============================================================================
145.15/145.26	c New solution: 74124
145.15/145.26	o 74124
145.15/145.26	c Elapsed CPU time: 144.729 s	Remaining CPU time: 35.271 s
145.15/145.26	c ===============================================================================
145.15/145.26	c |      7553 |    3630    27347   864872 |     9115     7553    614 | 36.204 % |
145.74/145.86	c ===============================================================================
145.74/145.86	c New solution: 74123
145.74/145.86	o 74123
145.74/145.86	c Elapsed CPU time: 145.328 s	Remaining CPU time: 34.6721 s
145.74/145.86	c ===============================================================================
145.74/145.86	c |      7553 |    3630    27348   866888 |     9116     7553    614 | 36.204 % |
146.34/146.46	c ===============================================================================
146.34/146.46	c New solution: 74122
146.34/146.46	o 74122
146.34/146.46	c Elapsed CPU time: 145.928 s	Remaining CPU time: 34.0722 s
146.34/146.46	c ===============================================================================
146.34/146.46	c |      7553 |    3630    27349   868904 |     9116     7553    614 | 36.204 % |
146.95/147.06	c ===============================================================================
146.95/147.06	c New solution: 74121
146.95/147.06	o 74121
146.95/147.06	c Elapsed CPU time: 146.527 s	Remaining CPU time: 33.4733 s
146.95/147.06	c ===============================================================================
146.95/147.06	c |      7553 |    3630    27350   870920 |     9116     7553    614 | 36.204 % |
147.55/147.65	c ===============================================================================
147.55/147.65	c New solution: 74120
147.55/147.65	o 74120
147.55/147.65	c Elapsed CPU time: 147.121 s	Remaining CPU time: 32.8794 s
147.55/147.65	c ===============================================================================
147.55/147.65	c |      7553 |    3630    27351   872936 |     9117     7553    614 | 36.204 % |
148.15/148.25	c ===============================================================================
148.15/148.25	c New solution: 74119
148.15/148.25	o 74119
148.15/148.25	c Elapsed CPU time: 147.715 s	Remaining CPU time: 32.2855 s
148.15/148.25	c ===============================================================================
148.15/148.25	c |      7553 |    3630    27352   874952 |     9117     7553    614 | 36.204 % |
148.74/148.84	c ===============================================================================
148.74/148.84	c New solution: 74118
148.74/148.84	o 74118
148.74/148.84	c Elapsed CPU time: 148.305 s	Remaining CPU time: 31.6945 s
148.74/148.84	c ===============================================================================
148.74/148.84	c |      7553 |    3630    27353   876968 |     9117     7553    614 | 36.204 % |
149.34/149.45	c ===============================================================================
149.34/149.45	c New solution: 74117
149.34/149.45	o 74117
149.34/149.45	c Elapsed CPU time: 148.916 s	Remaining CPU time: 31.0836 s
149.34/149.45	c ===============================================================================
149.34/149.45	c |      7555 |    3630    27354   878984 |     9118     7555    614 | 36.204 % |
149.94/150.00	c ===============================================================================
149.94/150.00	c New solution: 74104
149.94/150.00	o 74104
149.94/150.00	c Elapsed CPU time: 149.46 s	Remaining CPU time: 30.5397 s
149.94/150.00	c ===============================================================================
149.94/150.00	c |      7560 |    3630    27355   881000 |     9118     7560    614 | 36.204 % |
151.65/151.71	c ===============================================================================
151.65/151.71	c New solution: 74103
151.65/151.71	o 74103
151.65/151.71	c Elapsed CPU time: 151.17 s	Remaining CPU time: 28.83 s
151.65/151.71	c ===============================================================================
151.65/151.71	c |      7649 |    3630    27356   883016 |     9118     7649    614 | 36.204 % |
152.24/152.32	c ===============================================================================
152.24/152.32	c New solution: 74102
152.24/152.32	o 74102
152.24/152.32	c Elapsed CPU time: 151.777 s	Remaining CPU time: 28.2231 s
152.24/152.32	c ===============================================================================
152.24/152.32	c |      7651 |    3630    27357   885032 |     9119     7651    614 | 36.204 % |
152.75/152.81	c ===============================================================================
152.75/152.81	c New solution: 74101
152.75/152.81	o 74101
152.75/152.81	c Elapsed CPU time: 152.269 s	Remaining CPU time: 27.7311 s
152.75/152.81	c ===============================================================================
152.75/152.81	c |      7675 |    3630    27358   887048 |     9119     7675    614 | 36.204 % |
153.25/153.31	c ===============================================================================
153.25/153.31	c New solution: 74100
153.25/153.31	o 74100
153.25/153.31	c Elapsed CPU time: 152.762 s	Remaining CPU time: 27.2382 s
153.25/153.31	c ===============================================================================
153.25/153.31	c |      7681 |    3630    27359   889064 |     9119     7681    614 | 36.204 % |
154.64/154.73	c ===============================================================================
154.64/154.73	c New solution: 74099
154.64/154.73	o 74099
154.64/154.73	c Elapsed CPU time: 154.182 s	Remaining CPU time: 25.8184 s
154.64/154.73	c ===============================================================================
154.64/154.73	c |      7746 |    3630    27360   891080 |     9120     7746    615 | 36.204 % |
156.24/156.35	c |      7846 |    3630    27360   891080 |    10032     7846    615 | 36.204 % |
156.74/156.80	c ===============================================================================
156.74/156.80	c New solution: 74098
156.74/156.80	o 74098
156.74/156.80	c Elapsed CPU time: 156.246 s	Remaining CPU time: 23.7538 s
156.74/156.80	c ===============================================================================
156.74/156.80	c |      7848 |    3630    27361   893096 |     9120     7848    615 | 36.204 % |
158.54/158.61	c |      7949 |    3630    27361   893096 |    10032     7949    616 | 36.204 % |
158.84/158.99	c ===============================================================================
158.84/158.99	c New solution: 74097
158.84/158.99	o 74097
158.84/158.99	c Elapsed CPU time: 158.434 s	Remaining CPU time: 21.5661 s
158.84/158.99	c ===============================================================================
158.84/158.99	c |      7952 |    3630    27362   895112 |     9120     7952    616 | 36.204 % |
159.14/159.29	c ===============================================================================
159.14/159.29	c New solution: 74096
159.14/159.29	o 74096
159.14/159.29	c Elapsed CPU time: 158.737 s	Remaining CPU time: 21.2631 s
159.14/159.29	c ===============================================================================
159.14/159.29	c |      7956 |    3630    27363   897128 |     9121     7956    616 | 36.204 % |
159.74/159.88	c ===============================================================================
159.74/159.88	c New solution: 74095
159.74/159.88	o 74095
159.74/159.88	c Elapsed CPU time: 159.324 s	Remaining CPU time: 20.6762 s
159.74/159.88	c ===============================================================================
159.74/159.88	c |      7958 |    3630    27364   899144 |     9121     7958    616 | 36.204 % |
160.34/160.43	c ===============================================================================
160.34/160.43	c New solution: 74094
160.34/160.43	o 74094
160.34/160.43	c Elapsed CPU time: 159.865 s	Remaining CPU time: 20.1353 s
160.34/160.43	c ===============================================================================
160.34/160.43	c |      7965 |    3630    27365   901160 |     9121     7965    616 | 36.204 % |
161.94/162.00	c |      8066 |    3630    27365   901160 |    10033     8066    617 | 36.204 % |
162.24/162.35	c ===============================================================================
162.24/162.35	c New solution: 74093
162.24/162.35	o 74093
162.24/162.35	c Elapsed CPU time: 161.786 s	Remaining CPU time: 18.2136 s
162.24/162.35	c ===============================================================================
162.24/162.35	c |      8067 |    3630    27366   903176 |     9122     8067    617 | 36.204 % |
163.94/164.01	c |      8168 |    3630    27366   903176 |    10034     8168    617 | 36.204 % |
164.24/164.30	c ===============================================================================
164.24/164.30	c New solution: 74092
164.24/164.30	o 74092
164.24/164.30	c Elapsed CPU time: 163.735 s	Remaining CPU time: 16.2649 s
164.24/164.30	c ===============================================================================
164.24/164.30	c |      8169 |    3630    27367   905192 |     9122     8169    617 | 36.204 % |
164.44/164.52	c ===============================================================================
164.44/164.52	c New solution: 74091
164.44/164.52	o 74091
164.44/164.52	c Elapsed CPU time: 163.953 s	Remaining CPU time: 16.0469 s
164.44/164.52	c ===============================================================================
164.44/164.52	c |      8181 |    3630    27368   907208 |     9122     8181    617 | 36.204 % |
164.64/164.79	c ===============================================================================
164.64/164.79	c New solution: 74090
164.64/164.79	o 74090
164.64/164.79	c Elapsed CPU time: 164.22 s	Remaining CPU time: 15.78 s
164.64/164.79	c ===============================================================================
164.64/164.79	c |      8181 |    3630    27369   909224 |     9123     8181    617 | 36.204 % |
165.24/165.38	c ===============================================================================
165.24/165.38	c New solution: 74089
165.24/165.38	o 74089
165.24/165.38	c Elapsed CPU time: 164.803 s	Remaining CPU time: 15.1971 s
165.24/165.38	c ===============================================================================
165.24/165.38	c |      8192 |    3630    27370   911240 |     9123     8192    617 | 36.204 % |
165.54/165.67	c ===============================================================================
165.54/165.67	c New solution: 74088
165.54/165.67	o 74088
165.54/165.67	c Elapsed CPU time: 165.091 s	Remaining CPU time: 14.9091 s
165.54/165.67	c ===============================================================================
165.54/165.67	c |      8195 |    3630    27371   913256 |     9123     8195    617 | 36.204 % |
167.14/167.21	c ===============================================================================
167.14/167.21	c New solution: 74087
167.14/167.21	o 74087
167.14/167.21	c Elapsed CPU time: 166.634 s	Remaining CPU time: 13.3663 s
167.14/167.21	c ===============================================================================
167.14/167.21	c |      8251 |    3630    27372   915272 |     9124     8251    617 | 36.204 % |
167.44/167.57	c ===============================================================================
167.44/167.57	c New solution: 74086
167.44/167.57	o 74086
167.44/167.57	c Elapsed CPU time: 166.996 s	Remaining CPU time: 13.0044 s
167.44/167.57	c ===============================================================================
167.44/167.57	c |      8251 |    3630    27373   917288 |     9124     8251    617 | 36.204 % |
167.84/167.96	c ===============================================================================
167.84/167.96	c New solution: 74085
167.84/167.96	o 74085
167.84/167.96	c Elapsed CPU time: 167.38 s	Remaining CPU time: 12.6204 s
167.84/167.96	c ===============================================================================
167.84/167.96	c |      8252 |    3630    27374   919304 |     9124     8252    617 | 36.204 % |
169.43/169.60	c |      8353 |    3630    27374   919304 |    10037     8353    618 | 36.204 % |
169.93/170.06	c ===============================================================================
169.93/170.06	c New solution: 74084
169.93/170.06	o 74084
169.93/170.06	c Elapsed CPU time: 169.477 s	Remaining CPU time: 10.5228 s
169.93/170.06	c ===============================================================================
169.93/170.06	c |      8357 |    3630    27375   921320 |     9125     8357    618 | 36.204 % |
173.33/173.44	c |      8457 |    3630    27375   921320 |    10037     8457    618 | 36.204 % |
173.75/173.83	c ===============================================================================
173.75/173.83	c New solution: 74083
173.75/173.83	o 74083
173.75/173.83	c Elapsed CPU time: 173.245 s	Remaining CPU time: 6.75534 s
173.75/173.83	c ===============================================================================
173.75/173.83	c |      8457 |    3630    27376   923336 |     9125     8457    618 | 36.204 % |
174.14/174.22	c ===============================================================================
174.14/174.22	c New solution: 74082
174.14/174.22	o 74082
174.14/174.22	c Elapsed CPU time: 173.638 s	Remaining CPU time: 6.3624 s
174.14/174.22	c ===============================================================================
174.14/174.22	c |      8458 |    3630    27377   925352 |     9125     8458    618 | 36.204 % |
174.64/174.76	c ===============================================================================
174.64/174.76	c New solution: 74081
174.64/174.76	o 74081
174.64/174.76	c Elapsed CPU time: 174.177 s	Remaining CPU time: 5.82348 s
174.64/174.76	c ===============================================================================
174.64/174.76	c |      8481 |    3630    27378   927368 |     9126     8481    618 | 36.204 % |
175.24/175.37	c ===============================================================================
175.24/175.37	c New solution: 74080
175.24/175.37	o 74080
175.24/175.37	c Elapsed CPU time: 174.783 s	Remaining CPU time: 5.21657 s
175.24/175.37	c ===============================================================================
175.24/175.37	c |      8512 |    3630    27379   929384 |     9126     8512    618 | 36.204 % |
176.13/176.29	c ===============================================================================
176.13/176.29	c New solution: 74079
176.13/176.29	o 74079
176.13/176.29	c Elapsed CPU time: 175.701 s	Remaining CPU time: 4.29871 s
176.13/176.29	c ===============================================================================
176.13/176.29	c |      8537 |    3630    27380   931400 |     9126     8537    618 | 36.204 % |
176.43/176.55	c ===============================================================================
176.43/176.55	c New solution: 74078
176.43/176.55	o 74078
176.43/176.55	c Elapsed CPU time: 175.962 s	Remaining CPU time: 4.03775 s
176.43/176.55	c ===============================================================================
176.43/176.55	c |      8540 |    3630    27381   933416 |     9127     8540    618 | 36.204 % |
176.83/176.93	c ===============================================================================
176.83/176.93	c New solution: 74077
176.83/176.93	o 74077
176.83/176.93	c Elapsed CPU time: 176.338 s	Remaining CPU time: 3.66181 s
176.83/176.93	c ===============================================================================
176.83/176.93	c |      8552 |    3630    27382   935432 |     9127     8552    618 | 36.204 % |
178.43/178.51	c |      8653 |    3630    27382   935432 |    10040     8653    619 | 36.204 % |
178.63/178.78	c ===============================================================================
178.63/178.78	c New solution: 74076
178.63/178.78	o 74076
178.63/178.78	c Elapsed CPU time: 178.192 s	Remaining CPU time: 1.80809 s
178.63/178.78	c ===============================================================================
178.63/178.78	c |      8657 |    3630    27383   937448 |     9127     8657    619 | 36.204 % |
179.04/179.10	c ===============================================================================
179.04/179.10	c New solution: 74075
179.04/179.10	o 74075
179.04/179.10	c Elapsed CPU time: 178.507 s	Remaining CPU time: 1.49314 s
179.04/179.10	c ===============================================================================
179.04/179.10	c |      8659 |    3630    27384   939464 |     9128     8659    619 | 36.204 % |
179.34/179.49	c ===============================================================================
179.34/179.49	c New solution: 74074
179.34/179.49	o 74074
179.34/179.49	c Elapsed CPU time: 178.892 s	Remaining CPU time: 1.1082 s
179.34/179.49	c ===============================================================================
179.34/179.49	c |      8664 |    3630    27385   941480 |     9128     8664    619 | 36.204 % |
180.14/180.24	c ===============================================================================
180.14/180.24	c New solution: 74073
180.14/180.24	o 74073
180.14/180.24	c Elapsed CPU time: 179.642 s	Remaining CPU time: 0.35831 s
180.14/180.24	c ===============================================================================
180.14/180.24	c |      8703 |    3630    27386   943496 |     9128     8703    619 | 36.204 % |
180.54/180.63	c There are 2060 assigned variables. 426 in cost function.
182.73/182.87	c core #1
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 3	Core Weight: 1	Total Weight: 6537
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #2
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 7	Core Weight: 1	Total Weight: 6538
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #3
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 3	Core Weight: 1	Total Weight: 6539
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #4
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 8	Core Weight: 1	Total Weight: 6540
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #5
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 3	Core Weight: 1	Total Weight: 6541
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #6
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 3	Core Weight: 1	Total Weight: 6542
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #7
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 5	Core Weight: 1	Total Weight: 6543
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #8
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 10	Core Weight: 1	Total Weight: 6544
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #9
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 13	Core Weight: 1	Total Weight: 6545
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #10
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 17	Core Weight: 1	Total Weight: 6546
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #11
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 4	Core Weight: 1	Total Weight: 6547
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #12
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 5	Core Weight: 1	Total Weight: 6548
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #13
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 4	Core Weight: 1	Total Weight: 6549
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #14
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 6	Core Weight: 1	Total Weight: 6550
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #15
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 6	Core Weight: 1	Total Weight: 6551
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #16
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 15	Core Weight: 1	Total Weight: 6552
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #17
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 9	Core Weight: 1	Total Weight: 6553
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #18
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 4	Core Weight: 1	Total Weight: 6554
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #19
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 8	Core Weight: 1	Total Weight: 6555
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #20
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 7	Core Weight: 1	Total Weight: 6556
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #21
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 13	Core Weight: 1	Total Weight: 6557
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #22
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 10	Core Weight: 1	Total Weight: 6558
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #23
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 13	Core Weight: 1	Total Weight: 6559
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #24
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 6	Core Weight: 1	Total Weight: 6560
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #25
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 6	Core Weight: 1	Total Weight: 6561
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #26
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 10	Core Weight: 1	Total Weight: 6562
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #27
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 6	Core Weight: 1	Total Weight: 6563
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #28
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 12	Core Weight: 1	Total Weight: 6564
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #29
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 11	Core Weight: 1	Total Weight: 6565
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #30
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 13	Core Weight: 1	Total Weight: 6566
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #31
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 10	Core Weight: 1	Total Weight: 6567
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #32
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 16	Core Weight: 1	Total Weight: 6568
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #33
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 16	Core Weight: 1	Total Weight: 6569
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #34
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 5	Core Weight: 1	Total Weight: 6570
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #35
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 14	Core Weight: 1	Total Weight: 6571
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #36
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 8	Core Weight: 1	Total Weight: 6572
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #37
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 8	Core Weight: 1	Total Weight: 6573
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #38
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 16	Core Weight: 1	Total Weight: 6574
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #39
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 16	Core Weight: 1	Total Weight: 6575
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c core #40
182.73/182.87	c 
182.73/182.87	c 
182.73/182.87	c Core size: 27	Core Weight: 1	Total Weight: 6576
182.73/182.87	c
182.73/182.87	c
182.73/182.87	c ============================[ Search Statistics ]==============================
182.73/182.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.73/182.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.73/182.87	c ===============================================================================
182.73/182.87	c |         0 |     688    16260     8734 |     5420        0    nan |  0.000 % |
182.73/182.87	c ===============================================================================
182.73/182.89	c #cores: 40
182.73/182.89	c Final Weight: 6576
182.73/182.89	o 6576
182.73/182.89	s OPTIMUM FOUND
182.73/182.89	v -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 x4142 -x4143 -x4144 -x4145 x4146 -x4147 -x4148 -x4149 x4150 x4151 -x4152 -x4153 x4154 x4155 -x4156 x4157 x4158 x4159 x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 x4171 x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 x4224 x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 x4250 x4251 x4252 x4253 x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 x4275 x4276 x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 x4363 x4364 -x4365 -x4366 -x4367 x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 x4389 x4390 x4391 x4392 x4393 x4394 x4395 x4396 x4397 x4398 -x4399 -x4400 -x4401 -x4402 -x4403 x4404 -x4405 -x4406 -x4407 x4408 -x4409 x4410 x4411 -x4412 x4413 -x4414 x4415 x4416 -x4417 -x4418 -x4419 -x4420 -x4421 x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 x4470 x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 x4479 -x4480 -x4481 -x4482 x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 x4508 -x4509 -x4510 -x4511 x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 x4523 x4524 -x4525 -x4526 -x4527 x4528 x4529 -x4530 x4531 -x4532 -x4533 -x4534 x4535 -x4536 x4537 -x4538 x4539 -x4540 -x4541 -x4542 x4543 x4544 x4545 -x4546 -x4547 -x4548 x4549 x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 x4567 x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 x4575 -x4576 -x4577 x4578 x4579 x4580 x4581 x4582 -x4583 -x4584 -x4585 x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 x4606 -x4607 -x4608 -x4609 x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 x4633 -x4634 -x4635 -x4636 -x4637 x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 x4647 x4648 -x4649 x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 x4657 -x4658 -x4659 x4660 x4661 x4662 -x4663 x4664 -x4665 -x4666 -x4667 -x4668 -x4669 x4670 -x4671 x4672 -x4673 x4674 x4675 -x4676 -x4677 x4678 x4679 x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 x4690 x4691 x4692 -x4693 -x4694 x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 x4704 -x4705 -x4706 -x4707 x4708 -x4709 -x4710 -x4711 x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 x4727 -x4728 -x4729 -x4730 x4731 -x4732 x4733 -x4734 -x4735 -x4736 -x4737 x4738 -x4739 -x4740 x4741 x4742 -x4743 -x4744 x4745 -x4746 x4747 -x4748 -x4749 -x4750 -x4751 -x4752 x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 x4766 x4767 x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 x4777 -x4778 -x4779 -x4780 -x4781 x4782 -x4783 x4784 -x4785 -x4786 -x4787 -x4788 x4789 x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 x4815 -x4816 x4817 -x4818 -x4819 -x4820 x4821 -x4822 x4823 x4824 -x4825 -x4826 -x4827 x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 x4835 -x4836 x4837 x4838 -x4839 -x4840 -x4841 -x4842 -x4843 x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 x4851 x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 x4859 -x4860 -x4861 -x4862 -x4863 x4864 -x4865 -x4866 x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 x4886 -x4887 x4888 -x4889 -x4890 x4891 x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 x4900 x4901 -x4902 -x4903 -x4904 -x4905 x4906 -x4907 -x4908 -x4909 -x4910 -x4911 x4912 -x4913 -x4914 x4915 -x4916 -x4917 -x4918 x4919 -x4920 -x4921 -x4922 x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 x4930 x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 x4954 -x4955 x4956 x4957 -x4958 x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 x4971 x4972 x4973 x4974 -x4975 -x4976 -x4977 -x4978 -x4979 x4980 -x4981 -x4982 -x4983 -x4984 x4985 -x4986 -x4987 x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 x4995 -x4996 -x4997 -x4998 -x4999 x5000 -x5001 -x5002 -x5003 -x5004 -x5005 x5006 -x5007 -x5008 x5009 -x5010 -x5011 -x5012 -x5013 x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 x5023 x5024 -x5025 -x5026 x5027 x5028 -x5029 -x5030 -x5031 -x5032 x5033 x5034 x5035 x5036 x5037 -x5038 x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 x5089 -x5090 -x5091 x5092 x5093 -x5094 x5095 x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 x5126 -x5127 -x5128 -x5129 -x5130 x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 x5138 -x5139 -x5140 x5141 x5142 -x5143 x5144 -x5145 -x5146 -x5147 x5148 -x5149 x5150 -x5151 x5152 x5153 x5154 -x5155 -x5156 x5157 x5158 x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 x5171 -x5172 x5173 x5174 -x5175 x5176 -x5177 -x5178 -x5179 x5180 -x5181 x5182 x5183 -x5184 -x5185 -x5186 x5187 x5188 x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 x5199 -x5200 x5201 -x5202 x5203 x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 x5218 -x5219 -x5220 -x5221 -x5222 x5223 -x5224 x5225 -x5226 -x5227 -x5228 -x5229 x5230 -x5231 x5232 x5233 -x5234 x5235 -x5236 -x5237 -x5238 x5239 -x5240 x5241 -x5242 -x5243 -x5244 -x5245 x5246 -x5247 -x5248 x5249 -x5250 -x5251 -x5252 x5253 x5254 -x5255 -x5256 x5257 -x5258 x5259 x5260 x5261 x5262 x5263 x5264 x5265 -x5266 -x5267 -x5268 -x5269 x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 x5283 x5284 x5285 x5286 -x5287 x5288 x5289 x5290 x5291 x5292 x5293 x5294 x5295 -x5296 x5297 x5298 -x5299 x5300 -x5301 -x5302 x5303 x5304 -x5305 x5306 x5307 x5308 -x5309 x5310 -x5311 -x5312 -x5313 x5314 -x5315 x5316 -x5317 x5318 -x5319 -x5320 -x5321 -x5322 -x5323 x5324 x5325 -x5326 x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 x5335 x5336 -x5337 -x5338 -x5339 x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 x5380 -x5381 -x5382 -x5383 x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 x5431 x5432 x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 x5475 x5476 x5477 -x5478 x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 x5488 -x5489 x5490 -x5491 -x5492 x5493 x5494 -x5495 x5496 -x5497 -x5498 x5499 -x5500 -x5501 x5502 -x5503 x5504 x5505 -x5506 -x5507 x5508 x5509 x5510 -x5511 -x5512 x5513 x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 x5544 x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 x5554 -x5555 x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 x5582 -x5583 -x5584 -x5585 x5586 -x5587 -x5588 -x5589 x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 x5597 x5598 -x5599 -x5600 -x5601 x5602 -x5603 x5604 -x5605 -x5606 -x5607 x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 x5641 -x5642 -x5643 x5644 x5645 -x5646 x5647 x5648 -x5649 -x5650 -x5651 x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 x5684 x5685 x5686 x5687 x5688 x5689 x5690 x1 x2 -x3 -x4 -x5 x6 -x7 -x8 -x9 x10 -x11 x12 -x13 x14 -x15 -x16 x17 -x18 -x19 x20 -x21 x22 x23 -x24 x25 -x26 -x27 x28 x29 -x30 -x31 x32 -x33 x34 -x35 -x36 -x37 x38 -x39 x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 x89 -x90 x91 -x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 x154 -x155 -x156 x157 -x158 -x159 -x160 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 x265 -x266 -x267 x268 -x269 x270 x271 -x272 x273 -x274 x275 -x276 -x277 x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 x292 -x293 -x294 -x295 -x296 x297 x298 -x299 x300 -x301 x302 -x303 x304 x305 -x306 -x307 x308 -x309 x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 x321 -x322 -x323 -x324 -x325 x326 -x327 x328 -x329 x330 x331 -x332 x333 x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 x343 -x344 x345 -x346 x347 -x348 -x349 x350 x351 -x352 -x353 x354 -x355 x356 x357 -x358 -x359 x360 -x361 x362 x363 -x364 -x365 -x366 -x367 x368 x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 x378 -x379 -x380 -x381 x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 -x412 -x413 x414 x415 x416 x417 x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 x436 x437 -x438 -x439 -x440 -x441 -x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 x464 -x465 x466 x467 x468 -x469 -x470 -x471 x472 x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 x503 -x504 -x505 x506 -x507 -x508 -x509 -x510 x511 -x512 -x513 -x514 x515 -x516 -x517 x518 -x519 x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 x545 -x546 -x547 -x548 -x549 x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 x609 x610 -x611 -x612 x613 x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 x625 -x626 x627 x628 -x629 x630 -x631 -x632 x633 -x634 x635 -x636 -x637 x638 -x639 x640 -x641 x642 x643 x644 -x645 x646 -x647 x648 -x649 -x650 x651 x652 x653 x654 x655 -x656 x657 x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 x666 x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 x697 x698 -x699 x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 x728 -x729 -x730 x731 x732 -x733 -x734 -x735 x736 -x737 x738 -x739 x740 x741 -x742 -x743 x744 x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 x763 -x764 -x765 x766 -x767 x768 -x769 -x770 -x771 x772 -x773 x774 x775 -x776 x777 -x778 x779 x780 -x781 -x782 -x783 x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 x794 -x795 -x796 x797 -x798 x799 -x800 -x801 -x802 -x803 x804 -x805 x806 x807 -x808 -x809 -x810 -x811 x812 -x813 x814 x815 x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 x831 -x832 x833 x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 x847 x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 x857 x858 -x859 -x860 -x861 -x862 -x863 x864 x865 -x866 -x867 -x868 -x869 x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 x887 x888 -x889 x890 -x891 x892 -x893 x894 x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 x906 -x907 -x908 -x909 x910 x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 x924 -x925 x926 -x927 x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 x937 -x938 -x939 x940 -x941 x942 -x943 -x944 -x945 x946 -x947 -x948 x949 x950 -x951 x952 -x953 x954 -x955 x956 -x957 -x958 x959 x960 -x961 -x962 x963 -x964 -x965 -x966 -x967 -x968 x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 x1004 -x1005 x1006 -x1007 x1008 -x1009 -x1010 x1011 -x1012 x1013 x1014 -x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 x1031 -x1032 -x1033 -x1034 -x1035 -x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 x1115 x1116 -x1117 x1118 x1119 x1120 -x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 x1142 x1143 -x1144 -x1145 -x1146 x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 x1165 -x1166 -x1167 -x1168 -x1169 x1170 x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 x1204 -x1205 -x1206 x1207 -x1208 -x1209 x1210 x1211 -x1212 -x1213 -x1214 -x1215 -x1216 x1217 -x1218 x1219 -x1220 -x1221 x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 -x1250 x1251 x1252 -x1253 x1254 -x1255 x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 x1282 -x1283 -x1284 x1285 -x1286 x1287 x1288 x1289 -x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 x1297 x1298 -x1299 -x1300 -x1301 x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 x1313 -x1314 -x1315 x1316 -x1317 x1318 -x1319 -x1320 -x1321 -x1322 -x1323 x1324 x1325 x1326 -x1327 -x1328 x1329 -x1330 -x1331 x1332 -x1333 x1334 -x1335 -x1336 x1337 -x1338 x1339 -x1340 x1341 -x1342 x1343 -x1344 x1345 -x1346 -x1347 x1348 x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 x1356 -x1357 -x1358 x1359 -x1360 -x1361 -x1362 x1363 x1364 -x1365 -x1366 x1367 -x1368 -x1369 -x1370 x1371 -x1372 x1373 -x1374 -x1375 -x1376 -x1377 x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 x1387 -x1388 x1389 -x1390 x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 x1418 -x1419 x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 x1430 -x1431 -x1432 x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 x1441 -x1442 x1443 x1444 -x1445 x1446 -x1447 x1448 -x1449 x1450 x1451 -x1452 x1453 x1454 -x1455 x1456 -x1457 -x1458 x1459 x1460 -x1461 -x1462 x1463 -x1464 x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 x1489 -x1490 -x1491 x1492 -x1493 x1494 -x1495 x1496 -x1497 -x1498 x1499 -x1500 -x1501 -x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 x1521 -x1522 x1523 -x1524 -x1525 x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 x1534 -x1535 -x1536 -x1537 x1538 -x1539 x1540 -x1541 x1542 x1543 -x1544 x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 x1553 -x1554 -x1555 x1556 x1557 -x1558 x1559 -x1560 -x1561 -x1562 x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 -x1574 x1575 -x1576 -x1577 -x1578 x1579 -x1580 -x1581 x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606 -x1607 x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 x1640 -x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 x1674 -x1675 -x1676 -x1677 -x1678 x1679 x1680 -x1681 -x1682 -x1683 x1684 x1685 -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 x1719 -x1720 -x1721 -x1722 x1723 -x1724 x1725 -x1726 x1727 -x1728 -x1729 x1730 x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 x1738 -x1739 -x1740 x1741 -x1742 x1743 -x1744 x1745 x1746 -x1747 x1748 -x1749 x1750 -x1751 x1752 -x1753 -x1754 -x1755 -x1756 x1757 -x1758 x1759 x1760 -x1761 -x1762 -x1763 x1764 -x1765 x1766 -x1767 x1768 -x1769 x1770 x1771 -x1772 x1773 -x1774 x1775 -x1776 x1777 -x1778 -x1779 -x1780 -x1781 x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 x1794 x1795 x1796 -x1797 -x1798 x1799 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 x1811 -x1812 -x1813 -x1814 -x1815 -x1816 x1817 x1818 -x1819 x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 x1835 -x1836 x1837 -x1838 -x1839 x1840 x1841 -x1842 x1843 -x1844 x1845 -x1846 x1847 -x1848 x1849 -x1850 x1851 -x1852 x1853 -x1854 x1855 -x1856 x1857 x1858 -x1859 -x1860 -x1861 x1862 -x1863 -x1864 -x1865 -x1866 -x1867 x1868 -x1869 x1870 x1871 -x1872 -x1873 -x1874 x1875 -x1876 -x1877 x1878 -x1879 x1880 -x1881 -x1882 -x1883 -x1884 x1885 x1886 -x1887 x1888 -x1889 x1890 -x1891 -x1892 -x1893 -x1894 x1895 -x1896 -x1897 x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 -x1911 x1912 x1913 -x1914 x1915 -x1916 x1917 -x1918 -x1919 -x1920 -x1921 x1922 -x1923 x1924 -x1925 -x1926 x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 x1953 -x1954 x1955 -x1956 x1957 -x1958 -x1959 -x1960 x1961 -x1962 x1963 -x1964 -x1965 x1966 x1967 x1968 -x1969 x1970 -x1971 -x1972 x1973 -x1974 -x1975 x1976 -x1977 x1978 -x1979 x1980 -x1981 x1982 -x1983 x1984 -x1985 x1986 x1987 -x1988 -x1989 -x1990 -x1991 x1992 -x1993 x1994 x1995 -x1996 -x1997 -x1998 -x1999 x2000 -x2001 x2002 -x2003 x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 x2016 -x2017 -x2018 -x2019 -x2020 x2021 x2022 -x2023 x2024 x2025 -x2026 x2027 -x2028 -x2029 -x2030 -x2031 -x2032 x2033 -x2034 -x2035 -x2036 -x2037 -x2038 x2039 -x2040 x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 x2051 -x2052 x2053 x2054 -x2055 x2056 x2057 x2058 -x2059 x2060 x2061 -x2062 x2063 x2064 -x2065 x2066 -x2067 -x2068 x2069 -x2070 -x2071 -x2072 -x2073 x2074 x2075 -x2076 x2077 -x2078 x2079 -x2080 -x2081 -x2082 -x2083 -x2084 x2085 -x2086 -x2087 x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 x2101 x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 -x2109 x2110 -x2111 -x2112 -x2113 x2114 -x2115 -x2116 -x2117 x2118 -x2119 -x2120 x2121 x2122 -x2123 -x2124 -x2125 x2126 x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 x2135 -x2136 -x2137 x2138 -x2139 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 x2148 -x2149 -x2150 -x2151 x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 -x2162 -x2163 -x2164 x2165 x2166 x2167 -x2168 -x2169 -x2170 -x2171 x2172 -x2173 -x2174 x2175 -x2176 -x2177 x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 x2199 -x2200 x2201 x2202 x2203 x2204 x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 x2250 x2251 x2252 -x2253 x2254 -x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 x2263 x2264 -x2265 x2266 -x2267 x2268 -x2269 x2270 -x2271 x2272 -x2273 -x2274 -x2275 -x2276 x2277 -x2278 -x2279 -x2280 x2281 x2282 -x2283 x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 x2305 -x2306 -x2307 -x2308 x2309 -x2310 x2311 -x2312 -x2313 -x2314 x2315 -x2316 x2317 -x2318 -x2319 x2320 -x2321 x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 x2332 -x2333 x2334 x2335 -x2336 -x2337 x2338 -x2339 -x2340 -x2341 x2342 -x2343 x2344 -x2345 x2346 x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 -x2354 -x2355 -x2356 -x2357 x2358 -x2359 -x2360 x2361 -x2362 -x2363 x2364 -x2365 -x2366 x2367 x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 x2379 -x2380 -x2381 x2382 x2383 -x2384 -x2385 -x2386 -x2387 x2388 -x2389 -x2390 x2391 -x2392 -x2393 x2394 x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 -x2402 x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 x2416 -x2417 x2418 -x2419 -x2420 -x2421 -x2422 x2423 -x2424 x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 x2434 x2435 -x2436 x2437 x2438 x2439 x2440 -x2441 x2442 -x2443 -x2444 -x2445 -x2446 x2447 x2448 -x2449 -x2450 -x2451 -x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 x2465 -x2466 x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 x2481 -x2482 -x2483 -x2484 -x2485 x2486 -x2487 x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 x2512 -x2513 -x2514 -x2515 x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 x2523 -x2524 -x2525 x2526 x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 x2537 -x2538 x2539 x2540 -x2541 x2542 x2543 -x2544 x2545 -x2546 -x2547 x2548 x2549 -x2550 -x2551 x2552 -x2553 x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 x2566 -x2567 x2568 -x2569 -x2570 x2571 -x2572 x2573 x2574 -x2575 x2576 -x2577 -x2578 -x2579 -x2580 x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588 -x2589 x2590 -x2591 x2592 -x2593 x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 x2614 x2615 x2616 x2617 -x2618 -x2619 x2620 x2621 -x2622 x2623 -x2624 x2625 -x2626 x2627 -x2628 -x2629 -x2630 x2631 -x2632 x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 -x2640 x2641 -x2642 x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 x2650 -x2651 x2652 -x2653 -x2654 x2655 x2656 -x2657 -x2658 -x2659 x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 x2685 -x2686 x2687 x2688 -x2689 -x2690 -x2691 -x2692 x2693 x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 x2705 x2706 -x2707 -x2708 x2709 x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 x2717 -x2718 x2719 -x2720 -x2721 x2722 -x2723 -x2724 -x2725 x2726 -x2727 -x2728 x2729 x2730 -x2731 -x2732 x2733 -x2734 -x2735 -x2736 -x2737 x2738 x2739 -x2740 -x2741 -x2742 -x2743 x2744 x2745 x2746 -x2747 -x2748 x2749 -x2750 x2751 -x2752 -x2753 x2754 x2755 -x2756 -x2757 -x2758 x2759 -x2760 -x2761 -x2762 -x2763 -x2764 x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 x2775 -x2776 x2777 x2778 -x2779 -x2780 -x2781 x2782 x2783 -x2784 x2785 x2786 -x2787 -x2788 -x2789 x2790 -x2791 -x2792 -x2793 x2794 -x2795 -x2796 -x2797 -x2798 -x2799 x2800 -x2801 x2802 -x2803 -x2804 x2805 -x2806 x2807 -x2808 -x2809 x2810 -x2811 x2812 -x2813 -x2814 -x2815 -x2816 -x2817 x2818 -x2819 -x2820 -x2821 x2822 -x2823 -x2824 -x2825 x2826 -x2827 -x2828 -x2829 -x2830 -x2831 x2832 -x2833 x2834 x2835 -x2836 -x2837 x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 x2846 -x2847 x2848 -x2849 -x2850 -x2851 -x2852 -x2853 x2854 -x2855 x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 x2867 -x2868 -x2869 x2870 -x2871 -x2872 -x2873 x2874 -x2875 x2876 -x2877 x2878 -x2879 x2880 -x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 x2889 x2890 -x2891 -x2892 -x2893 -x2894 x2895 -x2896 -x2897 -x2898 -x2899 -x2900 x2901 -x2902 -x2903 x2904 -x2905 -x2906 -x2907 -x2908 x2909 -x2910 -x2911 x2912 -x2913 x2914 -x2915 x2916 -x2917 x2918 x2919 x2920 -x2921 -x2922 x2923 -x2924 x2925 -x2926 x2927 -x2928 x2929 -x2930 x2931 x2932 -x2933 -x2934 x2935 -x2936 x2937 -x2938 -x2939 -x2940 -x2941 x2942 -x2943 -x2944 -x2945 x2946 -x2947 -x2948 x2949 x2950 -x2951 x2952 -x2953 x2954 x2955 x2956 x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 x2967 -x2968 -x2969 -x2970 x2971 -x2972 x2973 -x2974 x2975 x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 x2991 -x2992 -x2993 -x2994 x2995 -x2996 x2997 -x2998 -x2999 x3000 -x3001 x3002 -x3003 x3004 x3005 -x3006 -x3007 x3008 -x3009 x3010 -x3011 x3012 x3013 -x3014 -x3015 -x3016 x3017 -x3018 -x3019 x3020 -x3021 -x3022 -x3023 x3024 x3025 x3026 -x3027 -x3028 x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578
182.73/182.89	c Total CPU time: 182.226 s

Verifier Data 

OK	6576

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2683471-1277509983/watcher-2683471-1277509983 -o /tmp/evaluation-result-2683471-1277509983/solver-2683471-1277509983 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683471-1277509983.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.91 0.95 0.98 3/105 31706
/proc/meminfo: memFree=1866076/2059040 swapFree=4139184/4192956
[pid=31706] ppid=31704 vsize=3672 CPUtime=0
/proc/31706/stat : 31706 (wbo1.4b) R 31704 31706 31248 0 -1 4202496 368 0 0 0 0 0 0 0 25 0 1 0 92292133 3760128 286 1992294400 134512640 135752675 4294143856 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31706/statm: 918 286 140 303 0 415 0

[startup+0.0459401 s]
/proc/loadavg: 0.91 0.95 0.98 3/105 31706
/proc/meminfo: memFree=1866076/2059040 swapFree=4139184/4192956
[pid=31706] ppid=31704 vsize=4548 CPUtime=0.04
/proc/31706/stat : 31706 (wbo1.4b) R 31704 31706 31248 0 -1 4202496 613 0 0 0 4 0 0 0 25 0 1 0 92292133 4657152 531 1992294400 134512640 135752675 4294143856 18446744073709551615 135204647 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31706/statm: 1137 531 207 303 0 634 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4548

[startup+0.101945 s]
/proc/loadavg: 0.91 0.95 0.98 3/105 31706
/proc/meminfo: memFree=1866076/2059040 swapFree=4139184/4192956
[pid=31706] ppid=31704 vsize=5364 CPUtime=0.09
/proc/31706/stat : 31706 (wbo1.4b) R 31704 31706 31248 0 -1 4202496 924 0 0 0 9 0 0 0 25 0 1 0 92292133 5492736 842 1992294400 134512640 135752675 4294143856 18446744073709551615 135229133 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31706/statm: 1341 843 304 303 0 838 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5364

[startup+0.301968 s]
/proc/loadavg: 0.91 0.95 0.98 3/105 31706
/proc/meminfo: memFree=1866076/2059040 swapFree=4139184/4192956
[pid=31706] ppid=31704 vsize=6640 CPUtime=0.29
/proc/31706/stat : 31706 (wbo1.4b) R 31704 31706 31248 0 -1 4202496 1474 0 0 0 29 0 0 0 18 0 1 0 92292133 6799360 1194 1992294400 134512640 135752675 4294143856 18446744073709551615 134517233 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31706/statm: 1660 1194 142 303 0 1355 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6640

[startup+0.702013 s]
/proc/loadavg: 0.91 0.95 0.98 3/105 31706
/proc/meminfo: memFree=1866076/2059040 swapFree=4139184/4192956
[pid=31706] ppid=31704 vsize=6640 CPUtime=0.69
/proc/31706/stat : 31706 (wbo1.4b) R 31704 31706 31248 0 -1 4202496 1485 0 0 0 69 0 0 0 18 0 1 0 92292133 6799360 1205 1992294400 134512640 135752675 4294143856 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31706/statm: 1660 1205 142 303 0 1355 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6640

[startup+1.5011 s]
/proc/loadavg: 0.91 0.95 0.98 2/106 31707
/proc/meminfo: memFree=1861604/2059040 swapFree=4139184/4192956
[pid=31706] ppid=31704 vsize=7300 CPUtime=1.49
/proc/31706/stat : 31706 (wbo1.4b) R 31704 31706 31248 0 -1 4202496 1647 0 0 0 149 0 0 0 19 0 1 0 92292133 7475200 1367 1992294400 134512640 135752675 4294143856 18446744073709551615 134524030 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31706/statm: 1825 1367 142 303 0 1520 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7300

[startup+3.10129 s]
/proc/loadavg: 0.91 0.95 0.98 2/106 31707
/proc/meminfo: memFree=1859620/2059040 swapFree=4139184/4192956
[pid=31706] ppid=31704 vsize=8488 CPUtime=3.09
/proc/31706/stat : 31706 (wbo1.4b) R 31704 31706 31248 0 -1 4202496 1951 0 0 0 301 8 0 0 19 0 1 0 92292133 8691712 1671 1992294400 134512640 135752675 4294143856 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31706/statm: 2122 1671 144 303 0 1817 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8488

[startup+6.30165 s]
/proc/loadavg: 0.92 0.95 0.98 2/106 31707
/proc/meminfo: memFree=1858752/2059040 swapFree=4139184/4192956
[pid=31706] ppid=31704 vsize=10080 CPUtime=6.29
/proc/31706/stat : 31706 (wbo1.4b) R 31704 31706 31248 0 -1 4202496 2345 0 0 0 617 12 0 0 18 0 1 0 92292133 10321920 2065 1992294400 134512640 135752675 4294143856 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31706/statm: 2520 2065 144 303 0 2215 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10080

[startup+12.7014 s]
/proc/loadavg: 0.93 0.95 0.98 2/106 31707
/proc/meminfo: memFree=1854040/2059040 swapFree=4139184/4192956
[pid=31706] ppid=31704 vsize=14428 CPUtime=12.69
/proc/31706/stat : 31706 (wbo1.4b) R 31704 31706 31248 0 -1 4202496 3444 0 0 0 1253 16 0 0 18 0 1 0 92292133 14774272 3164 1992294400 134512640 135752675 4294143856 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31706/statm: 3607 3164 145 303 0 3302 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14428

[startup+25.5018 s]
/proc/loadavg: 0.94 0.96 0.98 2/106 31707
/proc/meminfo: memFree=1847592/2059040 swapFree=4139184/4192956
[pid=31706] ppid=31704 vsize=20572 CPUtime=25.48
/proc/31706/stat : 31706 (wbo1.4b) R 31704 31706 31248 0 -1 4202496 4975 0 0 0 2526 22 0 0 23 0 1 0 92292133 21065728 4695 1992294400 134512640 135752675 4294143856 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31706/statm: 5143 4695 145 303 0 4838 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20572

[startup+51.1017 s]
/proc/loadavg: 0.96 0.96 0.98 2/106 31709
/proc/meminfo: memFree=1839284/2059040 swapFree=4139184/4192956
[pid=31706] ppid=31704 vsize=28816 CPUtime=51.08
/proc/31706/stat : 31706 (wbo1.4b) R 31704 31706 31248 0 -1 4202496 7042 0 0 0 5078 30 0 0 23 0 1 0 92292133 29507584 6762 1992294400 134512640 135752675 4294143856 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31706/statm: 7204 6762 145 303 0 6899 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 28816

[startup+102.309 s]
/proc/loadavg: 0.98 0.96 0.98 2/106 31709
/proc/meminfo: memFree=1827256/2059040 swapFree=4139184/4192956
[pid=31706] ppid=31704 vsize=40572 CPUtime=102.26
/proc/31706/stat : 31706 (wbo1.4b) R 31704 31706 31248 0 -1 4202496 9955 0 0 0 10185 41 0 0 18 0 1 0 92292133 41545728 9675 1992294400 134512640 135752675 4294143856 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31706/statm: 10143 9675 145 303 0 9838 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 40572

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 31711
/proc/meminfo: memFree=1818328/2059040 swapFree=4139184/4192956
[pid=31706] ppid=31704 vsize=49476 CPUtime=162.24
/proc/31706/stat : 31706 (wbo1.4b) R 31704 31706 31248 0 -1 4202496 12171 0 0 0 16173 51 0 0 25 0 1 0 92292133 50663424 11891 1992294400 134512640 135752675 4294143856 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31706/statm: 12369 11891 145 303 0 12064 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 49476

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

[startup+166.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 31711
/proc/meminfo: memFree=1817584/2059040 swapFree=4139184/4192956
[pid=31706] ppid=31704 vsize=50128 CPUtime=166.24
/proc/31706/stat : 31706 (wbo1.4b) R 31704 31706 31248 0 -1 4202496 12346 0 0 0 16572 52 0 0 25 0 1 0 92292133 51331072 12066 1992294400 134512640 135752675 4294143856 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31706/statm: 12532 12066 145 303 0 12227 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 50128

[startup+172.708 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 31711
/proc/meminfo: memFree=1816716/2059040 swapFree=4139184/4192956
[pid=31706] ppid=31704 vsize=50908 CPUtime=172.64
/proc/31706/stat : 31706 (wbo1.4b) R 31704 31706 31248 0 -1 4202496 12535 0 0 0 17212 52 0 0 25 0 1 0 92292133 52129792 12255 1992294400 134512640 135752675 4294143856 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31706/statm: 12727 12255 145 303 0 12422 0
Current children cumulated CPU time (s) 172.64
Current children cumulated vsize (KiB) 50908

[startup+179.101 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 31711
/proc/meminfo: memFree=1815848/2059040 swapFree=4139184/4192956
[pid=31706] ppid=31704 vsize=51944 CPUtime=179.04
/proc/31706/stat : 31706 (wbo1.4b) R 31704 31706 31248 0 -1 4202496 12784 0 0 0 17850 54 0 0 22 0 1 0 92292133 53190656 12504 1992294400 134512640 135752675 4294143856 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31706/statm: 12986 12504 145 303 0 12681 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 51944

[startup+180.7 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 31711
/proc/meminfo: memFree=1815352/2059040 swapFree=4139184/4192956
[pid=31706] ppid=31704 vsize=58688 CPUtime=180.64
/proc/31706/stat : 31706 (wbo1.4b) R 31704 31706 31248 0 -1 4202496 14491 0 0 0 18009 55 0 0 18 0 1 0 92292133 60096512 14208 1992294400 134512640 135752675 4294143856 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31706/statm: 14672 14211 145 303 0 14367 0
Current children cumulated CPU time (s) 180.64
Current children cumulated vsize (KiB) 58688

[startup+182.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 31711
/proc/meminfo: memFree=1808532/2059040 swapFree=4139184/4192956
[pid=31706] ppid=31704 vsize=98628 CPUtime=182.24
/proc/31706/stat : 31706 (wbo1.4b) R 31704 31706 31248 0 -1 4202496 24622 0 0 0 18166 58 0 0 21 0 1 0 92292133 100995072 24210 1992294400 134512640 135752675 4294143856 18446744073709551615 134635497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31706/statm: 24657 24210 146 303 0 24352 0
Current children cumulated CPU time (s) 182.24
Current children cumulated vsize (KiB) 98628

[startup+182.701 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 31711
/proc/meminfo: memFree=1757692/2059040 swapFree=4139184/4192956
[pid=31706] ppid=31704 vsize=119904 CPUtime=182.63
/proc/31706/stat : 31706 (wbo1.4b) R 31704 31706 31248 0 -1 4202496 29954 0 0 0 18203 60 0 0 22 0 1 0 92292133 122781696 29542 1992294400 134512640 135752675 4294143856 18446744073709551615 134548263 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31706/statm: 29976 29545 146 303 0 29671 0
Current children cumulated CPU time (s) 182.63
Current children cumulated vsize (KiB) 119904

[startup+182.901 s]
/proc/loadavg: 0.99 0.97 0.98 2/106 31711
/proc/meminfo: memFree=1757692/2059040 swapFree=4139184/4192956
[pid=31706] ppid=31704 vsize=0 CPUtime=182.83
/proc/31706/stat : 31706 (wbo1.4b) R 31704 31706 31248 0 -1 4202500 32192 0 0 0 18222 61 0 0 23 0 1 0 92292133 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/31706/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 182.83
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 182.913
CPU time (s): 182.854
CPU user time (s): 182.226
CPU system time (s): 0.627904
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 123960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 182.226
system time used= 0.627904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32192
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= 118
involuntary context switches= 2174

runsolver used 0.312952 second user time and 0.905862 second system time

The end

Launcher Data 

Begin job on node085 at 2010-06-26 01:53:03
IDJOB=2683471
IDBENCH=72114
IDSOLVER=1190
FILE ID=node085/2683471-1277509983
PBS_JOBID= 11190598
Free space on /tmp= 121676 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randcebca4.cudf.paranoid.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2683471-1277509983/watcher-2683471-1277509983 -o /tmp/evaluation-result-2683471-1277509983/solver-2683471-1277509983 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683471-1277509983.opb

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

MD5SUM BENCH= 18eba4fc2c6c4c36f404d480a47d1c35
RANDOM SEED=1066574132

node085.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.221
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.44
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.221
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	: 5999.51
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1866604 kB
Buffers:         12188 kB
Cached:          97276 kB
SwapCached:       6304 kB
Active:          68404 kB
Inactive:        53864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1866604 kB
SwapTotal:     4192956 kB
SwapFree:      4139184 kB
Dirty:            3696 kB
Writeback:           0 kB
AnonPages:       11348 kB
Mapped:          11856 kB
Slab:            48276 kB
PageTables:       4148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182240 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= 121672 MiB
End job on node085 at 2010-06-26 01:56:06