Trace number 2683276

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)OPT5106 183.683 183.746

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-rand5d20db.cudf.paranoid.opb
MD5SUMd362b0878aae0270b57b34b0bb6d5f96
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5106
Best CPU time to get the best result obtained on this benchmark2.6256
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5745
Total number of constraints26313
Number of constraints which are clauses26038
Number of constraints which are cardinality constraints (but not clauses)275
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 2146
Biggest coefficient in the objective function 1597
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 881542
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1597
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 881542
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-2683276-1277508615.opb.
0.00/0.00	c Instance file HOME/instance-2683276-1277508615.opb
0.00/0.00	c File size is 840057 bytes.
0.09/0.13	c Highest Coefficient sum: 553
0.09/0.13	c ============================[ Problem Statistics ]=============================
0.09/0.13	c |                                                                             |
0.09/0.13	c |  Parsing time:          0.13         s                                      |
0.09/0.13	c |  Number Variables:      5745                                                |
0.09/0.13	c |  Number Clauses:        26038                                               |
0.09/0.13	c |  Number Cardinality:    275                                                 |
0.09/0.13	c |  Number PB Constraints: 0                                                   |
2.59/2.68	c ============================[ Search Statistics ]==============================
2.59/2.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.59/2.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.59/2.68	c ===============================================================================
2.59/2.68	c |         0 |    3720    27888    53328 |     8771        0    nan |  0.000 % |
2.59/2.69	c ===============================================================================
2.59/2.69	c New solution: 433434
2.59/2.69	o 433434
2.59/2.69	c Elapsed CPU time: 2.68059 s	Remaining CPU time: 177.319 s
2.59/2.69	c ===============================================================================
2.59/2.69	c |        14 |    3720    27889    55381 |     9296       14      6 |  0.000 % |
2.69/2.70	c ===============================================================================
2.69/2.70	c New solution: 431870
2.69/2.70	o 431870
2.69/2.70	c Elapsed CPU time: 2.68959 s	Remaining CPU time: 177.31 s
2.69/2.70	c ===============================================================================
2.69/2.70	c |        18 |    3720    27890    57434 |     9296       18      6 |  0.000 % |
2.69/2.72	c ===============================================================================
2.69/2.72	c New solution: 380783
2.69/2.72	o 380783
2.69/2.72	c Elapsed CPU time: 2.70059 s	Remaining CPU time: 177.299 s
2.69/2.72	c ===============================================================================
2.69/2.72	c |        33 |    3720    27891    59487 |     9297       33      7 |  0.000 % |
2.69/2.73	c ===============================================================================
2.69/2.73	c New solution: 329624
2.69/2.73	o 329624
2.69/2.73	c Elapsed CPU time: 2.71159 s	Remaining CPU time: 177.288 s
2.69/2.73	c ===============================================================================
2.69/2.73	c |        39 |    3720    27892    61540 |     9297       39      6 |  0.000 % |
2.69/2.74	c ===============================================================================
2.69/2.74	c New solution: 284874
2.69/2.74	o 284874
2.69/2.74	c Elapsed CPU time: 2.71959 s	Remaining CPU time: 177.28 s
2.69/2.74	c ===============================================================================
2.69/2.74	c |        41 |    3720    27893    63593 |     9297       41      7 |  0.000 % |
2.69/2.75	c ===============================================================================
2.69/2.75	c New solution: 257730
2.69/2.75	o 257730
2.69/2.75	c Elapsed CPU time: 2.72858 s	Remaining CPU time: 177.271 s
2.69/2.75	c ===============================================================================
2.69/2.75	c |        42 |    3720    27894    65646 |     9298       42      7 |  0.000 % |
2.69/2.76	c ===============================================================================
2.69/2.76	c New solution: 257729
2.69/2.76	o 257729
2.69/2.76	c Elapsed CPU time: 2.74258 s	Remaining CPU time: 177.257 s
2.69/2.76	c ===============================================================================
2.69/2.76	c |        51 |    3720    27895    67699 |     9298       51      6 |  0.000 % |
2.69/2.78	c ===============================================================================
2.69/2.78	c New solution: 257728
2.69/2.78	o 257728
2.69/2.78	c Elapsed CPU time: 2.75258 s	Remaining CPU time: 177.247 s
2.69/2.78	c ===============================================================================
2.69/2.78	c |        58 |    3720    27896    69752 |     9298       58      6 |  0.000 % |
2.79/2.81	c ===============================================================================
2.79/2.81	c New solution: 219516
2.79/2.81	o 219516
2.79/2.81	c Elapsed CPU time: 2.77858 s	Remaining CPU time: 177.221 s
2.79/2.81	c ===============================================================================
2.79/2.81	c |        89 |    3720    27897    71805 |     9299       89      6 |  0.000 % |
2.79/2.83	c ===============================================================================
2.79/2.83	c New solution: 219401
2.79/2.83	o 219401
2.79/2.83	c Elapsed CPU time: 2.79857 s	Remaining CPU time: 177.201 s
2.79/2.83	c ===============================================================================
2.79/2.83	c |        98 |    3720    27898    73858 |     9299       98      5 |  0.000 % |
2.79/2.85	c ===============================================================================
2.79/2.85	c New solution: 219399
2.79/2.85	o 219399
2.79/2.85	c Elapsed CPU time: 2.81157 s	Remaining CPU time: 177.188 s
2.79/2.85	c ===============================================================================
2.79/2.85	c |       100 |    3720    27899    75911 |     9299      100      5 |  0.000 % |
2.79/2.86	c ===============================================================================
2.79/2.86	c New solution: 192356
2.79/2.86	o 192356
2.79/2.86	c Elapsed CPU time: 2.83157 s	Remaining CPU time: 177.168 s
2.79/2.86	c ===============================================================================
2.79/2.86	c |       110 |    3720    27900    77964 |     9300      110      5 |  0.000 % |
2.79/2.88	c ===============================================================================
2.79/2.88	c New solution: 192246
2.79/2.88	o 192246
2.79/2.88	c Elapsed CPU time: 2.84557 s	Remaining CPU time: 177.154 s
2.79/2.88	c ===============================================================================
2.79/2.88	c |       115 |    3720    27901    80017 |     9300      115      5 |  0.000 % |
2.89/2.91	c ===============================================================================
2.89/2.91	c New solution: 192245
2.89/2.91	o 192245
2.89/2.91	c Elapsed CPU time: 2.87656 s	Remaining CPU time: 177.123 s
2.89/2.91	c ===============================================================================
2.89/2.91	c |       117 |    3720    27902    82070 |     9300      117      5 |  0.000 % |
2.89/2.94	c ===============================================================================
2.89/2.94	c New solution: 177856
2.89/2.94	o 177856
2.89/2.94	c Elapsed CPU time: 2.89556 s	Remaining CPU time: 177.104 s
2.89/2.94	c ===============================================================================
2.89/2.94	c |       131 |    3720    27903    84123 |     9301      131      5 |  0.000 % |
2.89/2.96	c ===============================================================================
2.89/2.96	c New solution: 150752
2.89/2.96	o 150752
2.89/2.96	c Elapsed CPU time: 2.91556 s	Remaining CPU time: 177.084 s
2.89/2.96	c ===============================================================================
2.89/2.96	c |       139 |    3720    27904    86176 |     9301      139     10 |  0.000 % |
2.99/3.04	c ===============================================================================
2.99/3.04	c New solution: 149330
2.99/3.04	o 149330
2.99/3.04	c Elapsed CPU time: 2.98355 s	Remaining CPU time: 177.016 s
2.99/3.04	c ===============================================================================
2.99/3.04	c |       207 |    3720    27905    88229 |     9301      207     10 |  0.000 % |
2.99/3.07	c ===============================================================================
2.99/3.07	c New solution: 149176
2.99/3.07	o 149176
2.99/3.07	c Elapsed CPU time: 3.01154 s	Remaining CPU time: 176.988 s
2.99/3.07	c ===============================================================================
2.99/3.07	c |       218 |    3720    27906    90282 |     9302      218     10 |  0.000 % |
2.99/3.09	c ===============================================================================
2.99/3.09	c New solution: 149170
2.99/3.09	o 149170
2.99/3.09	c Elapsed CPU time: 3.03654 s	Remaining CPU time: 176.963 s
2.99/3.09	c ===============================================================================
2.99/3.09	c |       223 |    3720    27907    92335 |     9302      223     10 |  0.000 % |
3.09/3.11	c ===============================================================================
3.09/3.11	c New solution: 149169
3.09/3.11	o 149169
3.09/3.11	c Elapsed CPU time: 3.05454 s	Remaining CPU time: 176.945 s
3.09/3.11	c ===============================================================================
3.09/3.11	c |       228 |    3720    27908    94388 |     9302      228     10 |  0.000 % |
3.09/3.16	c ===============================================================================
3.09/3.16	c New solution: 134816
3.09/3.16	o 134816
3.09/3.16	c Elapsed CPU time: 3.09553 s	Remaining CPU time: 176.904 s
3.09/3.16	c ===============================================================================
3.09/3.16	c |       256 |    3720    27909    96441 |     9303      256     14 |  0.000 % |
3.09/3.18	c ===============================================================================
3.09/3.18	c New solution: 133321
3.09/3.18	o 133321
3.09/3.18	c Elapsed CPU time: 3.11852 s	Remaining CPU time: 176.881 s
3.09/3.18	c ===============================================================================
3.09/3.18	c |       267 |    3720    27910    98494 |     9303      267     13 |  0.000 % |
3.19/3.21	c ===============================================================================
3.19/3.21	c New solution: 133303
3.19/3.21	o 133303
3.19/3.21	c Elapsed CPU time: 3.14152 s	Remaining CPU time: 176.858 s
3.19/3.21	c ===============================================================================
3.19/3.21	c |       275 |    3720    27911   100547 |     9303      275     13 |  0.000 % |
3.19/3.22	c ===============================================================================
3.19/3.22	c New solution: 133209
3.19/3.22	o 133209
3.19/3.22	c Elapsed CPU time: 3.15752 s	Remaining CPU time: 176.842 s
3.19/3.22	c ===============================================================================
3.19/3.22	c |       279 |    3720    27912   102600 |     9304      279     13 |  0.000 % |
3.19/3.24	c ===============================================================================
3.19/3.24	c New solution: 130012
3.19/3.24	o 130012
3.19/3.24	c Elapsed CPU time: 3.17752 s	Remaining CPU time: 176.822 s
3.19/3.24	c ===============================================================================
3.19/3.24	c |       281 |    3720    27913   104653 |     9304      281     13 |  0.000 % |
3.19/3.26	c ===============================================================================
3.19/3.26	c New solution: 130011
3.19/3.26	o 130011
3.19/3.26	c Elapsed CPU time: 3.19251 s	Remaining CPU time: 176.807 s
3.19/3.26	c ===============================================================================
3.19/3.26	c |       282 |    3720    27914   106706 |     9304      282     15 |  0.000 % |
3.19/3.28	c ===============================================================================
3.19/3.28	c New solution: 128465
3.19/3.28	o 128465
3.19/3.28	c Elapsed CPU time: 3.21151 s	Remaining CPU time: 176.788 s
3.19/3.28	c ===============================================================================
3.19/3.28	c |       293 |    3720    27915   108759 |     9305      293     17 |  0.000 % |
3.39/3.44	c |       394 |    3720    27915   108759 |    10235      394    189 | 35.248 % |
3.39/3.48	c ===============================================================================
3.39/3.48	c New solution: 122192
3.39/3.48	o 122192
3.39/3.48	c Elapsed CPU time: 3.40648 s	Remaining CPU time: 176.594 s
3.39/3.48	c ===============================================================================
3.39/3.48	c |       414 |    3720    27916   110812 |     9305      414    180 | 35.248 % |
3.49/3.52	c ===============================================================================
3.49/3.52	c New solution: 120596
3.49/3.52	o 120596
3.49/3.52	c Elapsed CPU time: 3.44248 s	Remaining CPU time: 176.558 s
3.49/3.52	c ===============================================================================
3.49/3.52	c |       427 |    3720    27917   112865 |     9305      427    175 | 35.248 % |
3.49/3.54	c ===============================================================================
3.49/3.54	c New solution: 120588
3.49/3.54	o 120588
3.49/3.54	c Elapsed CPU time: 3.45947 s	Remaining CPU time: 176.541 s
3.49/3.54	c ===============================================================================
3.49/3.54	c |       428 |    3720    27918   114918 |     9306      428    175 | 35.248 % |
3.49/3.55	c ===============================================================================
3.49/3.55	c New solution: 119005
3.49/3.55	o 119005
3.49/3.55	c Elapsed CPU time: 3.47547 s	Remaining CPU time: 176.525 s
3.49/3.55	c ===============================================================================
3.49/3.55	c |       428 |    3720    27919   116971 |     9306      428    175 | 35.248 % |
3.49/3.57	c ===============================================================================
3.49/3.57	c New solution: 119004
3.49/3.57	o 119004
3.49/3.57	c Elapsed CPU time: 3.49547 s	Remaining CPU time: 176.505 s
3.49/3.57	c ===============================================================================
3.49/3.57	c |       430 |    3720    27920   119024 |     9306      430    176 | 35.248 % |
3.59/3.69	c ===============================================================================
3.59/3.69	c New solution: 118845
3.59/3.69	o 118845
3.59/3.69	c Elapsed CPU time: 3.61545 s	Remaining CPU time: 176.385 s
3.59/3.69	c ===============================================================================
3.59/3.69	c |       434 |    3720    27921   121077 |     9307      434    175 | 35.248 % |
3.69/3.71	c ===============================================================================
3.69/3.71	c New solution: 112476
3.69/3.71	o 112476
3.69/3.71	c Elapsed CPU time: 3.62945 s	Remaining CPU time: 176.371 s
3.69/3.71	c ===============================================================================
3.69/3.71	c |       437 |    3720    27922   123130 |     9307      437    174 | 35.248 % |
3.69/3.74	c ===============================================================================
3.69/3.74	c New solution: 112461
3.69/3.74	o 112461
3.69/3.74	c Elapsed CPU time: 3.65444 s	Remaining CPU time: 176.346 s
3.69/3.74	c ===============================================================================
3.69/3.74	c |       440 |    3720    27923   125183 |     9307      440    173 | 35.248 % |
3.69/3.75	c ===============================================================================
3.69/3.75	c New solution: 110880
3.69/3.75	o 110880
3.69/3.75	c Elapsed CPU time: 3.66844 s	Remaining CPU time: 176.332 s
3.69/3.75	c ===============================================================================
3.69/3.75	c |       441 |    3720    27924   127236 |     9308      441    173 | 35.248 % |
3.69/3.77	c ===============================================================================
3.69/3.77	c New solution: 110879
3.69/3.77	o 110879
3.69/3.77	c Elapsed CPU time: 3.68244 s	Remaining CPU time: 176.318 s
3.69/3.77	c ===============================================================================
3.69/3.77	c |       441 |    3720    27925   129289 |     9308      441    173 | 35.248 % |
3.69/3.79	c ===============================================================================
3.69/3.79	c New solution: 109289
3.69/3.79	o 109289
3.69/3.79	c Elapsed CPU time: 3.70144 s	Remaining CPU time: 176.299 s
3.69/3.79	c ===============================================================================
3.69/3.79	c |       443 |    3720    27926   131342 |     9308      443    174 | 35.248 % |
3.79/3.84	c ===============================================================================
3.79/3.84	c New solution: 106232
3.79/3.84	o 106232
3.79/3.84	c Elapsed CPU time: 3.74543 s	Remaining CPU time: 176.255 s
3.79/3.84	c ===============================================================================
3.79/3.84	c |       453 |    3720    27927   133395 |     9309      453    170 | 35.248 % |
3.79/3.85	c ===============================================================================
3.79/3.85	c New solution: 106085
3.79/3.85	o 106085
3.79/3.85	c Elapsed CPU time: 3.76043 s	Remaining CPU time: 176.24 s
3.79/3.85	c ===============================================================================
3.79/3.85	c |       455 |    3720    27928   135448 |     9309      455    169 | 35.248 % |
3.79/3.87	c ===============================================================================
3.79/3.87	c New solution: 104507
3.79/3.87	o 104507
3.79/3.87	c Elapsed CPU time: 3.77643 s	Remaining CPU time: 176.224 s
3.79/3.87	c ===============================================================================
3.79/3.87	c |       455 |    3720    27929   137501 |     9309      455    169 | 35.248 % |
3.79/3.89	c ===============================================================================
3.79/3.89	c New solution: 104506
3.79/3.89	o 104506
3.79/3.89	c Elapsed CPU time: 3.79342 s	Remaining CPU time: 176.207 s
3.79/3.89	c ===============================================================================
3.79/3.89	c |       456 |    3720    27930   139554 |     9310      456    170 | 35.248 % |
3.89/3.95	c ===============================================================================
3.89/3.95	c New solution: 103020
3.89/3.95	o 103020
3.89/3.95	c Elapsed CPU time: 3.85541 s	Remaining CPU time: 176.145 s
3.89/3.95	c ===============================================================================
3.89/3.95	c |       461 |    3720    27931   141607 |     9310      461    173 | 35.248 % |
3.89/3.99	c ===============================================================================
3.89/3.99	c New solution: 102893
3.89/3.99	o 102893
3.89/3.99	c Elapsed CPU time: 3.88741 s	Remaining CPU time: 176.113 s
3.89/3.99	c ===============================================================================
3.89/3.99	c |       468 |    3720    27932   143660 |     9310      468    174 | 35.248 % |
4.09/4.10	c ===============================================================================
4.09/4.10	c New solution: 102852
4.09/4.10	o 102852
4.09/4.10	c Elapsed CPU time: 3.99939 s	Remaining CPU time: 176.001 s
4.09/4.10	c ===============================================================================
4.09/4.10	c |       473 |    3720    27933   145713 |     9311      473    176 | 35.248 % |
4.09/4.16	c ===============================================================================
4.09/4.16	c New solution: 101369
4.09/4.16	o 101369
4.09/4.16	c Elapsed CPU time: 4.05538 s	Remaining CPU time: 175.945 s
4.09/4.16	c ===============================================================================
4.09/4.16	c |       476 |    3720    27934   147766 |     9311      476    175 | 35.248 % |
4.09/4.19	c ===============================================================================
4.09/4.19	c New solution: 101368
4.09/4.19	o 101368
4.09/4.19	c Elapsed CPU time: 4.08938 s	Remaining CPU time: 175.911 s
4.09/4.19	c ===============================================================================
4.09/4.19	c |       476 |    3720    27935   149819 |     9311      476    175 | 35.248 % |
4.19/4.24	c ===============================================================================
4.19/4.24	c New solution: 101367
4.19/4.24	o 101367
4.19/4.24	c Elapsed CPU time: 4.13837 s	Remaining CPU time: 175.862 s
4.19/4.24	c ===============================================================================
4.19/4.24	c |       478 |    3720    27936   151872 |     9312      478    176 | 35.248 % |
4.19/4.28	c ===============================================================================
4.19/4.28	c New solution: 101291
4.19/4.28	o 101291
4.19/4.28	c Elapsed CPU time: 4.17636 s	Remaining CPU time: 175.824 s
4.19/4.28	c ===============================================================================
4.19/4.28	c |       482 |    3720    27937   153925 |     9312      482    175 | 35.248 % |
4.29/4.34	c ===============================================================================
4.29/4.34	c New solution: 101286
4.29/4.34	o 101286
4.29/4.34	c Elapsed CPU time: 4.23336 s	Remaining CPU time: 175.767 s
4.29/4.34	c ===============================================================================
4.29/4.34	c |       485 |    3720    27938   155978 |     9312      485    175 | 35.248 % |
4.49/4.55	c |       587 |    3720    27938   155978 |    10243      587    260 | 35.248 % |
4.79/4.83	c |       737 |    3720    27938   155978 |    11268      737    345 | 35.248 % |
4.89/4.94	c ===============================================================================
4.89/4.94	c New solution: 101256
4.89/4.94	o 101256
4.89/4.94	c Elapsed CPU time: 4.82927 s	Remaining CPU time: 175.171 s
4.89/4.94	c ===============================================================================
4.89/4.94	c |       740 |    3720    27939   158031 |     9313      740    344 | 35.248 % |
4.99/5.04	c ===============================================================================
4.99/5.04	c New solution: 101255
4.99/5.04	o 101255
4.99/5.04	c Elapsed CPU time: 4.92325 s	Remaining CPU time: 175.077 s
4.99/5.04	c ===============================================================================
4.99/5.04	c |       741 |    3720    27940   160084 |     9313      741    344 | 35.248 % |
5.09/5.10	c ===============================================================================
5.09/5.10	c New solution: 99815
5.09/5.10	o 99815
5.09/5.10	c Elapsed CPU time: 4.98624 s	Remaining CPU time: 175.014 s
5.09/5.10	c ===============================================================================
5.09/5.10	c |       754 |    3720    27941   162137 |     9313      754    341 | 35.248 % |
5.09/5.13	c ===============================================================================
5.09/5.13	c New solution: 99690
5.09/5.13	o 99690
5.09/5.13	c Elapsed CPU time: 5.02024 s	Remaining CPU time: 174.98 s
5.09/5.13	c ===============================================================================
5.09/5.13	c |       761 |    3720    27942   164190 |     9314      761    338 | 35.248 % |
5.29/5.33	c ===============================================================================
5.29/5.33	c New solution: 99689
5.29/5.33	o 99689
5.29/5.33	c Elapsed CPU time: 5.21421 s	Remaining CPU time: 174.786 s
5.29/5.33	c ===============================================================================
5.29/5.33	c |       779 |    3720    27943   166243 |     9314      779    343 | 35.248 % |
5.29/5.37	c ===============================================================================
5.29/5.37	c New solution: 98260
5.29/5.37	o 98260
5.29/5.37	c Elapsed CPU time: 5.2502 s	Remaining CPU time: 174.75 s
5.29/5.37	c ===============================================================================
5.29/5.37	c |       782 |    3720    27944   168296 |     9314      782    344 | 35.248 % |
5.39/5.41	c ===============================================================================
5.39/5.41	c New solution: 98074
5.39/5.41	o 98074
5.39/5.41	c Elapsed CPU time: 5.29319 s	Remaining CPU time: 174.707 s
5.39/5.41	c ===============================================================================
5.39/5.41	c |       789 |    3720    27945   170349 |     9315      789    341 | 35.248 % |
5.39/5.44	c ===============================================================================
5.39/5.44	c New solution: 96494
5.39/5.44	o 96494
5.39/5.44	c Elapsed CPU time: 5.32319 s	Remaining CPU time: 174.677 s
5.39/5.44	c ===============================================================================
5.39/5.44	c |       792 |    3720    27946   172402 |     9315      792    341 | 35.248 % |
5.39/5.47	c ===============================================================================
5.39/5.47	c New solution: 96477
5.39/5.47	o 96477
5.39/5.47	c Elapsed CPU time: 5.35618 s	Remaining CPU time: 174.644 s
5.39/5.47	c ===============================================================================
5.39/5.47	c |       793 |    3720    27947   174455 |     9315      793    341 | 35.248 % |
5.50/5.52	c ===============================================================================
5.50/5.52	c New solution: 96473
5.50/5.52	o 96473
5.50/5.52	c Elapsed CPU time: 5.40218 s	Remaining CPU time: 174.598 s
5.50/5.52	c ===============================================================================
5.50/5.52	c |       799 |    3720    27948   176508 |     9316      799    341 | 35.248 % |
5.59/5.64	c ===============================================================================
5.59/5.64	c New solution: 94976
5.59/5.64	o 94976
5.59/5.64	c Elapsed CPU time: 5.52216 s	Remaining CPU time: 174.478 s
5.59/5.64	c ===============================================================================
5.59/5.64	c |       807 |    3720    27949   178561 |     9316      807    337 | 35.248 % |
5.59/5.67	c ===============================================================================
5.59/5.67	c New solution: 94975
5.59/5.67	o 94975
5.59/5.67	c Elapsed CPU time: 5.55215 s	Remaining CPU time: 174.448 s
5.59/5.67	c ===============================================================================
5.59/5.67	c |       808 |    3720    27950   180614 |     9316      808    338 | 35.248 % |
5.79/5.84	c ===============================================================================
5.79/5.84	c New solution: 93407
5.79/5.84	o 93407
5.79/5.84	c Elapsed CPU time: 5.71813 s	Remaining CPU time: 174.282 s
5.79/5.84	c ===============================================================================
5.79/5.84	c |       827 |    3720    27951   182667 |     9317      827    342 | 35.248 % |
5.89/5.94	c ===============================================================================
5.89/5.94	c New solution: 93374
5.89/5.94	o 93374
5.89/5.94	c Elapsed CPU time: 5.81212 s	Remaining CPU time: 174.188 s
5.89/5.94	c ===============================================================================
5.89/5.94	c |       830 |    3720    27952   184720 |     9317      830    342 | 35.248 % |
5.99/6.01	c ===============================================================================
5.99/6.01	c New solution: 93281
5.99/6.01	o 93281
5.99/6.01	c Elapsed CPU time: 5.8861 s	Remaining CPU time: 174.114 s
5.99/6.01	c ===============================================================================
5.99/6.01	c |       833 |    3720    27953   186773 |     9317      833    342 | 35.248 % |
5.99/6.04	c ===============================================================================
5.99/6.04	c New solution: 91765
5.99/6.04	o 91765
5.99/6.04	c Elapsed CPU time: 5.9151 s	Remaining CPU time: 174.085 s
5.99/6.04	c ===============================================================================
5.99/6.04	c |       833 |    3720    27954   188826 |     9318      833    342 | 35.248 % |
5.99/6.09	c ===============================================================================
5.99/6.09	c New solution: 91664
5.99/6.09	o 91664
5.99/6.09	c Elapsed CPU time: 5.96209 s	Remaining CPU time: 174.038 s
5.99/6.09	c ===============================================================================
5.99/6.09	c |       838 |    3720    27955   190879 |     9318      838    343 | 35.248 % |
6.09/6.14	c ===============================================================================
6.09/6.14	c New solution: 90179
6.09/6.14	o 90179
6.09/6.14	c Elapsed CPU time: 6.01509 s	Remaining CPU time: 173.985 s
6.09/6.14	c ===============================================================================
6.09/6.14	c |       839 |    3720    27956   192932 |     9318      839    343 | 35.248 % |
6.09/6.20	c ===============================================================================
6.09/6.20	c New solution: 90178
6.09/6.20	o 90178
6.09/6.20	c Elapsed CPU time: 6.06908 s	Remaining CPU time: 173.931 s
6.09/6.20	c ===============================================================================
6.09/6.20	c |       840 |    3720    27957   194985 |     9319      840    343 | 35.248 % |
6.19/6.24	c ===============================================================================
6.19/6.24	c New solution: 88603
6.19/6.24	o 88603
6.19/6.24	c Elapsed CPU time: 6.10607 s	Remaining CPU time: 173.894 s
6.19/6.24	c ===============================================================================
6.19/6.24	c |       842 |    3720    27958   197038 |     9319      842    344 | 35.248 % |
6.19/6.29	c ===============================================================================
6.19/6.29	c New solution: 88495
6.19/6.29	o 88495
6.19/6.29	c Elapsed CPU time: 6.16006 s	Remaining CPU time: 173.84 s
6.19/6.29	c ===============================================================================
6.19/6.29	c |       858 |    3720    27959   199091 |     9319      858    347 | 35.248 % |
6.60/6.63	c ===============================================================================
6.60/6.63	c New solution: 87038
6.60/6.63	o 87038
6.60/6.63	c Elapsed CPU time: 6.49801 s	Remaining CPU time: 173.502 s
6.60/6.63	c ===============================================================================
6.60/6.63	c |       908 |    3720    27960   201144 |     9320      908    362 | 35.248 % |
6.79/6.80	c ===============================================================================
6.79/6.80	c New solution: 86988
6.79/6.80	o 86988
6.79/6.80	c Elapsed CPU time: 6.66799 s	Remaining CPU time: 173.332 s
6.79/6.80	c ===============================================================================
6.79/6.80	c |       911 |    3720    27961   203197 |     9320      911    362 | 35.248 % |
6.89/6.93	c ===============================================================================
6.89/6.93	c New solution: 86878
6.89/6.93	o 86878
6.89/6.93	c Elapsed CPU time: 6.79897 s	Remaining CPU time: 173.201 s
6.89/6.93	c ===============================================================================
6.89/6.93	c |       916 |    3720    27962   205250 |     9320      916    363 | 35.248 % |
6.99/7.08	c ===============================================================================
6.99/7.08	c New solution: 86877
6.99/7.08	o 86877
6.99/7.08	c Elapsed CPU time: 6.94694 s	Remaining CPU time: 173.053 s
6.99/7.08	c ===============================================================================
6.99/7.08	c |       926 |    3720    27963   207303 |     9321      926    364 | 35.248 % |
7.09/7.12	c ===============================================================================
7.09/7.12	c New solution: 85383
7.09/7.12	o 85383
7.09/7.12	c Elapsed CPU time: 6.98694 s	Remaining CPU time: 173.013 s
7.09/7.12	c ===============================================================================
7.09/7.12	c |       926 |    3720    27964   209356 |     9321      926    364 | 35.248 % |
7.09/7.18	c ===============================================================================
7.09/7.18	c New solution: 85382
7.09/7.18	o 85382
7.09/7.18	c Elapsed CPU time: 7.04293 s	Remaining CPU time: 172.957 s
7.09/7.18	c ===============================================================================
7.09/7.18	c |       928 |    3720    27965   211409 |     9321      928    364 | 35.248 % |
7.18/7.23	c ===============================================================================
7.18/7.23	c New solution: 85381
7.18/7.23	o 85381
7.18/7.23	c Elapsed CPU time: 7.09192 s	Remaining CPU time: 172.908 s
7.18/7.23	c ===============================================================================
7.18/7.23	c |       934 |    3720    27966   213462 |     9322      934    364 | 35.248 % |
7.28/7.35	c ===============================================================================
7.28/7.35	c New solution: 85292
7.28/7.35	o 85292
7.28/7.35	c Elapsed CPU time: 7.2099 s	Remaining CPU time: 172.79 s
7.28/7.35	c ===============================================================================
7.28/7.35	c |       940 |    3720    27967   215515 |     9322      940    365 | 35.248 % |
7.38/7.43	c ===============================================================================
7.38/7.43	c New solution: 83794
7.38/7.43	o 83794
7.38/7.43	c Elapsed CPU time: 7.29689 s	Remaining CPU time: 172.703 s
7.38/7.43	c ===============================================================================
7.38/7.43	c |       942 |    3720    27968   217568 |     9322      942    364 | 35.248 % |
7.49/7.50	c ===============================================================================
7.49/7.50	c New solution: 83793
7.49/7.50	o 83793
7.49/7.50	c Elapsed CPU time: 7.36488 s	Remaining CPU time: 172.635 s
7.49/7.50	c ===============================================================================
7.49/7.50	c |       942 |    3720    27969   219621 |     9323      942    364 | 35.248 % |
7.49/7.57	c ===============================================================================
7.49/7.57	c New solution: 83792
7.49/7.57	o 83792
7.49/7.57	c Elapsed CPU time: 7.42887 s	Remaining CPU time: 172.571 s
7.49/7.57	c ===============================================================================
7.49/7.57	c |       942 |    3720    27970   221674 |     9323      942    364 | 35.248 % |
7.60/7.64	c ===============================================================================
7.60/7.64	c New solution: 83791
7.60/7.64	o 83791
7.60/7.64	c Elapsed CPU time: 7.49886 s	Remaining CPU time: 172.501 s
7.60/7.64	c ===============================================================================
7.60/7.64	c |       942 |    3720    27971   223727 |     9323      942    364 | 35.248 % |
7.70/7.72	c ===============================================================================
7.70/7.72	c New solution: 83790
7.70/7.72	o 83790
7.70/7.72	c Elapsed CPU time: 7.57485 s	Remaining CPU time: 172.425 s
7.70/7.72	c ===============================================================================
7.70/7.72	c |       945 |    3720    27972   225780 |     9324      945    366 | 35.248 % |
7.70/7.78	c ===============================================================================
7.70/7.78	c New solution: 83700
7.70/7.78	o 83700
7.70/7.78	c Elapsed CPU time: 7.63584 s	Remaining CPU time: 172.364 s
7.70/7.78	c ===============================================================================
7.70/7.78	c |       946 |    3720    27973   227833 |     9324      946    366 | 35.248 % |
7.78/7.83	c ===============================================================================
7.78/7.83	c New solution: 82274
7.78/7.83	o 82274
7.78/7.83	c Elapsed CPU time: 7.68483 s	Remaining CPU time: 172.315 s
7.78/7.83	c ===============================================================================
7.78/7.83	c |       952 |    3720    27974   229886 |     9324      952    363 | 35.248 % |
7.78/7.87	c ===============================================================================
7.78/7.87	c New solution: 82273
7.78/7.87	o 82273
7.78/7.87	c Elapsed CPU time: 7.72583 s	Remaining CPU time: 172.274 s
7.78/7.87	c ===============================================================================
7.78/7.87	c |       955 |    3720    27975   231939 |     9325      955    362 | 35.248 % |
7.88/7.91	c ===============================================================================
7.88/7.91	c New solution: 82266
7.88/7.91	o 82266
7.88/7.91	c Elapsed CPU time: 7.76282 s	Remaining CPU time: 172.237 s
7.88/7.91	c ===============================================================================
7.88/7.91	c |       956 |    3720    27976   233992 |     9325      956    363 | 35.248 % |
7.99/8.00	c ===============================================================================
7.99/8.00	c New solution: 82256
7.99/8.00	o 82256
7.99/8.00	c Elapsed CPU time: 7.85281 s	Remaining CPU time: 172.147 s
7.99/8.00	c ===============================================================================
7.99/8.00	c |       958 |    3720    27977   236045 |     9325      958    362 | 35.248 % |
7.99/8.07	c ===============================================================================
7.99/8.07	c New solution: 82255
7.99/8.07	o 82255
7.99/8.07	c Elapsed CPU time: 7.92279 s	Remaining CPU time: 172.077 s
7.99/8.07	c ===============================================================================
7.99/8.07	c |       958 |    3720    27978   238098 |     9326      958    362 | 35.248 % |
8.09/8.14	c ===============================================================================
8.09/8.14	c New solution: 82107
8.09/8.14	o 82107
8.09/8.14	c Elapsed CPU time: 7.98578 s	Remaining CPU time: 172.014 s
8.09/8.14	c ===============================================================================
8.09/8.14	c |       959 |    3720    27979   240151 |     9326      959    362 | 35.248 % |
8.19/8.21	c ===============================================================================
8.19/8.21	c New solution: 80662
8.19/8.21	o 80662
8.19/8.21	c Elapsed CPU time: 8.05678 s	Remaining CPU time: 171.943 s
8.19/8.21	c ===============================================================================
8.19/8.21	c |       959 |    3720    27980   242204 |     9326      959    362 | 35.248 % |
8.19/8.25	c ===============================================================================
8.19/8.25	c New solution: 80661
8.19/8.25	o 80661
8.19/8.25	c Elapsed CPU time: 8.09277 s	Remaining CPU time: 171.907 s
8.19/8.25	c ===============================================================================
8.19/8.25	c |       963 |    3720    27981   244257 |     9327      963    364 | 35.248 % |
8.29/8.34	c ===============================================================================
8.29/8.34	c New solution: 80582
8.29/8.34	o 80582
8.29/8.34	c Elapsed CPU time: 8.18876 s	Remaining CPU time: 171.811 s
8.29/8.34	c ===============================================================================
8.29/8.34	c |       964 |    3720    27982   246310 |     9327      964    364 | 35.248 % |
8.49/8.51	c ===============================================================================
8.49/8.51	c New solution: 80487
8.49/8.51	o 80487
8.49/8.51	c Elapsed CPU time: 8.35673 s	Remaining CPU time: 171.643 s
8.49/8.51	c ===============================================================================
8.49/8.51	c |       966 |    3720    27983   248363 |     9327      966    364 | 35.248 % |
8.58/8.61	c ===============================================================================
8.58/8.61	c New solution: 78996
8.58/8.61	o 78996
8.58/8.61	c Elapsed CPU time: 8.45172 s	Remaining CPU time: 171.548 s
8.58/8.61	c ===============================================================================
8.58/8.61	c |       970 |    3720    27984   250416 |     9328      970    363 | 35.248 % |
8.58/8.69	c ===============================================================================
8.58/8.69	c New solution: 78995
8.58/8.69	o 78995
8.58/8.69	c Elapsed CPU time: 8.5367 s	Remaining CPU time: 171.463 s
8.58/8.69	c ===============================================================================
8.58/8.69	c |       970 |    3720    27985   252469 |     9328      970    363 | 35.248 % |
8.69/8.77	c ===============================================================================
8.69/8.77	c New solution: 78994
8.69/8.77	o 78994
8.69/8.77	c Elapsed CPU time: 8.61369 s	Remaining CPU time: 171.386 s
8.69/8.77	c ===============================================================================
8.69/8.77	c |       970 |    3720    27986   254522 |     9328      970    363 | 35.248 % |
8.79/8.86	c ===============================================================================
8.79/8.86	c New solution: 78991
8.79/8.86	o 78991
8.79/8.86	c Elapsed CPU time: 8.69668 s	Remaining CPU time: 171.303 s
8.79/8.86	c ===============================================================================
8.79/8.86	c |       970 |    3720    27987   256575 |     9329      970    363 | 35.248 % |
9.09/9.17	c ===============================================================================
9.09/9.17	c New solution: 78990
9.09/9.17	o 78990
9.09/9.17	c Elapsed CPU time: 9.00563 s	Remaining CPU time: 170.994 s
9.09/9.17	c ===============================================================================
9.09/9.17	c |      1037 |    3720    27988   258628 |     9329     1037    385 | 35.248 % |
9.29/9.36	c ===============================================================================
9.29/9.36	c New solution: 78905
9.29/9.36	o 78905
9.29/9.36	c Elapsed CPU time: 9.1966 s	Remaining CPU time: 170.803 s
9.29/9.36	c ===============================================================================
9.29/9.36	c |      1037 |    3720    27989   260681 |     9329     1037    385 | 35.248 % |
9.49/9.55	c ===============================================================================
9.49/9.55	c New solution: 78904
9.49/9.55	o 78904
9.49/9.55	c Elapsed CPU time: 9.38857 s	Remaining CPU time: 170.611 s
9.49/9.55	c ===============================================================================
9.49/9.55	c |      1037 |    3720    27990   262734 |     9330     1037    385 | 35.248 % |
9.69/9.75	c ===============================================================================
9.69/9.75	c New solution: 78903
9.69/9.75	o 78903
9.69/9.75	c Elapsed CPU time: 9.58054 s	Remaining CPU time: 170.419 s
9.69/9.75	c ===============================================================================
9.69/9.75	c |      1039 |    3720    27991   264787 |     9330     1039    385 | 35.248 % |
9.89/9.93	c ===============================================================================
9.89/9.93	c New solution: 78888
9.89/9.93	o 78888
9.89/9.93	c Elapsed CPU time: 9.76252 s	Remaining CPU time: 170.237 s
9.89/9.93	c ===============================================================================
9.89/9.93	c |      1039 |    3720    27992   266840 |     9330     1039    385 | 35.248 % |
10.08/10.10	c ===============================================================================
10.08/10.10	c New solution: 78879
10.08/10.10	o 78879
10.08/10.10	c Elapsed CPU time: 9.93649 s	Remaining CPU time: 170.064 s
10.08/10.10	c ===============================================================================
10.08/10.10	c |      1039 |    3720    27993   268893 |     9331     1039    385 | 35.248 % |
10.18/10.28	c ===============================================================================
10.18/10.28	c New solution: 78878
10.18/10.28	o 78878
10.18/10.28	c Elapsed CPU time: 10.1125 s	Remaining CPU time: 169.888 s
10.18/10.28	c ===============================================================================
10.18/10.28	c |      1040 |    3720    27994   270946 |     9331     1040    385 | 35.248 % |
10.39/10.46	c ===============================================================================
10.39/10.46	c New solution: 77367
10.39/10.46	o 77367
10.39/10.46	c Elapsed CPU time: 10.2874 s	Remaining CPU time: 169.713 s
10.39/10.46	c ===============================================================================
10.39/10.46	c |      1042 |    3720    27995   272999 |     9331     1042    384 | 35.248 % |
10.59/10.66	c ===============================================================================
10.59/10.66	c New solution: 75887
10.59/10.66	o 75887
10.59/10.66	c Elapsed CPU time: 10.4904 s	Remaining CPU time: 169.51 s
10.59/10.66	c ===============================================================================
10.59/10.66	c |      1044 |    3720    27996   275052 |     9332     1044    384 | 35.248 % |
10.79/10.81	c ===============================================================================
10.79/10.81	c New solution: 75870
10.79/10.81	o 75870
10.79/10.81	c Elapsed CPU time: 10.6374 s	Remaining CPU time: 169.363 s
10.79/10.81	c ===============================================================================
10.79/10.81	c |      1044 |    3720    27997   277105 |     9332     1044    384 | 35.248 % |
10.90/10.95	c ===============================================================================
10.90/10.95	c New solution: 75868
10.90/10.95	o 75868
10.90/10.95	c Elapsed CPU time: 10.7734 s	Remaining CPU time: 169.227 s
10.90/10.95	c ===============================================================================
10.90/10.95	c |      1044 |    3720    27998   279158 |     9332     1044    384 | 35.248 % |
11.09/11.10	c ===============================================================================
11.09/11.10	c New solution: 75851
11.09/11.10	o 75851
11.09/11.10	c Elapsed CPU time: 10.9273 s	Remaining CPU time: 169.073 s
11.09/11.10	c ===============================================================================
11.09/11.10	c |      1047 |    3720    27999   281211 |     9333     1047    385 | 35.248 % |
11.19/11.27	c ===============================================================================
11.19/11.27	c New solution: 75689
11.19/11.27	o 75689
11.19/11.27	c Elapsed CPU time: 11.0923 s	Remaining CPU time: 168.908 s
11.19/11.27	c ===============================================================================
11.19/11.27	c |      1048 |    3720    28000   283264 |     9333     1048    385 | 35.248 % |
11.68/11.76	c ===============================================================================
11.68/11.76	c New solution: 75688
11.68/11.76	o 75688
11.68/11.76	c Elapsed CPU time: 11.5792 s	Remaining CPU time: 168.421 s
11.68/11.76	c ===============================================================================
11.68/11.76	c |      1136 |    3720    28001   285317 |     9333     1136    405 | 35.248 % |
12.19/12.23	c |      1236 |    3720    28001   285317 |    10267     1236    418 | 35.248 % |
12.59/12.63	c ===============================================================================
12.59/12.63	c New solution: 74257
12.59/12.63	o 74257
12.59/12.63	c Elapsed CPU time: 12.4471 s	Remaining CPU time: 167.553 s
12.59/12.63	c ===============================================================================
12.59/12.63	c |      1240 |    3720    28002   287370 |     9334     1240    417 | 35.248 % |
12.79/12.85	c ===============================================================================
12.79/12.85	c New solution: 74255
12.79/12.85	o 74255
12.79/12.85	c Elapsed CPU time: 12.6651 s	Remaining CPU time: 167.335 s
12.79/12.85	c ===============================================================================
12.79/12.85	c |      1242 |    3720    28003   289423 |     9334     1242    416 | 35.248 % |
12.99/13.06	c ===============================================================================
12.99/13.06	c New solution: 74252
12.99/13.06	o 74252
12.99/13.06	c Elapsed CPU time: 12.869 s	Remaining CPU time: 167.131 s
12.99/13.06	c ===============================================================================
12.99/13.06	c |      1243 |    3720    28004   291476 |     9334     1243    416 | 35.248 % |
13.19/13.21	c ===============================================================================
13.19/13.21	c New solution: 74249
13.19/13.21	o 74249
13.19/13.21	c Elapsed CPU time: 13.019 s	Remaining CPU time: 166.981 s
13.19/13.21	c ===============================================================================
13.19/13.21	c |      1243 |    3720    28005   293529 |     9335     1243    416 | 35.248 % |
13.38/13.41	c ===============================================================================
13.38/13.41	c New solution: 74248
13.38/13.41	o 74248
13.38/13.41	c Elapsed CPU time: 13.225 s	Remaining CPU time: 166.775 s
13.38/13.41	c ===============================================================================
13.38/13.41	c |      1243 |    3720    28006   295582 |     9335     1243    416 | 35.248 % |
13.58/13.62	c ===============================================================================
13.58/13.62	c New solution: 74247
13.58/13.62	o 74247
13.58/13.62	c Elapsed CPU time: 13.433 s	Remaining CPU time: 166.567 s
13.58/13.62	c ===============================================================================
13.58/13.62	c |      1244 |    3720    28007   297635 |     9335     1244    416 | 35.248 % |
13.68/13.78	c ===============================================================================
13.68/13.78	c New solution: 74197
13.68/13.78	o 74197
13.68/13.78	c Elapsed CPU time: 13.5889 s	Remaining CPU time: 166.411 s
13.68/13.78	c ===============================================================================
13.68/13.78	c |      1245 |    3720    28008   299688 |     9336     1245    416 | 35.248 % |
13.78/13.85	c ===============================================================================
13.78/13.85	c New solution: 74100
13.78/13.85	o 74100
13.78/13.85	c Elapsed CPU time: 13.6629 s	Remaining CPU time: 166.337 s
13.78/13.85	c ===============================================================================
13.78/13.85	c |      1249 |    3720    28009   301741 |     9336     1249    415 | 35.248 % |
13.98/14.04	c ===============================================================================
13.98/14.04	c New solution: 72657
13.98/14.04	o 72657
13.98/14.04	c Elapsed CPU time: 13.8449 s	Remaining CPU time: 166.155 s
13.98/14.04	c ===============================================================================
13.98/14.04	c |      1251 |    3720    28010   303794 |     9336     1251    415 | 35.248 % |
14.20/14.21	c ===============================================================================
14.20/14.21	c New solution: 72597
14.20/14.21	o 72597
14.20/14.21	c Elapsed CPU time: 14.0189 s	Remaining CPU time: 165.981 s
14.20/14.21	c ===============================================================================
14.20/14.21	c |      1251 |    3720    28011   305847 |     9337     1251    415 | 35.248 % |
14.30/14.36	c ===============================================================================
14.30/14.36	c New solution: 72594
14.30/14.36	o 72594
14.30/14.36	c Elapsed CPU time: 14.1688 s	Remaining CPU time: 165.831 s
14.30/14.36	c ===============================================================================
14.30/14.36	c |      1252 |    3720    28012   307900 |     9337     1252    415 | 35.248 % |
14.39/14.43	c ===============================================================================
14.39/14.43	c New solution: 72503
14.39/14.43	o 72503
14.39/14.43	c Elapsed CPU time: 14.2398 s	Remaining CPU time: 165.76 s
14.39/14.43	c ===============================================================================
14.39/14.43	c |      1253 |    3720    28013   309953 |     9337     1253    416 | 35.248 % |
14.59/14.60	c ===============================================================================
14.59/14.60	c New solution: 71047
14.59/14.60	o 71047
14.59/14.60	c Elapsed CPU time: 14.4078 s	Remaining CPU time: 165.592 s
14.59/14.60	c ===============================================================================
14.59/14.60	c |      1256 |    3720    28014   312006 |     9338     1256    416 | 35.248 % |
14.59/14.69	c ===============================================================================
14.59/14.69	c New solution: 71014
14.59/14.69	o 71014
14.59/14.69	c Elapsed CPU time: 14.4928 s	Remaining CPU time: 165.507 s
14.59/14.69	c ===============================================================================
14.59/14.69	c |      1256 |    3720    28015   314059 |     9338     1256    416 | 35.248 % |
14.69/14.78	c ===============================================================================
14.69/14.78	c New solution: 71013
14.69/14.78	o 71013
14.69/14.78	c Elapsed CPU time: 14.5778 s	Remaining CPU time: 165.422 s
14.69/14.78	c ===============================================================================
14.69/14.78	c |      1257 |    3720    28016   316112 |     9338     1257    416 | 35.248 % |
14.78/14.86	c ===============================================================================
14.78/14.86	c New solution: 70912
14.78/14.86	o 70912
14.78/14.86	c Elapsed CPU time: 14.6638 s	Remaining CPU time: 165.336 s
14.78/14.86	c ===============================================================================
14.78/14.86	c |      1257 |    3720    28017   318165 |     9339     1257    416 | 35.248 % |
14.88/14.95	c ===============================================================================
14.88/14.95	c New solution: 70911
14.88/14.95	o 70911
14.88/14.95	c Elapsed CPU time: 14.7498 s	Remaining CPU time: 165.25 s
14.88/14.95	c ===============================================================================
14.88/14.95	c |      1257 |    3720    28018   320218 |     9339     1257    416 | 35.248 % |
14.98/15.03	c ===============================================================================
14.98/15.03	c New solution: 70910
14.98/15.03	o 70910
14.98/15.03	c Elapsed CPU time: 14.8347 s	Remaining CPU time: 165.165 s
14.98/15.03	c ===============================================================================
14.98/15.03	c |      1257 |    3720    28019   322271 |     9339     1257    416 | 35.248 % |
15.08/15.12	c ===============================================================================
15.08/15.12	c New solution: 70909
15.08/15.12	o 70909
15.08/15.12	c Elapsed CPU time: 14.9197 s	Remaining CPU time: 165.08 s
15.08/15.12	c ===============================================================================
15.08/15.12	c |      1257 |    3720    28020   324324 |     9340     1257    416 | 35.248 % |
15.18/15.28	c ===============================================================================
15.18/15.28	c New solution: 70908
15.18/15.28	o 70908
15.18/15.28	c Elapsed CPU time: 15.0807 s	Remaining CPU time: 164.919 s
15.18/15.28	c ===============================================================================
15.18/15.28	c |      1260 |    3720    28021   326377 |     9340     1260    416 | 35.248 % |
15.39/15.45	c ===============================================================================
15.39/15.45	c New solution: 69481
15.39/15.45	o 69481
15.39/15.45	c Elapsed CPU time: 15.2487 s	Remaining CPU time: 164.751 s
15.39/15.45	c ===============================================================================
15.39/15.45	c |      1261 |    3720    28022   328430 |     9340     1261    416 | 35.248 % |
15.48/15.58	c ===============================================================================
15.48/15.58	c New solution: 69413
15.48/15.58	o 69413
15.48/15.58	c Elapsed CPU time: 15.3747 s	Remaining CPU time: 164.625 s
15.48/15.58	c ===============================================================================
15.48/15.58	c |      1264 |    3720    28023   330483 |     9341     1264    417 | 35.248 % |
15.59/15.65	c ===============================================================================
15.59/15.65	c New solution: 67899
15.59/15.65	o 67899
15.59/15.65	c Elapsed CPU time: 15.4507 s	Remaining CPU time: 164.549 s
15.59/15.65	c ===============================================================================
15.59/15.65	c |      1265 |    3720    28024   332536 |     9341     1265    417 | 35.248 % |
15.69/15.75	c ===============================================================================
15.69/15.75	c New solution: 67735
15.69/15.75	o 67735
15.69/15.75	c Elapsed CPU time: 15.5506 s	Remaining CPU time: 164.449 s
15.69/15.75	c ===============================================================================
15.69/15.76	c |      1266 |    3720    28025   334589 |     9341     1266    417 | 35.248 % |
15.79/15.82	c ===============================================================================
15.79/15.82	c New solution: 66291
15.79/15.82	o 66291
15.79/15.82	c Elapsed CPU time: 15.6156 s	Remaining CPU time: 164.384 s
15.79/15.82	c ===============================================================================
15.79/15.82	c |      1267 |    3720    28026   336642 |     9342     1267    417 | 35.248 % |
15.89/15.90	c ===============================================================================
15.89/15.90	c New solution: 66130
15.89/15.90	o 66130
15.89/15.90	c Elapsed CPU time: 15.6976 s	Remaining CPU time: 164.302 s
15.89/15.90	c ===============================================================================
15.89/15.90	c |      1271 |    3720    28027   338695 |     9342     1271    417 | 35.248 % |
15.99/16.03	c ===============================================================================
15.99/16.03	c New solution: 64656
15.99/16.03	o 64656
15.99/16.03	c Elapsed CPU time: 15.8256 s	Remaining CPU time: 164.174 s
15.99/16.03	c ===============================================================================
15.99/16.03	c |      1273 |    3720    28028   340748 |     9342     1273    418 | 35.248 % |
16.19/16.22	c ===============================================================================
16.19/16.22	c New solution: 64532
16.19/16.22	o 64532
16.19/16.22	c Elapsed CPU time: 16.0166 s	Remaining CPU time: 163.983 s
16.19/16.22	c ===============================================================================
16.19/16.22	c |      1274 |    3720    28029   342801 |     9343     1274    418 | 35.248 % |
16.29/16.33	c ===============================================================================
16.29/16.33	c New solution: 63029
16.29/16.33	o 63029
16.29/16.33	c Elapsed CPU time: 16.1225 s	Remaining CPU time: 163.877 s
16.29/16.33	c ===============================================================================
16.29/16.33	c |      1276 |    3720    28030   344854 |     9343     1276    418 | 35.248 % |
16.49/16.59	c ===============================================================================
16.49/16.59	c New solution: 62930
16.49/16.59	o 62930
16.49/16.59	c Elapsed CPU time: 16.3775 s	Remaining CPU time: 163.622 s
16.49/16.59	c ===============================================================================
16.49/16.59	c |      1310 |    3720    28031   346907 |     9343     1310    420 | 35.248 % |
16.68/16.74	c ===============================================================================
16.68/16.74	c New solution: 61476
16.68/16.74	o 61476
16.68/16.74	c Elapsed CPU time: 16.5325 s	Remaining CPU time: 163.468 s
16.68/16.74	c ===============================================================================
16.68/16.74	c |      1311 |    3720    28032   348960 |     9344     1311    420 | 35.248 % |
16.78/16.84	c ===============================================================================
16.78/16.84	c New solution: 61337
16.78/16.84	o 61337
16.78/16.84	c Elapsed CPU time: 16.6335 s	Remaining CPU time: 163.367 s
16.78/16.84	c ===============================================================================
16.78/16.84	c |      1315 |    3720    28033   351013 |     9344     1315    420 | 35.248 % |
16.98/17.08	c ===============================================================================
16.98/17.08	c New solution: 59890
16.98/17.08	o 59890
16.98/17.08	c Elapsed CPU time: 16.8724 s	Remaining CPU time: 163.128 s
16.98/17.08	c ===============================================================================
16.98/17.08	c |      1317 |    3720    28034   353066 |     9344     1317    421 | 35.248 % |
17.18/17.28	c ===============================================================================
17.18/17.28	c New solution: 59889
17.18/17.28	o 59889
17.18/17.28	c Elapsed CPU time: 17.0694 s	Remaining CPU time: 162.931 s
17.18/17.28	c ===============================================================================
17.18/17.28	c |      1319 |    3720    28035   355119 |     9345     1319    421 | 35.248 % |
17.38/17.45	c ===============================================================================
17.38/17.45	c New solution: 59737
17.38/17.45	o 59737
17.38/17.45	c Elapsed CPU time: 17.2364 s	Remaining CPU time: 162.764 s
17.38/17.45	c ===============================================================================
17.38/17.45	c |      1322 |    3720    28036   357172 |     9345     1322    421 | 35.248 % |
17.88/17.99	c ===============================================================================
17.88/17.99	c New solution: 58306
17.88/17.99	o 58306
17.88/17.99	c Elapsed CPU time: 17.7723 s	Remaining CPU time: 162.228 s
17.88/17.99	c ===============================================================================
17.88/17.99	c |      1361 |    3720    28037   359225 |     9345     1361    427 | 35.248 % |
18.09/18.17	c ===============================================================================
18.09/18.17	c New solution: 58141
18.09/18.17	o 58141
18.09/18.17	c Elapsed CPU time: 17.9543 s	Remaining CPU time: 162.046 s
18.09/18.17	c ===============================================================================
18.09/18.17	c |      1366 |    3720    28038   361278 |     9346     1366    427 | 35.248 % |
18.78/18.83	c |      1466 |    3720    28038   361278 |    10280     1466    443 | 35.248 % |
19.38/19.40	c ===============================================================================
19.38/19.40	c New solution: 58140
19.38/19.40	o 58140
19.38/19.40	c Elapsed CPU time: 19.1831 s	Remaining CPU time: 160.817 s
19.38/19.40	c ===============================================================================
19.38/19.40	c |      1530 |    3720    28039   363331 |     9346     1530    445 | 35.248 % |
19.58/19.67	c ===============================================================================
19.58/19.67	c New solution: 58137
19.58/19.67	o 58137
19.58/19.67	c Elapsed CPU time: 19.448 s	Remaining CPU time: 160.552 s
19.58/19.67	c ===============================================================================
19.58/19.67	c |      1557 |    3720    28040   365384 |     9346     1557    446 | 35.248 % |
19.88/19.90	c ===============================================================================
19.88/19.90	c New solution: 56694
19.88/19.90	o 56694
19.88/19.90	c Elapsed CPU time: 19.679 s	Remaining CPU time: 160.321 s
19.88/19.90	c ===============================================================================
19.88/19.90	c |      1558 |    3720    28041   367437 |     9347     1558    446 | 35.248 % |
20.08/20.10	c ===============================================================================
20.08/20.10	c New solution: 56652
20.08/20.10	o 56652
20.08/20.10	c Elapsed CPU time: 19.875 s	Remaining CPU time: 160.125 s
20.08/20.10	c ===============================================================================
20.08/20.10	c |      1559 |    3720    28042   369490 |     9347     1559    446 | 35.248 % |
21.19/21.29	c |      1659 |    3720    28042   369490 |    10282     1659    463 | 35.248 % |
21.59/21.65	c ===============================================================================
21.59/21.65	c New solution: 56636
21.59/21.65	o 56636
21.59/21.65	c Elapsed CPU time: 21.4187 s	Remaining CPU time: 158.581 s
21.59/21.65	c ===============================================================================
21.59/21.65	c |      1670 |    3720    28043   371543 |     9347     1670    464 | 35.248 % |
21.89/21.96	c ===============================================================================
21.89/21.96	c New solution: 56549
21.89/21.96	o 56549
21.89/21.96	c Elapsed CPU time: 21.7317 s	Remaining CPU time: 158.268 s
21.89/21.96	c ===============================================================================
21.89/21.96	c |      1674 |    3720    28044   373596 |     9348     1674    463 | 35.248 % |
22.18/22.24	c ===============================================================================
22.18/22.24	c New solution: 56547
22.18/22.24	o 56547
22.18/22.24	c Elapsed CPU time: 22.0097 s	Remaining CPU time: 157.99 s
22.18/22.24	c ===============================================================================
22.18/22.24	c |      1674 |    3720    28045   375649 |     9348     1674    463 | 35.248 % |
22.48/22.52	c ===============================================================================
22.48/22.52	c New solution: 56546
22.48/22.52	o 56546
22.48/22.52	c Elapsed CPU time: 22.2886 s	Remaining CPU time: 157.711 s
22.48/22.52	c ===============================================================================
22.48/22.52	c |      1674 |    3720    28046   377702 |     9348     1674    463 | 35.248 % |
22.78/22.83	c ===============================================================================
22.78/22.83	c New solution: 56545
22.78/22.83	o 56545
22.78/22.83	c Elapsed CPU time: 22.5976 s	Remaining CPU time: 157.402 s
22.78/22.83	c ===============================================================================
22.78/22.83	c |      1677 |    3720    28047   379755 |     9349     1677    463 | 35.248 % |
23.38/23.47	c ===============================================================================
23.38/23.47	c New solution: 56544
23.38/23.47	o 56544
23.38/23.47	c Elapsed CPU time: 23.2345 s	Remaining CPU time: 156.766 s
23.38/23.47	c ===============================================================================
23.38/23.47	c |      1696 |    3720    28048   381808 |     9349     1696    464 | 35.248 % |
23.48/23.59	c ===============================================================================
23.48/23.59	c New solution: 56543
23.48/23.59	o 56543
23.48/23.59	c Elapsed CPU time: 23.3544 s	Remaining CPU time: 156.646 s
23.48/23.59	c ===============================================================================
23.48/23.59	c |      1702 |    3720    28049   383861 |     9349     1702    464 | 35.248 % |
23.78/23.85	c ===============================================================================
23.78/23.85	c New solution: 55103
23.78/23.85	o 55103
23.78/23.85	c Elapsed CPU time: 23.6124 s	Remaining CPU time: 156.388 s
23.78/23.85	c ===============================================================================
23.78/23.85	c |      1704 |    3720    28050   385914 |     9350     1704    464 | 35.248 % |
24.09/24.11	c ===============================================================================
24.09/24.11	c New solution: 55102
24.09/24.11	o 55102
24.09/24.11	c Elapsed CPU time: 23.8774 s	Remaining CPU time: 156.123 s
24.09/24.11	c ===============================================================================
24.09/24.11	c |      1705 |    3720    28051   387967 |     9350     1705    464 | 35.248 % |
24.19/24.23	c ===============================================================================
24.19/24.23	c New solution: 54966
24.19/24.23	o 54966
24.19/24.23	c Elapsed CPU time: 23.9934 s	Remaining CPU time: 156.007 s
24.19/24.23	c ===============================================================================
24.19/24.23	c |      1706 |    3720    28052   390020 |     9350     1706    464 | 35.248 % |
24.38/24.41	c ===============================================================================
24.38/24.41	c New solution: 53506
24.38/24.41	o 53506
24.38/24.41	c Elapsed CPU time: 24.1703 s	Remaining CPU time: 155.83 s
24.38/24.41	c ===============================================================================
24.38/24.41	c |      1706 |    3720    28053   392073 |     9351     1706    464 | 35.248 % |
24.48/24.59	c ===============================================================================
24.48/24.59	c New solution: 53505
24.48/24.59	o 53505
24.48/24.59	c Elapsed CPU time: 24.3473 s	Remaining CPU time: 155.653 s
24.48/24.59	c ===============================================================================
24.48/24.59	c |      1708 |    3720    28054   394126 |     9351     1708    464 | 35.248 % |
24.68/24.74	c ===============================================================================
24.68/24.74	c New solution: 53460
24.68/24.74	o 53460
24.68/24.74	c Elapsed CPU time: 24.5023 s	Remaining CPU time: 155.498 s
24.68/24.74	c ===============================================================================
24.68/24.74	c |      1709 |    3720    28055   396179 |     9351     1709    464 | 35.248 % |
24.78/24.86	c ===============================================================================
24.78/24.86	c New solution: 53345
24.78/24.86	o 53345
24.78/24.86	c Elapsed CPU time: 24.6173 s	Remaining CPU time: 155.383 s
24.78/24.86	c ===============================================================================
24.78/24.86	c |      1711 |    3720    28056   398232 |     9352     1711    464 | 35.248 % |
25.98/26.01	c |      1811 |    3720    28056   398232 |    10287     1811    474 | 35.248 % |
26.18/26.22	c ===============================================================================
26.18/26.22	c New solution: 53344
26.18/26.22	o 53344
26.18/26.22	c Elapsed CPU time: 25.978 s	Remaining CPU time: 154.022 s
26.18/26.22	c ===============================================================================
26.18/26.22	c |      1816 |    3720    28057   400285 |     9352     1816    474 | 35.248 % |
26.48/26.55	c ===============================================================================
26.48/26.55	c New solution: 51865
26.48/26.55	o 51865
26.48/26.55	c Elapsed CPU time: 26.311 s	Remaining CPU time: 153.689 s
26.48/26.55	c ===============================================================================
26.48/26.55	c |      1826 |    3720    28058   402338 |     9352     1826    475 | 35.248 % |
26.78/26.87	c ===============================================================================
26.78/26.87	c New solution: 51735
26.78/26.87	o 51735
26.78/26.87	c Elapsed CPU time: 26.626 s	Remaining CPU time: 153.374 s
26.78/26.87	c ===============================================================================
26.78/26.87	c |      1827 |    3720    28059   404391 |     9353     1827    475 | 35.248 % |
27.28/27.39	c ===============================================================================
27.28/27.39	c New solution: 51734
27.28/27.39	o 51734
27.28/27.39	c Elapsed CPU time: 27.1459 s	Remaining CPU time: 152.854 s
27.28/27.39	c ===============================================================================
27.28/27.39	c |      1834 |    3720    28060   406444 |     9353     1834    475 | 35.248 % |
27.39/27.44	c |      1934 |    3720    28060   406444 |    10288     1934    477 | 35.248 % |
28.68/28.74	c |      2085 |    3720    28060   406444 |    11317     2085    490 | 35.248 % |
28.98/29.09	c ===============================================================================
28.98/29.09	c New solution: 50269
28.98/29.10	o 50269
28.98/29.10	c Elapsed CPU time: 28.8476 s	Remaining CPU time: 151.152 s
28.98/29.10	c ===============================================================================
28.98/29.10	c |      2096 |    3720    28061   408497 |     9353     2096    490 | 35.248 % |
30.28/30.34	c ===============================================================================
30.28/30.34	c New solution: 50268
30.28/30.34	o 50268
30.28/30.34	c Elapsed CPU time: 30.0964 s	Remaining CPU time: 149.904 s
30.28/30.34	c ===============================================================================
30.28/30.34	c |      2150 |    3720    28062   410550 |     9354     2150    495 | 35.248 % |
30.48/30.57	c ===============================================================================
30.48/30.57	c New solution: 50151
30.48/30.57	o 50151
30.48/30.57	c Elapsed CPU time: 30.3234 s	Remaining CPU time: 149.677 s
30.48/30.58	c ===============================================================================
30.48/30.58	c |      2155 |    3720    28063   412603 |     9354     2155    495 | 35.248 % |
30.69/30.79	c ===============================================================================
30.69/30.79	c New solution: 48662
30.69/30.79	o 48662
30.69/30.79	c Elapsed CPU time: 30.5414 s	Remaining CPU time: 149.459 s
30.69/30.79	c ===============================================================================
30.69/30.79	c |      2159 |    3720    28064   414656 |     9354     2159    495 | 35.248 % |
30.88/30.95	c ===============================================================================
30.88/30.95	c New solution: 48661
30.88/30.95	o 48661
30.88/30.95	c Elapsed CPU time: 30.7013 s	Remaining CPU time: 149.299 s
30.88/30.95	c ===============================================================================
30.88/30.95	c |      2159 |    3720    28065   416709 |     9355     2159    495 | 35.248 % |
31.08/31.13	c ===============================================================================
31.08/31.13	c New solution: 48660
31.08/31.13	o 48660
31.08/31.13	c Elapsed CPU time: 30.8803 s	Remaining CPU time: 149.12 s
31.08/31.13	c ===============================================================================
31.08/31.13	c |      2162 |    3720    28066   418762 |     9355     2162    494 | 35.248 % |
31.38/31.47	c ===============================================================================
31.38/31.47	c New solution: 48659
31.38/31.47	o 48659
31.38/31.47	c Elapsed CPU time: 31.2133 s	Remaining CPU time: 148.787 s
31.38/31.47	c ===============================================================================
31.38/31.47	c |      2169 |    3720    28067   420815 |     9355     2169    495 | 35.248 % |
31.79/31.84	c ===============================================================================
31.79/31.84	c New solution: 48578
31.79/31.84	o 48578
31.79/31.84	c Elapsed CPU time: 31.5822 s	Remaining CPU time: 148.418 s
31.79/31.84	c ===============================================================================
31.79/31.84	c |      2170 |    3720    28068   422868 |     9356     2170    495 | 35.248 % |
32.18/32.20	c ===============================================================================
32.18/32.20	c New solution: 48575
32.18/32.20	o 48575
32.18/32.20	c Elapsed CPU time: 31.9461 s	Remaining CPU time: 148.054 s
32.18/32.20	c ===============================================================================
32.18/32.20	c |      2170 |    3720    28069   424921 |     9356     2170    495 | 35.248 % |
32.48/32.56	c ===============================================================================
32.48/32.56	c New solution: 48572
32.48/32.56	o 48572
32.48/32.56	c Elapsed CPU time: 32.3091 s	Remaining CPU time: 147.691 s
32.48/32.56	c ===============================================================================
32.48/32.56	c |      2170 |    3720    28070   426974 |     9356     2170    495 | 35.248 % |
32.88/32.92	c ===============================================================================
32.88/32.92	c New solution: 48571
32.88/32.92	o 48571
32.88/32.92	c Elapsed CPU time: 32.668 s	Remaining CPU time: 147.332 s
32.88/32.92	c ===============================================================================
32.88/32.92	c |      2170 |    3720    28071   429027 |     9357     2170    495 | 35.248 % |
33.18/33.29	c ===============================================================================
33.18/33.29	c New solution: 48570
33.18/33.29	o 48570
33.18/33.29	c Elapsed CPU time: 33.039 s	Remaining CPU time: 146.961 s
33.18/33.29	c ===============================================================================
33.18/33.29	c |      2172 |    3720    28072   431080 |     9357     2172    495 | 35.248 % |
33.58/33.63	c ===============================================================================
33.58/33.63	c New solution: 48569
33.58/33.63	o 48569
33.58/33.63	c Elapsed CPU time: 33.3779 s	Remaining CPU time: 146.622 s
33.58/33.63	c ===============================================================================
33.58/33.63	c |      2172 |    3720    28073   433133 |     9357     2172    495 | 35.248 % |
33.67/33.79	c ===============================================================================
33.67/33.79	c New solution: 48561
33.67/33.79	o 48561
33.67/33.79	c Elapsed CPU time: 33.5339 s	Remaining CPU time: 146.466 s
33.67/33.79	c ===============================================================================
33.67/33.79	c |      2176 |    3720    28074   435186 |     9358     2176    495 | 35.248 % |
34.27/34.31	c ===============================================================================
34.27/34.31	c New solution: 48560
34.27/34.31	o 48560
34.27/34.31	c Elapsed CPU time: 34.0508 s	Remaining CPU time: 145.949 s
34.27/34.31	c ===============================================================================
34.27/34.31	c |      2210 |    3720    28075   437239 |     9358     2210    498 | 35.248 % |
34.67/34.75	c ===============================================================================
34.67/34.75	c New solution: 47090
34.67/34.75	o 47090
34.67/34.75	c Elapsed CPU time: 34.4928 s	Remaining CPU time: 145.507 s
34.67/34.75	c ===============================================================================
34.67/34.75	c |      2230 |    3720    28076   439292 |     9358     2230    498 | 35.248 % |
35.58/35.61	c ===============================================================================
35.58/35.61	c New solution: 47089
35.58/35.61	o 47089
35.58/35.61	c Elapsed CPU time: 35.3536 s	Remaining CPU time: 144.646 s
35.58/35.61	c ===============================================================================
35.58/35.61	c |      2249 |    3720    28077   441345 |     9359     2249    499 | 35.248 % |
35.78/35.86	c ===============================================================================
35.78/35.86	c New solution: 46966
35.78/35.86	o 46966
35.78/35.86	c Elapsed CPU time: 35.6006 s	Remaining CPU time: 144.399 s
35.78/35.86	c ===============================================================================
35.78/35.86	c |      2254 |    3720    28078   443398 |     9359     2254    499 | 35.248 % |
36.38/36.43	c ===============================================================================
36.38/36.43	c New solution: 45470
36.38/36.43	o 45470
36.38/36.43	c Elapsed CPU time: 36.1645 s	Remaining CPU time: 143.835 s
36.38/36.43	c ===============================================================================
36.38/36.43	c |      2304 |    3720    28079   445451 |     9359     2304    502 | 35.248 % |
36.67/36.78	c ===============================================================================
36.67/36.78	c New solution: 45381
36.67/36.78	o 45381
36.67/36.78	c Elapsed CPU time: 36.5094 s	Remaining CPU time: 143.491 s
36.67/36.78	c ===============================================================================
36.67/36.78	c |      2308 |    3720    28080   447504 |     9360     2308    502 | 35.248 % |
36.97/37.09	c ===============================================================================
36.97/37.09	c New solution: 45376
36.97/37.09	o 45376
36.97/37.09	c Elapsed CPU time: 36.8254 s	Remaining CPU time: 143.175 s
36.97/37.09	c ===============================================================================
36.97/37.09	c |      2308 |    3720    28081   449557 |     9360     2308    502 | 35.248 % |
37.39/37.41	c ===============================================================================
37.39/37.41	c New solution: 45375
37.39/37.41	o 45375
37.39/37.41	c Elapsed CPU time: 37.1414 s	Remaining CPU time: 142.859 s
37.39/37.41	c ===============================================================================
37.39/37.41	c |      2308 |    3720    28082   451610 |     9360     2308    502 | 35.248 % |
37.68/37.73	c ===============================================================================
37.68/37.73	c New solution: 45374
37.68/37.73	o 45374
37.68/37.73	c Elapsed CPU time: 37.4563 s	Remaining CPU time: 142.544 s
37.68/37.73	c ===============================================================================
37.68/37.73	c |      2308 |    3720    28083   453663 |     9361     2308    502 | 35.248 % |
37.98/38.04	c ===============================================================================
37.98/38.04	c New solution: 45373
37.98/38.04	o 45373
37.98/38.04	c Elapsed CPU time: 37.7683 s	Remaining CPU time: 142.232 s
37.98/38.04	c ===============================================================================
37.98/38.04	c |      2308 |    3720    28084   455716 |     9361     2308    502 | 35.248 % |
38.28/38.35	c ===============================================================================
38.28/38.35	c New solution: 45372
38.28/38.35	o 45372
38.28/38.35	c Elapsed CPU time: 38.0692 s	Remaining CPU time: 141.931 s
38.28/38.35	c ===============================================================================
38.28/38.35	c |      2309 |    3720    28085   457769 |     9361     2309    501 | 35.248 % |
38.97/39.06	c ===============================================================================
38.97/39.06	c New solution: 45371
38.97/39.06	o 45371
38.97/39.06	c Elapsed CPU time: 38.7861 s	Remaining CPU time: 141.214 s
38.97/39.06	c ===============================================================================
38.97/39.06	c |      2354 |    3720    28086   459822 |     9362     2354    505 | 35.248 % |
39.87/39.99	c |      2454 |    3720    28086   459822 |    10298     2454    511 | 35.248 % |
40.27/40.34	c ===============================================================================
40.27/40.34	c New solution: 45370
40.27/40.34	o 45370
40.27/40.34	c Elapsed CPU time: 40.0659 s	Remaining CPU time: 139.934 s
40.27/40.34	c ===============================================================================
40.27/40.34	c |      2456 |    3720    28087   461875 |     9362     2456    511 | 35.248 % |
40.68/40.74	c ===============================================================================
40.68/40.74	c New solution: 45369
40.68/40.74	o 45369
40.68/40.74	c Elapsed CPU time: 40.4618 s	Remaining CPU time: 139.538 s
40.68/40.74	c ===============================================================================
40.68/40.74	c |      2457 |    3720    28088   463928 |     9362     2457    511 | 35.248 % |
41.07/41.13	c ===============================================================================
41.07/41.13	c New solution: 45368
41.07/41.13	o 45368
41.07/41.13	c Elapsed CPU time: 40.8528 s	Remaining CPU time: 139.147 s
41.07/41.13	c ===============================================================================
41.07/41.13	c |      2461 |    3720    28089   465981 |     9363     2461    512 | 35.248 % |
42.07/42.11	c |      2562 |    3720    28089   465981 |    10299     2562    517 | 35.248 % |
42.37/42.44	c ===============================================================================
42.37/42.44	c New solution: 45367
42.37/42.44	o 45367
42.37/42.44	c Elapsed CPU time: 42.1576 s	Remaining CPU time: 137.842 s
42.37/42.44	c ===============================================================================
42.37/42.44	c |      2564 |    3720    28090   468034 |     9363     2564    517 | 35.248 % |
42.78/42.82	c ===============================================================================
42.78/42.82	c New solution: 45366
42.78/42.82	o 45366
42.78/42.82	c Elapsed CPU time: 42.5325 s	Remaining CPU time: 137.467 s
42.78/42.82	c ===============================================================================
42.78/42.82	c |      2572 |    3720    28091   470087 |     9363     2572    517 | 35.248 % |
43.48/43.57	c ===============================================================================
43.48/43.57	c New solution: 45365
43.48/43.57	o 45365
43.48/43.57	c Elapsed CPU time: 43.2794 s	Remaining CPU time: 136.721 s
43.48/43.57	c ===============================================================================
43.48/43.57	c |      2616 |    3720    28092   472140 |     9364     2616    519 | 35.248 % |
44.67/44.71	c |      2716 |    3720    28092   472140 |    10300     2716    523 | 35.248 % |
44.98/45.05	c ===============================================================================
44.98/45.05	c New solution: 45364
44.98/45.05	o 45364
44.98/45.05	c Elapsed CPU time: 44.7572 s	Remaining CPU time: 135.243 s
44.98/45.05	c ===============================================================================
44.98/45.05	c |      2721 |    3720    28093   474193 |     9364     2721    523 | 35.248 % |
46.08/46.12	c |      2822 |    3720    28093   474193 |    10300     2822    528 | 35.248 % |
46.37/46.40	c ===============================================================================
46.37/46.40	c New solution: 45355
46.37/46.40	o 45355
46.37/46.40	c Elapsed CPU time: 46.112 s	Remaining CPU time: 133.888 s
46.37/46.40	c ===============================================================================
46.37/46.40	c |      2823 |    3720    28094   476246 |     9364     2823    528 | 35.248 % |
46.67/46.75	c ===============================================================================
46.67/46.75	c New solution: 45354
46.67/46.75	o 45354
46.67/46.75	c Elapsed CPU time: 46.4549 s	Remaining CPU time: 133.545 s
46.67/46.75	c ===============================================================================
46.67/46.75	c |      2830 |    3720    28095   478299 |     9365     2830    528 | 35.248 % |
47.57/47.63	c |      2930 |    3720    28095   478299 |    10301     2930    532 | 35.248 % |
48.07/48.10	c ===============================================================================
48.07/48.10	c New solution: 45353
48.07/48.10	o 45353
48.07/48.10	c Elapsed CPU time: 47.8067 s	Remaining CPU time: 132.193 s
48.07/48.10	c ===============================================================================
48.07/48.10	c |      2942 |    3720    28096   480352 |     9365     2942    532 | 35.248 % |
49.08/49.12	c |      3042 |    3720    28096   480352 |    10301     3042    536 | 35.248 % |
49.38/49.45	c ===============================================================================
49.38/49.45	c New solution: 45352
49.38/49.45	o 45352
49.38/49.45	c Elapsed CPU time: 49.1535 s	Remaining CPU time: 130.846 s
49.38/49.45	c ===============================================================================
49.38/49.45	c |      3045 |    3720    28097   482405 |     9365     3045    536 | 35.248 % |
49.67/49.78	c ===============================================================================
49.67/49.78	c New solution: 45351
49.67/49.78	o 45351
49.67/49.78	c Elapsed CPU time: 49.4835 s	Remaining CPU time: 130.517 s
49.67/49.78	c ===============================================================================
49.67/49.78	c |      3048 |    3720    28098   484458 |     9366     3048    535 | 35.248 % |
50.37/50.48	c ===============================================================================
50.37/50.48	c New solution: 45350
50.37/50.48	o 45350
50.37/50.48	c Elapsed CPU time: 50.1844 s	Remaining CPU time: 129.816 s
50.37/50.48	c ===============================================================================
50.37/50.48	c |      3077 |    3720    28099   486511 |     9366     3077    535 | 35.248 % |
52.17/52.29	c |      3178 |    3720    28099   486511 |    10302     3178    539 | 35.248 % |
53.07/53.19	c ===============================================================================
53.07/53.19	c New solution: 43936
53.07/53.19	o 43936
53.07/53.19	c Elapsed CPU time: 52.881 s	Remaining CPU time: 127.119 s
53.07/53.19	c ===============================================================================
53.07/53.19	c |      3217 |    3720    28100   488564 |     9366     3217    539 | 35.248 % |
53.47/53.57	c ===============================================================================
53.47/53.57	c New solution: 43765
53.47/53.57	o 43765
53.47/53.57	c Elapsed CPU time: 53.2599 s	Remaining CPU time: 126.74 s
53.47/53.57	c ===============================================================================
53.47/53.57	c |      3219 |    3720    28101   490617 |     9367     3219    539 | 35.248 % |
53.88/53.92	c ===============================================================================
53.88/53.92	c New solution: 43764
53.88/53.92	o 43764
53.88/53.92	c Elapsed CPU time: 53.6078 s	Remaining CPU time: 126.392 s
53.88/53.92	c ===============================================================================
53.88/53.92	c |      3225 |    3720    28102   492670 |     9367     3225    539 | 35.248 % |
54.97/55.06	c |      3328 |    3720    28102   492670 |    10304     3328    543 | 35.248 % |
55.37/55.44	c ===============================================================================
55.37/55.44	c New solution: 43763
55.37/55.44	o 43763
55.37/55.44	c Elapsed CPU time: 55.1266 s	Remaining CPU time: 124.873 s
55.37/55.44	c ===============================================================================
55.37/55.44	c |      3331 |    3720    28103   494723 |     9367     3331    543 | 35.248 % |
56.37/56.41	c |      3432 |    3720    28103   494723 |    10304     3432    541 | 35.248 % |
56.97/57.07	c ===============================================================================
56.97/57.07	c New solution: 42370
56.97/57.07	o 42370
56.97/57.07	c Elapsed CPU time: 56.7444 s	Remaining CPU time: 123.256 s
56.97/57.07	c ===============================================================================
56.97/57.07	c |      3442 |    3720    28104   496776 |     9368     3442    540 | 35.248 % |
57.37/57.46	c ===============================================================================
57.37/57.46	c New solution: 42271
57.37/57.46	o 42271
57.37/57.46	c Elapsed CPU time: 57.1403 s	Remaining CPU time: 122.86 s
57.37/57.46	c ===============================================================================
57.37/57.46	c |      3444 |    3720    28105   498829 |     9368     3444    540 | 35.248 % |
57.87/57.92	c ===============================================================================
57.87/57.92	c New solution: 42199
57.87/57.92	o 42199
57.87/57.92	c Elapsed CPU time: 57.5932 s	Remaining CPU time: 122.407 s
57.87/57.92	c ===============================================================================
57.87/57.92	c |      3445 |    3720    28106   500882 |     9368     3445    540 | 35.248 % |
58.17/58.21	c ===============================================================================
58.17/58.21	c New solution: 42198
58.17/58.21	o 42198
58.17/58.21	c Elapsed CPU time: 57.8882 s	Remaining CPU time: 122.112 s
58.17/58.21	c ===============================================================================
58.17/58.21	c |      3454 |    3720    28107   502935 |     9369     3454    541 | 35.248 % |
58.57/58.64	c ===============================================================================
58.57/58.64	c New solution: 42195
58.57/58.64	o 42195
58.57/58.64	c Elapsed CPU time: 58.3161 s	Remaining CPU time: 121.684 s
58.57/58.64	c ===============================================================================
58.57/58.64	c |      3457 |    3720    28108   504988 |     9369     3457    541 | 35.248 % |
59.27/59.34	c |      3557 |    3720    28108   504988 |    10306     3557    544 | 35.248 % |
59.66/59.70	c ===============================================================================
59.66/59.70	c New solution: 42182
59.66/59.70	o 42182
59.66/59.70	c Elapsed CPU time: 59.375 s	Remaining CPU time: 120.625 s
59.66/59.70	c ===============================================================================
59.66/59.70	c |      3564 |    3720    28109   507041 |     9369     3564    544 | 35.248 % |
60.87/60.98	c |      3665 |    3720    28109   507041 |    10306     3665    547 | 35.248 % |
61.37/61.41	c ===============================================================================
61.37/61.41	c New solution: 42181
61.37/61.41	o 42181
61.37/61.41	c Elapsed CPU time: 61.0777 s	Remaining CPU time: 118.922 s
61.37/61.41	c ===============================================================================
61.37/61.41	c |      3669 |    3720    28110   509094 |     9370     3669    547 | 35.248 % |
62.47/62.56	c |      3769 |    3720    28110   509094 |    10307     3769    550 | 35.248 % |
62.87/62.97	c ===============================================================================
62.87/62.97	c New solution: 42180
62.87/62.97	o 42180
62.87/62.97	c Elapsed CPU time: 62.6375 s	Remaining CPU time: 117.363 s
62.87/62.97	c ===============================================================================
62.87/62.97	c |      3773 |    3720    28111   511147 |     9370     3773    550 | 35.248 % |
63.77/63.86	c ===============================================================================
63.77/63.86	c New solution: 42179
63.77/63.86	o 42179
63.77/63.86	c Elapsed CPU time: 63.5293 s	Remaining CPU time: 116.471 s
63.77/63.86	c ===============================================================================
63.77/63.86	c |      3869 |    3720    28112   513200 |     9370     3869    552 | 35.248 % |
64.16/64.28	c ===============================================================================
64.16/64.28	c New solution: 42177
64.16/64.28	o 42177
64.16/64.28	c Elapsed CPU time: 63.9453 s	Remaining CPU time: 116.055 s
64.16/64.28	c ===============================================================================
64.16/64.28	c |      3872 |    3720    28113   515253 |     9371     3872    552 | 35.248 % |
64.56/64.67	c ===============================================================================
64.56/64.67	c New solution: 42175
64.56/64.67	o 42175
64.56/64.67	c Elapsed CPU time: 64.3332 s	Remaining CPU time: 115.667 s
64.56/64.67	c ===============================================================================
64.56/64.67	c |      3872 |    3720    28114   517306 |     9371     3872    552 | 35.248 % |
64.96/65.05	c ===============================================================================
64.96/65.05	c New solution: 42171
64.96/65.05	o 42171
64.96/65.05	c Elapsed CPU time: 64.7162 s	Remaining CPU time: 115.284 s
64.96/65.05	c ===============================================================================
64.96/65.05	c |      3872 |    3720    28115   519359 |     9371     3872    552 | 35.248 % |
65.36/65.49	c ===============================================================================
65.36/65.49	c New solution: 42168
65.36/65.49	o 42168
65.36/65.49	c Elapsed CPU time: 65.1571 s	Remaining CPU time: 114.843 s
65.36/65.50	c ===============================================================================
65.36/65.50	c |      3873 |    3720    28116   521412 |     9372     3873    552 | 35.248 % |
65.88/65.90	c ===============================================================================
65.88/65.90	c New solution: 42167
65.88/65.90	o 42167
65.88/65.90	c Elapsed CPU time: 65.557 s	Remaining CPU time: 114.443 s
65.88/65.90	c ===============================================================================
65.88/65.90	c |      3876 |    3720    28117   523465 |     9372     3876    552 | 35.248 % |
67.87/67.90	c |      3976 |    3720    28117   523465 |    10309     3976    555 | 35.248 % |
68.18/68.25	c ===============================================================================
68.18/68.25	c New solution: 42166
68.18/68.25	o 42166
68.18/68.25	c Elapsed CPU time: 67.9077 s	Remaining CPU time: 112.092 s
68.18/68.25	c ===============================================================================
68.18/68.25	c |      3977 |    3720    28118   525518 |     9372     3977    555 | 35.248 % |
68.47/68.59	c ===============================================================================
68.47/68.59	c New solution: 42165
68.47/68.59	o 42165
68.47/68.59	c Elapsed CPU time: 68.2486 s	Remaining CPU time: 111.751 s
68.47/68.59	c ===============================================================================
68.47/68.59	c |      3977 |    3720    28119   527571 |     9373     3977    555 | 35.248 % |
68.87/68.94	c ===============================================================================
68.87/68.94	c New solution: 42164
68.87/68.94	o 42164
68.87/68.94	c Elapsed CPU time: 68.5936 s	Remaining CPU time: 111.406 s
68.87/68.94	c ===============================================================================
68.87/68.94	c |      3977 |    3720    28120   529624 |     9373     3977    555 | 35.248 % |
69.17/69.28	c ===============================================================================
69.17/69.28	c New solution: 42163
69.17/69.28	o 42163
69.17/69.28	c Elapsed CPU time: 68.9385 s	Remaining CPU time: 111.061 s
69.17/69.28	c ===============================================================================
69.17/69.28	c |      3977 |    3720    28121   531677 |     9373     3977    555 | 35.248 % |
69.57/69.63	c ===============================================================================
69.57/69.63	c New solution: 42162
69.57/69.63	o 42162
69.57/69.63	c Elapsed CPU time: 69.2835 s	Remaining CPU time: 110.717 s
69.57/69.63	c ===============================================================================
69.57/69.63	c |      3977 |    3720    28122   533730 |     9374     3977    555 | 35.248 % |
69.87/69.97	c ===============================================================================
69.87/69.97	c New solution: 42161
69.87/69.97	o 42161
69.87/69.97	c Elapsed CPU time: 69.6274 s	Remaining CPU time: 110.373 s
69.87/69.97	c ===============================================================================
69.87/69.97	c |      3977 |    3720    28123   535783 |     9374     3977    555 | 35.248 % |
70.27/70.32	c ===============================================================================
70.27/70.32	c New solution: 42160
70.27/70.32	o 42160
70.27/70.32	c Elapsed CPU time: 69.9704 s	Remaining CPU time: 110.03 s
70.27/70.32	c ===============================================================================
70.27/70.32	c |      3977 |    3720    28124   537836 |     9374     3977    555 | 35.248 % |
70.57/70.66	c ===============================================================================
70.57/70.66	c New solution: 42159
70.57/70.66	o 42159
70.57/70.66	c Elapsed CPU time: 70.3093 s	Remaining CPU time: 109.691 s
70.57/70.66	c ===============================================================================
70.57/70.66	c |      3977 |    3720    28125   539889 |     9375     3977    555 | 35.248 % |
70.96/71.00	c ===============================================================================
70.96/71.00	c New solution: 42158
70.96/71.00	o 42158
70.96/71.00	c Elapsed CPU time: 70.6503 s	Remaining CPU time: 109.35 s
70.96/71.00	c ===============================================================================
70.96/71.00	c |      3977 |    3720    28126   541942 |     9375     3977    555 | 35.248 % |
71.26/71.34	c ===============================================================================
71.26/71.34	c New solution: 42157
71.26/71.34	o 42157
71.26/71.34	c Elapsed CPU time: 70.9902 s	Remaining CPU time: 109.01 s
71.26/71.34	c ===============================================================================
71.26/71.34	c |      3977 |    3720    28127   543995 |     9375     3977    555 | 35.248 % |
71.56/71.68	c ===============================================================================
71.56/71.68	c New solution: 42156
71.56/71.68	o 42156
71.56/71.68	c Elapsed CPU time: 71.3292 s	Remaining CPU time: 108.671 s
71.56/71.68	c ===============================================================================
71.56/71.68	c |      3977 |    3720    28128   546048 |     9376     3977    555 | 35.248 % |
71.96/72.02	c ===============================================================================
71.96/72.02	c New solution: 42155
71.96/72.02	o 42155
71.96/72.02	c Elapsed CPU time: 71.6681 s	Remaining CPU time: 108.332 s
71.96/72.02	c ===============================================================================
71.96/72.02	c |      3977 |    3720    28129   548101 |     9376     3977    555 | 35.248 % |
72.26/72.35	c ===============================================================================
72.26/72.35	c New solution: 42154
72.26/72.35	o 42154
72.26/72.35	c Elapsed CPU time: 72.0051 s	Remaining CPU time: 107.995 s
72.26/72.35	c ===============================================================================
72.26/72.35	c |      3977 |    3720    28130   550154 |     9376     3977    555 | 35.248 % |
72.66/72.70	c ===============================================================================
72.66/72.70	c New solution: 42153
72.66/72.70	o 42153
72.66/72.70	c Elapsed CPU time: 72.351 s	Remaining CPU time: 107.649 s
72.66/72.70	c ===============================================================================
72.66/72.70	c |      3977 |    3720    28131   552207 |     9377     3977    555 | 35.248 % |
72.96/73.03	c ===============================================================================
72.96/73.04	c New solution: 42152
72.96/73.04	o 42152
72.96/73.04	c Elapsed CPU time: 72.685 s	Remaining CPU time: 107.315 s
72.96/73.04	c ===============================================================================
72.96/73.04	c |      3977 |    3720    28132   554260 |     9377     3977    555 | 35.248 % |
73.26/73.37	c ===============================================================================
73.26/73.37	c New solution: 42151
73.26/73.37	o 42151
73.26/73.37	c Elapsed CPU time: 73.0209 s	Remaining CPU time: 106.979 s
73.26/73.37	c ===============================================================================
73.26/73.37	c |      3977 |    3720    28133   556313 |     9377     3977    555 | 35.248 % |
73.67/73.71	c ===============================================================================
73.67/73.71	c New solution: 42150
73.67/73.71	o 42150
73.67/73.71	c Elapsed CPU time: 73.3538 s	Remaining CPU time: 106.646 s
73.67/73.71	c ===============================================================================
73.67/73.71	c |      3977 |    3720    28134   558366 |     9378     3977    555 | 35.248 % |
73.96/74.04	c ===============================================================================
73.96/74.04	c New solution: 42149
73.96/74.04	o 42149
73.96/74.04	c Elapsed CPU time: 73.6848 s	Remaining CPU time: 106.315 s
73.96/74.04	c ===============================================================================
73.96/74.04	c |      3977 |    3720    28135   560419 |     9378     3977    555 | 35.248 % |
74.27/74.37	c ===============================================================================
74.27/74.37	c New solution: 42148
74.27/74.37	o 42148
74.27/74.37	c Elapsed CPU time: 74.0167 s	Remaining CPU time: 105.983 s
74.27/74.37	c ===============================================================================
74.27/74.37	c |      3977 |    3720    28136   562472 |     9378     3977    555 | 35.248 % |
74.67/74.71	c ===============================================================================
74.67/74.71	c New solution: 42147
74.67/74.71	o 42147
74.67/74.71	c Elapsed CPU time: 74.3537 s	Remaining CPU time: 105.646 s
74.67/74.71	c ===============================================================================
74.67/74.71	c |      3978 |    3720    28137   564525 |     9379     3978    555 | 35.248 % |
75.27/75.31	c ===============================================================================
75.27/75.31	c New solution: 40735
75.27/75.31	o 40735
75.27/75.31	c Elapsed CPU time: 74.9516 s	Remaining CPU time: 105.048 s
75.27/75.31	c ===============================================================================
75.27/75.31	c |      3988 |    3720    28138   566578 |     9379     3988    555 | 35.248 % |
75.77/75.83	c ===============================================================================
75.77/75.83	c New solution: 40680
75.77/75.83	o 40680
75.77/75.83	c Elapsed CPU time: 75.4735 s	Remaining CPU time: 104.526 s
75.77/75.83	c ===============================================================================
75.77/75.83	c |      3988 |    3720    28139   568631 |     9379     3988    555 | 35.248 % |
76.26/76.33	c ===============================================================================
76.26/76.33	c New solution: 40670
76.26/76.33	o 40670
76.26/76.33	c Elapsed CPU time: 75.9734 s	Remaining CPU time: 104.027 s
76.26/76.33	c ===============================================================================
76.26/76.33	c |      3988 |    3720    28140   570684 |     9380     3988    555 | 35.248 % |
76.76/76.83	c ===============================================================================
76.76/76.83	c New solution: 40669
76.76/76.83	o 40669
76.76/76.83	c Elapsed CPU time: 76.4694 s	Remaining CPU time: 103.531 s
76.76/76.83	c ===============================================================================
76.76/76.83	c |      3988 |    3720    28141   572737 |     9380     3988    555 | 35.248 % |
77.26/77.33	c ===============================================================================
77.26/77.33	c New solution: 40668
77.26/77.33	o 40668
77.26/77.33	c Elapsed CPU time: 76.9653 s	Remaining CPU time: 103.035 s
77.26/77.33	c ===============================================================================
77.26/77.33	c |      3988 |    3720    28142   574790 |     9380     3988    555 | 35.248 % |
77.76/77.83	c ===============================================================================
77.76/77.83	c New solution: 40667
77.76/77.83	o 40667
77.76/77.83	c Elapsed CPU time: 77.4662 s	Remaining CPU time: 102.534 s
77.76/77.83	c ===============================================================================
77.76/77.83	c |      3989 |    3720    28143   576843 |     9381     3989    555 | 35.248 % |
78.26/78.34	c ===============================================================================
78.26/78.34	c New solution: 40591
78.26/78.34	o 40591
78.26/78.34	c Elapsed CPU time: 77.9821 s	Remaining CPU time: 102.018 s
78.26/78.34	c ===============================================================================
78.26/78.34	c |      3991 |    3720    28144   578896 |     9381     3991    555 | 35.248 % |
79.07/79.14	c ===============================================================================
79.07/79.14	c New solution: 40590
79.07/79.14	o 40590
79.07/79.14	c Elapsed CPU time: 78.78 s	Remaining CPU time: 101.22 s
79.07/79.14	c ===============================================================================
79.07/79.14	c |      4052 |    3720    28145   580949 |     9381     4052    556 | 35.248 % |
79.57/79.62	c ===============================================================================
79.57/79.62	c New solution: 40589
79.57/79.62	o 40589
79.57/79.62	c Elapsed CPU time: 79.2579 s	Remaining CPU time: 100.742 s
79.57/79.62	c ===============================================================================
79.57/79.62	c |      4057 |    3720    28146   583002 |     9382     4057    557 | 35.248 % |
80.07/80.13	c ===============================================================================
80.07/80.13	c New solution: 40588
80.07/80.13	o 40588
80.07/80.13	c Elapsed CPU time: 79.7669 s	Remaining CPU time: 100.233 s
80.07/80.13	c ===============================================================================
80.07/80.13	c |      4057 |    3720    28147   585055 |     9382     4057    557 | 35.248 % |
80.57/80.67	c ===============================================================================
80.57/80.67	c New solution: 40587
80.57/80.67	o 40587
80.57/80.67	c Elapsed CPU time: 80.2998 s	Remaining CPU time: 99.7002 s
80.57/80.67	c ===============================================================================
80.57/80.67	c |      4058 |    3720    28148   587108 |     9382     4058    557 | 35.248 % |
81.66/81.77	c ===============================================================================
81.66/81.77	c New solution: 39142
81.66/81.77	o 39142
81.66/81.77	c Elapsed CPU time: 81.4056 s	Remaining CPU time: 98.5944 s
81.66/81.77	c ===============================================================================
81.66/81.77	c |      4119 |    3720    28149   589161 |     9383     4119    558 | 35.248 % |
82.06/82.19	c ===============================================================================
82.06/82.19	c New solution: 38983
82.06/82.19	o 38983
82.06/82.19	c Elapsed CPU time: 81.8176 s	Remaining CPU time: 98.1824 s
82.06/82.19	c ===============================================================================
82.06/82.19	c |      4120 |    3720    28150   591214 |     9383     4120    558 | 35.248 % |
82.56/82.60	c ===============================================================================
82.56/82.60	c New solution: 38982
82.56/82.60	o 38982
82.56/82.60	c Elapsed CPU time: 82.2285 s	Remaining CPU time: 97.7715 s
82.56/82.60	c ===============================================================================
82.56/82.60	c |      4121 |    3720    28151   593267 |     9383     4121    558 | 35.248 % |
82.96/83.02	c ===============================================================================
82.96/83.02	c New solution: 38981
82.96/83.02	o 38981
82.96/83.02	c Elapsed CPU time: 82.6464 s	Remaining CPU time: 97.3536 s
82.96/83.02	c ===============================================================================
82.96/83.02	c |      4122 |    3720    28152   595320 |     9384     4122    558 | 35.248 % |
84.16/84.29	c |      4222 |    3720    28152   595320 |    10322     4222    561 | 35.248 % |
84.57/84.67	c ===============================================================================
84.57/84.67	c New solution: 38980
84.57/84.67	o 38980
84.57/84.67	c Elapsed CPU time: 84.2952 s	Remaining CPU time: 95.7048 s
84.57/84.67	c ===============================================================================
84.57/84.67	c |      4225 |    3720    28153   597373 |     9384     4225    560 | 35.248 % |
85.16/85.21	c ===============================================================================
85.16/85.21	c New solution: 37537
85.16/85.21	o 37537
85.16/85.21	c Elapsed CPU time: 84.8371 s	Remaining CPU time: 95.1629 s
85.16/85.21	c ===============================================================================
85.16/85.21	c |      4234 |    3720    28154   599426 |     9384     4234    561 | 35.248 % |
85.67/85.76	c ===============================================================================
85.67/85.76	c New solution: 37396
85.67/85.76	o 37396
85.67/85.76	c Elapsed CPU time: 85.385 s	Remaining CPU time: 94.615 s
85.67/85.76	c ===============================================================================
85.67/85.76	c |      4239 |    3720    28155   601479 |     9385     4239    560 | 35.248 % |
86.16/86.21	c ===============================================================================
86.16/86.21	c New solution: 37382
86.16/86.21	o 37382
86.16/86.21	c Elapsed CPU time: 85.8359 s	Remaining CPU time: 94.1641 s
86.16/86.21	c ===============================================================================
86.16/86.21	c |      4244 |    3720    28156   603532 |     9385     4244    560 | 35.248 % |
86.56/86.65	c ===============================================================================
86.56/86.65	c New solution: 37377
86.56/86.65	o 37377
86.56/86.65	c Elapsed CPU time: 86.2789 s	Remaining CPU time: 93.7211 s
86.56/86.65	c ===============================================================================
86.56/86.65	c |      4247 |    3720    28157   605585 |     9385     4247    560 | 35.248 % |
87.76/87.88	c |      4347 |    3720    28157   605585 |    10324     4347    562 | 35.248 % |
88.76/88.84	c ===============================================================================
88.76/88.84	c New solution: 37376
88.76/88.84	o 37376
88.76/88.84	c Elapsed CPU time: 88.4546 s	Remaining CPU time: 91.5454 s
88.76/88.84	c ===============================================================================
88.76/88.84	c |      4400 |    3720    28158   607638 |     9386     4400    564 | 35.248 % |
89.46/89.51	c ===============================================================================
89.46/89.51	c New solution: 37375
89.46/89.51	o 37375
89.46/89.51	c Elapsed CPU time: 89.1314 s	Remaining CPU time: 90.8686 s
89.46/89.51	c ===============================================================================
89.46/89.51	c |      4473 |    3720    28159   609691 |     9386     4473    562 | 35.248 % |
90.66/90.74	c |      4573 |    3720    28159   609691 |    10324     4573    564 | 35.248 % |
91.46/91.54	c ===============================================================================
91.46/91.54	c New solution: 37366
91.46/91.54	o 37366
91.46/91.54	c Elapsed CPU time: 91.1531 s	Remaining CPU time: 88.8469 s
91.46/91.54	c ===============================================================================
91.46/91.54	c |      4576 |    3720    28160   611744 |     9386     4576    564 | 35.248 % |
91.86/91.96	c ===============================================================================
91.86/91.96	c New solution: 37365
91.86/91.96	o 37365
91.86/91.96	c Elapsed CPU time: 91.5721 s	Remaining CPU time: 88.4279 s
91.86/91.96	c ===============================================================================
91.86/91.96	c |      4589 |    3720    28161   613797 |     9387     4589    564 | 35.248 % |
92.56/92.68	c ===============================================================================
92.56/92.68	c New solution: 35964
92.56/92.68	o 35964
92.56/92.68	c Elapsed CPU time: 92.296 s	Remaining CPU time: 87.704 s
92.56/92.68	c ===============================================================================
92.56/92.68	c |      4598 |    3720    28162   615850 |     9387     4598    564 | 35.248 % |
93.16/93.20	c ===============================================================================
93.16/93.20	c New solution: 35783
93.16/93.20	o 35783
93.16/93.20	c Elapsed CPU time: 92.8109 s	Remaining CPU time: 87.1891 s
93.16/93.20	c ===============================================================================
93.16/93.20	c |      4611 |    3720    28163   617903 |     9387     4611    564 | 35.248 % |
94.36/94.49	c |      4711 |    3720    28163   617903 |    10326     4711    566 | 35.248 % |
94.86/94.96	c ===============================================================================
94.86/94.96	c New solution: 35782
94.86/94.96	o 35782
94.86/94.96	c Elapsed CPU time: 94.5676 s	Remaining CPU time: 85.4324 s
94.86/94.96	c ===============================================================================
94.86/94.96	c |      4716 |    3720    28164   619956 |     9388     4716    566 | 35.248 % |
95.46/95.51	c ===============================================================================
95.46/95.51	c New solution: 35781
95.46/95.51	o 35781
95.46/95.51	c Elapsed CPU time: 95.1165 s	Remaining CPU time: 84.8835 s
95.46/95.51	c ===============================================================================
95.46/95.51	c |      4722 |    3720    28165   622009 |     9388     4722    565 | 35.248 % |
96.76/96.82	c |      4822 |    3720    28165   622009 |    10327     4822    567 | 35.248 % |
97.25/97.31	c ===============================================================================
97.25/97.31	c New solution: 35780
97.25/97.31	o 35780
97.25/97.31	c Elapsed CPU time: 96.9153 s	Remaining CPU time: 83.0847 s
97.25/97.31	c ===============================================================================
97.25/97.31	c |      4825 |    3720    28166   624062 |     9388     4825    567 | 35.248 % |
98.55/98.66	c |      4926 |    3720    28166   624062 |    10327     4926    569 | 35.248 % |
99.05/99.15	c ===============================================================================
99.05/99.15	c New solution: 35779
99.05/99.15	o 35779
99.05/99.15	c Elapsed CPU time: 98.749 s	Remaining CPU time: 81.251 s
99.05/99.15	c ===============================================================================
99.05/99.15	c |      4930 |    3720    28167   626115 |     9389     4930    569 | 35.248 % |
99.55/99.67	c ===============================================================================
99.55/99.67	c New solution: 35778
99.55/99.67	o 35778
99.55/99.67	c Elapsed CPU time: 99.2719 s	Remaining CPU time: 80.7281 s
99.55/99.67	c ===============================================================================
99.55/99.67	c |      4937 |    3720    28168   628168 |     9389     4937    569 | 35.248 % |
100.76/100.85	c ===============================================================================
100.76/100.85	c New solution: 35777
100.76/100.85	o 35777
100.76/100.85	c Elapsed CPU time: 100.449 s	Remaining CPU time: 79.5513 s
100.76/100.85	c ===============================================================================
100.76/100.85	c |      5016 |    3720    28169   630221 |     9389     5016    570 | 35.248 % |
101.06/101.13	c |      5117 |    3720    28169   630221 |    10328     5117    566 | 35.248 % |
103.75/103.89	c |      5267 |    3720    28169   630221 |    11361     5267    568 | 35.248 % |
104.85/104.95	c ===============================================================================
104.85/104.95	c New solution: 35776
104.85/104.95	o 35776
104.85/104.95	c Elapsed CPU time: 104.543 s	Remaining CPU time: 75.4569 s
104.85/104.95	c ===============================================================================
104.85/104.95	c |      5355 |    3720    28170   632274 |     9390     5355    569 | 35.248 % |
105.56/105.65	c ===============================================================================
105.56/105.65	c New solution: 35772
105.56/105.65	o 35772
105.56/105.65	c Elapsed CPU time: 105.236 s	Remaining CPU time: 74.764 s
105.56/105.65	c ===============================================================================
105.56/105.65	c |      5356 |    3720    28171   634327 |     9390     5356    569 | 35.248 % |
106.25/106.30	c ===============================================================================
106.25/106.30	c New solution: 35757
106.25/106.30	o 35757
106.25/106.30	c Elapsed CPU time: 105.887 s	Remaining CPU time: 74.1131 s
106.25/106.30	c ===============================================================================
106.25/106.30	c |      5356 |    3720    28172   636380 |     9390     5356    569 | 35.248 % |
106.85/106.96	c ===============================================================================
106.85/106.96	c New solution: 35756
106.85/106.96	o 35756
106.85/106.96	c Elapsed CPU time: 106.543 s	Remaining CPU time: 73.4572 s
106.85/106.96	c ===============================================================================
106.85/106.96	c |      5357 |    3720    28173   638433 |     9391     5357    569 | 35.248 % |
108.16/108.24	c |      5457 |    3720    28173   638433 |    10330     5457    569 | 35.248 % |
108.76/108.84	c ===============================================================================
108.76/108.84	c New solution: 35755
108.76/108.84	o 35755
108.76/108.84	c Elapsed CPU time: 108.419 s	Remaining CPU time: 71.5815 s
108.76/108.84	c ===============================================================================
108.76/108.84	c |      5479 |    3720    28174   640486 |     9391     5479    569 | 35.248 % |
110.05/110.12	c |      5579 |    3720    28174   640486 |    10330     5579    570 | 35.248 % |
112.35/112.44	c |      5729 |    3720    28174   640486 |    11363     5729    571 | 35.248 % |
112.85/112.95	c ===============================================================================
112.85/112.95	c New solution: 35754
112.85/112.95	o 35754
112.85/112.95	c Elapsed CPU time: 112.526 s	Remaining CPU time: 67.4741 s
112.85/112.95	c ===============================================================================
112.85/112.95	c |      5738 |    3720    28175   642539 |     9391     5738    571 | 35.248 % |
113.45/113.58	c ===============================================================================
113.45/113.58	c New solution: 35753
113.45/113.58	o 35753
113.45/113.58	c Elapsed CPU time: 113.157 s	Remaining CPU time: 66.8432 s
113.45/113.58	c ===============================================================================
113.45/113.58	c |      5745 |    3720    28176   644592 |     9392     5745    571 | 35.248 % |
114.55/114.62	c |      5846 |    3720    28176   644592 |    10331     5846    572 | 35.248 % |
114.95/115.05	c ===============================================================================
114.95/115.05	c New solution: 35752
114.95/115.05	o 35752
114.95/115.05	c Elapsed CPU time: 114.623 s	Remaining CPU time: 65.3774 s
114.95/115.05	c ===============================================================================
114.95/115.05	c |      5853 |    3720    28177   646645 |     9392     5853    572 | 35.248 % |
115.95/116.04	c ===============================================================================
115.95/116.04	c New solution: 34351
115.95/116.04	o 34351
115.95/116.04	c Elapsed CPU time: 115.61 s	Remaining CPU time: 64.3896 s
115.95/116.04	c ===============================================================================
115.95/116.04	c |      5875 |    3720    28178   648698 |     9392     5875    572 | 35.248 % |
116.46/116.58	c ===============================================================================
116.46/116.58	c New solution: 34170
116.46/116.58	o 34170
116.46/116.58	c Elapsed CPU time: 116.148 s	Remaining CPU time: 63.8517 s
116.46/116.58	c ===============================================================================
116.46/116.58	c |      5878 |    3720    28179   650751 |     9393     5878    572 | 35.248 % |
117.05/117.16	c ===============================================================================
117.05/117.16	c New solution: 34164
117.05/117.16	o 34164
117.05/117.16	c Elapsed CPU time: 116.726 s	Remaining CPU time: 63.2737 s
117.05/117.16	c ===============================================================================
117.05/117.16	c |      5881 |    3720    28180   652804 |     9393     5881    572 | 35.248 % |
117.65/117.73	c ===============================================================================
117.65/117.73	c New solution: 34163
117.65/117.73	o 34163
117.65/117.73	c Elapsed CPU time: 117.294 s	Remaining CPU time: 62.7058 s
117.65/117.73	c ===============================================================================
117.65/117.73	c |      5881 |    3720    28181   654857 |     9393     5881    572 | 35.248 % |
118.15/118.30	c ===============================================================================
118.15/118.30	c New solution: 34161
118.15/118.30	o 34161
118.15/118.30	c Elapsed CPU time: 117.86 s	Remaining CPU time: 62.1399 s
118.15/118.30	c ===============================================================================
118.15/118.30	c |      5881 |    3720    28182   656910 |     9394     5881    572 | 35.248 % |
118.75/118.86	c ===============================================================================
118.75/118.86	c New solution: 34160
118.75/118.86	o 34160
118.75/118.86	c Elapsed CPU time: 118.423 s	Remaining CPU time: 61.577 s
118.75/118.86	c ===============================================================================
118.75/118.86	c |      5881 |    3720    28183   658963 |     9394     5881    572 | 35.248 % |
119.35/119.42	c ===============================================================================
119.35/119.42	c New solution: 34159
119.35/119.42	o 34159
119.35/119.42	c Elapsed CPU time: 118.986 s	Remaining CPU time: 61.0141 s
119.35/119.42	c ===============================================================================
119.35/119.42	c |      5881 |    3720    28184   661016 |     9394     5881    572 | 35.248 % |
119.86/119.96	c ===============================================================================
119.86/119.96	c New solution: 34158
119.86/119.96	o 34158
119.86/119.96	c Elapsed CPU time: 119.524 s	Remaining CPU time: 60.4762 s
119.86/119.96	c ===============================================================================
119.86/119.96	c |      5885 |    3720    28185   663069 |     9395     5885    572 | 35.248 % |
120.45/120.52	c ===============================================================================
120.45/120.52	c New solution: 34157
120.45/120.52	o 34157
120.45/120.52	c Elapsed CPU time: 120.077 s	Remaining CPU time: 59.9233 s
120.45/120.52	c ===============================================================================
120.45/120.52	c |      5885 |    3720    28186   665122 |     9395     5885    572 | 35.248 % |
120.95/121.07	c ===============================================================================
120.95/121.07	c New solution: 34156
120.95/121.07	o 34156
120.95/121.07	c Elapsed CPU time: 120.625 s	Remaining CPU time: 59.3753 s
120.95/121.07	c ===============================================================================
120.95/121.07	c |      5885 |    3720    28187   667175 |     9395     5885    572 | 35.248 % |
121.54/121.62	c ===============================================================================
121.54/121.62	c New solution: 34155
121.54/121.62	o 34155
121.54/121.62	c Elapsed CPU time: 121.173 s	Remaining CPU time: 58.8274 s
121.54/121.62	c ===============================================================================
121.54/121.62	c |      5885 |    3720    28188   669228 |     9396     5885    572 | 35.248 % |
122.05/122.19	c ===============================================================================
122.05/122.19	c New solution: 34154
122.05/122.19	o 34154
122.05/122.19	c Elapsed CPU time: 121.74 s	Remaining CPU time: 58.2595 s
122.05/122.19	c ===============================================================================
122.05/122.19	c |      5886 |    3720    28189   671281 |     9396     5886    572 | 35.248 % |
122.64/122.75	c ===============================================================================
122.64/122.75	c New solution: 34153
122.64/122.75	o 34153
122.64/122.75	c Elapsed CPU time: 122.301 s	Remaining CPU time: 57.6986 s
122.64/122.75	c ===============================================================================
122.64/122.75	c |      5886 |    3720    28190   673334 |     9396     5886    572 | 35.248 % |
123.25/123.33	c ===============================================================================
123.25/123.33	c New solution: 34152
123.25/123.33	o 34152
123.25/123.33	c Elapsed CPU time: 122.875 s	Remaining CPU time: 57.1247 s
123.25/123.33	c ===============================================================================
123.25/123.33	c |      5886 |    3720    28191   675387 |     9397     5886    572 | 35.248 % |
123.85/123.90	c ===============================================================================
123.85/123.90	c New solution: 34151
123.85/123.90	o 34151
123.85/123.90	c Elapsed CPU time: 123.449 s	Remaining CPU time: 56.5508 s
123.85/123.90	c ===============================================================================
123.85/123.90	c |      5888 |    3720    28192   677440 |     9397     5888    572 | 35.248 % |
125.26/125.38	c |      5988 |    3720    28192   677440 |    10337     5988    572 | 35.248 % |
125.85/125.96	c ===============================================================================
125.85/125.96	c New solution: 34150
125.85/125.96	o 34150
125.85/125.96	c Elapsed CPU time: 125.505 s	Remaining CPU time: 54.4951 s
125.85/125.96	c ===============================================================================
125.85/125.96	c |      5988 |    3720    28193   679493 |     9397     5988    572 | 35.248 % |
126.45/126.55	c ===============================================================================
126.45/126.55	c New solution: 34149
126.45/126.55	o 34149
126.45/126.55	c Elapsed CPU time: 126.097 s	Remaining CPU time: 53.9032 s
126.45/126.55	c ===============================================================================
126.45/126.55	c |      5992 |    3720    28194   681546 |     9398     5992    572 | 35.248 % |
126.95/127.06	c ===============================================================================
126.95/127.06	c New solution: 34148
126.95/127.06	o 34148
126.95/127.06	c Elapsed CPU time: 126.605 s	Remaining CPU time: 53.3952 s
126.95/127.06	c ===============================================================================
126.95/127.06	c |      5995 |    3720    28195   683599 |     9398     5995    572 | 35.248 % |
128.34/128.49	c |      6096 |    3720    28195   683599 |    10338     6096    573 | 35.248 % |
131.34/131.49	c |      6246 |    3720    28195   683599 |    11371     6246    574 | 35.248 % |
131.86/131.90	c ===============================================================================
131.86/131.90	c New solution: 34147
131.86/131.90	o 34147
131.86/131.90	c Elapsed CPU time: 131.441 s	Remaining CPU time: 48.559 s
131.86/131.90	c ===============================================================================
131.86/131.90	c |      6251 |    3720    28196   685652 |     9398     6251    574 | 35.248 % |
132.15/132.28	c ===============================================================================
132.15/132.28	c New solution: 34146
132.15/132.28	o 34146
132.15/132.28	c Elapsed CPU time: 131.815 s	Remaining CPU time: 48.185 s
132.15/132.28	c ===============================================================================
132.15/132.28	c |      6256 |    3720    28197   687705 |     9399     6256    574 | 35.248 % |
132.96/133.07	c ===============================================================================
132.96/133.07	c New solution: 32724
132.96/133.07	o 32724
132.96/133.07	c Elapsed CPU time: 132.603 s	Remaining CPU time: 47.3972 s
132.96/133.07	c ===============================================================================
132.96/133.07	c |      6275 |    3720    28198   689758 |     9399     6275    574 | 35.248 % |
133.45/133.54	c ===============================================================================
133.45/133.54	c New solution: 32571
133.45/133.54	o 32571
133.45/133.54	c Elapsed CPU time: 133.078 s	Remaining CPU time: 46.9222 s
133.45/133.54	c ===============================================================================
133.45/133.54	c |      6283 |    3720    28199   691811 |     9399     6283    574 | 35.248 % |
133.84/133.99	c ===============================================================================
133.84/133.99	c New solution: 32570
133.84/133.99	o 32570
133.84/133.99	c Elapsed CPU time: 133.525 s	Remaining CPU time: 46.4753 s
133.84/133.99	c ===============================================================================
133.84/133.99	c |      6294 |    3720    28200   693864 |     9400     6294    574 | 35.248 % |
136.04/136.19	c |      6394 |    3720    28200   693864 |    10340     6394    574 | 35.248 % |
136.35/136.47	c ===============================================================================
136.35/136.47	c New solution: 32569
136.35/136.47	o 32569
136.35/136.47	c Elapsed CPU time: 135.993 s	Remaining CPU time: 44.0067 s
136.35/136.47	c ===============================================================================
136.35/136.47	c |      6395 |    3720    28201   695917 |     9400     6395    574 | 35.248 % |
136.85/136.99	c ===============================================================================
136.85/136.99	c New solution: 32568
136.85/136.99	o 32568
136.85/136.99	c Elapsed CPU time: 136.516 s	Remaining CPU time: 43.4838 s
136.85/136.99	c ===============================================================================
136.85/136.99	c |      6406 |    3720    28202   697970 |     9400     6406    574 | 35.248 % |
137.65/137.73	c ===============================================================================
137.65/137.73	c New solution: 32567
137.65/137.73	o 32567
137.65/137.73	c Elapsed CPU time: 137.258 s	Remaining CPU time: 42.7419 s
137.65/137.73	c ===============================================================================
137.65/137.73	c |      6436 |    3720    28203   700023 |     9401     6436    575 | 35.248 % |
138.84/138.93	c |      6536 |    3720    28203   700023 |    10341     6536    576 | 35.248 % |
141.34/141.48	c |      6686 |    3720    28203   700023 |    11375     6686    577 | 35.248 % |
141.85/141.98	c ===============================================================================
141.85/141.98	c New solution: 32566
141.85/141.98	o 32566
141.85/141.98	c Elapsed CPU time: 141.498 s	Remaining CPU time: 38.5015 s
141.85/141.98	c ===============================================================================
141.85/141.98	c |      6688 |    3720    28204   702076 |     9401     6688    577 | 35.248 % |
142.34/142.48	c ===============================================================================
142.34/142.48	c New solution: 32565
142.34/142.48	o 32565
142.34/142.48	c Elapsed CPU time: 141.993 s	Remaining CPU time: 38.0066 s
142.34/142.48	c ===============================================================================
142.34/142.48	c |      6689 |    3720    28205   704129 |     9401     6689    577 | 35.248 % |
142.85/142.93	c ===============================================================================
142.85/142.93	c New solution: 32564
142.85/142.93	o 32564
142.85/142.93	c Elapsed CPU time: 142.442 s	Remaining CPU time: 37.5577 s
142.85/142.93	c ===============================================================================
142.85/142.93	c |      6708 |    3720    28206   706182 |     9402     6708    577 | 35.248 % |
143.35/143.45	c ===============================================================================
143.35/143.45	c New solution: 32563
143.35/143.45	o 32563
143.35/143.45	c Elapsed CPU time: 142.967 s	Remaining CPU time: 37.0327 s
143.35/143.45	c ===============================================================================
143.35/143.45	c |      6711 |    3720    28207   708235 |     9402     6711    577 | 35.248 % |
143.95/144.06	c ===============================================================================
143.95/144.06	c New solution: 32562
143.95/144.06	o 32562
143.95/144.06	c Elapsed CPU time: 143.574 s	Remaining CPU time: 36.4258 s
143.95/144.06	c ===============================================================================
143.95/144.06	c |      6721 |    3720    28208   710288 |     9402     6721    577 | 35.248 % |
144.64/144.75	c ===============================================================================
144.64/144.75	c New solution: 31152
144.64/144.75	o 31152
144.64/144.75	c Elapsed CPU time: 144.266 s	Remaining CPU time: 35.7339 s
144.64/144.75	c ===============================================================================
144.64/144.75	c |      6727 |    3720    28209   712341 |     9403     6727    577 | 35.248 % |
145.24/145.35	c ===============================================================================
145.24/145.35	c New solution: 30993
145.24/145.35	o 30993
145.24/145.35	c Elapsed CPU time: 144.859 s	Remaining CPU time: 35.141 s
145.24/145.35	c ===============================================================================
145.24/145.35	c |      6727 |    3720    28210   714394 |     9403     6727    577 | 35.248 % |
145.84/145.90	c ===============================================================================
145.84/145.90	c New solution: 30990
145.84/145.90	o 30990
145.84/145.90	c Elapsed CPU time: 145.411 s	Remaining CPU time: 34.5891 s
145.84/145.90	c ===============================================================================
145.84/145.90	c |      6728 |    3720    28211   716447 |     9403     6728    577 | 35.248 % |
147.14/147.28	c |      6829 |    3720    28211   716447 |    10344     6829    578 | 35.248 % |
147.74/147.84	c ===============================================================================
147.74/147.84	c New solution: 30989
147.74/147.84	o 30989
147.74/147.84	c Elapsed CPU time: 147.342 s	Remaining CPU time: 32.6584 s
147.74/147.84	c ===============================================================================
147.74/147.84	c |      6830 |    3720    28212   718500 |     9404     6830    578 | 35.248 % |
149.54/149.67	c |      6930 |    3720    28212   718500 |    10344     6930    579 | 35.248 % |
150.04/150.17	c ===============================================================================
150.04/150.17	c New solution: 30982
150.04/150.17	o 30982
150.04/150.17	c Elapsed CPU time: 149.671 s	Remaining CPU time: 30.3288 s
150.04/150.17	c ===============================================================================
150.04/150.17	c |      6931 |    3720    28213   720553 |     9404     6931    579 | 35.248 % |
150.55/150.65	c ===============================================================================
150.55/150.65	c New solution: 30981
150.55/150.65	o 30981
150.55/150.65	c Elapsed CPU time: 150.153 s	Remaining CPU time: 29.8468 s
150.55/150.65	c ===============================================================================
150.55/150.65	c |      6931 |    3720    28214   722606 |     9404     6931    579 | 35.248 % |
151.14/151.26	c ===============================================================================
151.14/151.26	c New solution: 30980
151.14/151.26	o 30980
151.14/151.26	c Elapsed CPU time: 150.76 s	Remaining CPU time: 29.2399 s
151.14/151.26	c ===============================================================================
151.14/151.26	c |      6947 |    3720    28215   724659 |     9405     6947    579 | 35.248 % |
151.54/151.64	c ===============================================================================
151.54/151.64	c New solution: 30979
151.54/151.64	o 30979
151.54/151.64	c Elapsed CPU time: 151.136 s	Remaining CPU time: 28.864 s
151.54/151.64	c ===============================================================================
151.54/151.64	c |      6951 |    3720    28216   726712 |     9405     6951    579 | 35.248 % |
152.94/153.09	c |      7051 |    3720    28216   726712 |    10345     7051    580 | 35.248 % |
155.05/155.19	c ===============================================================================
155.05/155.19	c New solution: 30974
155.05/155.19	o 30974
155.05/155.19	c Elapsed CPU time: 154.683 s	Remaining CPU time: 25.3165 s
155.05/155.19	c ===============================================================================
155.05/155.19	c |      7098 |    3720    28217   728765 |     9405     7098    578 | 35.248 % |
155.54/155.69	c ===============================================================================
155.54/155.69	c New solution: 30973
155.54/155.69	o 30973
155.54/155.69	c Elapsed CPU time: 155.19 s	Remaining CPU time: 24.8096 s
155.54/155.69	c ===============================================================================
155.54/155.69	c |      7099 |    3720    28218   730818 |     9406     7099    578 | 35.248 % |
156.14/156.26	c ===============================================================================
156.14/156.26	c New solution: 30972
156.14/156.26	o 30972
156.14/156.26	c Elapsed CPU time: 155.751 s	Remaining CPU time: 24.2487 s
156.14/156.26	c ===============================================================================
156.14/156.26	c |      7100 |    3720    28219   732871 |     9406     7100    578 | 35.248 % |
156.84/156.96	c ===============================================================================
156.84/156.96	c New solution: 29568
156.84/156.96	o 29568
156.84/156.96	c Elapsed CPU time: 156.455 s	Remaining CPU time: 23.5448 s
156.84/156.96	c ===============================================================================
156.84/156.96	c |      7105 |    3720    28220   734924 |     9406     7105    578 | 35.248 % |
157.34/157.45	c ===============================================================================
157.34/157.45	c New solution: 29383
157.34/157.45	o 29383
157.34/157.45	c Elapsed CPU time: 156.947 s	Remaining CPU time: 23.0529 s
157.34/157.45	c ===============================================================================
157.34/157.45	c |      7105 |    3720    28221   736977 |     9407     7105    578 | 35.248 % |
157.94/158.01	c ===============================================================================
157.94/158.01	c New solution: 29382
157.94/158.01	o 29382
157.94/158.01	c Elapsed CPU time: 157.504 s	Remaining CPU time: 22.4959 s
157.94/158.01	c ===============================================================================
157.94/158.01	c |      7105 |    3720    28222   739030 |     9407     7105    578 | 35.248 % |
158.43/158.50	c ===============================================================================
158.43/158.50	c New solution: 29381
158.43/158.50	o 29381
158.43/158.50	c Elapsed CPU time: 157.992 s	Remaining CPU time: 22.008 s
158.43/158.50	c ===============================================================================
158.43/158.50	c |      7105 |    3720    28223   741083 |     9407     7105    578 | 35.248 % |
158.93/159.05	c ===============================================================================
158.93/159.05	c New solution: 29380
158.93/159.05	o 29380
158.93/159.05	c Elapsed CPU time: 158.539 s	Remaining CPU time: 21.4611 s
158.93/159.05	c ===============================================================================
158.93/159.05	c |      7105 |    3720    28224   743136 |     9408     7105    578 | 35.248 % |
159.44/159.53	c ===============================================================================
159.44/159.53	c New solution: 29379
159.44/159.53	o 29379
159.44/159.53	c Elapsed CPU time: 159.024 s	Remaining CPU time: 20.9762 s
159.44/159.53	c ===============================================================================
159.44/159.53	c |      7105 |    3720    28225   745189 |     9408     7105    578 | 35.248 % |
160.04/160.13	c ===============================================================================
160.04/160.13	c New solution: 29378
160.04/160.13	o 29378
160.04/160.13	c Elapsed CPU time: 159.621 s	Remaining CPU time: 20.3793 s
160.04/160.13	c ===============================================================================
160.04/160.13	c |      7109 |    3720    28226   747242 |     9408     7109    578 | 35.248 % |
162.54/162.67	c |      7210 |    3720    28226   747242 |    10349     7210    579 | 35.248 % |
163.14/163.21	c ===============================================================================
163.14/163.21	c New solution: 29377
163.14/163.21	o 29377
163.14/163.21	c Elapsed CPU time: 162.696 s	Remaining CPU time: 17.3037 s
163.14/163.21	c ===============================================================================
163.14/163.21	c |      7214 |    3720    28227   749295 |     9409     7214    579 | 35.248 % |
163.93/164.00	c ===============================================================================
163.93/164.00	c New solution: 29376
163.93/164.00	o 29376
163.93/164.00	c Elapsed CPU time: 163.478 s	Remaining CPU time: 16.5219 s
163.93/164.00	c ===============================================================================
163.93/164.00	c |      7240 |    3720    28228   751348 |     9409     7240    579 | 35.248 % |
164.73/164.86	c ===============================================================================
164.73/164.86	c New solution: 29375
164.73/164.86	o 29375
164.73/164.86	c Elapsed CPU time: 164.333 s	Remaining CPU time: 15.667 s
164.73/164.86	c ===============================================================================
164.73/164.86	c |      7313 |    3720    28229   753401 |     9409     7313    580 | 35.248 % |
166.73/166.81	c |      7414 |    3720    28229   753401 |    10350     7414    581 | 35.248 % |
167.23/167.35	c ===============================================================================
167.23/167.35	c New solution: 29374
167.23/167.35	o 29374
167.23/167.35	c Elapsed CPU time: 166.816 s	Remaining CPU time: 13.1844 s
167.23/167.35	c ===============================================================================
167.23/167.35	c |      7419 |    3720    28230   755454 |     9410     7419    580 | 35.248 % |
167.83/167.91	c ===============================================================================
167.83/167.91	c New solution: 29373
167.83/167.91	o 29373
167.83/167.91	c Elapsed CPU time: 167.382 s	Remaining CPU time: 12.6184 s
167.83/167.91	c ===============================================================================
167.83/167.91	c |      7441 |    3720    28231   757507 |     9410     7441    581 | 35.248 % |
168.33/168.42	c ===============================================================================
168.33/168.42	c New solution: 29372
168.33/168.42	o 29372
168.33/168.42	c Elapsed CPU time: 167.884 s	Remaining CPU time: 12.1155 s
168.33/168.42	c ===============================================================================
168.33/168.42	c |      7446 |    3720    28232   759560 |     9410     7446    580 | 35.248 % |
168.83/168.90	c ===============================================================================
168.83/168.90	c New solution: 29371
168.83/168.90	o 29371
168.83/168.90	c Elapsed CPU time: 168.366 s	Remaining CPU time: 11.6336 s
168.83/168.90	c ===============================================================================
168.83/168.90	c |      7448 |    3720    28233   761613 |     9411     7448    580 | 35.248 % |
169.74/169.85	c ===============================================================================
169.74/169.85	c New solution: 27976
169.74/169.85	o 27976
169.74/169.85	c Elapsed CPU time: 169.318 s	Remaining CPU time: 10.6817 s
169.74/169.85	c ===============================================================================
169.74/169.85	c |      7460 |    3720    28234   763666 |     9411     7460    580 | 35.248 % |
170.34/170.48	c ===============================================================================
170.34/170.48	c New solution: 27788
170.34/170.48	o 27788
170.34/170.48	c Elapsed CPU time: 169.944 s	Remaining CPU time: 10.0558 s
170.34/170.48	c ===============================================================================
170.34/170.48	c |      7463 |    3720    28235   765719 |     9411     7463    580 | 35.248 % |
171.03/171.11	c ===============================================================================
171.03/171.11	c New solution: 27787
171.03/171.11	o 27787
171.03/171.11	c Elapsed CPU time: 170.577 s	Remaining CPU time: 9.42293 s
171.03/171.11	c ===============================================================================
171.03/171.11	c |      7464 |    3720    28236   767772 |     9412     7464    580 | 35.248 % |
171.44/171.52	c ===============================================================================
171.44/171.52	c New solution: 27786
171.44/171.52	o 27786
171.44/171.52	c Elapsed CPU time: 170.986 s	Remaining CPU time: 9.01399 s
171.44/171.52	c ===============================================================================
171.44/171.52	c |      7470 |    3720    28237   769825 |     9412     7470    580 | 35.248 % |
172.03/172.12	c ===============================================================================
172.03/172.12	c New solution: 27785
172.03/172.12	o 27785
172.03/172.12	c Elapsed CPU time: 171.58 s	Remaining CPU time: 8.42009 s
172.03/172.12	c ===============================================================================
172.03/172.12	c |      7473 |    3720    28238   771878 |     9412     7473    580 | 35.248 % |
172.64/172.74	c ===============================================================================
172.64/172.74	c New solution: 27784
172.64/172.74	o 27784
172.64/172.74	c Elapsed CPU time: 172.197 s	Remaining CPU time: 7.80318 s
172.64/172.74	c ===============================================================================
172.64/172.74	c |      7473 |    3720    28239   773931 |     9413     7473    580 | 35.248 % |
173.23/173.30	c ===============================================================================
173.23/173.30	c New solution: 27783
173.23/173.30	o 27783
173.23/173.30	c Elapsed CPU time: 172.761 s	Remaining CPU time: 7.23926 s
173.23/173.30	c ===============================================================================
173.23/173.30	c |      7477 |    3720    28240   775984 |     9413     7477    580 | 35.248 % |
173.83/173.92	c ===============================================================================
173.83/173.92	c New solution: 27782
173.83/173.92	o 27782
173.83/173.92	c Elapsed CPU time: 173.373 s	Remaining CPU time: 6.62736 s
173.83/173.92	c ===============================================================================
173.83/173.92	c |      7477 |    3720    28241   778037 |     9413     7477    580 | 35.248 % |
174.43/174.53	c ===============================================================================
174.43/174.53	c New solution: 27781
174.43/174.53	o 27781
174.43/174.53	c Elapsed CPU time: 173.986 s	Remaining CPU time: 6.01445 s
174.43/174.53	c ===============================================================================
174.43/174.53	c |      7477 |    3720    28242   780090 |     9414     7477    580 | 35.248 % |
175.13/175.21	c ===============================================================================
175.13/175.21	c New solution: 27780
175.13/175.21	o 27780
175.13/175.21	c Elapsed CPU time: 174.668 s	Remaining CPU time: 5.33155 s
175.13/175.21	c ===============================================================================
175.13/175.21	c |      7482 |    3720    28243   782143 |     9414     7482    580 | 35.248 % |
176.83/176.94	c |      7585 |    3720    28243   782143 |    10355     7585    581 | 35.248 % |
178.93/179.00	c |      7736 |    3720    28243   782143 |    11391     7736    582 | 35.248 % |
179.73/179.83	c ===============================================================================
179.73/179.83	c New solution: 27779
179.73/179.83	o 27779
179.73/179.83	c Elapsed CPU time: 179.279 s	Remaining CPU time: 0.721255 s
179.73/179.83	c ===============================================================================
179.73/179.83	c |      7744 |    3720    28244   784196 |     9414     7744    582 | 35.248 % |
180.43/180.55	c ===============================================================================
180.43/180.55	c New solution: 27778
180.43/180.55	o 27778
180.43/180.55	c Elapsed CPU time: 179.997 s	Remaining CPU time: 0.003364 s
180.43/180.55	c ===============================================================================
180.43/180.55	c |      7747 |    3720    28245   786249 |     9415     7747    582 | 35.248 % |
180.43/180.56	c There are 2025 assigned variables. 434 in cost function.
183.54/183.65	c core #1
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 2	Core Weight: 1	Total Weight: 283
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #2
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 3	Core Weight: 1	Total Weight: 284
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #3
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 8	Core Weight: 1	Total Weight: 285
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #4
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 3	Core Weight: 4	Total Weight: 289
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #5
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 4	Core Weight: 1	Total Weight: 290
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #6
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 8	Core Weight: 1	Total Weight: 291
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #7
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 10	Core Weight: 1	Total Weight: 292
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #8
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 4	Core Weight: 1	Total Weight: 293
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #9
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 3	Core Weight: 1	Total Weight: 294
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #10
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 3	Core Weight: 1	Total Weight: 295
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #11
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 4	Core Weight: 1	Total Weight: 296
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #12
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 4	Core Weight: 1	Total Weight: 297
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #13
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 4	Core Weight: 1	Total Weight: 298
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #14
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 4	Core Weight: 1	Total Weight: 299
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #15
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 4	Core Weight: 1	Total Weight: 300
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #16
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 4	Core Weight: 1	Total Weight: 301
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #17
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 3	Core Weight: 1	Total Weight: 302
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #18
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 4	Core Weight: 1	Total Weight: 303
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #19
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 4	Core Weight: 1	Total Weight: 304
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #20
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 4	Core Weight: 1	Total Weight: 305
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #21
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 4	Core Weight: 1581	Total Weight: 1886
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #22
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 5	Core Weight: 1	Total Weight: 1887
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #23
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 5	Core Weight: 1	Total Weight: 1888
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #24
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 6	Core Weight: 1	Total Weight: 1889
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #25
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 7	Core Weight: 1595	Total Weight: 3484
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #26
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 8	Core Weight: 1	Total Weight: 3485
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #27
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 8	Core Weight: 1	Total Weight: 3486
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #28
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 8	Core Weight: 1	Total Weight: 3487
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #29
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 3	Core Weight: 1	Total Weight: 3488
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #30
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 4	Core Weight: 1	Total Weight: 3489
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #31
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 5	Core Weight: 1	Total Weight: 3490
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #32
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 4	Core Weight: 1	Total Weight: 3491
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #33
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 8	Core Weight: 15	Total Weight: 3506
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #34
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 8	Core Weight: 1	Total Weight: 3507
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #35
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 8	Core Weight: 1	Total Weight: 3508
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #36
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 8	Core Weight: 1	Total Weight: 3509
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #37
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 8	Core Weight: 1	Total Weight: 3510
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #38
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 8	Core Weight: 1	Total Weight: 3511
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #39
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 11	Core Weight: 1	Total Weight: 3512
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #40
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 9	Core Weight: 1	Total Weight: 3513
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #41
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 8	Core Weight: 1575	Total Weight: 5088
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #42
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 6	Core Weight: 1	Total Weight: 5089
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #43
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 7	Core Weight: 1	Total Weight: 5090
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #44
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 11	Core Weight: 1	Total Weight: 5091
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #45
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 9	Core Weight: 1	Total Weight: 5092
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #46
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 8	Core Weight: 1	Total Weight: 5093
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #47
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 13	Core Weight: 1	Total Weight: 5094
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #48
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 10	Core Weight: 1	Total Weight: 5095
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #49
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 8	Core Weight: 1	Total Weight: 5096
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #50
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 18	Core Weight: 1	Total Weight: 5097
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #51
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 11	Core Weight: 1	Total Weight: 5098
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #52
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 16	Core Weight: 1	Total Weight: 5099
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #53
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 11	Core Weight: 1	Total Weight: 5100
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #54
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 5	Core Weight: 1	Total Weight: 5101
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #55
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 17	Core Weight: 1	Total Weight: 5102
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #56
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 21	Core Weight: 1	Total Weight: 5103
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #57
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 17	Core Weight: 1	Total Weight: 5104
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #58
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 15	Core Weight: 1	Total Weight: 5105
183.54/183.65	c
183.54/183.65	c
183.54/183.65	c core #59
183.54/183.65	c 
183.54/183.65	c 
183.54/183.65	c Core size: 11	Core Weight: 1	Total Weight: 5106
183.54/183.70	c
183.54/183.70	c
183.54/183.70	c ============================[ Search Statistics ]==============================
183.54/183.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.54/183.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.54/183.70	c ===============================================================================
183.54/183.70	c |         0 |     721    16795     7972 |     5598        0    nan |  0.000 % |
183.64/183.71	c ===============================================================================
183.64/183.72	c #cores: 59
183.64/183.72	c Final Weight: 5106
183.64/183.72	o 5106
183.64/183.72	s OPTIMUM FOUND
183.64/183.72	v -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 x4152 x4153 x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 x4175 -x4176 x4177 x4178 x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 x4206 -x4207 x4208 x4209 x4210 x4211 -x4212 -x4213 x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 x4251 x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 x4277 x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 x4291 x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 x4302 x4303 x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 x4322 -x4323 -x4324 -x4325 -x4326 x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 x4370 x4371 x4372 x4373 -x4374 x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 x4394 -x4395 -x4396 -x4397 -x4398 x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 x4407 x4408 x4409 x4410 x4411 -x4412 -x4413 x4414 x4415 x4416 -x4417 x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 x4432 -x4433 x4434 -x4435 -x4436 x4437 x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 x4453 -x4454 x4455 -x4456 -x4457 -x4458 -x4459 x4460 x4461 x4462 x4463 -x4464 -x4465 x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 x4475 -x4476 -x4477 -x4478 x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 x4498 x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 x4509 -x4510 x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 x4519 x4520 -x4521 -x4522 -x4523 -x4524 -x4525 x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 x4534 x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 x4577 -x4578 -x4579 x4580 x4581 x4582 x4583 x4584 x4585 -x4586 -x4587 -x4588 x4589 x4590 -x4591 x4592 -x4593 -x4594 -x4595 x4596 x4597 x4598 x4599 -x4600 x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 x4620 x4621 x4622 x4623 -x4624 -x4625 -x4626 -x4627 x4628 -x4629 -x4630 x4631 x4632 x4633 x4634 -x4635 -x4636 -x4637 -x4638 x4639 -x4640 -x4641 -x4642 -x4643 -x4644 x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 x4695 -x4696 x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 x4704 -x4705 -x4706 -x4707 x4708 x4709 -x4710 -x4711 -x4712 -x4713 x4714 -x4715 x4716 -x4717 -x4718 x4719 -x4720 x4721 x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 x4764 x4765 -x4766 -x4767 -x4768 -x4769 -x4770 x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 x4779 x4780 -x4781 x4782 -x4783 -x4784 -x4785 -x4786 -x4787 x4788 x4789 x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 x4797 -x4798 -x4799 -x4800 x4801 x4802 x4803 -x4804 -x4805 -x4806 x4807 -x4808 -x4809 -x4810 -x4811 -x4812 x4813 -x4814 -x4815 -x4816 -x4817 x4818 -x4819 x4820 x4821 x4822 -x4823 -x4824 x4825 x4826 -x4827 -x4828 -x4829 -x4830 x4831 x4832 x4833 x4834 x4835 x4836 -x4837 -x4838 -x4839 -x4840 -x4841 x4842 x4843 x4844 x4845 x4846 x4847 x4848 x4849 -x4850 -x4851 x4852 -x4853 x4854 x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 x4868 -x4869 x4870 x4871 -x4872 x4873 x4874 -x4875 -x4876 x4877 -x4878 -x4879 x4880 -x4881 -x4882 -x4883 -x4884 x4885 x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 x4918 x4919 -x4920 x4921 -x4922 x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 x4932 -x4933 -x4934 -x4935 -x4936 -x4937 x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 x4946 -x4947 -x4948 x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 x4956 -x4957 -x4958 x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 x4968 x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 x4986 -x4987 -x4988 -x4989 -x4990 x4991 -x4992 -x4993 -x4994 x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 x5007 x5008 x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 x5043 -x5044 -x5045 x5046 x5047 x5048 x5049 -x5050 x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 x5060 -x5061 -x5062 x5063 x5064 -x5065 -x5066 -x5067 -x5068 x5069 -x5070 -x5071 -x5072 -x5073 x5074 x5075 x5076 -x5077 x5078 -x5079 x5080 x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 x5095 x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 x5156 x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 x5195 -x5196 -x5197 x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 x5220 x5221 -x5222 -x5223 -x5224 -x5225 x5226 -x5227 -x5228 -x5229 x5230 -x5231 -x5232 x5233 x5234 x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 x5244 x5245 x5246 -x5247 -x5248 -x5249 -x5250 -x5251 x5252 x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 x5260 -x5261 -x5262 x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 x5275 -x5276 x5277 -x5278 -x5279 -x5280 x5281 x5282 -x5283 -x5284 -x5285 x5286 x5287 -x5288 x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 x5305 -x5306 -x5307 x5308 x5309 -x5310 x5311 x5312 -x5313 -x5314 x5315 -x5316 x5317 x5318 -x5319 x5320 -x5321 -x5322 -x5323 x5324 -x5325 x5326 x5327 x5328 x5329 -x5330 -x5331 -x5332 -x5333 -x5334 x5335 x5336 x5337 x5338 x5339 -x5340 x5341 x5342 x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 x5351 x5352 -x5353 -x5354 -x5355 x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 x5370 -x5371 -x5372 x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 x5455 x5456 -x5457 x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 x5504 -x5505 -x5506 -x5507 -x5508 x5509 -x5510 -x5511 x5512 x5513 x5514 -x5515 -x5516 -x5517 x5518 x5519 x5520 -x5521 x5522 -x5523 x5524 x5525 -x5526 -x5527 x5528 x5529 -x5530 x5531 -x5532 -x5533 x5534 x5535 x5536 x5537 x5538 x5539 x5540 -x5541 x5542 x5543 x5544 -x5545 -x5546 x5547 x5548 -x5549 -x5550 x5551 x5552 x5553 x5554 -x5555 x5556 x5557 -x5558 -x5559 x5560 x5561 -x5562 x5563 x5564 -x5565 x5566 -x5567 -x5568 x5569 x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 x5587 -x5588 -x5589 x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 x5639 x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 x5659 -x5660 -x5661 -x5662 x5663 -x5664 -x5665 x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 x5673 -x5674 -x5675 -x5676 x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 x5698 -x5699 -x5700 -x5701 -x5702 x5703 -x5704 -x5705 -x5706 -x5707 -x5708 x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 x5732 x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 x5744 x5745 x1 -x2 x3 -x4 -x5 x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 x14 -x15 -x16 x17 -x18 x19 -x20 -x21 x22 -x23 x24 -x25 -x26 -x27 -x28 x29 x30 -x31 x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 x41 -x42 x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 x55 -x56 x57 x58 -x59 x60 x61 -x62 -x63 -x64 x65 x66 -x67 x68 -x69 -x70 x71 -x72 -x73 x74 x75 -x76 -x77 x78 -x79 x80 -x81 x82 x83 -x84 x85 -x86 x87 x88 -x89 -x90 x91 -x92 -x93 x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 x184 -x185 x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 x199 -x200 -x201 x202 -x203 -x204 -x205 x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 x303 -x304 x305 -x306 -x307 x308 -x309 x310 x311 -x312 x313 -x314 x315 x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 x330 -x331 x332 -x333 -x334 -x335 -x336 x337 x338 -x339 x340 -x341 x342 x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 x358 x359 -x360 -x361 -x362 -x363 -x364 x365 -x366 x367 -x368 x369 x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 x419 x420 x421 x422 x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 x464 x465 x466 -x467 -x468 -x469 x470 x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 -x501 -x502 x503 x504 x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 x513 -x514 -x515 -x516 x517 -x518 -x519 x520 -x521 x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 -x530 x531 -x532 x533 -x534 x535 -x536 x537 -x538 x539 -x540 -x541 x542 x543 -x544 -x545 -x546 -x547 -x548 x549 x550 -x551 -x552 -x553 x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 x587 -x588 x589 -x590 -x591 x592 -x593 -x594 x595 x596 -x597 -x598 x599 -x600 -x601 x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 x665 -x666 x667 -x668 x669 -x670 x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 x679 -x680 x681 x682 -x683 x684 -x685 -x686 x687 -x688 x689 -x690 -x691 x692 -x693 x694 -x695 x696 x697 -x698 x699 x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 x736 -x737 -x738 -x739 x740 -x741 x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 x771 x772 -x773 -x774 x775 x776 -x777 -x778 -x779 x780 -x781 x782 -x783 x784 x785 -x786 -x787 x788 x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 x799 -x800 -x801 -x802 -x803 x804 -x805 -x806 x807 -x808 -x809 x810 -x811 x812 -x813 -x814 x815 -x816 x817 -x818 x819 -x820 -x821 x822 x823 x824 -x825 -x826 -x827 x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 x838 -x839 -x840 x841 -x842 x843 -x844 -x845 -x846 -x847 x848 -x849 x850 -x851 x852 -x853 x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 x869 x870 -x871 x872 -x873 x874 x875 -x876 x877 -x878 -x879 -x880 -x881 x882 -x883 -x884 -x885 x886 x887 -x888 -x889 x890 -x891 -x892 x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 x911 x912 -x913 x914 -x915 x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 x924 -x925 -x926 -x927 x928 -x929 x930 -x931 -x932 x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 x941 x942 -x943 -x944 -x945 -x946 x947 -x948 -x949 -x950 -x951 x952 x953 -x954 x955 -x956 x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 x970 -x971 -x972 x973 -x974 -x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 x990 -x991 -x992 x993 -x994 x995 x996 -x997 -x998 x999 -x1000 -x1001 x1002 -x1003 -x1004 x1005 -x1006 -x1007 x1008 -x1009 x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 x1018 -x1019 x1020 -x1021 -x1022 x1023 -x1024 x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 x1033 -x1034 x1035 -x1036 -x1037 x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 x1049 -x1050 x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 -x1098 x1099 -x1100 -x1101 x1102 -x1103 x1104 -x1105 -x1106 x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 x1166 -x1167 x1168 x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 x1203 -x1204 x1205 x1206 x1207 -x1208 x1209 -x1210 -x1211 x1212 x1213 -x1214 x1215 -x1216 -x1217 x1218 -x1219 x1220 -x1221 x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 x1248 -x1249 x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 x1284 -x1285 -x1286 x1287 x1288 x1289 -x1290 x1291 x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 x1300 x1301 -x1302 -x1303 x1304 -x1305 -x1306 -x1307 x1308 -x1309 -x1310 -x1311 x1312 -x1313 -x1314 x1315 x1316 -x1317 x1318 -x1319 -x1320 x1321 -x1322 x1323 x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 x1331 -x1332 -x1333 -x1334 x1335 -x1336 x1337 -x1338 -x1339 x1340 -x1341 x1342 x1343 -x1344 -x1345 -x1346 x1347 -x1348 x1349 -x1350 x1351 -x1352 -x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 x1384 -x1385 -x1386 -x1387 x1388 x1389 -x1390 -x1391 x1392 x1393 -x1394 -x1395 x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 x1403 x1404 x1405 x1406 x1407 x1408 x1409 x1410 -x1411 x1412 -x1413 -x1414 -x1415 -x1416 x1417 x1418 x1419 -x1420 x1421 -x1422 x1423 x1424 -x1425 -x1426 x1427 -x1428 x1429 x1430 x1431 x1432 -x1433 -x1434 -x1435 x1436 -x1437 -x1438 x1439 -x1440 x1441 -x1442 x1443 -x1444 x1445 -x1446 x1447 -x1448 -x1449 x1450 x1451 -x1452 -x1453 -x1454 -x1455 x1456 -x1457 x1458 -x1459 -x1460 x1461 -x1462 -x1463 -x1464 x1465 x1466 -x1467 -x1468 x1469 -x1470 -x1471 x1472 -x1473 -x1474 -x1475 -x1476 x1477 -x1478 -x1479 x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 x1494 -x1495 x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 x1509 -x1510 -x1511 -x1512 -x1513 -x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 x1531 -x1532 -x1533 x1534 x1535 -x1536 -x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 x1554 -x1555 x1556 x1557 x1558 x1559 -x1560 -x1561 x1562 -x1563 x1564 -x1565 -x1566 x1567 -x1568 -x1569 -x1570 -x1571 -x1572 x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600 -x1601 x1602 -x1603 x1604 -x1605 x1606 x1607 -x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 -x1618 -x1619 x1620 x1621 -x1622 x1623 -x1624 -x1625 -x1626 x1627 x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 x1637 -x1638 x1639 -x1640 x1641 x1642 -x1643 -x1644 -x1645 x1646 x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 x1675 -x1676 -x1677 -x1678 x1679 -x1680 x1681 x1682 -x1683 -x1684 x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 x1694 x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 x1709 -x1710 x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 x1770 -x1771 x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 x1789 -x1790 -x1791 -x1792 x1793 -x1794 x1795 x1796 -x1797 -x1798 -x1799 x1800 x1801 -x1802 x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 x1827 -x1828 -x1829 -x1830 -x1831 -x1832 x1833 -x1834 x1835 -x1836 x1837 -x1838 -x1839 x1840 x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 x1848 x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 -x1859 x1860 -x1861 x1862 -x1863 x1864 x1865 -x1866 x1867 -x1868 x1869 -x1870 -x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 x1879 x1880 -x1881 -x1882 -x1883 x1884 -x1885 x1886 -x1887 x1888 x1889 x1890 -x1891 x1892 -x1893 x1894 -x1895 x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 x1904 -x1905 -x1906 -x1907 -x1908 x1909 x1910 x1911 -x1912 -x1913 x1914 -x1915 x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 x1927 -x1928 -x1929 -x1930 -x1931 x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 x1945 x1946 -x1947 x1948 -x1949 x1950 -x1951 x1952 x1953 -x1954 x1955 -x1956 -x1957 x1958 -x1959 x1960 -x1961 x1962 x1963 -x1964 -x1965 -x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 -x1976 x1977 x1978 -x1979 -x1980 -x1981 x1982 -x1983 -x1984 x1985 -x1986 -x1987 -x1988 x1989 -x1990 x1991 -x1992 x1993 x1994 -x1995 x1996 -x1997 x1998 -x1999 -x2000 -x2001 -x2002 x2003 -x2004 -x2005 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 x2019 -x2020 x2021 x2022 -x2023 x2024 -x2025 x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 x2036 -x2037 -x2038 x2039 x2040 x2041 x2042 -x2043 x2044 -x2045 -x2046 x2047 -x2048 -x2049 x2050 -x2051 x2052 -x2053 x2054 -x2055 x2056 -x2057 x2058 -x2059 x2060 x2061 -x2062 -x2063 -x2064 -x2065 x2066 -x2067 x2068 x2069 -x2070 -x2071 -x2072 -x2073 x2074 -x2075 x2076 -x2077 x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 x2085 -x2086 -x2087 -x2088 -x2089 x2090 -x2091 -x2092 -x2093 -x2094 x2095 x2096 -x2097 x2098 x2099 -x2100 x2101 -x2102 -x2103 -x2104 -x2105 -x2106 x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 -x2114 x2115 -x2116 -x2117 x2118 -x2119 -x2120 -x2121 -x2122 x2123 -x2124 x2125 x2126 -x2127 x2128 x2129 -x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 x2139 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 x2148 -x2149 -x2150 x2151 -x2152 -x2153 x2154 -x2155 -x2156 -x2157 x2158 -x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 -x2166 x2167 x2168 -x2169 -x2170 -x2171 x2172 -x2173 x2174 x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 x2187 -x2188 -x2189 x2190 -x2191 -x2192 -x2193 -x2194 -x2195 x2196 x2197 -x2198 -x2199 -x2200 x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 x2210 x2211 -x2212 -x2213 -x2214 x2215 x2216 -x2217 -x2218 -x2219 -x2220 -x2221 x2222 -x2223 x2224 -x2225 -x2226 x2227 -x2228 -x2229 -x2230 -x2231 x2232 -x2233 x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 x2243 -x2244 x2245 x2246 -x2247 -x2248 x2249 x2250 x2251 x2252 x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 x2270 x2271 -x2272 -x2273 -x2274 -x2275 -x2276 x2277 -x2278 -x2279 -x2280 x2281 x2282 -x2283 x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 x2291 -x2292 x2293 x2294 -x2295 x2296 x2297 -x2298 -x2299 x2300 -x2301 x2302 -x2303 -x2304 x2305 x2306 -x2307 -x2308 x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 x2326 -x2327 x2328 -x2329 -x2330 x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 -x2342 x2343 -x2344 x2345 -x2346 -x2347 x2348 -x2349 x2350 x2351 -x2352 -x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 x2361 -x2362 -x2363 -x2364 x2365 -x2366 -x2367 x2368 -x2369 -x2370 -x2371 x2372 -x2373 x2374 -x2375 x2376 x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 x2388 -x2389 -x2390 x2391 -x2392 -x2393 x2394 -x2395 -x2396 x2397 x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 x2410 -x2411 x2412 x2413 -x2414 -x2415 -x2416 -x2417 x2418 -x2419 x2420 -x2421 -x2422 -x2423 -x2424 -x2425 x2426 -x2427 -x2428 -x2429 x2430 -x2431 -x2432 -x2433 x2434 -x2435 x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 x2454 -x2455 x2456 -x2457 -x2458 -x2459 x2460 -x2461 x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 x2469 x2470 -x2471 x2472 -x2473 x2474 -x2475 -x2476 -x2477 -x2478 -x2479 x2480 x2481 -x2482 -x2483 -x2484 -x2485 x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 x2498 -x2499 x2500 -x2501 x2502 -x2503 -x2504 x2505 -x2506 -x2507 -x2508 -x2509 -x2510 x2511 -x2512 -x2513 -x2514 -x2515 x2516 x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 x2549 x2550 -x2551 -x2552 x2553 x2554 x2555 -x2556 -x2557 x2558 -x2559 x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 x2571 x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 x2595 -x2596 x2597 -x2598 x2599 -x2600 -x2601 -x2602 -x2603 x2604 x2605 -x2606 -x2607 x2608 -x2609 x2610 -x2611 -x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 -x2621 x2622 -x2623 -x2624 x2625 x2626 -x2627 -x2628 -x2629 x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 x2657 x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 x2672 x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 x2683 x2684 -x2685 -x2686 -x2687 -x2688 x2689 -x2690 x2691 -x2692 x2693 -x2694 -x2695 x2696 -x2697 -x2698 -x2699 -x2700 x2701 -x2702 -x2703 x2704 -x2705 -x2706 -x2707 -x2708 -x2709 x2710 -x2711 -x2712 x2713 x2714 -x2715 -x2716 x2717 -x2718 -x2719 -x2720 -x2721 x2722 x2723 -x2724 -x2725 -x2726 x2727 x2728 x2729 x2730 -x2731 -x2732 x2733 -x2734 x2735 -x2736 -x2737 -x2738 -x2739 x2740 x2741 -x2742 -x2743 -x2744 x2745 -x2746 -x2747 -x2748 -x2749 -x2750 x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 x2761 -x2762 x2763 x2764 -x2765 -x2766 -x2767 x2768 -x2769 x2770 x2771 -x2772 -x2773 -x2774 x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 x2785 -x2786 -x2787 -x2788 -x2789 x2790 -x2791 -x2792 -x2793 x2794 -x2795 -x2796 -x2797 x2798 -x2799 x2800 -x2801 -x2802 x2803 -x2804 -x2805 x2806 x2807 -x2808 -x2809 x2810 -x2811 -x2812 x2813 -x2814 x2815 -x2816 -x2817 x2818 -x2819 x2820 x2821 -x2822 x2823 x2824 -x2825 -x2826 -x2827 -x2828 -x2829 x2830 x2831 x2832 -x2833 x2834 -x2835 -x2836 -x2837 x2838 -x2839 x2840 -x2841 x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 x2849 -x2850 x2851 -x2852 x2853 -x2854 x2855 x2856 -x2857 -x2858 -x2859 -x2860 x2861 -x2862 -x2863 -x2864 -x2865 -x2866 x2867 -x2868 -x2869 -x2870 x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 x2889 -x2890 x2891 -x2892 x2893 -x2894 x2895 -x2896 -x2897 x2898 -x2899 -x2900 -x2901 x2902 -x2903 -x2904 -x2905 x2906 -x2907 x2908 x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 x2917 -x2918 -x2919 -x2920 x2921 -x2922 -x2923 -x2924 x2925 -x2926 -x2927 x2928 -x2929 x2930 -x2931 x2932 -x2933 x2934 x2935 x2936 -x2937 -x2938 x2939 -x2940 x2941 -x2942 -x2943 x2944 x2945 x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 x2968 x2969 -x2970 -x2971 -x2972 x2973 -x2974 -x2975 -x2976 -x2977 x2978 -x2979 -x2980 -x2981 x2982 -x2983 -x2984 x2985 x2986 x2987 x2988 x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 x2999 -x3000 -x3001 -x3002 x3003 -x3004 x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 x3022 -x3023 -x3024 x3025 x3026 -x3027 x3028 -x3029 -x3030 -x3031 x3032 -x3033 x3034 -x3035 x3036 -x3037 x3038 x3039 -x3040 -x3041 -x3042 x3043 -x3044 -x3045 -x3046 x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599
183.64/183.72	c Total CPU time: 183.069 s

