Trace number 2683458

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)OPT9465 183.672 183.72

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randc7f8e5.cudf.paranoid.opb
MD5SUM6a41ff06797480ccf0516b3ef32f0a0b
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark9465
Best CPU time to get the best result obtained on this benchmark2.32165
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5599
Total number of constraints25155
Number of constraints which are clauses24873
Number of constraints which are cardinality constraints (but not clauses)282
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 2082
Biggest coefficient in the objective function 1533
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 846214
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1533
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 846214
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2683458-1277509858.opb.
0.00/0.00	c Instance file HOME/instance-2683458-1277509858.opb
0.00/0.00	c File size is 800467 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:      5599                                                |
0.09/0.11	c |  Number Clauses:        24873                                               |
0.09/0.11	c |  Number Cardinality:    282                                                 |
0.09/0.11	c |  Number PB Constraints: 0                                                   |
2.19/2.27	c ============================[ Search Statistics ]==============================
2.19/2.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.19/2.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.19/2.27	c ===============================================================================
2.19/2.27	c |         0 |    3723    26581    52474 |     8385        0    nan |  0.000 % |
2.19/2.28	c ===============================================================================
2.19/2.28	c New solution: 526469
2.19/2.28	o 526469
2.19/2.28	c Elapsed CPU time: 2.25966 s	Remaining CPU time: 177.74 s
2.19/2.28	c ===============================================================================
2.19/2.28	c |         9 |    3723    26582    54460 |     8860        9      6 |  0.000 % |
2.19/2.29	c ===============================================================================
2.19/2.29	c New solution: 520349
2.19/2.29	o 520349
2.19/2.29	c Elapsed CPU time: 2.26765 s	Remaining CPU time: 177.732 s
2.19/2.29	c ===============================================================================
2.19/2.29	c |        12 |    3723    26583    56446 |     8861       12      5 |  0.000 % |
2.29/2.30	c ===============================================================================
2.29/2.30	c New solution: 440618
2.29/2.30	o 440618
2.29/2.30	c Elapsed CPU time: 2.27765 s	Remaining CPU time: 177.722 s
2.29/2.30	c ===============================================================================
2.29/2.30	c |        22 |    3723    26584    58432 |     8861       22      4 |  0.000 % |
2.29/2.31	c ===============================================================================
2.29/2.31	c New solution: 419146
2.29/2.31	o 419146
2.29/2.31	c Elapsed CPU time: 2.28565 s	Remaining CPU time: 177.714 s
2.29/2.31	c ===============================================================================
2.29/2.31	c |        28 |    3723    26585    60418 |     8861       28      4 |  0.000 % |
2.29/2.32	c ===============================================================================
2.29/2.32	c New solution: 351642
2.29/2.32	o 351642
2.29/2.32	c Elapsed CPU time: 2.29265 s	Remaining CPU time: 177.707 s
2.29/2.32	c ===============================================================================
2.29/2.32	c |        32 |    3723    26586    62404 |     8862       32      4 |  0.000 % |
2.29/2.33	c ===============================================================================
2.29/2.33	c New solution: 336308
2.29/2.33	o 336308
2.29/2.33	c Elapsed CPU time: 2.30065 s	Remaining CPU time: 177.699 s
2.29/2.33	c ===============================================================================
2.29/2.33	c |        37 |    3723    26587    64390 |     8862       37      4 |  0.000 % |
2.29/2.33	c ===============================================================================
2.29/2.33	c New solution: 313301
2.29/2.33	o 313301
2.29/2.33	c Elapsed CPU time: 2.30865 s	Remaining CPU time: 177.691 s
2.29/2.33	c ===============================================================================
2.29/2.33	c |        41 |    3723    26588    66376 |     8862       41      4 |  0.000 % |
2.29/2.34	c ===============================================================================
2.29/2.34	c New solution: 305636
2.29/2.34	o 305636
2.29/2.34	c Elapsed CPU time: 2.31765 s	Remaining CPU time: 177.682 s
2.29/2.34	c ===============================================================================
2.29/2.34	c |        46 |    3723    26589    68362 |     8863       46      4 |  0.000 % |
2.29/2.36	c ===============================================================================
2.29/2.36	c New solution: 261169
2.29/2.36	o 261169
2.29/2.36	c Elapsed CPU time: 2.32565 s	Remaining CPU time: 177.674 s
2.29/2.36	c ===============================================================================
2.29/2.36	c |        54 |    3723    26590    70348 |     8863       54      5 |  0.000 % |
2.29/2.37	c ===============================================================================
2.29/2.37	c New solution: 261161
2.29/2.37	o 261161
2.29/2.37	c Elapsed CPU time: 2.33664 s	Remaining CPU time: 177.663 s
2.29/2.37	c ===============================================================================
2.29/2.37	c |        58 |    3723    26591    72334 |     8863       58      5 |  0.000 % |
2.29/2.39	c ===============================================================================
2.29/2.39	c New solution: 259669
2.29/2.39	o 259669
2.29/2.39	c Elapsed CPU time: 2.35864 s	Remaining CPU time: 177.641 s
2.29/2.39	c ===============================================================================
2.29/2.39	c |        80 |    3723    26592    74320 |     8864       80      5 |  0.000 % |
2.39/2.41	c ===============================================================================
2.39/2.41	c New solution: 259643
2.39/2.41	o 259643
2.39/2.41	c Elapsed CPU time: 2.37264 s	Remaining CPU time: 177.627 s
2.39/2.41	c ===============================================================================
2.39/2.41	c |        85 |    3723    26593    76306 |     8864       85      5 |  0.000 % |
2.39/2.43	c ===============================================================================
2.39/2.43	c New solution: 259624
2.39/2.43	o 259624
2.39/2.43	c Elapsed CPU time: 2.38764 s	Remaining CPU time: 177.612 s
2.39/2.43	c ===============================================================================
2.39/2.43	c |        90 |    3723    26594    78292 |     8864       90      4 |  0.000 % |
2.39/2.45	c ===============================================================================
2.39/2.45	c New solution: 259623
2.39/2.45	o 259623
2.39/2.45	c Elapsed CPU time: 2.40863 s	Remaining CPU time: 177.591 s
2.39/2.45	c ===============================================================================
2.39/2.45	c |        96 |    3723    26595    80278 |     8865       96      4 |  0.000 % |
2.39/2.47	c ===============================================================================
2.39/2.47	c New solution: 259613
2.39/2.47	o 259613
2.39/2.47	c Elapsed CPU time: 2.42563 s	Remaining CPU time: 177.574 s
2.39/2.47	c ===============================================================================
2.39/2.47	c |        97 |    3723    26596    82264 |     8865       97      4 |  0.000 % |
2.39/2.48	c ===============================================================================
2.39/2.48	c New solution: 259612
2.39/2.48	o 259612
2.39/2.48	c Elapsed CPU time: 2.43763 s	Remaining CPU time: 177.562 s
2.39/2.48	c ===============================================================================
2.39/2.48	c |       101 |    3723    26597    84250 |     8865      101      4 |  0.000 % |
2.49/2.50	c ===============================================================================
2.49/2.50	c New solution: 259608
2.49/2.50	o 259608
2.49/2.50	c Elapsed CPU time: 2.45363 s	Remaining CPU time: 177.546 s
2.49/2.50	c ===============================================================================
2.49/2.50	c |       101 |    3723    26598    86236 |     8866      101      4 |  0.000 % |
2.49/2.51	c ===============================================================================
2.49/2.51	c New solution: 259607
2.49/2.51	o 259607
2.49/2.51	c Elapsed CPU time: 2.46762 s	Remaining CPU time: 177.532 s
2.49/2.51	c ===============================================================================
2.49/2.51	c |       102 |    3723    26599    88222 |     8866      102      4 |  0.000 % |
2.49/2.53	c ===============================================================================
2.49/2.53	c New solution: 259606
2.49/2.53	o 259606
2.49/2.53	c Elapsed CPU time: 2.48262 s	Remaining CPU time: 177.517 s
2.49/2.53	c ===============================================================================
2.49/2.53	c |       104 |    3723    26600    90208 |     8866      104      4 |  0.000 % |
2.49/2.54	c ===============================================================================
2.49/2.54	c New solution: 259605
2.49/2.54	o 259605
2.49/2.54	c Elapsed CPU time: 2.49262 s	Remaining CPU time: 177.507 s
2.49/2.54	c ===============================================================================
2.49/2.54	c |       106 |    3723    26601    92194 |     8867      106      4 |  0.000 % |
2.49/2.56	c ===============================================================================
2.49/2.56	c New solution: 259604
2.49/2.56	o 259604
2.49/2.56	c Elapsed CPU time: 2.50762 s	Remaining CPU time: 177.492 s
2.49/2.56	c ===============================================================================
2.49/2.56	c |       107 |    3723    26602    94180 |     8867      107      4 |  0.000 % |
2.49/2.57	c ===============================================================================
2.49/2.57	c New solution: 258078
2.49/2.57	o 258078
2.49/2.57	c Elapsed CPU time: 2.51962 s	Remaining CPU time: 177.48 s
2.49/2.57	c ===============================================================================
2.49/2.57	c |       108 |    3723    26603    96166 |     8867      108      4 |  0.000 % |
2.59/2.62	c ===============================================================================
2.59/2.62	c New solution: 181556
2.59/2.62	o 181556
2.59/2.62	c Elapsed CPU time: 2.56461 s	Remaining CPU time: 177.435 s
2.59/2.62	c ===============================================================================
2.59/2.62	c |       157 |    3723    26604    98152 |     8868      157      9 |  0.000 % |
2.59/2.64	c ===============================================================================
2.59/2.64	c New solution: 181494
2.59/2.64	o 181494
2.59/2.64	c Elapsed CPU time: 2.57961 s	Remaining CPU time: 177.42 s
2.59/2.64	c ===============================================================================
2.59/2.64	c |       161 |    3723    26605   100138 |     8868      161     13 |  0.000 % |
2.59/2.68	c ===============================================================================
2.59/2.68	c New solution: 153923
2.59/2.68	o 153923
2.59/2.68	c Elapsed CPU time: 2.6136 s	Remaining CPU time: 177.386 s
2.59/2.68	c ===============================================================================
2.59/2.68	c |       189 |    3723    26606   102124 |     8868      189     11 |  0.000 % |
2.59/2.69	c ===============================================================================
2.59/2.69	c New solution: 141671
2.59/2.69	o 141671
2.59/2.69	c Elapsed CPU time: 2.6266 s	Remaining CPU time: 177.373 s
2.59/2.69	c ===============================================================================
2.59/2.69	c |       191 |    3723    26607   104110 |     8869      191     11 |  0.000 % |
2.69/2.71	c ===============================================================================
2.69/2.71	c New solution: 141632
2.69/2.71	o 141632
2.69/2.71	c Elapsed CPU time: 2.6456 s	Remaining CPU time: 177.354 s
2.69/2.71	c ===============================================================================
2.69/2.71	c |       192 |    3723    26608   106096 |     8869      192     11 |  0.000 % |
2.69/2.73	c ===============================================================================
2.69/2.73	c New solution: 141630
2.69/2.73	o 141630
2.69/2.73	c Elapsed CPU time: 2.66559 s	Remaining CPU time: 177.334 s
2.69/2.73	c ===============================================================================
2.69/2.73	c |       194 |    3723    26609   108082 |     8869      194     11 |  0.000 % |
2.69/2.76	c ===============================================================================
2.69/2.76	c New solution: 141628
2.69/2.76	o 141628
2.69/2.76	c Elapsed CPU time: 2.69559 s	Remaining CPU time: 177.304 s
2.69/2.76	c ===============================================================================
2.69/2.76	c |       195 |    3723    26610   110068 |     8870      195     11 |  0.000 % |
2.79/2.83	c ===============================================================================
2.79/2.83	c New solution: 140170
2.79/2.83	o 140170
2.79/2.83	c Elapsed CPU time: 2.75658 s	Remaining CPU time: 177.243 s
2.79/2.83	c ===============================================================================
2.79/2.83	c |       231 |    3723    26611   112054 |     8870      231     13 |  0.000 % |
2.79/2.87	c ===============================================================================
2.79/2.87	c New solution: 135545
2.79/2.87	o 135545
2.79/2.87	c Elapsed CPU time: 2.78958 s	Remaining CPU time: 177.21 s
2.79/2.87	c ===============================================================================
2.79/2.87	c |       243 |    3723    26612   114040 |     8870      243     13 |  0.000 % |
2.79/2.89	c ===============================================================================
2.79/2.89	c New solution: 135540
2.79/2.89	o 135540
2.79/2.89	c Elapsed CPU time: 2.81057 s	Remaining CPU time: 177.189 s
2.79/2.89	c ===============================================================================
2.79/2.89	c |       246 |    3723    26613   116026 |     8871      246     15 |  0.000 % |
2.89/2.92	c ===============================================================================
2.89/2.92	c New solution: 134014
2.89/2.92	o 134014
2.89/2.92	c Elapsed CPU time: 2.83857 s	Remaining CPU time: 177.161 s
2.89/2.92	c ===============================================================================
2.89/2.92	c |       260 |    3723    26614   118012 |     8871      260     17 |  0.000 % |
2.99/3.03	c ===============================================================================
2.99/3.03	c New solution: 133985
2.99/3.03	o 133985
2.99/3.03	c Elapsed CPU time: 2.94655 s	Remaining CPU time: 177.053 s
2.99/3.03	c ===============================================================================
2.99/3.03	c |       294 |    3723    26615   119998 |     8871      294     21 |  0.000 % |
2.99/3.07	c ===============================================================================
2.99/3.07	c New solution: 109487
2.99/3.07	o 109487
2.99/3.07	c Elapsed CPU time: 2.98155 s	Remaining CPU time: 177.018 s
2.99/3.07	c ===============================================================================
2.99/3.07	c |       305 |    3723    26616   121984 |     8872      305     22 |  0.000 % |
2.99/3.09	c ===============================================================================
2.99/3.09	c New solution: 104882
2.99/3.09	o 104882
2.99/3.09	c Elapsed CPU time: 2.99554 s	Remaining CPU time: 177.004 s
2.99/3.09	c ===============================================================================
2.99/3.09	c |       306 |    3723    26617   123970 |     8872      306     22 |  0.000 % |
3.09/3.10	c ===============================================================================
3.09/3.10	c New solution: 101817
3.09/3.10	o 101817
3.09/3.10	c Elapsed CPU time: 3.01054 s	Remaining CPU time: 176.989 s
3.09/3.10	c ===============================================================================
3.09/3.10	c |       306 |    3723    26618   125956 |     8872      306     22 |  0.000 % |
3.09/3.15	c ===============================================================================
3.09/3.15	c New solution: 101789
3.09/3.15	o 101789
3.09/3.15	c Elapsed CPU time: 3.05854 s	Remaining CPU time: 176.941 s
3.09/3.15	c ===============================================================================
3.09/3.15	c |       307 |    3723    26619   127942 |     8873      307     22 |  0.000 % |
3.09/3.18	c ===============================================================================
3.09/3.18	c New solution: 98781
3.09/3.18	o 98781
3.09/3.18	c Elapsed CPU time: 3.08453 s	Remaining CPU time: 176.915 s
3.09/3.18	c ===============================================================================
3.09/3.18	c |       312 |    3723    26620   129928 |     8873      312     22 |  0.000 % |
3.09/3.19	c ===============================================================================
3.09/3.19	c New solution: 98780
3.09/3.19	o 98780
3.09/3.19	c Elapsed CPU time: 3.09953 s	Remaining CPU time: 176.9 s
3.09/3.19	c ===============================================================================
3.09/3.19	c |       313 |    3723    26621   131914 |     8873      313     22 |  0.000 % |
3.20/3.21	c ===============================================================================
3.20/3.21	c New solution: 97251
3.20/3.21	o 97251
3.20/3.21	c Elapsed CPU time: 3.11553 s	Remaining CPU time: 176.884 s
3.20/3.21	c ===============================================================================
3.20/3.21	c |       313 |    3723    26622   133900 |     8874      313     22 |  0.000 % |
3.20/3.23	c ===============================================================================
3.20/3.23	c New solution: 97249
3.20/3.23	o 97249
3.20/3.23	c Elapsed CPU time: 3.13352 s	Remaining CPU time: 176.866 s
3.20/3.23	c ===============================================================================
3.20/3.23	c |       313 |    3723    26623   135886 |     8874      313     22 |  0.000 % |
3.20/3.24	c ===============================================================================
3.20/3.24	c New solution: 91114
3.20/3.24	o 91114
3.20/3.24	c Elapsed CPU time: 3.14852 s	Remaining CPU time: 176.851 s
3.20/3.24	c ===============================================================================
3.20/3.24	c |       313 |    3723    26624   137872 |     8874      313     22 |  0.000 % |
3.20/3.26	c ===============================================================================
3.20/3.26	c New solution: 91113
3.20/3.26	o 91113
3.20/3.26	c Elapsed CPU time: 3.16252 s	Remaining CPU time: 176.837 s
3.20/3.26	c ===============================================================================
3.20/3.26	c |       313 |    3723    26625   139858 |     8875      313     22 |  0.000 % |
3.20/3.28	c ===============================================================================
3.20/3.28	c New solution: 91112
3.20/3.28	o 91112
3.20/3.28	c Elapsed CPU time: 3.18052 s	Remaining CPU time: 176.819 s
3.20/3.28	c ===============================================================================
3.20/3.28	c |       314 |    3723    26626   141844 |     8875      314     22 |  0.000 % |
3.20/3.29	c ===============================================================================
3.20/3.29	c New solution: 91111
3.20/3.29	o 91111
3.20/3.29	c Elapsed CPU time: 3.19651 s	Remaining CPU time: 176.803 s
3.20/3.29	c ===============================================================================
3.20/3.29	c |       314 |    3723    26627   143830 |     8875      314     22 |  0.000 % |
3.30/3.31	c ===============================================================================
3.30/3.31	c New solution: 91110
3.30/3.31	o 91110
3.30/3.31	c Elapsed CPU time: 3.21551 s	Remaining CPU time: 176.784 s
3.30/3.31	c ===============================================================================
3.30/3.31	c |       314 |    3723    26628   145816 |     8876      314     22 |  0.000 % |
3.30/3.34	c ===============================================================================
3.30/3.34	c New solution: 91109
3.30/3.34	o 91109
3.30/3.34	c Elapsed CPU time: 3.23851 s	Remaining CPU time: 176.761 s
3.30/3.34	c ===============================================================================
3.30/3.34	c |       315 |    3723    26629   147802 |     8876      315     23 |  0.000 % |
3.39/3.43	c ===============================================================================
3.39/3.43	c New solution: 91061
3.39/3.43	o 91061
3.39/3.43	c Elapsed CPU time: 3.33549 s	Remaining CPU time: 176.665 s
3.39/3.43	c ===============================================================================
3.39/3.43	c |       318 |    3723    26630   149788 |     8876      318     25 |  0.000 % |
3.49/3.52	c ===============================================================================
3.49/3.52	c New solution: 91060
3.49/3.52	o 91060
3.49/3.52	c Elapsed CPU time: 3.42048 s	Remaining CPU time: 176.58 s
3.49/3.52	c ===============================================================================
3.49/3.52	c |       330 |    3723    26631   151774 |     8877      330     39 |  0.000 % |
3.69/3.80	c |       432 |    3723    26631   151774 |     9764      432    172 | 33.506 % |
3.79/3.87	c ===============================================================================
3.79/3.87	c New solution: 91056
3.79/3.87	o 91056
3.79/3.87	c Elapsed CPU time: 3.77443 s	Remaining CPU time: 176.226 s
3.79/3.87	c ===============================================================================
3.79/3.87	c |       437 |    3723    26632   153760 |     8877      437    172 | 33.506 % |
3.89/3.96	c ===============================================================================
3.89/3.96	c New solution: 91055
3.89/3.96	o 91055
3.89/3.96	c Elapsed CPU time: 3.86341 s	Remaining CPU time: 176.137 s
3.89/3.96	c ===============================================================================
3.89/3.96	c |       440 |    3723    26633   155746 |     8877      440    171 | 33.506 % |
3.99/4.03	c ===============================================================================
3.99/4.03	c New solution: 91054
3.99/4.03	o 91054
3.99/4.03	c Elapsed CPU time: 3.9304 s	Remaining CPU time: 176.07 s
3.99/4.03	c ===============================================================================
3.99/4.03	c |       440 |    3723    26634   157732 |     8878      440    171 | 33.506 % |
4.09/4.10	c ===============================================================================
4.09/4.10	c New solution: 91053
4.09/4.10	o 91053
4.09/4.10	c Elapsed CPU time: 4.00039 s	Remaining CPU time: 176 s
4.09/4.10	c ===============================================================================
4.09/4.10	c |       440 |    3723    26635   159718 |     8878      440    171 | 33.506 % |
4.09/4.17	c ===============================================================================
4.09/4.17	c New solution: 91052
4.09/4.17	o 91052
4.09/4.17	c Elapsed CPU time: 4.07138 s	Remaining CPU time: 175.929 s
4.09/4.17	c ===============================================================================
4.09/4.17	c |       442 |    3723    26636   161704 |     8878      442    173 | 33.506 % |
4.30/4.32	c ===============================================================================
4.30/4.32	c New solution: 91051
4.30/4.32	o 91051
4.30/4.32	c Elapsed CPU time: 4.21636 s	Remaining CPU time: 175.784 s
4.30/4.32	c ===============================================================================
4.30/4.32	c |       481 |    3723    26637   163690 |     8879      481    200 | 33.506 % |
4.49/4.58	c ===============================================================================
4.49/4.58	c New solution: 91050
4.49/4.58	o 91050
4.49/4.58	c Elapsed CPU time: 4.48032 s	Remaining CPU time: 175.52 s
4.49/4.58	c ===============================================================================
4.49/4.58	c |       555 |    3723    26638   165676 |     8879      555    220 | 33.506 % |
4.69/4.79	c |       655 |    3723    26638   165676 |     9767      655    277 | 33.506 % |
5.09/5.14	c |       805 |    3723    26638   165676 |    10743      805    343 | 33.506 % |
5.40/5.47	c ===============================================================================
5.40/5.47	c New solution: 91049
5.40/5.47	o 91049
5.40/5.47	c Elapsed CPU time: 5.35919 s	Remaining CPU time: 174.641 s
5.40/5.47	c ===============================================================================
5.40/5.47	c |       931 |    3723    26639   167662 |     8879      931    377 | 33.506 % |
5.40/5.50	c ===============================================================================
5.40/5.50	c New solution: 89532
5.40/5.50	o 89532
5.40/5.50	c Elapsed CPU time: 5.38718 s	Remaining CPU time: 174.613 s
5.40/5.50	c ===============================================================================
5.40/5.50	c |       935 |    3723    26640   169648 |     8880      935    377 | 33.506 % |
5.89/5.93	c |      1036 |    3723    26640   169648 |     9768     1036    401 | 33.506 % |
6.29/6.35	c |      1186 |    3723    26640   169648 |    10744     1186    431 | 33.506 % |
6.39/6.41	c ===============================================================================
6.39/6.41	c New solution: 89531
6.39/6.41	o 89531
6.39/6.41	c Elapsed CPU time: 6.30404 s	Remaining CPU time: 173.696 s
6.39/6.41	c ===============================================================================
6.39/6.41	c |      1191 |    3723    26641   171634 |     8880     1191    431 | 33.506 % |
6.50/6.60	c |      1292 |    3723    26641   171634 |     9768     1292    443 | 33.506 % |
6.60/6.69	c ===============================================================================
6.60/6.69	c New solution: 89530
6.60/6.69	o 89530
6.60/6.69	c Elapsed CPU time: 6.58 s	Remaining CPU time: 173.42 s
6.60/6.69	c ===============================================================================
6.60/6.69	c |      1302 |    3723    26642   173620 |     8880     1302    443 | 33.506 % |
6.69/6.73	c ===============================================================================
6.69/6.73	c New solution: 89529
6.69/6.73	o 89529
6.69/6.73	c Elapsed CPU time: 6.61299 s	Remaining CPU time: 173.387 s
6.69/6.73	c ===============================================================================
6.69/6.73	c |      1311 |    3723    26643   175606 |     8881     1311    442 | 33.506 % |
6.79/6.89	c ===============================================================================
6.79/6.89	c New solution: 89528
6.79/6.89	o 89528
6.79/6.89	c Elapsed CPU time: 6.76997 s	Remaining CPU time: 173.23 s
6.79/6.89	c ===============================================================================
6.79/6.89	c |      1359 |    3723    26644   177592 |     8881     1359    449 | 33.506 % |
7.19/7.24	c ===============================================================================
7.19/7.24	c New solution: 89527
7.19/7.24	o 89527
7.19/7.24	c Elapsed CPU time: 7.11992 s	Remaining CPU time: 172.88 s
7.19/7.24	c ===============================================================================
7.19/7.24	c |      1451 |    3723    26645   179578 |     8881     1451    460 | 33.506 % |
7.39/7.49	c |      1552 |    3723    26645   179578 |     9769     1552    469 | 33.506 % |
7.89/7.90	c |      1703 |    3723    26645   179578 |    10746     1703    485 | 33.506 % |
7.99/8.01	c ===============================================================================
7.99/8.01	c New solution: 89526
7.99/8.01	o 89526
7.99/8.01	c Elapsed CPU time: 7.8918 s	Remaining CPU time: 172.108 s
7.99/8.01	c ===============================================================================
7.99/8.01	c |      1726 |    3723    26646   181564 |     8882     1726    486 | 33.506 % |
7.99/8.05	c ===============================================================================
7.99/8.05	c New solution: 89525
7.99/8.05	o 89525
7.99/8.05	c Elapsed CPU time: 7.92879 s	Remaining CPU time: 172.071 s
7.99/8.05	c ===============================================================================
7.99/8.05	c |      1726 |    3723    26647   183550 |     8882     1726    486 | 33.506 % |
8.29/8.33	c ===============================================================================
8.29/8.33	c New solution: 89524
8.29/8.33	o 89524
8.29/8.33	c Elapsed CPU time: 8.20775 s	Remaining CPU time: 171.792 s
8.29/8.33	c ===============================================================================
8.29/8.33	c |      1802 |    3723    26648   185536 |     8882     1802    490 | 33.506 % |
8.39/8.47	c ===============================================================================
8.39/8.47	c New solution: 88039
8.39/8.47	o 88039
8.39/8.47	c Elapsed CPU time: 8.34273 s	Remaining CPU time: 171.657 s
8.39/8.47	c ===============================================================================
8.39/8.47	c |      1823 |    3723    26649   187522 |     8883     1823    491 | 33.506 % |
8.49/8.55	c ===============================================================================
8.49/8.55	c New solution: 88021
8.49/8.55	o 88021
8.49/8.55	c Elapsed CPU time: 8.42172 s	Remaining CPU time: 171.578 s
8.49/8.55	c ===============================================================================
8.49/8.55	c |      1841 |    3723    26650   189508 |     8883     1841    492 | 33.506 % |
8.49/8.59	c ===============================================================================
8.49/8.59	c New solution: 88020
8.49/8.59	o 88020
8.49/8.59	c Elapsed CPU time: 8.46071 s	Remaining CPU time: 171.539 s
8.49/8.59	c ===============================================================================
8.49/8.59	c |      1849 |    3723    26651   191494 |     8883     1849    492 | 33.506 % |
8.79/8.85	c |      1949 |    3723    26651   191494 |     9772     1949    501 | 33.506 % |
8.89/8.92	c ===============================================================================
8.89/8.92	c New solution: 88019
8.89/8.92	o 88019
8.89/8.92	c Elapsed CPU time: 8.79066 s	Remaining CPU time: 171.209 s
8.89/8.92	c ===============================================================================
8.89/8.92	c |      1954 |    3723    26652   193480 |     8884     1954    501 | 33.506 % |
8.89/8.99	c ===============================================================================
8.89/8.99	c New solution: 88018
8.89/8.99	o 88018
8.89/8.99	c Elapsed CPU time: 8.86465 s	Remaining CPU time: 171.135 s
8.89/8.99	c ===============================================================================
8.89/8.99	c |      1962 |    3723    26653   195466 |     8884     1962    501 | 33.506 % |
8.99/9.03	c ===============================================================================
8.99/9.03	c New solution: 88015
8.99/9.03	o 88015
8.99/9.03	c Elapsed CPU time: 8.90565 s	Remaining CPU time: 171.094 s
8.99/9.03	c ===============================================================================
8.99/9.03	c |      1968 |    3723    26654   197452 |     8884     1968    501 | 33.506 % |
9.09/9.11	c ===============================================================================
9.09/9.11	c New solution: 88014
9.09/9.11	o 88014
9.09/9.11	c Elapsed CPU time: 8.98363 s	Remaining CPU time: 171.016 s
9.09/9.11	c ===============================================================================
9.09/9.11	c |      1977 |    3723    26655   199438 |     8885     1977    501 | 33.506 % |
9.09/9.18	c ===============================================================================
9.09/9.18	c New solution: 88013
9.09/9.18	o 88013
9.09/9.18	c Elapsed CPU time: 9.05462 s	Remaining CPU time: 170.945 s
9.09/9.18	c ===============================================================================
9.09/9.18	c |      1977 |    3723    26656   201424 |     8885     1977    501 | 33.506 % |
9.19/9.25	c ===============================================================================
9.19/9.25	c New solution: 88012
9.19/9.25	o 88012
9.19/9.25	c Elapsed CPU time: 9.12161 s	Remaining CPU time: 170.878 s
9.19/9.25	c ===============================================================================
9.19/9.25	c |      1982 |    3723    26657   203410 |     8885     1982    501 | 33.506 % |
9.49/9.58	c |      2083 |    3723    26657   203410 |     9774     2083    509 | 33.506 % |
9.59/9.65	c ===============================================================================
9.59/9.65	c New solution: 88011
9.59/9.65	o 88011
9.59/9.65	c Elapsed CPU time: 9.52155 s	Remaining CPU time: 170.478 s
9.59/9.65	c ===============================================================================
9.59/9.65	c |      2088 |    3723    26658   205396 |     8886     2088    509 | 33.506 % |
9.69/9.72	c ===============================================================================
9.69/9.72	c New solution: 88010
9.69/9.72	o 88010
9.69/9.72	c Elapsed CPU time: 9.58754 s	Remaining CPU time: 170.412 s
9.69/9.72	c ===============================================================================
9.69/9.72	c |      2090 |    3723    26659   207382 |     8886     2090    509 | 33.506 % |
9.69/9.79	c ===============================================================================
9.69/9.79	c New solution: 88009
9.69/9.79	o 88009
9.69/9.79	c Elapsed CPU time: 9.65453 s	Remaining CPU time: 170.345 s
9.69/9.79	c ===============================================================================
9.69/9.79	c |      2092 |    3723    26660   209368 |     8886     2092    509 | 33.506 % |
9.80/9.84	c ===============================================================================
9.80/9.84	c New solution: 88002
9.80/9.84	o 88002
9.80/9.84	c Elapsed CPU time: 9.70852 s	Remaining CPU time: 170.291 s
9.80/9.84	c ===============================================================================
9.80/9.84	c |      2092 |    3723    26661   211354 |     8887     2092    509 | 33.506 % |
9.80/9.90	c ===============================================================================
9.80/9.90	c New solution: 88001
9.89/9.90	o 88001
9.89/9.90	c Elapsed CPU time: 9.76851 s	Remaining CPU time: 170.231 s
9.89/9.90	c ===============================================================================
9.89/9.90	c |      2094 |    3723    26662   213340 |     8887     2094    509 | 33.506 % |
9.89/9.97	c ===============================================================================
9.89/9.97	c New solution: 88000
9.89/9.97	o 88000
9.89/9.97	c Elapsed CPU time: 9.8375 s	Remaining CPU time: 170.162 s
9.89/9.97	c ===============================================================================
9.89/9.97	c |      2100 |    3723    26663   215326 |     8887     2100    509 | 33.506 % |
9.99/10.01	c ===============================================================================
9.99/10.01	c New solution: 86493
9.99/10.01	o 86493
9.99/10.01	c Elapsed CPU time: 9.8775 s	Remaining CPU time: 170.123 s
9.99/10.01	c ===============================================================================
9.99/10.01	c |      2105 |    3723    26664   217312 |     8888     2105    509 | 33.506 % |
10.08/10.10	c ===============================================================================
10.08/10.10	c New solution: 86476
10.08/10.10	o 86476
10.08/10.10	c Elapsed CPU time: 9.96249 s	Remaining CPU time: 170.038 s
10.08/10.10	c ===============================================================================
10.08/10.10	c |      2116 |    3723    26665   219298 |     8888     2116    509 | 33.506 % |
10.08/10.14	c ===============================================================================
10.08/10.14	c New solution: 86475
10.08/10.14	o 86475
10.08/10.14	c Elapsed CPU time: 10.0035 s	Remaining CPU time: 169.997 s
10.08/10.14	c ===============================================================================
10.08/10.14	c |      2120 |    3723    26666   221284 |     8888     2120    508 | 33.506 % |
10.18/10.29	c ===============================================================================
10.18/10.29	c New solution: 86474
10.18/10.29	o 86474
10.18/10.29	c Elapsed CPU time: 10.1545 s	Remaining CPU time: 169.846 s
10.18/10.29	c ===============================================================================
10.18/10.29	c |      2148 |    3723    26667   223270 |     8889     2148    510 | 33.506 % |
10.48/10.58	c |      2250 |    3723    26667   223270 |     9777     2250    516 | 33.506 % |
10.58/10.65	c ===============================================================================
10.58/10.65	c New solution: 86473
10.58/10.65	o 86473
10.58/10.65	c Elapsed CPU time: 10.5114 s	Remaining CPU time: 169.489 s
10.58/10.65	c ===============================================================================
10.58/10.65	c |      2251 |    3723    26668   225256 |     8889     2251    516 | 33.506 % |
11.00/11.05	c |      2351 |    3723    26668   225256 |     9778     2351    522 | 33.506 % |
11.09/11.13	c ===============================================================================
11.09/11.13	c New solution: 86472
11.09/11.13	o 86472
11.09/11.13	c Elapsed CPU time: 10.9903 s	Remaining CPU time: 169.01 s
11.09/11.13	c ===============================================================================
11.09/11.13	c |      2358 |    3723    26669   227242 |     8889     2358    522 | 33.506 % |
11.59/11.62	c |      2460 |    3723    26669   227242 |     9778     2460    527 | 33.506 % |
11.59/11.70	c ===============================================================================
11.59/11.70	c New solution: 86471
11.59/11.70	o 86471
11.59/11.70	c Elapsed CPU time: 11.5492 s	Remaining CPU time: 168.451 s
11.59/11.70	c ===============================================================================
11.59/11.70	c |      2464 |    3723    26670   229228 |     8890     2464    527 | 33.506 % |
11.89/11.99	c |      2564 |    3723    26670   229228 |     9779     2564    529 | 33.506 % |
12.38/12.47	c |      2714 |    3723    26670   229228 |    10756     2714    536 | 33.506 % |
12.49/12.54	c ===============================================================================
12.49/12.54	c New solution: 86470
12.49/12.54	o 86470
12.49/12.54	c Elapsed CPU time: 12.3931 s	Remaining CPU time: 167.607 s
12.49/12.54	c ===============================================================================
12.49/12.54	c |      2721 |    3723    26671   231214 |     8890     2721    536 | 33.506 % |
12.99/13.06	c |      2821 |    3723    26671   231214 |     9779     2821    540 | 33.506 % |
13.79/13.84	c |      2971 |    3723    26671   231214 |    10757     2971    546 | 33.506 % |
14.09/14.14	c ===============================================================================
14.09/14.14	c New solution: 86469
14.09/14.14	o 86469
14.09/14.14	c Elapsed CPU time: 13.9859 s	Remaining CPU time: 166.014 s
14.09/14.14	c ===============================================================================
14.09/14.14	c |      3023 |    3723    26672   233200 |     8890     3023    547 | 33.506 % |
14.20/14.24	c ===============================================================================
14.20/14.24	c New solution: 86468
14.20/14.24	o 86468
14.20/14.24	c Elapsed CPU time: 14.0819 s	Remaining CPU time: 165.918 s
14.20/14.24	c ===============================================================================
14.20/14.24	c |      3025 |    3723    26673   235186 |     8891     3025    547 | 33.506 % |
14.29/14.38	c ===============================================================================
14.29/14.38	c New solution: 86467
14.29/14.38	o 86467
14.29/14.38	c Elapsed CPU time: 14.2258 s	Remaining CPU time: 165.774 s
14.29/14.38	c ===============================================================================
14.29/14.38	c |      3047 |    3723    26674   237172 |     8891     3047    548 | 33.506 % |
14.38/14.49	c ===============================================================================
14.38/14.49	c New solution: 86466
14.38/14.49	o 86466
14.38/14.49	c Elapsed CPU time: 14.3348 s	Remaining CPU time: 165.665 s
14.38/14.49	c ===============================================================================
14.38/14.49	c |      3052 |    3723    26675   239158 |     8891     3052    548 | 33.506 % |
14.48/14.56	c ===============================================================================
14.48/14.56	c New solution: 86465
14.48/14.56	o 86465
14.48/14.56	c Elapsed CPU time: 14.4058 s	Remaining CPU time: 165.594 s
14.48/14.56	c ===============================================================================
14.48/14.56	c |      3054 |    3723    26676   241144 |     8892     3054    547 | 33.506 % |
14.58/14.65	c ===============================================================================
14.58/14.65	c New solution: 85002
14.58/14.65	o 85002
14.58/14.65	c Elapsed CPU time: 14.4908 s	Remaining CPU time: 165.509 s
14.58/14.65	c ===============================================================================
14.58/14.65	c |      3057 |    3723    26677   243130 |     8892     3057    547 | 33.506 % |
14.68/14.76	c ===============================================================================
14.68/14.76	c New solution: 84989
14.68/14.76	o 84989
14.68/14.76	c Elapsed CPU time: 14.5978 s	Remaining CPU time: 165.402 s
14.68/14.76	c ===============================================================================
14.68/14.76	c |      3066 |    3723    26678   245116 |     8892     3066    547 | 33.506 % |
14.79/14.85	c ===============================================================================
14.79/14.85	c New solution: 84963
14.79/14.85	o 84963
14.79/14.85	c Elapsed CPU time: 14.6868 s	Remaining CPU time: 165.313 s
14.79/14.85	c ===============================================================================
14.79/14.85	c |      3068 |    3723    26679   247102 |     8893     3068    547 | 33.506 % |
14.89/15.00	c ===============================================================================
14.89/15.00	c New solution: 84962
14.89/15.00	o 84962
14.89/15.00	c Elapsed CPU time: 14.8337 s	Remaining CPU time: 165.166 s
14.89/15.00	c ===============================================================================
14.89/15.00	c |      3071 |    3723    26680   249088 |     8893     3071    547 | 33.506 % |
14.99/15.08	c ===============================================================================
14.99/15.08	c New solution: 84953
14.99/15.08	o 84953
14.99/15.08	c Elapsed CPU time: 14.9157 s	Remaining CPU time: 165.084 s
14.99/15.08	c ===============================================================================
14.99/15.08	c |      3071 |    3723    26681   251074 |     8893     3071    547 | 33.506 % |
15.09/15.16	c ===============================================================================
15.09/15.16	c New solution: 84952
15.09/15.16	o 84952
15.09/15.16	c Elapsed CPU time: 14.9957 s	Remaining CPU time: 165.004 s
15.09/15.16	c ===============================================================================
15.09/15.16	c |      3071 |    3723    26682   253060 |     8894     3071    547 | 33.506 % |
15.58/15.63	c ===============================================================================
15.58/15.63	c New solution: 84951
15.58/15.63	o 84951
15.58/15.63	c Elapsed CPU time: 15.4666 s	Remaining CPU time: 164.533 s
15.58/15.63	c ===============================================================================
15.58/15.63	c |      3168 |    3723    26683   255046 |     8894     3168    550 | 33.506 % |
15.68/15.77	c ===============================================================================
15.68/15.77	c New solution: 84950
15.68/15.77	o 84950
15.68/15.77	c Elapsed CPU time: 15.5996 s	Remaining CPU time: 164.4 s
15.68/15.77	c ===============================================================================
15.68/15.77	c |      3172 |    3723    26684   257032 |     8894     3172    550 | 33.506 % |
16.28/16.32	c |      3272 |    3723    26684   257032 |     9784     3272    553 | 33.506 % |
16.39/16.40	c ===============================================================================
16.39/16.40	c New solution: 84949
16.39/16.40	o 84949
16.39/16.40	c Elapsed CPU time: 16.2345 s	Remaining CPU time: 163.765 s
16.39/16.40	c ===============================================================================
16.39/16.40	c |      3274 |    3723    26685   259018 |     8895     3274    553 | 33.506 % |
16.50/16.53	c ===============================================================================
16.50/16.53	c New solution: 84948
16.50/16.53	o 84948
16.50/16.53	c Elapsed CPU time: 16.3545 s	Remaining CPU time: 163.645 s
16.50/16.53	c ===============================================================================
16.50/16.53	c |      3277 |    3723    26686   261004 |     8895     3277    553 | 33.506 % |
16.59/16.68	c ===============================================================================
16.59/16.68	c New solution: 84947
16.59/16.68	o 84947
16.59/16.68	c Elapsed CPU time: 16.5135 s	Remaining CPU time: 163.487 s
16.59/16.68	c ===============================================================================
16.59/16.68	c |      3282 |    3723    26687   262990 |     8895     3282    553 | 33.506 % |
16.69/16.76	c ===============================================================================
16.69/16.76	c New solution: 84946
16.69/16.77	o 84946
16.69/16.77	c Elapsed CPU time: 16.5925 s	Remaining CPU time: 163.408 s
16.69/16.77	c ===============================================================================
16.69/16.77	c |      3285 |    3723    26688   264976 |     8896     3285    553 | 33.506 % |
16.99/17.00	c ===============================================================================
16.99/17.00	c New solution: 84945
16.99/17.00	o 84945
16.99/17.00	c Elapsed CPU time: 16.8304 s	Remaining CPU time: 163.17 s
16.99/17.00	c ===============================================================================
16.99/17.00	c |      3325 |    3723    26689   266962 |     8896     3325    555 | 33.506 % |
17.29/17.38	c ===============================================================================
17.29/17.38	c New solution: 84944
17.29/17.38	o 84944
17.29/17.38	c Elapsed CPU time: 17.2024 s	Remaining CPU time: 162.798 s
17.29/17.38	c ===============================================================================
17.29/17.38	c |      3394 |    3723    26690   268948 |     8896     3394    556 | 33.506 % |
17.99/18.03	c |      3494 |    3723    26690   268948 |     9786     3494    559 | 33.506 % |
18.09/18.19	c ===============================================================================
18.09/18.19	c New solution: 84943
18.09/18.19	o 84943
18.09/18.19	c Elapsed CPU time: 18.0143 s	Remaining CPU time: 161.986 s
18.09/18.19	c ===============================================================================
18.09/18.19	c |      3495 |    3723    26691   270934 |     8897     3495    559 | 33.506 % |
18.29/18.30	c ===============================================================================
18.29/18.30	c New solution: 84942
18.29/18.30	o 84942
18.29/18.30	c Elapsed CPU time: 18.1242 s	Remaining CPU time: 161.876 s
18.29/18.30	c ===============================================================================
18.29/18.30	c |      3503 |    3723    26692   272920 |     8897     3503    559 | 33.506 % |
18.79/18.84	c |      3603 |    3723    26692   272920 |     9787     3603    561 | 33.506 % |
18.88/18.99	c ===============================================================================
18.88/18.99	c New solution: 84941
18.88/18.99	o 84941
18.88/18.99	c Elapsed CPU time: 18.8131 s	Remaining CPU time: 161.187 s
18.88/18.99	c ===============================================================================
18.88/18.99	c |      3608 |    3723    26693   274906 |     8897     3608    561 | 33.506 % |
19.48/19.51	c |      3709 |    3723    26693   274906 |     9787     3709    564 | 33.506 % |
19.48/19.59	c ===============================================================================
19.48/19.59	c New solution: 84940
19.48/19.59	o 84940
19.48/19.59	c Elapsed CPU time: 19.413 s	Remaining CPU time: 160.587 s
19.48/19.59	c ===============================================================================
19.48/19.59	c |      3710 |    3723    26694   276892 |     8898     3710    564 | 33.506 % |
20.09/20.14	c |      3811 |    3723    26694   276892 |     9787     3811    566 | 33.506 % |
21.09/21.11	c |      3963 |    3723    26694   276892 |    10766     3963    570 | 33.506 % |
21.19/21.21	c ===============================================================================
21.19/21.21	c New solution: 84939
21.19/21.21	o 84939
21.19/21.21	c Elapsed CPU time: 21.0288 s	Remaining CPU time: 158.971 s
21.19/21.21	c ===============================================================================
21.19/21.21	c |      3967 |    3723    26695   278878 |     8898     3967    570 | 33.506 % |
21.29/21.30	c ===============================================================================
21.29/21.30	c New solution: 84938
21.29/21.30	o 84938
21.29/21.30	c Elapsed CPU time: 21.1148 s	Remaining CPU time: 158.885 s
21.29/21.30	c ===============================================================================
21.29/21.30	c |      3969 |    3723    26696   280864 |     8898     3969    570 | 33.506 % |
21.39/21.44	c ===============================================================================
21.39/21.44	c New solution: 84937
21.39/21.44	o 84937
21.39/21.44	c Elapsed CPU time: 21.2538 s	Remaining CPU time: 158.746 s
21.39/21.44	c ===============================================================================
21.39/21.44	c |      3971 |    3723    26697   282850 |     8899     3971    570 | 33.506 % |
21.49/21.54	c ===============================================================================
21.49/21.54	c New solution: 84936
21.49/21.54	o 84936
21.49/21.54	c Elapsed CPU time: 21.3588 s	Remaining CPU time: 158.641 s
21.49/21.54	c ===============================================================================
21.49/21.54	c |      3981 |    3723    26698   284836 |     8899     3981    570 | 33.506 % |
21.59/21.66	c ===============================================================================
21.59/21.66	c New solution: 84935
21.59/21.66	o 84935
21.59/21.66	c Elapsed CPU time: 21.4777 s	Remaining CPU time: 158.522 s
21.59/21.66	c ===============================================================================
21.59/21.66	c |      3988 |    3723    26699   286822 |     8899     3988    570 | 33.506 % |
22.08/22.14	c |      4088 |    3723    26699   286822 |     9789     4088    572 | 33.506 % |
22.78/22.84	c |      4238 |    3723    26699   286822 |    10768     4238    575 | 33.506 % |
22.88/22.97	c ===============================================================================
22.88/22.97	c New solution: 84934
22.88/22.97	o 84934
22.88/22.97	c Elapsed CPU time: 22.7825 s	Remaining CPU time: 157.217 s
22.88/22.97	c ===============================================================================
22.88/22.97	c |      4249 |    3723    26700   288808 |     8900     4249    575 | 33.506 % |
23.19/23.20	c ===============================================================================
23.19/23.20	c New solution: 84933
23.19/23.20	o 84933
23.19/23.20	c Elapsed CPU time: 23.0065 s	Remaining CPU time: 156.993 s
23.19/23.20	c ===============================================================================
23.19/23.20	c |      4277 |    3723    26701   290794 |     8900     4277    576 | 33.506 % |
23.29/23.33	c ===============================================================================
23.29/23.33	c New solution: 84932
23.29/23.33	o 84932
23.29/23.33	c Elapsed CPU time: 23.1345 s	Remaining CPU time: 156.866 s
23.29/23.33	c ===============================================================================
23.29/23.33	c |      4297 |    3723    26702   292780 |     8900     4297    576 | 33.506 % |
23.89/23.98	c |      4398 |    3723    26702   292780 |     9790     4398    577 | 33.506 % |
24.29/24.33	c ===============================================================================
24.29/24.33	c New solution: 84931
24.29/24.33	o 84931
24.29/24.33	c Elapsed CPU time: 24.1363 s	Remaining CPU time: 155.864 s
24.29/24.33	c ===============================================================================
24.29/24.33	c |      4451 |    3723    26703   294766 |     8901     4451    578 | 33.506 % |
24.38/24.43	c ===============================================================================
24.38/24.43	c New solution: 84930
24.38/24.43	o 84930
24.38/24.43	c Elapsed CPU time: 24.2283 s	Remaining CPU time: 155.772 s
24.38/24.43	c ===============================================================================
24.38/24.43	c |      4457 |    3723    26704   296752 |     8901     4457    578 | 33.506 % |
24.88/24.91	c |      4559 |    3723    26704   296752 |     9791     4559    579 | 33.506 % |
24.98/25.01	c ===============================================================================
24.98/25.01	c New solution: 84927
24.98/25.01	o 84927
24.98/25.01	c Elapsed CPU time: 24.8112 s	Remaining CPU time: 155.189 s
24.98/25.01	c ===============================================================================
24.98/25.01	c |      4559 |    3723    26705   298738 |     8901     4559    579 | 33.506 % |
25.08/25.15	c ===============================================================================
25.08/25.15	c New solution: 84926
25.08/25.15	o 84926
25.08/25.15	c Elapsed CPU time: 24.9492 s	Remaining CPU time: 155.051 s
25.08/25.15	c ===============================================================================
25.08/25.15	c |      4562 |    3723    26706   300724 |     8902     4562    579 | 33.506 % |
25.19/25.30	c ===============================================================================
25.19/25.30	c New solution: 84925
25.19/25.30	o 84925
25.19/25.30	c Elapsed CPU time: 25.0962 s	Remaining CPU time: 154.904 s
25.19/25.30	c ===============================================================================
25.19/25.30	c |      4574 |    3723    26707   302710 |     8902     4574    579 | 33.506 % |
25.38/25.41	c ===============================================================================
25.38/25.41	c New solution: 84924
25.38/25.41	o 84924
25.38/25.41	c Elapsed CPU time: 25.2112 s	Remaining CPU time: 154.789 s
25.38/25.41	c ===============================================================================
25.38/25.41	c |      4584 |    3723    26708   304696 |     8902     4584    579 | 33.506 % |
25.88/25.93	c |      4684 |    3723    26708   304696 |     9792     4684    581 | 33.506 % |
26.48/26.52	c |      4834 |    3723    26708   304696 |    10772     4834    583 | 33.506 % |
27.18/27.29	c ===============================================================================
27.18/27.29	c New solution: 84923
27.18/27.29	o 84923
27.18/27.29	c Elapsed CPU time: 27.0889 s	Remaining CPU time: 152.911 s
27.18/27.29	c ===============================================================================
27.18/27.29	c |      4942 |    3723    26709   306682 |     8903     4942    584 | 33.506 % |
27.69/27.75	c ===============================================================================
27.69/27.75	c New solution: 84922
27.69/27.75	o 84922
27.69/27.75	c Elapsed CPU time: 27.5438 s	Remaining CPU time: 152.456 s
27.69/27.75	c ===============================================================================
27.69/27.75	c |      5015 |    3723    26710   308668 |     8903     5015    585 | 33.506 % |
28.29/28.39	c ===============================================================================
28.29/28.39	c New solution: 83457
28.29/28.39	o 83457
28.29/28.39	c Elapsed CPU time: 28.1827 s	Remaining CPU time: 151.817 s
28.29/28.39	c ===============================================================================
28.29/28.39	c |      5077 |    3723    26711   310654 |     8903     5077    585 | 33.506 % |
28.49/28.57	c ===============================================================================
28.49/28.57	c New solution: 83413
28.49/28.57	o 83413
28.49/28.57	c Elapsed CPU time: 28.3677 s	Remaining CPU time: 151.632 s
28.49/28.57	c ===============================================================================
28.49/28.57	c |      5077 |    3723    26712   312640 |     8904     5077    585 | 33.506 % |
28.68/28.76	c ===============================================================================
28.68/28.76	c New solution: 83412
28.68/28.76	o 83412
28.68/28.76	c Elapsed CPU time: 28.5537 s	Remaining CPU time: 151.446 s
28.68/28.76	c ===============================================================================
28.68/28.76	c |      5077 |    3723    26713   314626 |     8904     5077    585 | 33.506 % |
28.88/28.96	c ===============================================================================
28.88/28.96	c New solution: 83411
28.88/28.96	o 83411
28.88/28.96	c Elapsed CPU time: 28.7486 s	Remaining CPU time: 151.251 s
28.88/28.96	c ===============================================================================
28.88/28.96	c |      5081 |    3723    26714   316612 |     8904     5081    585 | 33.506 % |
29.18/29.21	c ===============================================================================
29.18/29.21	c New solution: 83410
29.18/29.21	o 83410
29.18/29.21	c Elapsed CPU time: 29.0046 s	Remaining CPU time: 150.995 s
29.18/29.21	c ===============================================================================
29.18/29.21	c |      5096 |    3723    26715   318598 |     8905     5096    585 | 33.506 % |
29.28/29.34	c ===============================================================================
29.28/29.34	c New solution: 83409
29.28/29.34	o 83409
29.28/29.34	c Elapsed CPU time: 29.1296 s	Remaining CPU time: 150.87 s
29.28/29.34	c ===============================================================================
29.28/29.34	c |      5111 |    3723    26716   320584 |     8905     5111    584 | 33.506 % |
29.98/30.06	c |      5212 |    3723    26716   320584 |     9795     5212    586 | 33.506 % |
30.09/30.18	c ===============================================================================
30.09/30.18	c New solution: 83408
30.09/30.18	o 83408
30.09/30.18	c Elapsed CPU time: 29.9624 s	Remaining CPU time: 150.038 s
30.09/30.18	c ===============================================================================
30.09/30.18	c |      5212 |    3723    26717   322570 |     8905     5212    586 | 33.506 % |
30.69/30.74	c |      5313 |    3723    26717   322570 |     9796     5313    587 | 33.506 % |
30.79/30.83	c ===============================================================================
30.79/30.83	c New solution: 83402
30.79/30.83	o 83402
30.79/30.83	c Elapsed CPU time: 30.6143 s	Remaining CPU time: 149.386 s
30.79/30.83	c ===============================================================================
30.79/30.83	c |      5314 |    3723    26718   324556 |     8906     5314    587 | 33.506 % |
31.28/31.32	c |      5414 |    3723    26718   324556 |     9796     5414    588 | 33.506 % |
31.89/31.93	c ===============================================================================
31.89/31.93	c New solution: 83401
31.89/31.93	o 83401
31.89/31.93	c Elapsed CPU time: 31.7042 s	Remaining CPU time: 148.296 s
31.89/31.93	c ===============================================================================
31.89/31.93	c |      5472 |    3723    26719   326542 |     8906     5472    588 | 33.506 % |
31.98/32.06	c ===============================================================================
31.98/32.06	c New solution: 83400
31.98/32.06	o 83400
31.98/32.06	c Elapsed CPU time: 31.8362 s	Remaining CPU time: 148.164 s
31.98/32.06	c ===============================================================================
31.98/32.06	c |      5472 |    3723    26720   328528 |     8906     5472    588 | 33.506 % |
32.08/32.19	c ===============================================================================
32.08/32.19	c New solution: 83399
32.08/32.19	o 83399
32.08/32.19	c Elapsed CPU time: 31.9701 s	Remaining CPU time: 148.03 s
32.08/32.19	c ===============================================================================
32.08/32.19	c |      5472 |    3723    26721   330514 |     8907     5472    588 | 33.506 % |
32.28/32.32	c ===============================================================================
32.28/32.32	c New solution: 83398
32.28/32.32	o 83398
32.28/32.32	c Elapsed CPU time: 32.1021 s	Remaining CPU time: 147.898 s
32.28/32.32	c ===============================================================================
32.28/32.32	c |      5472 |    3723    26722   332500 |     8907     5472    588 | 33.506 % |
32.48/32.53	c ===============================================================================
32.48/32.53	c New solution: 83397
32.48/32.53	o 83397
32.48/32.53	c Elapsed CPU time: 32.3041 s	Remaining CPU time: 147.696 s
32.48/32.53	c ===============================================================================
32.48/32.53	c |      5481 |    3723    26723   334486 |     8907     5481    588 | 33.506 % |
32.99/33.05	c |      5582 |    3723    26723   334486 |     9798     5582    589 | 33.506 % |
33.89/33.96	c |      5732 |    3723    26723   334486 |    10778     5732    591 | 33.506 % |
34.09/34.11	c ===============================================================================
34.09/34.11	c New solution: 83396
34.09/34.11	o 83396
34.09/34.11	c Elapsed CPU time: 33.8808 s	Remaining CPU time: 146.119 s
34.09/34.11	c ===============================================================================
34.09/34.11	c |      5734 |    3723    26724   336472 |     8908     5734    591 | 33.506 % |
34.58/34.66	c |      5834 |    3723    26724   336472 |     9798     5834    592 | 33.506 % |
34.88/34.91	c ===============================================================================
34.88/34.91	c New solution: 83395
34.88/34.91	o 83395
34.88/34.91	c Elapsed CPU time: 34.6827 s	Remaining CPU time: 145.317 s
34.88/34.91	c ===============================================================================
34.88/34.91	c |      5860 |    3723    26725   338458 |     8908     5860    592 | 33.506 % |
34.98/35.02	c ===============================================================================
34.98/35.02	c New solution: 83394
34.98/35.02	o 83394
34.98/35.02	c Elapsed CPU time: 34.7907 s	Remaining CPU time: 145.209 s
34.98/35.02	c ===============================================================================
34.98/35.02	c |      5860 |    3723    26726   340444 |     8908     5860    592 | 33.506 % |
35.09/35.13	c ===============================================================================
35.09/35.13	c New solution: 83393
35.09/35.13	o 83393
35.09/35.13	c Elapsed CPU time: 34.9007 s	Remaining CPU time: 145.099 s
35.09/35.13	c ===============================================================================
35.09/35.13	c |      5860 |    3723    26727   342430 |     8909     5860    592 | 33.506 % |
35.19/35.24	c ===============================================================================
35.19/35.24	c New solution: 83392
35.19/35.24	o 83392
35.19/35.24	c Elapsed CPU time: 35.0067 s	Remaining CPU time: 144.993 s
35.19/35.24	c ===============================================================================
35.19/35.24	c |      5860 |    3723    26728   344416 |     8909     5860    592 | 33.506 % |
35.28/35.34	c ===============================================================================
35.28/35.34	c New solution: 83391
35.28/35.34	o 83391
35.28/35.34	c Elapsed CPU time: 35.1127 s	Remaining CPU time: 144.887 s
35.28/35.34	c ===============================================================================
35.28/35.34	c |      5862 |    3723    26729   346402 |     8909     5862    592 | 33.506 % |
35.68/35.78	c ===============================================================================
35.68/35.78	c New solution: 83390
35.68/35.78	o 83390
35.68/35.78	c Elapsed CPU time: 35.5486 s	Remaining CPU time: 144.451 s
35.68/35.78	c ===============================================================================
35.68/35.78	c |      5916 |    3723    26730   348388 |     8910     5916    592 | 33.506 % |
35.88/35.95	c ===============================================================================
35.88/35.95	c New solution: 83389
35.88/35.95	o 83389
35.88/35.95	c Elapsed CPU time: 35.7206 s	Remaining CPU time: 144.279 s
35.88/35.95	c ===============================================================================
35.88/35.95	c |      5930 |    3723    26731   350374 |     8910     5930    592 | 33.506 % |
36.08/36.20	c ===============================================================================
36.08/36.20	c New solution: 83388
36.08/36.20	o 83388
36.08/36.20	c Elapsed CPU time: 35.9635 s	Remaining CPU time: 144.036 s
36.08/36.20	c ===============================================================================
36.08/36.20	c |      5954 |    3723    26732   352360 |     8910     5954    592 | 33.506 % |
36.98/37.04	c |      6054 |    3723    26732   352360 |     9801     6054    593 | 33.506 % |
37.78/37.88	c |      6204 |    3723    26732   352360 |    10781     6204    594 | 33.506 % |
37.98/38.05	c ===============================================================================
37.98/38.05	c New solution: 83387
37.98/38.05	o 83387
37.98/38.05	c Elapsed CPU time: 37.8123 s	Remaining CPU time: 142.188 s
37.98/38.05	c ===============================================================================
37.98/38.05	c |      6210 |    3723    26733   354346 |     8911     6210    594 | 33.506 % |
38.18/38.20	c ===============================================================================
38.18/38.20	c New solution: 81923
38.18/38.20	o 81923
38.18/38.20	c Elapsed CPU time: 37.9582 s	Remaining CPU time: 142.042 s
38.18/38.20	c ===============================================================================
38.18/38.20	c |      6222 |    3723    26734   356332 |     8911     6222    594 | 33.506 % |
38.28/38.34	c ===============================================================================
38.28/38.34	c New solution: 81878
38.28/38.34	o 81878
38.28/38.34	c Elapsed CPU time: 38.1022 s	Remaining CPU time: 141.898 s
38.28/38.34	c ===============================================================================
38.28/38.34	c |      6229 |    3723    26735   358318 |     8911     6229    594 | 33.506 % |
38.98/39.00	c |      6330 |    3723    26735   358318 |     9802     6330    595 | 33.506 % |
39.08/39.14	c ===============================================================================
39.08/39.14	c New solution: 81877
39.08/39.14	o 81877
39.08/39.14	c Elapsed CPU time: 38.8961 s	Remaining CPU time: 141.104 s
39.08/39.14	c ===============================================================================
39.08/39.14	c |      6340 |    3723    26736   360304 |     8912     6340    595 | 33.506 % |
39.19/39.26	c ===============================================================================
39.19/39.26	c New solution: 81876
39.19/39.26	o 81876
39.19/39.26	c Elapsed CPU time: 39.0141 s	Remaining CPU time: 140.986 s
39.19/39.26	c ===============================================================================
39.19/39.26	c |      6341 |    3723    26737   362290 |     8912     6341    595 | 33.506 % |
39.49/39.50	c ===============================================================================
39.49/39.50	c New solution: 81872
39.49/39.50	o 81872
39.49/39.50	c Elapsed CPU time: 39.253 s	Remaining CPU time: 140.747 s
39.49/39.50	c ===============================================================================
39.49/39.50	c |      6344 |    3723    26738   364276 |     8912     6344    595 | 33.506 % |
39.68/39.73	c ===============================================================================
39.68/39.73	c New solution: 81871
39.68/39.73	o 81871
39.68/39.73	c Elapsed CPU time: 39.48 s	Remaining CPU time: 140.52 s
39.68/39.73	c ===============================================================================
39.68/39.73	c |      6345 |    3723    26739   366262 |     8913     6345    594 | 33.506 % |
39.88/39.96	c ===============================================================================
39.88/39.96	c New solution: 81870
39.88/39.96	o 81870
39.88/39.96	c Elapsed CPU time: 39.706 s	Remaining CPU time: 140.294 s
39.88/39.96	c ===============================================================================
39.88/39.96	c |      6346 |    3723    26740   368248 |     8913     6346    594 | 33.506 % |
40.38/40.40	c ===============================================================================
40.38/40.40	c New solution: 81869
40.38/40.40	o 81869
40.38/40.40	c Elapsed CPU time: 40.1429 s	Remaining CPU time: 139.857 s
40.38/40.40	c ===============================================================================
40.38/40.40	c |      6411 |    3723    26741   370234 |     8913     6411    595 | 33.506 % |
40.98/41.08	c |      6511 |    3723    26741   370234 |     9805     6511    596 | 33.506 % |
41.18/41.27	c ===============================================================================
41.18/41.27	c New solution: 81868
41.18/41.27	o 81868
41.18/41.27	c Elapsed CPU time: 41.0118 s	Remaining CPU time: 138.988 s
41.18/41.27	c ===============================================================================
41.18/41.27	c |      6523 |    3723    26742   372220 |     8914     6523    596 | 33.506 % |
41.88/41.93	c |      6625 |    3723    26742   372220 |     9805     6625    596 | 33.506 % |
42.08/42.19	c ===============================================================================
42.08/42.19	c New solution: 81867
42.08/42.19	o 81867
42.08/42.19	c Elapsed CPU time: 41.9306 s	Remaining CPU time: 138.069 s
42.08/42.19	c ===============================================================================
42.08/42.19	c |      6646 |    3723    26743   374206 |     8914     6646    596 | 33.506 % |
42.79/42.86	c |      6746 |    3723    26743   374206 |     9805     6746    597 | 33.506 % |
43.38/43.49	c ===============================================================================
43.38/43.49	c New solution: 80408
43.38/43.49	o 80408
43.38/43.49	c Elapsed CPU time: 43.2274 s	Remaining CPU time: 136.773 s
43.38/43.49	c ===============================================================================
43.38/43.49	c |      6807 |    3723    26744   376192 |     8914     6807    598 | 33.506 % |
43.68/43.79	c ===============================================================================
43.68/43.79	c New solution: 80355
43.68/43.79	o 80355
43.68/43.79	c Elapsed CPU time: 43.5184 s	Remaining CPU time: 136.482 s
43.68/43.79	c ===============================================================================
43.68/43.79	c |      6813 |    3723    26745   378178 |     8915     6813    597 | 33.506 % |
43.98/44.01	c ===============================================================================
43.98/44.01	c New solution: 80348
43.98/44.01	o 80348
43.98/44.01	c Elapsed CPU time: 43.7453 s	Remaining CPU time: 136.255 s
43.98/44.01	c ===============================================================================
43.98/44.01	c |      6815 |    3723    26746   380164 |     8915     6815    597 | 33.506 % |
44.18/44.28	c ===============================================================================
44.18/44.28	c New solution: 80347
44.18/44.28	o 80347
44.18/44.28	c Elapsed CPU time: 44.0103 s	Remaining CPU time: 135.99 s
44.18/44.28	c ===============================================================================
44.18/44.28	c |      6817 |    3723    26747   382150 |     8915     6817    597 | 33.506 % |
44.48/44.51	c ===============================================================================
44.48/44.51	c New solution: 80346
44.48/44.51	o 80346
44.48/44.51	c Elapsed CPU time: 44.2413 s	Remaining CPU time: 135.759 s
44.48/44.51	c ===============================================================================
44.48/44.51	c |      6819 |    3723    26748   384136 |     8916     6819    597 | 33.506 % |
44.68/44.76	c ===============================================================================
44.68/44.76	c New solution: 80345
44.68/44.76	o 80345
44.68/44.76	c Elapsed CPU time: 44.4922 s	Remaining CPU time: 135.508 s
44.68/44.76	c ===============================================================================
44.68/44.76	c |      6822 |    3723    26749   386122 |     8916     6822    597 | 33.506 % |
44.99/45.02	c ===============================================================================
44.99/45.02	c New solution: 80344
44.99/45.02	o 80344
44.99/45.02	c Elapsed CPU time: 44.7462 s	Remaining CPU time: 135.254 s
44.99/45.02	c ===============================================================================
44.99/45.02	c |      6826 |    3723    26750   388108 |     8916     6826    597 | 33.506 % |
45.09/45.19	c ===============================================================================
45.09/45.19	c New solution: 80343
45.09/45.19	o 80343
45.09/45.19	c Elapsed CPU time: 44.9222 s	Remaining CPU time: 135.078 s
45.09/45.19	c ===============================================================================
45.09/45.19	c |      6836 |    3723    26751   390094 |     8917     6836    597 | 33.506 % |
45.38/45.44	c ===============================================================================
45.38/45.44	c New solution: 80342
45.38/45.44	o 80342
45.38/45.44	c Elapsed CPU time: 45.1701 s	Remaining CPU time: 134.83 s
45.38/45.44	c ===============================================================================
45.38/45.44	c |      6838 |    3723    26752   392080 |     8917     6838    597 | 33.506 % |
45.68/45.74	c ===============================================================================
45.68/45.74	c New solution: 80341
45.68/45.74	o 80341
45.68/45.74	c Elapsed CPU time: 45.4631 s	Remaining CPU time: 134.537 s
45.68/45.74	c ===============================================================================
45.68/45.74	c |      6842 |    3723    26753   394066 |     8917     6842    597 | 33.506 % |
45.78/45.82	c ===============================================================================
45.78/45.82	c New solution: 80340
45.78/45.82	o 80340
45.78/45.82	c Elapsed CPU time: 45.5501 s	Remaining CPU time: 134.45 s
45.78/45.82	c ===============================================================================
45.78/45.82	c |      6846 |    3723    26754   396052 |     8918     6846    597 | 33.506 % |
45.88/45.93	c ===============================================================================
45.88/45.93	c New solution: 80339
45.88/45.93	o 80339
45.88/45.93	c Elapsed CPU time: 45.6551 s	Remaining CPU time: 134.345 s
45.88/45.93	c ===============================================================================
45.88/45.93	c |      6847 |    3723    26755   398038 |     8918     6847    597 | 33.506 % |
46.67/46.78	c |      6947 |    3723    26755   398038 |     9810     6947    598 | 33.506 % |
46.97/47.05	c ===============================================================================
46.97/47.05	c New solution: 80338
46.97/47.05	o 80338
46.97/47.05	c Elapsed CPU time: 46.7749 s	Remaining CPU time: 133.225 s
46.97/47.05	c ===============================================================================
46.97/47.05	c |      6951 |    3723    26756   400024 |     8918     6951    598 | 33.506 % |
47.07/47.17	c ===============================================================================
47.07/47.17	c New solution: 80337
47.07/47.17	o 80337
47.07/47.17	c Elapsed CPU time: 46.8899 s	Remaining CPU time: 133.11 s
47.07/47.17	c ===============================================================================
47.07/47.17	c |      6954 |    3723    26757   402010 |     8919     6954    598 | 33.506 % |
47.29/47.32	c ===============================================================================
47.29/47.32	c New solution: 80336
47.29/47.32	o 80336
47.29/47.32	c Elapsed CPU time: 47.0368 s	Remaining CPU time: 132.963 s
47.29/47.32	c ===============================================================================
47.29/47.32	c |      6956 |    3723    26758   403996 |     8919     6956    598 | 33.506 % |
48.08/48.14	c |      7057 |    3723    26758   403996 |     9811     7057    598 | 33.506 % |
48.18/48.30	c ===============================================================================
48.18/48.30	c New solution: 80335
48.18/48.30	o 80335
48.18/48.30	c Elapsed CPU time: 48.0157 s	Remaining CPU time: 131.984 s
48.18/48.30	c ===============================================================================
48.18/48.30	c |      7060 |    3723    26759   405982 |     8919     7060    598 | 33.506 % |
48.98/49.08	c |      7160 |    3723    26759   405982 |     9811     7160    599 | 33.506 % |
49.58/49.68	c ===============================================================================
49.58/49.68	c New solution: 80334
49.58/49.68	o 80334
49.58/49.68	c Elapsed CPU time: 49.3915 s	Remaining CPU time: 130.609 s
49.58/49.68	c ===============================================================================
49.58/49.68	c |      7195 |    3723    26760   407968 |     8920     7195    599 | 33.506 % |
49.78/49.84	c ===============================================================================
49.78/49.84	c New solution: 80333
49.78/49.84	o 80333
49.78/49.84	c Elapsed CPU time: 49.5505 s	Remaining CPU time: 130.45 s
49.78/49.84	c ===============================================================================
49.78/49.84	c |      7201 |    3723    26761   409954 |     8920     7201    599 | 33.506 % |
50.97/51.01	c |      7302 |    3723    26761   409954 |     9812     7302    600 | 33.506 % |
51.07/51.16	c ===============================================================================
51.07/51.16	c New solution: 80332
51.07/51.16	o 80332
51.07/51.16	c Elapsed CPU time: 50.8723 s	Remaining CPU time: 129.128 s
51.07/51.16	c ===============================================================================
51.07/51.16	c |      7304 |    3723    26762   411940 |     8920     7304    600 | 33.506 % |
51.18/51.28	c ===============================================================================
51.18/51.28	c New solution: 80331
51.18/51.28	o 80331
51.18/51.28	c Elapsed CPU time: 50.9942 s	Remaining CPU time: 129.006 s
51.18/51.28	c ===============================================================================
51.18/51.28	c |      7305 |    3723    26763   413926 |     8921     7305    600 | 33.506 % |
51.69/51.75	c ===============================================================================
51.69/51.75	c New solution: 80330
51.69/51.75	o 80330
51.69/51.75	c Elapsed CPU time: 51.4552 s	Remaining CPU time: 128.545 s
51.69/51.75	c ===============================================================================
51.69/51.75	c |      7356 |    3723    26764   415912 |     8921     7356    600 | 33.506 % |
52.58/52.61	c |      7456 |    3723    26764   415912 |     9813     7456    601 | 33.506 % |
52.69/52.75	c ===============================================================================
52.69/52.75	c New solution: 80329
52.69/52.75	o 80329
52.69/52.75	c Elapsed CPU time: 52.463 s	Remaining CPU time: 127.537 s
52.69/52.75	c ===============================================================================
52.69/52.75	c |      7456 |    3723    26765   417898 |     8921     7456    601 | 33.506 % |
52.79/52.89	c ===============================================================================
52.79/52.89	c New solution: 80328
52.79/52.89	o 80328
52.79/52.89	c Elapsed CPU time: 52.6 s	Remaining CPU time: 127.4 s
52.79/52.89	c ===============================================================================
52.79/52.89	c |      7456 |    3723    26766   419884 |     8922     7456    601 | 33.506 % |
52.98/53.03	c ===============================================================================
52.98/53.03	c New solution: 80327
52.98/53.03	o 80327
52.98/53.03	c Elapsed CPU time: 52.738 s	Remaining CPU time: 127.262 s
52.98/53.03	c ===============================================================================
52.98/53.03	c |      7456 |    3723    26767   421870 |     8922     7456    601 | 33.506 % |
53.08/53.18	c ===============================================================================
53.08/53.18	c New solution: 80326
53.08/53.18	o 80326
53.08/53.18	c Elapsed CPU time: 52.881 s	Remaining CPU time: 127.119 s
53.08/53.18	c ===============================================================================
53.08/53.18	c |      7457 |    3723    26768   423856 |     8922     7457    601 | 33.506 % |
53.88/53.92	c |      7557 |    3723    26768   423856 |     9814     7557    602 | 33.506 % |
54.07/54.19	c ===============================================================================
54.07/54.19	c New solution: 80325
54.07/54.19	o 80325
54.07/54.19	c Elapsed CPU time: 53.8928 s	Remaining CPU time: 126.107 s
54.07/54.19	c ===============================================================================
54.07/54.19	c |      7584 |    3723    26769   425842 |     8923     7584    602 | 33.506 % |
54.27/54.36	c ===============================================================================
54.27/54.36	c New solution: 78838
54.27/54.36	o 78838
54.27/54.36	c Elapsed CPU time: 54.0638 s	Remaining CPU time: 125.936 s
54.27/54.36	c ===============================================================================
54.27/54.36	c |      7597 |    3723    26770   427828 |     8923     7597    602 | 33.506 % |
54.98/55.04	c ===============================================================================
54.98/55.04	c New solution: 78837
54.98/55.04	o 78837
54.98/55.04	c Elapsed CPU time: 54.7397 s	Remaining CPU time: 125.26 s
54.98/55.04	c ===============================================================================
54.98/55.04	c |      7602 |    3723    26771   429814 |     8923     7602    601 | 33.506 % |
55.28/55.32	c ===============================================================================
55.28/55.32	c New solution: 78836
55.28/55.32	o 78836
55.28/55.32	c Elapsed CPU time: 55.0146 s	Remaining CPU time: 124.985 s
55.28/55.32	c ===============================================================================
55.28/55.32	c |      7613 |    3723    26772   431800 |     8924     7613    601 | 33.506 % |
55.48/55.55	c ===============================================================================
55.48/55.55	c New solution: 78808
55.48/55.55	o 78808
55.48/55.55	c Elapsed CPU time: 55.2426 s	Remaining CPU time: 124.757 s
55.48/55.55	c ===============================================================================
55.48/55.55	c |      7613 |    3723    26773   433786 |     8924     7613    601 | 33.506 % |
55.68/55.75	c ===============================================================================
55.68/55.76	c New solution: 78806
55.68/55.76	o 78806
55.68/55.76	c Elapsed CPU time: 55.4526 s	Remaining CPU time: 124.547 s
55.68/55.76	c ===============================================================================
55.68/55.76	c |      7614 |    3723    26774   435772 |     8924     7614    601 | 33.506 % |
55.88/55.96	c ===============================================================================
55.88/55.96	c New solution: 78805
55.88/55.96	o 78805
55.88/55.96	c Elapsed CPU time: 55.6555 s	Remaining CPU time: 124.344 s
55.88/55.96	c ===============================================================================
55.88/55.96	c |      7615 |    3723    26775   437758 |     8925     7615    601 | 33.506 % |
56.78/56.86	c |      7715 |    3723    26775   437758 |     9817     7715    602 | 33.506 % |
56.98/57.01	c ===============================================================================
56.98/57.01	c New solution: 78800
56.98/57.01	o 78800
56.98/57.01	c Elapsed CPU time: 56.7094 s	Remaining CPU time: 123.291 s
56.98/57.01	c ===============================================================================
56.98/57.01	c |      7717 |    3723    26776   439744 |     8925     7717    602 | 33.506 % |
57.27/57.32	c ===============================================================================
57.27/57.32	c New solution: 77314
57.27/57.32	o 77314
57.27/57.32	c Elapsed CPU time: 57.0143 s	Remaining CPU time: 122.986 s
57.27/57.32	c ===============================================================================
57.27/57.32	c |      7734 |    3723    26777   441730 |     8925     7734    602 | 33.506 % |
57.37/57.49	c ===============================================================================
57.37/57.49	c New solution: 77269
57.37/57.49	o 77269
57.37/57.49	c Elapsed CPU time: 57.1783 s	Remaining CPU time: 122.822 s
57.37/57.49	c ===============================================================================
57.37/57.49	c |      7735 |    3723    26778   443716 |     8926     7735    602 | 33.506 % |
57.57/57.68	c ===============================================================================
57.57/57.68	c New solution: 77268
57.57/57.68	o 77268
57.57/57.68	c Elapsed CPU time: 57.3693 s	Remaining CPU time: 122.631 s
57.57/57.68	c ===============================================================================
57.57/57.68	c |      7743 |    3723    26779   445702 |     8926     7743    602 | 33.506 % |
58.47/58.58	c |      7844 |    3723    26779   445702 |     9818     7844    603 | 33.506 % |
59.78/59.81	c |      7995 |    3723    26779   445702 |    10800     7995    604 | 33.506 % |
60.28/60.35	c ===============================================================================
60.28/60.35	c New solution: 77267
60.28/60.35	o 77267
60.28/60.35	c Elapsed CPU time: 60.0339 s	Remaining CPU time: 119.966 s
60.28/60.35	c ===============================================================================
60.28/60.35	c |      8024 |    3723    26780   447688 |     8926     8024    604 | 33.506 % |
60.49/60.53	c |      8125 |    3723    26780   447688 |     9819     8125    603 | 33.506 % |
61.78/61.81	c |      8276 |    3723    26780   447688 |    10801     8276    604 | 33.506 % |
62.88/62.97	c ===============================================================================
62.88/62.97	c New solution: 77266
62.88/62.97	o 77266
62.88/62.97	c Elapsed CPU time: 62.6595 s	Remaining CPU time: 117.341 s
62.88/62.97	c ===============================================================================
62.88/62.97	c |      8416 |    3723    26781   449674 |     8927     8416    605 | 33.506 % |
63.18/63.29	c ===============================================================================
63.18/63.29	c New solution: 77265
63.18/63.29	o 77265
63.18/63.29	c Elapsed CPU time: 62.9754 s	Remaining CPU time: 117.025 s
63.18/63.29	c ===============================================================================
63.18/63.29	c |      8418 |    3723    26782   451660 |     8927     8418    605 | 33.506 % |
64.68/64.77	c |      8520 |    3723    26782   451660 |     9820     8520    605 | 33.506 % |
65.17/65.22	c ===============================================================================
65.17/65.22	c New solution: 77264
65.17/65.22	o 77264
65.17/65.22	c Elapsed CPU time: 64.8981 s	Remaining CPU time: 115.102 s
65.17/65.22	c ===============================================================================
65.17/65.22	c |      8556 |    3723    26783   453646 |     8927     8556    605 | 33.506 % |
65.27/65.37	c ===============================================================================
65.27/65.37	c New solution: 77263
65.27/65.37	o 77263
65.27/65.37	c Elapsed CPU time: 65.0531 s	Remaining CPU time: 114.947 s
65.27/65.37	c ===============================================================================
65.27/65.37	c |      8559 |    3723    26784   455632 |     8928     8559    605 | 33.506 % |
66.38/66.45	c |      8662 |    3723    26784   455632 |     9820     8662    606 | 33.506 % |
66.58/66.61	c ===============================================================================
66.58/66.61	c New solution: 77262
66.58/66.61	o 77262
66.58/66.61	c Elapsed CPU time: 66.2839 s	Remaining CPU time: 113.716 s
66.58/66.61	c ===============================================================================
66.58/66.61	c |      8664 |    3723    26785   457618 |     8928     8664    606 | 33.506 % |
66.78/66.89	c ===============================================================================
66.78/66.89	c New solution: 77261
66.78/66.89	o 77261
66.78/66.89	c Elapsed CPU time: 66.5689 s	Remaining CPU time: 113.431 s
66.78/66.89	c ===============================================================================
66.78/66.89	c |      8666 |    3723    26786   459604 |     8928     8666    606 | 33.506 % |
67.57/67.61	c |      8766 |    3723    26786   459604 |     9821     8766    606 | 33.506 % |
69.47/69.58	c |      8917 |    3723    26786   459604 |    10803     8917    607 | 33.506 % |
70.28/70.37	c ===============================================================================
70.28/70.37	c New solution: 77260
70.28/70.37	o 77260
70.28/70.37	c Elapsed CPU time: 70.0434 s	Remaining CPU time: 109.957 s
70.28/70.37	c ===============================================================================
70.28/70.37	c |      9014 |    3723    26787   461590 |     8929     9014    607 | 33.506 % |
71.58/71.64	c ===============================================================================
71.58/71.64	c New solution: 75810
71.58/71.64	o 75810
71.58/71.64	c Elapsed CPU time: 71.3082 s	Remaining CPU time: 108.692 s
71.58/71.64	c ===============================================================================
71.58/71.64	c |      9098 |    3723    26788   463576 |     8929     9098    607 | 33.506 % |
72.18/72.20	c ===============================================================================
72.18/72.20	c New solution: 75751
72.18/72.20	o 75751
72.18/72.20	c Elapsed CPU time: 71.8631 s	Remaining CPU time: 108.137 s
72.18/72.20	c ===============================================================================
72.18/72.20	c |      9101 |    3723    26789   465562 |     8929     9101    607 | 33.506 % |
72.48/72.51	c ===============================================================================
72.48/72.51	c New solution: 75747
72.48/72.51	o 75747
72.48/72.51	c Elapsed CPU time: 72.176 s	Remaining CPU time: 107.824 s
72.48/72.51	c ===============================================================================
72.48/72.51	c |      9101 |    3723    26790   467548 |     8930     9101    607 | 33.506 % |
72.77/72.82	c ===============================================================================
72.77/72.82	c New solution: 75743
72.77/72.82	o 75743
72.77/72.82	c Elapsed CPU time: 72.478 s	Remaining CPU time: 107.522 s
72.77/72.82	c ===============================================================================
72.77/72.82	c |      9101 |    3723    26791   469534 |     8930     9101    607 | 33.506 % |
73.07/73.13	c ===============================================================================
73.07/73.13	c New solution: 75742
73.07/73.13	o 75742
73.07/73.13	c Elapsed CPU time: 72.7869 s	Remaining CPU time: 107.213 s
73.07/73.13	c ===============================================================================
73.07/73.13	c |      9101 |    3723    26792   471520 |     8930     9101    607 | 33.506 % |
73.37/73.43	c ===============================================================================
73.37/73.43	c New solution: 75741
73.37/73.43	o 75741
73.37/73.43	c Elapsed CPU time: 73.0939 s	Remaining CPU time: 106.906 s
73.37/73.43	c ===============================================================================
73.37/73.43	c |      9101 |    3723    26793   473506 |     8931     9101    607 | 33.506 % |
73.68/73.74	c ===============================================================================
73.68/73.74	c New solution: 75740
73.68/73.74	o 75740
73.68/73.74	c Elapsed CPU time: 73.3998 s	Remaining CPU time: 106.6 s
73.68/73.74	c ===============================================================================
73.68/73.74	c |      9101 |    3723    26794   475492 |     8931     9101    607 | 33.506 % |
73.97/74.04	c ===============================================================================
73.97/74.04	c New solution: 75739
73.97/74.04	o 75739
73.97/74.04	c Elapsed CPU time: 73.7018 s	Remaining CPU time: 106.298 s
73.97/74.04	c ===============================================================================
73.97/74.04	c |      9102 |    3723    26795   477478 |     8931     9102    607 | 33.506 % |
74.37/74.46	c ===============================================================================
74.37/74.46	c New solution: 75738
74.37/74.46	o 75738
74.37/74.46	c Elapsed CPU time: 74.1177 s	Remaining CPU time: 105.882 s
74.37/74.46	c ===============================================================================
74.37/74.46	c |      9112 |    3723    26796   479464 |     8932     9112    607 | 33.506 % |
74.68/74.77	c ===============================================================================
74.68/74.77	c New solution: 75737
74.68/74.77	o 75737
74.68/74.77	c Elapsed CPU time: 74.4217 s	Remaining CPU time: 105.578 s
74.68/74.77	c ===============================================================================
74.68/74.77	c |      9112 |    3723    26797   481450 |     8932     9112    607 | 33.506 % |
74.97/75.06	c ===============================================================================
74.97/75.06	c New solution: 75734
74.97/75.06	o 75734
74.97/75.06	c Elapsed CPU time: 74.7126 s	Remaining CPU time: 105.287 s
74.97/75.06	c ===============================================================================
74.97/75.06	c |      9113 |    3723    26798   483436 |     8932     9113    607 | 33.506 % |
76.27/76.39	c |      9213 |    3723    26798   483436 |     9825     9213    608 | 33.506 % |
76.47/76.56	c ===============================================================================
76.47/76.56	c New solution: 75733
76.47/76.56	o 75733
76.47/76.56	c Elapsed CPU time: 76.2134 s	Remaining CPU time: 103.787 s
76.47/76.56	c ===============================================================================
76.47/76.56	c |      9214 |    3723    26799   485422 |     8933     9214    608 | 33.506 % |
77.37/77.46	c |      9315 |    3723    26799   485422 |     9826     9315    608 | 33.506 % |
77.98/78.10	c ===============================================================================
77.98/78.10	c New solution: 75732
77.98/78.10	o 75732
77.98/78.10	c Elapsed CPU time: 77.7502 s	Remaining CPU time: 102.25 s
77.98/78.10	c ===============================================================================
77.98/78.10	c |      9369 |    3723    26800   487408 |     8933     9369    608 | 33.506 % |
78.97/79.04	c |      9469 |    3723    26800   487408 |     9826     9469    609 | 33.506 % |
79.47/79.51	c ===============================================================================
79.47/79.51	c New solution: 75731
79.47/79.51	o 75731
79.47/79.51	c Elapsed CPU time: 79.155 s	Remaining CPU time: 100.845 s
79.47/79.51	c ===============================================================================
79.47/79.51	c |      9483 |    3723    26801   489394 |     8933     9483    609 | 33.506 % |
80.67/80.72	c |      9583 |    3723    26801   489394 |     9827     9583    609 | 33.506 % |
81.87/81.99	c |      9734 |    3723    26801   489394 |    10809     9734    610 | 33.506 % |
82.07/82.18	c ===============================================================================
82.07/82.18	c New solution: 75730
82.07/82.18	o 75730
82.07/82.18	c Elapsed CPU time: 81.8156 s	Remaining CPU time: 98.1844 s
82.07/82.18	c ===============================================================================
82.07/82.18	c |      9737 |    3723    26802   491380 |     8934     9737    610 | 33.506 % |
83.27/83.36	c |      9838 |    3723    26802   491380 |     9827     9838    610 | 33.506 % |
84.17/84.23	c ===============================================================================
84.17/84.23	c New solution: 75729
84.17/84.23	o 75729
84.17/84.23	c Elapsed CPU time: 83.8583 s	Remaining CPU time: 96.1417 s
84.17/84.23	c ===============================================================================
84.17/84.23	c |      9927 |    3723    26803   493366 |     8934     9927    610 | 33.506 % |
84.36/84.41	c ===============================================================================
84.36/84.41	c New solution: 75728
84.36/84.41	o 75728
84.36/84.41	c Elapsed CPU time: 84.0402 s	Remaining CPU time: 95.9598 s
84.36/84.41	c ===============================================================================
84.36/84.41	c |      9927 |    3723    26804   495352 |     8934     9927    610 | 33.506 % |
84.46/84.59	c ===============================================================================
84.46/84.59	c New solution: 75727
84.46/84.59	o 75727
84.46/84.59	c Elapsed CPU time: 84.2212 s	Remaining CPU time: 95.7788 s
84.46/84.59	c ===============================================================================
84.46/84.59	c |      9927 |    3723    26805   497338 |     8935     9927    610 | 33.506 % |
84.68/84.75	c ===============================================================================
84.68/84.75	c New solution: 75726
84.68/84.75	o 75726
84.68/84.75	c Elapsed CPU time: 84.3852 s	Remaining CPU time: 95.6148 s
84.68/84.75	c ===============================================================================
84.68/84.75	c |      9928 |    3723    26806   499324 |     8935     9928    610 | 33.506 % |
85.87/85.92	c |     10028 |    3723    26806   499324 |     9828    10028    611 | 33.506 % |
86.57/86.62	c ===============================================================================
86.57/86.62	c New solution: 75725
86.57/86.62	o 75725
86.57/86.62	c Elapsed CPU time: 86.2509 s	Remaining CPU time: 93.7491 s
86.57/86.62	c ===============================================================================
86.57/86.62	c |     10097 |    3723    26807   501310 |     8935    10097    611 | 33.506 % |
87.17/87.25	c ===============================================================================
87.17/87.25	c New solution: 75724
87.17/87.25	o 75724
87.17/87.25	c Elapsed CPU time: 86.8768 s	Remaining CPU time: 93.1232 s
87.17/87.25	c ===============================================================================
87.17/87.25	c |     10137 |    3723    26808   503296 |     8936    10137    611 | 33.506 % |
87.97/88.03	c |     10237 |    3723    26808   503296 |     9829    10237    611 | 33.506 % |
89.57/89.63	c |     10388 |    3723    26808   503296 |    10812    10388    612 | 33.506 % |
89.77/89.81	c ===============================================================================
89.77/89.81	c New solution: 75723
89.77/89.81	o 75723
89.77/89.81	c Elapsed CPU time: 89.4344 s	Remaining CPU time: 90.5656 s
89.77/89.81	c ===============================================================================
89.77/89.81	c |     10388 |    3723    26809   505282 |     8936    10388    612 | 33.506 % |
89.87/90.00	c ===============================================================================
89.87/90.00	c New solution: 75722
89.87/90.00	o 75722
89.87/90.00	c Elapsed CPU time: 89.6184 s	Remaining CPU time: 90.3816 s
89.87/90.00	c ===============================================================================
89.87/90.00	c |     10389 |    3723    26810   507268 |     8936    10389    612 | 33.506 % |
90.17/90.28	c ===============================================================================
90.17/90.28	c New solution: 75721
90.17/90.28	o 75721
90.17/90.28	c Elapsed CPU time: 89.9013 s	Remaining CPU time: 90.0987 s
90.17/90.28	c ===============================================================================
90.17/90.28	c |     10398 |    3723    26811   509254 |     8937    10398    612 | 33.506 % |
90.46/90.52	c ===============================================================================
90.46/90.52	c New solution: 75720
90.46/90.52	o 75720
90.46/90.52	c Elapsed CPU time: 90.1383 s	Remaining CPU time: 89.8617 s
90.46/90.52	c ===============================================================================
90.46/90.52	c |     10403 |    3723    26812   511240 |     8937    10403    612 | 33.506 % |
90.66/90.79	c ===============================================================================
90.66/90.79	c New solution: 75719
90.66/90.79	o 75719
90.66/90.79	c Elapsed CPU time: 90.4113 s	Remaining CPU time: 89.5887 s
90.66/90.79	c ===============================================================================
90.66/90.79	c |     10414 |    3723    26813   513226 |     8937    10414    612 | 33.506 % |
91.76/91.86	c |     10516 |    3723    26813   513226 |     9831    10516    612 | 33.506 % |
93.07/93.19	c |     10666 |    3723    26813   513226 |    10814    10666    612 | 33.506 % |
93.87/93.97	c ===============================================================================
93.87/93.97	c New solution: 75718
93.87/93.97	o 75718
93.87/93.97	c Elapsed CPU time: 93.5848 s	Remaining CPU time: 86.4152 s
93.87/93.97	c ===============================================================================
93.87/93.97	c |     10733 |    3723    26814   515212 |     8938    10733    612 | 33.506 % |
94.17/94.20	c ===============================================================================
94.17/94.20	c New solution: 75717
94.17/94.20	o 75717
94.17/94.20	c Elapsed CPU time: 93.8117 s	Remaining CPU time: 86.1883 s
94.17/94.20	c ===============================================================================
94.17/94.20	c |     10740 |    3723    26815   517198 |     8938    10740    612 | 33.506 % |
94.86/94.92	c |     10841 |    3723    26815   517198 |     9832    10841    612 | 33.506 % |
94.96/95.08	c ===============================================================================
94.96/95.08	c New solution: 75716
94.96/95.08	o 75716
94.96/95.08	c Elapsed CPU time: 94.6906 s	Remaining CPU time: 85.3094 s
94.96/95.08	c ===============================================================================
94.96/95.08	c |     10843 |    3723    26816   519184 |     8938    10843    612 | 33.506 % |
96.56/96.60	c |     10943 |    3723    26816   519184 |     9832     5522    600 | 33.506 % |
97.47/97.58	c ===============================================================================
97.47/97.58	c New solution: 75715
97.47/97.58	o 75715
97.47/97.58	c Elapsed CPU time: 97.1822 s	Remaining CPU time: 82.8178 s
97.47/97.58	c ===============================================================================
97.47/97.58	c |     11039 |    3723    26817   521170 |     8939     5618    601 | 33.506 % |
98.67/98.71	c ===============================================================================
98.67/98.71	c New solution: 75714
98.67/98.71	o 75714
98.67/98.71	c Elapsed CPU time: 98.3091 s	Remaining CPU time: 81.6909 s
98.67/98.71	c ===============================================================================
98.67/98.71	c |     11117 |    3723    26818   523156 |     8939     5696    601 | 33.506 % |
99.36/99.44	c |     11219 |    3723    26818   523156 |     9833     5798    601 | 33.506 % |
101.76/101.82	c |     11371 |    3723    26818   523156 |    10816     5950    602 | 33.506 % |
103.57/103.69	c ===============================================================================
103.57/103.69	c New solution: 75713
103.57/103.69	o 75713
103.57/103.69	c Elapsed CPU time: 103.281 s	Remaining CPU time: 76.7187 s
103.57/103.69	c ===============================================================================
103.57/103.69	c |     11544 |    3723    26819   525142 |     8939     6123    603 | 33.506 % |
103.77/103.87	c ===============================================================================
103.77/103.87	c New solution: 75712
103.77/103.87	o 75712
103.77/103.87	c Elapsed CPU time: 103.462 s	Remaining CPU time: 76.5377 s
103.77/103.87	c ===============================================================================
103.77/103.87	c |     11544 |    3723    26820   527128 |     8940     6123    603 | 33.506 % |
104.06/104.18	c ===============================================================================
104.06/104.18	c New solution: 75711
104.06/104.18	o 75711
104.06/104.18	c Elapsed CPU time: 103.775 s	Remaining CPU time: 76.2248 s
104.06/104.18	c ===============================================================================
104.06/104.18	c |     11545 |    3723    26821   529114 |     8940     6124    603 | 33.506 % |
104.26/104.34	c ===============================================================================
104.26/104.34	c New solution: 75710
104.26/104.34	o 75710
104.26/104.34	c Elapsed CPU time: 103.934 s	Remaining CPU time: 76.0658 s
104.26/104.34	c ===============================================================================
104.26/104.34	c |     11548 |    3723    26822   531100 |     8940     6127    603 | 33.506 % |
105.26/105.33	c |     11648 |    3723    26822   531100 |     9834     6227    603 | 33.506 % |
106.37/106.44	c ===============================================================================
106.37/106.44	c New solution: 74261
106.37/106.44	o 74261
106.37/106.44	c Elapsed CPU time: 106.022 s	Remaining CPU time: 73.9781 s
106.37/106.44	c ===============================================================================
106.37/106.44	c |     11747 |    3723    26823   533086 |     8941     6326    604 | 33.506 % |
106.57/106.67	c ===============================================================================
106.57/106.67	c New solution: 74202
106.57/106.67	o 74202
106.57/106.67	c Elapsed CPU time: 106.258 s	Remaining CPU time: 73.7422 s
106.57/106.67	c ===============================================================================
106.57/106.67	c |     11750 |    3723    26824   535072 |     8941     6329    604 | 33.506 % |
106.96/107.03	c ===============================================================================
106.96/107.03	c New solution: 74201
106.96/107.03	o 74201
106.96/107.03	c Elapsed CPU time: 106.618 s	Remaining CPU time: 73.3822 s
106.96/107.03	c ===============================================================================
106.96/107.03	c |     11759 |    3723    26825   537058 |     8941     6338    604 | 33.506 % |
107.16/107.23	c ===============================================================================
107.16/107.23	c New solution: 74196
107.16/107.23	o 74196
107.16/107.23	c Elapsed CPU time: 106.811 s	Remaining CPU time: 73.1892 s
107.16/107.23	c ===============================================================================
107.16/107.23	c |     11760 |    3723    26826   539044 |     8942     6339    604 | 33.506 % |
107.67/107.79	c ===============================================================================
107.67/107.79	c New solution: 74195
107.67/107.79	o 74195
107.67/107.79	c Elapsed CPU time: 107.372 s	Remaining CPU time: 72.6283 s
107.67/107.79	c ===============================================================================
107.67/107.79	c |     11795 |    3723    26827   541030 |     8942     6374    604 | 33.506 % |
107.96/108.02	c ===============================================================================
107.96/108.02	c New solution: 74194
107.96/108.02	o 74194
107.96/108.02	c Elapsed CPU time: 107.602 s	Remaining CPU time: 72.3984 s
107.96/108.02	c ===============================================================================
107.96/108.02	c |     11800 |    3723    26828   543016 |     8942     6379    604 | 33.506 % |
108.77/108.88	c ===============================================================================
108.77/108.88	c New solution: 74193
108.77/108.88	o 74193
108.77/108.88	c Elapsed CPU time: 108.457 s	Remaining CPU time: 71.5435 s
108.77/108.88	c ===============================================================================
108.77/108.88	c |     11864 |    3723    26829   545002 |     8943     6443    604 | 33.506 % |
109.66/109.79	c |     11966 |    3723    26829   545002 |     9837     6545    604 | 33.506 % |
109.87/109.95	c ===============================================================================
109.87/109.95	c New solution: 74192
109.87/109.95	o 74192
109.87/109.95	c Elapsed CPU time: 109.526 s	Remaining CPU time: 70.4737 s
109.87/109.95	c ===============================================================================
109.87/109.95	c |     11966 |    3723    26830   546988 |     8943     6545    604 | 33.506 % |
111.07/111.13	c |     12068 |    3723    26830   546988 |     9837     6647    605 | 33.506 % |
111.26/111.32	c ===============================================================================
111.26/111.32	c New solution: 74191
111.26/111.32	o 74191
111.26/111.32	c Elapsed CPU time: 110.888 s	Remaining CPU time: 69.1119 s
111.26/111.32	c ===============================================================================
111.26/111.32	c |     12068 |    3723    26831   548974 |     8943     6647    605 | 33.506 % |
111.46/111.51	c ===============================================================================
111.46/111.51	c New solution: 74189
111.46/111.51	o 74189
111.46/111.51	c Elapsed CPU time: 111.074 s	Remaining CPU time: 68.9259 s
111.46/111.51	c ===============================================================================
111.46/111.51	c |     12068 |    3723    26832   550960 |     8944     6647    605 | 33.506 % |
111.67/111.71	c ===============================================================================
111.67/111.71	c New solution: 74188
111.67/111.71	o 74188
111.67/111.71	c Elapsed CPU time: 111.275 s	Remaining CPU time: 68.7249 s
111.67/111.71	c ===============================================================================
111.67/111.71	c |     12070 |    3723    26833   552946 |     8944     6649    605 | 33.506 % |
113.46/113.52	c |     12170 |    3723    26833   552946 |     9838     6749    605 | 33.506 % |
113.66/113.72	c ===============================================================================
113.66/113.72	c New solution: 74187
113.66/113.72	o 74187
113.66/113.72	c Elapsed CPU time: 113.285 s	Remaining CPU time: 66.7152 s
113.66/113.73	c ===============================================================================
113.66/113.73	c |     12173 |    3723    26834   554932 |     8944     6752    605 | 33.506 % |
113.76/113.87	c ===============================================================================
113.76/113.87	c New solution: 72715
113.76/113.87	o 72715
113.76/113.87	c Elapsed CPU time: 113.427 s	Remaining CPU time: 66.5732 s
113.76/113.87	c ===============================================================================
113.76/113.87	c |     12179 |    3723    26835   556918 |     8945     6758    605 | 33.506 % |
113.96/114.03	c ===============================================================================
113.96/114.03	c New solution: 72670
113.96/114.03	o 72670
113.96/114.03	c Elapsed CPU time: 113.59 s	Remaining CPU time: 66.4103 s
113.96/114.03	c ===============================================================================
113.96/114.03	c |     12181 |    3723    26836   558904 |     8945     6760    605 | 33.506 % |
114.06/114.12	c ===============================================================================
114.06/114.12	c New solution: 72669
114.06/114.12	o 72669
114.06/114.12	c Elapsed CPU time: 113.673 s	Remaining CPU time: 66.3273 s
114.06/114.12	c ===============================================================================
114.06/114.12	c |     12182 |    3723    26837   560890 |     8945     6761    605 | 33.506 % |
114.26/114.34	c ===============================================================================
114.26/114.34	c New solution: 72668
114.26/114.34	o 72668
114.26/114.34	c Elapsed CPU time: 113.896 s	Remaining CPU time: 66.1043 s
114.26/114.34	c ===============================================================================
114.26/114.34	c |     12187 |    3723    26838   562876 |     8946     6766    605 | 33.506 % |
114.36/114.49	c ===============================================================================
114.36/114.49	c New solution: 72667
114.36/114.49	o 72667
114.36/114.49	c Elapsed CPU time: 114.044 s	Remaining CPU time: 65.9563 s
114.36/114.49	c ===============================================================================
114.36/114.49	c |     12188 |    3723    26839   564862 |     8946     6767    605 | 33.506 % |
114.46/114.56	c ===============================================================================
114.46/114.56	c New solution: 72666
114.46/114.56	o 72666
114.46/114.56	c Elapsed CPU time: 114.117 s	Remaining CPU time: 65.8833 s
114.46/114.56	c ===============================================================================
114.46/114.56	c |     12189 |    3723    26840   566848 |     8946     6768    605 | 33.506 % |
114.56/114.68	c ===============================================================================
114.56/114.68	c New solution: 72665
114.56/114.68	o 72665
114.56/114.68	c Elapsed CPU time: 114.228 s	Remaining CPU time: 65.7724 s
114.56/114.68	c ===============================================================================
114.56/114.68	c |     12189 |    3723    26841   568834 |     8947     6768    605 | 33.506 % |
114.66/114.79	c ===============================================================================
114.66/114.79	c New solution: 72664
114.66/114.79	o 72664
114.66/114.79	c Elapsed CPU time: 114.343 s	Remaining CPU time: 65.6574 s
114.66/114.79	c ===============================================================================
114.66/114.79	c |     12189 |    3723    26842   570820 |     8947     6768    605 | 33.506 % |
114.76/114.87	c ===============================================================================
114.76/114.87	c New solution: 72663
114.76/114.87	o 72663
114.76/114.87	c Elapsed CPU time: 114.42 s	Remaining CPU time: 65.5804 s
114.76/114.87	c ===============================================================================
114.76/114.87	c |     12190 |    3723    26843   572806 |     8947     6769    605 | 33.506 % |
114.96/115.02	c ===============================================================================
114.96/115.02	c New solution: 72662
114.96/115.02	o 72662
114.96/115.02	c Elapsed CPU time: 114.567 s	Remaining CPU time: 65.4334 s
114.96/115.02	c ===============================================================================
114.96/115.02	c |     12194 |    3723    26844   574792 |     8948     6773    605 | 33.506 % |
116.57/116.67	c |     12295 |    3723    26844   574792 |     9842     6874    606 | 33.506 % |
116.76/116.87	c ===============================================================================
116.76/116.87	c New solution: 72661
116.76/116.87	o 72661
116.76/116.87	c Elapsed CPU time: 116.418 s	Remaining CPU time: 63.5817 s
116.76/116.87	c ===============================================================================
116.76/116.87	c |     12296 |    3723    26845   576778 |     8948     6875    606 | 33.506 % |
116.96/117.07	c ===============================================================================
116.96/117.07	c New solution: 72660
116.96/117.07	o 72660
116.96/117.07	c Elapsed CPU time: 116.613 s	Remaining CPU time: 63.3867 s
116.96/117.07	c ===============================================================================
116.96/117.07	c |     12297 |    3723    26846   578764 |     8948     6876    606 | 33.506 % |
117.16/117.26	c ===============================================================================
117.16/117.26	c New solution: 72659
117.16/117.26	o 72659
117.16/117.26	c Elapsed CPU time: 116.805 s	Remaining CPU time: 63.1948 s
117.16/117.26	c ===============================================================================
117.16/117.26	c |     12297 |    3723    26847   580750 |     8949     6876    606 | 33.506 % |
117.36/117.45	c ===============================================================================
117.36/117.45	c New solution: 72658
117.36/117.45	o 72658
117.36/117.45	c Elapsed CPU time: 117.001 s	Remaining CPU time: 62.9988 s
117.36/117.45	c ===============================================================================
117.36/117.45	c |     12297 |    3723    26848   582736 |     8949     6876    606 | 33.506 % |
117.57/117.64	c ===============================================================================
117.57/117.64	c New solution: 72657
117.57/117.64	o 72657
117.57/117.64	c Elapsed CPU time: 117.185 s	Remaining CPU time: 62.8148 s
117.57/117.64	c ===============================================================================
117.57/117.64	c |     12298 |    3723    26849   584722 |     8949     6877    606 | 33.506 % |
118.77/118.84	c |     12400 |    3723    26849   584722 |     9844     6979    606 | 33.506 % |
120.36/120.40	c |     12551 |    3723    26849   584722 |    10829     7130    607 | 33.506 % |
120.46/120.58	c ===============================================================================
120.46/120.58	c New solution: 72656
120.46/120.58	o 72656
120.46/120.58	c Elapsed CPU time: 120.112 s	Remaining CPU time: 59.8883 s
120.46/120.58	c ===============================================================================
120.46/120.58	c |     12555 |    3723    26850   586708 |     8950     7134    607 | 33.506 % |
121.56/121.70	c |     12655 |    3723    26850   586708 |     9845     7234    607 | 33.506 % |
121.86/121.91	c ===============================================================================
121.86/121.91	c New solution: 72655
121.86/121.91	o 72655
121.86/121.91	c Elapsed CPU time: 121.444 s	Remaining CPU time: 58.5565 s
121.86/121.91	c ===============================================================================
121.86/121.91	c |     12656 |    3723    26851   588694 |     8950     7235    607 | 33.506 % |
123.07/123.14	c |     12757 |    3723    26851   588694 |     9845     7336    608 | 33.506 % |
123.26/123.37	c ===============================================================================
123.26/123.37	c New solution: 72654
123.26/123.37	o 72654
123.26/123.37	c Elapsed CPU time: 122.895 s	Remaining CPU time: 57.1047 s
123.26/123.37	c ===============================================================================
123.26/123.37	c |     12759 |    3723    26852   590680 |     8950     7338    608 | 33.506 % |
124.96/125.02	c |     12860 |    3723    26852   590680 |     9845     7439    609 | 33.506 % |
125.16/125.29	c ===============================================================================
125.16/125.29	c New solution: 72653
125.16/125.29	o 72653
125.16/125.29	c Elapsed CPU time: 124.818 s	Remaining CPU time: 55.182 s
125.16/125.29	c ===============================================================================
125.16/125.29	c |     12863 |    3723    26853   592666 |     8951     7442    608 | 33.506 % |
125.46/125.51	c ===============================================================================
125.46/125.51	c New solution: 72652
125.46/125.51	o 72652
125.46/125.51	c Elapsed CPU time: 125.038 s	Remaining CPU time: 54.962 s
125.46/125.51	c ===============================================================================
125.46/125.51	c |     12863 |    3723    26854   594652 |     8951     7442    608 | 33.506 % |
125.66/125.73	c ===============================================================================
125.66/125.73	c New solution: 72651
125.66/125.73	o 72651
125.66/125.73	c Elapsed CPU time: 125.256 s	Remaining CPU time: 54.744 s
125.66/125.73	c ===============================================================================
125.66/125.73	c |     12865 |    3723    26855   596638 |     8951     7444    608 | 33.506 % |
126.16/126.23	c ===============================================================================
126.16/126.23	c New solution: 72650
126.16/126.23	o 72650
126.16/126.23	c Elapsed CPU time: 125.75 s	Remaining CPU time: 54.2501 s
126.16/126.23	c ===============================================================================
126.16/126.23	c |     12888 |    3723    26856   598624 |     8952     7467    609 | 33.506 % |
127.26/127.32	c |     12988 |    3723    26856   598624 |     9847     7567    609 | 33.506 % |
127.36/127.45	c ===============================================================================
127.36/127.45	c New solution: 71143
127.36/127.45	o 71143
127.36/127.45	c Elapsed CPU time: 126.963 s	Remaining CPU time: 53.0373 s
127.36/127.45	c ===============================================================================
127.36/127.45	c |     12988 |    3723    26857   600610 |     8952     7567    609 | 33.506 % |
127.66/127.79	c ===============================================================================
127.66/127.79	c New solution: 71142
127.66/127.79	o 71142
127.66/127.79	c Elapsed CPU time: 127.308 s	Remaining CPU time: 52.6924 s
127.66/127.79	c ===============================================================================
127.66/127.79	c |     12992 |    3723    26858   602596 |     8952     7571    609 | 33.506 % |
127.96/128.06	c ===============================================================================
127.96/128.06	c New solution: 71141
127.96/128.06	o 71141
127.96/128.06	c Elapsed CPU time: 127.581 s	Remaining CPU time: 52.4194 s
127.96/128.06	c ===============================================================================
127.96/128.06	c |     12992 |    3723    26859   604582 |     8953     7571    609 | 33.506 % |
128.26/128.38	c ===============================================================================
128.26/128.38	c New solution: 71140
128.26/128.38	o 71140
128.26/128.38	c Elapsed CPU time: 127.897 s	Remaining CPU time: 52.1034 s
128.26/128.38	c ===============================================================================
128.26/128.38	c |     12995 |    3723    26860   606568 |     8953     7574    609 | 33.506 % |
128.86/128.96	c ===============================================================================
128.86/128.96	c New solution: 71139
128.86/128.96	o 71139
128.86/128.96	c Elapsed CPU time: 128.471 s	Remaining CPU time: 51.5285 s
128.86/128.96	c ===============================================================================
128.86/128.96	c |     13028 |    3723    26861   608554 |     8953     7607    609 | 33.506 % |
129.16/129.28	c ===============================================================================
129.16/129.28	c New solution: 71138
129.16/129.28	o 71138
129.16/129.28	c Elapsed CPU time: 128.797 s	Remaining CPU time: 51.2026 s
129.16/129.28	c ===============================================================================
129.16/129.28	c |     13035 |    3723    26862   610540 |     8954     7614    609 | 33.506 % |
129.56/129.64	c ===============================================================================
129.56/129.64	c New solution: 71137
129.56/129.64	o 71137
129.56/129.64	c Elapsed CPU time: 129.153 s	Remaining CPU time: 50.8466 s
129.56/129.64	c ===============================================================================
129.56/129.64	c |     13058 |    3723    26863   612526 |     8954     7637    609 | 33.506 % |
131.16/131.20	c |     13158 |    3723    26863   612526 |     9849     7737    610 | 33.506 % |
131.36/131.44	c ===============================================================================
131.36/131.44	c New solution: 71136
131.36/131.44	o 71136
131.36/131.44	c Elapsed CPU time: 130.949 s	Remaining CPU time: 49.0509 s
131.36/131.44	c ===============================================================================
131.36/131.44	c |     13158 |    3723    26864   614512 |     8954     7737    610 | 33.506 % |
131.56/131.66	c ===============================================================================
131.56/131.66	c New solution: 71135
131.56/131.66	o 71135
131.56/131.66	c Elapsed CPU time: 131.171 s	Remaining CPU time: 48.8289 s
131.56/131.66	c ===============================================================================
131.56/131.66	c |     13158 |    3723    26865   616498 |     8955     7737    610 | 33.506 % |
131.76/131.88	c ===============================================================================
131.76/131.88	c New solution: 71134
131.76/131.88	o 71134
131.76/131.88	c Elapsed CPU time: 131.39 s	Remaining CPU time: 48.61 s
131.76/131.88	c ===============================================================================
131.76/131.88	c |     13160 |    3723    26866   618484 |     8955     7739    610 | 33.506 % |
132.06/132.15	c ===============================================================================
132.06/132.15	c New solution: 71133
132.06/132.15	o 71133
132.06/132.15	c Elapsed CPU time: 131.657 s	Remaining CPU time: 48.343 s
132.06/132.15	c ===============================================================================
132.06/132.15	c |     13164 |    3723    26867   620470 |     8955     7743    610 | 33.506 % |
132.26/132.37	c ===============================================================================
132.26/132.37	c New solution: 71132
132.26/132.37	o 71132
132.26/132.37	c Elapsed CPU time: 131.877 s	Remaining CPU time: 48.123 s
132.26/132.37	c ===============================================================================
132.26/132.37	c |     13166 |    3723    26868   622456 |     8956     7745    610 | 33.506 % |
132.46/132.59	c ===============================================================================
132.46/132.59	c New solution: 71131
132.46/132.59	o 71131
132.46/132.59	c Elapsed CPU time: 132.094 s	Remaining CPU time: 47.9061 s
132.46/132.59	c ===============================================================================
132.46/132.59	c |     13166 |    3723    26869   624442 |     8956     7745    610 | 33.506 % |
132.75/132.81	c ===============================================================================
132.75/132.81	c New solution: 71128
132.75/132.81	o 71128
132.75/132.81	c Elapsed CPU time: 132.311 s	Remaining CPU time: 47.6891 s
132.75/132.81	c ===============================================================================
132.75/132.81	c |     13167 |    3723    26870   626428 |     8956     7746    610 | 33.506 % |
132.96/133.02	c ===============================================================================
132.96/133.02	c New solution: 71127
132.96/133.02	o 71127
132.96/133.02	c Elapsed CPU time: 132.52 s	Remaining CPU time: 47.4801 s
132.96/133.02	c ===============================================================================
132.96/133.02	c |     13167 |    3723    26871   628414 |     8957     7746    610 | 33.506 % |
133.15/133.25	c ===============================================================================
133.15/133.25	c New solution: 71126
133.15/133.25	o 71126
133.15/133.25	c Elapsed CPU time: 132.748 s	Remaining CPU time: 47.2522 s
133.15/133.25	c ===============================================================================
133.15/133.25	c |     13169 |    3723    26872   630400 |     8957     7748    610 | 33.506 % |
133.55/133.64	c ===============================================================================
133.55/133.64	c New solution: 71125
133.55/133.64	o 71125
133.55/133.64	c Elapsed CPU time: 133.143 s	Remaining CPU time: 46.8572 s
133.55/133.64	c ===============================================================================
133.55/133.64	c |     13192 |    3723    26873   632386 |     8957     7771    610 | 33.506 % |
135.06/135.15	c |     13292 |    3723    26873   632386 |     9853     7871    610 | 33.506 % |
135.46/135.50	c ===============================================================================
135.46/135.50	c New solution: 69649
135.46/135.50	o 69649
135.46/135.50	c Elapsed CPU time: 134.994 s	Remaining CPU time: 45.0055 s
135.46/135.50	c ===============================================================================
135.46/135.50	c |     13301 |    3723    26874   634372 |     8958     7880    610 | 33.506 % |
135.76/135.81	c ===============================================================================
135.76/135.81	c New solution: 69627
135.76/135.81	o 69627
135.76/135.81	c Elapsed CPU time: 135.307 s	Remaining CPU time: 44.6926 s
135.76/135.81	c ===============================================================================
135.76/135.81	c |     13314 |    3723    26875   636358 |     8958     7893    610 | 33.506 % |
136.26/136.40	c ===============================================================================
136.26/136.40	c New solution: 69626
136.26/136.40	o 69626
136.26/136.40	c Elapsed CPU time: 135.891 s	Remaining CPU time: 44.1087 s
136.26/136.40	c ===============================================================================
136.26/136.40	c |     13355 |    3723    26876   638344 |     8958     7934    610 | 33.506 % |
136.55/136.64	c ===============================================================================
136.55/136.64	c New solution: 69624
136.55/136.64	o 69624
136.55/136.64	c Elapsed CPU time: 136.132 s	Remaining CPU time: 43.8677 s
136.55/136.64	c ===============================================================================
136.55/136.64	c |     13357 |    3723    26877   640330 |     8959     7936    610 | 33.506 % |
136.95/137.05	c ===============================================================================
136.95/137.05	c New solution: 69623
136.95/137.05	o 69623
136.95/137.05	c Elapsed CPU time: 136.54 s	Remaining CPU time: 43.4598 s
136.95/137.05	c ===============================================================================
136.95/137.05	c |     13360 |    3723    26878   642316 |     8959     7939    610 | 33.506 % |
137.25/137.35	c ===============================================================================
137.25/137.35	c New solution: 69622
137.25/137.35	o 69622
137.25/137.35	c Elapsed CPU time: 136.837 s	Remaining CPU time: 43.1628 s
137.25/137.35	c ===============================================================================
137.25/137.35	c |     13367 |    3723    26879   644302 |     8959     7946    610 | 33.506 % |
137.55/137.67	c ===============================================================================
137.55/137.67	c New solution: 69621
137.55/137.67	o 69621
137.55/137.67	c Elapsed CPU time: 137.162 s	Remaining CPU time: 42.8379 s
137.55/137.67	c ===============================================================================
137.55/137.67	c |     13373 |    3723    26880   646288 |     8960     7952    610 | 33.506 % |
137.95/138.04	c ===============================================================================
137.95/138.04	c New solution: 69620
137.95/138.04	o 69620
137.95/138.04	c Elapsed CPU time: 137.531 s	Remaining CPU time: 42.4689 s
137.95/138.04	c ===============================================================================
137.95/138.04	c |     13387 |    3723    26881   648274 |     8960     7966    610 | 33.506 % |
138.15/138.27	c ===============================================================================
138.15/138.27	c New solution: 69619
138.15/138.27	o 69619
138.15/138.27	c Elapsed CPU time: 137.763 s	Remaining CPU time: 42.2369 s
138.15/138.27	c ===============================================================================
138.15/138.27	c |     13389 |    3723    26882   650260 |     8960     7968    610 | 33.506 % |
138.56/138.65	c ===============================================================================
138.56/138.65	c New solution: 69611
138.56/138.65	o 69611
138.56/138.65	c Elapsed CPU time: 138.14 s	Remaining CPU time: 41.86 s
138.56/138.65	c ===============================================================================
138.56/138.65	c |     13393 |    3723    26883   652246 |     8961     7972    610 | 33.506 % |
138.75/138.87	c ===============================================================================
138.75/138.87	c New solution: 69607
138.75/138.87	o 69607
138.75/138.87	c Elapsed CPU time: 138.356 s	Remaining CPU time: 41.644 s
138.75/138.87	c ===============================================================================
138.75/138.87	c |     13394 |    3723    26884   654232 |     8961     7973    610 | 33.506 % |
140.16/140.27	c |     13495 |    3723    26884   654232 |     9857     8074    611 | 33.506 % |
140.36/140.49	c ===============================================================================
140.36/140.49	c New solution: 69603
140.36/140.49	o 69603
140.36/140.49	c Elapsed CPU time: 139.982 s	Remaining CPU time: 40.0183 s
140.36/140.49	c ===============================================================================
140.36/140.49	c |     13495 |    3723    26885   656218 |     8961     8074    611 | 33.506 % |
140.67/140.72	c ===============================================================================
140.67/140.72	c New solution: 69601
140.67/140.72	o 69601
140.67/140.72	c Elapsed CPU time: 140.207 s	Remaining CPU time: 39.7933 s
140.67/140.72	c ===============================================================================
140.67/140.72	c |     13497 |    3723    26886   658204 |     8962     8076    611 | 33.506 % |
142.16/142.29	c ===============================================================================
142.16/142.29	c New solution: 69600
142.16/142.29	o 69600
142.16/142.29	c Elapsed CPU time: 141.777 s	Remaining CPU time: 38.2226 s
142.16/142.29	c ===============================================================================
142.16/142.29	c |     13569 |    3723    26887   660190 |     8962     8148    611 | 33.506 % |
143.15/143.28	c ===============================================================================
143.15/143.28	c New solution: 69599
143.15/143.28	o 69599
143.15/143.28	c Elapsed CPU time: 142.759 s	Remaining CPU time: 37.2407 s
143.15/143.28	c ===============================================================================
143.15/143.28	c |     13634 |    3723    26888   662176 |     8962     8213    611 | 33.506 % |
144.55/144.63	c |     13734 |    3723    26888   662176 |     9858     8313    611 | 33.506 % |
144.85/144.97	c ===============================================================================
144.85/144.97	c New solution: 69598
144.85/144.97	o 69598
144.85/144.97	c Elapsed CPU time: 144.448 s	Remaining CPU time: 35.552 s
144.85/144.97	c ===============================================================================
144.85/144.97	c |     13740 |    3723    26889   664162 |     8963     8319    611 | 33.506 % |
145.25/145.30	c ===============================================================================
145.25/145.30	c New solution: 69597
145.25/145.30	o 69597
145.25/145.30	c Elapsed CPU time: 144.782 s	Remaining CPU time: 35.218 s
145.25/145.30	c ===============================================================================
145.25/145.30	c |     13748 |    3723    26890   666148 |     8963     8327    611 | 33.506 % |
146.35/146.44	c ===============================================================================
146.35/146.44	c New solution: 69596
146.35/146.44	o 69596
146.35/146.44	c Elapsed CPU time: 145.917 s	Remaining CPU time: 34.0832 s
146.35/146.44	c ===============================================================================
146.35/146.44	c |     13822 |    3723    26891   668134 |     8963     8401    611 | 33.506 % |
146.95/147.04	c ===============================================================================
146.95/147.04	c New solution: 69595
146.95/147.04	o 69595
146.95/147.04	c Elapsed CPU time: 146.515 s	Remaining CPU time: 33.4853 s
146.95/147.04	c ===============================================================================
146.95/147.04	c |     13857 |    3723    26892   670120 |     8964     8436    612 | 33.506 % |
147.16/147.27	c ===============================================================================
147.16/147.27	c New solution: 69594
147.16/147.27	o 69594
147.16/147.27	c Elapsed CPU time: 146.744 s	Remaining CPU time: 33.2563 s
147.16/147.27	c ===============================================================================
147.16/147.27	c |     13860 |    3723    26893   672106 |     8964     8439    612 | 33.506 % |
147.66/147.70	c ===============================================================================
147.66/147.70	c New solution: 68119
147.66/147.70	o 68119
147.66/147.70	c Elapsed CPU time: 147.178 s	Remaining CPU time: 32.8224 s
147.66/147.70	c ===============================================================================
147.66/147.70	c |     13877 |    3723    26894   674092 |     8964     8456    612 | 33.506 % |
147.86/147.99	c ===============================================================================
147.86/147.99	c New solution: 68088
147.86/147.99	o 68088
147.86/147.99	c Elapsed CPU time: 147.459 s	Remaining CPU time: 32.5414 s
147.86/147.99	c ===============================================================================
147.86/147.99	c |     13884 |    3723    26895   676078 |     8965     8463    611 | 33.506 % |
148.15/148.25	c ===============================================================================
148.15/148.25	c New solution: 68081
148.15/148.25	o 68081
148.15/148.25	c Elapsed CPU time: 147.719 s	Remaining CPU time: 32.2815 s
148.15/148.25	c ===============================================================================
148.15/148.25	c |     13885 |    3723    26896   678064 |     8965     8464    611 | 33.506 % |
148.36/148.49	c ===============================================================================
148.36/148.49	c New solution: 68067
148.36/148.49	o 68067
148.36/148.49	c Elapsed CPU time: 147.955 s	Remaining CPU time: 32.0455 s
148.36/148.49	c ===============================================================================
148.36/148.49	c |     13887 |    3723    26897   680050 |     8965     8466    611 | 33.506 % |
148.65/148.71	c ===============================================================================
148.65/148.71	c New solution: 68066
148.65/148.71	o 68066
148.65/148.71	c Elapsed CPU time: 148.181 s	Remaining CPU time: 31.8185 s
148.65/148.71	c ===============================================================================
148.65/148.71	c |     13889 |    3723    26898   682036 |     8966     8468    611 | 33.506 % |
148.85/148.94	c ===============================================================================
148.85/148.94	c New solution: 68065
148.85/148.94	o 68065
148.85/148.94	c Elapsed CPU time: 148.409 s	Remaining CPU time: 31.5906 s
148.85/148.94	c ===============================================================================
148.85/148.94	c |     13891 |    3723    26899   684022 |     8966     8470    611 | 33.506 % |
149.05/149.17	c ===============================================================================
149.05/149.17	c New solution: 68064
149.05/149.17	o 68064
149.05/149.17	c Elapsed CPU time: 148.631 s	Remaining CPU time: 31.3686 s
149.05/149.17	c ===============================================================================
149.05/149.17	c |     13892 |    3723    26900   686008 |     8966     8471    611 | 33.506 % |
149.25/149.39	c ===============================================================================
149.25/149.39	c New solution: 68063
149.25/149.39	o 68063
149.25/149.39	c Elapsed CPU time: 148.858 s	Remaining CPU time: 31.1416 s
149.25/149.39	c ===============================================================================
149.25/149.39	c |     13893 |    3723    26901   687994 |     8967     8472    611 | 33.506 % |
150.56/150.61	c |     13994 |    3723    26901   687994 |     9863     8573    612 | 33.506 % |
150.75/150.87	c ===============================================================================
150.75/150.87	c New solution: 68062
150.75/150.87	o 68062
150.75/150.87	c Elapsed CPU time: 150.337 s	Remaining CPU time: 29.6629 s
150.75/150.87	c ===============================================================================
150.75/150.87	c |     13996 |    3723    26902   689980 |     8967     8575    612 | 33.506 % |
151.45/151.56	c ===============================================================================
151.45/151.56	c New solution: 68061
151.45/151.56	o 68061
151.45/151.56	c Elapsed CPU time: 151.024 s	Remaining CPU time: 28.976 s
151.45/151.56	c ===============================================================================
151.45/151.56	c |     14027 |    3723    26903   691966 |     8967     8606    612 | 33.506 % |
153.45/153.55	c |     14128 |    3723    26903   691966 |     9864     8707    612 | 33.506 % |
154.05/154.18	c ===============================================================================
154.05/154.18	c New solution: 68060
154.05/154.18	o 68060
154.05/154.18	c Elapsed CPU time: 153.636 s	Remaining CPU time: 26.3644 s
154.05/154.18	c ===============================================================================
154.05/154.18	c |     14169 |    3723    26904   693952 |     8968     8748    612 | 33.506 % |
155.25/155.40	c |     14269 |    3723    26904   693952 |     9864     8848    612 | 33.506 % |
155.75/155.87	c ===============================================================================
155.75/155.87	c New solution: 68059
155.75/155.87	o 68059
155.75/155.87	c Elapsed CPU time: 155.324 s	Remaining CPU time: 24.6756 s
155.75/155.87	c ===============================================================================
155.75/155.87	c |     14289 |    3723    26905   695938 |     8968     8868    612 | 33.506 % |
156.25/156.32	c ===============================================================================
156.25/156.32	c New solution: 68058
156.25/156.32	o 68058
156.25/156.32	c Elapsed CPU time: 155.774 s	Remaining CPU time: 24.2257 s
156.25/156.32	c ===============================================================================
156.25/156.32	c |     14308 |    3723    26906   697924 |     8968     8887    612 | 33.506 % |
156.75/156.84	c ===============================================================================
156.75/156.84	c New solution: 66597
156.75/156.84	o 66597
156.75/156.84	c Elapsed CPU time: 156.292 s	Remaining CPU time: 23.7078 s
156.75/156.84	c ===============================================================================
156.75/156.84	c |     14322 |    3723    26907   699910 |     8969     8901    612 | 33.506 % |
157.65/157.72	c ===============================================================================
157.65/157.72	c New solution: 66548
157.65/157.72	o 66548
157.65/157.72	c Elapsed CPU time: 157.169 s	Remaining CPU time: 22.8309 s
157.65/157.72	c ===============================================================================
157.65/157.72	c |     14363 |    3723    26908   701896 |     8969     8942    612 | 33.506 % |
157.75/157.84	c ===============================================================================
157.75/157.84	c New solution: 66547
157.75/157.84	o 66547
157.75/157.84	c Elapsed CPU time: 157.287 s	Remaining CPU time: 22.7129 s
157.75/157.84	c ===============================================================================
157.75/157.84	c |     14367 |    3723    26909   703882 |     8969     8946    612 | 33.506 % |
158.26/158.37	c ===============================================================================
158.26/158.37	c New solution: 66546
158.26/158.37	o 66546
158.26/158.37	c Elapsed CPU time: 157.823 s	Remaining CPU time: 22.177 s
158.26/158.37	c ===============================================================================
158.26/158.37	c |     14368 |    3723    26910   705868 |     8970     8947    612 | 33.506 % |
158.75/158.88	c ===============================================================================
158.75/158.88	c New solution: 66545
158.75/158.88	o 66545
158.75/158.88	c Elapsed CPU time: 158.327 s	Remaining CPU time: 21.6731 s
158.75/158.88	c ===============================================================================
158.75/158.88	c |     14369 |    3723    26911   707854 |     8970     8948    612 | 33.506 % |
160.95/161.09	c |     14470 |    3723    26911   707854 |     9867     9049    612 | 33.506 % |
161.25/161.39	c ===============================================================================
161.25/161.39	c New solution: 66544
161.25/161.39	o 66544
161.25/161.39	c Elapsed CPU time: 160.832 s	Remaining CPU time: 19.1685 s
161.25/161.39	c ===============================================================================
161.25/161.39	c |     14470 |    3723    26912   709840 |     8970     9049    612 | 33.506 % |
161.55/161.68	c ===============================================================================
161.55/161.68	c New solution: 66543
161.55/161.68	o 66543
161.55/161.68	c Elapsed CPU time: 161.127 s	Remaining CPU time: 18.8735 s
161.55/161.68	c ===============================================================================
161.55/161.68	c |     14472 |    3723    26913   711826 |     8971     9051    612 | 33.506 % |
162.15/162.23	c ===============================================================================
162.15/162.23	c New solution: 66542
162.15/162.23	o 66542
162.15/162.23	c Elapsed CPU time: 161.678 s	Remaining CPU time: 18.3216 s
162.15/162.23	c ===============================================================================
162.15/162.23	c |     14507 |    3723    26914   713812 |     8971     9086    612 | 33.506 % |
162.65/162.73	c ===============================================================================
162.65/162.73	c New solution: 66541
162.65/162.73	o 66541
162.65/162.73	c Elapsed CPU time: 162.178 s	Remaining CPU time: 17.8217 s
162.65/162.73	c ===============================================================================
162.65/162.73	c |     14520 |    3723    26915   715798 |     8971     9099    612 | 33.506 % |
162.95/163.04	c ===============================================================================
162.95/163.04	c New solution: 66540
162.95/163.04	o 66540
162.95/163.04	c Elapsed CPU time: 162.486 s	Remaining CPU time: 17.5137 s
162.95/163.04	c ===============================================================================
162.95/163.04	c |     14523 |    3723    26916   717784 |     8972     9102    612 | 33.506 % |
164.35/164.47	c |     14623 |    3723    26916   717784 |     9869     9202    613 | 33.506 % |
165.35/165.49	c ===============================================================================
165.35/165.49	c New solution: 66539
165.35/165.49	o 66539
165.35/165.49	c Elapsed CPU time: 164.935 s	Remaining CPU time: 15.0651 s
165.35/165.49	c ===============================================================================
165.35/165.49	c |     14661 |    3723    26917   719770 |     8972     9240    613 | 33.506 % |
165.65/165.79	c ===============================================================================
165.65/165.79	c New solution: 66538
165.65/165.79	o 66538
165.65/165.79	c Elapsed CPU time: 165.225 s	Remaining CPU time: 14.7751 s
165.65/165.79	c ===============================================================================
165.65/165.79	c |     14666 |    3723    26918   721756 |     8972     9245    613 | 33.506 % |
167.05/167.20	c |     14766 |    3723    26918   721756 |     9869     9345    613 | 33.506 % |
169.55/169.69	c |     14916 |    3723    26918   721756 |    10856     9495    614 | 33.506 % |
169.85/169.98	c ===============================================================================
169.85/169.98	c New solution: 66537
169.85/169.98	o 66537
169.85/169.98	c Elapsed CPU time: 169.407 s	Remaining CPU time: 10.5928 s
169.85/169.98	c ===============================================================================
169.85/169.98	c |     14916 |    3723    26919   723742 |     8973     9495    614 | 33.506 % |
170.35/170.44	c ===============================================================================
170.35/170.44	c New solution: 66536
170.35/170.44	o 66536
170.35/170.44	c Elapsed CPU time: 169.868 s	Remaining CPU time: 10.1318 s
170.35/170.44	c ===============================================================================
170.35/170.44	c |     14931 |    3723    26920   725728 |     8973     9510    614 | 33.506 % |
170.54/170.69	c ===============================================================================
170.54/170.69	c New solution: 65043
170.54/170.69	o 65043
170.54/170.69	c Elapsed CPU time: 170.119 s	Remaining CPU time: 9.88086 s
170.54/170.69	c ===============================================================================
170.54/170.69	c |     14935 |    3723    26921   727714 |     8973     9514    614 | 33.506 % |
170.84/170.96	c ===============================================================================
170.84/170.96	c New solution: 65042
170.84/170.96	o 65042
170.84/170.96	c Elapsed CPU time: 170.393 s	Remaining CPU time: 9.6069 s
170.84/170.96	c ===============================================================================
170.84/170.96	c |     14939 |    3723    26922   729700 |     8974     9518    614 | 33.506 % |
171.24/171.36	c ===============================================================================
171.24/171.36	c New solution: 65041
171.24/171.36	o 65041
171.24/171.36	c Elapsed CPU time: 170.793 s	Remaining CPU time: 9.20696 s
171.24/171.36	c ===============================================================================
171.24/171.36	c |     14948 |    3723    26923   731686 |     8974     9527    614 | 33.506 % |
171.74/171.80	c ===============================================================================
171.74/171.80	c New solution: 65028
171.74/171.80	o 65028
171.74/171.80	c Elapsed CPU time: 171.235 s	Remaining CPU time: 8.76503 s
171.74/171.80	c ===============================================================================
171.74/171.80	c |     14958 |    3723    26924   733672 |     8974     9537    614 | 33.506 % |
172.05/172.10	c ===============================================================================
172.05/172.10	c New solution: 65011
172.05/172.10	o 65011
172.05/172.10	c Elapsed CPU time: 171.527 s	Remaining CPU time: 8.47308 s
172.05/172.10	c ===============================================================================
172.05/172.10	c |     14959 |    3723    26925   735658 |     8975     9538    614 | 33.506 % |
172.25/172.38	c ===============================================================================
172.25/172.38	c New solution: 65010
172.25/172.38	o 65010
172.25/172.38	c Elapsed CPU time: 171.811 s	Remaining CPU time: 8.18912 s
172.25/172.38	c ===============================================================================
172.25/172.38	c |     14959 |    3723    26926   737644 |     8975     9538    614 | 33.506 % |
172.56/172.66	c ===============================================================================
172.56/172.66	c New solution: 65009
172.56/172.66	o 65009
172.56/172.66	c Elapsed CPU time: 172.089 s	Remaining CPU time: 7.91116 s
172.56/172.66	c ===============================================================================
172.56/172.66	c |     14960 |    3723    26927   739630 |     8975     9539    614 | 33.506 % |
172.85/172.91	c ===============================================================================
172.85/172.91	c New solution: 65006
172.85/172.91	o 65006
172.85/172.91	c Elapsed CPU time: 172.341 s	Remaining CPU time: 7.6592 s
172.85/172.91	c ===============================================================================
172.85/172.91	c |     14962 |    3723    26928   741616 |     8976     9541    614 | 33.506 % |
173.25/173.33	c ===============================================================================
173.25/173.33	c New solution: 65005
173.25/173.33	o 65005
173.25/173.33	c Elapsed CPU time: 172.754 s	Remaining CPU time: 7.24626 s
173.25/173.33	c ===============================================================================
173.25/173.33	c |     14978 |    3723    26929   743602 |     8976     9557    614 | 33.506 % |
175.24/175.30	c |     15079 |    3723    26929   743602 |     9873     9658    614 | 33.506 % |
177.54/177.67	c |     15229 |    3723    26929   743602 |    10861     9808    615 | 33.506 % |
178.44/178.50	c ===============================================================================
178.44/178.50	c New solution: 65004
178.44/178.50	o 65004
178.44/178.50	c Elapsed CPU time: 177.921 s	Remaining CPU time: 2.07905 s
178.44/178.50	c ===============================================================================
178.44/178.50	c |     15265 |    3723    26930   745588 |     8976     9844    615 | 33.506 % |
178.84/178.91	c ===============================================================================
178.84/178.91	c New solution: 65003
178.84/178.91	o 65003
178.84/178.91	c Elapsed CPU time: 178.324 s	Remaining CPU time: 1.67611 s
178.84/178.91	c ===============================================================================
178.84/178.91	c |     15287 |    3723    26931   747574 |     8977     9866    615 | 33.506 % |
180.55/180.62	c There are 1876 assigned variables. 371 in cost function.
183.35/183.41	c core #1
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 2	Core Weight: 1	Total Weight: 6372
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #2
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 3	Core Weight: 1	Total Weight: 6373
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #3
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 25	Core Weight: 1	Total Weight: 6374
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #4
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 4	Core Weight: 2	Total Weight: 6376
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #5
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 5	Core Weight: 1	Total Weight: 6377
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #6
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 6	Core Weight: 1	Total Weight: 6378
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #7
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 10	Core Weight: 1	Total Weight: 6379
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #8
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 6	Core Weight: 1	Total Weight: 6380
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #9
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 6	Core Weight: 1	Total Weight: 6381
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #10
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 6	Core Weight: 1	Total Weight: 6382
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #11
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 6	Core Weight: 1	Total Weight: 6383
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #12
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 6	Core Weight: 1	Total Weight: 6384
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #13
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 6	Core Weight: 1	Total Weight: 6385
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #14
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 6	Core Weight: 1	Total Weight: 6386
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #15
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 6	Core Weight: 1	Total Weight: 6387
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #16
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 6	Core Weight: 1	Total Weight: 6388
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #17
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 6	Core Weight: 1	Total Weight: 6389
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #18
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 6	Core Weight: 1	Total Weight: 6390
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #19
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 6	Core Weight: 1	Total Weight: 6391
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #20
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 6	Core Weight: 1	Total Weight: 6392
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #21
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 6	Core Weight: 1	Total Weight: 6393
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #22
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 9	Core Weight: 1	Total Weight: 6394
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #23
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 6	Core Weight: 1	Total Weight: 6395
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #24
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 6	Core Weight: 1	Total Weight: 6396
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #25
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 6	Core Weight: 1	Total Weight: 6397
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #26
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 6	Core Weight: 1	Total Weight: 6398
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #27
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 8	Core Weight: 1	Total Weight: 6399
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #28
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 4	Core Weight: 1507	Total Weight: 7906
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #29
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 5	Core Weight: 1	Total Weight: 7907
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #30
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 3	Core Weight: 1	Total Weight: 7908
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #31
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 12	Core Weight: 1	Total Weight: 7909
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #32
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 5	Core Weight: 1	Total Weight: 7910
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #33
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 4	Core Weight: 1	Total Weight: 7911
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #34
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 5	Core Weight: 1	Total Weight: 7912
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #35
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 7	Core Weight: 1	Total Weight: 7913
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #36
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 10	Core Weight: 1	Total Weight: 7914
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #37
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 8	Core Weight: 26	Total Weight: 7940
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #38
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 8	Core Weight: 1	Total Weight: 7941
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #39
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 9	Core Weight: 1	Total Weight: 7942
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #40
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 7	Core Weight: 1	Total Weight: 7943
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #41
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 11	Core Weight: 1	Total Weight: 7944
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #42
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 8	Core Weight: 1	Total Weight: 7945
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #43
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 14	Core Weight: 1	Total Weight: 7946
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #44
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 7	Core Weight: 1	Total Weight: 7947
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #45
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 32	Core Weight: 1	Total Weight: 7948
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #46
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 35	Core Weight: 1	Total Weight: 7949
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #47
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 15	Core Weight: 1	Total Weight: 7950
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #48
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 22	Core Weight: 1	Total Weight: 7951
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #49
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 10	Core Weight: 1	Total Weight: 7952
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #50
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 6	Core Weight: 1	Total Weight: 7953
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #51
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 5	Core Weight: 1	Total Weight: 7954
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #52
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 52	Core Weight: 1	Total Weight: 7955
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #53
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 18	Core Weight: 1	Total Weight: 7956
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #54
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 22	Core Weight: 1	Total Weight: 7957
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #55
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 8	Core Weight: 1	Total Weight: 7958
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c core #56
183.35/183.41	c 
183.35/183.41	c 
183.35/183.41	c Core size: 16	Core Weight: 1	Total Weight: 7959
183.35/183.41	c
183.35/183.41	c
183.35/183.41	c ============================[ Search Statistics ]==============================
183.35/183.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.35/183.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.35/183.41	c ===============================================================================
183.35/183.41	c |         0 |     879    17151    10530 |     5717        0    nan |  0.000 % |
183.35/183.41	c ===============================================================================
183.55/183.62	c core #57
183.55/183.62	c 
183.55/183.62	c 
183.55/183.62	c Core size: 19	Core Weight: 1	Total Weight: 7960
183.55/183.62	c
183.55/183.62	c
183.55/183.62	c core #58
183.55/183.62	c 
183.55/183.62	c 
183.55/183.62	c Core size: 22	Core Weight: 1	Total Weight: 7961
183.55/183.62	c
183.55/183.62	c
183.55/183.62	c core #59
183.55/183.62	c 
183.55/183.62	c 
183.55/183.62	c Core size: 13	Core Weight: 1	Total Weight: 7962
183.55/183.62	c
183.55/183.62	c
183.55/183.62	c core #60
183.55/183.62	c 
183.55/183.62	c 
183.55/183.62	c Core size: 9	Core Weight: 1502	Total Weight: 9464
183.55/183.62	c
183.55/183.62	c
183.55/183.62	c ============================[ Search Statistics ]==============================
183.55/183.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.55/183.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.55/183.62	c ===============================================================================
183.55/183.62	c |         0 |     907    17163    11322 |     5721        0    nan |  0.000 % |
183.55/183.62	c ===============================================================================
183.55/183.68	c core #61
183.55/183.68	c 
183.55/183.68	c 
183.55/183.68	c Core size: 31	Core Weight: 1	Total Weight: 9465
183.55/183.68	c
183.55/183.68	c
183.55/183.68	c ============================[ Search Statistics ]==============================
183.55/183.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.55/183.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.55/183.68	c ===============================================================================
183.55/183.68	c |         0 |     774    17167    11380 |     5722        0    nan |  0.000 % |
183.55/183.68	c ===============================================================================
183.55/183.70	c #cores: 61
183.55/183.70	c Final Weight: 9465
183.55/183.70	o 9465
183.55/183.70	s OPTIMUM FOUND
183.55/183.70	v -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 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 x5489 -x5490 -x5491 -x5492 -x5493 -x5494 x5495 -x5496 x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 x5558 x5559 x5560 -x5561 x5562 x5563 x5564 -x5565 -x5566 x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 x5598 x5599 x1 -x2 -x3 x4 -x5 x6 -x7 -x8 -x9 x10 -x11 x12 -x13 x14 -x15 -x16 x17 -x18 -x19 x20 x21 -x22 -x23 x24 -x25 x26 -x27 x28 x29 -x30 x31 -x32 x33 x34 -x35 x36 -x37 -x38 -x39 x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 x89 -x90 x91 x92 x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 x137 -x138 x139 -x140 x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 x152 -x153 x154 -x155 -x156 x157 -x158 -x159 -x160 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 x239 -x240 -x241 x242 -x243 -x244 -x245 -x246 x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 x265 -x266 -x267 x268 -x269 x270 x271 -x272 x273 -x274 x275 x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 x290 -x291 x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 x313 -x314 -x315 -x316 x317 x318 -x319 -x320 x321 x322 -x323 x324 x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 x341 -x342 -x343 -x344 -x345 x346 -x347 x348 -x349 x350 x351 -x352 x353 x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 x368 -x369 -x370 x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 -x399 -x400 -x401 x402 x403 x404 x405 x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 x440 -x441 x442 x443 x444 -x445 -x446 -x447 -x448 -x449 x450 x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 x469 x470 -x471 -x472 x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 x484 x485 -x486 x487 -x488 -x489 x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 x502 x503 -x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 x512 -x513 x514 -x515 x516 -x517 -x518 x519 x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 x540 -x541 -x542 x543 -x544 x545 -x546 -x547 x548 -x549 x550 x551 -x552 -x553 x554 -x555 x556 x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616 -x617 -x618 -x619 x620 x621 -x622 -x623 x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 x636 -x637 x638 x639 -x640 -x641 x642 -x643 x644 -x645 x646 -x647 -x648 -x649 -x650 x651 -x652 x653 x654 -x655 x656 x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 x665 x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 x701 x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 x714 x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 x727 -x728 -x729 x730 x731 -x732 -x733 -x734 x735 -x736 x737 -x738 x739 x740 -x741 x742 x743 x744 -x745 x746 -x747 -x748 -x749 x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 x763 -x764 -x765 x766 -x767 x768 -x769 -x770 x771 -x772 x773 -x774 x775 -x776 -x777 x778 x779 x780 -x781 -x782 -x783 x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 x794 -x795 -x796 x797 -x798 x799 -x800 -x801 -x802 -x803 x804 -x805 x806 x807 -x808 -x809 -x810 -x811 x812 -x813 x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 x825 x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 x834 x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 x843 -x844 -x845 x846 -x847 x848 -x849 -x850 x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 x867 -x868 x869 x870 -x871 x872 -x873 x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 x882 -x883 -x884 -x885 x886 -x887 -x888 -x889 x890 x891 -x892 -x893 x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 x919 -x920 -x921 -x922 -x923 x924 x925 -x926 x927 x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 x943 -x944 x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 x991 -x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 x1002 x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x1110 x1111 x1112 x1113 -x1114 x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 -x1134 x1135 -x1136 x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 x1149 x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 x1168 x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 x1205 x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 -x1213 -x1214 x1215 -x1216 x1217 -x1218 x1219 x1220 -x1221 -x1222 -x1223 -x1224 x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 -x1239 x1240 -x1241 -x1242 x1243 x1244 -x1245 -x1246 x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x1270 -x1271 -x1272 x1273 -x1274 x1275 x1276 x1277 x1278 x1279 -x1280 -x1281 x1282 -x1283 -x1284 x1285 -x1286 x1287 -x1288 -x1289 x1290 -x1291 x1292 -x1293 x1294 -x1295 x1296 -x1297 x1298 -x1299 -x1300 x1301 x1302 -x1303 -x1304 -x1305 -x1306 x1307 -x1308 x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 x1316 x1317 -x1318 -x1319 x1320 -x1321 -x1322 -x1323 x1324 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 x1340 -x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 x1390 -x1391 -x1392 x1393 -x1394 x1395 -x1396 x1397 -x1398 -x1399 x1400 -x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 x1425 x1426 x1427 -x1428 -x1429 -x1430 -x1431 x1432 -x1433 x1434 -x1435 -x1436 x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 x1449 -x1450 x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 x1465 x1466 -x1467 x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 x1476 -x1477 -x1478 x1479 -x1480 -x1481 -x1482 -x1483 x1484 -x1485 x1486 -x1487 -x1488 -x1489 x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 x1502 -x1503 -x1504 x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 x1538 -x1539 -x1540 -x1541 x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 x1561 x1562 x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 -x1578 -x1579 -x1580 x1581 -x1582 x1583 -x1584 -x1585 x1586 -x1587 -x1588 -x1589 x1590 x1591 x1592 x1593 x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 x1628 x1629 -x1630 -x1631 -x1632 x1633 x1634 x1635 x1636 x1637 x1638 x1639 -x1640 x1641 -x1642 -x1643 -x1644 x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 x1662 -x1663 x1664 -x1665 x1666 -x1667 -x1668 x1669 x1670 x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 x1679 -x1680 x1681 x1682 -x1683 x1684 -x1685 -x1686 -x1687 x1688 -x1689 -x1690 x1691 x1692 -x1693 -x1694 x1695 -x1696 -x1697 -x1698 -x1699 x1700 -x1701 -x1702 -x1703 x1704 -x1705 -x1706 x1707 -x1708 -x1709 -x1710 x1711 -x1712 x1713 -x1714 x1715 x1716 -x1717 -x1718 -x1719 -x1720 -x1721 x1722 x1723 -x1724 -x1725 x1726 -x1727 -x1728 x1729 -x1730 x1731 -x1732 x1733 -x1734 x1735 x1736 -x1737 x1738 -x1739 x1740 -x1741 x1742 -x1743 -x1744 -x1745 -x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 x1760 x1761 -x1762 -x1763 x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 x1795 -x1796 x1797 -x1798 x1799 x1800 -x1801 x1802 -x1803 -x1804 x1805 -x1806 x1807 -x1808 x1809 -x1810 -x1811 -x1812 -x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 x1820 -x1821 -x1822 x1823 -x1824 -x1825 -x1826 -x1827 x1828 -x1829 x1830 -x1831 x1832 -x1833 -x1834 x1835 -x1836 -x1837 x1838 x1839 x1840 x1841 x1842 x1843 -x1844 -x1845 x1846 x1847 -x1848 -x1849 x1850 x1851 -x1852 -x1853 x1854 -x1855 -x1856 -x1857 -x1858 -x1859 x1860 x1861 -x1862 x1863 -x1864 x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 x1894 -x1895 -x1896 -x1897 -x1898 -x1899 x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 x1914 x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 x1928 x1929 -x1930 x1931 -x1932 -x1933 x1934 -x1935 -x1936 x1937 -x1938 x1939 -x1940 x1941 -x1942 x1943 -x1944 x1945 -x1946 x1947 x1948 -x1949 -x1950 -x1951 -x1952 x1953 -x1954 x1955 x1956 -x1957 -x1958 -x1959 -x1960 x1961 -x1962 x1963 -x1964 x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 x1972 -x1973 x1974 -x1975 x1976 -x1977 -x1978 -x1979 -x1980 x1981 -x1982 -x1983 -x1984 x1985 -x1986 -x1987 x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 x1996 -x1997 x1998 -x1999 -x2000 x2001 x2002 -x2003 -x2004 -x2005 x2006 -x2007 -x2008 x2009 -x2010 x2011 x2012 -x2013 x2014 x2015 -x2016 x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 x2028 -x2029 -x2030 -x2031 -x2032 -x2033 x2034 -x2035 x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 x2055 -x2056 x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 x2064 -x2065 -x2066 x2067 -x2068 x2069 -x2070 -x2071 x2072 -x2073 x2074 -x2075 x2076 x2077 -x2078 -x2079 -x2080 -x2081 -x2082 x2083 -x2084 -x2085 -x2086 x2087 -x2088 x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 x2098 x2099 -x2100 -x2101 x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 x2110 x2111 -x2112 -x2113 -x2114 x2115 x2116 -x2117 x2118 x2119 -x2120 x2121 -x2122 -x2123 x2124 -x2125 x2126 x2127 -x2128 -x2129 -x2130 x2131 -x2132 x2133 -x2134 x2135 -x2136 -x2137 x2138 x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 x2156 -x2157 x2158 -x2159 x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 -x2167 x2168 -x2169 -x2170 x2171 x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 x2191 x2192 x2193 x2194 x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 x2215 -x2216 x2217 -x2218 x2219 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 x2229 -x2230 x2231 x2232 -x2233 -x2234 x2235 -x2236 x2237 -x2238 -x2239 -x2240 -x2241 x2242 -x2243 x2244 -x2245 -x2246 -x2247 -x2248 -x2249 x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 x2274 -x2275 -x2276 x2277 -x2278 x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 x2290 -x2291 x2292 x2293 -x2294 -x2295 x2296 -x2297 -x2298 -x2299 x2300 -x2301 x2302 -x2303 x2304 x2305 -x2306 -x2307 -x2308 -x2309 -x2310 x2311 -x2312 -x2313 x2314 -x2315 -x2316 -x2317 x2318 -x2319 -x2320 x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 x2329 -x2330 x2331 x2332 -x2333 -x2334 x2335 x2336 -x2337 -x2338 -x2339 -x2340 x2341 -x2342 x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 x2357 -x2358 -x2359 x2360 x2361 -x2362 -x2363 -x2364 -x2365 x2366 x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 -x2384 x2385 -x2386 x2387 -x2388 -x2389 x2390 x2391 -x2392 x2393 -x2394 -x2395 x2396 x2397 x2398 -x2399 x2400 x2401 -x2402 -x2403 -x2404 -x2405 x2406 -x2407 x2408 -x2409 -x2410 -x2411 -x2412 -x2413 x2414 -x2415 x2416 x2417 -x2418 -x2419 -x2420 -x2421 x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 x2434 -x2435 x2436 -x2437 -x2438 -x2439 x2440 -x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 -x2448 -x2449 -x2450 x2451 x2452 -x2453 x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 x2466 -x2467 x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 x2477 -x2478 -x2479 x2480 x2481 -x2482 -x2483 -x2484 x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 x2498 x2499 -x2500 x2501 -x2502 -x2503 x2504 -x2505 x2506 -x2507 x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 x2531 -x2532 -x2533 x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 x2550 -x2551 x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 x2559 -x2560 x2561 -x2562 -x2563 x2564 -x2565 x2566 x2567 -x2568 -x2569 -x2570 x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 x2598 x2599 -x2600 -x2601 -x2602 -x2603 x2604 x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 x2616 x2617 -x2618 -x2619 -x2620 -x2621 x2622 -x2623 x2624 -x2625 -x2626 x2627 -x2628 -x2629 -x2630 -x2631 x2632 -x2633 -x2634 x2635 -x2636 -x2637 -x2638 -x2639 -x2640 x2641 -x2642 -x2643 x2644 x2645 -x2646 -x2647 x2648 -x2649 -x2650 -x2651 -x2652 x2653 x2654 -x2655 -x2656 -x2657 x2658 x2659 x2660 x2661 -x2662 -x2663 x2664 -x2665 x2666 -x2667 -x2668 x2669 x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 x2689 -x2690 -x2691 -x2692 x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 x2703 -x2704 x2705 x2706 -x2707 -x2708 -x2709 x2710 x2711 -x2712 x2713 x2714 -x2715 -x2716 -x2717 x2718 -x2719 -x2720 -x2721 x2722 -x2723 -x2724 -x2725 -x2726 -x2727 x2728 -x2729 -x2730 x2731 -x2732 -x2733 x2734 -x2735 x2736 x2737 x2738 -x2739 -x2740 x2741 -x2742 x2743 -x2744 -x2745 -x2746 -x2747 -x2748 x2749 -x2750 -x2751 -x2752 -x2753 x2754 x2755 -x2756 -x2757 -x2758 -x2759 x2760 -x2761 -x2762 x2763 -x2764 -x2765 x2766 -x2767 x2768 -x2769 -x2770 -x2771 -x2772 x2773 -x2774 x2775 -x2776 x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 x2788 -x2789 -x2790 x2791 -x2792 -x2793 -x2794 -x2795 x2796 -x2797 -x2798 x2799 -x2800 -x2801 -x2802 x2803 x2804 -x2805 -x2806 x2807 -x2808 x2809 -x2810 x2811 -x2812 -x2813 x2814 -x2815 -x2816 -x2817 x2818 -x2819 -x2820 -x2821 x2822 x2823 -x2824 -x2825 -x2826 x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 x2839 -x2840 -x2841 -x2842 x2843 -x2844 -x2845 x2846 -x2847 x2848 -x2849 x2850 -x2851 x2852 x2853 x2854 -x2855 -x2856 x2857 -x2858 x2859 -x2860 x2861 -x2862 x2863 -x2864 x2865 x2866 -x2867 -x2868 -x2869 -x2870 -x2871 x2872 -x2873 -x2874 -x2875 x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 x2894 -x2895 x2896 -x2897 -x2898 -x2899 -x2900 x2901 -x2902 -x2903 -x2904 x2905 -x2906 -x2907 x2908 x2909 x2910 x2911 x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 x2922 -x2923 -x2924 -x2925 x2926 -x2927 -x2928 -x2929 x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 x2948 -x2949 x2950 -x2951 -x2952 -x2953 x2954 -x2955 -x2956 -x2957 x2958 -x2959 -x2960 -x2961 x2962 x2963 x2964 x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517
183.55/183.70	c Total CPU time: 183.013 s

