Trace number 2683341

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)OPT6114 183.663 183.722

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand4a23d9.cudf.paranoid.opb
MD5SUM818b79ae869509d5a8ea99635b1eadb4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6114
Best CPU time to get the best result obtained on this benchmark2.58361
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5473
Total number of constraints24028
Number of constraints which are clauses23757
Number of constraints which are cardinality constraints (but not clauses)271
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 2043
Biggest coefficient in the objective function 1494
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 824686
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1494
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 824686
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-2683341-1277508974.opb.
0.00/0.00	c Instance file HOME/instance-2683341-1277508974.opb
0.00/0.00	c File size is 766772 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:      5473                                                |
0.09/0.11	c |  Number Clauses:        23757                                               |
0.09/0.11	c |  Number Cardinality:    271                                                 |
0.09/0.11	c |  Number PB Constraints: 0                                                   |
6.29/6.37	c ============================[ Search Statistics ]==============================
6.29/6.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.29/6.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.29/6.37	c ===============================================================================
6.29/6.37	c |         0 |    3887    25488    47038 |     8009        0    nan |  0.000 % |
6.39/6.43	c ===============================================================================
6.39/6.43	c New solution: 385942
6.39/6.43	o 385942
6.39/6.43	c Elapsed CPU time: 6.39803 s	Remaining CPU time: 173.602 s
6.39/6.43	c ===============================================================================
6.39/6.43	c |        34 |    3887    25489    48973 |     8496       34      4 |  0.000 % |
6.39/6.44	c ===============================================================================
6.39/6.44	c New solution: 384504
6.39/6.44	o 384504
6.39/6.44	c Elapsed CPU time: 6.40803 s	Remaining CPU time: 173.592 s
6.39/6.44	c ===============================================================================
6.39/6.44	c |        51 |    3887    25490    50908 |     8496       51     18 |  0.000 % |
6.39/6.45	c ===============================================================================
6.39/6.45	c New solution: 123001
6.39/6.45	o 123001
6.39/6.45	c Elapsed CPU time: 6.41802 s	Remaining CPU time: 173.582 s
6.39/6.45	c ===============================================================================
6.39/6.45	c |        72 |    3887    25491    52843 |     8497       72     14 |  0.000 % |
6.39/6.48	c ===============================================================================
6.39/6.48	c New solution: 122996
6.39/6.48	o 122996
6.39/6.48	c Elapsed CPU time: 6.43802 s	Remaining CPU time: 173.562 s
6.39/6.48	c ===============================================================================
6.39/6.48	c |        88 |    3887    25492    54778 |     8497       88     26 |  0.000 % |
6.49/6.52	c |       188 |    3887    25492    54778 |     9347      188    175 | 28.979 % |
6.49/6.56	c ===============================================================================
6.49/6.56	c New solution: 121613
6.49/6.56	o 121613
6.49/6.56	c Elapsed CPU time: 6.51101 s	Remaining CPU time: 173.489 s
6.49/6.56	c ===============================================================================
6.49/6.56	c |       229 |    3887    25493    56713 |     8497      229    175 | 28.979 % |
6.49/6.57	c ===============================================================================
6.49/6.57	c New solution: 93209
6.49/6.57	o 93209
6.49/6.57	c Elapsed CPU time: 6.52401 s	Remaining CPU time: 173.476 s
6.49/6.57	c ===============================================================================
6.49/6.57	c |       245 |    3887    25494    58648 |     8498      245    164 | 28.979 % |
6.49/6.59	c ===============================================================================
6.49/6.59	c New solution: 93175
6.49/6.59	o 93175
6.49/6.59	c Elapsed CPU time: 6.53801 s	Remaining CPU time: 173.462 s
6.49/6.59	c ===============================================================================
6.49/6.59	c |       252 |    3887    25495    60583 |     8498      252    159 | 28.979 % |
6.60/6.60	c ===============================================================================
6.60/6.60	c New solution: 93162
6.60/6.60	o 93162
6.60/6.60	c Elapsed CPU time: 6.551 s	Remaining CPU time: 173.449 s
6.60/6.60	c ===============================================================================
6.60/6.60	c |       255 |    3887    25496    62518 |     8498      255    159 | 28.979 % |
6.60/6.64	c ===============================================================================
6.60/6.64	c New solution: 93161
6.60/6.64	o 93161
6.60/6.64	c Elapsed CPU time: 6.587 s	Remaining CPU time: 173.413 s
6.60/6.64	c ===============================================================================
6.60/6.64	c |       278 |    3887    25497    64453 |     8499      278    168 | 28.979 % |
6.60/6.69	c ===============================================================================
6.60/6.69	c New solution: 93156
6.60/6.69	o 93156
6.60/6.69	c Elapsed CPU time: 6.63799 s	Remaining CPU time: 173.362 s
6.60/6.69	c ===============================================================================
6.60/6.69	c |       299 |    3887    25498    66388 |     8499      299    175 | 28.979 % |
6.78/6.82	c ===============================================================================
6.78/6.82	c New solution: 93155
6.78/6.82	o 93155
6.78/6.82	c Elapsed CPU time: 6.76397 s	Remaining CPU time: 173.236 s
6.78/6.82	c ===============================================================================
6.78/6.82	c |       373 |    3887    25499    68323 |     8499      373    204 | 28.979 % |
6.78/6.85	c ===============================================================================
6.78/6.85	c New solution: 91723
6.78/6.85	o 91723
6.78/6.85	c Elapsed CPU time: 6.79297 s	Remaining CPU time: 173.207 s
6.78/6.85	c ===============================================================================
6.78/6.85	c |       382 |    3887    25500    70258 |     8500      382    202 | 28.979 % |
6.78/6.88	c ===============================================================================
6.78/6.88	c New solution: 91637
6.78/6.88	o 91637
6.78/6.88	c Elapsed CPU time: 6.82696 s	Remaining CPU time: 173.173 s
6.78/6.88	c ===============================================================================
6.78/6.88	c |       387 |    3887    25501    72193 |     8500      387    201 | 28.979 % |
6.88/6.91	c ===============================================================================
6.88/6.91	c New solution: 90213
6.88/6.91	o 90213
6.88/6.91	c Elapsed CPU time: 6.85296 s	Remaining CPU time: 173.147 s
6.88/6.91	c ===============================================================================
6.88/6.91	c |       396 |    3887    25502    74128 |     8500      396    205 | 28.979 % |
6.88/6.99	c ===============================================================================
6.88/6.99	c New solution: 90189
6.88/6.99	o 90189
6.88/6.99	c Elapsed CPU time: 6.92995 s	Remaining CPU time: 173.07 s
6.88/6.99	c ===============================================================================
6.88/6.99	c |       490 |    3887    25503    76063 |     8501      490    252 | 28.979 % |
6.99/7.01	c ===============================================================================
6.99/7.01	c New solution: 88748
6.99/7.01	o 88748
6.99/7.01	c Elapsed CPU time: 6.95094 s	Remaining CPU time: 173.049 s
6.99/7.01	c ===============================================================================
6.99/7.01	c |       496 |    3887    25504    77998 |     8501      496    249 | 28.979 % |
6.99/7.03	c ===============================================================================
6.99/7.03	c New solution: 88731
6.99/7.03	o 88731
6.99/7.03	c Elapsed CPU time: 6.96694 s	Remaining CPU time: 173.033 s
6.99/7.03	c ===============================================================================
6.99/7.03	c |       496 |    3887    25505    79933 |     8501      496    249 | 28.979 % |
6.99/7.06	c ===============================================================================
6.99/7.06	c New solution: 88710
6.99/7.06	o 88710
6.99/7.06	c Elapsed CPU time: 7.00394 s	Remaining CPU time: 172.996 s
6.99/7.06	c ===============================================================================
6.99/7.06	c |       502 |    3887    25506    81868 |     8502      502    249 | 28.979 % |
6.99/7.09	c ===============================================================================
6.99/7.09	c New solution: 88709
6.99/7.09	o 88709
6.99/7.09	c Elapsed CPU time: 7.02893 s	Remaining CPU time: 172.971 s
6.99/7.09	c ===============================================================================
6.99/7.09	c |       503 |    3887    25507    83803 |     8502      503    249 | 28.979 % |
7.09/7.11	c ===============================================================================
7.09/7.11	c New solution: 88708
7.09/7.11	o 88708
7.09/7.11	c Elapsed CPU time: 7.05293 s	Remaining CPU time: 172.947 s
7.09/7.11	c ===============================================================================
7.09/7.11	c |       503 |    3887    25508    85738 |     8502      503    249 | 28.979 % |
7.09/7.14	c ===============================================================================
7.09/7.14	c New solution: 88707
7.09/7.14	o 88707
7.09/7.14	c Elapsed CPU time: 7.07592 s	Remaining CPU time: 172.924 s
7.09/7.14	c ===============================================================================
7.09/7.14	c |       504 |    3887    25509    87673 |     8503      504    249 | 28.979 % |
7.09/7.18	c ===============================================================================
7.09/7.18	c New solution: 87257
7.09/7.18	o 87257
7.09/7.18	c Elapsed CPU time: 7.11192 s	Remaining CPU time: 172.888 s
7.09/7.18	c ===============================================================================
7.09/7.18	c |       514 |    3887    25510    89608 |     8503      514    250 | 28.979 % |
7.09/7.19	c ===============================================================================
7.09/7.19	c New solution: 87244
7.09/7.19	o 87244
7.09/7.19	c Elapsed CPU time: 7.12292 s	Remaining CPU time: 172.877 s
7.09/7.19	c ===============================================================================
7.09/7.19	c |       516 |    3887    25511    91543 |     8503      516    251 | 28.979 % |
7.18/7.25	c ===============================================================================
7.18/7.25	c New solution: 87243
7.18/7.25	o 87243
7.18/7.25	c Elapsed CPU time: 7.17891 s	Remaining CPU time: 172.821 s
7.18/7.25	c ===============================================================================
7.18/7.25	c |       551 |    3887    25512    93478 |     8504      551    260 | 28.979 % |
7.18/7.29	c ===============================================================================
7.18/7.29	c New solution: 87226
7.18/7.29	o 87226
7.18/7.29	c Elapsed CPU time: 7.2189 s	Remaining CPU time: 172.781 s
7.18/7.29	c ===============================================================================
7.18/7.29	c |       556 |    3887    25513    95413 |     8504      556    260 | 28.979 % |
7.39/7.45	c ===============================================================================
7.39/7.45	c New solution: 87204
7.39/7.45	o 87204
7.39/7.45	c Elapsed CPU time: 7.37788 s	Remaining CPU time: 172.622 s
7.39/7.45	c ===============================================================================
7.39/7.45	c |       652 |    3887    25514    97348 |     8504      652    289 | 28.979 % |
7.49/7.57	c |       752 |    3887    25514    97348 |     9355      752    325 | 28.979 % |
7.60/7.62	c ===============================================================================
7.60/7.62	c New solution: 87203
7.60/7.62	o 87203
7.60/7.62	c Elapsed CPU time: 7.54485 s	Remaining CPU time: 172.455 s
7.60/7.62	c ===============================================================================
7.60/7.62	c |       762 |    3887    25515    99283 |     8505      762    324 | 28.979 % |
7.60/7.65	c ===============================================================================
7.60/7.65	c New solution: 87202
7.60/7.65	o 87202
7.60/7.65	c Elapsed CPU time: 7.58185 s	Remaining CPU time: 172.418 s
7.60/7.65	c ===============================================================================
7.60/7.65	c |       769 |    3887    25516   101218 |     8505      769    323 | 28.979 % |
7.70/7.71	c ===============================================================================
7.70/7.71	c New solution: 87198
7.70/7.71	o 87198
7.70/7.71	c Elapsed CPU time: 7.63784 s	Remaining CPU time: 172.362 s
7.70/7.71	c ===============================================================================
7.70/7.71	c |       773 |    3887    25517   103153 |     8505      773    324 | 28.979 % |
7.70/7.74	c ===============================================================================
7.70/7.74	c New solution: 87197
7.70/7.74	o 87197
7.70/7.74	c Elapsed CPU time: 7.66783 s	Remaining CPU time: 172.332 s
7.70/7.74	c ===============================================================================
7.70/7.74	c |       786 |    3887    25518   105088 |     8506      786    324 | 28.979 % |
7.70/7.77	c ===============================================================================
7.70/7.77	c New solution: 87196
7.70/7.77	o 87196
7.70/7.77	c Elapsed CPU time: 7.69183 s	Remaining CPU time: 172.308 s
7.70/7.77	c ===============================================================================
7.70/7.77	c |       787 |    3887    25519   107023 |     8506      787    324 | 28.979 % |
7.78/7.80	c ===============================================================================
7.78/7.80	c New solution: 87195
7.78/7.80	o 87195
7.78/7.80	c Elapsed CPU time: 7.71783 s	Remaining CPU time: 172.282 s
7.78/7.80	c ===============================================================================
7.78/7.80	c |       792 |    3887    25520   108958 |     8506      792    323 | 28.979 % |
7.78/7.84	c ===============================================================================
7.78/7.84	c New solution: 85775
7.78/7.84	o 85775
7.78/7.84	c Elapsed CPU time: 7.76382 s	Remaining CPU time: 172.236 s
7.78/7.84	c ===============================================================================
7.78/7.84	c |       801 |    3887    25521   110893 |     8507      801    320 | 28.979 % |
7.78/7.88	c ===============================================================================
7.78/7.88	c New solution: 85693
7.78/7.88	o 85693
7.78/7.88	c Elapsed CPU time: 7.80681 s	Remaining CPU time: 172.193 s
7.78/7.88	c ===============================================================================
7.78/7.88	c |       805 |    3887    25522   112828 |     8507      805    319 | 28.979 % |
7.88/7.92	c ===============================================================================
7.88/7.92	c New solution: 85692
7.88/7.92	o 85692
7.88/7.92	c Elapsed CPU time: 7.83981 s	Remaining CPU time: 172.16 s
7.88/7.92	c ===============================================================================
7.88/7.92	c |       808 |    3887    25523   114763 |     8507      808    320 | 28.979 % |
7.98/8.05	c |       909 |    3887    25523   114763 |     9358      909    345 | 28.979 % |
8.08/8.19	c |      1059 |    3887    25523   114763 |    10294     1059    360 | 28.979 % |
8.59/8.64	c |      1284 |    3887    25523   114763 |    11323     1284    388 | 28.979 % |
8.69/8.71	c ===============================================================================
8.69/8.71	c New solution: 84230
8.69/8.71	o 84230
8.69/8.71	c Elapsed CPU time: 8.62969 s	Remaining CPU time: 171.37 s
8.69/8.71	c ===============================================================================
8.69/8.71	c |      1311 |    3887    25524   116698 |     8508     1311    387 | 28.979 % |
8.69/8.76	c |      1411 |    3887    25524   116698 |     9358     1411    390 | 28.979 % |
8.98/9.00	c ===============================================================================
8.98/9.00	c New solution: 84223
8.98/9.00	o 84223
8.98/9.00	c Elapsed CPU time: 8.91664 s	Remaining CPU time: 171.083 s
8.98/9.00	c ===============================================================================
8.98/9.00	c |      1484 |    3887    25525   118633 |     8508     1484    393 | 28.979 % |
9.09/9.10	c ===============================================================================
9.09/9.10	c New solution: 84193
9.09/9.10	o 84193
9.09/9.10	c Elapsed CPU time: 9.00463 s	Remaining CPU time: 170.995 s
9.09/9.10	c ===============================================================================
9.09/9.10	c |      1501 |    3887    25526   120568 |     8508     1501    393 | 28.979 % |
9.09/9.17	c ===============================================================================
9.09/9.17	c New solution: 82739
9.09/9.17	o 82739
9.09/9.17	c Elapsed CPU time: 9.07562 s	Remaining CPU time: 170.924 s
9.09/9.17	c ===============================================================================
9.09/9.17	c |      1514 |    3887    25527   122503 |     8509     1514    392 | 28.979 % |
9.09/9.19	c ===============================================================================
9.09/9.19	c New solution: 82738
9.09/9.19	o 82738
9.09/9.19	c Elapsed CPU time: 9.09762 s	Remaining CPU time: 170.902 s
9.09/9.19	c ===============================================================================
9.09/9.19	c |      1516 |    3887    25528   124438 |     8509     1516    392 | 28.979 % |
9.19/9.23	c ===============================================================================
9.19/9.23	c New solution: 81305
9.19/9.23	o 81305
9.19/9.23	c Elapsed CPU time: 9.13561 s	Remaining CPU time: 170.864 s
9.19/9.23	c ===============================================================================
9.19/9.23	c |      1527 |    3887    25529   126373 |     8509     1527    392 | 28.979 % |
9.19/9.28	c ===============================================================================
9.19/9.28	c New solution: 81211
9.19/9.28	o 81211
9.19/9.28	c Elapsed CPU time: 9.1846 s	Remaining CPU time: 170.815 s
9.19/9.28	c ===============================================================================
9.19/9.28	c |      1544 |    3887    25530   128308 |     8510     1544    391 | 28.979 % |
9.29/9.33	c ===============================================================================
9.29/9.33	c New solution: 81210
9.29/9.33	o 81210
9.29/9.33	c Elapsed CPU time: 9.2336 s	Remaining CPU time: 170.766 s
9.29/9.33	c ===============================================================================
9.29/9.33	c |      1553 |    3887    25531   130243 |     8510     1553    390 | 28.979 % |
9.38/9.43	c ===============================================================================
9.38/9.43	c New solution: 81209
9.38/9.43	o 81209
9.38/9.43	c Elapsed CPU time: 9.33458 s	Remaining CPU time: 170.665 s
9.38/9.43	c ===============================================================================
9.38/9.43	c |      1578 |    3887    25532   132178 |     8510     1578    391 | 28.979 % |
9.48/9.50	c ===============================================================================
9.48/9.50	c New solution: 81208
9.48/9.50	o 81208
9.48/9.50	c Elapsed CPU time: 9.39857 s	Remaining CPU time: 170.601 s
9.48/9.50	c ===============================================================================
9.48/9.50	c |      1582 |    3887    25533   134113 |     8511     1582    391 | 28.979 % |
9.48/9.53	c ===============================================================================
9.48/9.53	c New solution: 81205
9.48/9.53	o 81205
9.48/9.53	c Elapsed CPU time: 9.43356 s	Remaining CPU time: 170.566 s
9.48/9.53	c ===============================================================================
9.48/9.53	c |      1584 |    3887    25534   136048 |     8511     1584    391 | 28.979 % |
9.48/9.56	c ===============================================================================
9.48/9.56	c New solution: 81199
9.48/9.56	o 81199
9.48/9.56	c Elapsed CPU time: 9.46156 s	Remaining CPU time: 170.538 s
9.48/9.56	c ===============================================================================
9.48/9.56	c |      1584 |    3887    25535   137983 |     8511     1584    391 | 28.979 % |
9.59/9.68	c ===============================================================================
9.59/9.68	c New solution: 81198
9.59/9.68	o 81198
9.59/9.68	c Elapsed CPU time: 9.58054 s	Remaining CPU time: 170.419 s
9.59/9.68	c ===============================================================================
9.59/9.68	c |      1635 |    3887    25536   139918 |     8512     1635    394 | 28.979 % |
9.69/9.79	c ===============================================================================
9.69/9.79	c New solution: 81197
9.69/9.79	o 81197
9.69/9.79	c Elapsed CPU time: 9.69053 s	Remaining CPU time: 170.309 s
9.69/9.79	c ===============================================================================
9.69/9.79	c |      1663 |    3887    25537   141853 |     8512     1663    393 | 28.979 % |
9.99/10.05	c |      1763 |    3887    25537   141853 |     9363     1763    402 | 28.979 % |
9.99/10.09	c ===============================================================================
9.99/10.09	c New solution: 81196
9.99/10.09	o 81196
9.99/10.09	c Elapsed CPU time: 9.98548 s	Remaining CPU time: 170.015 s
9.99/10.09	c ===============================================================================
9.99/10.09	c |      1769 |    3887    25538   143788 |     8512     1769    402 | 28.979 % |
10.19/10.20	c ===============================================================================
10.19/10.20	c New solution: 81195
10.19/10.20	o 81195
10.19/10.20	c Elapsed CPU time: 10.0915 s	Remaining CPU time: 169.909 s
10.19/10.20	c ===============================================================================
10.19/10.20	c |      1820 |    3887    25539   145723 |     8513     1820    405 | 28.979 % |
10.38/10.47	c ===============================================================================
10.38/10.47	c New solution: 81194
10.38/10.47	o 81194
10.38/10.47	c Elapsed CPU time: 10.3604 s	Remaining CPU time: 169.64 s
10.38/10.47	c ===============================================================================
10.38/10.47	c |      1877 |    3887    25540   147658 |     8513     1877    409 | 28.979 % |
10.38/10.49	c ===============================================================================
10.38/10.49	c New solution: 81193
10.38/10.49	o 81193
10.38/10.49	c Elapsed CPU time: 10.3784 s	Remaining CPU time: 169.622 s
10.38/10.49	c ===============================================================================
10.38/10.49	c |      1879 |    3887    25541   149593 |     8513     1879    409 | 28.979 % |
10.49/10.54	c ===============================================================================
10.49/10.54	c New solution: 81187
10.49/10.54	o 81187
10.49/10.54	c Elapsed CPU time: 10.4244 s	Remaining CPU time: 169.576 s
10.49/10.54	c ===============================================================================
10.49/10.54	c |      1884 |    3887    25542   151528 |     8514     1884    409 | 28.979 % |
10.49/10.57	c ===============================================================================
10.49/10.57	c New solution: 81186
10.49/10.57	o 81186
10.49/10.57	c Elapsed CPU time: 10.4604 s	Remaining CPU time: 169.54 s
10.49/10.57	c ===============================================================================
10.49/10.57	c |      1886 |    3887    25543   153463 |     8514     1886    409 | 28.979 % |
10.59/10.61	c ===============================================================================
10.59/10.61	c New solution: 79724
10.59/10.61	o 79724
10.59/10.61	c Elapsed CPU time: 10.4934 s	Remaining CPU time: 169.507 s
10.59/10.61	c ===============================================================================
10.59/10.61	c |      1890 |    3887    25544   155398 |     8514     1890    408 | 28.979 % |
10.59/10.65	c ===============================================================================
10.59/10.65	c New solution: 79716
10.59/10.65	o 79716
10.59/10.65	c Elapsed CPU time: 10.5334 s	Remaining CPU time: 169.467 s
10.59/10.65	c ===============================================================================
10.59/10.65	c |      1892 |    3887    25545   157333 |     8515     1892    408 | 28.979 % |
10.59/10.68	c ===============================================================================
10.59/10.68	c New solution: 79715
10.59/10.68	o 79715
10.59/10.68	c Elapsed CPU time: 10.5704 s	Remaining CPU time: 169.43 s
10.59/10.68	c ===============================================================================
10.59/10.68	c |      1892 |    3887    25546   159268 |     8515     1892    408 | 28.979 % |
10.69/10.72	c ===============================================================================
10.69/10.72	c New solution: 79714
10.69/10.72	o 79714
10.69/10.72	c Elapsed CPU time: 10.6064 s	Remaining CPU time: 169.394 s
10.69/10.72	c ===============================================================================
10.69/10.72	c |      1892 |    3887    25547   161203 |     8515     1892    408 | 28.979 % |
10.69/10.76	c ===============================================================================
10.69/10.76	c New solution: 79713
10.69/10.76	o 79713
10.69/10.76	c Elapsed CPU time: 10.6414 s	Remaining CPU time: 169.359 s
10.69/10.76	c ===============================================================================
10.69/10.76	c |      1892 |    3887    25548   163138 |     8516     1892    408 | 28.979 % |
10.69/10.79	c ===============================================================================
10.69/10.79	c New solution: 79712
10.69/10.79	o 79712
10.69/10.79	c Elapsed CPU time: 10.6754 s	Remaining CPU time: 169.325 s
10.69/10.79	c ===============================================================================
10.69/10.79	c |      1892 |    3887    25549   165073 |     8516     1892    408 | 28.979 % |
10.79/10.83	c ===============================================================================
10.79/10.83	c New solution: 79711
10.79/10.83	o 79711
10.79/10.83	c Elapsed CPU time: 10.7124 s	Remaining CPU time: 169.288 s
10.79/10.83	c ===============================================================================
10.79/10.83	c |      1892 |    3887    25550   167008 |     8516     1892    408 | 28.979 % |
10.79/10.86	c ===============================================================================
10.79/10.86	c New solution: 79710
10.79/10.86	o 79710
10.79/10.86	c Elapsed CPU time: 10.7484 s	Remaining CPU time: 169.252 s
10.79/10.86	c ===============================================================================
10.79/10.86	c |      1892 |    3887    25551   168943 |     8517     1892    408 | 28.979 % |
10.89/10.90	c ===============================================================================
10.89/10.90	c New solution: 79709
10.89/10.91	o 79709
10.89/10.91	c Elapsed CPU time: 10.7904 s	Remaining CPU time: 169.21 s
10.89/10.91	c ===============================================================================
10.89/10.91	c |      1892 |    3887    25552   170878 |     8517     1892    408 | 28.979 % |
10.89/10.94	c ===============================================================================
10.89/10.94	c New solution: 79708
10.89/10.94	o 79708
10.89/10.94	c Elapsed CPU time: 10.8274 s	Remaining CPU time: 169.173 s
10.89/10.94	c ===============================================================================
10.89/10.94	c |      1893 |    3887    25553   172813 |     8517     1893    408 | 28.979 % |
10.89/10.99	c ===============================================================================
10.89/10.99	c New solution: 79705
10.89/10.99	o 79705
10.89/10.99	c Elapsed CPU time: 10.8723 s	Remaining CPU time: 169.128 s
10.89/10.99	c ===============================================================================
10.89/10.99	c |      1896 |    3887    25554   174748 |     8518     1896    408 | 28.979 % |
10.99/11.05	c ===============================================================================
10.99/11.05	c New solution: 79704
10.99/11.05	o 79704
10.99/11.05	c Elapsed CPU time: 10.9333 s	Remaining CPU time: 169.067 s
10.99/11.05	c ===============================================================================
10.99/11.05	c |      1900 |    3887    25555   176683 |     8518     1900    408 | 28.979 % |
10.99/11.08	c ===============================================================================
10.99/11.08	c New solution: 79703
10.99/11.08	o 79703
10.99/11.08	c Elapsed CPU time: 10.9653 s	Remaining CPU time: 169.035 s
10.99/11.08	c ===============================================================================
10.99/11.08	c |      1903 |    3887    25556   178618 |     8518     1903    408 | 28.979 % |
11.09/11.14	c ===============================================================================
11.09/11.14	c New solution: 79702
11.09/11.14	o 79702
11.09/11.14	c Elapsed CPU time: 11.0273 s	Remaining CPU time: 168.973 s
11.09/11.14	c ===============================================================================
11.09/11.14	c |      1905 |    3887    25557   180553 |     8519     1905    408 | 28.979 % |
11.19/11.20	c ===============================================================================
11.19/11.20	c New solution: 79701
11.19/11.20	o 79701
11.19/11.20	c Elapsed CPU time: 11.0843 s	Remaining CPU time: 168.916 s
11.19/11.20	c ===============================================================================
11.19/11.20	c |      1910 |    3887    25558   182488 |     8519     1910    408 | 28.979 % |
11.19/11.24	c ===============================================================================
11.19/11.24	c New solution: 78237
11.19/11.24	o 78237
11.19/11.24	c Elapsed CPU time: 11.1193 s	Remaining CPU time: 168.881 s
11.19/11.24	c ===============================================================================
11.19/11.24	c |      1910 |    3887    25559   184423 |     8519     1910    408 | 28.979 % |
11.19/11.27	c ===============================================================================
11.19/11.27	c New solution: 78236
11.19/11.27	o 78236
11.19/11.27	c Elapsed CPU time: 11.1543 s	Remaining CPU time: 168.846 s
11.19/11.27	c ===============================================================================
11.19/11.27	c |      1911 |    3887    25560   186358 |     8520     1911    408 | 28.979 % |
11.28/11.33	c ===============================================================================
11.28/11.33	c New solution: 78235
11.28/11.33	o 78235
11.28/11.33	c Elapsed CPU time: 11.2093 s	Remaining CPU time: 168.791 s
11.28/11.33	c ===============================================================================
11.28/11.33	c |      1912 |    3887    25561   188293 |     8520     1912    408 | 28.979 % |
11.28/11.36	c ===============================================================================
11.28/11.36	c New solution: 78216
11.28/11.36	o 78216
11.28/11.36	c Elapsed CPU time: 11.2403 s	Remaining CPU time: 168.76 s
11.28/11.36	c ===============================================================================
11.28/11.36	c |      1915 |    3887    25562   190228 |     8520     1915    408 | 28.979 % |
11.39/11.46	c ===============================================================================
11.39/11.46	c New solution: 78215
11.39/11.46	o 78215
11.39/11.46	c Elapsed CPU time: 11.3343 s	Remaining CPU time: 168.666 s
11.39/11.46	c ===============================================================================
11.39/11.46	c |      1932 |    3887    25563   192163 |     8521     1932    409 | 28.979 % |
11.49/11.52	c ===============================================================================
11.49/11.52	c New solution: 78214
11.49/11.52	o 78214
11.49/11.52	c Elapsed CPU time: 11.3953 s	Remaining CPU time: 168.605 s
11.49/11.52	c ===============================================================================
11.49/11.52	c |      1936 |    3887    25564   194098 |     8521     1936    409 | 28.979 % |
11.49/11.56	c ===============================================================================
11.49/11.56	c New solution: 78213
11.49/11.56	o 78213
11.49/11.56	c Elapsed CPU time: 11.4343 s	Remaining CPU time: 168.566 s
11.49/11.56	c ===============================================================================
11.49/11.56	c |      1941 |    3887    25565   196033 |     8521     1941    409 | 28.979 % |
11.59/11.66	c ===============================================================================
11.59/11.66	c New solution: 78212
11.59/11.66	o 78212
11.59/11.66	c Elapsed CPU time: 11.5362 s	Remaining CPU time: 168.464 s
11.59/11.66	c ===============================================================================
11.59/11.66	c |      1956 |    3887    25566   197968 |     8522     1956    410 | 28.979 % |
11.69/11.72	c ===============================================================================
11.69/11.72	c New solution: 78211
11.69/11.72	o 78211
11.69/11.72	c Elapsed CPU time: 11.5932 s	Remaining CPU time: 168.407 s
11.69/11.72	c ===============================================================================
11.69/11.72	c |      1959 |    3887    25567   199903 |     8522     1959    410 | 28.979 % |
11.69/11.77	c ===============================================================================
11.69/11.77	c New solution: 78210
11.69/11.77	o 78210
11.69/11.77	c Elapsed CPU time: 11.6402 s	Remaining CPU time: 168.36 s
11.69/11.77	c ===============================================================================
11.69/11.77	c |      1962 |    3887    25568   201838 |     8522     1962    410 | 28.979 % |
11.78/11.81	c ===============================================================================
11.78/11.81	c New solution: 78199
11.78/11.81	o 78199
11.78/11.81	c Elapsed CPU time: 11.6842 s	Remaining CPU time: 168.316 s
11.78/11.81	c ===============================================================================
11.78/11.81	c |      1964 |    3887    25569   203773 |     8523     1964    410 | 28.979 % |
11.78/11.88	c ===============================================================================
11.78/11.88	c New solution: 78198
11.78/11.88	o 78198
11.78/11.88	c Elapsed CPU time: 11.7482 s	Remaining CPU time: 168.252 s
11.78/11.88	c ===============================================================================
11.78/11.88	c |      1971 |    3887    25570   205708 |     8523     1971    410 | 28.979 % |
11.99/12.05	c ===============================================================================
11.99/12.05	c New solution: 76750
11.99/12.05	o 76750
11.99/12.05	c Elapsed CPU time: 11.9202 s	Remaining CPU time: 168.08 s
11.99/12.05	c ===============================================================================
11.99/12.05	c |      1988 |    3887    25571   207643 |     8523     1988    411 | 28.979 % |
11.99/12.10	c ===============================================================================
11.99/12.10	c New solution: 76715
11.99/12.10	o 76715
11.99/12.10	c Elapsed CPU time: 11.9662 s	Remaining CPU time: 168.034 s
11.99/12.10	c ===============================================================================
11.99/12.10	c |      1988 |    3887    25572   209578 |     8524     1988    411 | 28.979 % |
12.09/12.14	c ===============================================================================
12.09/12.14	c New solution: 76714
12.09/12.14	o 76714
12.09/12.14	c Elapsed CPU time: 12.0142 s	Remaining CPU time: 167.986 s
12.09/12.14	c ===============================================================================
12.09/12.14	c |      1989 |    3887    25573   211513 |     8524     1989    411 | 28.979 % |
12.09/12.19	c ===============================================================================
12.09/12.19	c New solution: 76713
12.09/12.19	o 76713
12.09/12.19	c Elapsed CPU time: 12.0552 s	Remaining CPU time: 167.945 s
12.09/12.19	c ===============================================================================
12.09/12.19	c |      1993 |    3887    25574   213448 |     8524     1993    412 | 28.979 % |
12.49/12.58	c ===============================================================================
12.49/12.58	c New solution: 76712
12.49/12.58	o 76712
12.49/12.58	c Elapsed CPU time: 12.4501 s	Remaining CPU time: 167.55 s
12.49/12.58	c ===============================================================================
12.49/12.58	c |      2081 |    3887    25575   215383 |     8525     2081    416 | 28.979 % |
12.59/12.65	c ===============================================================================
12.59/12.65	c New solution: 76704
12.59/12.65	o 76704
12.59/12.65	c Elapsed CPU time: 12.5171 s	Remaining CPU time: 167.483 s
12.59/12.65	c ===============================================================================
12.59/12.65	c |      2092 |    3887    25576   217318 |     8525     2092    415 | 28.979 % |
12.69/12.73	c ===============================================================================
12.69/12.73	c New solution: 76703
12.69/12.73	o 76703
12.69/12.73	c Elapsed CPU time: 12.6001 s	Remaining CPU time: 167.4 s
12.69/12.73	c ===============================================================================
12.69/12.73	c |      2100 |    3887    25577   219253 |     8525     2100    415 | 28.979 % |
12.79/12.80	c ===============================================================================
12.79/12.80	c New solution: 75286
12.79/12.80	o 75286
12.79/12.80	c Elapsed CPU time: 12.6641 s	Remaining CPU time: 167.336 s
12.79/12.80	c ===============================================================================
12.79/12.80	c |      2109 |    3887    25578   221188 |     8526     2109    415 | 28.979 % |
12.89/12.93	c ===============================================================================
12.89/12.93	c New solution: 75248
12.89/12.93	o 75248
12.89/12.93	c Elapsed CPU time: 12.7891 s	Remaining CPU time: 167.211 s
12.89/12.93	c ===============================================================================
12.89/12.93	c |      2118 |    3887    25579   223123 |     8526     2118    415 | 28.979 % |
12.89/12.96	c ===============================================================================
12.89/12.96	c New solution: 75247
12.89/12.96	o 75247
12.89/12.96	c Elapsed CPU time: 12.8201 s	Remaining CPU time: 167.18 s
12.89/12.96	c ===============================================================================
12.89/12.96	c |      2123 |    3887    25580   225058 |     8526     2123    415 | 28.979 % |
12.89/12.98	c ===============================================================================
12.89/12.98	c New solution: 73777
12.89/12.98	o 73777
12.89/12.98	c Elapsed CPU time: 12.847 s	Remaining CPU time: 167.153 s
12.89/12.98	c ===============================================================================
12.89/12.98	c |      2125 |    3887    25581   226993 |     8527     2125    415 | 28.979 % |
12.98/13.02	c ===============================================================================
12.98/13.02	c New solution: 72299
12.98/13.02	o 72299
12.98/13.02	c Elapsed CPU time: 12.881 s	Remaining CPU time: 167.119 s
12.98/13.02	c ===============================================================================
12.98/13.02	c |      2127 |    3887    25582   228928 |     8527     2127    415 | 28.979 % |
13.09/13.14	c ===============================================================================
13.09/13.14	c New solution: 72282
13.09/13.14	o 72282
13.09/13.14	c Elapsed CPU time: 12.996 s	Remaining CPU time: 167.004 s
13.09/13.14	c ===============================================================================
13.09/13.14	c |      2128 |    3887    25583   230863 |     8527     2128    415 | 28.979 % |
13.09/13.20	c ===============================================================================
13.09/13.20	c New solution: 72281
13.09/13.20	o 72281
13.09/13.20	c Elapsed CPU time: 13.057 s	Remaining CPU time: 166.943 s
13.09/13.20	c ===============================================================================
13.09/13.20	c |      2129 |    3887    25584   232798 |     8528     2129    415 | 28.979 % |
13.19/13.29	c ===============================================================================
13.19/13.29	c New solution: 72252
13.19/13.29	o 72252
13.19/13.29	c Elapsed CPU time: 13.154 s	Remaining CPU time: 166.846 s
13.19/13.29	c ===============================================================================
13.19/13.29	c |      2131 |    3887    25585   234733 |     8528     2131    415 | 28.979 % |
13.38/13.45	c ===============================================================================
13.38/13.45	c New solution: 72251
13.38/13.45	o 72251
13.38/13.45	c Elapsed CPU time: 13.31 s	Remaining CPU time: 166.69 s
13.38/13.45	c ===============================================================================
13.38/13.45	c |      2153 |    3887    25586   236668 |     8528     2153    417 | 28.979 % |
13.59/13.61	c ===============================================================================
13.59/13.61	c New solution: 72250
13.59/13.61	o 72250
13.59/13.61	c Elapsed CPU time: 13.472 s	Remaining CPU time: 166.528 s
13.59/13.61	c ===============================================================================
13.59/13.61	c |      2189 |    3887    25587   238603 |     8529     2189    418 | 28.979 % |
13.59/13.67	c ===============================================================================
13.59/13.67	c New solution: 72249
13.59/13.67	o 72249
13.59/13.67	c Elapsed CPU time: 13.5309 s	Remaining CPU time: 166.469 s
13.59/13.67	c ===============================================================================
13.59/13.67	c |      2191 |    3887    25588   240538 |     8529     2191    417 | 28.979 % |
13.69/13.75	c ===============================================================================
13.69/13.75	c New solution: 72248
13.69/13.75	o 72248
13.69/13.75	c Elapsed CPU time: 13.6079 s	Remaining CPU time: 166.392 s
13.69/13.75	c ===============================================================================
13.69/13.75	c |      2193 |    3887    25589   242473 |     8529     2193    417 | 28.979 % |
13.79/13.81	c ===============================================================================
13.79/13.81	c New solution: 72247
13.79/13.81	o 72247
13.79/13.81	c Elapsed CPU time: 13.6619 s	Remaining CPU time: 166.338 s
13.79/13.81	c ===============================================================================
13.79/13.81	c |      2195 |    3887    25590   244408 |     8530     2195    417 | 28.979 % |
13.79/13.86	c ===============================================================================
13.79/13.86	c New solution: 70825
13.79/13.86	o 70825
13.79/13.86	c Elapsed CPU time: 13.7129 s	Remaining CPU time: 166.287 s
13.79/13.86	c ===============================================================================
13.79/13.86	c |      2196 |    3887    25591   246343 |     8530     2196    418 | 28.979 % |
13.89/13.97	c ===============================================================================
13.89/13.97	c New solution: 70821
13.89/13.97	o 70821
13.89/13.97	c Elapsed CPU time: 13.8219 s	Remaining CPU time: 166.178 s
13.89/13.97	c ===============================================================================
13.89/13.97	c |      2199 |    3887    25592   248278 |     8530     2199    418 | 28.979 % |
13.98/14.03	c ===============================================================================
13.98/14.03	c New solution: 70755
13.98/14.03	o 70755
13.98/14.03	c Elapsed CPU time: 13.8789 s	Remaining CPU time: 166.121 s
13.98/14.03	c ===============================================================================
13.98/14.03	c |      2201 |    3887    25593   250213 |     8531     2201    418 | 28.979 % |
14.19/14.25	c ===============================================================================
14.19/14.25	c New solution: 70754
14.19/14.25	o 70754
14.19/14.25	c Elapsed CPU time: 14.1009 s	Remaining CPU time: 165.899 s
14.19/14.25	c ===============================================================================
14.19/14.25	c |      2231 |    3887    25594   252148 |     8531     2231    419 | 28.979 % |
14.29/14.32	c ===============================================================================
14.29/14.32	c New solution: 70753
14.29/14.32	o 70753
14.29/14.32	c Elapsed CPU time: 14.1728 s	Remaining CPU time: 165.827 s
14.29/14.32	c ===============================================================================
14.29/14.32	c |      2235 |    3887    25595   254083 |     8531     2235    419 | 28.979 % |
14.38/14.40	c ===============================================================================
14.38/14.40	c New solution: 70740
14.38/14.40	o 70740
14.38/14.40	c Elapsed CPU time: 14.2478 s	Remaining CPU time: 165.752 s
14.38/14.40	c ===============================================================================
14.38/14.40	c |      2239 |    3887    25596   256018 |     8532     2239    419 | 28.979 % |
15.08/15.15	c |      2339 |    3887    25596   256018 |     9385     2339    425 | 28.979 % |
15.48/15.52	c ===============================================================================
15.48/15.52	c New solution: 70739
15.48/15.52	o 70739
15.48/15.52	c Elapsed CPU time: 15.3657 s	Remaining CPU time: 164.634 s
15.48/15.52	c ===============================================================================
15.48/15.52	c |      2378 |    3887    25597   257953 |     8532     2378    425 | 28.979 % |
15.98/16.09	c ===============================================================================
15.98/16.09	c New solution: 69291
15.98/16.09	o 69291
15.98/16.09	c Elapsed CPU time: 15.9416 s	Remaining CPU time: 164.058 s
15.98/16.09	c ===============================================================================
15.98/16.09	c |      2456 |    3887    25598   259888 |     8532     2456    428 | 28.979 % |
16.19/16.24	c ===============================================================================
16.19/16.24	c New solution: 69246
16.19/16.24	o 69246
16.19/16.24	c Elapsed CPU time: 16.0896 s	Remaining CPU time: 163.91 s
16.19/16.24	c ===============================================================================
16.19/16.24	c |      2471 |    3887    25599   261823 |     8533     2471    428 | 28.979 % |
16.39/16.44	c ===============================================================================
16.39/16.44	c New solution: 67806
16.39/16.44	o 67806
16.39/16.44	c Elapsed CPU time: 16.2895 s	Remaining CPU time: 163.71 s
16.39/16.44	c ===============================================================================
16.39/16.44	c |      2487 |    3887    25600   263758 |     8533     2487    429 | 28.979 % |
16.49/16.57	c ===============================================================================
16.49/16.57	c New solution: 67764
16.49/16.57	o 67764
16.49/16.57	c Elapsed CPU time: 16.4115 s	Remaining CPU time: 163.588 s
16.49/16.57	c ===============================================================================
16.49/16.57	c |      2494 |    3887    25601   265693 |     8533     2494    429 | 28.979 % |
16.58/16.66	c ===============================================================================
16.58/16.66	c New solution: 67763
16.58/16.66	o 67763
16.58/16.66	c Elapsed CPU time: 16.5075 s	Remaining CPU time: 163.493 s
16.58/16.66	c ===============================================================================
16.58/16.66	c |      2498 |    3887    25602   267628 |     8534     2498    429 | 28.979 % |
16.68/16.78	c ===============================================================================
16.68/16.78	c New solution: 67762
16.68/16.78	o 67762
16.68/16.78	c Elapsed CPU time: 16.6255 s	Remaining CPU time: 163.375 s
16.68/16.78	c ===============================================================================
16.68/16.78	c |      2505 |    3887    25603   269563 |     8534     2505    429 | 28.979 % |
17.28/17.39	c |      2605 |    3887    25603   269563 |     9387     2605    434 | 28.979 % |
17.38/17.48	c ===============================================================================
17.38/17.48	c New solution: 67761
17.38/17.48	o 67761
17.38/17.48	c Elapsed CPU time: 17.3204 s	Remaining CPU time: 162.68 s
17.38/17.48	c ===============================================================================
17.38/17.48	c |      2610 |    3887    25604   271498 |     8534     2610    434 | 28.979 % |
18.18/18.27	c |      2710 |    3887    25604   271498 |     9388     2710    437 | 28.979 % |
18.38/18.40	c ===============================================================================
18.38/18.40	c New solution: 67760
18.38/18.40	o 67760
18.38/18.40	c Elapsed CPU time: 18.2312 s	Remaining CPU time: 161.769 s
18.38/18.40	c ===============================================================================
18.38/18.40	c |      2728 |    3887    25605   273433 |     8535     2728    437 | 28.979 % |
18.48/18.53	c ===============================================================================
18.48/18.53	c New solution: 67753
18.48/18.53	o 67753
18.48/18.53	c Elapsed CPU time: 18.3632 s	Remaining CPU time: 161.637 s
18.48/18.53	c ===============================================================================
18.48/18.53	c |      2752 |    3887    25606   275368 |     8535     2752    437 | 28.979 % |
19.08/19.11	c ===============================================================================
19.08/19.11	c New solution: 66331
19.08/19.11	o 66331
19.08/19.11	c Elapsed CPU time: 18.9381 s	Remaining CPU time: 161.062 s
19.08/19.11	c ===============================================================================
19.08/19.11	c |      2803 |    3887    25607   277303 |     8535     2803    437 | 28.979 % |
19.18/19.25	c ===============================================================================
19.18/19.25	c New solution: 66262
19.18/19.25	o 66262
19.18/19.25	c Elapsed CPU time: 19.0781 s	Remaining CPU time: 160.922 s
19.18/19.25	c ===============================================================================
19.18/19.25	c |      2806 |    3887    25608   279238 |     8536     2806    437 | 28.979 % |
19.29/19.34	c ===============================================================================
19.29/19.34	c New solution: 66261
19.29/19.34	o 66261
19.29/19.34	c Elapsed CPU time: 19.1641 s	Remaining CPU time: 160.836 s
19.29/19.34	c ===============================================================================
19.29/19.34	c |      2807 |    3887    25609   281173 |     8536     2807    437 | 28.979 % |
19.39/19.42	c ===============================================================================
19.39/19.42	c New solution: 66260
19.39/19.42	o 66260
19.39/19.42	c Elapsed CPU time: 19.2471 s	Remaining CPU time: 160.753 s
19.39/19.42	c ===============================================================================
19.39/19.42	c |      2819 |    3887    25610   283108 |     8536     2819    437 | 28.979 % |
19.49/19.59	c ===============================================================================
19.49/19.59	c New solution: 66259
19.49/19.59	o 66259
19.49/19.59	c Elapsed CPU time: 19.412 s	Remaining CPU time: 160.588 s
19.49/19.59	c ===============================================================================
19.49/19.59	c |      2846 |    3887    25611   285043 |     8537     2846    438 | 28.979 % |
19.59/19.67	c ===============================================================================
19.59/19.67	c New solution: 66258
19.59/19.67	o 66258
19.59/19.67	c Elapsed CPU time: 19.489 s	Remaining CPU time: 160.511 s
19.59/19.67	c ===============================================================================
19.59/19.67	c |      2851 |    3887    25612   286978 |     8537     2851    438 | 28.979 % |
19.79/19.81	c ===============================================================================
19.79/19.81	c New solution: 66257
19.79/19.81	o 66257
19.79/19.81	c Elapsed CPU time: 19.63 s	Remaining CPU time: 160.37 s
19.79/19.81	c ===============================================================================
19.79/19.81	c |      2872 |    3887    25613   288913 |     8537     2872    438 | 28.979 % |
20.18/20.27	c |      2973 |    3887    25613   288913 |     9391     2973    442 | 28.979 % |
20.48/20.53	c ===============================================================================
20.48/20.53	c New solution: 66165
20.48/20.53	o 66165
20.48/20.53	c Elapsed CPU time: 20.3489 s	Remaining CPU time: 159.651 s
20.48/20.53	c ===============================================================================
20.48/20.53	c |      3010 |    3887    25614   290848 |     8538     3010    440 | 28.979 % |
21.08/21.19	c |      3110 |    3887    25614   290848 |     9391     3110    440 | 28.979 % |
21.28/21.31	c ===============================================================================
21.28/21.31	c New solution: 64797
21.28/21.31	o 64797
21.28/21.31	c Elapsed CPU time: 21.1248 s	Remaining CPU time: 158.875 s
21.28/21.31	c ===============================================================================
21.28/21.31	c |      3112 |    3887    25615   292783 |     8538     3112    440 | 28.979 % |
21.38/21.44	c ===============================================================================
21.38/21.44	c New solution: 64731
21.38/21.44	o 64731
21.38/21.44	c Elapsed CPU time: 21.2558 s	Remaining CPU time: 158.744 s
21.38/21.44	c ===============================================================================
21.38/21.44	c |      3128 |    3887    25616   294718 |     8538     3128    440 | 28.979 % |
21.48/21.52	c ===============================================================================
21.48/21.52	c New solution: 63329
21.48/21.52	o 63329
21.48/21.52	c Elapsed CPU time: 21.3368 s	Remaining CPU time: 158.663 s
21.48/21.52	c ===============================================================================
21.48/21.52	c |      3129 |    3887    25617   296653 |     8539     3129    440 | 28.979 % |
21.48/21.59	c ===============================================================================
21.48/21.59	c New solution: 63326
21.48/21.59	o 63326
21.48/21.59	c Elapsed CPU time: 21.4107 s	Remaining CPU time: 158.589 s
21.48/21.59	c ===============================================================================
21.48/21.59	c |      3129 |    3887    25618   298588 |     8539     3129    440 | 28.979 % |
21.58/21.66	c ===============================================================================
21.58/21.66	c New solution: 63325
21.58/21.66	o 63325
21.58/21.66	c Elapsed CPU time: 21.4737 s	Remaining CPU time: 158.526 s
21.58/21.66	c ===============================================================================
21.58/21.66	c |      3130 |    3887    25619   300523 |     8539     3130    440 | 28.979 % |
21.68/21.78	c ===============================================================================
21.68/21.78	c New solution: 63315
21.68/21.78	o 63315
21.68/21.78	c Elapsed CPU time: 21.5937 s	Remaining CPU time: 158.406 s
21.68/21.78	c ===============================================================================
21.68/21.78	c |      3130 |    3887    25620   302458 |     8540     3130    440 | 28.979 % |
21.78/21.83	c ===============================================================================
21.78/21.83	c New solution: 63314
21.78/21.83	o 63314
21.78/21.83	c Elapsed CPU time: 21.6417 s	Remaining CPU time: 158.358 s
21.78/21.83	c ===============================================================================
21.78/21.83	c |      3133 |    3887    25621   304393 |     8540     3133    440 | 28.979 % |
21.89/21.99	c ===============================================================================
21.89/21.99	c New solution: 63313
21.89/21.99	o 63313
21.89/21.99	c Elapsed CPU time: 21.7997 s	Remaining CPU time: 158.2 s
21.89/21.99	c ===============================================================================
21.89/21.99	c |      3133 |    3887    25622   306328 |     8540     3133    440 | 28.979 % |
22.08/22.15	c ===============================================================================
22.08/22.15	c New solution: 63312
22.08/22.15	o 63312
22.08/22.15	c Elapsed CPU time: 21.9607 s	Remaining CPU time: 158.039 s
22.08/22.15	c ===============================================================================
22.08/22.15	c |      3134 |    3887    25623   308263 |     8541     3134    440 | 28.979 % |
22.28/22.32	c ===============================================================================
22.28/22.32	c New solution: 63311
22.28/22.32	o 63311
22.28/22.32	c Elapsed CPU time: 22.1256 s	Remaining CPU time: 157.874 s
22.28/22.32	c ===============================================================================
22.28/22.32	c |      3134 |    3887    25624   310198 |     8541     3134    440 | 28.979 % |
22.38/22.49	c ===============================================================================
22.38/22.49	c New solution: 63310
22.38/22.49	o 63310
22.38/22.49	c Elapsed CPU time: 22.2966 s	Remaining CPU time: 157.703 s
22.38/22.49	c ===============================================================================
22.38/22.49	c |      3134 |    3887    25625   312133 |     8541     3134    440 | 28.979 % |
22.58/22.65	c ===============================================================================
22.58/22.65	c New solution: 63309
22.58/22.65	o 63309
22.58/22.65	c Elapsed CPU time: 22.4616 s	Remaining CPU time: 157.538 s
22.58/22.65	c ===============================================================================
22.58/22.65	c |      3134 |    3887    25626   314068 |     8542     3134    440 | 28.979 % |
22.78/22.81	c ===============================================================================
22.78/22.81	c New solution: 63260
22.78/22.81	o 63260
22.78/22.81	c Elapsed CPU time: 22.6146 s	Remaining CPU time: 157.385 s
22.78/22.81	c ===============================================================================
22.78/22.81	c |      3137 |    3887    25627   316003 |     8542     3137    440 | 28.979 % |
22.88/22.90	c ===============================================================================
22.88/22.90	c New solution: 61828
22.88/22.90	o 61828
22.88/22.90	c Elapsed CPU time: 22.7085 s	Remaining CPU time: 157.291 s
22.88/22.90	c ===============================================================================
22.88/22.90	c |      3138 |    3887    25628   317938 |     8542     3138    440 | 28.979 % |
22.88/22.98	c ===============================================================================
22.88/22.98	c New solution: 61821
22.88/22.98	o 61821
22.88/22.98	c Elapsed CPU time: 22.7785 s	Remaining CPU time: 157.221 s
22.88/22.98	c ===============================================================================
22.88/22.98	c |      3139 |    3887    25629   319873 |     8543     3139    440 | 28.979 % |
23.09/23.15	c ===============================================================================
23.09/23.15	c New solution: 61797
23.09/23.15	o 61797
23.09/23.15	c Elapsed CPU time: 22.9525 s	Remaining CPU time: 157.047 s
23.09/23.15	c ===============================================================================
23.09/23.15	c |      3139 |    3887    25630   321808 |     8543     3139    440 | 28.979 % |
23.28/23.31	c ===============================================================================
23.28/23.31	c New solution: 61784
23.28/23.31	o 61784
23.28/23.31	c Elapsed CPU time: 23.1045 s	Remaining CPU time: 156.896 s
23.28/23.31	c ===============================================================================
23.28/23.31	c |      3139 |    3887    25631   323743 |     8543     3139    440 | 28.979 % |
23.38/23.45	c ===============================================================================
23.38/23.45	c New solution: 61783
23.38/23.45	o 61783
23.38/23.45	c Elapsed CPU time: 23.2505 s	Remaining CPU time: 156.75 s
23.38/23.45	c ===============================================================================
23.38/23.45	c |      3139 |    3887    25632   325678 |     8544     3139    440 | 28.979 % |
23.58/23.61	c ===============================================================================
23.58/23.61	c New solution: 61782
23.58/23.61	o 61782
23.58/23.61	c Elapsed CPU time: 23.4074 s	Remaining CPU time: 156.593 s
23.58/23.61	c ===============================================================================
23.58/23.61	c |      3140 |    3887    25633   327613 |     8544     3140    440 | 28.979 % |
23.67/23.72	c ===============================================================================
23.67/23.72	c New solution: 61781
23.67/23.72	o 61781
23.67/23.72	c Elapsed CPU time: 23.5154 s	Remaining CPU time: 156.485 s
23.67/23.72	c ===============================================================================
23.67/23.72	c |      3143 |    3887    25634   329548 |     8544     3143    440 | 28.979 % |
24.38/24.42	c ===============================================================================
24.38/24.42	c New solution: 61780
24.38/24.42	o 61780
24.38/24.42	c Elapsed CPU time: 24.2133 s	Remaining CPU time: 155.787 s
24.38/24.42	c ===============================================================================
24.38/24.42	c |      3234 |    3887    25635   331483 |     8545     3234    443 | 28.979 % |
24.48/24.59	c ===============================================================================
24.48/24.59	c New solution: 61739
24.48/24.59	o 61739
24.48/24.59	c Elapsed CPU time: 24.3753 s	Remaining CPU time: 155.625 s
24.48/24.59	c ===============================================================================
24.48/24.59	c |      3235 |    3887    25636   333418 |     8545     3235    443 | 28.979 % |
24.68/24.70	c ===============================================================================
24.68/24.70	c New solution: 61738
24.68/24.70	o 61738
24.68/24.70	c Elapsed CPU time: 24.4883 s	Remaining CPU time: 155.512 s
24.68/24.70	c ===============================================================================
24.68/24.70	c |      3237 |    3887    25637   335353 |     8545     3237    443 | 28.979 % |
24.68/24.78	c ===============================================================================
24.68/24.78	c New solution: 61737
24.68/24.78	o 61737
24.68/24.78	c Elapsed CPU time: 24.5673 s	Remaining CPU time: 155.433 s
24.68/24.78	c ===============================================================================
24.68/24.78	c |      3239 |    3887    25638   337288 |     8546     3239    443 | 28.979 % |
24.88/24.99	c ===============================================================================
24.88/24.99	c New solution: 61736
24.88/24.99	o 61736
24.88/24.99	c Elapsed CPU time: 24.7782 s	Remaining CPU time: 155.222 s
24.88/24.99	c ===============================================================================
24.88/24.99	c |      3247 |    3887    25639   339223 |     8546     3247    443 | 28.979 % |
25.08/25.18	c ===============================================================================
25.08/25.18	c New solution: 61735
25.08/25.18	o 61735
25.08/25.18	c Elapsed CPU time: 24.9612 s	Remaining CPU time: 155.039 s
25.08/25.18	c ===============================================================================
25.08/25.18	c |      3250 |    3887    25640   341158 |     8546     3250    443 | 28.979 % |
25.28/25.33	c ===============================================================================
25.28/25.33	c New solution: 61734
25.28/25.33	o 61734
25.28/25.33	c Elapsed CPU time: 25.1122 s	Remaining CPU time: 154.888 s
25.28/25.33	c ===============================================================================
25.28/25.33	c |      3260 |    3887    25641   343093 |     8547     3260    442 | 28.979 % |
25.48/25.52	c ===============================================================================
25.48/25.52	c New solution: 61733
25.48/25.52	o 61733
25.48/25.52	c Elapsed CPU time: 25.2962 s	Remaining CPU time: 154.704 s
25.48/25.52	c ===============================================================================
25.48/25.52	c |      3265 |    3887    25642   345028 |     8547     3265    442 | 28.979 % |
25.58/25.61	c ===============================================================================
25.58/25.61	c New solution: 61732
25.58/25.61	o 61732
25.58/25.61	c Elapsed CPU time: 25.3911 s	Remaining CPU time: 154.609 s
25.58/25.61	c ===============================================================================
25.58/25.61	c |      3270 |    3887    25643   346963 |     8547     3270    442 | 28.979 % |
25.78/25.83	c ===============================================================================
25.78/25.83	c New solution: 61731
25.78/25.83	o 61731
25.78/25.83	c Elapsed CPU time: 25.6121 s	Remaining CPU time: 154.388 s
25.78/25.83	c ===============================================================================
25.78/25.83	c |      3291 |    3887    25644   348898 |     8548     3291    442 | 28.979 % |
26.88/26.98	c |      3391 |    3887    25644   348898 |     9402     3391    444 | 28.979 % |
27.08/27.11	c ===============================================================================
27.08/27.11	c New solution: 61730
27.08/27.11	o 61730
27.08/27.11	c Elapsed CPU time: 26.8889 s	Remaining CPU time: 153.111 s
27.08/27.11	c ===============================================================================
27.08/27.11	c |      3391 |    3887    25645   350833 |     8548     3391    444 | 28.979 % |
27.18/27.24	c ===============================================================================
27.18/27.24	c New solution: 61729
27.18/27.24	o 61729
27.18/27.24	c Elapsed CPU time: 27.0179 s	Remaining CPU time: 152.982 s
27.18/27.24	c ===============================================================================
27.18/27.24	c |      3391 |    3887    25646   352768 |     8548     3391    444 | 28.979 % |
27.28/27.36	c ===============================================================================
27.28/27.36	c New solution: 61728
27.28/27.36	o 61728
27.28/27.36	c Elapsed CPU time: 27.1389 s	Remaining CPU time: 152.861 s
27.28/27.36	c ===============================================================================
27.28/27.36	c |      3393 |    3887    25647   354703 |     8549     3393    444 | 28.979 % |
27.38/27.48	c ===============================================================================
27.38/27.48	c New solution: 60294
27.38/27.48	o 60294
27.38/27.48	c Elapsed CPU time: 27.2569 s	Remaining CPU time: 152.743 s
27.38/27.48	c ===============================================================================
27.38/27.48	c |      3396 |    3887    25648   356638 |     8549     3396    444 | 28.979 % |
27.58/27.63	c ===============================================================================
27.58/27.63	c New solution: 60274
27.58/27.63	o 60274
27.58/27.63	c Elapsed CPU time: 27.4028 s	Remaining CPU time: 152.597 s
27.58/27.63	c ===============================================================================
27.58/27.63	c |      3400 |    3887    25649   358573 |     8549     3400    444 | 28.979 % |
27.68/27.76	c ===============================================================================
27.68/27.76	c New solution: 60273
27.68/27.76	o 60273
27.68/27.76	c Elapsed CPU time: 27.5328 s	Remaining CPU time: 152.467 s
27.68/27.76	c ===============================================================================
27.68/27.76	c |      3403 |    3887    25650   360508 |     8550     3403    444 | 28.979 % |
27.88/27.98	c ===============================================================================
27.88/27.98	c New solution: 60272
27.88/27.98	o 60272
27.88/27.98	c Elapsed CPU time: 27.7558 s	Remaining CPU time: 152.244 s
27.88/27.98	c ===============================================================================
27.88/27.98	c |      3405 |    3887    25651   362443 |     8550     3405    444 | 28.979 % |
28.07/28.18	c ===============================================================================
28.07/28.18	c New solution: 60271
28.07/28.18	o 60271
28.07/28.18	c Elapsed CPU time: 27.9577 s	Remaining CPU time: 152.042 s
28.07/28.19	c ===============================================================================
28.07/28.19	c |      3412 |    3887    25652   364378 |     8550     3412    443 | 28.979 % |
28.27/28.32	c ===============================================================================
28.27/28.32	c New solution: 60270
28.27/28.32	o 60270
28.27/28.32	c Elapsed CPU time: 28.0957 s	Remaining CPU time: 151.904 s
28.27/28.32	c ===============================================================================
28.27/28.32	c |      3414 |    3887    25653   366313 |     8551     3414    443 | 28.979 % |
28.37/28.47	c ===============================================================================
28.37/28.47	c New solution: 60269
28.37/28.47	o 60269
28.37/28.47	c Elapsed CPU time: 28.2397 s	Remaining CPU time: 151.76 s
28.37/28.47	c ===============================================================================
28.37/28.47	c |      3415 |    3887    25654   368248 |     8551     3415    443 | 28.979 % |
28.58/28.62	c ===============================================================================
28.58/28.62	c New solution: 60268
28.58/28.62	o 60268
28.58/28.62	c Elapsed CPU time: 28.3927 s	Remaining CPU time: 151.607 s
28.58/28.62	c ===============================================================================
28.58/28.62	c |      3417 |    3887    25655   370183 |     8551     3417    443 | 28.979 % |
28.67/28.78	c ===============================================================================
28.67/28.78	c New solution: 60266
28.67/28.78	o 60266
28.67/28.78	c Elapsed CPU time: 28.5507 s	Remaining CPU time: 151.449 s
28.67/28.78	c ===============================================================================
28.67/28.78	c |      3417 |    3887    25656   372118 |     8552     3417    443 | 28.979 % |
28.88/28.91	c ===============================================================================
28.88/28.91	c New solution: 60265
28.88/28.91	o 60265
28.88/28.91	c Elapsed CPU time: 28.6776 s	Remaining CPU time: 151.322 s
28.88/28.91	c ===============================================================================
28.88/28.91	c |      3421 |    3887    25657   374053 |     8552     3421    443 | 28.979 % |
28.98/29.01	c ===============================================================================
28.98/29.01	c New solution: 58856
28.98/29.01	o 58856
28.98/29.01	c Elapsed CPU time: 28.7796 s	Remaining CPU time: 151.22 s
28.98/29.01	c ===============================================================================
28.98/29.01	c |      3423 |    3887    25658   375988 |     8552     3423    444 | 28.979 % |
29.08/29.16	c ===============================================================================
29.08/29.16	c New solution: 58807
29.08/29.16	o 58807
29.08/29.16	c Elapsed CPU time: 28.9326 s	Remaining CPU time: 151.067 s
29.08/29.16	c ===============================================================================
29.08/29.16	c |      3424 |    3887    25659   377923 |     8553     3424    444 | 28.979 % |
29.28/29.32	c ===============================================================================
29.28/29.32	c New solution: 58783
29.28/29.32	o 58783
29.28/29.32	c Elapsed CPU time: 29.0876 s	Remaining CPU time: 150.912 s
29.28/29.32	c ===============================================================================
29.28/29.32	c |      3425 |    3887    25660   379858 |     8553     3425    444 | 28.979 % |
29.38/29.43	c ===============================================================================
29.38/29.43	c New solution: 58782
29.38/29.43	o 58782
29.38/29.43	c Elapsed CPU time: 29.2026 s	Remaining CPU time: 150.797 s
29.38/29.43	c ===============================================================================
29.38/29.43	c |      3429 |    3887    25661   381793 |     8553     3429    444 | 28.979 % |
29.59/29.61	c ===============================================================================
29.59/29.61	c New solution: 58781
29.59/29.61	o 58781
29.59/29.61	c Elapsed CPU time: 29.3765 s	Remaining CPU time: 150.623 s
29.59/29.61	c ===============================================================================
29.59/29.61	c |      3432 |    3887    25662   383728 |     8554     3432    444 | 28.979 % |
29.68/29.73	c ===============================================================================
29.68/29.73	c New solution: 58780
29.68/29.73	o 58780
29.68/29.73	c Elapsed CPU time: 29.4925 s	Remaining CPU time: 150.507 s
29.68/29.73	c ===============================================================================
29.68/29.73	c |      3433 |    3887    25663   385663 |     8554     3433    444 | 28.979 % |
29.78/29.87	c ===============================================================================
29.78/29.87	c New solution: 58779
29.78/29.87	o 58779
29.78/29.87	c Elapsed CPU time: 29.6355 s	Remaining CPU time: 150.365 s
29.78/29.87	c ===============================================================================
29.78/29.87	c |      3434 |    3887    25664   387598 |     8554     3434    444 | 28.979 % |
29.97/30.01	c ===============================================================================
29.97/30.01	c New solution: 58778
29.97/30.01	o 58778
29.97/30.01	c Elapsed CPU time: 29.7745 s	Remaining CPU time: 150.226 s
29.97/30.01	c ===============================================================================
29.97/30.01	c |      3437 |    3887    25665   389533 |     8555     3437    444 | 28.979 % |
30.07/30.15	c ===============================================================================
30.07/30.15	c New solution: 58777
30.07/30.15	o 58777
30.07/30.15	c Elapsed CPU time: 29.9155 s	Remaining CPU time: 150.085 s
30.07/30.15	c ===============================================================================
30.07/30.15	c |      3447 |    3887    25666   391468 |     8555     3447    444 | 28.979 % |
30.68/30.73	c ===============================================================================
30.68/30.73	c New solution: 58776
30.68/30.73	o 58776
30.68/30.73	c Elapsed CPU time: 30.4964 s	Remaining CPU time: 149.504 s
30.68/30.73	c ===============================================================================
30.68/30.73	c |      3530 |    3887    25667   393403 |     8555     3530    446 | 28.979 % |
30.78/30.86	c ===============================================================================
30.78/30.86	c New solution: 58775
30.78/30.86	o 58775
30.78/30.86	c Elapsed CPU time: 30.6193 s	Remaining CPU time: 149.381 s
30.78/30.86	c ===============================================================================
30.78/30.86	c |      3531 |    3887    25668   395338 |     8556     3531    446 | 28.979 % |
30.88/30.98	c ===============================================================================
30.88/30.98	c New solution: 58774
30.88/30.98	o 58774
30.88/30.98	c Elapsed CPU time: 30.7413 s	Remaining CPU time: 149.259 s
30.88/30.98	c ===============================================================================
30.88/30.98	c |      3532 |    3887    25669   397273 |     8556     3532    446 | 28.979 % |
31.08/31.10	c ===============================================================================
31.08/31.10	c New solution: 58773
31.08/31.10	o 58773
31.08/31.10	c Elapsed CPU time: 30.8613 s	Remaining CPU time: 149.139 s
31.08/31.10	c ===============================================================================
31.08/31.10	c |      3535 |    3887    25670   399208 |     8556     3535    446 | 28.979 % |
31.18/31.28	c ===============================================================================
31.18/31.28	c New solution: 58772
31.18/31.28	o 58772
31.18/31.28	c Elapsed CPU time: 31.0363 s	Remaining CPU time: 148.964 s
31.18/31.28	c ===============================================================================
31.18/31.28	c |      3543 |    3887    25671   401143 |     8557     3543    446 | 28.979 % |
31.38/31.45	c ===============================================================================
31.38/31.45	c New solution: 58771
31.38/31.45	o 58771
31.38/31.45	c Elapsed CPU time: 31.2113 s	Remaining CPU time: 148.789 s
31.38/31.45	c ===============================================================================
31.38/31.45	c |      3543 |    3887    25672   403078 |     8557     3543    446 | 28.979 % |
31.58/31.60	c ===============================================================================
31.58/31.60	c New solution: 58770
31.58/31.60	o 58770
31.58/31.60	c Elapsed CPU time: 31.3602 s	Remaining CPU time: 148.64 s
31.58/31.60	c ===============================================================================
31.58/31.60	c |      3544 |    3887    25673   405013 |     8557     3544    446 | 28.979 % |
31.68/31.76	c ===============================================================================
31.68/31.76	c New solution: 58769
31.68/31.76	o 58769
31.68/31.76	c Elapsed CPU time: 31.5202 s	Remaining CPU time: 148.48 s
31.68/31.76	c ===============================================================================
31.68/31.76	c |      3548 |    3887    25674   406948 |     8558     3548    446 | 28.979 % |
31.79/31.88	c ===============================================================================
31.79/31.88	c New solution: 58754
31.79/31.88	o 58754
31.79/31.88	c Elapsed CPU time: 31.6362 s	Remaining CPU time: 148.364 s
31.79/31.88	c ===============================================================================
31.79/31.88	c |      3549 |    3887    25675   408883 |     8558     3549    446 | 28.979 % |
31.88/31.99	c ===============================================================================
31.88/31.99	c New solution: 58753
31.88/31.99	o 58753
31.88/31.99	c Elapsed CPU time: 31.7452 s	Remaining CPU time: 148.255 s
31.88/31.99	c ===============================================================================
31.88/31.99	c |      3549 |    3887    25676   410818 |     8558     3549    446 | 28.979 % |
32.08/32.11	c ===============================================================================
32.08/32.11	c New solution: 58752
32.08/32.11	o 58752
32.08/32.11	c Elapsed CPU time: 31.8632 s	Remaining CPU time: 148.137 s
32.08/32.11	c ===============================================================================
32.08/32.11	c |      3551 |    3887    25677   412753 |     8559     3551    446 | 28.979 % |
32.17/32.21	c ===============================================================================
32.17/32.21	c New solution: 58751
32.17/32.21	o 58751
32.17/32.21	c Elapsed CPU time: 31.9591 s	Remaining CPU time: 148.041 s
32.17/32.21	c ===============================================================================
32.17/32.21	c |      3552 |    3887    25678   414688 |     8559     3552    446 | 28.979 % |
32.37/32.45	c ===============================================================================
32.37/32.45	c New solution: 58750
32.37/32.45	o 58750
32.37/32.45	c Elapsed CPU time: 32.2051 s	Remaining CPU time: 147.795 s
32.37/32.45	c ===============================================================================
32.37/32.45	c |      3560 |    3887    25679   416623 |     8559     3560    446 | 28.979 % |
32.57/32.63	c ===============================================================================
32.57/32.63	c New solution: 58749
32.57/32.63	o 58749
32.57/32.63	c Elapsed CPU time: 32.3811 s	Remaining CPU time: 147.619 s
32.57/32.63	c ===============================================================================
32.57/32.63	c |      3567 |    3887    25680   418558 |     8560     3567    446 | 28.979 % |
32.88/32.94	c ===============================================================================
32.88/32.94	c New solution: 57380
32.88/32.94	o 57380
32.88/32.94	c Elapsed CPU time: 32.692 s	Remaining CPU time: 147.308 s
32.88/32.94	c ===============================================================================
32.88/32.94	c |      3580 |    3887    25681   420493 |     8560     3580    445 | 28.979 % |
33.07/33.11	c ===============================================================================
33.07/33.11	c New solution: 57279
33.07/33.11	o 57279
33.07/33.11	c Elapsed CPU time: 32.858 s	Remaining CPU time: 147.142 s
33.07/33.11	c ===============================================================================
33.07/33.11	c |      3585 |    3887    25682   422428 |     8560     3585    445 | 28.979 % |
33.27/33.37	c ===============================================================================
33.27/33.37	c New solution: 57278
33.27/33.37	o 57278
33.27/33.37	c Elapsed CPU time: 33.123 s	Remaining CPU time: 146.877 s
33.27/33.37	c ===============================================================================
33.27/33.37	c |      3609 |    3887    25683   424363 |     8561     3609    446 | 28.979 % |
33.47/33.55	c ===============================================================================
33.47/33.55	c New solution: 57277
33.47/33.55	o 57277
33.47/33.55	c Elapsed CPU time: 33.2969 s	Remaining CPU time: 146.703 s
33.47/33.55	c ===============================================================================
33.47/33.55	c |      3610 |    3887    25684   426298 |     8561     3610    446 | 28.979 % |
33.57/33.65	c ===============================================================================
33.57/33.65	c New solution: 57276
33.57/33.65	o 57276
33.57/33.65	c Elapsed CPU time: 33.4059 s	Remaining CPU time: 146.594 s
33.57/33.65	c ===============================================================================
33.57/33.65	c |      3612 |    3887    25685   428233 |     8561     3612    446 | 28.979 % |
33.77/33.82	c ===============================================================================
33.77/33.82	c New solution: 57275
33.77/33.82	o 57275
33.77/33.82	c Elapsed CPU time: 33.5709 s	Remaining CPU time: 146.429 s
33.77/33.82	c ===============================================================================
33.77/33.82	c |      3617 |    3887    25686   430168 |     8562     3617    446 | 28.979 % |
33.87/33.99	c ===============================================================================
33.87/33.99	c New solution: 57274
33.87/33.99	o 57274
33.87/33.99	c Elapsed CPU time: 33.7409 s	Remaining CPU time: 146.259 s
33.87/33.99	c ===============================================================================
33.87/33.99	c |      3621 |    3887    25687   432103 |     8562     3621    446 | 28.979 % |
34.08/34.14	c ===============================================================================
34.08/34.14	c New solution: 57273
34.08/34.14	o 57273
34.08/34.14	c Elapsed CPU time: 33.8868 s	Remaining CPU time: 146.113 s
34.08/34.14	c ===============================================================================
34.08/34.14	c |      3625 |    3887    25688   434038 |     8562     3625    446 | 28.979 % |
34.57/34.68	c ===============================================================================
34.57/34.68	c New solution: 57272
34.57/34.68	o 57272
34.57/34.68	c Elapsed CPU time: 34.4308 s	Remaining CPU time: 145.569 s
34.57/34.68	c ===============================================================================
34.57/34.68	c |      3678 |    3887    25689   435973 |     8563     3678    447 | 28.979 % |
34.77/34.84	c ===============================================================================
34.77/34.84	c New solution: 57271
34.77/34.84	o 57271
34.77/34.84	c Elapsed CPU time: 34.5907 s	Remaining CPU time: 145.409 s
34.77/34.84	c ===============================================================================
34.77/34.84	c |      3686 |    3887    25690   437908 |     8563     3686    447 | 28.979 % |
34.97/35.03	c ===============================================================================
34.97/35.03	c New solution: 57270
34.97/35.03	o 57270
34.97/35.03	c Elapsed CPU time: 34.7727 s	Remaining CPU time: 145.227 s
34.97/35.03	c ===============================================================================
34.97/35.03	c |      3692 |    3887    25691   439843 |     8563     3692    447 | 28.979 % |
36.37/36.48	c ===============================================================================
36.37/36.48	c New solution: 55831
36.37/36.48	o 55831
36.37/36.48	c Elapsed CPU time: 36.2255 s	Remaining CPU time: 143.775 s
36.37/36.48	c ===============================================================================
36.37/36.48	c |      3776 |    3887    25692   441778 |     8564     3776    449 | 28.979 % |
36.57/36.68	c ===============================================================================
36.57/36.68	c New solution: 55801
36.57/36.68	o 55801
36.57/36.68	c Elapsed CPU time: 36.4235 s	Remaining CPU time: 143.577 s
36.57/36.68	c ===============================================================================
36.57/36.68	c |      3779 |    3887    25693   443713 |     8564     3779    449 | 28.979 % |
36.77/36.86	c ===============================================================================
36.77/36.86	c New solution: 55799
36.77/36.86	o 55799
36.77/36.86	c Elapsed CPU time: 36.5964 s	Remaining CPU time: 143.404 s
36.77/36.86	c ===============================================================================
36.77/36.86	c |      3781 |    3887    25694   445648 |     8564     3781    449 | 28.979 % |
36.98/37.00	c ===============================================================================
36.98/37.00	c New solution: 55797
36.98/37.00	o 55797
36.98/37.00	c Elapsed CPU time: 36.7394 s	Remaining CPU time: 143.261 s
36.98/37.00	c ===============================================================================
36.98/37.00	c |      3783 |    3887    25695   447583 |     8565     3783    449 | 28.979 % |
37.18/37.23	c ===============================================================================
37.18/37.23	c New solution: 55796
37.18/37.23	o 55796
37.18/37.23	c Elapsed CPU time: 36.9614 s	Remaining CPU time: 143.039 s
37.18/37.23	c ===============================================================================
37.18/37.23	c |      3801 |    3887    25696   449518 |     8565     3801    449 | 28.979 % |
37.38/37.44	c ===============================================================================
37.38/37.44	c New solution: 55786
37.38/37.44	o 55786
37.38/37.44	c Elapsed CPU time: 37.1753 s	Remaining CPU time: 142.825 s
37.38/37.44	c ===============================================================================
37.38/37.44	c |      3803 |    3887    25697   451453 |     8565     3803    449 | 28.979 % |
37.57/37.64	c ===============================================================================
37.57/37.64	c New solution: 55771
37.57/37.64	o 55771
37.57/37.64	c Elapsed CPU time: 37.3663 s	Remaining CPU time: 142.634 s
37.57/37.64	c ===============================================================================
37.57/37.64	c |      3804 |    3887    25698   453388 |     8566     3804    449 | 28.979 % |
38.38/38.48	c ===============================================================================
38.38/38.48	c New solution: 54358
38.38/38.48	o 54358
38.38/38.48	c Elapsed CPU time: 38.2082 s	Remaining CPU time: 141.792 s
38.38/38.48	c ===============================================================================
38.38/38.48	c |      3889 |    3887    25699   455323 |     8566     3889    448 | 28.979 % |
38.58/38.65	c ===============================================================================
38.58/38.65	c New solution: 54339
38.58/38.65	o 54339
38.58/38.65	c Elapsed CPU time: 38.3762 s	Remaining CPU time: 141.624 s
38.58/38.65	c ===============================================================================
38.58/38.65	c |      3890 |    3887    25700   457258 |     8566     3890    448 | 28.979 % |
38.68/38.79	c ===============================================================================
38.68/38.79	c New solution: 54328
38.68/38.79	o 54328
38.68/38.79	c Elapsed CPU time: 38.5151 s	Remaining CPU time: 141.485 s
38.68/38.79	c ===============================================================================
38.68/38.79	c |      3890 |    3887    25701   459193 |     8567     3890    448 | 28.979 % |
38.88/38.94	c ===============================================================================
38.88/38.94	c New solution: 54327
38.88/38.94	o 54327
38.88/38.94	c Elapsed CPU time: 38.6601 s	Remaining CPU time: 141.34 s
38.88/38.94	c ===============================================================================
38.88/38.94	c |      3893 |    3887    25702   461128 |     8567     3893    448 | 28.979 % |
40.18/40.26	c |      3995 |    3887    25702   461128 |     9424     3995    447 | 28.979 % |
40.38/40.44	c ===============================================================================
40.38/40.44	c New solution: 52884
40.38/40.44	o 52884
40.38/40.44	c Elapsed CPU time: 40.1599 s	Remaining CPU time: 139.84 s
40.38/40.44	c ===============================================================================
40.38/40.44	c |      3997 |    3887    25703   463063 |     8567     3997    447 | 28.979 % |
40.47/40.52	c ===============================================================================
40.47/40.52	c New solution: 52874
40.47/40.52	o 52874
40.47/40.52	c Elapsed CPU time: 40.2409 s	Remaining CPU time: 139.759 s
40.47/40.52	c ===============================================================================
40.47/40.52	c |      3998 |    3887    25704   464998 |     8568     3998    447 | 28.979 % |
40.58/40.61	c ===============================================================================
40.58/40.61	c New solution: 52873
40.58/40.61	o 52873
40.58/40.61	c Elapsed CPU time: 40.3319 s	Remaining CPU time: 139.668 s
40.58/40.61	c ===============================================================================
40.58/40.61	c |      4001 |    3887    25705   466933 |     8568     4001    447 | 28.979 % |
40.77/40.85	c ===============================================================================
40.77/40.85	c New solution: 52864
40.77/40.85	o 52864
40.77/40.85	c Elapsed CPU time: 40.5718 s	Remaining CPU time: 139.428 s
40.77/40.85	c ===============================================================================
40.77/40.85	c |      4002 |    3887    25706   468868 |     8568     4002    447 | 28.979 % |
40.97/41.03	c ===============================================================================
40.97/41.03	c New solution: 52847
40.97/41.03	o 52847
40.97/41.03	c Elapsed CPU time: 40.7478 s	Remaining CPU time: 139.252 s
40.97/41.03	c ===============================================================================
40.97/41.03	c |      4002 |    3887    25707   470803 |     8569     4002    447 | 28.979 % |
41.07/41.20	c ===============================================================================
41.17/41.20	c New solution: 52845
41.17/41.20	o 52845
41.17/41.20	c Elapsed CPU time: 40.9158 s	Remaining CPU time: 139.084 s
41.17/41.20	c ===============================================================================
41.17/41.20	c |      4002 |    3887    25708   472738 |     8569     4002    447 | 28.979 % |
41.27/41.37	c ===============================================================================
41.27/41.37	c New solution: 52844
41.27/41.37	o 52844
41.27/41.37	c Elapsed CPU time: 41.0868 s	Remaining CPU time: 138.913 s
41.27/41.37	c ===============================================================================
41.27/41.37	c |      4002 |    3887    25709   474673 |     8569     4002    447 | 28.979 % |
41.47/41.53	c ===============================================================================
41.47/41.53	c New solution: 52843
41.47/41.53	o 52843
41.47/41.53	c Elapsed CPU time: 41.2487 s	Remaining CPU time: 138.751 s
41.47/41.53	c ===============================================================================
41.47/41.53	c |      4002 |    3887    25710   476608 |     8570     4002    447 | 28.979 % |
41.68/41.71	c ===============================================================================
41.68/41.71	c New solution: 52842
41.68/41.71	o 52842
41.68/41.71	c Elapsed CPU time: 41.4237 s	Remaining CPU time: 138.576 s
41.68/41.71	c ===============================================================================
41.68/41.71	c |      4003 |    3887    25711   478543 |     8570     4003    447 | 28.979 % |
41.77/41.85	c ===============================================================================
41.77/41.85	c New solution: 52841
41.77/41.85	o 52841
41.77/41.85	c Elapsed CPU time: 41.5637 s	Remaining CPU time: 138.436 s
41.77/41.85	c ===============================================================================
41.77/41.85	c |      4010 |    3887    25712   480478 |     8570     4010    447 | 28.979 % |
41.87/41.99	c ===============================================================================
41.87/41.99	c New solution: 52819
41.87/41.99	o 52819
41.87/41.99	c Elapsed CPU time: 41.7087 s	Remaining CPU time: 138.291 s
41.87/41.99	c ===============================================================================
41.87/41.99	c |      4010 |    3887    25713   482413 |     8571     4010    447 | 28.979 % |
42.07/42.12	c ===============================================================================
42.07/42.12	c New solution: 52795
42.07/42.12	o 52795
42.07/42.12	c Elapsed CPU time: 41.8336 s	Remaining CPU time: 138.166 s
42.07/42.12	c ===============================================================================
42.07/42.12	c |      4012 |    3887    25714   484348 |     8571     4012    447 | 28.979 % |
42.47/42.53	c ===============================================================================
42.47/42.53	c New solution: 51356
42.47/42.53	o 51356
42.47/42.53	c Elapsed CPU time: 42.2456 s	Remaining CPU time: 137.754 s
42.47/42.53	c ===============================================================================
42.47/42.53	c |      4035 |    3887    25715   486283 |     8571     4035    447 | 28.979 % |
42.67/42.73	c ===============================================================================
42.67/42.73	c New solution: 51320
42.67/42.73	o 51320
42.67/42.73	c Elapsed CPU time: 42.4385 s	Remaining CPU time: 137.561 s
42.67/42.73	c ===============================================================================
42.67/42.73	c |      4035 |    3887    25716   488218 |     8572     4035    447 | 28.979 % |
42.88/42.91	c ===============================================================================
42.88/42.91	c New solution: 51316
42.88/42.91	o 51316
42.88/42.91	c Elapsed CPU time: 42.6175 s	Remaining CPU time: 137.382 s
42.88/42.91	c ===============================================================================
42.88/42.91	c |      4039 |    3887    25717   490153 |     8572     4039    447 | 28.979 % |
43.07/43.18	c ===============================================================================
43.07/43.18	c New solution: 51315
43.07/43.18	o 51315
43.07/43.18	c Elapsed CPU time: 42.8845 s	Remaining CPU time: 137.116 s
43.07/43.18	c ===============================================================================
43.07/43.18	c |      4051 |    3887    25718   492088 |     8572     4051    447 | 28.979 % |
43.27/43.36	c ===============================================================================
43.27/43.36	c New solution: 51314
43.27/43.36	o 51314
43.27/43.36	c Elapsed CPU time: 43.0675 s	Remaining CPU time: 136.933 s
43.27/43.36	c ===============================================================================
43.27/43.36	c |      4066 |    3887    25719   494023 |     8573     4066    447 | 28.979 % |
43.47/43.55	c ===============================================================================
43.47/43.55	c New solution: 51305
43.47/43.55	o 51305
43.47/43.55	c Elapsed CPU time: 43.2574 s	Remaining CPU time: 136.743 s
43.47/43.55	c ===============================================================================
43.47/43.55	c |      4072 |    3887    25720   495958 |     8573     4072    447 | 28.979 % |
44.28/44.36	c |      4173 |    3887    25720   495958 |     9430     4173    449 | 28.979 % |
45.87/45.99	c ===============================================================================
45.87/45.99	c New solution: 49865
45.87/45.99	o 49865
45.87/45.99	c Elapsed CPU time: 45.6921 s	Remaining CPU time: 134.308 s
45.87/45.99	c ===============================================================================
45.87/45.99	c |      4290 |    3887    25721   497893 |     8573     4290    451 | 28.979 % |
46.08/46.18	c ===============================================================================
46.08/46.18	c New solution: 49814
46.08/46.18	o 49814
46.08/46.18	c Elapsed CPU time: 45.888 s	Remaining CPU time: 134.112 s
46.08/46.18	c ===============================================================================
46.08/46.18	c |      4292 |    3887    25722   499828 |     8574     4292    451 | 28.979 % |
46.97/47.05	c ===============================================================================
46.97/47.05	c New solution: 49813
46.97/47.05	o 49813
46.97/47.05	c Elapsed CPU time: 46.7509 s	Remaining CPU time: 133.249 s
46.97/47.05	c ===============================================================================
46.97/47.05	c |      4344 |    3887    25723   501763 |     8574     4344    451 | 28.979 % |
47.18/47.21	c ===============================================================================
47.18/47.21	c New solution: 49812
47.18/47.21	o 49812
47.18/47.21	c Elapsed CPU time: 46.9059 s	Remaining CPU time: 133.094 s
47.18/47.21	c ===============================================================================
47.18/47.21	c |      4355 |    3887    25724   503698 |     8574     4355    451 | 28.979 % |
47.37/47.43	c ===============================================================================
47.37/47.43	c New solution: 49811
47.37/47.43	o 49811
47.37/47.43	c Elapsed CPU time: 47.1268 s	Remaining CPU time: 132.873 s
47.37/47.43	c ===============================================================================
47.37/47.43	c |      4358 |    3887    25725   505633 |     8575     4358    451 | 28.979 % |
47.67/47.73	c ===============================================================================
47.67/47.73	c New solution: 49810
47.67/47.73	o 49810
47.67/47.73	c Elapsed CPU time: 47.4328 s	Remaining CPU time: 132.567 s
47.67/47.73	c ===============================================================================
47.67/47.73	c |      4366 |    3887    25726   507568 |     8575     4366    451 | 28.979 % |
47.87/47.92	c ===============================================================================
47.87/47.92	c New solution: 49809
47.87/47.92	o 49809
47.87/47.92	c Elapsed CPU time: 47.6148 s	Remaining CPU time: 132.385 s
47.87/47.92	c ===============================================================================
47.87/47.92	c |      4370 |    3887    25727   509503 |     8575     4370    451 | 28.979 % |
49.97/50.00	c ===============================================================================
49.97/50.00	c New solution: 48391
49.97/50.00	o 48391
49.97/50.00	c Elapsed CPU time: 49.6954 s	Remaining CPU time: 130.305 s
49.97/50.00	c ===============================================================================
49.97/50.00	c |      4454 |    3887    25728   511438 |     8576     4454    452 | 28.979 % |
50.27/50.30	c ===============================================================================
50.27/50.30	c New solution: 48339
50.27/50.30	o 48339
50.27/50.30	c Elapsed CPU time: 49.9954 s	Remaining CPU time: 130.005 s
50.27/50.30	c ===============================================================================
50.27/50.30	c |      4458 |    3887    25729   513373 |     8576     4458    452 | 28.979 % |
50.47/50.52	c ===============================================================================
50.47/50.52	c New solution: 48338
50.47/50.52	o 48338
50.47/50.52	c Elapsed CPU time: 50.2114 s	Remaining CPU time: 129.789 s
50.47/50.52	c ===============================================================================
50.47/50.52	c |      4472 |    3887    25730   515308 |     8576     4472    452 | 28.979 % |
50.66/50.79	c ===============================================================================
50.66/50.79	c New solution: 48337
50.66/50.79	o 48337
50.66/50.79	c Elapsed CPU time: 50.4843 s	Remaining CPU time: 129.516 s
50.66/50.79	c ===============================================================================
50.66/50.79	c |      4484 |    3887    25731   517243 |     8577     4484    452 | 28.979 % |
50.97/51.02	c ===============================================================================
50.97/51.02	c New solution: 48336
50.97/51.02	o 48336
50.97/51.02	c Elapsed CPU time: 50.7113 s	Remaining CPU time: 129.289 s
50.97/51.02	c ===============================================================================
50.97/51.02	c |      4489 |    3887    25732   519178 |     8577     4489    452 | 28.979 % |
51.27/51.30	c ===============================================================================
51.27/51.30	c New solution: 48335
51.27/51.30	o 48335
51.27/51.30	c Elapsed CPU time: 50.9962 s	Remaining CPU time: 129.004 s
51.27/51.30	c ===============================================================================
51.27/51.30	c |      4490 |    3887    25733   521113 |     8577     4490    452 | 28.979 % |
51.87/51.96	c ===============================================================================
51.87/51.96	c New solution: 48334
51.87/51.96	o 48334
51.87/51.96	c Elapsed CPU time: 51.6541 s	Remaining CPU time: 128.346 s
51.87/51.96	c ===============================================================================
51.87/51.96	c |      4524 |    3887    25734   523048 |     8578     4524    453 | 28.979 % |
52.07/52.15	c ===============================================================================
52.07/52.15	c New solution: 48333
52.07/52.15	o 48333
52.07/52.15	c Elapsed CPU time: 51.8431 s	Remaining CPU time: 128.157 s
52.07/52.15	c ===============================================================================
52.07/52.15	c |      4525 |    3887    25735   524983 |     8578     4525    453 | 28.979 % |
52.27/52.34	c ===============================================================================
52.27/52.34	c New solution: 48331
52.27/52.34	o 48331
52.27/52.34	c Elapsed CPU time: 52.0301 s	Remaining CPU time: 127.97 s
52.27/52.34	c ===============================================================================
52.27/52.34	c |      4526 |    3887    25736   526918 |     8578     4526    453 | 28.979 % |
52.47/52.56	c ===============================================================================
52.47/52.56	c New solution: 48330
52.47/52.56	o 48330
52.47/52.56	c Elapsed CPU time: 52.2501 s	Remaining CPU time: 127.75 s
52.47/52.56	c ===============================================================================
52.47/52.56	c |      4538 |    3887    25737   528853 |     8579     4538    453 | 28.979 % |
52.68/52.76	c ===============================================================================
52.68/52.76	c New solution: 48326
52.68/52.76	o 48326
52.68/52.76	c Elapsed CPU time: 52.451 s	Remaining CPU time: 127.549 s
52.68/52.76	c ===============================================================================
52.68/52.76	c |      4544 |    3887    25738   530788 |     8579     4544    453 | 28.979 % |
53.17/53.26	c ===============================================================================
53.17/53.26	c New solution: 48325
53.17/53.26	o 48325
53.17/53.26	c Elapsed CPU time: 52.95 s	Remaining CPU time: 127.05 s
53.17/53.26	c ===============================================================================
53.17/53.26	c |      4586 |    3887    25739   532723 |     8579     4586    453 | 28.979 % |
53.37/53.48	c ===============================================================================
53.37/53.48	c New solution: 48324
53.37/53.48	o 48324
53.37/53.48	c Elapsed CPU time: 53.1619 s	Remaining CPU time: 126.838 s
53.37/53.48	c ===============================================================================
53.37/53.48	c |      4588 |    3887    25740   534658 |     8580     4588    453 | 28.979 % |
53.57/53.68	c ===============================================================================
53.57/53.68	c New solution: 48302
53.57/53.68	o 48302
53.57/53.68	c Elapsed CPU time: 53.3689 s	Remaining CPU time: 126.631 s
53.57/53.68	c ===============================================================================
53.57/53.68	c |      4597 |    3887    25741   536593 |     8580     4597    453 | 28.979 % |
53.77/53.90	c ===============================================================================
53.77/53.90	c New solution: 48301
53.77/53.90	o 48301
53.77/53.90	c Elapsed CPU time: 53.5799 s	Remaining CPU time: 126.42 s
53.77/53.90	c ===============================================================================
53.77/53.90	c |      4611 |    3887    25742   538528 |     8580     4611    453 | 28.979 % |
57.27/57.31	c |      4712 |    3887    25742   538528 |     9438     4712    453 | 28.979 % |
57.47/57.56	c ===============================================================================
57.47/57.56	c New solution: 48300
57.47/57.56	o 48300
57.47/57.56	c Elapsed CPU time: 57.2443 s	Remaining CPU time: 122.756 s
57.47/57.56	c ===============================================================================
57.47/57.56	c |      4716 |    3887    25743   540463 |     8581     4716    453 | 28.979 % |
58.07/58.11	c ===============================================================================
58.07/58.11	c New solution: 48299
58.07/58.11	o 48299
58.07/58.11	c Elapsed CPU time: 57.7892 s	Remaining CPU time: 122.211 s
58.07/58.11	c ===============================================================================
58.07/58.11	c |      4762 |    3887    25744   542398 |     8581     4762    454 | 28.979 % |
58.28/58.33	c ===============================================================================
58.28/58.33	c New solution: 48298
58.28/58.33	o 48298
58.28/58.33	c Elapsed CPU time: 58.0072 s	Remaining CPU time: 121.993 s
58.28/58.33	c ===============================================================================
58.28/58.33	c |      4766 |    3887    25745   544333 |     8581     4766    454 | 28.979 % |
59.17/59.20	c ===============================================================================
59.17/59.20	c New solution: 48297
59.17/59.20	o 48297
59.17/59.20	c Elapsed CPU time: 58.88 s	Remaining CPU time: 121.12 s
59.17/59.20	c ===============================================================================
59.17/59.20	c |      4818 |    3887    25746   546268 |     8582     4818    454 | 28.979 % |
60.16/60.21	c ===============================================================================
60.16/60.21	c New solution: 46888
60.16/60.21	o 46888
60.16/60.21	c Elapsed CPU time: 59.8819 s	Remaining CPU time: 120.118 s
60.16/60.21	c ===============================================================================
60.16/60.21	c |      4854 |    3887    25747   548203 |     8582     4854    454 | 28.979 % |
60.47/60.58	c ===============================================================================
60.47/60.58	c New solution: 46855
60.47/60.58	o 46855
60.47/60.58	c Elapsed CPU time: 60.2528 s	Remaining CPU time: 119.747 s
60.47/60.58	c ===============================================================================
60.47/60.58	c |      4858 |    3887    25748   550138 |     8582     4858    454 | 28.979 % |
60.77/60.86	c ===============================================================================
60.77/60.86	c New solution: 46811
60.77/60.86	o 46811
60.77/60.86	c Elapsed CPU time: 60.5338 s	Remaining CPU time: 119.466 s
60.77/60.86	c ===============================================================================
60.77/60.86	c |      4861 |    3887    25749   552073 |     8583     4861    454 | 28.979 % |
61.07/61.14	c ===============================================================================
61.07/61.14	c New solution: 46810
61.07/61.14	o 46810
61.07/61.14	c Elapsed CPU time: 60.8098 s	Remaining CPU time: 119.19 s
61.07/61.14	c ===============================================================================
61.07/61.14	c |      4863 |    3887    25750   554008 |     8583     4863    454 | 28.979 % |
61.27/61.30	c ===============================================================================
61.27/61.30	c New solution: 46809
61.27/61.30	o 46809
61.27/61.30	c Elapsed CPU time: 60.9677 s	Remaining CPU time: 119.032 s
61.27/61.30	c ===============================================================================
61.27/61.30	c |      4871 |    3887    25751   555943 |     8583     4871    454 | 28.979 % |
61.48/61.57	c ===============================================================================
61.48/61.57	c New solution: 46808
61.48/61.57	o 46808
61.48/61.57	c Elapsed CPU time: 61.2407 s	Remaining CPU time: 118.759 s
61.48/61.57	c ===============================================================================
61.48/61.57	c |      4875 |    3887    25752   557878 |     8584     4875    454 | 28.979 % |
61.67/61.78	c ===============================================================================
61.67/61.78	c New solution: 46807
61.67/61.78	o 46807
61.67/61.78	c Elapsed CPU time: 61.4497 s	Remaining CPU time: 118.55 s
61.67/61.78	c ===============================================================================
61.67/61.78	c |      4885 |    3887    25753   559813 |     8584     4885    454 | 28.979 % |
62.17/62.23	c ===============================================================================
62.17/62.23	c New solution: 46806
62.17/62.23	o 46806
62.17/62.23	c Elapsed CPU time: 61.8966 s	Remaining CPU time: 118.103 s
62.17/62.23	c ===============================================================================
62.17/62.23	c |      4915 |    3887    25754   561748 |     8584     4915    454 | 28.979 % |
62.37/62.47	c ===============================================================================
62.37/62.47	c New solution: 46805
62.37/62.47	o 46805
62.37/62.47	c Elapsed CPU time: 62.1326 s	Remaining CPU time: 117.867 s
62.37/62.47	c ===============================================================================
62.37/62.47	c |      4925 |    3887    25755   563683 |     8585     4925    454 | 28.979 % |
62.57/62.69	c ===============================================================================
62.57/62.69	c New solution: 46804
62.57/62.69	o 46804
62.57/62.69	c Elapsed CPU time: 62.3585 s	Remaining CPU time: 117.641 s
62.57/62.69	c ===============================================================================
62.57/62.69	c |      4932 |    3887    25756   565618 |     8585     4932    454 | 28.979 % |
63.26/63.31	c ===============================================================================
63.26/63.31	c New solution: 46803
63.26/63.31	o 46803
63.26/63.31	c Elapsed CPU time: 62.9724 s	Remaining CPU time: 117.028 s
63.26/63.31	c ===============================================================================
63.26/63.31	c |      4960 |    3887    25757   567553 |     8585     4960    454 | 28.979 % |
63.46/63.58	c ===============================================================================
63.46/63.58	c New solution: 46802
63.46/63.58	o 46802
63.46/63.58	c Elapsed CPU time: 63.2414 s	Remaining CPU time: 116.759 s
63.46/63.58	c ===============================================================================
63.46/63.58	c |      4973 |    3887    25758   569488 |     8586     4973    455 | 28.979 % |
64.87/64.98	c ===============================================================================
64.87/64.98	c New solution: 45398
64.87/64.99	o 45398
64.87/64.99	c Elapsed CPU time: 64.6452 s	Remaining CPU time: 115.355 s
64.87/64.99	c ===============================================================================
64.87/64.99	c |      5018 |    3887    25759   571423 |     8586     5018    455 | 28.979 % |
65.17/65.25	c ===============================================================================
65.17/65.25	c New solution: 45352
65.17/65.25	o 45352
65.17/65.25	c Elapsed CPU time: 64.9081 s	Remaining CPU time: 115.092 s
65.17/65.25	c ===============================================================================
65.17/65.25	c |      5021 |    3887    25760   573358 |     8586     5021    455 | 28.979 % |
65.67/65.73	c ===============================================================================
65.67/65.73	c New solution: 45351
65.67/65.73	o 45351
65.67/65.73	c Elapsed CPU time: 65.3861 s	Remaining CPU time: 114.614 s
65.67/65.73	c ===============================================================================
65.67/65.73	c |      5035 |    3887    25761   575293 |     8587     5035    455 | 28.979 % |
65.98/66.04	c ===============================================================================
65.98/66.04	c New solution: 45350
65.98/66.04	o 45350
65.98/66.04	c Elapsed CPU time: 65.697 s	Remaining CPU time: 114.303 s
65.98/66.04	c ===============================================================================
65.98/66.04	c |      5040 |    3887    25762   577228 |     8587     5040    455 | 28.979 % |
66.66/66.72	c ===============================================================================
66.66/66.72	c New solution: 45349
66.66/66.72	o 45349
66.66/66.72	c Elapsed CPU time: 66.3779 s	Remaining CPU time: 113.622 s
66.66/66.72	c ===============================================================================
66.66/66.72	c |      5091 |    3887    25763   579163 |     8587     5091    455 | 28.979 % |
66.97/67.00	c ===============================================================================
66.97/67.00	c New solution: 45348
66.97/67.00	o 45348
66.97/67.00	c Elapsed CPU time: 66.6539 s	Remaining CPU time: 113.346 s
66.97/67.00	c ===============================================================================
66.97/67.00	c |      5098 |    3887    25764   581098 |     8588     5098    455 | 28.979 % |
67.16/67.29	c ===============================================================================
67.16/67.29	c New solution: 45343
67.16/67.29	o 45343
67.16/67.29	c Elapsed CPU time: 66.9448 s	Remaining CPU time: 113.055 s
67.16/67.29	c ===============================================================================
67.16/67.29	c |      5102 |    3887    25765   583033 |     8588     5102    455 | 28.979 % |
67.56/67.62	c ===============================================================================
67.56/67.62	c New solution: 45342
67.56/67.62	o 45342
67.56/67.62	c Elapsed CPU time: 67.2738 s	Remaining CPU time: 112.726 s
67.56/67.62	c ===============================================================================
67.56/67.62	c |      5104 |    3887    25766   584968 |     8588     5104    455 | 28.979 % |
67.86/67.92	c ===============================================================================
67.86/67.92	c New solution: 45341
67.86/67.92	o 45341
67.86/67.92	c Elapsed CPU time: 67.5757 s	Remaining CPU time: 112.424 s
67.86/67.92	c ===============================================================================
67.86/67.92	c |      5106 |    3887    25767   586903 |     8589     5106    455 | 28.979 % |
68.26/68.36	c ===============================================================================
68.26/68.36	c New solution: 45340
68.26/68.36	o 45340
68.26/68.36	c Elapsed CPU time: 68.0107 s	Remaining CPU time: 111.989 s
68.26/68.36	c ===============================================================================
68.26/68.36	c |      5115 |    3887    25768   588838 |     8589     5115    456 | 28.979 % |
68.56/68.69	c ===============================================================================
68.56/68.69	c New solution: 45339
68.56/68.69	o 45339
68.56/68.69	c Elapsed CPU time: 68.3406 s	Remaining CPU time: 111.659 s
68.56/68.69	c ===============================================================================
68.56/68.69	c |      5122 |    3887    25769   590773 |     8589     5122    456 | 28.979 % |
69.07/69.11	c ===============================================================================
69.07/69.11	c New solution: 45338
69.07/69.11	o 45338
69.07/69.11	c Elapsed CPU time: 68.7545 s	Remaining CPU time: 111.245 s
69.07/69.11	c ===============================================================================
69.07/69.11	c |      5132 |    3887    25770   592708 |     8590     5132    456 | 28.979 % |
69.47/69.55	c ===============================================================================
69.47/69.55	c New solution: 45337
69.47/69.55	o 45337
69.47/69.55	c Elapsed CPU time: 69.1935 s	Remaining CPU time: 110.807 s
69.47/69.55	c ===============================================================================
69.47/69.55	c |      5151 |    3887    25771   594643 |     8590     5151    456 | 28.979 % |
70.96/71.02	c |      5251 |    3887    25771   594643 |     9449     5251    457 | 28.979 % |
71.37/71.49	c ===============================================================================
71.37/71.49	c New solution: 45244
71.37/71.49	o 45244
71.37/71.49	c Elapsed CPU time: 71.1362 s	Remaining CPU time: 108.864 s
71.37/71.49	c ===============================================================================
71.37/71.49	c |      5259 |    3887    25772   596578 |     8590     5259    457 | 28.979 % |
71.96/72.01	c ===============================================================================
71.96/72.01	c New solution: 43861
71.96/72.01	o 43861
71.96/72.01	c Elapsed CPU time: 71.6511 s	Remaining CPU time: 108.349 s
71.96/72.01	c ===============================================================================
71.96/72.01	c |      5273 |    3887    25773   598513 |     8591     5273    457 | 28.979 % |
72.36/72.41	c ===============================================================================
72.36/72.41	c New solution: 43860
72.36/72.41	o 43860
72.36/72.41	c Elapsed CPU time: 72.048 s	Remaining CPU time: 107.952 s
72.36/72.41	c ===============================================================================
72.36/72.41	c |      5293 |    3887    25774   600448 |     8591     5293    457 | 28.979 % |
73.57/73.63	c |      5393 |    3887    25774   600448 |     9450     5393    458 | 28.979 % |
74.26/74.34	c |      5543 |    3887    25774   600448 |    10395     5543    456 | 28.979 % |
74.68/74.76	c ===============================================================================
74.68/74.76	c New solution: 43859
74.68/74.76	o 43859
74.68/74.76	c Elapsed CPU time: 74.3977 s	Remaining CPU time: 105.602 s
74.68/74.76	c ===============================================================================
74.68/74.76	c |      5571 |    3887    25775   602383 |     8591     5571    456 | 28.979 % |
75.17/75.22	c ===============================================================================
75.17/75.22	c New solution: 43858
75.17/75.22	o 43858
75.17/75.22	c Elapsed CPU time: 74.8596 s	Remaining CPU time: 105.14 s
75.17/75.22	c ===============================================================================
75.17/75.22	c |      5574 |    3887    25776   604318 |     8592     5574    456 | 28.979 % |
75.47/75.54	c ===============================================================================
75.47/75.54	c New solution: 43853
75.47/75.54	o 43853
75.47/75.54	c Elapsed CPU time: 75.1796 s	Remaining CPU time: 104.82 s
75.47/75.54	c ===============================================================================
75.47/75.54	c |      5577 |    3887    25777   606253 |     8592     5577    456 | 28.979 % |
76.06/76.13	c ===============================================================================
76.06/76.13	c New solution: 43852
76.06/76.13	o 43852
76.06/76.13	c Elapsed CPU time: 75.7595 s	Remaining CPU time: 104.241 s
76.06/76.13	c ===============================================================================
76.06/76.13	c |      5591 |    3887    25778   608188 |     8592     5591    456 | 28.979 % |
76.36/76.47	c ===============================================================================
76.36/76.47	c New solution: 43851
76.36/76.47	o 43851
76.36/76.47	c Elapsed CPU time: 76.1014 s	Remaining CPU time: 103.899 s
76.36/76.47	c ===============================================================================
76.36/76.47	c |      5599 |    3887    25779   610123 |     8593     5599    456 | 28.979 % |
76.56/76.69	c ===============================================================================
76.56/76.69	c New solution: 43850
76.56/76.69	o 43850
76.56/76.69	c Elapsed CPU time: 76.3264 s	Remaining CPU time: 103.674 s
76.56/76.69	c ===============================================================================
76.56/76.69	c |      5604 |    3887    25780   612058 |     8593     5604    456 | 28.979 % |
76.87/76.94	c ===============================================================================
76.87/76.94	c New solution: 43849
76.87/76.94	o 43849
76.87/76.94	c Elapsed CPU time: 76.5734 s	Remaining CPU time: 103.427 s
76.87/76.94	c ===============================================================================
76.87/76.94	c |      5608 |    3887    25781   613993 |     8593     5608    456 | 28.979 % |
77.56/77.60	c ===============================================================================
77.56/77.60	c New solution: 43848
77.56/77.60	o 43848
77.56/77.60	c Elapsed CPU time: 77.2313 s	Remaining CPU time: 102.769 s
77.56/77.60	c ===============================================================================
77.56/77.60	c |      5634 |    3887    25782   615928 |     8594     5634    456 | 28.979 % |
77.76/77.85	c ===============================================================================
77.76/77.85	c New solution: 43846
77.76/77.85	o 43846
77.76/77.85	c Elapsed CPU time: 77.4832 s	Remaining CPU time: 102.517 s
77.76/77.85	c ===============================================================================
77.76/77.85	c |      5636 |    3887    25783   617863 |     8594     5636    456 | 28.979 % |
78.07/78.11	c ===============================================================================
78.07/78.11	c New solution: 43845
78.07/78.11	o 43845
78.07/78.11	c Elapsed CPU time: 77.7382 s	Remaining CPU time: 102.262 s
78.07/78.11	c ===============================================================================
78.07/78.11	c |      5644 |    3887    25784   619798 |     8594     5644    456 | 28.979 % |
78.46/78.50	c ===============================================================================
78.46/78.50	c New solution: 43822
78.46/78.50	o 43822
78.46/78.50	c Elapsed CPU time: 78.1251 s	Remaining CPU time: 101.875 s
78.46/78.50	c ===============================================================================
78.46/78.50	c |      5646 |    3887    25785   621733 |     8595     5646    456 | 28.979 % |
79.66/79.71	c |      5746 |    3887    25785   621733 |     9454     5746    456 | 28.979 % |
79.86/79.99	c ===============================================================================
79.86/79.99	c New solution: 43821
79.86/79.99	o 43821
79.86/79.99	c Elapsed CPU time: 79.6189 s	Remaining CPU time: 100.381 s
79.86/79.99	c ===============================================================================
79.86/79.99	c |      5746 |    3887    25786   623668 |     8595     5746    456 | 28.979 % |
80.17/80.28	c ===============================================================================
80.17/80.28	c New solution: 43820
80.17/80.28	o 43820
80.17/80.28	c Elapsed CPU time: 79.9029 s	Remaining CPU time: 100.097 s
80.17/80.28	c ===============================================================================
80.17/80.28	c |      5746 |    3887    25787   625603 |     8595     5746    456 | 28.979 % |
80.37/80.45	c ===============================================================================
80.37/80.45	c New solution: 43819
80.37/80.45	o 43819
80.37/80.45	c Elapsed CPU time: 80.0778 s	Remaining CPU time: 99.9222 s
80.37/80.45	c ===============================================================================
80.37/80.45	c |      5747 |    3887    25788   627538 |     8596     5747    456 | 28.979 % |
80.77/80.89	c ===============================================================================
80.77/80.89	c New solution: 43818
80.77/80.89	o 43818
80.77/80.89	c Elapsed CPU time: 80.5198 s	Remaining CPU time: 99.4802 s
80.77/80.89	c ===============================================================================
80.77/80.89	c |      5761 |    3887    25789   629473 |     8596     5761    456 | 28.979 % |
81.27/81.32	c ===============================================================================
81.27/81.32	c New solution: 43817
81.27/81.32	o 43817
81.27/81.32	c Elapsed CPU time: 80.9427 s	Remaining CPU time: 99.0573 s
81.27/81.32	c ===============================================================================
81.27/81.32	c |      5770 |    3887    25790   631408 |     8596     5770    456 | 28.979 % |
81.96/82.06	c ===============================================================================
81.96/82.06	c New solution: 42409
81.96/82.06	o 42409
81.96/82.06	c Elapsed CPU time: 81.6786 s	Remaining CPU time: 98.3214 s
81.96/82.06	c ===============================================================================
81.96/82.06	c |      5789 |    3887    25791   633343 |     8597     5789    456 | 28.979 % |
82.37/82.40	c ===============================================================================
82.37/82.40	c New solution: 42351
82.37/82.40	o 42351
82.37/82.40	c Elapsed CPU time: 82.0215 s	Remaining CPU time: 97.9785 s
82.37/82.40	c ===============================================================================
82.37/82.40	c |      5792 |    3887    25792   635278 |     8597     5792    456 | 28.979 % |
82.76/82.81	c ===============================================================================
82.76/82.81	c New solution: 42350
82.76/82.81	o 42350
82.76/82.81	c Elapsed CPU time: 82.4315 s	Remaining CPU time: 97.5685 s
82.76/82.81	c ===============================================================================
82.76/82.81	c |      5808 |    3887    25793   637213 |     8597     5808    456 | 28.979 % |
83.16/83.24	c ===============================================================================
83.16/83.24	c New solution: 42349
83.16/83.24	o 42349
83.16/83.24	c Elapsed CPU time: 82.8554 s	Remaining CPU time: 97.1446 s
83.16/83.24	c ===============================================================================
83.16/83.24	c |      5811 |    3887    25794   639148 |     8598     5811    456 | 28.979 % |
83.66/83.75	c ===============================================================================
83.66/83.75	c New solution: 42348
83.66/83.75	o 42348
83.66/83.75	c Elapsed CPU time: 83.3613 s	Remaining CPU time: 96.6387 s
83.66/83.75	c ===============================================================================
83.66/83.75	c |      5828 |    3887    25795   641083 |     8598     5828    456 | 28.979 % |
84.06/84.10	c ===============================================================================
84.06/84.10	c New solution: 42347
84.06/84.10	o 42347
84.06/84.10	c Elapsed CPU time: 83.7083 s	Remaining CPU time: 96.2917 s
84.06/84.10	c ===============================================================================
84.06/84.10	c |      5837 |    3887    25796   643018 |     8598     5837    456 | 28.979 % |
84.46/84.53	c ===============================================================================
84.46/84.53	c New solution: 42346
84.46/84.53	o 42346
84.46/84.53	c Elapsed CPU time: 84.1392 s	Remaining CPU time: 95.8608 s
84.46/84.53	c ===============================================================================
84.46/84.53	c |      5856 |    3887    25797   644953 |     8599     5856    456 | 28.979 % |
85.86/85.95	c |      5956 |    3887    25797   644953 |     9458     5956    457 | 28.979 % |
86.26/86.35	c ===============================================================================
86.26/86.35	c New solution: 42345
86.26/86.35	o 42345
86.26/86.35	c Elapsed CPU time: 85.9589 s	Remaining CPU time: 94.0411 s
86.26/86.35	c ===============================================================================
86.26/86.35	c |      5958 |    3887    25798   646888 |     8599     5958    457 | 28.979 % |
86.87/86.98	c ===============================================================================
86.87/86.98	c New solution: 42344
86.87/86.98	o 42344
86.87/86.98	c Elapsed CPU time: 86.5888 s	Remaining CPU time: 93.4112 s
86.87/86.98	c ===============================================================================
86.87/86.98	c |      6006 |    3887    25799   648823 |     8599     6006    456 | 28.979 % |
87.36/87.46	c ===============================================================================
87.36/87.46	c New solution: 40932
87.36/87.46	o 40932
87.36/87.46	c Elapsed CPU time: 87.0658 s	Remaining CPU time: 92.9342 s
87.36/87.46	c ===============================================================================
87.36/87.46	c |      6038 |    3887    25800   650758 |     8600     6038    456 | 28.979 % |
87.86/87.95	c |      6139 |    3887    25800   650758 |     9460     6139    455 | 28.979 % |
88.26/88.33	c ===============================================================================
88.26/88.33	c New solution: 40830
88.26/88.33	o 40830
88.26/88.33	c Elapsed CPU time: 87.9316 s	Remaining CPU time: 92.0684 s
88.26/88.33	c ===============================================================================
88.26/88.33	c |      6145 |    3887    25801   652693 |     8600     6145    455 | 28.979 % |
88.66/88.73	c ===============================================================================
88.66/88.73	c New solution: 40829
88.66/88.73	o 40829
88.66/88.73	c Elapsed CPU time: 88.3376 s	Remaining CPU time: 91.6624 s
88.66/88.73	c ===============================================================================
88.66/88.73	c |      6156 |    3887    25802   654628 |     8600     6156    455 | 28.979 % |
89.96/90.05	c ===============================================================================
89.96/90.05	c New solution: 40828
89.96/90.05	o 40828
89.96/90.05	c Elapsed CPU time: 89.6534 s	Remaining CPU time: 90.3466 s
89.96/90.05	c ===============================================================================
89.96/90.05	c |      6255 |    3887    25803   656563 |     8601     6255    455 | 28.979 % |
90.36/90.42	c ===============================================================================
90.36/90.42	c New solution: 40827
90.36/90.42	o 40827
90.36/90.42	c Elapsed CPU time: 90.0193 s	Remaining CPU time: 89.9807 s
90.36/90.42	c ===============================================================================
90.36/90.42	c |      6262 |    3887    25804   658498 |     8601     6262    455 | 28.979 % |
90.66/90.77	c ===============================================================================
90.66/90.77	c New solution: 40826
90.66/90.77	o 40826
90.66/90.77	c Elapsed CPU time: 90.3663 s	Remaining CPU time: 89.6337 s
90.66/90.77	c ===============================================================================
90.66/90.77	c |      6270 |    3887    25805   660433 |     8601     6270    455 | 28.979 % |
91.16/91.28	c ===============================================================================
91.16/91.28	c New solution: 40825
91.16/91.28	o 40825
91.16/91.28	c Elapsed CPU time: 90.8772 s	Remaining CPU time: 89.1228 s
91.16/91.28	c ===============================================================================
91.16/91.28	c |      6295 |    3887    25806   662368 |     8602     6295    455 | 28.979 % |
92.36/92.49	c |      6395 |    3887    25806   662368 |     9462     6395    456 | 28.979 % |
92.85/92.99	c ===============================================================================
92.85/92.99	c New solution: 40824
92.85/92.99	o 40824
92.85/92.99	c Elapsed CPU time: 92.5819 s	Remaining CPU time: 87.4181 s
92.85/92.99	c ===============================================================================
92.85/92.99	c |      6408 |    3887    25807   664303 |     8602     6408    456 | 28.979 % |
95.16/95.23	c ===============================================================================
95.16/95.23	c New solution: 40823
95.16/95.23	o 40823
95.16/95.23	c Elapsed CPU time: 94.8226 s	Remaining CPU time: 85.1774 s
95.16/95.23	c ===============================================================================
95.16/95.23	c |      6498 |    3887    25808   666238 |     8602     6498    456 | 28.979 % |
95.57/95.62	c ===============================================================================
95.57/95.62	c New solution: 40822
95.57/95.62	o 40822
95.57/95.62	c Elapsed CPU time: 95.2075 s	Remaining CPU time: 84.7925 s
95.57/95.62	c ===============================================================================
95.57/95.62	c |      6501 |    3887    25809   668173 |     8603     6501    456 | 28.979 % |
95.86/95.94	c ===============================================================================
95.86/95.94	c New solution: 40821
95.86/95.94	o 40821
95.86/95.94	c Elapsed CPU time: 95.5285 s	Remaining CPU time: 84.4715 s
95.86/95.94	c ===============================================================================
95.86/95.94	c |      6510 |    3887    25810   670108 |     8603     6510    456 | 28.979 % |
97.26/97.38	c ===============================================================================
97.26/97.38	c New solution: 40820
97.26/97.38	o 40820
97.26/97.38	c Elapsed CPU time: 96.9633 s	Remaining CPU time: 83.0367 s
97.26/97.38	c ===============================================================================
97.26/97.38	c |      6598 |    3887    25811   672043 |     8603     6598    457 | 28.979 % |
97.86/97.91	c ===============================================================================
97.86/97.91	c New solution: 40819
97.86/97.91	o 40819
97.86/97.91	c Elapsed CPU time: 97.4902 s	Remaining CPU time: 82.5098 s
97.86/97.91	c ===============================================================================
97.86/97.91	c |      6627 |    3887    25812   673978 |     8604     6627    457 | 28.979 % |
98.26/98.30	c ===============================================================================
98.26/98.30	c New solution: 40818
98.26/98.30	o 40818
98.26/98.30	c Elapsed CPU time: 97.8811 s	Remaining CPU time: 82.1189 s
98.26/98.30	c ===============================================================================
98.26/98.30	c |      6627 |    3887    25813   675913 |     8604     6627    457 | 28.979 % |
98.55/98.68	c ===============================================================================
98.55/98.68	c New solution: 40817
98.55/98.68	o 40817
98.55/98.68	c Elapsed CPU time: 98.2641 s	Remaining CPU time: 81.7359 s
98.55/98.68	c ===============================================================================
98.55/98.68	c |      6627 |    3887    25814   677848 |     8604     6627    457 | 28.979 % |
98.96/99.07	c ===============================================================================
98.96/99.07	c New solution: 40816
98.96/99.07	o 40816
98.96/99.07	c Elapsed CPU time: 98.652 s	Remaining CPU time: 81.348 s
98.96/99.07	c ===============================================================================
98.96/99.07	c |      6627 |    3887    25815   679783 |     8605     6627    457 | 28.979 % |
99.35/99.46	c ===============================================================================
99.35/99.46	c New solution: 40815
99.35/99.46	o 40815
99.35/99.46	c Elapsed CPU time: 99.0379 s	Remaining CPU time: 80.9621 s
99.35/99.46	c ===============================================================================
99.35/99.46	c |      6628 |    3887    25816   681718 |     8605     6628    457 | 28.979 % |
100.65/100.70	c |      6728 |    3887    25816   681718 |     9465     6728    457 | 28.979 % |
102.17/102.21	c |      6878 |    3887    25816   681718 |    10412     6878    455 | 28.979 % |
102.56/102.63	c ===============================================================================
102.56/102.63	c New solution: 39430
102.56/102.63	o 39430
102.56/102.63	c Elapsed CPU time: 102.209 s	Remaining CPU time: 77.7905 s
102.56/102.63	c ===============================================================================
102.56/102.63	c |      6883 |    3887    25817   683653 |     8605     6883    455 | 28.979 % |
102.76/102.85	c ===============================================================================
102.76/102.85	c New solution: 39374
102.76/102.85	o 39374
102.76/102.85	c Elapsed CPU time: 102.423 s	Remaining CPU time: 77.5766 s
102.76/102.85	c ===============================================================================
102.76/102.85	c |      6886 |    3887    25818   685588 |     8606     6886    455 | 28.979 % |
103.16/103.29	c ===============================================================================
103.16/103.29	c New solution: 39373
103.16/103.29	o 39373
103.16/103.29	c Elapsed CPU time: 102.867 s	Remaining CPU time: 77.1326 s
103.16/103.29	c ===============================================================================
103.16/103.29	c |      6887 |    3887    25819   687523 |     8606     6887    455 | 28.979 % |
103.96/104.06	c ===============================================================================
103.96/104.06	c New solution: 39365
103.96/104.06	o 39365
103.96/104.06	c Elapsed CPU time: 103.634 s	Remaining CPU time: 76.3658 s
103.96/104.06	c ===============================================================================
103.96/104.06	c |      6890 |    3887    25820   689458 |     8606     6890    455 | 28.979 % |
104.36/104.48	c ===============================================================================
104.36/104.48	c New solution: 39342
104.36/104.48	o 39342
104.36/104.48	c Elapsed CPU time: 104.053 s	Remaining CPU time: 75.9468 s
104.36/104.48	c ===============================================================================
104.36/104.48	c |      6890 |    3887    25821   691393 |     8607     6890    455 | 28.979 % |
104.85/104.90	c ===============================================================================
104.85/104.90	c New solution: 39341
104.85/104.90	o 39341
104.85/104.90	c Elapsed CPU time: 104.468 s	Remaining CPU time: 75.5319 s
104.85/104.90	c ===============================================================================
104.85/104.90	c |      6890 |    3887    25822   693328 |     8607     6890    455 | 28.979 % |
105.15/105.21	c ===============================================================================
105.15/105.21	c New solution: 39340
105.15/105.21	o 39340
105.15/105.21	c Elapsed CPU time: 104.781 s	Remaining CPU time: 75.2189 s
105.15/105.21	c ===============================================================================
105.15/105.21	c |      6891 |    3887    25823   695263 |     8607     6891    455 | 28.979 % |
105.46/105.54	c ===============================================================================
105.46/105.54	c New solution: 39339
105.46/105.54	o 39339
105.46/105.54	c Elapsed CPU time: 105.113 s	Remaining CPU time: 74.887 s
105.46/105.54	c ===============================================================================
105.46/105.54	c |      6892 |    3887    25824   697198 |     8608     6892    455 | 28.979 % |
105.75/105.88	c ===============================================================================
105.75/105.88	c New solution: 39338
105.75/105.88	o 39338
105.75/105.88	c Elapsed CPU time: 105.452 s	Remaining CPU time: 74.548 s
105.75/105.88	c ===============================================================================
105.75/105.88	c |      6892 |    3887    25825   699133 |     8608     6892    455 | 28.979 % |
106.75/106.82	c ===============================================================================
106.75/106.82	c New solution: 39337
106.75/106.82	o 39337
106.75/106.82	c Elapsed CPU time: 106.386 s	Remaining CPU time: 73.6142 s
106.75/106.82	c ===============================================================================
106.75/106.82	c |      6916 |    3887    25826   701068 |     8608     6916    455 | 28.979 % |
107.15/107.20	c ===============================================================================
107.15/107.20	c New solution: 39336
107.15/107.20	o 39336
107.15/107.20	c Elapsed CPU time: 106.767 s	Remaining CPU time: 73.2332 s
107.15/107.20	c ===============================================================================
107.15/107.20	c |      6920 |    3887    25827   703003 |     8609     6920    455 | 28.979 % |
107.76/107.87	c |      7021 |    3887    25827   703003 |     9469     7021    453 | 28.979 % |
108.06/108.16	c ===============================================================================
108.06/108.16	c New solution: 37896
108.06/108.16	o 37896
108.06/108.16	c Elapsed CPU time: 107.723 s	Remaining CPU time: 72.2774 s
108.06/108.16	c ===============================================================================
108.06/108.16	c |      7031 |    3887    25828   704938 |     8609     7031    453 | 28.979 % |
108.26/108.38	c ===============================================================================
108.26/108.38	c New solution: 37895
108.26/108.38	o 37895
108.26/108.38	c Elapsed CPU time: 107.946 s	Remaining CPU time: 72.0544 s
108.26/108.38	c ===============================================================================
108.26/108.38	c |      7037 |    3887    25829   706873 |     8609     7037    453 | 28.979 % |
108.77/108.83	c ===============================================================================
108.77/108.83	c New solution: 37870
108.77/108.83	o 37870
108.77/108.83	c Elapsed CPU time: 108.4 s	Remaining CPU time: 71.6005 s
108.77/108.83	c ===============================================================================
108.77/108.83	c |      7038 |    3887    25830   708808 |     8610     7038    453 | 28.979 % |
109.16/109.26	c ===============================================================================
109.16/109.26	c New solution: 37862
109.16/109.26	o 37862
109.16/109.26	c Elapsed CPU time: 108.826 s	Remaining CPU time: 71.1735 s
109.16/109.26	c ===============================================================================
109.16/109.26	c |      7038 |    3887    25831   710743 |     8610     7038    453 | 28.979 % |
109.55/109.68	c ===============================================================================
109.55/109.68	c New solution: 37861
109.55/109.68	o 37861
109.55/109.68	c Elapsed CPU time: 109.242 s	Remaining CPU time: 70.7576 s
109.55/109.68	c ===============================================================================
109.55/109.68	c |      7038 |    3887    25832   712678 |     8610     7038    453 | 28.979 % |
110.05/110.10	c ===============================================================================
110.05/110.10	c New solution: 37860
110.05/110.10	o 37860
110.05/110.10	c Elapsed CPU time: 109.667 s	Remaining CPU time: 70.3327 s
110.05/110.10	c ===============================================================================
110.05/110.10	c |      7038 |    3887    25833   714613 |     8611     7038    453 | 28.979 % |
110.45/110.53	c ===============================================================================
110.45/110.53	c New solution: 37859
110.45/110.53	o 37859
110.45/110.53	c Elapsed CPU time: 110.089 s	Remaining CPU time: 69.9107 s
110.45/110.53	c ===============================================================================
110.45/110.53	c |      7038 |    3887    25834   716548 |     8611     7038    453 | 28.979 % |
111.15/111.24	c |      7138 |    3887    25834   716548 |     9472     7138    452 | 28.979 % |
111.35/111.44	c ===============================================================================
111.35/111.44	c New solution: 37858
111.35/111.44	o 37858
111.35/111.44	c Elapsed CPU time: 110.995 s	Remaining CPU time: 69.0049 s
111.35/111.44	c ===============================================================================
111.35/111.44	c |      7141 |    3887    25835   718483 |     8611     7141    452 | 28.979 % |
111.75/111.82	c ===============================================================================
111.75/111.82	c New solution: 37857
111.75/111.82	o 37857
111.75/111.82	c Elapsed CPU time: 111.379 s	Remaining CPU time: 68.6209 s
111.75/111.82	c ===============================================================================
111.75/111.82	c |      7142 |    3887    25836   720418 |     8612     7142    452 | 28.979 % |
112.16/112.27	c ===============================================================================
112.16/112.27	c New solution: 37856
112.16/112.27	o 37856
112.16/112.27	c Elapsed CPU time: 111.823 s	Remaining CPU time: 68.177 s
112.16/112.27	c ===============================================================================
112.16/112.27	c |      7143 |    3887    25837   722353 |     8612     7143    452 | 28.979 % |
113.16/113.25	c ===============================================================================
113.16/113.25	c New solution: 37855
113.16/113.25	o 37855
113.16/113.25	c Elapsed CPU time: 112.807 s	Remaining CPU time: 67.1932 s
113.16/113.25	c ===============================================================================
113.16/113.25	c |      7203 |    3887    25838   724288 |     8612     7203    452 | 28.979 % |
113.75/113.84	c ===============================================================================
113.75/113.84	c New solution: 37852
113.75/113.84	o 37852
113.75/113.84	c Elapsed CPU time: 113.388 s	Remaining CPU time: 66.6122 s
113.75/113.84	c ===============================================================================
113.75/113.84	c |      7203 |    3887    25839   726223 |     8613     7203    452 | 28.979 % |
114.26/114.39	c ===============================================================================
114.26/114.39	c New solution: 37845
114.26/114.39	o 37845
114.26/114.39	c Elapsed CPU time: 113.947 s	Remaining CPU time: 66.0533 s
114.26/114.39	c ===============================================================================
114.26/114.39	c |      7203 |    3887    25840   728158 |     8613     7203    452 | 28.979 % |
116.05/116.11	c |      7303 |    3887    25840   728158 |     9474     7303    453 | 28.979 % |
116.35/116.49	c ===============================================================================
116.35/116.49	c New solution: 37844
116.35/116.49	o 37844
116.35/116.49	c Elapsed CPU time: 116.037 s	Remaining CPU time: 63.9626 s
116.35/116.49	c ===============================================================================
116.35/116.49	c |      7304 |    3887    25841   730093 |     8613     7304    453 | 28.979 % |
116.85/116.92	c ===============================================================================
116.85/116.92	c New solution: 37843
116.85/116.92	o 37843
116.85/116.92	c Elapsed CPU time: 116.465 s	Remaining CPU time: 63.5347 s
116.85/116.92	c ===============================================================================
116.85/116.92	c |      7305 |    3887    25842   732028 |     8614     7305    453 | 28.979 % |
117.15/117.28	c ===============================================================================
117.15/117.28	c New solution: 37842
117.15/117.28	o 37842
117.15/117.28	c Elapsed CPU time: 116.826 s	Remaining CPU time: 63.1738 s
117.15/117.28	c ===============================================================================
117.15/117.28	c |      7305 |    3887    25843   733963 |     8614     7305    453 | 28.979 % |
117.56/117.65	c ===============================================================================
117.56/117.65	c New solution: 37841
117.56/117.65	o 37841
117.56/117.65	c Elapsed CPU time: 117.193 s	Remaining CPU time: 62.8068 s
117.56/117.65	c ===============================================================================
117.56/117.65	c |      7305 |    3887    25844   735898 |     8614     7305    453 | 28.979 % |
117.96/118.00	c ===============================================================================
117.96/118.00	c New solution: 37840
117.96/118.00	o 37840
117.96/118.00	c Elapsed CPU time: 117.548 s	Remaining CPU time: 62.4519 s
117.96/118.00	c ===============================================================================
117.96/118.00	c |      7306 |    3887    25845   737833 |     8615     7306    453 | 28.979 % |
118.16/118.25	c ===============================================================================
118.16/118.25	c New solution: 37839
118.16/118.25	o 37839
118.16/118.25	c Elapsed CPU time: 117.794 s	Remaining CPU time: 62.2059 s
118.16/118.25	c ===============================================================================
118.16/118.25	c |      7316 |    3887    25846   739768 |     8615     7316    453 | 28.979 % |
118.56/118.66	c ===============================================================================
118.56/118.66	c New solution: 37838
118.56/118.66	o 37838
118.56/118.66	c Elapsed CPU time: 118.209 s	Remaining CPU time: 61.791 s
118.56/118.66	c ===============================================================================
118.56/118.66	c |      7326 |    3887    25847   741703 |     8615     7326    453 | 28.979 % |
118.85/118.92	c ===============================================================================
118.85/118.92	c New solution: 37837
118.85/118.92	o 37837
118.85/118.92	c Elapsed CPU time: 118.467 s	Remaining CPU time: 61.533 s
118.85/118.92	c ===============================================================================
118.85/118.92	c |      7332 |    3887    25848   743638 |     8616     7332    453 | 28.979 % |
120.55/120.67	c ===============================================================================
120.55/120.67	c New solution: 37836
120.55/120.67	o 37836
120.55/120.67	c Elapsed CPU time: 120.216 s	Remaining CPU time: 59.7843 s
120.55/120.67	c ===============================================================================
120.55/120.67	c |      7421 |    3887    25849   745573 |     8616     7421    453 | 28.979 % |
121.65/121.75	c ===============================================================================
121.65/121.75	c New solution: 37835
121.65/121.75	o 37835
121.65/121.75	c Elapsed CPU time: 121.287 s	Remaining CPU time: 58.7134 s
121.65/121.75	c ===============================================================================
121.65/121.75	c |      7474 |    3887    25850   747508 |     8616     7474    454 | 28.979 % |
121.96/122.08	c ===============================================================================
121.96/122.08	c New solution: 37834
121.96/122.08	o 37834
121.96/122.08	c Elapsed CPU time: 121.617 s	Remaining CPU time: 58.3835 s
121.96/122.08	c ===============================================================================
121.96/122.08	c |      7484 |    3887    25851   749443 |     8617     7484    454 | 28.979 % |
123.55/123.64	c ===============================================================================
123.55/123.64	c New solution: 36453
123.55/123.64	o 36453
123.55/123.64	c Elapsed CPU time: 123.174 s	Remaining CPU time: 56.8257 s
123.55/123.64	c ===============================================================================
123.55/123.64	c |      7513 |    3887    25852   751378 |     8617     7513    454 | 28.979 % |
124.65/124.76	c ===============================================================================
124.65/124.76	c New solution: 36367
124.65/124.76	o 36367
124.65/124.76	c Elapsed CPU time: 124.289 s	Remaining CPU time: 55.7109 s
124.65/124.76	c ===============================================================================
124.65/124.76	c |      7553 |    3887    25853   753313 |     8617     7553    453 | 28.979 % |
125.45/125.56	c ===============================================================================
125.45/125.56	c New solution: 36366
125.45/125.56	o 36366
125.45/125.56	c Elapsed CPU time: 125.088 s	Remaining CPU time: 54.912 s
125.45/125.56	c ===============================================================================
125.45/125.56	c |      7577 |    3887    25854   755248 |     8618     7577    454 | 28.979 % |
126.05/126.19	c ===============================================================================
126.05/126.19	c New solution: 36365
126.05/126.19	o 36365
126.05/126.19	c Elapsed CPU time: 125.718 s	Remaining CPU time: 54.2821 s
126.05/126.19	c ===============================================================================
126.05/126.19	c |      7616 |    3887    25855   757183 |     8618     7616    453 | 28.979 % |
126.36/126.50	c ===============================================================================
126.36/126.50	c New solution: 36364
126.36/126.50	o 36364
126.36/126.50	c Elapsed CPU time: 126.032 s	Remaining CPU time: 53.9682 s
126.36/126.50	c ===============================================================================
126.36/126.50	c |      7626 |    3887    25856   759118 |     8618     7626    453 | 28.979 % |
127.65/127.75	c |      7729 |    3887    25856   759118 |     9480     7729    453 | 28.979 % |
128.66/128.71	c |      7882 |    3887    25856   759118 |    10428     7882    451 | 28.979 % |
129.76/129.81	c ===============================================================================
129.76/129.81	c New solution: 36283
129.76/129.81	o 36283
129.76/129.81	c Elapsed CPU time: 129.336 s	Remaining CPU time: 50.6637 s
129.76/129.81	c ===============================================================================
129.76/129.81	c |      7890 |    3887    25857   761053 |     8619     7890    450 | 28.979 % |
130.05/130.14	c ===============================================================================
130.05/130.14	c New solution: 34924
130.05/130.14	o 34924
130.05/130.14	c Elapsed CPU time: 129.67 s	Remaining CPU time: 50.3297 s
130.05/130.14	c ===============================================================================
130.05/130.14	c |      7890 |    3887    25858   762988 |     8619     7890    450 | 28.979 % |
130.55/130.60	c ===============================================================================
130.55/130.60	c New solution: 34921
130.55/130.60	o 34921
130.55/130.60	c Elapsed CPU time: 130.123 s	Remaining CPU time: 49.8768 s
130.55/130.60	c ===============================================================================
130.55/130.60	c |      7890 |    3887    25859   764923 |     8619     7890    450 | 28.979 % |
130.85/130.92	c ===============================================================================
130.85/130.92	c New solution: 34916
130.85/130.92	o 34916
130.85/130.92	c Elapsed CPU time: 130.442 s	Remaining CPU time: 49.5578 s
130.85/130.92	c ===============================================================================
130.85/130.92	c |      7890 |    3887    25860   766858 |     8620     7890    450 | 28.979 % |
131.14/131.23	c ===============================================================================
131.14/131.23	c New solution: 34911
131.14/131.23	o 34911
131.14/131.23	c Elapsed CPU time: 130.751 s	Remaining CPU time: 49.2489 s
131.14/131.23	c ===============================================================================
131.14/131.23	c |      7890 |    3887    25861   768793 |     8620     7890    450 | 28.979 % |
131.45/131.50	c ===============================================================================
131.45/131.50	c New solution: 34910
131.45/131.50	o 34910
131.45/131.50	c Elapsed CPU time: 131.022 s	Remaining CPU time: 48.9779 s
131.45/131.50	c ===============================================================================
131.45/131.50	c |      7891 |    3887    25862   770728 |     8620     7891    450 | 28.979 % |
131.75/131.82	c ===============================================================================
131.75/131.82	c New solution: 34907
131.75/131.82	o 34907
131.75/131.82	c Elapsed CPU time: 131.339 s	Remaining CPU time: 48.661 s
131.75/131.82	c ===============================================================================
131.75/131.82	c |      7892 |    3887    25863   772663 |     8621     7892    450 | 28.979 % |
132.05/132.14	c ===============================================================================
132.05/132.14	c New solution: 34906
132.05/132.14	o 34906
132.05/132.14	c Elapsed CPU time: 131.657 s	Remaining CPU time: 48.343 s
132.05/132.14	c ===============================================================================
132.05/132.14	c |      7892 |    3887    25864   774598 |     8621     7892    450 | 28.979 % |
132.35/132.43	c ===============================================================================
132.35/132.43	c New solution: 34899
132.35/132.43	o 34899
132.35/132.43	c Elapsed CPU time: 131.946 s	Remaining CPU time: 48.0541 s
132.35/132.43	c ===============================================================================
132.35/132.43	c |      7893 |    3887    25865   776533 |     8621     7893    450 | 28.979 % |
132.65/132.79	c ===============================================================================
132.65/132.79	c New solution: 34898
132.65/132.79	o 34898
132.65/132.79	c Elapsed CPU time: 132.3 s	Remaining CPU time: 47.7001 s
132.65/132.79	c ===============================================================================
132.65/132.79	c |      7902 |    3887    25866   778468 |     8622     7902    450 | 28.979 % |
133.44/133.58	c ===============================================================================
133.44/133.58	c New solution: 34897
133.44/133.58	o 34897
133.44/133.58	c Elapsed CPU time: 133.093 s	Remaining CPU time: 46.9072 s
133.44/133.58	c ===============================================================================
133.44/133.58	c |      7904 |    3887    25867   780403 |     8622     7904    450 | 28.979 % |
135.16/135.21	c |      8004 |    3887    25867   780403 |     9484     8004    449 | 28.979 % |
136.05/136.19	c ===============================================================================
136.05/136.19	c New solution: 34896
136.05/136.19	o 34896
136.05/136.19	c Elapsed CPU time: 135.699 s	Remaining CPU time: 44.3006 s
136.05/136.19	c ===============================================================================
136.05/136.19	c |      8060 |    3887    25868   782338 |     8622     8060    450 | 28.979 % |
136.45/136.56	c ===============================================================================
136.45/136.56	c New solution: 34895
136.45/136.56	o 34895
136.45/136.56	c Elapsed CPU time: 136.07 s	Remaining CPU time: 43.9297 s
136.45/136.56	c ===============================================================================
136.45/136.56	c |      8069 |    3887    25869   784273 |     8623     8069    450 | 28.979 % |
137.15/137.27	c ===============================================================================
137.15/137.27	c New solution: 34879
137.15/137.27	o 34879
137.15/137.27	c Elapsed CPU time: 136.773 s	Remaining CPU time: 43.2268 s
137.15/137.27	c ===============================================================================
137.15/137.27	c |      8075 |    3887    25870   786208 |     8623     8075    450 | 28.979 % |
137.85/137.93	c ===============================================================================
137.85/137.93	c New solution: 34860
137.85/137.93	o 34860
137.85/137.93	c Elapsed CPU time: 137.438 s	Remaining CPU time: 42.5619 s
137.85/137.93	c ===============================================================================
137.85/137.93	c |      8075 |    3887    25871   788143 |     8623     8075    450 | 28.979 % |
138.94/139.06	c ===============================================================================
138.94/139.06	c New solution: 34859
138.94/139.06	o 34859
138.94/139.06	c Elapsed CPU time: 138.567 s	Remaining CPU time: 41.4331 s
138.94/139.06	c ===============================================================================
138.94/139.06	c |      8124 |    3887    25872   790078 |     8624     8124    449 | 28.979 % |
139.74/139.86	c ===============================================================================
139.74/139.86	c New solution: 34858
139.74/139.86	o 34858
139.74/139.86	c Elapsed CPU time: 139.363 s	Remaining CPU time: 40.6372 s
139.74/139.86	c ===============================================================================
139.74/139.86	c |      8134 |    3887    25873   792013 |     8624     8134    449 | 28.979 % |
140.24/140.31	c ===============================================================================
140.24/140.31	c New solution: 34857
140.24/140.31	o 34857
140.24/140.31	c Elapsed CPU time: 139.808 s	Remaining CPU time: 40.1923 s
140.24/140.31	c ===============================================================================
140.24/140.31	c |      8171 |    3887    25874   793948 |     8624     8171    449 | 28.979 % |
140.75/140.84	c ===============================================================================
140.75/140.84	c New solution: 34856
140.75/140.84	o 34856
140.75/140.84	c Elapsed CPU time: 140.339 s	Remaining CPU time: 39.6613 s
140.75/140.84	c ===============================================================================
140.75/140.84	c |      8180 |    3887    25875   795883 |     8625     8180    449 | 28.979 % |
142.34/142.49	c |      8280 |    3887    25875   795883 |     9487     8280    449 | 28.979 % |
142.54/142.69	c ===============================================================================
142.54/142.69	c New solution: 34855
142.54/142.69	o 34855
142.54/142.69	c Elapsed CPU time: 142.19 s	Remaining CPU time: 37.8096 s
142.54/142.69	c ===============================================================================
142.54/142.69	c |      8281 |    3887    25876   797818 |     8625     8281    449 | 28.979 % |
144.05/144.15	c |      8382 |    3887    25876   797818 |     9487     8382    449 | 28.979 % |
144.65/144.74	c ===============================================================================
144.65/144.74	c New solution: 34854
144.65/144.74	o 34854
144.65/144.74	c Elapsed CPU time: 144.233 s	Remaining CPU time: 35.7669 s
144.65/144.74	c ===============================================================================
144.65/144.74	c |      8382 |    3887    25877   799753 |     8625     8382    449 | 28.979 % |
145.25/145.31	c ===============================================================================
145.25/145.31	c New solution: 34853
145.25/145.31	o 34853
145.25/145.31	c Elapsed CPU time: 144.81 s	Remaining CPU time: 35.19 s
145.25/145.31	c ===============================================================================
145.25/145.31	c |      8382 |    3887    25878   801688 |     8626     8382    449 | 28.979 % |
145.75/145.89	c ===============================================================================
145.75/145.89	c New solution: 34852
145.75/145.89	o 34852
145.75/145.89	c Elapsed CPU time: 145.381 s	Remaining CPU time: 34.6191 s
145.75/145.89	c ===============================================================================
145.75/145.89	c |      8382 |    3887    25879   803623 |     8626     8382    449 | 28.979 % |
146.34/146.46	c ===============================================================================
146.34/146.46	c New solution: 34851
146.34/146.46	o 34851
146.34/146.46	c Elapsed CPU time: 145.953 s	Remaining CPU time: 34.0472 s
146.34/146.46	c ===============================================================================
146.34/146.46	c |      8382 |    3887    25880   805558 |     8626     8382    449 | 28.979 % |
146.94/147.05	c ===============================================================================
146.94/147.05	c New solution: 34850
146.94/147.05	o 34850
146.94/147.05	c Elapsed CPU time: 146.538 s	Remaining CPU time: 33.4623 s
146.94/147.05	c ===============================================================================
146.94/147.05	c |      8384 |    3887    25881   807493 |     8627     8384    449 | 28.979 % |
147.44/147.57	c ===============================================================================
147.44/147.57	c New solution: 34849
147.44/147.57	o 34849
147.44/147.57	c Elapsed CPU time: 147.06 s	Remaining CPU time: 32.9404 s
147.44/147.57	c ===============================================================================
147.44/147.57	c |      8390 |    3887    25882   809428 |     8627     8390    449 | 28.979 % |
148.04/148.17	c ===============================================================================
148.04/148.17	c New solution: 34848
148.04/148.17	o 34848
148.04/148.17	c Elapsed CPU time: 147.664 s	Remaining CPU time: 32.3364 s
148.04/148.17	c ===============================================================================
148.04/148.17	c |      8390 |    3887    25883   811363 |     8627     8390    449 | 28.979 % |
148.74/148.80	c ===============================================================================
148.74/148.80	c New solution: 34847
148.74/148.80	o 34847
148.74/148.80	c Elapsed CPU time: 148.289 s	Remaining CPU time: 31.7105 s
148.74/148.80	c ===============================================================================
148.74/148.80	c |      8393 |    3887    25884   813298 |     8628     8393    449 | 28.979 % |
149.24/149.30	c |      8493 |    3887    25884   813298 |     9490     8493    448 | 28.979 % |
150.44/150.55	c ===============================================================================
150.44/150.55	c New solution: 34846
150.44/150.55	o 34846
150.44/150.55	c Elapsed CPU time: 150.036 s	Remaining CPU time: 29.9638 s
150.44/150.55	c ===============================================================================
150.44/150.55	c |      8570 |    3887    25885   815233 |     8628     8570    448 | 28.979 % |
151.04/151.10	c ===============================================================================
151.04/151.10	c New solution: 34845
151.04/151.10	o 34845
151.04/151.10	c Elapsed CPU time: 150.592 s	Remaining CPU time: 29.4079 s
151.04/151.10	c ===============================================================================
151.04/151.10	c |      8575 |    3887    25886   817168 |     8628     8575    448 | 28.979 % |
151.54/151.69	c ===============================================================================
151.54/151.69	c New solution: 34844
151.54/151.69	o 34844
151.54/151.69	c Elapsed CPU time: 151.173 s	Remaining CPU time: 28.827 s
151.54/151.69	c ===============================================================================
151.54/151.69	c |      8608 |    3887    25887   819103 |     8629     8608    448 | 28.979 % |
152.24/152.32	c ===============================================================================
152.24/152.32	c New solution: 34843
152.24/152.32	o 34843
152.24/152.32	c Elapsed CPU time: 151.806 s	Remaining CPU time: 28.1941 s
152.24/152.32	c ===============================================================================
152.24/152.32	c |      8611 |    3887    25888   821038 |     8629     8611    448 | 28.979 % |
152.54/152.63	c ===============================================================================
152.54/152.63	c New solution: 34842
152.54/152.63	o 34842
152.54/152.63	c Elapsed CPU time: 152.115 s	Remaining CPU time: 27.8851 s
152.54/152.63	c ===============================================================================
152.54/152.63	c |      8614 |    3887    25889   822973 |     8629     8614    448 | 28.979 % |
152.84/152.92	c ===============================================================================
152.84/152.92	c New solution: 34841
152.84/152.92	o 34841
152.84/152.92	c Elapsed CPU time: 152.406 s	Remaining CPU time: 27.5942 s
152.84/152.92	c ===============================================================================
152.84/152.92	c |      8614 |    3887    25890   824908 |     8630     8614    448 | 28.979 % |
153.14/153.21	c ===============================================================================
153.14/153.21	c New solution: 34840
153.14/153.21	o 34840
153.14/153.21	c Elapsed CPU time: 152.694 s	Remaining CPU time: 27.3062 s
153.14/153.21	c ===============================================================================
153.14/153.21	c |      8614 |    3887    25891   826843 |     8630     8614    448 | 28.979 % |
153.45/153.51	c ===============================================================================
153.45/153.51	c New solution: 34839
153.45/153.51	o 34839
153.45/153.51	c Elapsed CPU time: 152.992 s	Remaining CPU time: 27.0083 s
153.45/153.51	c ===============================================================================
153.45/153.51	c |      8615 |    3887    25892   828778 |     8630     8615    448 | 28.979 % |
154.64/154.77	c ===============================================================================
154.64/154.77	c New solution: 34838
154.64/154.77	o 34838
154.64/154.77	c Elapsed CPU time: 154.251 s	Remaining CPU time: 25.7494 s
154.64/154.77	c ===============================================================================
154.64/154.77	c |      8697 |    3887    25893   830713 |     8631     8697    448 | 28.979 % |
155.05/155.18	c ===============================================================================
155.05/155.18	c New solution: 34837
155.05/155.18	o 34837
155.05/155.18	c Elapsed CPU time: 154.663 s	Remaining CPU time: 25.3365 s
155.05/155.18	c ===============================================================================
155.05/155.18	c |      8717 |    3887    25894   832648 |     8631     8717    448 | 28.979 % |
155.74/155.80	c ===============================================================================
155.74/155.80	c New solution: 34836
155.74/155.80	o 34836
155.74/155.80	c Elapsed CPU time: 155.279 s	Remaining CPU time: 24.7206 s
155.74/155.80	c ===============================================================================
155.74/155.80	c |      8717 |    3887    25895   834583 |     8631     8717    448 | 28.979 % |
156.34/156.42	c ===============================================================================
156.34/156.42	c New solution: 34835
156.34/156.42	o 34835
156.34/156.42	c Elapsed CPU time: 155.892 s	Remaining CPU time: 24.1077 s
156.34/156.42	c ===============================================================================
156.34/156.42	c |      8717 |    3887    25896   836518 |     8632     8717    448 | 28.979 % |
156.95/157.04	c ===============================================================================
156.95/157.04	c New solution: 34834
156.95/157.04	o 34834
156.95/157.04	c Elapsed CPU time: 156.509 s	Remaining CPU time: 23.4908 s
156.95/157.04	c ===============================================================================
156.95/157.04	c |      8717 |    3887    25897   838453 |     8632     8717    448 | 28.979 % |
157.54/157.65	c ===============================================================================
157.54/157.65	c New solution: 34833
157.54/157.65	o 34833
157.54/157.65	c Elapsed CPU time: 157.12 s	Remaining CPU time: 22.8799 s
157.54/157.65	c ===============================================================================
157.54/157.65	c |      8717 |    3887    25898   840388 |     8632     8717    448 | 28.979 % |
158.14/158.26	c ===============================================================================
158.14/158.26	c New solution: 34832
158.14/158.26	o 34832
158.14/158.26	c Elapsed CPU time: 157.727 s	Remaining CPU time: 22.273 s
158.14/158.26	c ===============================================================================
158.14/158.26	c |      8717 |    3887    25899   842323 |     8633     8717    448 | 28.979 % |
158.44/158.54	c ===============================================================================
158.44/158.54	c New solution: 34831
158.44/158.54	o 34831
158.44/158.54	c Elapsed CPU time: 158.005 s	Remaining CPU time: 21.995 s
158.44/158.54	c ===============================================================================
158.44/158.54	c |      8727 |    3887    25900   844258 |     8633     8727    448 | 28.979 % |
159.14/159.22	c ===============================================================================
159.14/159.22	c New solution: 34830
159.14/159.22	o 34830
159.14/159.22	c Elapsed CPU time: 158.691 s	Remaining CPU time: 21.3091 s
159.14/159.22	c ===============================================================================
159.14/159.22	c |      8734 |    3887    25901   846193 |     8633     8734    448 | 28.979 % |
160.14/160.21	c ===============================================================================
160.14/160.21	c New solution: 33443
160.14/160.21	o 33443
160.14/160.21	c Elapsed CPU time: 159.678 s	Remaining CPU time: 20.3223 s
160.14/160.21	c ===============================================================================
160.14/160.21	c |      8756 |    3887    25902   848128 |     8634     8756    448 | 28.979 % |
160.63/160.78	c ===============================================================================
160.63/160.78	c New solution: 33380
160.63/160.78	o 33380
160.63/160.78	c Elapsed CPU time: 160.247 s	Remaining CPU time: 19.7534 s
160.63/160.78	c ===============================================================================
160.63/160.78	c |      8767 |    3887    25903   850063 |     8634     8767    448 | 28.979 % |
161.14/161.29	c |      8867 |    3887    25903   850063 |     9497     8867    448 | 28.979 % |
163.04/163.10	c ===============================================================================
163.04/163.10	c New solution: 33379
163.04/163.10	o 33379
163.04/163.10	c Elapsed CPU time: 162.563 s	Remaining CPU time: 17.4367 s
163.04/163.10	c ===============================================================================
163.04/163.10	c |      8999 |    3887    25904   851998 |     8634     8999    446 | 28.979 % |
163.54/163.66	c ===============================================================================
163.54/163.66	c New solution: 33378
163.54/163.66	o 33378
163.54/163.66	c Elapsed CPU time: 163.118 s	Remaining CPU time: 16.8818 s
163.54/163.66	c ===============================================================================
163.54/163.66	c |      9000 |    3887    25905   853933 |     8635     9000    446 | 28.979 % |
163.85/163.98	c ===============================================================================
163.85/163.98	c New solution: 33377
163.85/163.98	o 33377
163.85/163.98	c Elapsed CPU time: 163.44 s	Remaining CPU time: 16.5598 s
163.85/163.98	c ===============================================================================
163.85/163.98	c |      9002 |    3887    25906   855868 |     8635     9002    446 | 28.979 % |
164.14/164.29	c ===============================================================================
164.14/164.29	c New solution: 33376
164.14/164.29	o 33376
164.14/164.29	c Elapsed CPU time: 163.75 s	Remaining CPU time: 16.2499 s
164.14/164.29	c ===============================================================================
164.14/164.29	c |      9003 |    3887    25907   857803 |     8635     9003    446 | 28.979 % |
164.54/164.62	c ===============================================================================
164.54/164.62	c New solution: 33375
164.54/164.62	o 33375
164.54/164.62	c Elapsed CPU time: 164.072 s	Remaining CPU time: 15.9279 s
164.54/164.62	c ===============================================================================
164.54/164.62	c |      9005 |    3887    25908   859738 |     8636     9005    446 | 28.979 % |
164.94/165.09	c ===============================================================================
164.94/165.09	c New solution: 33374
164.94/165.09	o 33374
164.94/165.09	c Elapsed CPU time: 164.547 s	Remaining CPU time: 15.453 s
164.94/165.09	c ===============================================================================
164.94/165.09	c |      9021 |    3887    25909   861673 |     8636     9021    446 | 28.979 % |
165.43/165.57	c ===============================================================================
165.43/165.57	c New solution: 33373
165.43/165.57	o 33373
165.43/165.57	c Elapsed CPU time: 165.026 s	Remaining CPU time: 14.9741 s
165.43/165.57	c ===============================================================================
165.43/165.57	c |      9030 |    3887    25910   863608 |     8636     9030    446 | 28.979 % |
165.94/166.02	c ===============================================================================
165.94/166.02	c New solution: 33372
165.94/166.02	o 33372
165.94/166.02	c Elapsed CPU time: 165.473 s	Remaining CPU time: 14.5272 s
165.94/166.02	c ===============================================================================
165.94/166.02	c |      9047 |    3887    25911   865543 |     8637     9047    446 | 28.979 % |
166.74/166.82	c ===============================================================================
166.74/166.82	c New solution: 33371
166.74/166.82	o 33371
166.74/166.82	c Elapsed CPU time: 166.268 s	Remaining CPU time: 13.7323 s
166.74/166.82	c ===============================================================================
166.74/166.82	c |      9072 |    3887    25912   867478 |     8637     9072    447 | 28.979 % |
167.15/167.26	c ===============================================================================
167.15/167.26	c New solution: 33370
167.15/167.26	o 33370
167.15/167.26	c Elapsed CPU time: 166.709 s	Remaining CPU time: 13.2913 s
167.15/167.26	c ===============================================================================
167.15/167.26	c |      9078 |    3887    25913   869413 |     8637     9078    446 | 28.979 % |
168.54/168.68	c ===============================================================================
168.54/168.68	c New solution: 33369
168.54/168.68	o 33369
168.54/168.68	c Elapsed CPU time: 168.125 s	Remaining CPU time: 11.8746 s
168.54/168.68	c ===============================================================================
168.54/168.68	c |      9151 |    3887    25914   871348 |     8638     9151    446 | 28.979 % |
168.94/169.02	c ===============================================================================
168.94/169.02	c New solution: 33368
168.94/169.02	o 33368
168.94/169.02	c Elapsed CPU time: 168.464 s	Remaining CPU time: 11.5356 s
168.94/169.02	c ===============================================================================
168.94/169.02	c |      9153 |    3887    25915   873283 |     8638     9153    446 | 28.979 % |
170.64/170.78	c |      9253 |    3887    25915   873283 |     9502     9253    446 | 28.979 % |
171.04/171.15	c ===============================================================================
171.04/171.15	c New solution: 33367
171.04/171.15	o 33367
171.04/171.15	c Elapsed CPU time: 170.602 s	Remaining CPU time: 9.39794 s
171.04/171.15	c ===============================================================================
171.04/171.15	c |      9256 |    3887    25916   875218 |     8638     9256    446 | 28.979 % |
171.64/171.77	c ===============================================================================
171.64/171.77	c New solution: 33366
171.64/171.77	o 33366
171.64/171.77	c Elapsed CPU time: 171.216 s	Remaining CPU time: 8.78403 s
171.64/171.77	c ===============================================================================
171.64/171.77	c |      9263 |    3887    25917   877153 |     8639     9263    446 | 28.979 % |
172.14/172.21	c ===============================================================================
172.14/172.21	c New solution: 33365
172.14/172.21	o 33365
172.14/172.21	c Elapsed CPU time: 171.656 s	Remaining CPU time: 8.3441 s
172.14/172.21	c ===============================================================================
172.14/172.21	c |      9263 |    3887    25918   879088 |     8639     9263    446 | 28.979 % |
172.54/172.63	c ===============================================================================
172.54/172.63	c New solution: 33364
172.54/172.63	o 33364
172.54/172.63	c Elapsed CPU time: 172.076 s	Remaining CPU time: 7.92416 s
172.54/172.63	c ===============================================================================
172.54/172.63	c |      9263 |    3887    25919   881023 |     8639     9263    446 | 28.979 % |
173.04/173.13	c ===============================================================================
173.04/173.13	c New solution: 33363
173.04/173.13	o 33363
173.04/173.13	c Elapsed CPU time: 172.577 s	Remaining CPU time: 7.42324 s
173.04/173.13	c ===============================================================================
173.04/173.13	c |      9263 |    3887    25920   882958 |     8640     9263    446 | 28.979 % |
173.44/173.58	c ===============================================================================
173.44/173.58	c New solution: 33362
173.44/173.58	o 33362
173.44/173.58	c Elapsed CPU time: 173.028 s	Remaining CPU time: 6.97231 s
173.44/173.58	c ===============================================================================
173.44/173.58	c |      9264 |    3887    25921   884893 |     8640     9264    446 | 28.979 % |
175.53/175.66	c ===============================================================================
175.53/175.66	c New solution: 31940
175.53/175.66	o 31940
175.53/175.66	c Elapsed CPU time: 175.096 s	Remaining CPU time: 4.90362 s
175.53/175.66	c ===============================================================================
175.53/175.66	c |      9330 |    3887    25922   886828 |     8640     9330    447 | 28.979 % |
176.63/176.76	c ===============================================================================
176.63/176.76	c New solution: 31938
176.63/176.76	o 31938
176.63/176.76	c Elapsed CPU time: 176.2 s	Remaining CPU time: 3.79979 s
176.63/176.76	c ===============================================================================
176.63/176.76	c |      9357 |    3887    25923   888763 |     8641     9357    446 | 28.979 % |
177.64/177.73	c ===============================================================================
177.64/177.73	c New solution: 31907
177.64/177.73	o 31907
177.64/177.73	c Elapsed CPU time: 177.165 s	Remaining CPU time: 2.83493 s
177.64/177.73	c ===============================================================================
177.64/177.73	c |      9385 |    3887    25924   890698 |     8641     9385    446 | 28.979 % |
177.93/178.04	c ===============================================================================
177.93/178.04	c New solution: 31878
177.93/178.04	o 31878
177.93/178.04	c Elapsed CPU time: 177.476 s	Remaining CPU time: 2.52398 s
177.93/178.04	c ===============================================================================
177.93/178.04	c |      9390 |    3887    25925   892633 |     8641     9390    446 | 28.979 % |
178.33/178.47	c ===============================================================================
178.33/178.47	c New solution: 31877
178.33/178.47	o 31877
178.33/178.47	c Elapsed CPU time: 177.9 s	Remaining CPU time: 2.10004 s
178.33/178.47	c ===============================================================================
178.33/178.47	c |      9394 |    3887    25926   894568 |     8642     9394    446 | 28.979 % |
179.63/179.79	c ===============================================================================
179.63/179.79	c New solution: 31876
179.63/179.79	o 31876
179.63/179.79	c Elapsed CPU time: 179.226 s	Remaining CPU time: 0.774247 s
179.63/179.79	c ===============================================================================
179.63/179.79	c |      9430 |    3887    25927   896503 |     8642     9430    446 | 28.979 % |
180.24/180.35	c |      9533 |    3887    25927   896503 |     9506     9533    446 | 28.979 % |
180.54/180.60	c There are 1586 assigned variables. 258 in cost function.
183.54/183.68	c core #1
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 2	Core Weight: 1	Total Weight: 127
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #2
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 2	Core Weight: 1	Total Weight: 128
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #3
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 7	Core Weight: 2	Total Weight: 130
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #4
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 7	Core Weight: 1	Total Weight: 131
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #5
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 7	Core Weight: 1	Total Weight: 132
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #6
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 6	Core Weight: 1	Total Weight: 133
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #7
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 8	Core Weight: 2	Total Weight: 135
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #8
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 10	Core Weight: 1	Total Weight: 136
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #9
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 10	Core Weight: 1	Total Weight: 137
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #10
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 8	Core Weight: 1	Total Weight: 138
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #11
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 9	Core Weight: 1	Total Weight: 139
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #12
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 9	Core Weight: 1	Total Weight: 140
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #13
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 5	Core Weight: 1483	Total Weight: 1623
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #14
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 6	Core Weight: 11	Total Weight: 1634
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #15
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 7	Core Weight: 1482	Total Weight: 3116
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #16
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 3	Core Weight: 1	Total Weight: 3117
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #17
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 8	Core Weight: 12	Total Weight: 3129
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #18
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 5	Core Weight: 1	Total Weight: 3130
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #19
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 6	Core Weight: 1	Total Weight: 3131
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #20
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 9	Core Weight: 1	Total Weight: 3132
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #21
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 9	Core Weight: 1478	Total Weight: 4610
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #22
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 9	Core Weight: 18	Total Weight: 4628
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #23
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 5	Core Weight: 1	Total Weight: 4629
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #24
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 4	Core Weight: 1	Total Weight: 4630
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #25
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 5	Core Weight: 1	Total Weight: 4631
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #26
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 7	Core Weight: 1	Total Weight: 4632
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #27
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 8	Core Weight: 1	Total Weight: 4633
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #28
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 11	Core Weight: 1	Total Weight: 4634
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #29
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 12	Core Weight: 1	Total Weight: 4635
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #30
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 21	Core Weight: 1	Total Weight: 4636
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #31
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 18	Core Weight: 1	Total Weight: 4637
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #32
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 19	Core Weight: 1	Total Weight: 4638
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #33
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 7	Core Weight: 1	Total Weight: 4639
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #34
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 22	Core Weight: 1	Total Weight: 4640
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #35
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 10	Core Weight: 1	Total Weight: 4641
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #36
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 7	Core Weight: 1	Total Weight: 4642
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #37
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 3	Core Weight: 1	Total Weight: 4643
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #38
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 10	Core Weight: 1	Total Weight: 4644
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #39
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 8	Core Weight: 1	Total Weight: 4645
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #40
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 11	Core Weight: 1	Total Weight: 4646
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #41
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 9	Core Weight: 1	Total Weight: 4647
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #42
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 12	Core Weight: 1	Total Weight: 4648
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #43
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 17	Core Weight: 1	Total Weight: 4649
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #44
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 18	Core Weight: 1	Total Weight: 4650
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #45
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 8	Core Weight: 1	Total Weight: 4651
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #46
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 26	Core Weight: 1	Total Weight: 4652
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #47
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 10	Core Weight: 1	Total Weight: 4653
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #48
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 12	Core Weight: 1	Total Weight: 4654
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #49
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 12	Core Weight: 1	Total Weight: 4655
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c core #50
183.54/183.68	c 
183.54/183.68	c 
183.54/183.68	c Core size: 14	Core Weight: 1459	Total Weight: 6114
183.54/183.68	c
183.54/183.68	c
183.54/183.68	c ============================[ Search Statistics ]==============================
183.54/183.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.54/183.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.54/183.68	c ===============================================================================
183.54/183.68	c |         0 |     591    19618    10050 |     6539        0    nan |  0.000 % |
183.54/183.68	c ===============================================================================
183.54/183.70	c #cores: 50
183.54/183.70	c Final Weight: 6114
183.54/183.70	o 6114
183.54/183.70	s OPTIMUM FOUND
183.54/183.70	v -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 -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 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
183.54/183.70	c Total CPU time: 183.006 s