Verifier Data 

OK	5106

Watcher Data 

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.74 0.96 0.98 3/106 27566
/proc/meminfo: memFree=1835000/2059040 swapFree=4136476/4192956
[pid=27566] ppid=27564 vsize=3704 CPUtime=0
/proc/27566/stat : 27566 (wbo1.4b) R 27564 27566 27072 0 -1 4202496 364 0 0 0 0 0 0 0 24 0 1 0 126463022 3792896 282 1992294400 134512640 135752675 4287788864 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27566/statm: 926 283 140 303 0 415 0

[startup+0.0920261 s]
/proc/loadavg: 0.74 0.96 0.98 3/106 27566
/proc/meminfo: memFree=1835000/2059040 swapFree=4136476/4192956
[pid=27566] ppid=27564 vsize=4996 CPUtime=0.09
/proc/27566/stat : 27566 (wbo1.4b) R 27564 27566 27072 0 -1 4202496 809 0 0 0 9 0 0 0 25 0 1 0 126463022 5115904 727 1992294400 134512640 135752675 4287788864 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27566/statm: 1249 728 277 303 0 738 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4996

[startup+0.101026 s]
/proc/loadavg: 0.74 0.96 0.98 3/106 27566
/proc/meminfo: memFree=1835000/2059040 swapFree=4136476/4192956
[pid=27566] ppid=27564 vsize=5348 CPUtime=0.09
/proc/27566/stat : 27566 (wbo1.4b) R 27564 27566 27072 0 -1 4202496 888 0 0 0 9 0 0 0 25 0 1 0 126463022 5476352 806 1992294400 134512640 135752675 4287788864 18446744073709551615 135194400 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27566/statm: 1337 806 290 303 0 826 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5348