Verifier Data 

OK	9465

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2683458-1277509858/watcher-2683458-1277509858 -o /tmp/evaluation-result-2683458-1277509858/solver-2683458-1277509858 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683458-1277509858.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.01 1.03 1.00 3/105 31236
/proc/meminfo: memFree=1820508/2059040 swapFree=4135356/4192956
[pid=31236] ppid=31234 vsize=3664 CPUtime=0
/proc/31236/stat : 31236 (wbo1.4b) R 31234 31236 30933 0 -1 4202496 367 0 0 0 0 0 0 0 25 0 1 0 92279678 3751936 285 1992294400 134512640 135752675 4290998016 18446744073709551615 134564635 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31236/statm: 916 285 140 303 0 415 0

[startup+0.064751 s]
/proc/loadavg: 1.01 1.03 1.00 3/105 31236
/proc/meminfo: memFree=1820508/2059040 swapFree=4135356/4192956
[pid=31236] ppid=31234 vsize=4692 CPUtime=0.06
/proc/31236/stat : 31236 (wbo1.4b) R 31234 31236 30933 0 -1 4202496 705 0 0 0 6 0 0 0 25 0 1 0 92279678 4804608 623 1992294400 134512640 135752675 4290998016 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31236/statm: 1173 623 240 303 0 672 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4692