Verifier Data 

OK	6114

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2683341-1277508974/watcher-2683341-1277508974 -o /tmp/evaluation-result-2683341-1277508974/solver-2683341-1277508974 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683341-1277508974.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.95 0.98 1.18 2/106 31537
/proc/meminfo: memFree=1865772/2059040 swapFree=4139460/4192956
[pid=31537] ppid=31535 vsize=3636 CPUtime=0
/proc/31537/stat : 31537 (wbo1.4b) R 31535 31537 31134 0 -1 4202496 346 0 0 0 0 0 0 0 19 0 1 0 92188354 3723264 264 1992294400 134512640 135752675 4293937664 18446744073709551615 134560995 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31537/statm: 909 264 138 303 0 416 0

[startup+0.091998 s]
/proc/loadavg: 0.95 0.98 1.18 2/106 31537
/proc/meminfo: memFree=1865772/2059040 swapFree=4139460/4192956
[pid=31537] ppid=31535 vsize=5248 CPUtime=0.08
/proc/31537/stat : 31537 (wbo1.4b) R 31535 31537 31134 0 -1 4202496 871 0 0 0 8 0 0 0 19 0 1 0 92188354 5373952 789 1992294400 134512640 135752675 4293937664 18446744073709551615 135096987 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31537/statm: 1312 789 283 303 0 819 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5248