[startup+0.301062 s]
/proc/loadavg: 0.74 0.96 0.98 3/106 27566
/proc/meminfo: memFree=1835000/2059040 swapFree=4136476/4192956
[pid=27566] ppid=27564 vsize=6580 CPUtime=0.29
/proc/27566/stat : 27566 (wbo1.4b) R 27564 27566 27072 0 -1 4202496 1483 0 0 0 29 0 0 0 25 0 1 0 126463022 6737920 1195 1992294400 134512640 135752675 4287788864 18446744073709551615 134580248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27566/statm: 1645 1195 142 303 0 1340 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6580

[startup+0.701134 s]
/proc/loadavg: 0.74 0.96 0.98 3/106 27566
/proc/meminfo: memFree=1835000/2059040 swapFree=4136476/4192956
[pid=27566] ppid=27564 vsize=6712 CPUtime=0.69
/proc/27566/stat : 27566 (wbo1.4b) R 27564 27566 27072 0 -1 4202496 1522 0 0 0 69 0 0 0 25 0 1 0 126463022 6873088 1234 1992294400 134512640 135752675 4287788864 18446744073709551615 134526076 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27566/statm: 1678 1234 142 303 0 1373 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6712

[startup+1.50128 s]
/proc/loadavg: 0.74 0.96 0.98 2/107 27567
/proc/meminfo: memFree=1830280/2059040 swapFree=4136476/4192956
[pid=27566] ppid=27564 vsize=7240 CPUtime=1.49
/proc/27566/stat : 27566 (wbo1.4b) R 27564 27566 27072 0 -1 4202496 1622 0 0 0 149 0 0 0 25 0 1 0 126463022 7413760 1334 1992294400 134512640 135752675 4287788864 18446744073709551615 134580205 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27566/statm: 1810 1334 142 303 0 1505 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7240