[startup+0.101753 s]
/proc/loadavg: 1.01 1.03 1.00 3/105 31236
/proc/meminfo: memFree=1820508/2059040 swapFree=4135356/4192956
[pid=31236] ppid=31234 vsize=5324 CPUtime=0.09
/proc/31236/stat : 31236 (wbo1.4b) R 31234 31236 30933 0 -1 4202496 923 0 0 0 9 0 0 0 25 0 1 0 92279678 5451776 841 1992294400 134512640 135752675 4290998016 18446744073709551615 134558099 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31236/statm: 1331 841 305 303 0 830 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5324

[startup+0.301773 s]
/proc/loadavg: 1.01 1.03 1.00 3/105 31236
/proc/meminfo: memFree=1820508/2059040 swapFree=4135356/4192956
[pid=31236] ppid=31234 vsize=6612 CPUtime=0.29
/proc/31236/stat : 31236 (wbo1.4b) R 31234 31236 30933 0 -1 4202496 1457 0 0 0 29 0 0 0 25 0 1 0 92279678 6770688 1179 1992294400 134512640 135752675 4290998016 18446744073709551615 134580087 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31236/statm: 1653 1179 142 303 0 1348 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6612

[startup+0.701813 s]
/proc/loadavg: 1.01 1.03 1.00 3/105 31236
/proc/meminfo: memFree=1820508/2059040 swapFree=4135356/4192956
[pid=31236] ppid=31234 vsize=6612 CPUtime=0.69
/proc/31236/stat : 31236 (wbo1.4b) R 31234 31236 30933 0 -1 4202496 1466 0 0 0 69 0 0 0 25 0 1 0 92279678 6770688 1188 1992294400 134512640 135752675 4290998016 18446744073709551615 134517411 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31236/statm: 1653 1188 142 303 0 1348 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6612