[startup+0.100998 s]
/proc/loadavg: 0.95 0.98 1.18 2/106 31537
/proc/meminfo: memFree=1865772/2059040 swapFree=4139460/4192956
[pid=31537] ppid=31535 vsize=5248 CPUtime=0.09
/proc/31537/stat : 31537 (wbo1.4b) R 31535 31537 31134 0 -1 4202496 903 0 0 0 9 0 0 0 19 0 1 0 92188354 5373952 821 1992294400 134512640 135752675 4293937664 18446744073709551615 134559914 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31537/statm: 1312 821 299 303 0 819 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5248

[startup+0.300994 s]
/proc/loadavg: 0.95 0.98 1.18 2/106 31537
/proc/meminfo: memFree=1865772/2059040 swapFree=4139460/4192956
[pid=31537] ppid=31535 vsize=6756 CPUtime=0.29
/proc/31537/stat : 31537 (wbo1.4b) R 31535 31537 31134 0 -1 4202496 1486 0 0 0 29 0 0 0 20 0 1 0 92188354 6918144 1216 1992294400 134512640 135752675 4293937664 18446744073709551615 134580222 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31537/statm: 1689 1216 142 303 0 1384 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6756

[startup+0.700986 s]
/proc/loadavg: 0.95 0.98 1.18 2/106 31537
/proc/meminfo: memFree=1865772/2059040 swapFree=4139460/4192956
[pid=31537] ppid=31535 vsize=7680 CPUtime=0.69
/proc/31537/stat : 31537 (wbo1.4b) R 31535 31537 31134 0 -1 4202496 1707 0 0 0 69 0 0 0 21 0 1 0 92188354 7864320 1437 1992294400 134512640 135752675 4293937664 18446744073709551615 134580205 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31537/statm: 1920 1437 142 303 0 1615 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7680