[startup+3.10056 s]
/proc/loadavg: 0.76 0.96 0.98 2/107 27567
/proc/meminfo: memFree=1828048/2059040 swapFree=4136476/4192956
[pid=27566] ppid=27564 vsize=9384 CPUtime=3.09
/proc/27566/stat : 27566 (wbo1.4b) R 27564 27566 27072 0 -1 4202496 2185 0 0 0 304 5 0 0 18 0 1 0 126463022 9609216 1897 1992294400 134512640 135752675 4287788864 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27566/statm: 2346 1897 144 303 0 2041 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9384

[startup+6.30114 s]
/proc/loadavg: 0.76 0.96 0.98 2/107 27567
/proc/meminfo: memFree=1827428/2059040 swapFree=4136476/4192956
[pid=27566] ppid=27564 vsize=10712 CPUtime=6.29
/proc/27566/stat : 27566 (wbo1.4b) R 27564 27566 27072 0 -1 4202496 2494 0 0 0 616 13 0 0 25 0 1 0 126463022 10969088 2206 1992294400 134512640 135752675 4287788864 18446744073709551615 134638532 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27566/statm: 2678 2206 145 303 0 2373 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10712

[startup+12.7003 s]
/proc/loadavg: 0.79 0.96 0.98 2/107 27567
/proc/meminfo: memFree=1822964/2059040 swapFree=4136476/4192956
[pid=27566] ppid=27564 vsize=14012 CPUtime=12.69
/proc/27566/stat : 27566 (wbo1.4b) R 27564 27566 27072 0 -1 4202496 3336 0 0 0 1251 18 0 0 25 0 1 0 126463022 14348288 3048 1992294400 134512640 135752675 4287788864 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27566/statm: 3503 3048 145 303 0 3198 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14012