[startup+1.50189 s]
/proc/loadavg: 1.01 1.03 1.00 2/106 31237
/proc/meminfo: memFree=1816160/2059040 swapFree=4135356/4192956
[pid=31236] ppid=31234 vsize=7272 CPUtime=1.49
/proc/31236/stat : 31236 (wbo1.4b) R 31234 31236 30933 0 -1 4202496 1642 0 0 0 149 0 0 0 25 0 1 0 92279678 7446528 1364 1992294400 134512640 135752675 4290998016 18446744073709551615 134524619 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31236/statm: 1818 1364 142 303 0 1513 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7272

[startup+3.10105 s]
/proc/loadavg: 1.01 1.03 1.00 2/106 31237
/proc/meminfo: memFree=1813804/2059040 swapFree=4135356/4192956
[pid=31236] ppid=31234 vsize=8724 CPUtime=3.09
/proc/31236/stat : 31236 (wbo1.4b) R 31234 31236 30933 0 -1 4202496 2012 0 0 0 300 9 0 0 18 0 1 0 92279678 8933376 1734 1992294400 134512640 135752675 4290998016 18446744073709551615 134599276 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31236/statm: 2181 1734 144 303 0 1876 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8724

[startup+6.30137 s]
/proc/loadavg: 1.00 1.03 1.00 2/106 31237
/proc/meminfo: memFree=1812812/2059040 swapFree=4135356/4192956
[pid=31236] ppid=31234 vsize=10404 CPUtime=6.29
/proc/31236/stat : 31236 (wbo1.4b) R 31234 31236 30933 0 -1 4202496 2432 0 0 0 618 11 0 0 21 0 1 0 92279678 10653696 2154 1992294400 134512640 135752675 4290998016 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31236/statm: 2601 2154 145 303 0 2296 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10404

