Trace number 2683330

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.4bOPT6114 184.211 184.264

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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2683330-1277508921.opb.
0.00/0.00	c Instance file HOME/instance-2683330-1277508921.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.49/6.58	c ============================[ Search Statistics ]==============================
6.49/6.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.49/6.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.49/6.58	c ===============================================================================
6.49/6.58	c |         0 |    3887    25488    47038 |     8009        0    nan |  0.000 % |
6.60/6.64	c ===============================================================================
6.60/6.64	c New solution: 385942
6.60/6.64	o 385942
6.60/6.64	c Elapsed CPU time: 6.604 s	Remaining CPU time: 173.396 s
6.60/6.64	c ===============================================================================
6.60/6.64	c |        34 |    3887    25489    48976 |     8496       34      4 |  0.000 % |
6.60/6.65	c ===============================================================================
6.60/6.65	c New solution: 384504
6.60/6.65	o 384504
6.60/6.65	c Elapsed CPU time: 6.61299 s	Remaining CPU time: 173.387 s
6.60/6.65	c ===============================================================================
6.60/6.65	c |        51 |    3887    25490    50914 |     8496       51     18 |  0.000 % |
6.60/6.68	c ===============================================================================
6.60/6.68	c New solution: 142505
6.60/6.68	o 142505
6.60/6.68	c Elapsed CPU time: 6.63699 s	Remaining CPU time: 173.363 s
6.60/6.68	c ===============================================================================
6.60/6.68	c |        87 |    3887    25491    52852 |     8497       87     12 |  0.000 % |
6.60/6.69	c ===============================================================================
6.60/6.69	c New solution: 142453
6.60/6.69	o 142453
6.60/6.69	c Elapsed CPU time: 6.64999 s	Remaining CPU time: 173.35 s
6.60/6.69	c ===============================================================================
6.60/6.69	c |        97 |    3887    25492    54790 |     8497       97     17 |  0.000 % |
6.70/6.72	c ===============================================================================
6.70/6.72	c New solution: 142452
6.70/6.72	o 142452
6.70/6.72	c Elapsed CPU time: 6.67798 s	Remaining CPU time: 173.322 s
6.70/6.72	c ===============================================================================
6.70/6.72	c |       138 |    3887    25493    56728 |     8497      138     78 |  0.000 % |
6.70/6.76	c ===============================================================================
6.70/6.76	c New solution: 126092
6.70/6.76	o 126092
6.70/6.76	c Elapsed CPU time: 6.70398 s	Remaining CPU time: 173.296 s
6.70/6.76	c ===============================================================================
6.70/6.76	c |       175 |    3887    25494    58666 |     8498      175     62 |  0.000 % |
6.70/6.77	c ===============================================================================
6.70/6.77	c New solution: 93207
6.70/6.77	o 93207
6.70/6.77	c Elapsed CPU time: 6.71398 s	Remaining CPU time: 173.286 s
6.70/6.77	c ===============================================================================
6.70/6.77	c |       176 |    3887    25495    60604 |     8498      176     61 |  0.000 % |
6.70/6.78	c ===============================================================================
6.70/6.78	c New solution: 93187
6.70/6.78	o 93187
6.70/6.78	c Elapsed CPU time: 6.72398 s	Remaining CPU time: 173.276 s
6.70/6.78	c ===============================================================================
6.70/6.78	c |       176 |    3887    25496    62542 |     8498      176     61 |  0.000 % |
6.79/6.80	c ===============================================================================
6.79/6.80	c New solution: 93186
6.79/6.80	o 93186
6.79/6.80	c Elapsed CPU time: 6.74198 s	Remaining CPU time: 173.258 s
6.79/6.80	c ===============================================================================
6.79/6.80	c |       178 |    3887    25497    64480 |     8499      178     64 |  0.000 % |
6.79/6.83	c ===============================================================================
6.79/6.83	c New solution: 93185
6.79/6.83	o 93185
6.79/6.83	c Elapsed CPU time: 6.76897 s	Remaining CPU time: 173.231 s
6.79/6.83	c ===============================================================================
6.79/6.83	c |       193 |    3887    25498    66418 |     8499      193     62 |  0.000 % |
6.79/6.87	c ===============================================================================
6.79/6.87	c New solution: 93128
6.79/6.87	o 93128
6.79/6.87	c Elapsed CPU time: 6.81396 s	Remaining CPU time: 173.186 s
6.79/6.87	c ===============================================================================
6.79/6.87	c |       196 |    3887    25499    68356 |     8499      196     61 |  0.000 % |
6.89/6.90	c ===============================================================================
6.89/6.90	c New solution: 93127
6.89/6.90	o 93127
6.89/6.90	c Elapsed CPU time: 6.84296 s	Remaining CPU time: 173.157 s
6.89/6.90	c ===============================================================================
6.89/6.90	c |       202 |    3887    25500    70294 |     8500      202     65 |  0.000 % |
6.89/6.93	c ===============================================================================
6.89/6.93	c New solution: 91744
6.89/6.93	o 91744
6.89/6.93	c Elapsed CPU time: 6.86496 s	Remaining CPU time: 173.135 s
6.89/6.93	c ===============================================================================
6.89/6.93	c |       216 |    3887    25501    72232 |     8500      216     64 |  0.000 % |
6.99/7.00	c ===============================================================================
6.99/7.00	c New solution: 91648
6.99/7.00	o 91648
6.99/7.00	c Elapsed CPU time: 6.93494 s	Remaining CPU time: 173.065 s
6.99/7.00	c ===============================================================================
6.99/7.00	c |       222 |    3887    25502    74170 |     8500      222     62 |  0.000 % |
6.99/7.04	c ===============================================================================
6.99/7.04	c New solution: 90238
6.99/7.04	o 90238
6.99/7.04	c Elapsed CPU time: 6.97294 s	Remaining CPU time: 173.027 s
6.99/7.04	c ===============================================================================
6.99/7.04	c |       245 |    3887    25503    76108 |     8501      245     65 |  0.000 % |
7.09/7.15	c ===============================================================================
7.09/7.15	c New solution: 90124
7.09/7.15	o 90124
7.09/7.15	c Elapsed CPU time: 7.07592 s	Remaining CPU time: 172.924 s
7.09/7.15	c ===============================================================================
7.09/7.15	c |       254 |    3887    25504    78046 |     8501      254     68 |  0.000 % |
7.09/7.16	c ===============================================================================
7.09/7.16	c New solution: 88740
7.09/7.16	o 88740
7.09/7.16	c Elapsed CPU time: 7.09092 s	Remaining CPU time: 172.909 s
7.09/7.16	c ===============================================================================
7.09/7.16	c |       258 |    3887    25505    79984 |     8501      258     67 |  0.000 % |
7.09/7.19	c ===============================================================================
7.09/7.19	c New solution: 87305
7.09/7.19	o 87305
7.09/7.19	c Elapsed CPU time: 7.11392 s	Remaining CPU time: 172.886 s
7.09/7.19	c ===============================================================================
7.09/7.19	c |       270 |    3887    25506    81922 |     8502      270     69 |  0.000 % |
7.19/7.25	c ===============================================================================
7.19/7.25	c New solution: 87164
7.19/7.25	o 87164
7.19/7.25	c Elapsed CPU time: 7.17891 s	Remaining CPU time: 172.821 s
7.19/7.25	c ===============================================================================
7.19/7.25	c |       280 |    3887    25507    83860 |     8502      280     70 |  0.000 % |
7.29/7.30	c ===============================================================================
7.29/7.30	c New solution: 87163
7.29/7.30	o 87163
7.29/7.30	c Elapsed CPU time: 7.2269 s	Remaining CPU time: 172.773 s
7.29/7.30	c ===============================================================================
7.29/7.30	c |       300 |    3887    25508    85798 |     8502      300    100 |  0.000 % |
7.39/7.44	c |       400 |    3887    25508    85798 |     9352      400    199 | 28.979 % |
7.59/7.64	c |       551 |    3887    25508    85798 |    10288      551    266 | 28.979 % |
7.59/7.70	c ===============================================================================
7.59/7.70	c New solution: 85728
7.59/7.70	o 85728
7.59/7.70	c Elapsed CPU time: 7.61584 s	Remaining CPU time: 172.384 s
7.59/7.70	c ===============================================================================
7.59/7.70	c |       566 |    3887    25509    87736 |     8503      566    266 | 28.979 % |
7.70/7.74	c ===============================================================================
7.70/7.74	c New solution: 85700
7.70/7.74	o 85700
7.70/7.74	c Elapsed CPU time: 7.65883 s	Remaining CPU time: 172.341 s
7.70/7.74	c ===============================================================================
7.70/7.74	c |       568 |    3887    25510    89674 |     8503      568    266 | 28.979 % |
7.80/7.83	c ===============================================================================
7.80/7.83	c New solution: 85699
7.80/7.83	o 85699
7.80/7.83	c Elapsed CPU time: 7.75082 s	Remaining CPU time: 172.249 s
7.80/7.83	c ===============================================================================
7.80/7.83	c |       605 |    3887    25511    91612 |     8503      605    276 | 28.979 % |
7.80/7.86	c ===============================================================================
7.80/7.86	c New solution: 85698
7.80/7.86	o 85698
7.80/7.86	c Elapsed CPU time: 7.77782 s	Remaining CPU time: 172.222 s
7.80/7.86	c ===============================================================================
7.80/7.86	c |       608 |    3887    25512    93550 |     8504      608    277 | 28.979 % |
7.89/7.99	c ===============================================================================
7.89/7.99	c New solution: 85697
7.89/7.99	o 85697
7.89/7.99	c Elapsed CPU time: 7.9048 s	Remaining CPU time: 172.095 s
7.89/7.99	c ===============================================================================
7.89/7.99	c |       612 |    3887    25513    95488 |     8504      612    275 | 28.979 % |
8.09/8.10	c ===============================================================================
8.09/8.10	c New solution: 85684
8.09/8.10	o 85684
8.09/8.10	c Elapsed CPU time: 8.01978 s	Remaining CPU time: 171.98 s
8.09/8.10	c ===============================================================================
8.09/8.10	c |       617 |    3887    25514    97426 |     8504      617    274 | 28.979 % |
8.09/8.16	c ===============================================================================
8.09/8.16	c New solution: 85683
8.09/8.16	o 85683
8.09/8.16	c Elapsed CPU time: 8.07677 s	Remaining CPU time: 171.923 s
8.09/8.16	c ===============================================================================
8.09/8.16	c |       628 |    3887    25515    99364 |     8505      628    275 | 28.979 % |
8.19/8.28	c ===============================================================================
8.19/8.28	c New solution: 85682
8.19/8.28	o 85682
8.19/8.28	c Elapsed CPU time: 8.19975 s	Remaining CPU time: 171.8 s
8.19/8.28	c ===============================================================================
8.19/8.28	c |       681 |    3887    25516   101302 |     8505      681    283 | 28.979 % |
8.29/8.36	c ===============================================================================
8.29/8.36	c New solution: 85681
8.29/8.36	o 85681
8.29/8.36	c Elapsed CPU time: 8.27174 s	Remaining CPU time: 171.728 s
8.29/8.36	c ===============================================================================
8.29/8.36	c |       681 |    3887    25517   103240 |     8505      681    283 | 28.979 % |
8.39/8.43	c ===============================================================================
8.39/8.43	c New solution: 85680
8.39/8.43	o 85680
8.39/8.43	c Elapsed CPU time: 8.34373 s	Remaining CPU time: 171.656 s
8.39/8.43	c ===============================================================================
8.39/8.43	c |       681 |    3887    25518   105178 |     8506      681    283 | 28.979 % |
8.48/8.50	c ===============================================================================
8.48/8.50	c New solution: 85679
8.48/8.50	o 85679
8.48/8.50	c Elapsed CPU time: 8.41672 s	Remaining CPU time: 171.583 s
8.48/8.50	c ===============================================================================
8.48/8.50	c |       681 |    3887    25519   107116 |     8506      681    283 | 28.979 % |
8.48/8.57	c ===============================================================================
8.48/8.57	c New solution: 85678
8.48/8.57	o 85678
8.48/8.57	c Elapsed CPU time: 8.48271 s	Remaining CPU time: 171.517 s
8.48/8.57	c ===============================================================================
8.48/8.57	c |       682 |    3887    25520   109054 |     8506      682    283 | 28.979 % |
8.59/8.65	c ===============================================================================
8.59/8.65	c New solution: 85677
8.59/8.65	o 85677
8.59/8.65	c Elapsed CPU time: 8.5607 s	Remaining CPU time: 171.439 s
8.59/8.65	c ===============================================================================
8.59/8.65	c |       682 |    3887    25521   110992 |     8507      682    283 | 28.979 % |
8.69/8.73	c ===============================================================================
8.69/8.73	c New solution: 85676
8.69/8.73	o 85676
8.69/8.73	c Elapsed CPU time: 8.63869 s	Remaining CPU time: 171.361 s
8.69/8.73	c ===============================================================================
8.69/8.73	c |       682 |    3887    25522   112930 |     8507      682    283 | 28.979 % |
8.80/8.81	c ===============================================================================
8.80/8.81	c New solution: 85675
8.80/8.81	o 85675
8.80/8.81	c Elapsed CPU time: 8.72067 s	Remaining CPU time: 171.279 s
8.80/8.81	c ===============================================================================
8.80/8.81	c |       683 |    3887    25523   114868 |     8507      683    283 | 28.979 % |
8.90/8.92	c ===============================================================================
8.90/8.93	c New solution: 85674
8.90/8.93	o 85674
8.90/8.93	c Elapsed CPU time: 8.83166 s	Remaining CPU time: 171.168 s
8.90/8.93	c ===============================================================================
8.90/8.93	c |       739 |    3887    25524   116806 |     8508      739    300 | 28.979 % |
8.99/9.08	c |       839 |    3887    25524   116806 |     9358      839    324 | 28.979 % |
9.09/9.11	c ===============================================================================
9.09/9.11	c New solution: 85673
9.09/9.11	o 85673
9.09/9.11	c Elapsed CPU time: 9.01163 s	Remaining CPU time: 170.988 s
9.09/9.11	c ===============================================================================
9.09/9.11	c |       847 |    3887    25525   118744 |     8508      847    324 | 28.979 % |
9.09/9.18	c |       947 |    3887    25525   118744 |     9359      947    340 | 28.979 % |
9.19/9.28	c ===============================================================================
9.19/9.28	c New solution: 84236
9.19/9.28	o 84236
9.19/9.28	c Elapsed CPU time: 9.1876 s	Remaining CPU time: 170.812 s
9.19/9.28	c ===============================================================================
9.19/9.28	c |       975 |    3887    25526   120682 |     8508      975    342 | 28.979 % |
9.38/9.48	c ===============================================================================
9.38/9.48	c New solution: 84205
9.38/9.48	o 84205
9.38/9.48	c Elapsed CPU time: 9.38557 s	Remaining CPU time: 170.614 s
9.38/9.48	c ===============================================================================
9.38/9.48	c |      1045 |    3887    25527   122620 |     8509     1045    348 | 28.979 % |
9.69/9.78	c |      1145 |    3887    25527   122620 |     9359     1145    366 | 28.979 % |
9.79/9.82	c ===============================================================================
9.79/9.82	c New solution: 84204
9.79/9.82	o 84204
9.79/9.82	c Elapsed CPU time: 9.72452 s	Remaining CPU time: 170.275 s
9.79/9.82	c ===============================================================================
9.79/9.82	c |      1157 |    3887    25528   124558 |     8509     1157    365 | 28.979 % |
9.79/9.89	c ===============================================================================
9.79/9.89	c New solution: 84203
9.79/9.89	o 84203
9.79/9.89	c Elapsed CPU time: 9.78851 s	Remaining CPU time: 170.211 s
9.79/9.89	c ===============================================================================
9.79/9.89	c |      1162 |    3887    25529   126496 |     8509     1162    365 | 28.979 % |
9.90/9.98	c ===============================================================================
9.90/9.98	c New solution: 84202
9.90/9.98	o 84202
9.90/9.98	c Elapsed CPU time: 9.8785 s	Remaining CPU time: 170.122 s
9.90/9.98	c ===============================================================================
9.90/9.98	c |      1184 |    3887    25530   128434 |     8510     1184    365 | 28.979 % |
10.00/10.01	c ===============================================================================
10.00/10.01	c New solution: 84201
10.00/10.01	o 84201
10.00/10.01	c Elapsed CPU time: 9.91249 s	Remaining CPU time: 170.088 s
10.00/10.01	c ===============================================================================
10.00/10.01	c |      1184 |    3887    25531   130372 |     8510     1184    365 | 28.979 % |
10.00/10.05	c ===============================================================================
10.00/10.05	c New solution: 84200
10.00/10.05	o 84200
10.00/10.05	c Elapsed CPU time: 9.94849 s	Remaining CPU time: 170.052 s
10.00/10.05	c ===============================================================================
10.00/10.05	c |      1185 |    3887    25532   132310 |     8510     1185    365 | 28.979 % |
10.00/10.09	c ===============================================================================
10.00/10.09	c New solution: 84199
10.00/10.09	o 84199
10.00/10.09	c Elapsed CPU time: 9.99148 s	Remaining CPU time: 170.009 s
10.00/10.09	c ===============================================================================
10.00/10.09	c |      1194 |    3887    25533   134248 |     8511     1194    366 | 28.979 % |
10.09/10.19	c ===============================================================================
10.09/10.19	c New solution: 82768
10.09/10.19	o 82768
10.09/10.19	c Elapsed CPU time: 10.0915 s	Remaining CPU time: 169.909 s
10.09/10.19	c ===============================================================================
10.09/10.19	c |      1200 |    3887    25534   136186 |     8511     1200    364 | 28.979 % |
10.19/10.24	c ===============================================================================
10.19/10.24	c New solution: 82767
10.19/10.24	o 82767
10.19/10.24	c Elapsed CPU time: 10.1375 s	Remaining CPU time: 169.863 s
10.19/10.24	c ===============================================================================
10.19/10.24	c |      1200 |    3887    25535   138124 |     8511     1200    364 | 28.979 % |
10.29/10.31	c ===============================================================================
10.29/10.31	c New solution: 82758
10.29/10.31	o 82758
10.29/10.31	c Elapsed CPU time: 10.2024 s	Remaining CPU time: 169.798 s
10.29/10.31	c ===============================================================================
10.29/10.31	c |      1202 |    3887    25536   140062 |     8512     1202    364 | 28.979 % |
10.29/10.38	c ===============================================================================
10.29/10.38	c New solution: 82741
10.29/10.38	o 82741
10.29/10.38	c Elapsed CPU time: 10.2684 s	Remaining CPU time: 169.732 s
10.29/10.38	c ===============================================================================
10.29/10.38	c |      1212 |    3887    25537   142000 |     8512     1212    364 | 28.979 % |
10.39/10.47	c ===============================================================================
10.39/10.47	c New solution: 82740
10.39/10.47	o 82740
10.39/10.47	c Elapsed CPU time: 10.3584 s	Remaining CPU time: 169.642 s
10.39/10.47	c ===============================================================================
10.39/10.47	c |      1217 |    3887    25538   143938 |     8512     1217    364 | 28.979 % |
10.49/10.58	c |      1318 |    3887    25538   143938 |     9363     1318    371 | 28.979 % |
10.59/10.65	c |      1469 |    3887    25538   143938 |    10300     1469    379 | 28.979 % |
10.59/10.69	c ===============================================================================
10.59/10.69	c New solution: 82739
10.59/10.69	o 82739
10.59/10.69	c Elapsed CPU time: 10.5724 s	Remaining CPU time: 169.428 s
10.59/10.69	c ===============================================================================
10.59/10.69	c |      1472 |    3887    25539   145876 |     8513     1472    379 | 28.979 % |
10.69/10.74	c ===============================================================================
10.69/10.74	c New solution: 82730
10.69/10.74	o 82730
10.69/10.74	c Elapsed CPU time: 10.6274 s	Remaining CPU time: 169.373 s
10.69/10.74	c ===============================================================================
10.69/10.74	c |      1477 |    3887    25540   147814 |     8513     1477    379 | 28.979 % |
10.79/10.82	c ===============================================================================
10.79/10.82	c New solution: 82687
10.79/10.82	o 82687
10.79/10.82	c Elapsed CPU time: 10.7034 s	Remaining CPU time: 169.297 s
10.79/10.82	c ===============================================================================
10.79/10.82	c |      1500 |    3887    25541   149752 |     8513     1500    380 | 28.979 % |
10.89/10.94	c ===============================================================================
10.89/10.94	c New solution: 82686
10.89/10.94	o 82686
10.89/10.94	c Elapsed CPU time: 10.8184 s	Remaining CPU time: 169.182 s
10.89/10.94	c ===============================================================================
10.89/10.94	c |      1534 |    3887    25542   151690 |     8514     1534    382 | 28.979 % |
10.89/10.98	c ===============================================================================
10.89/10.98	c New solution: 82685
10.89/10.98	o 82685
10.89/10.98	c Elapsed CPU time: 10.8653 s	Remaining CPU time: 169.135 s
10.89/10.98	c ===============================================================================
10.89/10.98	c |      1540 |    3887    25543   153628 |     8514     1540    383 | 28.979 % |
11.00/11.04	c ===============================================================================
11.00/11.04	c New solution: 82684
11.00/11.04	o 82684
11.00/11.04	c Elapsed CPU time: 10.9193 s	Remaining CPU time: 169.081 s
11.00/11.04	c ===============================================================================
11.00/11.04	c |      1548 |    3887    25544   155566 |     8514     1548    382 | 28.979 % |
11.19/11.28	c |      1649 |    3887    25544   155566 |     9366     1649    386 | 28.979 % |
11.29/11.34	c ===============================================================================
11.29/11.34	c New solution: 81280
11.29/11.34	o 81280
11.29/11.34	c Elapsed CPU time: 11.2213 s	Remaining CPU time: 168.779 s
11.29/11.34	c ===============================================================================
11.29/11.34	c |      1667 |    3887    25545   157504 |     8515     1667    387 | 28.979 % |
11.39/11.43	c ===============================================================================
11.39/11.43	c New solution: 81232
11.39/11.43	o 81232
11.39/11.43	c Elapsed CPU time: 11.3073 s	Remaining CPU time: 168.693 s
11.39/11.43	c ===============================================================================
11.39/11.43	c |      1668 |    3887    25546   159442 |     8515     1668    387 | 28.979 % |
11.48/11.50	c ===============================================================================
11.48/11.50	c New solution: 81212
11.48/11.50	o 81212
11.48/11.50	c Elapsed CPU time: 11.3693 s	Remaining CPU time: 168.631 s
11.48/11.50	c ===============================================================================
11.48/11.50	c |      1674 |    3887    25547   161380 |     8515     1674    386 | 28.979 % |
11.48/11.55	c ===============================================================================
11.48/11.55	c New solution: 81211
11.48/11.55	o 81211
11.48/11.55	c Elapsed CPU time: 11.4183 s	Remaining CPU time: 168.582 s
11.48/11.55	c ===============================================================================
11.48/11.55	c |      1674 |    3887    25548   163318 |     8516     1674    386 | 28.979 % |
11.59/11.60	c ===============================================================================
11.59/11.60	c New solution: 81210
11.59/11.60	o 81210
11.59/11.60	c Elapsed CPU time: 11.4673 s	Remaining CPU time: 168.533 s
11.59/11.60	c ===============================================================================
11.59/11.60	c |      1674 |    3887    25549   165256 |     8516     1674    386 | 28.979 % |
11.59/11.65	c ===============================================================================
11.59/11.65	c New solution: 81209
11.59/11.65	o 81209
11.59/11.65	c Elapsed CPU time: 11.5152 s	Remaining CPU time: 168.485 s
11.59/11.65	c ===============================================================================
11.59/11.65	c |      1675 |    3887    25550   167194 |     8516     1675    386 | 28.979 % |
11.59/11.70	c ===============================================================================
11.59/11.70	c New solution: 81208
11.59/11.70	o 81208
11.59/11.70	c Elapsed CPU time: 11.5642 s	Remaining CPU time: 168.436 s
11.59/11.70	c ===============================================================================
11.59/11.70	c |      1675 |    3887    25551   169132 |     8517     1675    386 | 28.979 % |
11.69/11.75	c ===============================================================================
11.69/11.75	c New solution: 81207
11.69/11.75	o 81207
11.69/11.75	c Elapsed CPU time: 11.6142 s	Remaining CPU time: 168.386 s
11.69/11.75	c ===============================================================================
11.69/11.75	c |      1675 |    3887    25552   171070 |     8517     1675    386 | 28.979 % |
11.79/11.80	c ===============================================================================
11.79/11.80	c New solution: 81206
11.79/11.80	o 81206
11.79/11.80	c Elapsed CPU time: 11.6692 s	Remaining CPU time: 168.331 s
11.79/11.80	c ===============================================================================
11.79/11.80	c |      1675 |    3887    25553   173008 |     8517     1675    386 | 28.979 % |
11.79/11.85	c ===============================================================================
11.79/11.85	c New solution: 81205
11.79/11.85	o 81205
11.79/11.85	c Elapsed CPU time: 11.7162 s	Remaining CPU time: 168.284 s
11.79/11.85	c ===============================================================================
11.79/11.85	c |      1675 |    3887    25554   174946 |     8518     1675    386 | 28.979 % |
11.79/11.90	c ===============================================================================
11.79/11.90	c New solution: 81204
11.79/11.90	o 81204
11.79/11.90	c Elapsed CPU time: 11.7642 s	Remaining CPU time: 168.236 s
11.79/11.90	c ===============================================================================
11.79/11.90	c |      1675 |    3887    25555   176884 |     8518     1675    386 | 28.979 % |
11.89/11.94	c ===============================================================================
11.89/11.94	c New solution: 81203
11.89/11.94	o 81203
11.89/11.94	c Elapsed CPU time: 11.8122 s	Remaining CPU time: 168.188 s
11.89/11.94	c ===============================================================================
11.89/11.94	c |      1675 |    3887    25556   178822 |     8518     1675    386 | 28.979 % |
11.89/11.99	c ===============================================================================
11.89/11.99	c New solution: 81196
11.89/11.99	o 81196
11.89/11.99	c Elapsed CPU time: 11.8562 s	Remaining CPU time: 168.144 s
11.89/11.99	c ===============================================================================
11.89/11.99	c |      1682 |    3887    25557   180760 |     8519     1682    387 | 28.979 % |
11.99/12.06	c ===============================================================================
11.99/12.06	c New solution: 81195
11.99/12.06	o 81195
11.99/12.06	c Elapsed CPU time: 11.9292 s	Remaining CPU time: 168.071 s
11.99/12.06	c ===============================================================================
11.99/12.06	c |      1697 |    3887    25558   182698 |     8519     1697    388 | 28.979 % |
12.10/12.17	c ===============================================================================
12.10/12.17	c New solution: 81194
12.10/12.17	o 81194
12.10/12.17	c Elapsed CPU time: 12.0372 s	Remaining CPU time: 167.963 s
12.10/12.17	c ===============================================================================
12.10/12.17	c |      1706 |    3887    25559   184636 |     8519     1706    387 | 28.979 % |
12.19/12.24	c ===============================================================================
12.19/12.24	c New solution: 81193
12.19/12.24	o 81193
12.19/12.24	c Elapsed CPU time: 12.1052 s	Remaining CPU time: 167.895 s
12.19/12.24	c ===============================================================================
12.19/12.24	c |      1714 |    3887    25560   186574 |     8520     1714    387 | 28.979 % |
12.29/12.35	c ===============================================================================
12.29/12.35	c New solution: 81192
12.29/12.35	o 81192
12.29/12.35	c Elapsed CPU time: 12.2181 s	Remaining CPU time: 167.782 s
12.29/12.35	c ===============================================================================
12.29/12.35	c |      1763 |    3887    25561   188512 |     8520     1763    389 | 28.979 % |
12.39/12.48	c ===============================================================================
12.39/12.48	c New solution: 79766
12.39/12.48	o 79766
12.39/12.48	c Elapsed CPU time: 12.3371 s	Remaining CPU time: 167.663 s
12.39/12.48	c ===============================================================================
12.39/12.48	c |      1774 |    3887    25562   190450 |     8520     1774    390 | 28.979 % |
12.48/12.59	c ===============================================================================
12.48/12.59	c New solution: 79750
12.48/12.59	o 79750
12.48/12.59	c Elapsed CPU time: 12.4541 s	Remaining CPU time: 167.546 s
12.48/12.59	c ===============================================================================
12.48/12.59	c |      1799 |    3887    25563   192388 |     8521     1799    391 | 28.979 % |
12.59/12.63	c ===============================================================================
12.59/12.63	c New solution: 78273
12.59/12.63	o 78273
12.59/12.63	c Elapsed CPU time: 12.4891 s	Remaining CPU time: 167.511 s
12.59/12.63	c ===============================================================================
12.59/12.63	c |      1801 |    3887    25564   194326 |     8521     1801    391 | 28.979 % |
12.59/12.68	c ===============================================================================
12.59/12.68	c New solution: 78267
12.59/12.68	o 78267
12.59/12.68	c Elapsed CPU time: 12.5311 s	Remaining CPU time: 167.469 s
12.59/12.68	c ===============================================================================
12.59/12.68	c |      1801 |    3887    25565   196264 |     8521     1801    391 | 28.979 % |
12.69/12.72	c ===============================================================================
12.69/12.72	c New solution: 78266
12.69/12.72	o 78266
12.69/12.72	c Elapsed CPU time: 12.5771 s	Remaining CPU time: 167.423 s
12.69/12.72	c ===============================================================================
12.69/12.72	c |      1802 |    3887    25566   198202 |     8522     1802    390 | 28.979 % |
12.69/12.77	c ===============================================================================
12.69/12.77	c New solution: 78265
12.69/12.77	o 78265
12.69/12.77	c Elapsed CPU time: 12.6191 s	Remaining CPU time: 167.381 s
12.69/12.77	c ===============================================================================
12.69/12.77	c |      1802 |    3887    25567   200140 |     8522     1802    390 | 28.979 % |
12.79/12.82	c ===============================================================================
12.79/12.82	c New solution: 78264
12.79/12.82	o 78264
12.79/12.82	c Elapsed CPU time: 12.6691 s	Remaining CPU time: 167.331 s
12.79/12.82	c ===============================================================================
12.79/12.82	c |      1806 |    3887    25568   202078 |     8522     1806    389 | 28.979 % |
12.79/12.86	c ===============================================================================
12.79/12.86	c New solution: 78263
12.79/12.86	o 78263
12.79/12.86	c Elapsed CPU time: 12.7031 s	Remaining CPU time: 167.297 s
12.79/12.86	c ===============================================================================
12.79/12.86	c |      1807 |    3887    25569   204016 |     8523     1807    389 | 28.979 % |
12.79/12.90	c ===============================================================================
12.79/12.90	c New solution: 78262
12.79/12.90	o 78262
12.79/12.90	c Elapsed CPU time: 12.7371 s	Remaining CPU time: 167.263 s
12.79/12.90	c ===============================================================================
12.79/12.90	c |      1807 |    3887    25570   205954 |     8523     1807    389 | 28.979 % |
12.88/12.95	c ===============================================================================
12.88/12.95	c New solution: 78261
12.88/12.95	o 78261
12.88/12.95	c Elapsed CPU time: 12.7931 s	Remaining CPU time: 167.207 s
12.88/12.95	c ===============================================================================
12.88/12.95	c |      1808 |    3887    25571   207892 |     8523     1808    389 | 28.979 % |
12.88/12.99	c ===============================================================================
12.88/12.99	c New solution: 78260
12.88/12.99	o 78260
12.88/12.99	c Elapsed CPU time: 12.831 s	Remaining CPU time: 167.169 s
12.88/12.99	c ===============================================================================
12.88/12.99	c |      1812 |    3887    25572   209830 |     8524     1812    389 | 28.979 % |
12.99/13.05	c ===============================================================================
12.99/13.05	c New solution: 78259
12.99/13.05	o 78259
12.99/13.05	c Elapsed CPU time: 12.887 s	Remaining CPU time: 167.113 s
12.99/13.05	c ===============================================================================
12.99/13.05	c |      1812 |    3887    25573   211768 |     8524     1812    389 | 28.979 % |
13.09/13.10	c ===============================================================================
13.09/13.10	c New solution: 78253
13.09/13.10	o 78253
13.09/13.10	c Elapsed CPU time: 12.936 s	Remaining CPU time: 167.064 s
13.09/13.10	c ===============================================================================
13.09/13.10	c |      1812 |    3887    25574   213706 |     8524     1812    389 | 28.979 % |
13.09/13.15	c ===============================================================================
13.09/13.15	c New solution: 78252
13.09/13.15	o 78252
13.09/13.15	c Elapsed CPU time: 12.986 s	Remaining CPU time: 167.014 s
13.09/13.15	c ===============================================================================
13.09/13.15	c |      1812 |    3887    25575   215644 |     8525     1812    389 | 28.979 % |
13.09/13.19	c ===============================================================================
13.09/13.19	c New solution: 78251
13.09/13.19	o 78251
13.09/13.19	c Elapsed CPU time: 13.025 s	Remaining CPU time: 166.975 s
13.09/13.19	c ===============================================================================
13.09/13.19	c |      1813 |    3887    25576   217582 |     8525     1813    389 | 28.979 % |
13.19/13.24	c ===============================================================================
13.19/13.24	c New solution: 76811
13.19/13.24	o 76811
13.19/13.24	c Elapsed CPU time: 13.069 s	Remaining CPU time: 166.931 s
13.19/13.24	c ===============================================================================
13.19/13.24	c |      1820 |    3887    25577   219520 |     8525     1820    387 | 28.979 % |
13.19/13.27	c ===============================================================================
13.19/13.27	c New solution: 76803
13.19/13.27	o 76803
13.19/13.27	c Elapsed CPU time: 13.105 s	Remaining CPU time: 166.895 s
13.19/13.27	c ===============================================================================
13.19/13.27	c |      1823 |    3887    25578   221458 |     8526     1823    387 | 28.979 % |
13.30/13.34	c ===============================================================================
13.30/13.34	c New solution: 76774
13.30/13.34	o 76774
13.30/13.34	c Elapsed CPU time: 13.164 s	Remaining CPU time: 166.836 s
13.30/13.34	c ===============================================================================
13.30/13.34	c |      1827 |    3887    25579   223396 |     8526     1827    387 | 28.979 % |
13.39/13.44	c ===============================================================================
13.39/13.44	c New solution: 76773
13.39/13.44	o 76773
13.39/13.44	c Elapsed CPU time: 13.268 s	Remaining CPU time: 166.732 s
13.39/13.44	c ===============================================================================
13.39/13.44	c |      1831 |    3887    25580   225334 |     8526     1831    387 | 28.979 % |
13.49/13.52	c ===============================================================================
13.49/13.52	c New solution: 76723
13.49/13.52	o 76723
13.49/13.52	c Elapsed CPU time: 13.348 s	Remaining CPU time: 166.652 s
13.49/13.52	c ===============================================================================
13.49/13.52	c |      1834 |    3887    25581   227272 |     8527     1834    387 | 28.979 % |
13.49/13.57	c ===============================================================================
13.49/13.57	c New solution: 76722
13.49/13.57	o 76722
13.49/13.57	c Elapsed CPU time: 13.394 s	Remaining CPU time: 166.606 s
13.49/13.57	c ===============================================================================
13.49/13.57	c |      1838 |    3887    25582   229210 |     8527     1838    387 | 28.979 % |
13.99/14.03	c |      1938 |    3887    25582   229210 |     9380     1938    395 | 28.979 % |
13.99/14.09	c ===============================================================================
13.99/14.09	c New solution: 76721
13.99/14.09	o 76721
13.99/14.09	c Elapsed CPU time: 13.9159 s	Remaining CPU time: 166.084 s
13.99/14.09	c ===============================================================================
13.99/14.09	c |      1940 |    3887    25583   231148 |     8527     1940    395 | 28.979 % |
14.09/14.16	c ===============================================================================
14.09/14.16	c New solution: 76720
14.09/14.16	o 76720
14.09/14.16	c Elapsed CPU time: 13.9879 s	Remaining CPU time: 166.012 s
14.09/14.16	c ===============================================================================
14.09/14.16	c |      1942 |    3887    25584   233086 |     8528     1942    395 | 28.979 % |
14.39/14.44	c ===============================================================================
14.39/14.44	c New solution: 76719
14.39/14.44	o 76719
14.39/14.44	c Elapsed CPU time: 14.2678 s	Remaining CPU time: 165.732 s
14.39/14.44	c ===============================================================================
14.39/14.44	c |      2036 |    3887    25585   235024 |     8528     2036    402 | 28.979 % |
14.79/14.83	c ===============================================================================
14.79/14.83	c New solution: 76718
14.79/14.83	o 76718
14.79/14.83	c Elapsed CPU time: 14.6528 s	Remaining CPU time: 165.347 s
14.79/14.83	c ===============================================================================
14.79/14.83	c |      2078 |    3887    25586   236962 |     8528     2078    403 | 28.979 % |
14.99/15.06	c ===============================================================================
14.99/15.06	c New solution: 76717
14.99/15.06	o 76717
14.99/15.06	c Elapsed CPU time: 14.8847 s	Remaining CPU time: 165.115 s
14.99/15.06	c ===============================================================================
14.99/15.06	c |      2148 |    3887    25587   238900 |     8529     2148    405 | 28.979 % |
15.09/15.13	c ===============================================================================
15.09/15.13	c New solution: 76716
15.09/15.13	o 76716
15.09/15.13	c Elapsed CPU time: 14.9567 s	Remaining CPU time: 165.043 s
15.09/15.13	c ===============================================================================
15.09/15.13	c |      2150 |    3887    25588   240838 |     8529     2150    405 | 28.979 % |
15.18/15.20	c ===============================================================================
15.18/15.20	c New solution: 76715
15.18/15.20	o 76715
15.18/15.20	c Elapsed CPU time: 15.0257 s	Remaining CPU time: 164.974 s
15.18/15.20	c ===============================================================================
15.18/15.20	c |      2151 |    3887    25589   242776 |     8529     2151    405 | 28.979 % |
15.18/15.27	c ===============================================================================
15.18/15.27	c New solution: 76714
15.18/15.27	o 76714
15.18/15.27	c Elapsed CPU time: 15.0937 s	Remaining CPU time: 164.906 s
15.18/15.27	c ===============================================================================
15.18/15.27	c |      2152 |    3887    25590   244714 |     8530     2152    405 | 28.979 % |
15.39/15.44	c ===============================================================================
15.39/15.44	c New solution: 75265
15.39/15.44	o 75265
15.39/15.44	c Elapsed CPU time: 15.2587 s	Remaining CPU time: 164.741 s
15.39/15.44	c ===============================================================================
15.39/15.44	c |      2163 |    3887    25591   246652 |     8530     2163    406 | 28.979 % |
15.49/15.55	c ===============================================================================
15.49/15.55	c New solution: 75224
15.49/15.55	o 75224
15.49/15.55	c Elapsed CPU time: 15.3737 s	Remaining CPU time: 164.626 s
15.49/15.55	c ===============================================================================
15.49/15.55	c |      2185 |    3887    25592   248590 |     8530     2185    406 | 28.979 % |
15.69/15.72	c ===============================================================================
15.69/15.72	c New solution: 75223
15.69/15.72	o 75223
15.69/15.72	c Elapsed CPU time: 15.5396 s	Remaining CPU time: 164.46 s
15.69/15.72	c ===============================================================================
15.69/15.72	c |      2244 |    3887    25593   250528 |     8531     2244    407 | 28.979 % |
15.89/15.94	c ===============================================================================
15.89/15.94	c New solution: 75222
15.89/15.94	o 75222
15.89/15.94	c Elapsed CPU time: 15.7616 s	Remaining CPU time: 164.238 s
15.89/15.94	c ===============================================================================
15.89/15.94	c |      2280 |    3887    25594   252466 |     8531     2280    409 | 28.979 % |
15.99/16.00	c ===============================================================================
15.99/16.00	c New solution: 75221
15.99/16.00	o 75221
15.99/16.00	c Elapsed CPU time: 15.8166 s	Remaining CPU time: 164.183 s
15.99/16.00	c ===============================================================================
15.99/16.00	c |      2280 |    3887    25595   254404 |     8531     2280    409 | 28.979 % |
15.99/16.05	c ===============================================================================
15.99/16.05	c New solution: 75220
15.99/16.05	o 75220
15.99/16.05	c Elapsed CPU time: 15.8716 s	Remaining CPU time: 164.128 s
15.99/16.05	c ===============================================================================
15.99/16.05	c |      2280 |    3887    25596   256342 |     8532     2280    409 | 28.979 % |
16.09/16.10	c ===============================================================================
16.09/16.10	c New solution: 75219
16.09/16.10	o 75219
16.09/16.10	c Elapsed CPU time: 15.9146 s	Remaining CPU time: 164.085 s
16.09/16.10	c ===============================================================================
16.09/16.10	c |      2294 |    3887    25597   258280 |     8532     2294    410 | 28.979 % |
16.19/16.27	c ===============================================================================
16.19/16.27	c New solution: 75218
16.19/16.27	o 75218
16.19/16.27	c Elapsed CPU time: 16.0866 s	Remaining CPU time: 163.913 s
16.19/16.27	c ===============================================================================
16.19/16.27	c |      2333 |    3887    25598   260218 |     8532     2333    411 | 28.979 % |
16.39/16.48	c ===============================================================================
16.39/16.48	c New solution: 75217
16.39/16.48	o 75217
16.39/16.48	c Elapsed CPU time: 16.2925 s	Remaining CPU time: 163.707 s
16.39/16.48	c ===============================================================================
16.39/16.48	c |      2381 |    3887    25599   262156 |     8533     2381    413 | 28.979 % |
16.59/16.65	c ===============================================================================
16.59/16.65	c New solution: 73776
16.59/16.65	o 73776
16.59/16.65	c Elapsed CPU time: 16.4695 s	Remaining CPU time: 163.531 s
16.59/16.65	c ===============================================================================
16.59/16.65	c |      2398 |    3887    25600   264094 |     8533     2398    414 | 28.979 % |
16.69/16.76	c ===============================================================================
16.69/16.76	c New solution: 73738
16.69/16.76	o 73738
16.69/16.76	c Elapsed CPU time: 16.5785 s	Remaining CPU time: 163.422 s
16.69/16.76	c ===============================================================================
16.69/16.76	c |      2410 |    3887    25601   266032 |     8533     2410    414 | 28.979 % |
16.99/17.00	c ===============================================================================
16.99/17.00	c New solution: 73737
16.99/17.00	o 73737
16.99/17.00	c Elapsed CPU time: 16.8144 s	Remaining CPU time: 163.186 s
16.99/17.00	c ===============================================================================
16.99/17.00	c |      2482 |    3887    25602   267970 |     8534     2482    415 | 28.979 % |
17.09/17.14	c ===============================================================================
17.09/17.14	c New solution: 73736
17.09/17.14	o 73736
17.09/17.14	c Elapsed CPU time: 16.9484 s	Remaining CPU time: 163.052 s
17.09/17.14	c ===============================================================================
17.09/17.14	c |      2488 |    3887    25603   269908 |     8534     2488    415 | 28.979 % |
17.18/17.23	c ===============================================================================
17.18/17.23	c New solution: 73735
17.18/17.23	o 73735
17.18/17.23	c Elapsed CPU time: 17.0424 s	Remaining CPU time: 162.958 s
17.18/17.23	c ===============================================================================
17.18/17.23	c |      2490 |    3887    25604   271846 |     8534     2490    415 | 28.979 % |
17.28/17.34	c ===============================================================================
17.28/17.34	c New solution: 72306
17.28/17.34	o 72306
17.28/17.34	c Elapsed CPU time: 17.1564 s	Remaining CPU time: 162.844 s
17.28/17.34	c ===============================================================================
17.28/17.34	c |      2495 |    3887    25605   273784 |     8535     2495    415 | 28.979 % |
17.59/17.61	c ===============================================================================
17.59/17.61	c New solution: 72261
17.59/17.61	o 72261
17.59/17.61	c Elapsed CPU time: 17.4244 s	Remaining CPU time: 162.576 s
17.59/17.61	c ===============================================================================
17.59/17.61	c |      2547 |    3887    25606   275722 |     8535     2547    416 | 28.979 % |
17.59/17.67	c ===============================================================================
17.59/17.67	c New solution: 72260
17.59/17.67	o 72260
17.59/17.67	c Elapsed CPU time: 17.4763 s	Remaining CPU time: 162.524 s
17.59/17.67	c ===============================================================================
17.59/17.67	c |      2549 |    3887    25607   277660 |     8535     2549    416 | 28.979 % |
17.69/17.74	c ===============================================================================
17.69/17.74	c New solution: 70814
17.69/17.74	o 70814
17.69/17.74	c Elapsed CPU time: 17.5483 s	Remaining CPU time: 162.452 s
17.69/17.74	c ===============================================================================
17.69/17.74	c |      2551 |    3887    25608   279598 |     8536     2551    416 | 28.979 % |
17.79/17.82	c ===============================================================================
17.79/17.82	c New solution: 70802
17.79/17.82	o 70802
17.79/17.82	c Elapsed CPU time: 17.6263 s	Remaining CPU time: 162.374 s
17.79/17.82	c ===============================================================================
17.79/17.82	c |      2552 |    3887    25609   281536 |     8536     2552    416 | 28.979 % |
17.79/17.88	c ===============================================================================
17.79/17.88	c New solution: 70801
17.79/17.88	o 70801
17.79/17.88	c Elapsed CPU time: 17.6873 s	Remaining CPU time: 162.313 s
17.79/17.88	c ===============================================================================
17.79/17.88	c |      2553 |    3887    25610   283474 |     8536     2553    416 | 28.979 % |
17.89/17.95	c ===============================================================================
17.89/17.95	c New solution: 70800
17.89/17.95	o 70800
17.89/17.95	c Elapsed CPU time: 17.7553 s	Remaining CPU time: 162.245 s
17.89/17.95	c ===============================================================================
17.89/17.95	c |      2553 |    3887    25611   285412 |     8537     2553    416 | 28.979 % |
17.99/18.00	c ===============================================================================
17.99/18.00	c New solution: 69339
17.99/18.00	o 69339
17.99/18.00	c Elapsed CPU time: 17.8073 s	Remaining CPU time: 162.193 s
17.99/18.00	c ===============================================================================
17.99/18.00	c |      2554 |    3887    25612   287350 |     8537     2554    416 | 28.979 % |
18.09/18.14	c ===============================================================================
18.09/18.14	c New solution: 69315
18.09/18.14	o 69315
18.09/18.14	c Elapsed CPU time: 17.9503 s	Remaining CPU time: 162.05 s
18.09/18.14	c ===============================================================================
18.09/18.14	c |      2556 |    3887    25613   289288 |     8537     2556    416 | 28.979 % |
18.19/18.26	c ===============================================================================
18.19/18.26	c New solution: 69297
18.19/18.26	o 69297
18.19/18.26	c Elapsed CPU time: 18.0623 s	Remaining CPU time: 161.938 s
18.19/18.26	c ===============================================================================
18.19/18.26	c |      2557 |    3887    25614   291226 |     8538     2557    415 | 28.979 % |
18.29/18.34	c ===============================================================================
18.29/18.34	c New solution: 69293
18.29/18.34	o 69293
18.29/18.34	c Elapsed CPU time: 18.1442 s	Remaining CPU time: 161.856 s
18.29/18.34	c ===============================================================================
18.29/18.34	c |      2557 |    3887    25615   293164 |     8538     2557    415 | 28.979 % |
18.38/18.40	c ===============================================================================
18.38/18.40	c New solution: 69276
18.38/18.40	o 69276
18.38/18.40	c Elapsed CPU time: 18.2032 s	Remaining CPU time: 161.797 s
18.38/18.40	c ===============================================================================
18.38/18.40	c |      2558 |    3887    25616   295102 |     8538     2558    415 | 28.979 % |
18.38/18.46	c ===============================================================================
18.38/18.46	c New solution: 69275
18.38/18.46	o 69275
18.38/18.46	c Elapsed CPU time: 18.2602 s	Remaining CPU time: 161.74 s
18.38/18.46	c ===============================================================================
18.38/18.46	c |      2558 |    3887    25617   297040 |     8539     2558    415 | 28.979 % |
18.48/18.52	c ===============================================================================
18.48/18.52	c New solution: 69274
18.48/18.52	o 69274
18.48/18.52	c Elapsed CPU time: 18.3172 s	Remaining CPU time: 161.683 s
18.48/18.52	c ===============================================================================
18.48/18.52	c |      2558 |    3887    25618   298978 |     8539     2558    415 | 28.979 % |
18.58/18.60	c ===============================================================================
18.58/18.60	c New solution: 69273
18.58/18.60	o 69273
18.58/18.60	c Elapsed CPU time: 18.3982 s	Remaining CPU time: 161.602 s
18.58/18.60	c ===============================================================================
18.58/18.60	c |      2558 |    3887    25619   300916 |     8539     2558    415 | 28.979 % |
18.58/18.64	c ===============================================================================
18.58/18.64	c New solution: 69272
18.58/18.64	o 69272
18.58/18.64	c Elapsed CPU time: 18.4392 s	Remaining CPU time: 161.561 s
18.58/18.64	c ===============================================================================
18.58/18.64	c |      2559 |    3887    25620   302854 |     8540     2559    415 | 28.979 % |
18.58/18.69	c ===============================================================================
18.58/18.69	c New solution: 69271
18.58/18.69	o 69271
18.58/18.69	c Elapsed CPU time: 18.4932 s	Remaining CPU time: 161.507 s
18.58/18.69	c ===============================================================================
18.58/18.69	c |      2559 |    3887    25621   304792 |     8540     2559    415 | 28.979 % |
18.70/18.75	c ===============================================================================
18.70/18.75	c New solution: 69270
18.70/18.75	o 69270
18.70/18.75	c Elapsed CPU time: 18.5462 s	Remaining CPU time: 161.454 s
18.70/18.75	c ===============================================================================
18.70/18.75	c |      2559 |    3887    25622   306730 |     8540     2559    415 | 28.979 % |
18.80/18.81	c ===============================================================================
18.80/18.81	c New solution: 69269
18.80/18.81	o 69269
18.80/18.81	c Elapsed CPU time: 18.6072 s	Remaining CPU time: 161.393 s
18.80/18.81	c ===============================================================================
18.80/18.81	c |      2559 |    3887    25623   308668 |     8541     2559    415 | 28.979 % |
18.80/18.87	c ===============================================================================
18.80/18.87	c New solution: 69268
18.80/18.87	o 69268
18.80/18.87	c Elapsed CPU time: 18.6622 s	Remaining CPU time: 161.338 s
18.80/18.87	c ===============================================================================
18.80/18.87	c |      2560 |    3887    25624   310606 |     8541     2560    415 | 28.979 % |
18.88/18.95	c ===============================================================================
18.88/18.95	c New solution: 69267
18.88/18.95	o 69267
18.88/18.95	c Elapsed CPU time: 18.7442 s	Remaining CPU time: 161.256 s
18.88/18.95	c ===============================================================================
18.88/18.95	c |      2563 |    3887    25625   312544 |     8541     2563    415 | 28.979 % |
18.98/19.04	c ===============================================================================
18.98/19.04	c New solution: 67811
18.98/19.04	o 67811
18.98/19.04	c Elapsed CPU time: 18.8311 s	Remaining CPU time: 161.169 s
18.98/19.04	c ===============================================================================
18.98/19.04	c |      2563 |    3887    25626   314482 |     8542     2563    415 | 28.979 % |
19.08/19.13	c ===============================================================================
19.08/19.13	c New solution: 67810
19.08/19.13	o 67810
19.08/19.13	c Elapsed CPU time: 18.9251 s	Remaining CPU time: 161.075 s
19.08/19.13	c ===============================================================================
19.08/19.13	c |      2563 |    3887    25627   316420 |     8542     2563    415 | 28.979 % |
19.19/19.22	c ===============================================================================
19.19/19.22	c New solution: 67802
19.19/19.22	o 67802
19.19/19.22	c Elapsed CPU time: 19.0041 s	Remaining CPU time: 160.996 s
19.19/19.22	c ===============================================================================
19.19/19.22	c |      2563 |    3887    25628   318358 |     8542     2563    415 | 28.979 % |
19.19/19.29	c ===============================================================================
19.19/19.29	c New solution: 67801
19.19/19.29	o 67801
19.19/19.29	c Elapsed CPU time: 19.0771 s	Remaining CPU time: 160.923 s
19.19/19.29	c ===============================================================================
19.19/19.29	c |      2563 |    3887    25629   320296 |     8543     2563    415 | 28.979 % |
19.29/19.36	c ===============================================================================
19.29/19.36	c New solution: 67800
19.29/19.36	o 67800
19.29/19.36	c Elapsed CPU time: 19.1491 s	Remaining CPU time: 160.851 s
19.29/19.36	c ===============================================================================
19.29/19.36	c |      2564 |    3887    25630   322234 |     8543     2564    415 | 28.979 % |
19.39/19.44	c ===============================================================================
19.39/19.44	c New solution: 67799
19.39/19.44	o 67799
19.39/19.44	c Elapsed CPU time: 19.2281 s	Remaining CPU time: 160.772 s
19.39/19.44	c ===============================================================================
19.39/19.44	c |      2568 |    3887    25631   324172 |     8543     2568    415 | 28.979 % |
19.48/19.57	c ===============================================================================
19.48/19.57	c New solution: 67764
19.48/19.57	o 67764
19.48/19.57	c Elapsed CPU time: 19.3491 s	Remaining CPU time: 160.651 s
19.48/19.57	c ===============================================================================
19.48/19.57	c |      2576 |    3887    25632   326110 |     8544     2576    415 | 28.979 % |
20.18/20.22	c |      2676 |    3887    25632   326110 |     9398     2676    420 | 28.979 % |
20.28/20.37	c ===============================================================================
20.28/20.37	c New solution: 67763
20.28/20.37	o 67763
20.28/20.37	c Elapsed CPU time: 20.1549 s	Remaining CPU time: 159.845 s
20.28/20.37	c ===============================================================================
20.28/20.37	c |      2684 |    3887    25633   328048 |     8544     2684    419 | 28.979 % |
20.48/20.52	c ===============================================================================
20.48/20.52	c New solution: 67762
20.48/20.52	o 67762
20.48/20.52	c Elapsed CPU time: 20.3009 s	Remaining CPU time: 159.699 s
20.48/20.52	c ===============================================================================
20.48/20.52	c |      2687 |    3887    25634   329986 |     8544     2687    419 | 28.979 % |
20.89/20.93	c ===============================================================================
20.89/20.93	c New solution: 67761
20.89/20.93	o 67761
20.89/20.93	c Elapsed CPU time: 20.7039 s	Remaining CPU time: 159.296 s
20.89/20.93	c ===============================================================================
20.89/20.93	c |      2747 |    3887    25635   331924 |     8545     2747    422 | 28.979 % |
21.19/21.21	c ===============================================================================
21.19/21.21	c New solution: 67760
21.19/21.21	o 67760
21.19/21.21	c Elapsed CPU time: 20.9828 s	Remaining CPU time: 159.017 s
21.19/21.21	c ===============================================================================
21.19/21.21	c |      2787 |    3887    25636   333862 |     8545     2787    423 | 28.979 % |
21.29/21.36	c ===============================================================================
21.29/21.36	c New solution: 67759
21.29/21.36	o 67759
21.29/21.36	c Elapsed CPU time: 21.1418 s	Remaining CPU time: 158.858 s
21.29/21.36	c ===============================================================================
21.29/21.36	c |      2834 |    3887    25637   335800 |     8545     2834    424 | 28.979 % |
21.99/22.02	c |      2936 |    3887    25637   335800 |     9400     2936    427 | 28.979 % |
22.38/22.43	c ===============================================================================
22.38/22.43	c New solution: 67758
22.38/22.43	o 67758
22.38/22.43	c Elapsed CPU time: 22.2016 s	Remaining CPU time: 157.798 s
22.38/22.43	c ===============================================================================
22.38/22.43	c |      3024 |    3887    25638   337738 |     8546     3024    430 | 28.979 % |
22.58/22.66	c ===============================================================================
22.58/22.66	c New solution: 67757
22.58/22.66	o 67757
22.58/22.66	c Elapsed CPU time: 22.4276 s	Remaining CPU time: 157.572 s
22.58/22.66	c ===============================================================================
22.58/22.66	c |      3050 |    3887    25639   339676 |     8546     3050    430 | 28.979 % |
22.78/22.81	c ===============================================================================
22.78/22.81	c New solution: 67756
22.78/22.81	o 67756
22.78/22.81	c Elapsed CPU time: 22.5816 s	Remaining CPU time: 157.418 s
22.78/22.81	c ===============================================================================
22.78/22.81	c |      3056 |    3887    25640   341614 |     8546     3056    430 | 28.979 % |
22.88/22.93	c ===============================================================================
22.88/22.93	c New solution: 66300
22.88/22.93	o 66300
22.88/22.93	c Elapsed CPU time: 22.6975 s	Remaining CPU time: 157.302 s
22.88/22.93	c ===============================================================================
22.88/22.93	c |      3059 |    3887    25641   343552 |     8547     3059    430 | 28.979 % |
23.09/23.11	c ===============================================================================
23.09/23.11	c New solution: 66299
23.09/23.11	o 66299
23.09/23.11	c Elapsed CPU time: 22.8745 s	Remaining CPU time: 157.125 s
23.09/23.11	c ===============================================================================
23.09/23.11	c |      3065 |    3887    25642   345490 |     8547     3065    430 | 28.979 % |
23.19/23.29	c ===============================================================================
23.19/23.29	c New solution: 66296
23.19/23.29	o 66296
23.19/23.29	c Elapsed CPU time: 23.0605 s	Remaining CPU time: 156.94 s
23.19/23.29	c ===============================================================================
23.19/23.29	c |      3069 |    3887    25643   347428 |     8547     3069    430 | 28.979 % |
23.38/23.44	c |      3169 |    3887    25643   347428 |     9402     3169    429 | 28.979 % |
23.69/23.70	c ===============================================================================
23.69/23.70	c New solution: 66295
23.69/23.70	o 66295
23.69/23.70	c Elapsed CPU time: 23.4694 s	Remaining CPU time: 156.531 s
23.69/23.70	c ===============================================================================
23.69/23.70	c |      3172 |    3887    25644   349366 |     8548     3172    429 | 28.979 % |
23.79/23.81	c ===============================================================================
23.79/23.81	c New solution: 66294
23.79/23.81	o 66294
23.79/23.81	c Elapsed CPU time: 23.5714 s	Remaining CPU time: 156.429 s
23.79/23.81	c ===============================================================================
23.79/23.81	c |      3173 |    3887    25645   351304 |     8548     3173    429 | 28.979 % |
23.89/23.91	c ===============================================================================
23.89/23.91	c New solution: 66289
23.89/23.91	o 66289
23.89/23.91	c Elapsed CPU time: 23.6784 s	Remaining CPU time: 156.322 s
23.89/23.91	c ===============================================================================
23.89/23.91	c |      3173 |    3887    25646   353242 |     8548     3173    429 | 28.979 % |
23.99/24.02	c ===============================================================================
23.99/24.02	c New solution: 66288
23.99/24.02	o 66288
23.99/24.02	c Elapsed CPU time: 23.7804 s	Remaining CPU time: 156.22 s
23.99/24.02	c ===============================================================================
23.99/24.02	c |      3173 |    3887    25647   355180 |     8549     3173    429 | 28.979 % |
24.09/24.12	c ===============================================================================
24.09/24.12	c New solution: 66287
24.09/24.12	o 66287
24.09/24.12	c Elapsed CPU time: 23.8844 s	Remaining CPU time: 156.116 s
24.09/24.12	c ===============================================================================
24.09/24.12	c |      3174 |    3887    25648   357118 |     8549     3174    429 | 28.979 % |
24.19/24.21	c ===============================================================================
24.19/24.21	c New solution: 66286
24.19/24.21	o 66286
24.19/24.21	c Elapsed CPU time: 23.9724 s	Remaining CPU time: 156.028 s
24.19/24.21	c ===============================================================================
24.19/24.21	c |      3177 |    3887    25649   359056 |     8549     3177    430 | 28.979 % |
24.29/24.38	c ===============================================================================
24.29/24.38	c New solution: 66280
24.29/24.38	o 66280
24.29/24.38	c Elapsed CPU time: 24.1413 s	Remaining CPU time: 155.859 s
24.29/24.38	c ===============================================================================
24.29/24.38	c |      3177 |    3887    25650   360994 |     8550     3177    430 | 28.979 % |
24.48/24.55	c ===============================================================================
24.48/24.55	c New solution: 66279
24.48/24.55	o 66279
24.48/24.55	c Elapsed CPU time: 24.3103 s	Remaining CPU time: 155.69 s
24.48/24.55	c ===============================================================================
24.48/24.55	c |      3179 |    3887    25651   362932 |     8550     3179    430 | 28.979 % |
24.58/24.63	c ===============================================================================
24.58/24.63	c New solution: 66278
24.58/24.63	o 66278
24.58/24.63	c Elapsed CPU time: 24.3903 s	Remaining CPU time: 155.61 s
24.58/24.63	c ===============================================================================
24.58/24.63	c |      3186 |    3887    25652   364870 |     8550     3186    429 | 28.979 % |
24.68/24.79	c ===============================================================================
24.68/24.79	c New solution: 66277
24.68/24.79	o 66277
24.68/24.79	c Elapsed CPU time: 24.5483 s	Remaining CPU time: 155.452 s
24.68/24.79	c ===============================================================================
24.68/24.79	c |      3188 |    3887    25653   366808 |     8551     3188    429 | 28.979 % |
25.08/25.12	c ===============================================================================
25.08/25.12	c New solution: 66276
25.08/25.12	o 66276
25.08/25.12	c Elapsed CPU time: 24.8792 s	Remaining CPU time: 155.121 s
25.08/25.12	c ===============================================================================
25.08/25.12	c |      3215 |    3887    25654   368746 |     8551     3215    430 | 28.979 % |
25.18/25.22	c ===============================================================================
25.18/25.22	c New solution: 66275
25.18/25.22	o 66275
25.18/25.22	c Elapsed CPU time: 24.9832 s	Remaining CPU time: 155.017 s
25.18/25.22	c ===============================================================================
25.18/25.22	c |      3215 |    3887    25655   370684 |     8551     3215    430 | 28.979 % |
25.29/25.33	c ===============================================================================
25.29/25.33	c New solution: 66274
25.29/25.33	o 66274
25.29/25.33	c Elapsed CPU time: 25.0852 s	Remaining CPU time: 154.915 s
25.29/25.33	c ===============================================================================
25.29/25.33	c |      3218 |    3887    25656   372622 |     8552     3218    430 | 28.979 % |
25.48/25.52	c |      3318 |    3887    25656   372622 |     9407     3318    432 | 28.979 % |
25.88/25.98	c ===============================================================================
25.88/25.98	c New solution: 66273
25.88/25.98	o 66273
25.88/25.98	c Elapsed CPU time: 25.7371 s	Remaining CPU time: 154.263 s
25.88/25.98	c ===============================================================================
25.88/25.98	c |      3397 |    3887    25657   374560 |     8552     3397    432 | 28.979 % |
26.39/26.44	c ===============================================================================
26.39/26.44	c New solution: 64815
26.39/26.44	o 64815
26.39/26.44	c Elapsed CPU time: 26.199 s	Remaining CPU time: 153.801 s
26.39/26.44	c ===============================================================================
26.39/26.44	c |      3459 |    3887    25658   376498 |     8552     3459    433 | 28.979 % |
26.59/26.62	c ===============================================================================
26.59/26.62	c New solution: 64781
26.59/26.62	o 64781
26.59/26.62	c Elapsed CPU time: 26.373 s	Remaining CPU time: 153.627 s
26.59/26.62	c ===============================================================================
26.59/26.62	c |      3461 |    3887    25659   378436 |     8553     3461    433 | 28.979 % |
26.59/26.69	c ===============================================================================
26.59/26.69	c New solution: 63326
26.59/26.69	o 63326
26.59/26.69	c Elapsed CPU time: 26.445 s	Remaining CPU time: 153.555 s
26.59/26.69	c ===============================================================================
26.59/26.69	c |      3462 |    3887    25660   380374 |     8553     3462    433 | 28.979 % |
26.69/26.76	c ===============================================================================
26.69/26.76	c New solution: 61841
26.69/26.76	o 61841
26.69/26.76	c Elapsed CPU time: 26.513 s	Remaining CPU time: 153.487 s
26.69/26.76	c ===============================================================================
26.69/26.76	c |      3466 |    3887    25661   382312 |     8553     3466    433 | 28.979 % |
26.89/26.96	c ===============================================================================
26.89/26.96	c New solution: 61811
26.89/26.96	o 61811
26.89/26.96	c Elapsed CPU time: 26.7119 s	Remaining CPU time: 153.288 s
26.89/26.96	c ===============================================================================
26.89/26.96	c |      3473 |    3887    25662   384250 |     8554     3473    433 | 28.979 % |
27.28/27.37	c ===============================================================================
27.28/27.37	c New solution: 60337
27.28/27.37	o 60337
27.28/27.37	c Elapsed CPU time: 27.1209 s	Remaining CPU time: 152.879 s
27.28/27.37	c ===============================================================================
27.28/27.37	c |      3511 |    3887    25663   386188 |     8554     3511    434 | 28.979 % |
27.49/27.57	c ===============================================================================
27.49/27.57	c New solution: 60284
27.49/27.57	o 60284
27.49/27.57	c Elapsed CPU time: 27.3218 s	Remaining CPU time: 152.678 s
27.49/27.57	c ===============================================================================
27.49/27.57	c |      3518 |    3887    25664   388126 |     8554     3518    434 | 28.979 % |
27.68/27.79	c ===============================================================================
27.68/27.79	c New solution: 60281
27.68/27.79	o 60281
27.68/27.79	c Elapsed CPU time: 27.5408 s	Remaining CPU time: 152.459 s
27.68/27.79	c ===============================================================================
27.68/27.79	c |      3542 |    3887    25665   390064 |     8555     3542    434 | 28.979 % |
28.48/28.52	c |      3642 |    3887    25665   390064 |     9410     3642    437 | 28.979 % |
28.59/28.64	c ===============================================================================
28.59/28.64	c New solution: 60280
28.59/28.64	o 60280
28.59/28.64	c Elapsed CPU time: 28.3927 s	Remaining CPU time: 151.607 s
28.59/28.64	c ===============================================================================
28.59/28.64	c |      3646 |    3887    25666   392002 |     8555     3646    437 | 28.979 % |
28.69/28.74	c |      3747 |    3887    25666   392002 |     9410     3747    438 | 28.979 % |
28.78/28.85	c ===============================================================================
28.78/28.85	c New solution: 60279
28.78/28.85	o 60279
28.78/28.85	c Elapsed CPU time: 28.5977 s	Remaining CPU time: 151.402 s
28.78/28.85	c ===============================================================================
28.78/28.85	c |      3754 |    3887    25667   393940 |     8555     3754    438 | 28.979 % |
28.98/29.08	c ===============================================================================
28.98/29.08	c New solution: 60278
28.98/29.08	o 60278
28.98/29.08	c Elapsed CPU time: 28.8306 s	Remaining CPU time: 151.169 s
28.98/29.08	c ===============================================================================
28.98/29.08	c |      3791 |    3887    25668   395878 |     8556     3791    438 | 28.979 % |
29.28/29.37	c ===============================================================================
29.28/29.37	c New solution: 60277
29.28/29.37	o 60277
29.28/29.37	c Elapsed CPU time: 29.1116 s	Remaining CPU time: 150.888 s
29.28/29.37	c ===============================================================================
29.28/29.37	c |      3832 |    3887    25669   397816 |     8556     3832    439 | 28.979 % |
29.49/29.52	c ===============================================================================
29.49/29.52	c New solution: 60276
29.49/29.52	o 60276
29.49/29.52	c Elapsed CPU time: 29.2675 s	Remaining CPU time: 150.732 s
29.49/29.52	c ===============================================================================
29.49/29.52	c |      3844 |    3887    25670   399754 |     8556     3844    439 | 28.979 % |
29.58/29.65	c ===============================================================================
29.58/29.65	c New solution: 60275
29.58/29.65	o 60275
29.58/29.65	c Elapsed CPU time: 29.3865 s	Remaining CPU time: 150.613 s
29.58/29.65	c ===============================================================================
29.58/29.65	c |      3850 |    3887    25671   401692 |     8557     3850    439 | 28.979 % |
29.79/29.80	c ===============================================================================
29.79/29.80	c New solution: 60274
29.79/29.80	o 60274
29.79/29.80	c Elapsed CPU time: 29.5435 s	Remaining CPU time: 150.456 s
29.79/29.80	c ===============================================================================
29.79/29.80	c |      3862 |    3887    25672   403630 |     8557     3862    439 | 28.979 % |
29.88/29.97	c ===============================================================================
29.88/29.97	c New solution: 60273
29.88/29.97	o 60273
29.88/29.97	c Elapsed CPU time: 29.7105 s	Remaining CPU time: 150.29 s
29.88/29.97	c ===============================================================================
29.88/29.97	c |      3864 |    3887    25673   405568 |     8557     3864    439 | 28.979 % |
29.98/30.09	c ===============================================================================
29.98/30.09	c New solution: 60272
29.98/30.09	o 60272
29.98/30.09	c Elapsed CPU time: 29.8245 s	Remaining CPU time: 150.176 s
29.98/30.09	c ===============================================================================
29.98/30.09	c |      3868 |    3887    25674   407506 |     8558     3868    439 | 28.979 % |
30.79/30.82	c |      3968 |    3887    25674   407506 |     9413     3968    441 | 28.979 % |
30.89/30.95	c ===============================================================================
30.89/30.95	c New solution: 60271
30.89/30.95	o 60271
30.89/30.95	c Elapsed CPU time: 30.6903 s	Remaining CPU time: 149.31 s
30.89/30.95	c ===============================================================================
30.89/30.95	c |      3972 |    3887    25675   409444 |     8558     3972    441 | 28.979 % |
31.08/31.13	c ===============================================================================
31.08/31.13	c New solution: 60270
31.08/31.13	o 60270
31.08/31.13	c Elapsed CPU time: 30.8643 s	Remaining CPU time: 149.136 s
31.08/31.13	c ===============================================================================
31.08/31.13	c |      3984 |    3887    25676   411382 |     8558     3984    441 | 28.979 % |
31.28/31.37	c ===============================================================================
31.28/31.37	c New solution: 60269
31.28/31.37	o 60269
31.28/31.37	c Elapsed CPU time: 31.1073 s	Remaining CPU time: 148.893 s
31.28/31.37	c ===============================================================================
31.28/31.37	c |      4002 |    3887    25677   413320 |     8559     4002    441 | 28.979 % |
31.58/31.63	c ===============================================================================
31.58/31.63	c New solution: 60268
31.58/31.63	o 60268
31.58/31.63	c Elapsed CPU time: 31.3682 s	Remaining CPU time: 148.632 s
31.58/31.63	c ===============================================================================
31.58/31.63	c |      4050 |    3887    25678   415258 |     8559     4050    441 | 28.979 % |
31.68/31.78	c ===============================================================================
31.68/31.78	c New solution: 60267
31.68/31.78	o 60267
31.68/31.78	c Elapsed CPU time: 31.5142 s	Remaining CPU time: 148.486 s
31.68/31.78	c ===============================================================================
31.68/31.78	c |      4052 |    3887    25679   417196 |     8559     4052    441 | 28.979 % |
31.99/32.04	c ===============================================================================
31.99/32.04	c New solution: 60266
31.99/32.04	o 60266
31.99/32.04	c Elapsed CPU time: 31.7662 s	Remaining CPU time: 148.234 s
31.99/32.04	c ===============================================================================
31.99/32.04	c |      4086 |    3887    25680   419134 |     8560     4086    441 | 28.979 % |
32.08/32.16	c ===============================================================================
32.08/32.16	c New solution: 60265
32.08/32.16	o 60265
32.08/32.16	c Elapsed CPU time: 31.8922 s	Remaining CPU time: 148.108 s
32.08/32.16	c ===============================================================================
32.08/32.16	c |      4096 |    3887    25681   421072 |     8560     4096    442 | 28.979 % |
32.58/32.65	c |      4196 |    3887    25681   421072 |     9416     4196    442 | 28.979 % |
32.88/32.94	c ===============================================================================
32.88/32.94	c New solution: 60264
32.88/32.94	o 60264
32.88/32.94	c Elapsed CPU time: 32.667 s	Remaining CPU time: 147.333 s
32.88/32.94	c ===============================================================================
32.88/32.94	c |      4226 |    3887    25682   423010 |     8560     4226    442 | 28.979 % |
33.18/33.30	c ===============================================================================
33.18/33.30	c New solution: 60255
33.18/33.30	o 60255
33.18/33.30	c Elapsed CPU time: 33.022 s	Remaining CPU time: 146.978 s
33.18/33.30	c ===============================================================================
33.18/33.30	c |      4267 |    3887    25683   424948 |     8561     4267    441 | 28.979 % |
33.38/33.45	c ===============================================================================
33.38/33.45	c New solution: 58831
33.38/33.45	o 58831
33.38/33.45	c Elapsed CPU time: 33.176 s	Remaining CPU time: 146.824 s
33.38/33.45	c ===============================================================================
33.38/33.45	c |      4267 |    3887    25684   426886 |     8561     4267    441 | 28.979 % |
33.58/33.60	c ===============================================================================
33.58/33.60	c New solution: 58830
33.58/33.60	o 58830
33.58/33.60	c Elapsed CPU time: 33.3279 s	Remaining CPU time: 146.672 s
33.58/33.60	c ===============================================================================
33.58/33.60	c |      4268 |    3887    25685   428824 |     8561     4268    441 | 28.979 % |
33.68/33.75	c ===============================================================================
33.68/33.75	c New solution: 58827
33.68/33.75	o 58827
33.68/33.75	c Elapsed CPU time: 33.4729 s	Remaining CPU time: 146.527 s
33.68/33.75	c ===============================================================================
33.68/33.75	c |      4270 |    3887    25686   430762 |     8562     4270    441 | 28.979 % |
33.88/33.90	c ===============================================================================
33.88/33.90	c New solution: 58826
33.88/33.90	o 58826
33.88/33.90	c Elapsed CPU time: 33.6259 s	Remaining CPU time: 146.374 s
33.88/33.90	c ===============================================================================
33.88/33.90	c |      4271 |    3887    25687   432700 |     8562     4271    441 | 28.979 % |
33.98/34.05	c ===============================================================================
33.98/34.05	c New solution: 58825
33.98/34.05	o 58825
33.98/34.05	c Elapsed CPU time: 33.7699 s	Remaining CPU time: 146.23 s
33.98/34.05	c ===============================================================================
33.98/34.05	c |      4271 |    3887    25688   434638 |     8562     4271    441 | 28.979 % |
34.09/34.20	c ===============================================================================
34.09/34.20	c New solution: 58824
34.09/34.20	o 58824
34.09/34.20	c Elapsed CPU time: 33.9168 s	Remaining CPU time: 146.083 s
34.09/34.20	c ===============================================================================
34.09/34.20	c |      4272 |    3887    25689   436576 |     8563     4272    441 | 28.979 % |
34.19/34.29	c ===============================================================================
34.19/34.29	c New solution: 57350
34.19/34.29	o 57350
34.19/34.29	c Elapsed CPU time: 34.0078 s	Remaining CPU time: 145.992 s
34.19/34.29	c ===============================================================================
34.19/34.29	c |      4274 |    3887    25690   438514 |     8563     4274    441 | 28.979 % |
34.38/34.45	c ===============================================================================
34.38/34.45	c New solution: 57340
34.38/34.45	o 57340
34.38/34.45	c Elapsed CPU time: 34.1668 s	Remaining CPU time: 145.833 s
34.38/34.45	c ===============================================================================
34.38/34.45	c |      4274 |    3887    25691   440452 |     8563     4274    441 | 28.979 % |
34.58/34.61	c ===============================================================================
34.58/34.61	c New solution: 57336
34.58/34.61	o 57336
34.58/34.61	c Elapsed CPU time: 34.3208 s	Remaining CPU time: 145.679 s
34.58/34.61	c ===============================================================================
34.58/34.61	c |      4274 |    3887    25692   442390 |     8564     4274    441 | 28.979 % |
34.68/34.76	c ===============================================================================
34.68/34.76	c New solution: 57335
34.68/34.76	o 57335
34.68/34.76	c Elapsed CPU time: 34.4768 s	Remaining CPU time: 145.523 s
34.68/34.76	c ===============================================================================
34.68/34.76	c |      4274 |    3887    25693   444328 |     8564     4274    441 | 28.979 % |
34.88/34.92	c ===============================================================================
34.88/34.92	c New solution: 57334
34.88/34.92	o 57334
34.88/34.92	c Elapsed CPU time: 34.6277 s	Remaining CPU time: 145.372 s
34.88/34.92	c ===============================================================================
34.88/34.92	c |      4274 |    3887    25694   446266 |     8564     4274    441 | 28.979 % |
34.98/35.09	c ===============================================================================
34.98/35.09	c New solution: 57333
34.98/35.09	o 57333
34.98/35.09	c Elapsed CPU time: 34.8037 s	Remaining CPU time: 145.196 s
34.98/35.09	c ===============================================================================
34.98/35.09	c |      4277 |    3887    25695   448204 |     8565     4277    441 | 28.979 % |
35.08/35.18	c ===============================================================================
35.08/35.18	c New solution: 57332
35.08/35.18	o 57332
35.08/35.18	c Elapsed CPU time: 34.8877 s	Remaining CPU time: 145.112 s
35.08/35.18	c ===============================================================================
35.08/35.18	c |      4282 |    3887    25696   450142 |     8565     4282    441 | 28.979 % |
35.29/35.35	c |      4382 |    3887    25696   450142 |     9421     4382    440 | 28.979 % |
35.38/35.42	c ===============================================================================
35.38/35.42	c New solution: 55853
35.38/35.42	o 55853
35.38/35.42	c Elapsed CPU time: 35.1257 s	Remaining CPU time: 144.874 s
35.38/35.42	c ===============================================================================
35.38/35.42	c |      4382 |    3887    25697   452080 |     8565     4382    440 | 28.979 % |
35.38/35.49	c ===============================================================================
35.38/35.49	c New solution: 55852
35.38/35.49	o 55852
35.38/35.49	c Elapsed CPU time: 35.1976 s	Remaining CPU time: 144.802 s
35.38/35.49	c ===============================================================================
35.38/35.49	c |      4382 |    3887    25698   454018 |     8566     4382    440 | 28.979 % |
35.48/35.56	c ===============================================================================
35.48/35.56	c New solution: 55848
35.48/35.56	o 55848
35.48/35.56	c Elapsed CPU time: 35.2646 s	Remaining CPU time: 144.735 s
35.48/35.56	c ===============================================================================
35.48/35.56	c |      4382 |    3887    25699   455956 |     8566     4382    440 | 28.979 % |
35.58/35.66	c ===============================================================================
35.58/35.66	c New solution: 54372
35.58/35.66	o 54372
35.58/35.66	c Elapsed CPU time: 35.3616 s	Remaining CPU time: 144.638 s
35.58/35.66	c ===============================================================================
35.58/35.66	c |      4383 |    3887    25700   457894 |     8566     4383    440 | 28.979 % |
35.68/35.73	c ===============================================================================
35.68/35.73	c New solution: 54362
35.68/35.73	o 54362
35.68/35.73	c Elapsed CPU time: 35.4356 s	Remaining CPU time: 144.564 s
35.68/35.73	c ===============================================================================
35.68/35.73	c |      4383 |    3887    25701   459832 |     8567     4383    440 | 28.979 % |
35.78/35.81	c ===============================================================================
35.78/35.81	c New solution: 54361
35.78/35.81	o 54361
35.78/35.81	c Elapsed CPU time: 35.5116 s	Remaining CPU time: 144.488 s
35.78/35.81	c ===============================================================================
35.78/35.81	c |      4383 |    3887    25702   461770 |     8567     4383    440 | 28.979 % |
35.78/35.89	c ===============================================================================
35.78/35.89	c New solution: 54360
35.78/35.89	o 54360
35.78/35.89	c Elapsed CPU time: 35.5896 s	Remaining CPU time: 144.41 s
35.78/35.89	c ===============================================================================
35.78/35.89	c |      4383 |    3887    25703   463708 |     8567     4383    440 | 28.979 % |
35.88/35.98	c ===============================================================================
35.88/35.98	c New solution: 52879
35.88/35.98	o 52879
35.88/35.98	c Elapsed CPU time: 35.6756 s	Remaining CPU time: 144.324 s
35.88/35.98	c ===============================================================================
35.88/35.98	c |      4383 |    3887    25704   465646 |     8568     4383    440 | 28.979 % |
35.98/36.07	c ===============================================================================
35.98/36.07	c New solution: 52870
35.98/36.07	o 52870
35.98/36.07	c Elapsed CPU time: 35.7646 s	Remaining CPU time: 144.235 s
35.98/36.07	c ===============================================================================
35.98/36.07	c |      4383 |    3887    25705   467584 |     8568     4383    440 | 28.979 % |
36.08/36.15	c ===============================================================================
36.08/36.15	c New solution: 52869
36.08/36.15	o 52869
36.08/36.15	c Elapsed CPU time: 35.8486 s	Remaining CPU time: 144.151 s
36.08/36.15	c ===============================================================================
36.08/36.15	c |      4385 |    3887    25706   469522 |     8568     4385    440 | 28.979 % |
36.29/36.37	c ===============================================================================
36.29/36.37	c New solution: 52868
36.29/36.37	o 52868
36.29/36.37	c Elapsed CPU time: 36.0725 s	Remaining CPU time: 143.927 s
36.29/36.37	c ===============================================================================
36.29/36.37	c |      4387 |    3887    25707   471460 |     8569     4387    440 | 28.979 % |
36.48/36.55	c ===============================================================================
36.48/36.55	c New solution: 52867
36.48/36.55	o 52867
36.48/36.55	c Elapsed CPU time: 36.2505 s	Remaining CPU time: 143.75 s
36.48/36.55	c ===============================================================================
36.48/36.55	c |      4390 |    3887    25708   473398 |     8569     4390    440 | 28.979 % |
36.68/36.70	c ===============================================================================
36.68/36.70	c New solution: 52866
36.68/36.70	o 52866
36.68/36.70	c Elapsed CPU time: 36.3965 s	Remaining CPU time: 143.604 s
36.68/36.70	c ===============================================================================
36.68/36.70	c |      4391 |    3887    25709   475336 |     8569     4391    440 | 28.979 % |
36.78/36.81	c ===============================================================================
36.78/36.81	c New solution: 52855
36.78/36.81	o 52855
36.78/36.81	c Elapsed CPU time: 36.5074 s	Remaining CPU time: 143.493 s
36.78/36.81	c ===============================================================================
36.78/36.81	c |      4391 |    3887    25710   477274 |     8570     4391    440 | 28.979 % |
36.88/36.96	c ===============================================================================
36.88/36.96	c New solution: 52854
36.88/36.96	o 52854
36.88/36.96	c Elapsed CPU time: 36.6544 s	Remaining CPU time: 143.346 s
36.88/36.96	c ===============================================================================
36.88/36.96	c |      4394 |    3887    25711   479212 |     8570     4394    440 | 28.979 % |
37.08/37.12	c ===============================================================================
37.08/37.12	c New solution: 52853
37.08/37.12	o 52853
37.08/37.12	c Elapsed CPU time: 36.8144 s	Remaining CPU time: 143.186 s
37.08/37.12	c ===============================================================================
37.08/37.12	c |      4403 |    3887    25712   481150 |     8570     4403    440 | 28.979 % |
37.28/37.37	c ===============================================================================
37.28/37.37	c New solution: 52833
37.28/37.37	o 52833
37.28/37.37	c Elapsed CPU time: 37.0624 s	Remaining CPU time: 142.938 s
37.28/37.37	c ===============================================================================
37.28/37.37	c |      4407 |    3887    25713   483088 |     8571     4407    440 | 28.979 % |
37.48/37.58	c ===============================================================================
37.48/37.58	c New solution: 52826
37.48/37.58	o 52826
37.48/37.58	c Elapsed CPU time: 37.2753 s	Remaining CPU time: 142.725 s
37.48/37.58	c ===============================================================================
37.48/37.58	c |      4409 |    3887    25714   485026 |     8571     4409    440 | 28.979 % |
37.68/37.77	c ===============================================================================
37.68/37.77	c New solution: 51372
37.68/37.77	o 51372
37.68/37.77	c Elapsed CPU time: 37.4633 s	Remaining CPU time: 142.537 s
37.68/37.77	c ===============================================================================
37.68/37.77	c |      4441 |    3887    25715   486964 |     8571     4441    440 | 28.979 % |
37.88/37.98	c ===============================================================================
37.88/37.98	c New solution: 51338
37.88/37.98	o 51338
37.88/37.98	c Elapsed CPU time: 37.6673 s	Remaining CPU time: 142.333 s
37.88/37.98	c ===============================================================================
37.88/37.98	c |      4441 |    3887    25716   488902 |     8572     4441    440 | 28.979 % |
38.49/38.60	c ===============================================================================
38.49/38.60	c New solution: 51337
38.49/38.60	o 51337
38.49/38.60	c Elapsed CPU time: 38.2872 s	Remaining CPU time: 141.713 s
38.49/38.60	c ===============================================================================
38.49/38.60	c |      4520 |    3887    25717   490840 |     8572     4520    442 | 28.979 % |
38.78/38.89	c ===============================================================================
38.78/38.89	c New solution: 51335
38.78/38.89	o 51335
38.78/38.89	c Elapsed CPU time: 38.5801 s	Remaining CPU time: 141.42 s
38.78/38.89	c ===============================================================================
38.78/38.89	c |      4522 |    3887    25718   492778 |     8572     4522    442 | 28.979 % |
39.08/39.19	c ===============================================================================
39.08/39.19	c New solution: 51323
39.08/39.19	o 51323
39.08/39.19	c Elapsed CPU time: 38.8751 s	Remaining CPU time: 141.125 s
39.08/39.19	c ===============================================================================
39.08/39.19	c |      4525 |    3887    25719   494716 |     8573     4525    442 | 28.979 % |
39.48/39.52	c ===============================================================================
39.48/39.52	c New solution: 51314
39.48/39.52	o 51314
39.48/39.52	c Elapsed CPU time: 39.209 s	Remaining CPU time: 140.791 s
39.48/39.52	c ===============================================================================
39.48/39.52	c |      4542 |    3887    25720   496654 |     8573     4542    442 | 28.979 % |
39.58/39.68	c ===============================================================================
39.58/39.68	c New solution: 51313
39.58/39.68	o 51313
39.58/39.68	c Elapsed CPU time: 39.369 s	Remaining CPU time: 140.631 s
39.58/39.68	c ===============================================================================
39.58/39.68	c |      4542 |    3887    25721   498592 |     8573     4542    442 | 28.979 % |
39.78/39.84	c ===============================================================================
39.78/39.84	c New solution: 51312
39.78/39.84	o 51312
39.78/39.84	c Elapsed CPU time: 39.526 s	Remaining CPU time: 140.474 s
39.78/39.84	c ===============================================================================
39.78/39.84	c |      4542 |    3887    25722   500530 |     8574     4542    442 | 28.979 % |
39.87/40.00	c ===============================================================================
39.87/40.00	c New solution: 51311
39.87/40.00	o 51311
39.87/40.00	c Elapsed CPU time: 39.679 s	Remaining CPU time: 140.321 s
39.87/40.00	c ===============================================================================
39.87/40.00	c |      4542 |    3887    25723   502468 |     8574     4542    442 | 28.979 % |
40.07/40.16	c ===============================================================================
40.07/40.16	c New solution: 51310
40.07/40.16	o 51310
40.07/40.16	c Elapsed CPU time: 39.8409 s	Remaining CPU time: 140.159 s
40.07/40.16	c ===============================================================================
40.07/40.16	c |      4542 |    3887    25724   504406 |     8574     4542    442 | 28.979 % |
40.27/40.35	c ===============================================================================
40.27/40.35	c New solution: 49876
40.27/40.35	o 49876
40.27/40.35	c Elapsed CPU time: 40.0369 s	Remaining CPU time: 139.963 s
40.27/40.35	c ===============================================================================
40.27/40.35	c |      4543 |    3887    25725   506344 |     8575     4543    441 | 28.979 % |
40.57/40.62	c ===============================================================================
40.57/40.62	c New solution: 49845
40.57/40.62	o 49845
40.57/40.62	c Elapsed CPU time: 40.2999 s	Remaining CPU time: 139.7 s
40.57/40.62	c ===============================================================================
40.57/40.62	c |      4543 |    3887    25726   508282 |     8575     4543    441 | 28.979 % |
40.78/40.84	c ===============================================================================
40.78/40.84	c New solution: 49842
40.78/40.84	o 49842
40.78/40.84	c Elapsed CPU time: 40.5208 s	Remaining CPU time: 139.479 s
40.78/40.84	c ===============================================================================
40.78/40.84	c |      4544 |    3887    25727   510220 |     8575     4544    441 | 28.979 % |
41.08/41.11	c ===============================================================================
41.08/41.11	c New solution: 49841
41.08/41.11	o 49841
41.08/41.11	c Elapsed CPU time: 40.7908 s	Remaining CPU time: 139.209 s
41.08/41.11	c ===============================================================================
41.08/41.11	c |      4544 |    3887    25728   512158 |     8576     4544    441 | 28.979 % |
41.28/41.36	c ===============================================================================
41.28/41.36	c New solution: 49840
41.28/41.36	o 49840
41.28/41.36	c Elapsed CPU time: 41.0428 s	Remaining CPU time: 138.957 s
41.28/41.36	c ===============================================================================
41.28/41.36	c |      4544 |    3887    25729   514096 |     8576     4544    441 | 28.979 % |
41.58/41.61	c ===============================================================================
41.58/41.61	c New solution: 49839
41.58/41.61	o 49839
41.58/41.61	c Elapsed CPU time: 41.2877 s	Remaining CPU time: 138.712 s
41.58/41.61	c ===============================================================================
41.58/41.61	c |      4544 |    3887    25730   516034 |     8576     4544    441 | 28.979 % |
41.79/41.85	c ===============================================================================
41.79/41.85	c New solution: 49838
41.79/41.85	o 49838
41.79/41.85	c Elapsed CPU time: 41.5317 s	Remaining CPU time: 138.468 s
41.79/41.85	c ===============================================================================
41.79/41.85	c |      4544 |    3887    25731   517972 |     8577     4544    441 | 28.979 % |
42.08/42.11	c ===============================================================================
42.08/42.11	c New solution: 49837
42.08/42.11	o 49837
42.08/42.11	c Elapsed CPU time: 41.7896 s	Remaining CPU time: 138.21 s
42.08/42.11	c ===============================================================================
42.08/42.11	c |      4544 |    3887    25732   519910 |     8577     4544    441 | 28.979 % |
42.28/42.33	c ===============================================================================
42.28/42.33	c New solution: 49836
42.28/42.33	o 49836
42.28/42.33	c Elapsed CPU time: 42.0096 s	Remaining CPU time: 137.99 s
42.28/42.33	c ===============================================================================
42.28/42.33	c |      4544 |    3887    25733   521848 |     8577     4544    441 | 28.979 % |
42.48/42.59	c ===============================================================================
42.48/42.59	c New solution: 49835
42.48/42.59	o 49835
42.48/42.59	c Elapsed CPU time: 42.2666 s	Remaining CPU time: 137.733 s
42.48/42.59	c ===============================================================================
42.48/42.59	c |      4544 |    3887    25734   523786 |     8578     4544    441 | 28.979 % |
42.78/42.85	c ===============================================================================
42.78/42.85	c New solution: 49834
42.78/42.85	o 49834
42.78/42.85	c Elapsed CPU time: 42.5215 s	Remaining CPU time: 137.478 s
42.78/42.85	c ===============================================================================
42.78/42.85	c |      4544 |    3887    25735   525724 |     8578     4544    441 | 28.979 % |
42.98/43.07	c ===============================================================================
42.98/43.07	c New solution: 49833
42.98/43.07	o 49833
42.98/43.07	c Elapsed CPU time: 42.7475 s	Remaining CPU time: 137.252 s
42.98/43.07	c ===============================================================================
42.98/43.07	c |      4545 |    3887    25736   527662 |     8578     4545    441 | 28.979 % |
43.18/43.29	c ===============================================================================
43.18/43.29	c New solution: 49832
43.18/43.29	o 49832
43.18/43.29	c Elapsed CPU time: 42.9675 s	Remaining CPU time: 137.033 s
43.18/43.29	c ===============================================================================
43.18/43.29	c |      4555 |    3887    25737   529600 |     8579     4555    442 | 28.979 % |
43.48/43.53	c ===============================================================================
43.48/43.53	c New solution: 49831
43.48/43.53	o 49831
43.48/43.53	c Elapsed CPU time: 43.2054 s	Remaining CPU time: 136.795 s
43.48/43.53	c ===============================================================================
43.48/43.53	c |      4558 |    3887    25738   531538 |     8579     4558    442 | 28.979 % |
43.78/43.83	c ===============================================================================
43.78/43.83	c New solution: 49830
43.78/43.83	o 49830
43.78/43.83	c Elapsed CPU time: 43.5044 s	Remaining CPU time: 136.496 s
43.78/43.83	c ===============================================================================
43.78/43.83	c |      4567 |    3887    25739   533476 |     8579     4567    442 | 28.979 % |
43.98/44.02	c ===============================================================================
43.98/44.02	c New solution: 49829
43.98/44.02	o 49829
43.98/44.02	c Elapsed CPU time: 43.6984 s	Remaining CPU time: 136.302 s
43.98/44.02	c ===============================================================================
43.98/44.02	c |      4572 |    3887    25740   535414 |     8580     4572    442 | 28.979 % |
44.47/44.58	c ===============================================================================
44.47/44.58	c New solution: 49828
44.47/44.58	o 49828
44.47/44.58	c Elapsed CPU time: 44.2553 s	Remaining CPU time: 135.745 s
44.47/44.58	c ===============================================================================
44.47/44.58	c |      4643 |    3887    25741   537352 |     8580     4643    442 | 28.979 % |
44.77/44.82	c ===============================================================================
44.77/44.82	c New solution: 49827
44.77/44.82	o 49827
44.77/44.82	c Elapsed CPU time: 44.4902 s	Remaining CPU time: 135.51 s
44.77/44.82	c ===============================================================================
44.77/44.82	c |      4651 |    3887    25742   539290 |     8580     4651    442 | 28.979 % |
45.27/45.31	c ===============================================================================
45.27/45.31	c New solution: 49826
45.27/45.31	o 49826
45.27/45.31	c Elapsed CPU time: 44.9862 s	Remaining CPU time: 135.014 s
45.27/45.31	c ===============================================================================
45.27/45.31	c |      4703 |    3887    25743   541228 |     8581     4703    442 | 28.979 % |
46.47/46.55	c |      4804 |    3887    25743   541228 |     9439     4804    443 | 28.979 % |
47.17/47.28	c ===============================================================================
47.17/47.28	c New solution: 49825
47.17/47.28	o 49825
47.17/47.28	c Elapsed CPU time: 46.9529 s	Remaining CPU time: 133.047 s
47.17/47.28	c ===============================================================================
47.17/47.28	c |      4870 |    3887    25744   543166 |     8581     4870    444 | 28.979 % |
47.68/47.72	c ===============================================================================
47.68/47.72	c New solution: 49824
47.68/47.72	o 49824
47.68/47.72	c Elapsed CPU time: 47.3878 s	Remaining CPU time: 132.612 s
47.68/47.72	c ===============================================================================
47.68/47.72	c |      4909 |    3887    25745   545104 |     8581     4909    444 | 28.979 % |
47.98/48.03	c ===============================================================================
47.98/48.03	c New solution: 49823
47.98/48.03	o 49823
47.98/48.03	c Elapsed CPU time: 47.6937 s	Remaining CPU time: 132.306 s
47.98/48.03	c ===============================================================================
47.98/48.03	c |      4933 |    3887    25746   547042 |     8582     4933    444 | 28.979 % |
48.28/48.33	c ===============================================================================
48.28/48.33	c New solution: 49822
48.28/48.33	o 49822
48.28/48.33	c Elapsed CPU time: 47.9927 s	Remaining CPU time: 132.007 s
48.28/48.33	c ===============================================================================
48.28/48.33	c |      4948 |    3887    25747   548980 |     8582     4948    444 | 28.979 % |
48.77/48.85	c ===============================================================================
48.77/48.85	c New solution: 49821
48.77/48.85	o 49821
48.77/48.85	c Elapsed CPU time: 48.5106 s	Remaining CPU time: 131.489 s
48.77/48.85	c ===============================================================================
48.77/48.85	c |      4998 |    3887    25748   550918 |     8582     4998    444 | 28.979 % |
49.27/49.39	c ===============================================================================
49.27/49.39	c New solution: 49719
49.27/49.39	o 49719
49.27/49.39	c Elapsed CPU time: 49.0505 s	Remaining CPU time: 130.949 s
49.27/49.39	c ===============================================================================
49.27/49.39	c |      4999 |    3887    25749   552856 |     8583     4999    444 | 28.979 % |
49.67/49.73	c ===============================================================================
49.67/49.73	c New solution: 48366
49.67/49.73	o 48366
49.67/49.73	c Elapsed CPU time: 49.3865 s	Remaining CPU time: 130.614 s
49.67/49.73	c ===============================================================================
49.67/49.73	c |      5000 |    3887    25750   554794 |     8583     5000    444 | 28.979 % |
49.87/49.97	c ===============================================================================
49.87/49.97	c New solution: 48365
49.87/49.97	o 48365
49.87/49.97	c Elapsed CPU time: 49.6315 s	Remaining CPU time: 130.369 s
49.87/49.97	c ===============================================================================
49.87/49.97	c |      5008 |    3887    25751   556732 |     8583     5008    444 | 28.979 % |
50.38/50.40	c ===============================================================================
50.38/50.40	c New solution: 48364
50.38/50.40	o 48364
50.38/50.40	c Elapsed CPU time: 50.0624 s	Remaining CPU time: 129.938 s
50.38/50.41	c ===============================================================================
50.38/50.41	c |      5035 |    3887    25752   558670 |     8584     5035    444 | 28.979 % |
50.59/50.69	c ===============================================================================
50.59/50.69	c New solution: 48349
50.59/50.69	o 48349
50.59/50.69	c Elapsed CPU time: 50.3463 s	Remaining CPU time: 129.654 s
50.59/50.69	c ===============================================================================
50.59/50.69	c |      5039 |    3887    25753   560608 |     8584     5039    444 | 28.979 % |
50.88/50.96	c ===============================================================================
50.88/50.96	c New solution: 48348
50.88/50.96	o 48348
50.88/50.96	c Elapsed CPU time: 50.6193 s	Remaining CPU time: 129.381 s
50.88/50.96	c ===============================================================================
50.88/50.96	c |      5042 |    3887    25754   562546 |     8584     5042    444 | 28.979 % |
51.18/51.24	c ===============================================================================
51.18/51.24	c New solution: 48347
51.18/51.24	o 48347
51.18/51.24	c Elapsed CPU time: 50.8893 s	Remaining CPU time: 129.111 s
51.18/51.24	c ===============================================================================
51.18/51.24	c |      5049 |    3887    25755   564484 |     8585     5049    444 | 28.979 % |
51.47/51.53	c ===============================================================================
51.47/51.53	c New solution: 48346
51.47/51.53	o 48346
51.47/51.53	c Elapsed CPU time: 51.1792 s	Remaining CPU time: 128.821 s
51.47/51.53	c ===============================================================================
51.47/51.53	c |      5054 |    3887    25756   566422 |     8585     5054    444 | 28.979 % |
51.68/51.78	c ===============================================================================
51.68/51.78	c New solution: 48345
51.68/51.78	o 48345
51.68/51.78	c Elapsed CPU time: 51.4332 s	Remaining CPU time: 128.567 s
51.68/51.78	c ===============================================================================
51.68/51.78	c |      5067 |    3887    25757   568360 |     8585     5067    444 | 28.979 % |
52.07/52.15	c ===============================================================================
52.07/52.15	c New solution: 48344
52.07/52.15	o 48344
52.07/52.15	c Elapsed CPU time: 51.8031 s	Remaining CPU time: 128.197 s
52.07/52.15	c ===============================================================================
52.07/52.15	c |      5073 |    3887    25758   570298 |     8586     5073    444 | 28.979 % |
53.17/53.20	c |      5173 |    3887    25758   570298 |     9444     5173    445 | 28.979 % |
53.38/53.40	c ===============================================================================
53.38/53.40	c New solution: 48329
53.38/53.40	o 48329
53.38/53.40	c Elapsed CPU time: 53.0449 s	Remaining CPU time: 126.955 s
53.38/53.40	c ===============================================================================
53.38/53.40	c |      5181 |    3887    25759   572236 |     8586     5181    445 | 28.979 % |
53.58/53.65	c |      5281 |    3887    25759   572236 |     9444     5281    446 | 28.979 % |
53.88/53.93	c ===============================================================================
53.88/53.93	c New solution: 48328
53.88/53.93	o 48328
53.88/53.93	c Elapsed CPU time: 53.5729 s	Remaining CPU time: 126.427 s
53.88/53.93	c ===============================================================================
53.88/53.93	c |      5282 |    3887    25760   574174 |     8586     5282    446 | 28.979 % |
54.18/54.21	c ===============================================================================
54.18/54.21	c New solution: 48327
54.18/54.21	o 48327
54.18/54.21	c Elapsed CPU time: 53.8488 s	Remaining CPU time: 126.151 s
54.18/54.21	c ===============================================================================
54.18/54.21	c |      5283 |    3887    25761   576112 |     8587     5283    446 | 28.979 % |
54.38/54.47	c ===============================================================================
54.38/54.47	c New solution: 48326
54.38/54.47	o 48326
54.38/54.47	c Elapsed CPU time: 54.1178 s	Remaining CPU time: 125.882 s
54.38/54.47	c ===============================================================================
54.38/54.47	c |      5283 |    3887    25762   578050 |     8587     5283    446 | 28.979 % |
54.98/55.09	c ===============================================================================
54.98/55.09	c New solution: 46906
54.98/55.09	o 46906
54.98/55.09	c Elapsed CPU time: 54.7277 s	Remaining CPU time: 125.272 s
54.98/55.09	c ===============================================================================
54.98/55.09	c |      5327 |    3887    25763   579988 |     8587     5327    445 | 28.979 % |
55.37/55.44	c ===============================================================================
55.37/55.44	c New solution: 46849
55.37/55.44	o 46849
55.37/55.44	c Elapsed CPU time: 55.0766 s	Remaining CPU time: 124.923 s
55.37/55.44	c ===============================================================================
55.37/55.44	c |      5333 |    3887    25764   581926 |     8588     5333    445 | 28.979 % |
55.67/55.77	c ===============================================================================
55.67/55.77	c New solution: 46839
55.67/55.77	o 46839
55.67/55.77	c Elapsed CPU time: 55.4056 s	Remaining CPU time: 124.594 s
55.67/55.77	c ===============================================================================
55.67/55.77	c |      5336 |    3887    25765   583864 |     8588     5336    445 | 28.979 % |
56.08/56.10	c ===============================================================================
56.08/56.10	c New solution: 46838
56.08/56.10	o 46838
56.08/56.10	c Elapsed CPU time: 55.7395 s	Remaining CPU time: 124.26 s
56.08/56.10	c ===============================================================================
56.08/56.10	c |      5352 |    3887    25766   585802 |     8588     5352    445 | 28.979 % |
56.27/56.35	c ===============================================================================
56.27/56.35	c New solution: 46837
56.27/56.35	o 46837
56.27/56.35	c Elapsed CPU time: 55.9835 s	Remaining CPU time: 124.017 s
56.27/56.35	c ===============================================================================
56.27/56.35	c |      5368 |    3887    25767   587740 |     8589     5368    445 | 28.979 % |
56.47/56.59	c |      5468 |    3887    25767   587740 |     9447     5468    444 | 28.979 % |
56.87/56.96	c ===============================================================================
56.87/56.96	c New solution: 45400
56.87/56.96	o 45400
56.87/56.96	c Elapsed CPU time: 56.6014 s	Remaining CPU time: 123.399 s
56.87/56.96	c ===============================================================================
56.87/56.96	c |      5481 |    3887    25768   589678 |     8589     5481    444 | 28.979 % |
57.08/57.20	c ===============================================================================
57.08/57.20	c New solution: 45384
57.08/57.20	o 45384
57.08/57.20	c Elapsed CPU time: 56.8294 s	Remaining CPU time: 123.171 s
57.08/57.20	c ===============================================================================
57.08/57.20	c |      5484 |    3887    25769   591616 |     8589     5484    444 | 28.979 % |
57.37/57.48	c ===============================================================================
57.37/57.48	c New solution: 45381
57.37/57.48	o 45381
57.37/57.48	c Elapsed CPU time: 57.1123 s	Remaining CPU time: 122.888 s
57.37/57.48	c ===============================================================================
57.37/57.48	c |      5490 |    3887    25770   593554 |     8590     5490    444 | 28.979 % |
57.67/57.78	c |      5590 |    3887    25770   593554 |     9449     5590    444 | 28.979 % |
58.07/58.16	c ===============================================================================
58.07/58.16	c New solution: 45349
58.07/58.16	o 45349
58.07/58.16	c Elapsed CPU time: 57.7882 s	Remaining CPU time: 122.212 s
58.07/58.16	c ===============================================================================
58.07/58.16	c |      5608 |    3887    25771   595492 |     8590     5608    443 | 28.979 % |
58.38/58.46	c ===============================================================================
58.38/58.46	c New solution: 45348
58.38/58.46	o 45348
58.38/58.46	c Elapsed CPU time: 58.0932 s	Remaining CPU time: 121.907 s
58.38/58.46	c ===============================================================================
58.38/58.46	c |      5631 |    3887    25772   597430 |     8590     5631    443 | 28.979 % |
58.67/58.72	c ===============================================================================
58.67/58.72	c New solution: 43922
58.67/58.72	o 43922
58.67/58.72	c Elapsed CPU time: 58.3491 s	Remaining CPU time: 121.651 s
58.67/58.72	c ===============================================================================
58.67/58.72	c |      5636 |    3887    25773   599368 |     8591     5636    443 | 28.979 % |
59.08/59.18	c ===============================================================================
59.08/59.18	c New solution: 43868
59.08/59.18	o 43868
59.08/59.18	c Elapsed CPU time: 58.8011 s	Remaining CPU time: 121.199 s
59.08/59.18	c ===============================================================================
59.08/59.18	c |      5653 |    3887    25774   601306 |     8591     5653    443 | 28.979 % |
59.38/59.49	c ===============================================================================
59.38/59.49	c New solution: 43867
59.38/59.49	o 43867
59.38/59.49	c Elapsed CPU time: 59.114 s	Remaining CPU time: 120.886 s
59.38/59.49	c ===============================================================================
59.38/59.49	c |      5662 |    3887    25775   603244 |     8591     5662    443 | 28.979 % |
60.27/60.30	c ===============================================================================
60.27/60.30	c New solution: 43866
60.27/60.30	o 43866
60.27/60.30	c Elapsed CPU time: 59.9219 s	Remaining CPU time: 120.078 s
60.27/60.30	c ===============================================================================
60.27/60.30	c |      5738 |    3887    25776   605182 |     8592     5738    443 | 28.979 % |
60.48/60.60	c ===============================================================================
60.48/60.60	c New solution: 43865
60.48/60.60	o 43865
60.48/60.60	c Elapsed CPU time: 60.2218 s	Remaining CPU time: 119.778 s
60.48/60.60	c ===============================================================================
60.48/60.60	c |      5741 |    3887    25777   607120 |     8592     5741    443 | 28.979 % |
60.87/60.94	c ===============================================================================
60.87/60.94	c New solution: 43864
60.87/60.94	o 43864
60.87/60.94	c Elapsed CPU time: 60.5608 s	Remaining CPU time: 119.439 s
60.87/60.94	c ===============================================================================
60.87/60.94	c |      5747 |    3887    25778   609058 |     8592     5747    443 | 28.979 % |
61.47/61.52	c ===============================================================================
61.47/61.52	c New solution: 43863
61.47/61.52	o 43863
61.47/61.52	c Elapsed CPU time: 61.1437 s	Remaining CPU time: 118.856 s
61.47/61.52	c ===============================================================================
61.47/61.52	c |      5794 |    3887    25779   610996 |     8593     5794    443 | 28.979 % |
61.87/61.93	c ===============================================================================
61.87/61.93	c New solution: 43862
61.87/61.93	o 43862
61.87/61.93	c Elapsed CPU time: 61.5456 s	Remaining CPU time: 118.454 s
61.87/61.93	c ===============================================================================
61.87/61.93	c |      5807 |    3887    25780   612934 |     8593     5807    443 | 28.979 % |
62.27/62.32	c ===============================================================================
62.27/62.32	c New solution: 43860
62.27/62.32	o 43860
62.27/62.32	c Elapsed CPU time: 61.9406 s	Remaining CPU time: 118.059 s
62.27/62.32	c ===============================================================================
62.27/62.32	c |      5818 |    3887    25781   614872 |     8593     5818    443 | 28.979 % |
62.77/62.83	c ===============================================================================
62.77/62.83	c New solution: 43859
62.77/62.83	o 43859
62.77/62.83	c Elapsed CPU time: 62.4425 s	Remaining CPU time: 117.557 s
62.77/62.83	c ===============================================================================
62.77/62.83	c |      5831 |    3887    25782   616810 |     8594     5831    443 | 28.979 % |
63.08/63.14	c ===============================================================================
63.08/63.14	c New solution: 43858
63.08/63.14	o 43858
63.08/63.14	c Elapsed CPU time: 62.7505 s	Remaining CPU time: 117.25 s
63.08/63.14	c ===============================================================================
63.08/63.14	c |      5861 |    3887    25783   618748 |     8594     5861    443 | 28.979 % |
63.47/63.57	c ===============================================================================
63.47/63.57	c New solution: 43857
63.47/63.57	o 43857
63.47/63.57	c Elapsed CPU time: 63.1784 s	Remaining CPU time: 116.822 s
63.47/63.57	c ===============================================================================
63.47/63.57	c |      5882 |    3887    25784   620686 |     8594     5882    443 | 28.979 % |
63.88/63.91	c ===============================================================================
63.88/63.91	c New solution: 43856
63.88/63.91	o 43856
63.88/63.91	c Elapsed CPU time: 63.5193 s	Remaining CPU time: 116.481 s
63.88/63.91	c ===============================================================================
63.88/63.91	c |      5887 |    3887    25785   622624 |     8595     5887    443 | 28.979 % |
64.07/64.18	c ===============================================================================
64.07/64.18	c New solution: 43855
64.07/64.18	o 43855
64.07/64.18	c Elapsed CPU time: 63.7933 s	Remaining CPU time: 116.207 s
64.07/64.18	c ===============================================================================
64.07/64.18	c |      5908 |    3887    25786   624562 |     8595     5908    443 | 28.979 % |
64.47/64.52	c ===============================================================================
64.47/64.52	c New solution: 43854
64.47/64.52	o 43854
64.47/64.52	c Elapsed CPU time: 64.1223 s	Remaining CPU time: 115.878 s
64.47/64.52	c ===============================================================================
64.47/64.52	c |      5910 |    3887    25787   626500 |     8595     5910    443 | 28.979 % |
64.77/64.87	c ===============================================================================
64.77/64.87	c New solution: 43853
64.77/64.87	o 43853
64.77/64.87	c Elapsed CPU time: 64.4782 s	Remaining CPU time: 115.522 s
64.77/64.87	c ===============================================================================
64.77/64.87	c |      5915 |    3887    25788   628438 |     8596     5915    443 | 28.979 % |
65.17/65.23	c ===============================================================================
65.17/65.23	c New solution: 43847
65.17/65.23	o 43847
65.17/65.23	c Elapsed CPU time: 64.8291 s	Remaining CPU time: 115.171 s
65.17/65.23	c ===============================================================================
65.17/65.23	c |      5920 |    3887    25789   630376 |     8596     5920    443 | 28.979 % |
65.57/65.63	c ===============================================================================
65.57/65.63	c New solution: 43846
65.57/65.63	o 43846
65.57/65.63	c Elapsed CPU time: 65.2311 s	Remaining CPU time: 114.769 s
65.57/65.63	c ===============================================================================
65.57/65.63	c |      5927 |    3887    25790   632314 |     8596     5927    443 | 28.979 % |
65.87/65.94	c ===============================================================================
65.87/65.94	c New solution: 43845
65.87/65.94	o 43845
65.87/65.94	c Elapsed CPU time: 65.544 s	Remaining CPU time: 114.456 s
65.87/65.94	c ===============================================================================
65.87/65.94	c |      5930 |    3887    25791   634252 |     8597     5930    443 | 28.979 % |
66.37/66.40	c ===============================================================================
66.37/66.40	c New solution: 43844
66.37/66.40	o 43844
66.37/66.40	c Elapsed CPU time: 65.999 s	Remaining CPU time: 114.001 s
66.37/66.40	c ===============================================================================
66.37/66.40	c |      5955 |    3887    25792   636190 |     8597     5955    443 | 28.979 % |
66.67/66.78	c ===============================================================================
66.67/66.78	c New solution: 42407
66.67/66.78	o 42407
66.67/66.78	c Elapsed CPU time: 66.3769 s	Remaining CPU time: 113.623 s
66.67/66.78	c ===============================================================================
66.67/66.78	c |      5967 |    3887    25793   638128 |     8597     5967    443 | 28.979 % |
67.07/67.15	c ===============================================================================
67.07/67.15	c New solution: 42356
67.07/67.15	o 42356
67.07/67.15	c Elapsed CPU time: 66.7399 s	Remaining CPU time: 113.26 s
67.07/67.15	c ===============================================================================
67.07/67.15	c |      5970 |    3887    25794   640066 |     8598     5970    443 | 28.979 % |
68.27/68.33	c ===============================================================================
68.27/68.33	c New solution: 42355
68.27/68.33	o 42355
68.27/68.33	c Elapsed CPU time: 67.9257 s	Remaining CPU time: 112.074 s
68.27/68.33	c ===============================================================================
68.27/68.33	c |      6066 |    3887    25795   642004 |     8598     6066    442 | 28.979 % |
68.56/68.68	c ===============================================================================
68.56/68.68	c New solution: 42354
68.56/68.68	o 42354
68.56/68.68	c Elapsed CPU time: 68.2686 s	Remaining CPU time: 111.731 s
68.56/68.68	c ===============================================================================
68.56/68.68	c |      6066 |    3887    25796   643942 |     8598     6066    442 | 28.979 % |
68.86/68.92	c ===============================================================================
68.86/68.92	c New solution: 42353
68.86/68.92	o 42353
68.86/68.92	c Elapsed CPU time: 68.5156 s	Remaining CPU time: 111.484 s
68.86/68.92	c ===============================================================================
68.86/68.92	c |      6072 |    3887    25797   645880 |     8599     6072    442 | 28.979 % |
69.16/69.25	c |      6173 |    3887    25797   645880 |     9458     6173    442 | 28.979 % |
69.67/69.78	c |      6323 |    3887    25797   645880 |    10404     6323    441 | 28.979 % |
70.38/70.46	c ===============================================================================
70.38/70.46	c New solution: 42352
70.38/70.46	o 42352
70.38/70.46	c Elapsed CPU time: 70.0513 s	Remaining CPU time: 109.949 s
70.38/70.46	c ===============================================================================
70.38/70.46	c |      6368 |    3887    25798   647818 |     8599     6368    442 | 28.979 % |
70.87/70.99	c |      6468 |    3887    25798   647818 |     9459     6468    442 | 28.979 % |
71.67/71.71	c ===============================================================================
71.67/71.71	c New solution: 42351
71.67/71.71	o 42351
71.67/71.71	c Elapsed CPU time: 71.2932 s	Remaining CPU time: 108.707 s
71.67/71.71	c ===============================================================================
71.67/71.71	c |      6515 |    3887    25799   649756 |     8599     6515    441 | 28.979 % |
72.27/72.37	c ===============================================================================
72.27/72.37	c New solution: 42248
72.27/72.37	o 42248
72.27/72.37	c Elapsed CPU time: 71.9521 s	Remaining CPU time: 108.048 s
72.27/72.37	c ===============================================================================
72.27/72.37	c |      6518 |    3887    25800   651694 |     8600     6518    441 | 28.979 % |
72.58/72.66	c ===============================================================================
72.58/72.66	c New solution: 40941
72.58/72.66	o 40941
72.58/72.66	c Elapsed CPU time: 72.247 s	Remaining CPU time: 107.753 s
72.58/72.66	c ===============================================================================
72.58/72.66	c |      6518 |    3887    25801   653632 |     8600     6518    441 | 28.979 % |
72.86/72.95	c ===============================================================================
72.86/72.95	c New solution: 40940
72.86/72.95	o 40940
72.86/72.95	c Elapsed CPU time: 72.535 s	Remaining CPU time: 107.465 s
72.86/72.95	c ===============================================================================
72.86/72.95	c |      6519 |    3887    25802   655570 |     8600     6519    441 | 28.979 % |
73.16/73.25	c ===============================================================================
73.16/73.25	c New solution: 40938
73.16/73.25	o 40938
73.16/73.25	c Elapsed CPU time: 72.8379 s	Remaining CPU time: 107.162 s
73.16/73.25	c ===============================================================================
73.16/73.25	c |      6520 |    3887    25803   657508 |     8601     6520    441 | 28.979 % |
73.56/73.62	c ===============================================================================
73.56/73.62	c New solution: 40888
73.56/73.62	o 40888
73.56/73.62	c Elapsed CPU time: 73.2009 s	Remaining CPU time: 106.799 s
73.56/73.62	c ===============================================================================
73.56/73.62	c |      6522 |    3887    25804   659446 |     8601     6522    441 | 28.979 % |
73.78/73.86	c ===============================================================================
73.78/73.86	c New solution: 40887
73.78/73.86	o 40887
73.78/73.86	c Elapsed CPU time: 73.4398 s	Remaining CPU time: 106.56 s
73.78/73.86	c ===============================================================================
73.78/73.86	c |      6525 |    3887    25805   661384 |     8601     6525    441 | 28.979 % |
73.97/74.04	c ===============================================================================
73.97/74.04	c New solution: 40886
73.97/74.04	o 40886
73.97/74.04	c Elapsed CPU time: 73.6218 s	Remaining CPU time: 106.378 s
73.97/74.04	c ===============================================================================
73.97/74.04	c |      6525 |    3887    25806   663322 |     8602     6525    441 | 28.979 % |
74.17/74.23	c ===============================================================================
74.17/74.23	c New solution: 40885
74.17/74.23	o 40885
74.17/74.23	c Elapsed CPU time: 73.8128 s	Remaining CPU time: 106.187 s
74.17/74.23	c ===============================================================================
74.17/74.23	c |      6526 |    3887    25807   665260 |     8602     6526    441 | 28.979 % |
74.37/74.42	c ===============================================================================
74.37/74.42	c New solution: 40884
74.37/74.42	o 40884
74.37/74.42	c Elapsed CPU time: 73.9988 s	Remaining CPU time: 106.001 s
74.37/74.42	c ===============================================================================
74.37/74.42	c |      6530 |    3887    25808   667198 |     8602     6530    441 | 28.979 % |
75.07/75.12	c ===============================================================================
75.07/75.12	c New solution: 40883
75.07/75.12	o 40883
75.07/75.12	c Elapsed CPU time: 74.6906 s	Remaining CPU time: 105.309 s
75.07/75.12	c ===============================================================================
75.07/75.12	c |      6580 |    3887    25809   669136 |     8603     6580    440 | 28.979 % |
75.47/75.56	c ===============================================================================
75.47/75.56	c New solution: 40882
75.47/75.56	o 40882
75.47/75.56	c Elapsed CPU time: 75.1376 s	Remaining CPU time: 104.862 s
75.47/75.56	c ===============================================================================
75.47/75.56	c |      6591 |    3887    25810   671074 |     8603     6591    440 | 28.979 % |
75.87/75.99	c ===============================================================================
75.87/75.99	c New solution: 40881
75.87/75.99	o 40881
75.87/75.99	c Elapsed CPU time: 75.5615 s	Remaining CPU time: 104.438 s
75.87/75.99	c ===============================================================================
75.87/75.99	c |      6593 |    3887    25811   673012 |     8603     6593    440 | 28.979 % |
76.26/76.40	c ===============================================================================
76.26/76.40	c New solution: 40880
76.26/76.40	o 40880
76.26/76.40	c Elapsed CPU time: 75.9665 s	Remaining CPU time: 104.034 s
76.26/76.40	c ===============================================================================
76.26/76.40	c |      6593 |    3887    25812   674950 |     8604     6593    440 | 28.979 % |
76.66/76.79	c ===============================================================================
76.66/76.79	c New solution: 40879
76.66/76.79	o 40879
76.66/76.79	c Elapsed CPU time: 76.3644 s	Remaining CPU time: 103.636 s
76.66/76.79	c ===============================================================================
76.66/76.79	c |      6593 |    3887    25813   676888 |     8604     6593    440 | 28.979 % |
77.16/77.20	c ===============================================================================
77.16/77.20	c New solution: 40878
77.16/77.20	o 40878
77.16/77.20	c Elapsed CPU time: 76.7753 s	Remaining CPU time: 103.225 s
77.16/77.20	c ===============================================================================
77.16/77.20	c |      6595 |    3887    25814   678826 |     8604     6595    440 | 28.979 % |
77.56/77.66	c ===============================================================================
77.56/77.66	c New solution: 40877
77.56/77.66	o 40877
77.56/77.66	c Elapsed CPU time: 77.2303 s	Remaining CPU time: 102.77 s
77.56/77.66	c ===============================================================================
77.56/77.66	c |      6634 |    3887    25815   680764 |     8605     6634    441 | 28.979 % |
78.27/78.32	c ===============================================================================
78.27/78.32	c New solution: 40876
78.27/78.32	o 40876
78.27/78.32	c Elapsed CPU time: 77.8852 s	Remaining CPU time: 102.115 s
78.27/78.32	c ===============================================================================
78.27/78.32	c |      6695 |    3887    25816   682702 |     8605     6695    440 | 28.979 % |
78.37/78.49	c ===============================================================================
78.37/78.49	c New solution: 40875
78.37/78.49	o 40875
78.37/78.49	c Elapsed CPU time: 78.0601 s	Remaining CPU time: 101.94 s
78.37/78.49	c ===============================================================================
78.37/78.49	c |      6697 |    3887    25817   684640 |     8605     6697    440 | 28.979 % |
78.57/78.69	c ===============================================================================
78.57/78.69	c New solution: 40874
78.57/78.69	o 40874
78.57/78.69	c Elapsed CPU time: 78.2631 s	Remaining CPU time: 101.737 s
78.57/78.69	c ===============================================================================
78.57/78.69	c |      6703 |    3887    25818   686578 |     8606     6703    440 | 28.979 % |
79.57/79.68	c ===============================================================================
79.57/79.68	c New solution: 40873
79.57/79.68	o 40873
79.57/79.68	c Elapsed CPU time: 79.248 s	Remaining CPU time: 100.752 s
79.57/79.68	c ===============================================================================
79.57/79.68	c |      6786 |    3887    25819   688516 |     8606     6786    442 | 28.979 % |
80.17/80.25	c ===============================================================================
80.17/80.25	c New solution: 40872
80.17/80.25	o 40872
80.17/80.25	c Elapsed CPU time: 79.8149 s	Remaining CPU time: 100.185 s
80.17/80.25	c ===============================================================================
80.17/80.25	c |      6796 |    3887    25820   690454 |     8606     6796    442 | 28.979 % |
80.77/80.81	c ===============================================================================
80.77/80.81	c New solution: 40870
80.77/80.81	o 40870
80.77/80.81	c Elapsed CPU time: 80.3708 s	Remaining CPU time: 99.6292 s
80.77/80.81	c ===============================================================================
80.77/80.81	c |      6808 |    3887    25821   692392 |     8607     6808    441 | 28.979 % |
81.06/81.17	c ===============================================================================
81.06/81.17	c New solution: 40869
81.06/81.17	o 40869
81.06/81.17	c Elapsed CPU time: 80.7357 s	Remaining CPU time: 99.2643 s
81.06/81.17	c ===============================================================================
81.06/81.17	c |      6816 |    3887    25822   694330 |     8607     6816    441 | 28.979 % |
81.76/81.80	c ===============================================================================
81.76/81.80	c New solution: 40868
81.76/81.80	o 40868
81.76/81.80	c Elapsed CPU time: 81.3646 s	Remaining CPU time: 98.6354 s
81.76/81.80	c ===============================================================================
81.76/81.80	c |      6859 |    3887    25823   696268 |     8607     6859    441 | 28.979 % |
81.96/82.03	c ===============================================================================
81.96/82.03	c New solution: 40867
81.96/82.03	o 40867
81.96/82.03	c Elapsed CPU time: 81.5946 s	Remaining CPU time: 98.4054 s
81.96/82.03	c ===============================================================================
81.96/82.03	c |      6862 |    3887    25824   698206 |     8608     6862    441 | 28.979 % |
82.26/82.35	c ===============================================================================
82.26/82.35	c New solution: 40866
82.26/82.35	o 40866
82.26/82.35	c Elapsed CPU time: 81.9105 s	Remaining CPU time: 98.0895 s
82.26/82.35	c ===============================================================================
82.26/82.35	c |      6865 |    3887    25825   700144 |     8608     6865    441 | 28.979 % |
82.47/82.57	c ===============================================================================
82.47/82.57	c New solution: 40865
82.47/82.57	o 40865
82.47/82.57	c Elapsed CPU time: 82.1285 s	Remaining CPU time: 97.8715 s
82.47/82.57	c ===============================================================================
82.47/82.57	c |      6878 |    3887    25826   702082 |     8608     6878    441 | 28.979 % |
82.76/82.87	c ===============================================================================
82.76/82.87	c New solution: 40864
82.76/82.87	o 40864
82.76/82.87	c Elapsed CPU time: 82.4295 s	Remaining CPU time: 97.5705 s
82.76/82.87	c ===============================================================================
82.76/82.87	c |      6894 |    3887    25827   704020 |     8609     6894    441 | 28.979 % |
83.26/83.30	c ===============================================================================
83.26/83.30	c New solution: 40863
83.26/83.30	o 40863
83.26/83.30	c Elapsed CPU time: 82.8574 s	Remaining CPU time: 97.1426 s
83.26/83.30	c ===============================================================================
83.26/83.30	c |      6898 |    3887    25828   705958 |     8609     6898    441 | 28.979 % |
83.67/83.75	c ===============================================================================
83.67/83.75	c New solution: 40862
83.67/83.75	o 40862
83.67/83.75	c Elapsed CPU time: 83.3103 s	Remaining CPU time: 96.6897 s
83.67/83.75	c ===============================================================================
83.67/83.75	c |      6907 |    3887    25829   707896 |     8609     6907    441 | 28.979 % |
84.26/84.37	c ===============================================================================
84.26/84.37	c New solution: 40861
84.26/84.37	o 40861
84.26/84.37	c Elapsed CPU time: 83.9332 s	Remaining CPU time: 96.0668 s
84.26/84.37	c ===============================================================================
84.26/84.37	c |      6975 |    3887    25830   709834 |     8610     6975    441 | 28.979 % |
84.77/84.81	c ===============================================================================
84.77/84.81	c New solution: 40860
84.77/84.81	o 40860
84.77/84.81	c Elapsed CPU time: 84.3732 s	Remaining CPU time: 95.6268 s
84.77/84.81	c ===============================================================================
84.77/84.81	c |      6989 |    3887    25831   711772 |     8610     6989    441 | 28.979 % |
86.07/86.20	c |      7089 |    3887    25831   711772 |     9471     7089    442 | 28.979 % |
86.97/87.02	c ===============================================================================
86.97/87.02	c New solution: 40859
86.97/87.02	o 40859
86.97/87.02	c Elapsed CPU time: 86.5698 s	Remaining CPU time: 93.4302 s
86.97/87.02	c ===============================================================================
86.97/87.02	c |      7140 |    3887    25832   713710 |     8610     7140    442 | 28.979 % |
87.36/87.44	c ===============================================================================
87.36/87.44	c New solution: 40858
87.36/87.44	o 40858
87.36/87.44	c Elapsed CPU time: 86.9958 s	Remaining CPU time: 93.0042 s
87.36/87.44	c ===============================================================================
87.36/87.44	c |      7151 |    3887    25833   715648 |     8611     7151    442 | 28.979 % |
88.96/89.05	c |      7251 |    3887    25833   715648 |     9472     7251    443 | 28.979 % |
89.36/89.47	c ===============================================================================
89.36/89.47	c New solution: 40857
89.36/89.47	o 40857
89.36/89.47	c Elapsed CPU time: 89.0175 s	Remaining CPU time: 90.9825 s
89.36/89.47	c ===============================================================================
89.36/89.47	c |      7253 |    3887    25834   717586 |     8611     7253    442 | 28.979 % |
89.86/89.91	c ===============================================================================
89.86/89.91	c New solution: 40856
89.86/89.91	o 40856
89.86/89.91	c Elapsed CPU time: 89.4544 s	Remaining CPU time: 90.5456 s
89.86/89.91	c ===============================================================================
89.86/89.91	c |      7293 |    3887    25835   719524 |     8611     7293    442 | 28.979 % |
90.17/90.25	c ===============================================================================
90.17/90.25	c New solution: 40855
90.17/90.25	o 40855
90.17/90.25	c Elapsed CPU time: 89.7943 s	Remaining CPU time: 90.2057 s
90.17/90.25	c ===============================================================================
90.17/90.25	c |      7298 |    3887    25836   721462 |     8612     7298    442 | 28.979 % |
91.56/91.66	c |      7399 |    3887    25836   721462 |     9473     7399    443 | 28.979 % |
91.96/92.09	c ===============================================================================
91.96/92.09	c New solution: 40854
91.96/92.09	o 40854
91.96/92.09	c Elapsed CPU time: 91.6261 s	Remaining CPU time: 88.3739 s
91.96/92.09	c ===============================================================================
91.96/92.09	c |      7410 |    3887    25837   723400 |     8612     7410    443 | 28.979 % |
92.37/92.50	c ===============================================================================
92.37/92.50	c New solution: 40853
92.37/92.50	o 40853
92.37/92.50	c Elapsed CPU time: 92.039 s	Remaining CPU time: 87.961 s
92.37/92.50	c ===============================================================================
92.37/92.50	c |      7418 |    3887    25838   725338 |     8612     7418    443 | 28.979 % |
92.86/92.95	c ===============================================================================
92.86/92.95	c New solution: 40852
92.86/92.95	o 40852
92.86/92.95	c Elapsed CPU time: 92.4929 s	Remaining CPU time: 87.5071 s
92.86/92.95	c ===============================================================================
92.86/92.95	c |      7431 |    3887    25839   727276 |     8613     7431    443 | 28.979 % |
93.46/93.53	c ===============================================================================
93.46/93.53	c New solution: 40851
93.46/93.53	o 40851
93.46/93.53	c Elapsed CPU time: 93.0629 s	Remaining CPU time: 86.9371 s
93.46/93.53	c ===============================================================================
93.46/93.53	c |      7450 |    3887    25840   729214 |     8613     7450    443 | 28.979 % |
93.97/94.05	c ===============================================================================
93.97/94.05	c New solution: 40850
93.97/94.05	o 40850
93.97/94.05	c Elapsed CPU time: 93.5808 s	Remaining CPU time: 86.4192 s
93.97/94.05	c ===============================================================================
93.97/94.05	c |      7505 |    3887    25841   731152 |     8613     7505    443 | 28.979 % |
94.86/94.98	c ===============================================================================
94.86/94.98	c New solution: 40849
94.86/94.98	o 40849
94.86/94.98	c Elapsed CPU time: 94.5146 s	Remaining CPU time: 85.4854 s
94.86/94.98	c ===============================================================================
94.86/94.98	c |      7553 |    3887    25842   733090 |     8614     7553    444 | 28.979 % |
96.06/96.11	c ===============================================================================
96.06/96.11	c New solution: 40848
96.06/96.11	o 40848
96.06/96.11	c Elapsed CPU time: 95.6365 s	Remaining CPU time: 84.3635 s
96.06/96.11	c ===============================================================================
96.06/96.11	c |      7632 |    3887    25843   735028 |     8614     7632    443 | 28.979 % |
96.46/96.55	c ===============================================================================
96.46/96.55	c New solution: 40847
96.46/96.55	o 40847
96.46/96.55	c Elapsed CPU time: 96.0854 s	Remaining CPU time: 83.9146 s
96.46/96.55	c ===============================================================================
96.46/96.55	c |      7641 |    3887    25844   736966 |     8614     7641    443 | 28.979 % |
97.16/97.27	c ===============================================================================
97.16/97.27	c New solution: 40846
97.16/97.27	o 40846
97.16/97.27	c Elapsed CPU time: 96.8003 s	Remaining CPU time: 83.1997 s
97.16/97.27	c ===============================================================================
97.16/97.27	c |      7663 |    3887    25845   738904 |     8615     7663    443 | 28.979 % |
97.66/97.79	c ===============================================================================
97.66/97.79	c New solution: 40845
97.66/97.79	o 40845
97.66/97.79	c Elapsed CPU time: 97.3182 s	Remaining CPU time: 82.6818 s
97.66/97.79	c ===============================================================================
97.66/97.79	c |      7666 |    3887    25846   740842 |     8615     7666    443 | 28.979 % |
97.87/97.99	c ===============================================================================
97.87/97.99	c New solution: 40844
97.87/97.99	o 40844
97.87/97.99	c Elapsed CPU time: 97.5212 s	Remaining CPU time: 82.4788 s
97.87/97.99	c ===============================================================================
97.87/97.99	c |      7669 |    3887    25847   742780 |     8615     7669    443 | 28.979 % |
98.16/98.21	c ===============================================================================
98.16/98.21	c New solution: 40843
98.16/98.21	o 40843
98.16/98.21	c Elapsed CPU time: 97.7341 s	Remaining CPU time: 82.2659 s
98.16/98.21	c ===============================================================================
98.16/98.21	c |      7678 |    3887    25848   744718 |     8616     7678    443 | 28.979 % |
98.86/98.92	c ===============================================================================
98.86/98.92	c New solution: 40842
98.86/98.92	o 40842
98.86/98.92	c Elapsed CPU time: 98.449 s	Remaining CPU time: 81.551 s
98.86/98.92	c ===============================================================================
98.86/98.92	c |      7721 |    3887    25849   746656 |     8616     7721    443 | 28.979 % |
99.45/99.50	c ===============================================================================
99.45/99.50	c New solution: 40841
99.45/99.50	o 40841
99.45/99.50	c Elapsed CPU time: 99.0279 s	Remaining CPU time: 80.9721 s
99.45/99.50	c ===============================================================================
99.45/99.50	c |      7754 |    3887    25850   748594 |     8616     7754    443 | 28.979 % |
100.46/100.53	c ===============================================================================
100.46/100.53	c New solution: 39418
100.46/100.53	o 39418
100.46/100.53	c Elapsed CPU time: 100.056 s	Remaining CPU time: 79.9442 s
100.46/100.53	c ===============================================================================
100.46/100.53	c |      7841 |    3887    25851   750532 |     8617     7841    442 | 28.979 % |
101.06/101.12	c ===============================================================================
101.06/101.12	c New solution: 39389
101.06/101.12	o 39389
101.06/101.12	c Elapsed CPU time: 100.642 s	Remaining CPU time: 79.3583 s
101.06/101.12	c ===============================================================================
101.06/101.12	c |      7854 |    3887    25852   752470 |     8617     7854    442 | 28.979 % |
101.66/101.75	c ===============================================================================
101.66/101.75	c New solution: 39367
101.66/101.75	o 39367
101.66/101.75	c Elapsed CPU time: 101.267 s	Remaining CPU time: 78.7334 s
101.66/101.75	c ===============================================================================
101.66/101.75	c |      7884 |    3887    25853   754408 |     8617     7884    442 | 28.979 % |
101.96/102.03	c ===============================================================================
101.96/102.03	c New solution: 39366
101.96/102.03	o 39366
101.96/102.03	c Elapsed CPU time: 101.549 s	Remaining CPU time: 78.4514 s
101.96/102.03	c ===============================================================================
101.96/102.03	c |      7891 |    3887    25854   756346 |     8618     7891    442 | 28.979 % |
102.46/102.56	c ===============================================================================
102.46/102.56	c New solution: 39365
102.46/102.56	o 39365
102.46/102.56	c Elapsed CPU time: 102.073 s	Remaining CPU time: 77.9265 s
102.46/102.56	c ===============================================================================
102.46/102.56	c |      7901 |    3887    25855   758284 |     8618     7901    442 | 28.979 % |
103.06/103.18	c ===============================================================================
103.06/103.18	c New solution: 39364
103.06/103.18	o 39364
103.06/103.18	c Elapsed CPU time: 102.694 s	Remaining CPU time: 77.3056 s
103.06/103.18	c ===============================================================================
103.06/103.18	c |      7940 |    3887    25856   760222 |     8618     7940    442 | 28.979 % |
103.96/104.00	c ===============================================================================
103.96/104.00	c New solution: 39268
103.96/104.00	o 39268
103.96/104.00	c Elapsed CPU time: 103.516 s	Remaining CPU time: 76.4837 s
103.96/104.00	c ===============================================================================
103.96/104.00	c |      7942 |    3887    25857   762160 |     8619     7942    442 | 28.979 % |
105.25/105.39	c |      8042 |    3887    25857   762160 |     9480     8042    442 | 28.979 % |
105.75/105.88	c ===============================================================================
105.75/105.88	c New solution: 37898
105.75/105.88	o 37898
105.75/105.88	c Elapsed CPU time: 105.389 s	Remaining CPU time: 74.611 s
105.75/105.88	c ===============================================================================
105.75/105.88	c |      8048 |    3887    25858   764098 |     8619     8048    442 | 28.979 % |
106.56/106.67	c ===============================================================================
106.56/106.67	c New solution: 37890
106.56/106.67	o 37890
106.56/106.67	c Elapsed CPU time: 106.176 s	Remaining CPU time: 73.8241 s
106.56/106.67	c ===============================================================================
106.56/106.67	c |      8060 |    3887    25859   766036 |     8619     8060    442 | 28.979 % |
107.16/107.27	c ===============================================================================
107.16/107.27	c New solution: 37889
107.16/107.27	o 37889
107.16/107.27	c Elapsed CPU time: 106.777 s	Remaining CPU time: 73.2232 s
107.16/107.27	c ===============================================================================
107.16/107.27	c |      8106 |    3887    25860   767974 |     8620     8106    441 | 28.979 % |
107.76/107.86	c ===============================================================================
107.76/107.86	c New solution: 37887
107.76/107.86	o 37887
107.76/107.86	c Elapsed CPU time: 107.362 s	Remaining CPU time: 72.6383 s
107.76/107.86	c ===============================================================================
107.76/107.86	c |      8113 |    3887    25861   769912 |     8620     8113    441 | 28.979 % |
108.56/108.60	c ===============================================================================
108.56/108.60	c New solution: 37886
108.56/108.60	o 37886
108.56/108.60	c Elapsed CPU time: 108.105 s	Remaining CPU time: 71.8954 s
108.56/108.60	c ===============================================================================
108.56/108.60	c |      8182 |    3887    25862   771850 |     8620     8182    441 | 28.979 % |
108.96/109.09	c ===============================================================================
108.96/109.09	c New solution: 37885
108.96/109.09	o 37885
108.96/109.09	c Elapsed CPU time: 108.594 s	Remaining CPU time: 71.4055 s
108.96/109.09	c ===============================================================================
108.96/109.09	c |      8212 |    3887    25863   773788 |     8621     8212    441 | 28.979 % |
109.66/109.73	c ===============================================================================
109.66/109.73	c New solution: 37884
109.66/109.73	o 37884
109.66/109.73	c Elapsed CPU time: 109.235 s	Remaining CPU time: 70.7646 s
109.66/109.73	c ===============================================================================
109.66/109.73	c |      8231 |    3887    25864   775726 |     8621     8231    441 | 28.979 % |
110.16/110.28	c ===============================================================================
110.16/110.28	c New solution: 37870
110.16/110.28	o 37870
110.16/110.28	c Elapsed CPU time: 109.78 s	Remaining CPU time: 70.2197 s
110.16/110.28	c ===============================================================================
110.16/110.28	c |      8240 |    3887    25865   777664 |     8621     8240    441 | 28.979 % |
111.07/111.14	c ===============================================================================
111.07/111.14	c New solution: 37869
111.07/111.14	o 37869
111.07/111.14	c Elapsed CPU time: 110.638 s	Remaining CPU time: 69.3618 s
111.07/111.14	c ===============================================================================
111.07/111.14	c |      8305 |    3887    25866   779602 |     8622     8305    440 | 28.979 % |
111.46/111.58	c ===============================================================================
111.46/111.58	c New solution: 37868
111.46/111.58	o 37868
111.46/111.58	c Elapsed CPU time: 111.076 s	Remaining CPU time: 68.9239 s
111.46/111.58	c ===============================================================================
111.46/111.58	c |      8311 |    3887    25867   781540 |     8622     8311    440 | 28.979 % |
111.86/111.94	c ===============================================================================
111.86/111.94	c New solution: 37867
111.86/111.94	o 37867
111.86/111.94	c Elapsed CPU time: 111.435 s	Remaining CPU time: 68.5649 s
111.86/111.94	c ===============================================================================
111.86/111.94	c |      8314 |    3887    25868   783478 |     8622     8314    440 | 28.979 % |
112.36/112.48	c ===============================================================================
112.36/112.48	c New solution: 37866
112.36/112.48	o 37866
112.36/112.48	c Elapsed CPU time: 111.976 s	Remaining CPU time: 68.024 s
112.36/112.48	c ===============================================================================
112.36/112.48	c |      8315 |    3887    25869   785416 |     8623     8315    440 | 28.979 % |
113.06/113.19	c ===============================================================================
113.06/113.19	c New solution: 37865
113.06/113.19	o 37865
113.06/113.19	c Elapsed CPU time: 112.691 s	Remaining CPU time: 67.3091 s
113.06/113.19	c ===============================================================================
113.06/113.19	c |      8325 |    3887    25870   787354 |     8623     8325    441 | 28.979 % |
113.66/113.73	c ===============================================================================
113.66/113.73	c New solution: 37864
113.66/113.73	o 37864
113.66/113.73	c Elapsed CPU time: 113.225 s	Remaining CPU time: 66.7752 s
113.66/113.73	c ===============================================================================
113.66/113.73	c |      8338 |    3887    25871   789292 |     8623     8338    441 | 28.979 % |
114.36/114.42	c ===============================================================================
114.36/114.42	c New solution: 37863
114.36/114.42	o 37863
114.36/114.42	c Elapsed CPU time: 113.917 s	Remaining CPU time: 66.0833 s
114.36/114.42	c ===============================================================================
114.36/114.42	c |      8360 |    3887    25872   791230 |     8624     8360    441 | 28.979 % |
114.75/114.90	c ===============================================================================
114.75/114.90	c New solution: 37862
114.75/114.90	o 37862
114.75/114.90	c Elapsed CPU time: 114.389 s	Remaining CPU time: 65.6114 s
114.75/114.90	c ===============================================================================
114.75/114.90	c |      8371 |    3887    25873   793168 |     8624     8371    441 | 28.979 % |
116.75/116.85	c |      8472 |    3887    25873   793168 |     9486     8472    441 | 28.979 % |
117.26/117.36	c ===============================================================================
117.26/117.36	c New solution: 37861
117.26/117.36	o 37861
117.26/117.36	c Elapsed CPU time: 116.845 s	Remaining CPU time: 63.1548 s
117.26/117.36	c ===============================================================================
117.26/117.36	c |      8511 |    3887    25874   795106 |     8624     8511    441 | 28.979 % |
117.77/117.82	c ===============================================================================
117.77/117.82	c New solution: 37860
117.77/117.82	o 37860
117.77/117.82	c Elapsed CPU time: 117.312 s	Remaining CPU time: 62.6878 s
117.77/117.82	c ===============================================================================
117.77/117.82	c |      8514 |    3887    25875   797044 |     8625     8514    441 | 28.979 % |
118.16/118.28	c ===============================================================================
118.16/118.28	c New solution: 37859
118.16/118.28	o 37859
118.16/118.28	c Elapsed CPU time: 117.77 s	Remaining CPU time: 62.2299 s
118.16/118.28	c ===============================================================================
118.16/118.28	c |      8518 |    3887    25876   798982 |     8625     8518    441 | 28.979 % |
118.66/118.73	c ===============================================================================
118.66/118.73	c New solution: 37858
118.66/118.73	o 37858
118.66/118.73	c Elapsed CPU time: 118.218 s	Remaining CPU time: 61.782 s
118.66/118.73	c ===============================================================================
118.66/118.73	c |      8520 |    3887    25877   800920 |     8625     8520    441 | 28.979 % |
120.46/120.53	c |      8620 |    3887    25877   800920 |     9488     8620    442 | 28.979 % |
121.36/121.44	c |      8771 |    3887    25877   800920 |    10437     8771    441 | 28.979 % |
123.05/123.19	c ===============================================================================
123.05/123.19	c New solution: 37857
123.05/123.19	o 37857
123.05/123.19	c Elapsed CPU time: 122.669 s	Remaining CPU time: 57.3306 s
123.05/123.19	c ===============================================================================
123.05/123.19	c |      8876 |    3887    25878   802858 |     8626     8876    442 | 28.979 % |
123.55/123.68	c ===============================================================================
123.55/123.68	c New solution: 37856
123.55/123.68	o 37856
123.55/123.68	c Elapsed CPU time: 123.158 s	Remaining CPU time: 56.8417 s
123.55/123.68	c ===============================================================================
123.55/123.68	c |      8887 |    3887    25879   804796 |     8626     8887    442 | 28.979 % |
124.36/124.41	c ===============================================================================
124.36/124.41	c New solution: 37855
124.36/124.41	o 37855
124.36/124.41	c Elapsed CPU time: 123.887 s	Remaining CPU time: 56.1128 s
124.36/124.41	c ===============================================================================
124.36/124.41	c |      8922 |    3887    25880   806734 |     8626     8922    441 | 28.979 % |
125.05/125.19	c ===============================================================================
125.05/125.19	c New solution: 37854
125.05/125.19	o 37854
125.05/125.19	c Elapsed CPU time: 124.667 s	Remaining CPU time: 55.333 s
125.05/125.19	c ===============================================================================
125.05/125.19	c |      8973 |    3887    25881   808672 |     8627     8973    441 | 28.979 % |
125.56/125.64	c ===============================================================================
125.56/125.64	c New solution: 37853
125.56/125.64	o 37853
125.56/125.64	c Elapsed CPU time: 125.112 s	Remaining CPU time: 54.888 s
125.56/125.64	c ===============================================================================
125.56/125.64	c |      8973 |    3887    25882   810610 |     8627     8973    441 | 28.979 % |
125.96/126.08	c ===============================================================================
125.96/126.08	c New solution: 37852
125.96/126.08	o 37852
125.96/126.08	c Elapsed CPU time: 125.561 s	Remaining CPU time: 54.4391 s
125.96/126.08	c ===============================================================================
125.96/126.08	c |      8973 |    3887    25883   812548 |     8627     8973    441 | 28.979 % |
126.46/126.53	c ===============================================================================
126.46/126.53	c New solution: 37851
126.46/126.53	o 37851
126.46/126.53	c Elapsed CPU time: 126.006 s	Remaining CPU time: 53.9942 s
126.46/126.53	c ===============================================================================
126.46/126.53	c |      8973 |    3887    25884   814486 |     8628     8973    441 | 28.979 % |
126.76/126.86	c ===============================================================================
126.76/126.86	c New solution: 37850
126.76/126.86	o 37850
126.76/126.86	c Elapsed CPU time: 126.336 s	Remaining CPU time: 53.6642 s
126.76/126.86	c ===============================================================================
126.76/126.86	c |      8991 |    3887    25885   816424 |     8628     8991    441 | 28.979 % |
127.45/127.52	c ===============================================================================
127.45/127.52	c New solution: 37849
127.45/127.52	o 37849
127.45/127.52	c Elapsed CPU time: 126.99 s	Remaining CPU time: 53.0103 s
127.45/127.52	c ===============================================================================
127.45/127.52	c |      9028 |    3887    25886   818362 |     8628     9028    441 | 28.979 % |
127.95/128.04	c ===============================================================================
127.95/128.04	c New solution: 37848
127.95/128.04	o 37848
127.95/128.04	c Elapsed CPU time: 127.512 s	Remaining CPU time: 52.4884 s
127.95/128.04	c ===============================================================================
127.95/128.04	c |      9031 |    3887    25887   820300 |     8629     9031    441 | 28.979 % |
128.45/128.51	c ===============================================================================
128.45/128.51	c New solution: 37847
128.45/128.51	o 37847
128.45/128.51	c Elapsed CPU time: 127.984 s	Remaining CPU time: 52.0165 s
128.45/128.51	c ===============================================================================
128.45/128.51	c |      9034 |    3887    25888   822238 |     8629     9034    441 | 28.979 % |
129.25/129.37	c ===============================================================================
129.25/129.37	c New solution: 37846
129.25/129.37	o 37846
129.25/129.37	c Elapsed CPU time: 128.841 s	Remaining CPU time: 51.1586 s
129.25/129.37	c ===============================================================================
129.25/129.37	c |      9049 |    3887    25889   824176 |     8629     9049    441 | 28.979 % |
130.96/131.02	c ===============================================================================
130.96/131.02	c New solution: 36422
130.96/131.02	o 36422
130.96/131.02	c Elapsed CPU time: 130.49 s	Remaining CPU time: 49.5098 s
130.96/131.02	c ===============================================================================
130.96/131.02	c |      9129 |    3887    25890   826114 |     8630     9129    441 | 28.979 % |
131.55/131.69	c ===============================================================================
131.55/131.69	c New solution: 36398
131.55/131.69	o 36398
131.55/131.69	c Elapsed CPU time: 131.158 s	Remaining CPU time: 48.8419 s
131.55/131.69	c ===============================================================================
131.55/131.69	c |      9140 |    3887    25891   828052 |     8630     9140    441 | 28.979 % |
132.05/132.20	c ===============================================================================
132.05/132.20	c New solution: 36392
132.05/132.20	o 36392
132.05/132.20	c Elapsed CPU time: 131.66 s	Remaining CPU time: 48.34 s
132.05/132.20	c ===============================================================================
132.05/132.20	c |      9168 |    3887    25892   829990 |     8630     9168    441 | 28.979 % |
132.65/132.71	c ===============================================================================
132.65/132.71	c New solution: 36375
132.65/132.71	o 36375
132.65/132.71	c Elapsed CPU time: 132.173 s	Remaining CPU time: 47.8271 s
132.65/132.71	c ===============================================================================
132.65/132.71	c |      9168 |    3887    25893   831928 |     8631     9168    441 | 28.979 % |
133.16/133.21	c ===============================================================================
133.16/133.21	c New solution: 36372
133.16/133.21	o 36372
133.16/133.21	c Elapsed CPU time: 132.675 s	Remaining CPU time: 47.3252 s
133.16/133.21	c ===============================================================================
133.16/133.21	c |      9169 |    3887    25894   833866 |     8631     9169    441 | 28.979 % |
133.35/133.46	c ===============================================================================
133.35/133.46	c New solution: 36371
133.35/133.46	o 36371
133.35/133.46	c Elapsed CPU time: 132.922 s	Remaining CPU time: 47.0782 s
133.35/133.46	c ===============================================================================
133.35/133.46	c |      9169 |    3887    25895   835804 |     8631     9169    441 | 28.979 % |
133.65/133.70	c ===============================================================================
133.65/133.70	c New solution: 36370
133.65/133.70	o 36370
133.65/133.70	c Elapsed CPU time: 133.165 s	Remaining CPU time: 46.8352 s
133.65/133.70	c ===============================================================================
133.65/133.70	c |      9169 |    3887    25896   837742 |     8632     9169    441 | 28.979 % |
133.85/133.95	c ===============================================================================
133.85/133.95	c New solution: 36369
133.85/133.95	o 36369
133.85/133.95	c Elapsed CPU time: 133.414 s	Remaining CPU time: 46.5863 s
133.85/133.95	c ===============================================================================
133.85/133.95	c |      9169 |    3887    25897   839680 |     8632     9169    441 | 28.979 % |
134.16/134.28	c ===============================================================================
134.16/134.28	c New solution: 36368
134.16/134.28	o 36368
134.16/134.28	c Elapsed CPU time: 133.741 s	Remaining CPU time: 46.2593 s
134.16/134.28	c ===============================================================================
134.16/134.28	c |      9172 |    3887    25898   841618 |     8632     9172    441 | 28.979 % |
135.05/135.14	c ===============================================================================
135.05/135.14	c New solution: 36367
135.05/135.14	o 36367
135.05/135.14	c Elapsed CPU time: 134.604 s	Remaining CPU time: 45.3965 s
135.05/135.14	c ===============================================================================
135.05/135.14	c |      9249 |    3887    25899   843556 |     8633     9249    441 | 28.979 % |
135.65/135.71	c ===============================================================================
135.65/135.71	c New solution: 36366
135.65/135.71	o 36366
135.65/135.71	c Elapsed CPU time: 135.167 s	Remaining CPU time: 44.8325 s
135.65/135.71	c ===============================================================================
135.65/135.71	c |      9264 |    3887    25900   845494 |     8633     9264    440 | 28.979 % |
136.25/136.35	c ===============================================================================
136.25/136.35	c New solution: 36365
136.25/136.35	o 36365
136.25/136.35	c Elapsed CPU time: 135.813 s	Remaining CPU time: 44.1866 s
136.25/136.35	c ===============================================================================
136.25/136.35	c |      9277 |    3887    25901   847432 |     8633     9277    440 | 28.979 % |
137.25/137.39	c ===============================================================================
137.25/137.39	c New solution: 36364
137.25/137.39	o 36364
137.25/137.39	c Elapsed CPU time: 136.849 s	Remaining CPU time: 43.1508 s
137.25/137.39	c ===============================================================================
137.25/137.39	c |      9336 |    3887    25902   849370 |     8634     9336    440 | 28.979 % |
137.75/137.89	c ===============================================================================
137.75/137.89	c New solution: 36363
137.75/137.89	o 36363
137.75/137.89	c Elapsed CPU time: 137.351 s	Remaining CPU time: 42.6489 s
137.75/137.89	c ===============================================================================
137.75/137.89	c |      9340 |    3887    25903   851308 |     8634     9340    440 | 28.979 % |
138.25/138.33	c ===============================================================================
138.25/138.33	c New solution: 36362
138.25/138.33	o 36362
138.25/138.33	c Elapsed CPU time: 137.781 s	Remaining CPU time: 42.2189 s
138.25/138.33	c ===============================================================================
138.25/138.33	c |      9343 |    3887    25904   853246 |     8634     9343    440 | 28.979 % |
138.65/138.75	c ===============================================================================
138.65/138.75	c New solution: 36361
138.65/138.75	o 36361
138.65/138.75	c Elapsed CPU time: 138.201 s	Remaining CPU time: 41.799 s
138.65/138.75	c ===============================================================================
138.65/138.75	c |      9343 |    3887    25905   855184 |     8635     9343    440 | 28.979 % |
139.05/139.15	c ===============================================================================
139.05/139.15	c New solution: 36360
139.05/139.15	o 36360
139.05/139.15	c Elapsed CPU time: 138.6 s	Remaining CPU time: 41.4001 s
139.05/139.15	c ===============================================================================
139.05/139.15	c |      9345 |    3887    25906   857122 |     8635     9345    440 | 28.979 % |
139.45/139.58	c ===============================================================================
139.45/139.58	c New solution: 36359
139.45/139.58	o 36359
139.45/139.58	c Elapsed CPU time: 139.033 s	Remaining CPU time: 40.9671 s
139.45/139.58	c ===============================================================================
139.45/139.58	c |      9346 |    3887    25907   859060 |     8635     9346    440 | 28.979 % |
140.05/140.18	c ===============================================================================
140.05/140.18	c New solution: 36358
140.05/140.18	o 36358
140.05/140.18	c Elapsed CPU time: 139.632 s	Remaining CPU time: 40.3682 s
140.05/140.18	c ===============================================================================
140.05/140.18	c |      9350 |    3887    25908   860998 |     8636     9350    440 | 28.979 % |
140.65/140.70	c ===============================================================================
140.65/140.70	c New solution: 36357
140.65/140.70	o 36357
140.65/140.70	c Elapsed CPU time: 140.154 s	Remaining CPU time: 39.8463 s
140.65/140.70	c ===============================================================================
140.65/140.70	c |      9362 |    3887    25909   862936 |     8636     9362    440 | 28.979 % |
141.25/141.39	c ===============================================================================
141.25/141.39	c New solution: 36356
141.25/141.39	o 36356
141.25/141.39	c Elapsed CPU time: 140.841 s	Remaining CPU time: 39.1594 s
141.25/141.39	c ===============================================================================
141.25/141.39	c |      9395 |    3887    25910   864874 |     8636     9395    440 | 28.979 % |
141.75/141.88	c ===============================================================================
141.75/141.88	c New solution: 36355
141.75/141.88	o 36355
141.75/141.88	c Elapsed CPU time: 141.328 s	Remaining CPU time: 38.6725 s
141.75/141.88	c ===============================================================================
141.75/141.88	c |      9404 |    3887    25911   866812 |     8637     9404    440 | 28.979 % |
142.05/142.13	c ===============================================================================
142.05/142.13	c New solution: 36354
142.05/142.13	o 36354
142.05/142.13	c Elapsed CPU time: 141.578 s	Remaining CPU time: 38.4215 s
142.05/142.13	c ===============================================================================
142.05/142.13	c |      9411 |    3887    25912   868750 |     8637     9411    440 | 28.979 % |
142.65/142.74	c ===============================================================================
142.65/142.74	c New solution: 36353
142.65/142.74	o 36353
142.65/142.74	c Elapsed CPU time: 142.185 s	Remaining CPU time: 37.8146 s
142.65/142.74	c ===============================================================================
142.65/142.74	c |      9444 |    3887    25913   870688 |     8637     9444    439 | 28.979 % |
143.15/143.28	c ===============================================================================
143.15/143.28	c New solution: 36352
143.15/143.28	o 36352
143.15/143.28	c Elapsed CPU time: 142.727 s	Remaining CPU time: 37.2727 s
143.15/143.28	c ===============================================================================
143.15/143.28	c |      9474 |    3887    25914   872626 |     8638     9474    439 | 28.979 % |
143.75/143.80	c ===============================================================================
143.75/143.80	c New solution: 36351
143.75/143.80	o 36351
143.75/143.80	c Elapsed CPU time: 143.252 s	Remaining CPU time: 36.7478 s
143.75/143.80	c ===============================================================================
143.75/143.80	c |      9481 |    3887    25915   874564 |     8638     9481    439 | 28.979 % |
144.06/144.15	c ===============================================================================
144.06/144.15	c New solution: 36350
144.06/144.15	o 36350
144.06/144.15	c Elapsed CPU time: 143.6 s	Remaining CPU time: 36.3998 s
144.06/144.15	c ===============================================================================
144.06/144.15	c |      9493 |    3887    25916   876502 |     8638     9493    439 | 28.979 % |
145.05/145.16	c |      9594 |    3887    25916   876502 |     9502     9594    439 | 28.979 % |
145.75/145.82	c ===============================================================================
145.75/145.82	c New solution: 36349
145.75/145.82	o 36349
145.75/145.82	c Elapsed CPU time: 145.263 s	Remaining CPU time: 34.7371 s
145.75/145.82	c ===============================================================================
145.75/145.82	c |      9633 |    3887    25917   878440 |     8639     9633    439 | 28.979 % |
146.25/146.38	c ===============================================================================
146.25/146.38	c New solution: 34942
146.25/146.38	o 34942
146.25/146.38	c Elapsed CPU time: 145.825 s	Remaining CPU time: 34.1752 s
146.25/146.38	c ===============================================================================
146.25/146.38	c |      9647 |    3887    25918   880378 |     8639     9647    439 | 28.979 % |
146.74/146.80	c |      9747 |    3887    25918   880378 |     9503     9747    438 | 28.979 % |
147.36/147.46	c ===============================================================================
147.36/147.46	c New solution: 34921
147.36/147.46	o 34921
147.36/147.46	c Elapsed CPU time: 146.902 s	Remaining CPU time: 33.0983 s
147.36/147.46	c ===============================================================================
147.36/147.46	c |      9752 |    3887    25919   882316 |     8639     9752    438 | 28.979 % |
148.05/148.12	c ===============================================================================
148.05/148.12	c New solution: 34894
148.05/148.12	o 34894
148.05/148.12	c Elapsed CPU time: 147.561 s	Remaining CPU time: 32.4394 s
148.05/148.12	c ===============================================================================
148.05/148.12	c |      9757 |    3887    25920   884254 |     8640     9757    438 | 28.979 % |
148.65/148.77	c ===============================================================================
148.65/148.77	c New solution: 34893
148.65/148.77	o 34893
148.65/148.77	c Elapsed CPU time: 148.202 s	Remaining CPU time: 31.7975 s
148.65/148.77	c ===============================================================================
148.65/148.77	c |      9769 |    3887    25921   886192 |     8640     9769    438 | 28.979 % |
149.34/149.48	c ===============================================================================
149.34/149.48	c New solution: 34883
149.34/149.48	o 34883
149.34/149.48	c Elapsed CPU time: 148.912 s	Remaining CPU time: 31.0876 s
149.34/149.48	c ===============================================================================
149.34/149.48	c |      9795 |    3887    25922   888130 |     8640     9795    438 | 28.979 % |
149.95/150.08	c ===============================================================================
149.95/150.08	c New solution: 34882
149.95/150.08	o 34882
149.95/150.08	c Elapsed CPU time: 149.513 s	Remaining CPU time: 30.4867 s
149.95/150.08	c ===============================================================================
149.95/150.08	c |      9807 |    3887    25923   890068 |     8641     9807    438 | 28.979 % |
150.76/150.85	c |      9908 |    3887    25923   890068 |     9505     9908    438 | 28.979 % |
151.85/151.91	c ===============================================================================
151.85/151.91	c New solution: 34881
151.85/151.91	o 34881
151.85/151.91	c Elapsed CPU time: 151.335 s	Remaining CPU time: 28.665 s
151.85/151.91	c ===============================================================================
151.85/151.91	c |      9948 |    3887    25924   892006 |     8641     9948    438 | 28.979 % |
152.74/152.85	c ===============================================================================
152.74/152.85	c New solution: 34880
152.74/152.85	o 34880
152.74/152.85	c Elapsed CPU time: 152.271 s	Remaining CPU time: 27.7291 s
152.74/152.85	c ===============================================================================
152.74/152.85	c |     10033 |    3887    25925   893944 |     8641    10033    437 | 28.979 % |
153.35/153.43	c ===============================================================================
153.35/153.43	c New solution: 34879
153.35/153.43	o 34879
153.35/153.43	c Elapsed CPU time: 152.847 s	Remaining CPU time: 27.1532 s
153.35/153.43	c ===============================================================================
153.35/153.43	c |     10044 |    3887    25926   895882 |     8642    10044    437 | 28.979 % |
154.06/154.14	c |     10144 |    3887    25926   895882 |     9506    10144    437 | 28.979 % |
154.65/154.74	c ===============================================================================
154.65/154.74	c New solution: 34878
154.65/154.74	o 34878
154.65/154.74	c Elapsed CPU time: 154.156 s	Remaining CPU time: 25.8444 s
154.65/154.74	c ===============================================================================
154.65/154.74	c |     10151 |    3887    25927   897820 |     8642    10151    437 | 28.979 % |
155.25/155.32	c ===============================================================================
155.25/155.32	c New solution: 34877
155.25/155.32	o 34877
155.25/155.32	c Elapsed CPU time: 154.733 s	Remaining CPU time: 25.2665 s
155.25/155.32	c ===============================================================================
155.25/155.32	c |     10160 |    3887    25928   899758 |     8642    10160    437 | 28.979 % |
155.85/155.92	c ===============================================================================
155.85/155.92	c New solution: 34876
155.85/155.92	o 34876
155.85/155.92	c Elapsed CPU time: 155.338 s	Remaining CPU time: 24.6616 s
155.85/155.92	c ===============================================================================
155.85/155.92	c |     10178 |    3887    25929   901696 |     8643    10178    437 | 28.979 % |
156.75/156.88	c ===============================================================================
156.75/156.88	c New solution: 34875
156.75/156.88	o 34875
156.75/156.88	c Elapsed CPU time: 156.291 s	Remaining CPU time: 23.7088 s
156.75/156.88	c ===============================================================================
156.75/156.88	c |     10229 |    3887    25930   903634 |     8643    10229    437 | 28.979 % |
157.94/158.05	c ===============================================================================
157.94/158.05	c New solution: 34874
157.94/158.06	o 34874
157.94/158.06	c Elapsed CPU time: 157.465 s	Remaining CPU time: 22.5349 s
157.94/158.06	c ===============================================================================
157.94/158.06	c |     10287 |    3887    25931   905572 |     8643     5173    398 | 28.979 % |
158.85/158.94	c ===============================================================================
158.85/158.94	c New solution: 34873
158.85/158.94	o 34873
158.85/158.94	c Elapsed CPU time: 158.349 s	Remaining CPU time: 21.6511 s
158.85/158.94	c ===============================================================================
158.85/158.94	c |     10299 |    3887    25932   907510 |     8644     5185    398 | 28.979 % |
159.85/159.94	c ===============================================================================
159.85/159.94	c New solution: 34872
159.85/159.94	o 34872
159.85/159.94	c Elapsed CPU time: 159.344 s	Remaining CPU time: 20.6562 s
159.85/159.94	c ===============================================================================
159.85/159.94	c |     10326 |    3887    25933   909448 |     8644     5212    398 | 28.979 % |
160.45/160.57	c ===============================================================================
160.45/160.57	c New solution: 34871
160.45/160.57	o 34871
160.45/160.57	c Elapsed CPU time: 159.973 s	Remaining CPU time: 20.0273 s
160.45/160.57	c ===============================================================================
160.45/160.57	c |     10340 |    3887    25934   911386 |     8644     5226    398 | 28.979 % |
161.34/161.46	c ===============================================================================
161.34/161.46	c New solution: 34870
161.34/161.46	o 34870
161.34/161.46	c Elapsed CPU time: 160.859 s	Remaining CPU time: 19.1415 s
161.34/161.46	c ===============================================================================
161.34/161.46	c |     10418 |    3887    25935   913324 |     8645     5304    398 | 28.979 % |
162.54/162.63	c ===============================================================================
162.54/162.63	c New solution: 34869
162.54/162.63	o 34869
162.54/162.63	c Elapsed CPU time: 162.034 s	Remaining CPU time: 17.9656 s
162.54/162.63	c ===============================================================================
162.54/162.63	c |     10470 |    3887    25936   915262 |     8645     5356    399 | 28.979 % |
163.04/163.19	c ===============================================================================
163.04/163.19	c New solution: 34868
163.04/163.19	o 34868
163.04/163.19	c Elapsed CPU time: 162.596 s	Remaining CPU time: 17.4037 s
163.04/163.19	c ===============================================================================
163.04/163.19	c |     10476 |    3887    25937   917200 |     8645     5362    399 | 28.979 % |
164.04/164.10	c ===============================================================================
164.04/164.10	c New solution: 34867
164.04/164.10	o 34867
164.04/164.10	c Elapsed CPU time: 163.505 s	Remaining CPU time: 16.4949 s
164.04/164.10	c ===============================================================================
164.04/164.10	c |     10502 |    3887    25938   919138 |     8646     5388    399 | 28.979 % |
164.44/164.56	c |     10603 |    3887    25938   919138 |     9510     5489    399 | 28.979 % |
165.05/165.19	c ===============================================================================
165.05/165.19	c New solution: 34866
165.05/165.19	o 34866
165.05/165.19	c Elapsed CPU time: 164.583 s	Remaining CPU time: 15.417 s
165.05/165.19	c ===============================================================================
165.05/165.19	c |     10635 |    3887    25939   921076 |     8646     5521    399 | 28.979 % |
165.64/165.72	c |     10735 |    3887    25939   921076 |     9510     5621    398 | 28.979 % |
166.15/166.28	c |     10885 |    3887    25939   921076 |    10462     5771    396 | 28.979 % |
168.64/168.72	c ===============================================================================
168.64/168.72	c New solution: 34865
168.64/168.72	o 34865
168.64/168.72	c Elapsed CPU time: 168.117 s	Remaining CPU time: 11.8826 s
168.64/168.72	c ===============================================================================
168.64/168.72	c |     10981 |    3887    25940   923014 |     8646     5867    398 | 28.979 % |
169.24/169.34	c ===============================================================================
169.24/169.34	c New solution: 34864
169.24/169.34	o 34864
169.24/169.34	c Elapsed CPU time: 168.736 s	Remaining CPU time: 11.2637 s
169.24/169.34	c ===============================================================================
169.24/169.34	c |     10983 |    3887    25941   924952 |     8647     5869    398 | 28.979 % |
170.04/170.11	c ===============================================================================
170.04/170.11	c New solution: 34863
170.04/170.11	o 34863
170.04/170.11	c Elapsed CPU time: 169.496 s	Remaining CPU time: 10.5038 s
170.04/170.11	c ===============================================================================
170.04/170.11	c |     10998 |    3887    25942   926890 |     8647     5884    398 | 28.979 % |
170.55/170.66	c ===============================================================================
170.55/170.66	c New solution: 34862
170.55/170.66	o 34862
170.55/170.66	c Elapsed CPU time: 170.046 s	Remaining CPU time: 9.95385 s
170.55/170.66	c ===============================================================================
170.55/170.66	c |     11020 |    3887    25943   928828 |     8647     5906    398 | 28.979 % |
171.24/171.30	c ===============================================================================
171.24/171.30	c New solution: 34861
171.24/171.30	o 34861
171.24/171.30	c Elapsed CPU time: 170.691 s	Remaining CPU time: 9.30895 s
171.24/171.30	c ===============================================================================
171.24/171.30	c |     11031 |    3887    25944   930766 |     8648     5917    398 | 28.979 % |
171.75/171.84	c ===============================================================================
171.75/171.84	c New solution: 34860
171.75/171.84	o 34860
171.75/171.84	c Elapsed CPU time: 171.224 s	Remaining CPU time: 8.77603 s
171.75/171.84	c ===============================================================================
171.75/171.84	c |     11042 |    3887    25945   932704 |     8648     5928    398 | 28.979 % |
172.65/172.77	c ===============================================================================
172.65/172.77	c New solution: 34859
172.65/172.77	o 34859
172.65/172.77	c Elapsed CPU time: 172.153 s	Remaining CPU time: 7.84717 s
172.65/172.77	c ===============================================================================
172.65/172.77	c |     11093 |    3887    25946   934642 |     8648     5979    397 | 28.979 % |
173.54/173.60	c ===============================================================================
173.54/173.60	c New solution: 33444
173.54/173.60	o 33444
173.54/173.60	c Elapsed CPU time: 172.979 s	Remaining CPU time: 7.0213 s
173.54/173.60	c ===============================================================================
173.54/173.60	c |     11107 |    3887    25947   936580 |     8649     5993    398 | 28.979 % |
174.44/174.55	c ===============================================================================
174.44/174.55	c New solution: 33422
174.44/174.55	o 33422
174.44/174.55	c Elapsed CPU time: 173.927 s	Remaining CPU time: 6.07344 s
174.44/174.55	c ===============================================================================
174.44/174.55	c |     11143 |    3887    25948   938518 |     8649     6029    397 | 28.979 % |
175.04/175.18	c ===============================================================================
175.04/175.18	c New solution: 33399
175.04/175.18	o 33399
175.04/175.18	c Elapsed CPU time: 174.556 s	Remaining CPU time: 5.44354 s
175.04/175.18	c ===============================================================================
175.04/175.18	c |     11144 |    3887    25949   940456 |     8649     6030    397 | 28.979 % |
175.74/175.85	c ===============================================================================
175.74/175.85	c New solution: 33383
175.74/175.85	o 33383
175.74/175.85	c Elapsed CPU time: 175.22 s	Remaining CPU time: 4.77964 s
175.74/175.85	c ===============================================================================
175.74/175.85	c |     11147 |    3887    25950   942394 |     8650     6033    397 | 28.979 % |
176.34/176.43	c ===============================================================================
176.34/176.43	c New solution: 33382
176.34/176.43	o 33382
176.34/176.43	c Elapsed CPU time: 175.801 s	Remaining CPU time: 4.19873 s
176.34/176.43	c ===============================================================================
176.34/176.43	c |     11164 |    3887    25951   944332 |     8650     6050    397 | 28.979 % |
177.04/177.15	c ===============================================================================
177.04/177.15	c New solution: 33381
177.04/177.15	o 33381
177.04/177.15	c Elapsed CPU time: 176.519 s	Remaining CPU time: 3.48084 s
177.04/177.15	c ===============================================================================
177.04/177.15	c |     11184 |    3887    25952   946270 |     8650     6070    397 | 28.979 % |
177.74/177.80	c ===============================================================================
177.74/177.80	c New solution: 33380
177.74/177.80	o 33380
177.74/177.80	c Elapsed CPU time: 177.177 s	Remaining CPU time: 2.82294 s
177.74/177.80	c ===============================================================================
177.74/177.80	c |     11190 |    3887    25953   948208 |     8651     6076    397 | 28.979 % |
178.54/178.61	c ===============================================================================
178.54/178.61	c New solution: 33379
178.54/178.61	o 33379
178.54/178.61	c Elapsed CPU time: 177.987 s	Remaining CPU time: 2.01306 s
178.54/178.61	c ===============================================================================
178.54/178.61	c |     11211 |    3887    25954   950146 |     8651     6097    397 | 28.979 % |
179.94/180.06	c ===============================================================================
179.94/180.06	c New solution: 33378
179.94/180.06	o 33378
179.94/180.06	c Elapsed CPU time: 179.432 s	Remaining CPU time: 0.568278 s
179.94/180.06	c ===============================================================================
179.94/180.06	c |     11280 |    3887    25955   952084 |     8651     6166    397 | 28.979 % |
180.54/180.67	c There are 1586 assigned variables. 258 in cost function.
184.14/184.21	c core #1
184.14/184.21	c core #2
184.14/184.21	c core #3
184.14/184.21	c core #4
184.14/184.21	c core #5
184.14/184.21	c core #6
184.14/184.21	c core #7
184.14/184.21	c core #8
184.14/184.21	c core #9
184.14/184.21	c core #10
184.14/184.21	c core #11
184.14/184.21	c core #12
184.14/184.21	c core #13
184.14/184.21	c core #14
184.14/184.21	c core #15
184.14/184.21	c core #16
184.14/184.21	c core #17
184.14/184.21	c core #18
184.14/184.21	c core #19
184.14/184.21	c core #20
184.14/184.21	c core #21
184.14/184.21	c core #22
184.14/184.21	c core #23
184.14/184.21	c core #24
184.14/184.21	c core #25
184.14/184.21	c core #26
184.14/184.21	c core #27
184.14/184.21	c core #28
184.14/184.21	c core #29
184.14/184.21	c core #30
184.14/184.21	c core #31
184.14/184.21	c core #32
184.14/184.21	c core #33
184.14/184.21	c core #34
184.14/184.21	c core #35
184.14/184.21	c core #36
184.14/184.21	c core #37
184.14/184.21	c core #38
184.14/184.21	c core #39
184.14/184.21	c core #40
184.14/184.21	c core #41
184.14/184.21	c core #42
184.14/184.21	c core #43
184.14/184.21	c core #44
184.14/184.21	c core #45
184.14/184.21	c core #46
184.14/184.21	c core #47
184.14/184.21	c core #48
184.14/184.21	c core #49
184.14/184.21	c core #50
184.14/184.21	c ============================[ Search Statistics ]==============================
184.14/184.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.14/184.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.14/184.21	c ===============================================================================
184.14/184.21	c |         0 |     594    19758    10270 |     6586        0    nan |  0.000 % |
184.14/184.21	c ===============================================================================
184.14/184.24	c #cores: 50
184.14/184.24	c Final Weight: 6114
184.14/184.24	o 6114
184.14/184.24	s OPTIMUM FOUND
184.14/184.24	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
184.14/184.24	c Total CPU time: 183.482 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-2683330-1277508921/watcher-2683330-1277508921 -o /tmp/evaluation-result-2683330-1277508921/solver-2683330-1277508921 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683330-1277508921.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: 1.00 1.00 1.00 3/106 30637
/proc/meminfo: memFree=1834812/2059040 swapFree=4139448/4192956
[pid=30637] ppid=30635 vsize=3640 CPUtime=0
/proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 371 0 0 0 0 0 0 0 18 0 1 0 92184572 3727360 289 1992294400 134512640 135751879 4288638928 18446744073709551615 134564675 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30637/statm: 910 289 143 303 0 417 0