[startup+25.5016 s]
/proc/loadavg: 0.83 0.96 0.98 2/107 27567
/proc/meminfo: memFree=1818500/2059040 swapFree=4136476/4192956
[pid=27566] ppid=27564 vsize=18476 CPUtime=25.48
/proc/27566/stat : 27566 (wbo1.4b) R 27564 27566 27072 0 -1 4202496 4442 0 0 0 2525 23 0 0 25 0 1 0 126463022 18919424 4154 1992294400 134512640 135752675 4287788864 18446744073709551615 134605375 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27566/statm: 4619 4154 145 303 0 4314 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18476

[startup+51.1012 s]
/proc/loadavg: 0.88 0.97 0.98 2/107 27569
/proc/meminfo: memFree=1811928/2059040 swapFree=4136476/4192956
[pid=27566] ppid=27564 vsize=25012 CPUtime=51.07
/proc/27566/stat : 27566 (wbo1.4b) R 27564 27566 27072 0 -1 4202496 6073 0 0 0 5079 28 0 0 25 0 1 0 126463022 25612288 5785 1992294400 134512640 135752675 4287788864 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27566/statm: 6253 5785 145 303 0 5948 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 25012

[startup+102.309 s]
/proc/loadavg: 0.95 0.97 0.98 2/107 27569
/proc/meminfo: memFree=1803124/2059040 swapFree=4136476/4192956
[pid=27566] ppid=27564 vsize=33476 CPUtime=102.26
/proc/27566/stat : 27566 (wbo1.4b) R 27564 27566 27072 0 -1 4202496 8188 0 0 0 10189 37 0 0 25 0 1 0 126463022 34279424 7900 1992294400 134512640 135752675 4287788864 18446744073709551615 134605384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27566/statm: 8369 7900 145 303 0 8064 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 33476