[startup+12.701 s]
/proc/loadavg: 1.00 1.03 1.00 2/106 31237
/proc/meminfo: memFree=1806628/2059040 swapFree=4135356/4192956
[pid=31236] ppid=31234 vsize=16136 CPUtime=12.69
/proc/31236/stat : 31236 (wbo1.4b) R 31234 31236 30933 0 -1 4202496 3864 0 0 0 1254 15 0 0 20 0 1 0 92279678 16523264 3586 1992294400 134512640 135752675 4290998016 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31236/statm: 4034 3586 145 303 0 3729 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16136

[startup+25.5013 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 31237
/proc/meminfo: memFree=1799312/2059040 swapFree=4135356/4192956
[pid=31236] ppid=31234 vsize=23136 CPUtime=25.48
/proc/31236/stat : 31236 (wbo1.4b) R 31234 31236 30933 0 -1 4202496 5608 0 0 0 2529 19 0 0 22 0 1 0 92279678 23691264 5330 1992294400 134512640 135752675 4290998016 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31236/statm: 5784 5330 145 303 0 5479 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23136

[startup+51.1009 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 31237
/proc/meminfo: memFree=1789144/2059040 swapFree=4135356/4192956
[pid=31236] ppid=31234 vsize=33252 CPUtime=51.07
/proc/31236/stat : 31236 (wbo1.4b) R 31234 31236 30933 0 -1 4202496 8134 0 0 0 5080 27 0 0 25 0 1 0 92279678 34050048 7856 1992294400 134512640 135752675 4290998016 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31236/statm: 8313 7856 145 303 0 8008 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 33252

[startup+102.308 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 31239
/proc/meminfo: memFree=1774636/2059040 swapFree=4135356/4192956
[pid=31236] ppid=31234 vsize=47356 CPUtime=102.27
/proc/31236/stat : 31236 (wbo1.4b) R 31234 31236 30933 0 -1 4202496 11674 0 0 0 10190 37 0 0 25 0 1 0 92279678 48492544 11396 1992294400 134512640 135752675 4290998016 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31236/statm: 11839 11396 145 303 0 11534 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 47356

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 31241
/proc/meminfo: memFree=1760748/2059040 swapFree=4135356/4192956
[pid=31236] ppid=31234 vsize=61152 CPUtime=162.25
/proc/31236/stat : 31236 (wbo1.4b) R 31234 31236 30933 0 -1 4202496 15119 0 0 0 16174 51 0 0 25 0 1 0 92279678 62619648 14841 1992294400 134512640 135752675 4290998016 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31236/statm: 15288 14841 145 303 0 14983 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 61152

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

[startup+166.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 31241
/proc/meminfo: memFree=1760004/2059040 swapFree=4135356/4192956
[pid=31236] ppid=31234 vsize=61804 CPUtime=166.25
/proc/31236/stat : 31236 (wbo1.4b) R 31234 31236 30933 0 -1 4202496 15282 0 0 0 16573 52 0 0 25 0 1 0 92279678 63287296 15004 1992294400 134512640 135752675 4290998016 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31236/statm: 15451 15004 145 303 0 15146 0
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (KiB) 61804

[startup+172.709 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 31241
/proc/meminfo: memFree=1758888/2059040 swapFree=4135356/4192956
[pid=31236] ppid=31234 vsize=62972 CPUtime=172.66
/proc/31236/stat : 31236 (wbo1.4b) R 31234 31236 30933 0 -1 4202496 15572 0 0 0 17213 53 0 0 20 0 1 0 92279678 64483328 15294 1992294400 134512640 135752675 4290998016 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31236/statm: 15743 15294 145 303 0 15438 0
Current children cumulated CPU time (s) 172.66
Current children cumulated vsize (KiB) 62972

[startup+179.102 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 31241
/proc/meminfo: memFree=1758020/2059040 swapFree=4135356/4192956
[pid=31236] ppid=31234 vsize=64004 CPUtime=179.05
/proc/31236/stat : 31236 (wbo1.4b) R 31234 31236 30933 0 -1 4202496 15836 0 0 0 17851 54 0 0 18 0 1 0 92279678 65540096 15558 1992294400 134512640 135752675 4290998016 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31236/statm: 16001 15558 145 303 0 15696 0
Current children cumulated CPU time (s) 179.05
Current children cumulated vsize (KiB) 64004

[startup+182.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 31241
/proc/meminfo: memFree=1751820/2059040 swapFree=4135356/4192956
[pid=31236] ppid=31234 vsize=105748 CPUtime=182.24
/proc/31236/stat : 31236 (wbo1.4b) R 31234 31236 30933 0 -1 4202496 26400 0 0 0 18166 58 0 0 25 0 1 0 92279678 108285952 25990 1992294400 134512640 135752675 4290998016 18446744073709551615 134635471 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31236/statm: 26437 25990 146 303 0 26132 0
Current children cumulated CPU time (s) 182.24
Current children cumulated vsize (KiB) 105748

[startup+183.101 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 31241
/proc/meminfo: memFree=1706560/2059040 swapFree=4135356/4192956
[pid=31236] ppid=31234 vsize=141644 CPUtime=183.05
/proc/31236/stat : 31236 (wbo1.4b) R 31234 31236 30933 0 -1 4202496 35395 0 0 0 18243 62 0 0 25 0 1 0 92279678 145043456 34985 1992294400 134512640 135752675 4290998016 18446744073709551615 135200859 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31236/statm: 35411 34985 146 303 0 35106 0
Current children cumulated CPU time (s) 183.05
Current children cumulated vsize (KiB) 141644

[startup+183.501 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 31241
/proc/meminfo: memFree=1706560/2059040 swapFree=4135356/4192956
[pid=31236] ppid=31234 vsize=157676 CPUtime=183.45
/proc/31236/stat : 31236 (wbo1.4b) R 31234 31236 30933 0 -1 4202496 39394 0 0 0 18282 63 0 0 18 0 1 0 92279678 161460224 38984 1992294400 134512640 135752675 4290998016 18446744073709551615 134548261 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31236/statm: 39419 38987 146 303 0 39114 0
Current children cumulated CPU time (s) 183.45
Current children cumulated vsize (KiB) 157676

[startup+183.708 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 31241
/proc/meminfo: memFree=1659688/2059040 swapFree=4135356/4192956
[pid=31236] ppid=31234 vsize=0 CPUtime=183.65
/proc/31236/stat : 31236 (wbo1.4b) R 31234 31236 30933 0 -1 4202500 41500 0 0 0 18301 64 0 0 18 0 1 0 92279678 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/31236/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 183.65
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 183.72
CPU time (s): 183.672
CPU user time (s): 183.013
CPU system time (s): 0.658899
CPU usage (%): 99.9741
Max. virtual memory (cumulated for all children) (KiB): 162240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 183.013
system time used= 0.658899
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41500
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= 83
involuntary context switches= 2084

runsolver used 0.288956 second user time and 0.937857 second system time

The end

Launcher Data 

Begin job on node084 at 2010-06-26 01:50:58
IDJOB=2683458
IDBENCH=72113
IDSOLVER=1190
FILE ID=node084/2683458-1277509858
PBS_JOBID= 11190627
Free space on /tmp= 62456 MiB

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

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

MD5SUM BENCH= 6a41ff06797480ccf0516b3ef32f0a0b
RANDOM SEED=51031349

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1821036 kB
Buffers:         36892 kB
Cached:         104920 kB
SwapCached:       9812 kB
Active:          88588 kB
Inactive:        66072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1821036 kB
SwapTotal:     4192956 kB
SwapFree:      4135356 kB
Dirty:            3380 kB
Writeback:           0 kB
AnonPages:       11448 kB
Mapped:           8336 kB
Slab:            61508 kB
PageTables:       4156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180792 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62452 MiB
End job on node084 at 2010-06-26 01:54:02