[startup+0.100357 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30637
/proc/meminfo: memFree=1834812/2059040 swapFree=4139448/4192956
[pid=30637] ppid=30635 vsize=5252 CPUtime=0.09
/proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 891 0 0 0 9 0 0 0 20 0 1 0 92184572 5378048 809 1992294400 134512640 135751879 4288638928 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30637/statm: 1313 809 298 303 0 820 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5252

[startup+0.201368 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30637
/proc/meminfo: memFree=1834812/2059040 swapFree=4139448/4192956
[pid=30637] ppid=30635 vsize=6496 CPUtime=0.19
/proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 1426 0 0 0 19 0 0 0 20 0 1 0 92184572 6651904 1156 1992294400 134512640 135751879 4288638928 18446744073709551615 134579924 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30637/statm: 1624 1156 146 303 0 1319 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6496

[startup+0.301379 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30637
/proc/meminfo: memFree=1834812/2059040 swapFree=4139448/4192956
[pid=30637] ppid=30635 vsize=6760 CPUtime=0.29
/proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 1491 0 0 0 29 0 0 0 20 0 1 0 92184572 6922240 1221 1992294400 134512640 135751879 4288638928 18446744073709551615 134524580 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30637/statm: 1690 1221 146 303 0 1385 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6760

[startup+0.701423 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 30637
/proc/meminfo: memFree=1834812/2059040 swapFree=4139448/4192956
[pid=30637] ppid=30635 vsize=7552 CPUtime=0.69
/proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 1698 0 0 0 69 0 0 0 20 0 1 0 92184572 7733248 1428 1992294400 134512640 135751879 4288638928 18446744073709551615 135204032 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30637/statm: 1888 1428 146 303 0 1583 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7552

[startup+1.50151 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30638
/proc/meminfo: memFree=1829596/2059040 swapFree=4139448/4192956
[pid=30637] ppid=30635 vsize=8344 CPUtime=1.5
/proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 1902 0 0 0 149 1 0 0 23 0 1 0 92184572 8544256 1632 1992294400 134512640 135751879 4288638928 18446744073709551615 135201635 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30637/statm: 2086 1632 146 303 0 1781 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 8344

[startup+3.10169 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30638
/proc/meminfo: memFree=1827860/2059040 swapFree=4139448/4192956
[pid=30637] ppid=30635 vsize=10588 CPUtime=3.09
/proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 2444 0 0 0 308 1 0 0 25 0 1 0 92184572 10842112 2174 1992294400 134512640 135751879 4288638928 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30637/statm: 2647 2174 146 303 0 2342 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10588

[startup+6.30104 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30638
/proc/meminfo: memFree=1825008/2059040 swapFree=4139448/4192956
[pid=30637] ppid=30635 vsize=12040 CPUtime=6.29
/proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 2823 0 0 0 627 2 0 0 25 0 1 0 92184572 12328960 2553 1992294400 134512640 135751879 4288638928 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30637/statm: 3010 2553 146 303 0 2705 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12040

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30638
/proc/meminfo: memFree=1824760/2059040 swapFree=4139448/4192956
[pid=30637] ppid=30635 vsize=12304 CPUtime=12.69
/proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 2883 0 0 0 1255 14 0 0 25 0 1 0 92184572 12599296 2613 1992294400 134512640 135751879 4288638928 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30637/statm: 3076 2613 147 303 0 2771 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12304

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30638
/proc/meminfo: memFree=1816824/2059040 swapFree=4139448/4192956
[pid=30637] ppid=30635 vsize=20312 CPUtime=25.48
/proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 4899 0 0 0 2525 23 0 0 25 0 1 0 92184572 20799488 4629 1992294400 134512640 135751879 4288638928 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30637/statm: 5078 4629 147 303 0 4773 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20312

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30640
/proc/meminfo: memFree=1808020/2059040 swapFree=4139448/4192956
[pid=30637] ppid=30635 vsize=29008 CPUtime=51.08
/proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 7065 0 0 0 5075 33 0 0 25 0 1 0 92184572 29704192 6795 1992294400 134512640 135751879 4288638928 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30637/statm: 7252 6795 147 303 0 6947 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29008

[startup+102.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30640
/proc/meminfo: memFree=1796612/2059040 swapFree=4139448/4192956
[pid=30637] ppid=30635 vsize=40040 CPUtime=102.27
/proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 9823 0 0 0 10182 45 0 0 25 0 1 0 92184572 41000960 9553 1992294400 134512640 135751879 4288638928 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30637/statm: 10010 9553 147 303 0 9705 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 40040

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30642
/proc/meminfo: memFree=1788304/2059040 swapFree=4139448/4192956
[pid=30637] ppid=30635 vsize=48276 CPUtime=162.24
/proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 11875 0 0 0 16169 55 0 0 25 0 1 0 92184572 49434624 11605 1992294400 134512640 135751879 4288638928 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30637/statm: 12069 11605 148 303 0 11764 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 48276

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

[startup+166.402 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30642
/proc/meminfo: memFree=1787312/2059040 swapFree=4139448/4192956
[pid=30637] ppid=30635 vsize=49056 CPUtime=166.35
/proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 12093 0 0 0 16579 56 0 0 25 0 1 0 92184572 50233344 11823 1992294400 134512640 135751879 4288638928 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30637/statm: 12264 11823 148 303 0 11959 0
Current children cumulated CPU time (s) 166.35
Current children cumulated vsize (KiB) 49056

[startup+172.808 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 30642
/proc/meminfo: memFree=1786568/2059040 swapFree=4139448/4192956
[pid=30637] ppid=30635 vsize=49848 CPUtime=172.75
/proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 12268 0 0 0 17218 57 0 0 25 0 1 0 92184572 51044352 11998 1992294400 134512640 135751879 4288638928 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30637/statm: 12462 11998 148 303 0 12157 0
Current children cumulated CPU time (s) 172.75
Current children cumulated vsize (KiB) 49848

[startup+179.201 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30642
/proc/meminfo: memFree=1786072/2059040 swapFree=4139448/4192956
[pid=30637] ppid=30635 vsize=50500 CPUtime=179.14
/proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 12429 0 0 0 17856 58 0 0 25 0 1 0 92184572 51712000 12159 1992294400 134512640 135751879 4288638928 18446744073709551615 134611307 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30637/statm: 12625 12159 148 303 0 12320 0
Current children cumulated CPU time (s) 179.14
Current children cumulated vsize (KiB) 50500

[startup+182.401 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30642
/proc/meminfo: memFree=1773548/2059040 swapFree=4139448/4192956
[pid=30637] ppid=30635 vsize=99844 CPUtime=182.34
/proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 24873 0 0 0 18171 63 0 0 25 0 1 0 92184572 102240256 24504 1992294400 134512640 135751879 4288638928 18446744073709551615 134541894 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30637/statm: 24961 24504 151 303 0 24656 0
Current children cumulated CPU time (s) 182.34
Current children cumulated vsize (KiB) 99844

[startup+183.201 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30642
/proc/meminfo: memFree=1727172/2059040 swapFree=4139448/4192956
[pid=30637] ppid=30635 vsize=139532 CPUtime=183.14
/proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 34794 0 0 0 18248 66 0 0 25 0 1 0 92184572 142880768 34426 1992294400 134512640 135751879 4288638928 18446744073709551615 135206572 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30637/statm: 34883 34427 151 303 0 34578 0
Current children cumulated CPU time (s) 183.14
Current children cumulated vsize (KiB) 139532

[startup+184.001 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30642
/proc/meminfo: memFree=1674596/2059040 swapFree=4139448/4192956
[pid=30637] ppid=30635 vsize=176428 CPUtime=183.94
/proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 44047 0 0 0 18325 69 0 0 25 0 1 0 92184572 180662272 43678 1992294400 134512640 135751879 4288638928 18446744073709551615 134639817 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30637/statm: 44107 43678 151 303 0 43802 0
Current children cumulated CPU time (s) 183.94
Current children cumulated vsize (KiB) 176428

[startup+184.201 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30642
/proc/meminfo: memFree=1674596/2059040 swapFree=4139448/4192956
[pid=30637] ppid=30635 vsize=185028 CPUtime=184.14
/proc/30637/stat : 30637 (wbo1.4b) R 30635 30637 30415 0 -1 4202496 46197 0 0 0 18344 70 0 0 25 0 1 0 92184572 189468672 45828 1992294400 134512640 135751879 4288638928 18446744073709551615 134639817 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30637/statm: 46257 45828 151 303 0 45952 0
Current children cumulated CPU time (s) 184.14
Current children cumulated vsize (KiB) 185028

Child status: 0
Real time (s): 184.264
CPU time (s): 184.211
CPU user time (s): 183.482
CPU system time (s): 0.728889
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 185028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 183.482
system time used= 0.728889
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46443
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= 130
involuntary context switches= 125

runsolver used 0.314952 second user time and 0.91986 second system time

The end

Launcher Data 

Begin job on node042 at 2010-06-26 01:35:21
IDJOB=2683330
IDBENCH=72104
IDSOLVER=1161
FILE ID=node042/2683330-1277508921
PBS_JOBID= 11190608
Free space on /tmp= 62252 MiB

SOLVER NAME= wbo 1.4b
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
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2683330-1277508921/watcher-2683330-1277508921 -o /tmp/evaluation-result-2683330-1277508921/solver-2683330-1277508921 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683330-1277508921.opb

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

MD5SUM BENCH= 818b79ae869509d5a8ea99635b1eadb4
RANDOM SEED=422598418

node042.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.213
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.42
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.213
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1836068 kB
Buffers:         32796 kB
Cached:          92384 kB
SwapCached:       5948 kB
Active:          64496 kB
Inactive:        73204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1836068 kB
SwapTotal:     4192956 kB
SwapFree:      4139448 kB
Dirty:            3376 kB
Writeback:           0 kB
AnonPages:       11304 kB
Mapped:          11788 kB
Slab:            63120 kB
PageTables:       4188 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183472 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2683330-1277508921.opb

Free space on /tmp at the end= 62248 MiB
End job on node042 at 2010-06-26 01:38:25