[startup+162.301 s]
/proc/loadavg: 0.98 0.97 0.98 2/107 27571
/proc/meminfo: memFree=1793948/2059040 swapFree=4136476/4192956
[pid=27566] ppid=27564 vsize=42464 CPUtime=162.24
/proc/27566/stat : 27566 (wbo1.4b) R 27564 27566 27072 0 -1 4202496 10452 0 0 0 16178 46 0 0 25 0 1 0 126463022 43483136 10164 1992294400 134512640 135752675 4287788864 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27566/statm: 10616 10164 145 303 0 10311 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 42464

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

[startup+166.301 s]
/proc/loadavg: 0.98 0.97 0.98 2/107 27571
/proc/meminfo: memFree=1793328/2059040 swapFree=4136476/4192956
[pid=27566] ppid=27564 vsize=43104 CPUtime=166.23
/proc/27566/stat : 27566 (wbo1.4b) R 27564 27566 27072 0 -1 4202496 10616 0 0 0 16576 47 0 0 25 0 1 0 126463022 44138496 10328 1992294400 134512640 135752675 4287788864 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27566/statm: 10776 10328 145 303 0 10471 0
Current children cumulated CPU time (s) 166.23
Current children cumulated vsize (KiB) 43104

[startup+172.709 s]
/proc/loadavg: 0.98 0.97 0.98 2/107 27571
/proc/meminfo: memFree=1792584/2059040 swapFree=4136476/4192956
[pid=27566] ppid=27564 vsize=43892 CPUtime=172.64
/proc/27566/stat : 27566 (wbo1.4b) R 27564 27566 27072 0 -1 4202496 10783 0 0 0 17216 48 0 0 25 0 1 0 126463022 44945408 10495 1992294400 134512640 135752675 4287788864 18446744073709551615 134599220 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27566/statm: 10973 10495 145 303 0 10668 0
Current children cumulated CPU time (s) 172.64
Current children cumulated vsize (KiB) 43892