[startup+1.50097 s]
/proc/loadavg: 0.95 0.98 1.18 2/107 31538
/proc/meminfo: memFree=1860308/2059040 swapFree=4139460/4192956
[pid=31537] ppid=31535 vsize=8340 CPUtime=1.49
/proc/31537/stat : 31537 (wbo1.4b) R 31535 31537 31134 0 -1 4202496 1897 0 0 0 149 0 0 0 23 0 1 0 92188354 8540160 1627 1992294400 134512640 135752675 4293937664 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31537/statm: 2085 1627 142 303 0 1780 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8340

[startup+3.10094 s]
/proc/loadavg: 0.95 0.98 1.18 2/107 31538
/proc/meminfo: memFree=1858572/2059040 swapFree=4139460/4192956
[pid=31537] ppid=31535 vsize=10584 CPUtime=3.09
/proc/31537/stat : 31537 (wbo1.4b) R 31535 31537 31134 0 -1 4202496 2460 0 0 0 308 1 0 0 25 0 1 0 92188354 10838016 2190 1992294400 134512640 135752675 4293937664 18446744073709551615 135008670 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31537/statm: 2646 2190 142 303 0 2341 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10584

[startup+6.30188 s]
/proc/loadavg: 1.03 1.00 1.19 2/107 31538
/proc/meminfo: memFree=1855720/2059040 swapFree=4139460/4192956
[pid=31537] ppid=31535 vsize=12036 CPUtime=6.29
/proc/31537/stat : 31537 (wbo1.4b) R 31535 31537 31134 0 -1 4202496 2818 0 0 0 627 2 0 0 25 0 1 0 92188354 12324864 2548 1992294400 134512640 135752675 4293937664 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31537/statm: 3009 2548 142 303 0 2704 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12036