[startup+179.101 s]
/proc/loadavg: 0.98 0.97 0.98 2/107 27571
/proc/meminfo: memFree=1791840/2059040 swapFree=4136476/4192956
[pid=27566] ppid=27564 vsize=44796 CPUtime=179.03
/proc/27566/stat : 27566 (wbo1.4b) R 27564 27566 27072 0 -1 4202496 11016 0 0 0 17854 49 0 0 25 0 1 0 126463022 45871104 10728 1992294400 134512640 135752675 4287788864 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27566/statm: 11199 10728 145 303 0 10894 0
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (KiB) 44796

[startup+182.302 s]
/proc/loadavg: 0.98 0.97 0.98 2/107 27571
/proc/meminfo: memFree=1785764/2059040 swapFree=4136476/4192956
[pid=27566] ppid=27564 vsize=91460 CPUtime=182.23
/proc/27566/stat : 27566 (wbo1.4b) R 27564 27566 27072 0 -1 4202496 22821 0 0 0 18169 54 0 0 25 0 1 0 126463022 93655040 22403 1992294400 134512640 135752675 4287788864 18446744073709551615 134635488 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27566/statm: 22865 22403 146 303 0 22560 0
Current children cumulated CPU time (s) 182.23
Current children cumulated vsize (KiB) 91460

[startup+183.102 s]
/proc/loadavg: 0.98 0.97 0.98 2/107 27571
/proc/meminfo: memFree=1735668/2059040 swapFree=4136476/4192956
[pid=27566] ppid=27564 vsize=127756 CPUtime=183.03
/proc/27566/stat : 27566 (wbo1.4b) R 27564 27566 27072 0 -1 4202496 31880 0 0 0 18246 57 0 0 25 0 1 0 126463022 130822144 31462 1992294400 134512640 135752675 4287788864 18446744073709551615 134634524 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27566/statm: 31939 31462 146 303 0 31634 0
Current children cumulated CPU time (s) 183.03
Current children cumulated vsize (KiB) 127756

[startup+183.502 s]
/proc/loadavg: 0.98 0.97 0.98 2/107 27571
/proc/meminfo: memFree=1735668/2059040 swapFree=4136476/4192956
[pid=27566] ppid=27564 vsize=143640 CPUtime=183.42
/proc/27566/stat : 27566 (wbo1.4b) R 27564 27566 27072 0 -1 4202496 35851 0 0 0 18284 58 0 0 25 0 1 0 126463022 147087360 35433 1992294400 134512640 135752675 4287788864 18446744073709551615 134633665 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27566/statm: 35910 35433 146 303 0 35605 0
Current children cumulated CPU time (s) 183.42
Current children cumulated vsize (KiB) 143640

[startup+183.709 s]
/proc/loadavg: 0.98 0.97 0.98 2/107 27571
/proc/meminfo: memFree=1690408/2059040 swapFree=4136476/4192956
[pid=27566] ppid=27564 vsize=150176 CPUtime=183.64
/proc/27566/stat : 27566 (wbo1.4b) R 27564 27566 27072 0 -1 4202496 37516 0 0 0 18305 59 0 0 25 0 1 0 126463022 153780224 37098 1992294400 134512640 135752675 4287788864 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27566/statm: 37544 37098 146 303 0 37239 0
Current children cumulated CPU time (s) 183.64
Current children cumulated vsize (KiB) 150176

Child status: 0
Real time (s): 183.746
CPU time (s): 183.683
CPU user time (s): 183.069
CPU system time (s): 0.613906
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (KiB): 150176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 183.069
system time used= 0.613906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37517
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= 82
involuntary context switches= 288

runsolver used 0.297954 second user time and 0.927858 second system time

The end

Launcher Data 

Begin job on node012 at 2010-06-26 01:30:15
IDJOB=2683276
IDBENCH=72099
IDSOLVER=1190
FILE ID=node012/2683276-1277508615
PBS_JOBID= 11190629
Free space on /tmp= 62428 MiB

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

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

MD5SUM BENCH= d362b0878aae0270b57b34b0bb6d5f96
RANDOM SEED=447252816

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1835528 kB
Buffers:         34204 kB
Cached:          93048 kB
SwapCached:       8996 kB
Active:          72388 kB
Inactive:        68004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1835528 kB
SwapTotal:     4192956 kB
SwapFree:      4136476 kB
Dirty:            3428 kB
Writeback:           0 kB
AnonPages:       11788 kB
Mapped:           8336 kB
Slab:            61184 kB
PageTables:       4192 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183012 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= 62424 MiB
End job on node012 at 2010-06-26 01:33:18