[startup+12.7008 s]
/proc/loadavg: 1.03 1.00 1.18 2/107 31538
/proc/meminfo: memFree=1854852/2059040 swapFree=4139460/4192956
[pid=31537] ppid=31535 vsize=13480 CPUtime=12.69
/proc/31537/stat : 31537 (wbo1.4b) R 31535 31537 31134 0 -1 4202496 3176 0 0 0 1256 13 0 0 18 0 1 0 92188354 13803520 2906 1992294400 134512640 135752675 4293937664 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31537/statm: 3370 2906 145 303 0 3065 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13480

[startup+25.5005 s]
/proc/loadavg: 1.02 1.00 1.18 2/107 31538
/proc/meminfo: memFree=1848280/2059040 swapFree=4139460/4192956
[pid=31537] ppid=31535 vsize=19652 CPUtime=25.48
/proc/31537/stat : 31537 (wbo1.4b) R 31535 31537 31134 0 -1 4202496 4738 0 0 0 2527 21 0 0 19 0 1 0 92188354 20123648 4468 1992294400 134512640 135752675 4293937664 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31537/statm: 4913 4468 145 303 0 4608 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19652

[startup+51.101 s]
/proc/loadavg: 1.01 1.00 1.18 2/107 31540
/proc/meminfo: memFree=1840964/2059040 swapFree=4139460/4192956
[pid=31537] ppid=31535 vsize=27024 CPUtime=51.07
/proc/31537/stat : 31537 (wbo1.4b) R 31535 31537 31134 0 -1 4202496 6584 0 0 0 5078 29 0 0 18 0 1 0 92188354 27672576 6314 1992294400 134512640 135752675 4293937664 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31537/statm: 6756 6314 145 303 0 6451 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 27024

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.17 2/107 31540
/proc/meminfo: memFree=1830920/2059040 swapFree=4139460/4192956
[pid=31537] ppid=31535 vsize=36708 CPUtime=102.27
/proc/31537/stat : 31537 (wbo1.4b) R 31535 31537 31134 0 -1 4202496 8996 0 0 0 10188 39 0 0 25 0 1 0 92188354 37588992 8726 1992294400 134512640 135752675 4293937664 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31537/statm: 9177 8726 145 303 0 8872 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 36708

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 31542
/proc/meminfo: memFree=1823232/2059040 swapFree=4139460/4192956
[pid=31537] ppid=31535 vsize=44408 CPUtime=162.24
/proc/31537/stat : 31537 (wbo1.4b) R 31535 31537 31134 0 -1 4202496 10906 0 0 0 16175 49 0 0 25 0 1 0 92188354 45473792 10636 1992294400 134512640 135752675 4293937664 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31537/statm: 11102 10636 145 303 0 10797 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 44408

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

[startup+166.301 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 31542
/proc/meminfo: memFree=1822612/2059040 swapFree=4139460/4192956
[pid=31537] ppid=31535 vsize=44940 CPUtime=166.24
/proc/31537/stat : 31537 (wbo1.4b) R 31535 31537 31134 0 -1 4202496 11038 0 0 0 16574 50 0 0 18 0 1 0 92188354 46018560 10768 1992294400 134512640 135752675 4293937664 18446744073709551615 134605424 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31537/statm: 11235 10768 145 303 0 10930 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 44940

[startup+172.709 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 31542
/proc/meminfo: memFree=1821868/2059040 swapFree=4139460/4192956
[pid=31537] ppid=31535 vsize=45732 CPUtime=172.65
/proc/31537/stat : 31537 (wbo1.4b) R 31535 31537 31134 0 -1 4202496 11231 0 0 0 17215 50 0 0 25 0 1 0 92188354 46829568 10961 1992294400 134512640 135752675 4293937664 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31537/statm: 11433 10961 145 303 0 11128 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 45732

[startup+179.1 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 31542
/proc/meminfo: memFree=1821124/2059040 swapFree=4139460/4192956
[pid=31537] ppid=31535 vsize=46256 CPUtime=179.03
/proc/31537/stat : 31537 (wbo1.4b) R 31535 31537 31134 0 -1 4202496 11372 0 0 0 17852 51 0 0 19 0 1 0 92188354 47366144 11102 1992294400 134512640 135752675 4293937664 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31537/statm: 11564 11102 145 303 0 11259 0
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (KiB) 46256

[startup+182.3 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 31542
/proc/meminfo: memFree=1813684/2059040 swapFree=4139460/4192956
[pid=31537] ppid=31535 vsize=99612 CPUtime=182.23
/proc/31537/stat : 31537 (wbo1.4b) R 31535 31537 31134 0 -1 4202496 24880 0 0 0 18166 57 0 0 25 0 1 0 92188354 102002688 24463 1992294400 134512640 135752675 4293937664 18446744073709551615 135202421 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31537/statm: 24903 24463 146 303 0 24598 0
Current children cumulated CPU time (s) 182.23
Current children cumulated vsize (KiB) 99612

[startup+183.1 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 31542
/proc/meminfo: memFree=1758752/2059040 swapFree=4139460/4192956
[pid=31537] ppid=31535 vsize=138084 CPUtime=183.04
/proc/31537/stat : 31537 (wbo1.4b) R 31535 31537 31134 0 -1 4202496 34483 0 0 0 18242 62 0 0 25 0 1 0 92188354 141398016 34066 1992294400 134512640 135752675 4293937664 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31537/statm: 34521 34066 146 303 0 34216 0
Current children cumulated CPU time (s) 183.04
Current children cumulated vsize (KiB) 138084

[startup+183.5 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 31542
/proc/meminfo: memFree=1758752/2059040 swapFree=4139460/4192956
[pid=31537] ppid=31535 vsize=154760 CPUtime=183.44
/proc/31537/stat : 31537 (wbo1.4b) R 31535 31537 31134 0 -1 4202496 38645 0 0 0 18280 64 0 0 25 0 1 0 92188354 158474240 38228 1992294400 134512640 135752675 4293937664 18446744073709551615 135206242 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/31537/statm: 38690 38228 146 303 0 38385 0
Current children cumulated CPU time (s) 183.44
Current children cumulated vsize (KiB) 154760

[startup+183.708 s]
/proc/loadavg: 1.00 1.00 1.15 2/107 31542
/proc/meminfo: memFree=1708532/2059040 swapFree=4139460/4192956
[pid=31537] ppid=31535 vsize=0 CPUtime=183.64
/proc/31537/stat : 31537 (wbo1.4b) R 31535 31537 31134 0 -1 4202500 40778 0 0 0 18300 64 0 0 18 0 1 0 92188354 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0
/proc/31537/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 183.64
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 183.722
CPU time (s): 183.663
CPU user time (s): 183.006
CPU system time (s): 0.6569
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 159644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 183.006
system time used= 0.6569
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40778
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= 123
involuntary context switches= 2371

runsolver used 0.344947 second user time and 0.887865 second system time

The end

Launcher Data 

Begin job on node056 at 2010-06-26 01:36:14
IDJOB=2683341
IDBENCH=72104
IDSOLVER=1190
FILE ID=node056/2683341-1277508974
PBS_JOBID= 11190645
Free space on /tmp= 98380 MiB

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

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

MD5SUM BENCH= 818b79ae869509d5a8ea99635b1eadb4
RANDOM SEED=813768492

node056.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.215
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.43
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.215
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1866300 kB
Buffers:          4392 kB
Cached:         118272 kB
SwapCached:       6936 kB
Active:          44828 kB
Inactive:        91300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1866300 kB
SwapTotal:     4192956 kB
SwapFree:      4139460 kB
Dirty:            3472 kB
Writeback:           0 kB
AnonPages:       11412 kB
Mapped:          11836 kB
Slab:            34672 kB
PageTables:       4156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181384 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= 98376 MiB
End job on node056 at 2010-06-26 01:39:18