Trace number 2683395

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.4bOPT1964 182.863 182.91

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2683395-1277509357.opb.
0.00/0.00	c Instance file HOME/instance-2683395-1277509357.opb
0.00/0.00	c File size is 837428 bytes.
0.10/0.13	c Highest Coefficient sum: 553
0.10/0.13	c ============================[ Problem Statistics ]=============================
0.10/0.13	c |                                                                             |
0.10/0.13	c |  Parsing time:          0.13         s                                      |
0.10/0.13	c |  Number Variables:      6052                                                |
0.10/0.13	c |  Number Clauses:        26118                                               |
0.10/0.13	c |  Number Cardinality:    293                                                 |
0.10/0.13	c |  Number PB Constraints: 0                                                   |
2.69/2.71	c ============================[ Search Statistics ]==============================
2.69/2.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.69/2.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.69/2.71	c ===============================================================================
2.69/2.72	c |         0 |    4221    27958    54906 |     8803        0    nan |  0.000 % |
2.69/2.73	c ===============================================================================
2.69/2.73	c New solution: 581068
2.69/2.73	o 581068
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 |        11 |    4221    27959    57062 |     9319       11      4 |  0.000 % |
2.69/2.74	c ===============================================================================
2.69/2.74	c New solution: 581067
2.69/2.74	o 581067
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 |        19 |    4221    27960    59218 |     9320       19      4 |  0.000 % |
2.69/2.75	c ===============================================================================
2.69/2.75	c New solution: 429060
2.69/2.75	o 429060
2.69/2.75	c Elapsed CPU time: 2.73158 s	Remaining CPU time: 177.268 s
2.69/2.75	c ===============================================================================
2.69/2.75	c |        26 |    4221    27961    61374 |     9320       26      4 |  0.000 % |
2.69/2.76	c ===============================================================================
2.69/2.76	c New solution: 425652
2.69/2.76	o 425652
2.69/2.76	c Elapsed CPU time: 2.74158 s	Remaining CPU time: 177.258 s
2.69/2.76	c ===============================================================================
2.69/2.76	c |        31 |    4221    27962    63530 |     9320       31      4 |  0.000 % |
2.69/2.77	c ===============================================================================
2.69/2.77	c New solution: 420550
2.69/2.77	o 420550
2.69/2.77	c Elapsed CPU time: 2.75158 s	Remaining CPU time: 177.248 s
2.69/2.77	c ===============================================================================
2.69/2.77	c |        34 |    4221    27963    65686 |     9321       34      4 |  0.000 % |
2.69/2.78	c ===============================================================================
2.69/2.78	c New solution: 357354
2.69/2.78	o 357354
2.69/2.78	c Elapsed CPU time: 2.76158 s	Remaining CPU time: 177.238 s
2.69/2.78	c ===============================================================================
2.69/2.78	c |        37 |    4221    27964    67842 |     9321       37      4 |  0.000 % |
2.69/2.79	c ===============================================================================
2.69/2.79	c New solution: 355650
2.69/2.79	o 355650
2.69/2.79	c Elapsed CPU time: 2.77158 s	Remaining CPU time: 177.228 s
2.69/2.79	c ===============================================================================
2.69/2.79	c |        43 |    4221    27965    69998 |     9321       43     22 |  0.000 % |
2.79/2.82	c ===============================================================================
2.79/2.82	c New solution: 138895
2.79/2.82	o 138895
2.79/2.82	c Elapsed CPU time: 2.79358 s	Remaining CPU time: 177.206 s
2.79/2.82	c ===============================================================================
2.79/2.82	c |        87 |    4221    27966    72154 |     9322       87     13 |  0.000 % |
2.79/2.86	c ===============================================================================
2.79/2.86	c New solution: 138888
2.79/2.86	o 138888
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 |       124 |    4221    27967    74310 |     9322      124     59 |  0.000 % |
2.89/2.91	c ===============================================================================
2.89/2.91	c New solution: 137241
2.89/2.91	o 137241
2.89/2.91	c Elapsed CPU time: 2.87456 s	Remaining CPU time: 177.125 s
2.89/2.91	c ===============================================================================
2.89/2.91	c |       171 |    4221    27968    76466 |     9322      171     47 |  0.000 % |
2.89/2.93	c ===============================================================================
2.89/2.93	c New solution: 137187
2.89/2.93	o 137187
2.89/2.93	c Elapsed CPU time: 2.89256 s	Remaining CPU time: 177.107 s
2.89/2.93	c ===============================================================================
2.89/2.93	c |       185 |    4221    27969    78622 |     9323      185     50 |  0.000 % |
2.89/2.96	c ===============================================================================
2.89/2.96	c New solution: 135508
2.89/2.96	o 135508
2.89/2.96	c Elapsed CPU time: 2.92256 s	Remaining CPU time: 177.077 s
2.89/2.96	c ===============================================================================
2.89/2.96	c |       206 |    4221    27970    80778 |     9323      206     48 |  0.000 % |
2.89/2.99	c ===============================================================================
2.89/2.99	c New solution: 135468
2.89/2.99	o 135468
2.89/2.99	c Elapsed CPU time: 2.94055 s	Remaining CPU time: 177.059 s
2.89/2.99	c ===============================================================================
2.89/2.99	c |       209 |    4221    27971    82934 |     9323      209     47 |  0.000 % |
3.00/3.01	c ===============================================================================
3.00/3.01	c New solution: 128643
3.00/3.01	o 128643
3.00/3.01	c Elapsed CPU time: 2.95855 s	Remaining CPU time: 177.041 s
3.00/3.01	c ===============================================================================
3.00/3.01	c |       218 |    4221    27972    85090 |     9324      218     45 |  0.000 % |
3.00/3.07	c ===============================================================================
3.00/3.07	c New solution: 128629
3.00/3.07	o 128629
3.00/3.07	c Elapsed CPU time: 3.01954 s	Remaining CPU time: 176.98 s
3.00/3.07	c ===============================================================================
3.00/3.07	c |       233 |    4221    27973    87246 |     9324      233     54 |  0.000 % |
3.09/3.14	c ===============================================================================
3.09/3.14	c New solution: 126970
3.09/3.14	o 126970
3.09/3.14	c Elapsed CPU time: 3.08153 s	Remaining CPU time: 176.918 s
3.09/3.14	c ===============================================================================
3.09/3.14	c |       298 |    4221    27974    89402 |     9324      298     56 |  0.000 % |
3.20/3.24	c ===============================================================================
3.20/3.24	c New solution: 126965
3.20/3.24	o 126965
3.20/3.24	c Elapsed CPU time: 3.17852 s	Remaining CPU time: 176.821 s
3.20/3.24	c ===============================================================================
3.20/3.24	c |       345 |    4221    27975    91558 |     9325      345     75 |  0.000 % |
3.20/3.26	c ===============================================================================
3.20/3.26	c New solution: 125356
3.20/3.26	o 125356
3.20/3.26	c Elapsed CPU time: 3.20151 s	Remaining CPU time: 176.798 s
3.20/3.26	c ===============================================================================
3.20/3.26	c |       362 |    4221    27976    93714 |     9325      362     72 |  0.000 % |
3.20/3.28	c ===============================================================================
3.20/3.28	c New solution: 125328
3.20/3.28	o 125328
3.20/3.28	c Elapsed CPU time: 3.21651 s	Remaining CPU time: 176.783 s
3.20/3.28	c ===============================================================================
3.20/3.28	c |       362 |    4221    27977    95870 |     9325      362     72 |  0.000 % |
3.20/3.30	c ===============================================================================
3.20/3.30	c New solution: 123641
3.20/3.30	o 123641
3.20/3.30	c Elapsed CPU time: 3.23251 s	Remaining CPU time: 176.767 s
3.20/3.30	c ===============================================================================
3.20/3.30	c |       366 |    4221    27978    98026 |     9326      366     71 |  0.000 % |
3.30/3.31	c ===============================================================================
3.30/3.31	c New solution: 116788
3.30/3.31	o 116788
3.30/3.31	c Elapsed CPU time: 3.24551 s	Remaining CPU time: 176.754 s
3.30/3.31	c ===============================================================================
3.30/3.31	c |       367 |    4221    27979   100182 |     9326      367     71 |  0.000 % |
3.30/3.32	c ===============================================================================
3.30/3.32	c New solution: 116787
3.30/3.32	o 116787
3.30/3.32	c Elapsed CPU time: 3.2585 s	Remaining CPU time: 176.741 s
3.30/3.32	c ===============================================================================
3.30/3.32	c |       367 |    4221    27980   102338 |     9326      367     71 |  0.000 % |
3.30/3.34	c ===============================================================================
3.30/3.34	c New solution: 116782
3.30/3.34	o 116782
3.30/3.34	c Elapsed CPU time: 3.2785 s	Remaining CPU time: 176.721 s
3.30/3.34	c ===============================================================================
3.30/3.34	c |       370 |    4221    27981   104494 |     9327      370     70 |  0.000 % |
3.30/3.37	c ===============================================================================
3.30/3.37	c New solution: 115093
3.30/3.37	o 115093
3.30/3.37	c Elapsed CPU time: 3.2985 s	Remaining CPU time: 176.702 s
3.30/3.37	c ===============================================================================
3.30/3.37	c |       373 |    4221    27982   106650 |     9327      373     72 |  0.000 % |
3.39/3.40	c ===============================================================================
3.39/3.40	c New solution: 115062
3.39/3.40	o 115062
3.39/3.40	c Elapsed CPU time: 3.33149 s	Remaining CPU time: 176.669 s
3.39/3.40	c ===============================================================================
3.39/3.40	c |       380 |    4221    27983   108806 |     9327      380     76 |  0.000 % |
3.39/3.45	c ===============================================================================
3.39/3.45	c New solution: 115057
3.39/3.45	o 115057
3.39/3.45	c Elapsed CPU time: 3.37249 s	Remaining CPU time: 176.628 s
3.39/3.45	c ===============================================================================
3.39/3.45	c |       392 |    4221    27984   110962 |     9328      392     87 |  0.000 % |
3.49/3.54	c ===============================================================================
3.49/3.54	c New solution: 115042
3.49/3.54	o 115042
3.49/3.54	c Elapsed CPU time: 3.46447 s	Remaining CPU time: 176.536 s
3.49/3.54	c ===============================================================================
3.49/3.54	c |       406 |    4221    27985   113118 |     9328      406     87 |  0.000 % |
3.59/3.61	c ===============================================================================
3.59/3.61	c New solution: 115022
3.59/3.61	o 115022
3.59/3.61	c Elapsed CPU time: 3.53146 s	Remaining CPU time: 176.469 s
3.59/3.61	c ===============================================================================
3.59/3.61	c |       410 |    4221    27986   115274 |     9328      410     86 |  0.000 % |
3.59/3.65	c ===============================================================================
3.59/3.65	c New solution: 115017
3.59/3.65	o 115017
3.59/3.65	c Elapsed CPU time: 3.57646 s	Remaining CPU time: 176.424 s
3.59/3.65	c ===============================================================================
3.59/3.65	c |       410 |    4221    27987   117430 |     9329      410     86 |  0.000 % |
3.59/3.68	c ===============================================================================
3.59/3.68	c New solution: 113347
3.59/3.68	o 113347
3.59/3.68	c Elapsed CPU time: 3.60145 s	Remaining CPU time: 176.399 s
3.59/3.68	c ===============================================================================
3.59/3.68	c |       413 |    4221    27988   119586 |     9329      413     86 |  0.000 % |
3.69/3.70	c ===============================================================================
3.69/3.70	c New solution: 113346
3.69/3.70	o 113346
3.69/3.70	c Elapsed CPU time: 3.61945 s	Remaining CPU time: 176.381 s
3.69/3.70	c ===============================================================================
3.69/3.70	c |       415 |    4221    27989   121742 |     9329      415     87 |  0.000 % |
3.69/3.74	c ===============================================================================
3.69/3.74	c New solution: 113323
3.69/3.74	o 113323
3.69/3.74	c Elapsed CPU time: 3.65844 s	Remaining CPU time: 176.342 s
3.69/3.74	c ===============================================================================
3.69/3.74	c |       423 |    4221    27990   123898 |     9330      423     87 |  0.000 % |
3.69/3.76	c ===============================================================================
3.69/3.76	c New solution: 111666
3.69/3.76	o 111666
3.69/3.76	c Elapsed CPU time: 3.67544 s	Remaining CPU time: 176.325 s
3.69/3.76	c ===============================================================================
3.69/3.76	c |       426 |    4221    27991   126054 |     9330      426     86 |  0.000 % |
3.69/3.78	c ===============================================================================
3.69/3.78	c New solution: 111651
3.69/3.78	o 111651
3.69/3.78	c Elapsed CPU time: 3.69344 s	Remaining CPU time: 176.307 s
3.69/3.78	c ===============================================================================
3.69/3.78	c |       427 |    4221    27992   128210 |     9330      427     86 |  0.000 % |
3.79/3.83	c ===============================================================================
3.79/3.83	c New solution: 111586
3.79/3.83	o 111586
3.79/3.83	c Elapsed CPU time: 3.74543 s	Remaining CPU time: 176.255 s
3.79/3.83	c ===============================================================================
3.79/3.83	c |       429 |    4221    27993   130366 |     9331      429     87 |  0.000 % |
3.79/3.85	c ===============================================================================
3.79/3.85	c New solution: 109952
3.79/3.85	o 109952
3.79/3.85	c Elapsed CPU time: 3.76443 s	Remaining CPU time: 176.236 s
3.79/3.85	c ===============================================================================
3.79/3.85	c |       430 |    4221    27994   132522 |     9331      430     86 |  0.000 % |
3.79/3.87	c ===============================================================================
3.79/3.87	c New solution: 108256
3.79/3.87	o 108256
3.79/3.87	c Elapsed CPU time: 3.78342 s	Remaining CPU time: 176.217 s
3.79/3.87	c ===============================================================================
3.79/3.87	c |       430 |    4221    27995   134678 |     9331      430     86 |  0.000 % |
3.79/3.89	c ===============================================================================
3.79/3.89	c New solution: 92903
3.79/3.89	o 92903
3.79/3.89	c Elapsed CPU time: 3.79942 s	Remaining CPU time: 176.201 s
3.79/3.89	c ===============================================================================
3.79/3.89	c |       430 |    4221    27996   136834 |     9332      430     86 |  0.000 % |
3.89/3.91	c ===============================================================================
3.89/3.91	c New solution: 92868
3.89/3.91	o 92868
3.89/3.91	c Elapsed CPU time: 3.82342 s	Remaining CPU time: 176.177 s
3.89/3.91	c ===============================================================================
3.89/3.91	c |       431 |    4221    27997   138990 |     9332      431     88 |  0.000 % |
3.99/4.02	c ===============================================================================
3.99/4.02	c New solution: 92835
3.99/4.02	o 92835
3.99/4.02	c Elapsed CPU time: 3.9274 s	Remaining CPU time: 176.073 s
3.99/4.02	c ===============================================================================
3.99/4.02	c |       439 |    4221    27998   141146 |     9332      439     94 |  0.000 % |
4.19/4.27	c |       539 |    4221    27998   141146 |    10265      539    189 | 30.255 % |
4.30/4.37	c ===============================================================================
4.30/4.37	c New solution: 92834
4.30/4.37	o 92834
4.30/4.37	c Elapsed CPU time: 4.27535 s	Remaining CPU time: 175.725 s
4.30/4.37	c ===============================================================================
4.30/4.37	c |       554 |    4221    27999   143302 |     9333      554    195 | 30.255 % |
4.50/4.57	c |       654 |    4221    27999   143302 |    10266      654    264 | 30.254 % |
4.59/4.66	c ===============================================================================
4.59/4.66	c New solution: 92816
4.59/4.66	o 92816
4.59/4.66	c Elapsed CPU time: 4.56431 s	Remaining CPU time: 175.436 s
4.59/4.66	c ===============================================================================
4.59/4.66	c |       657 |    4221    28000   145458 |     9333      657    265 | 30.254 % |
4.69/4.79	c ===============================================================================
4.69/4.79	c New solution: 92815
4.69/4.79	o 92815
4.69/4.79	c Elapsed CPU time: 4.68529 s	Remaining CPU time: 175.315 s
4.69/4.79	c ===============================================================================
4.69/4.79	c |       701 |    4221    28001   147614 |     9333      701    289 | 30.254 % |
5.09/5.11	c |       802 |    4221    28001   147614 |    10267      802    335 | 30.254 % |
5.09/5.16	c ===============================================================================
5.09/5.16	c New solution: 92814
5.09/5.16	o 92814
5.09/5.16	c Elapsed CPU time: 5.06023 s	Remaining CPU time: 174.94 s
5.09/5.16	c ===============================================================================
5.09/5.16	c |       807 |    4221    28002   149770 |     9334      807    334 | 30.254 % |
5.19/5.21	c ===============================================================================
5.19/5.21	c New solution: 92813
5.19/5.21	o 92813
5.19/5.21	c Elapsed CPU time: 5.11222 s	Remaining CPU time: 174.888 s
5.19/5.21	c ===============================================================================
5.19/5.21	c |       810 |    4221    28003   151926 |     9334      810    334 | 30.254 % |
5.40/5.44	c |       910 |    4221    28003   151926 |    10267      910    369 | 30.254 % |
5.69/5.72	c ===============================================================================
5.69/5.72	c New solution: 91175
5.69/5.72	o 91175
5.69/5.72	c Elapsed CPU time: 5.61615 s	Remaining CPU time: 174.384 s
5.69/5.72	c ===============================================================================
5.69/5.72	c |      1036 |    4221    28004   154082 |     9334     1036    398 | 30.254 % |
5.69/5.76	c ===============================================================================
5.69/5.76	c New solution: 91169
5.69/5.76	o 91169
5.69/5.76	c Elapsed CPU time: 5.65714 s	Remaining CPU time: 174.343 s
5.69/5.76	c ===============================================================================
5.69/5.76	c |      1041 |    4221    28005   156238 |     9335     1041    398 | 30.254 % |
5.89/5.91	c ===============================================================================
5.89/5.91	c New solution: 91145
5.89/5.91	o 91145
5.89/5.91	c Elapsed CPU time: 5.80412 s	Remaining CPU time: 174.196 s
5.89/5.91	c ===============================================================================
5.89/5.91	c |      1068 |    4221    28006   158394 |     9335     1068    398 | 30.254 % |
5.89/5.98	c ===============================================================================
5.89/5.98	c New solution: 91132
5.89/5.98	o 91132
5.89/5.98	c Elapsed CPU time: 5.87311 s	Remaining CPU time: 174.127 s
5.89/5.98	c ===============================================================================
5.89/5.98	c |      1071 |    4221    28007   160550 |     9335     1071    398 | 30.254 % |
6.00/6.01	c ===============================================================================
6.00/6.01	c New solution: 91131
6.00/6.01	o 91131
6.00/6.01	c Elapsed CPU time: 5.9061 s	Remaining CPU time: 174.094 s
6.00/6.01	c ===============================================================================
6.00/6.01	c |      1071 |    4221    28008   162706 |     9336     1071    398 | 30.254 % |
6.00/6.05	c ===============================================================================
6.00/6.05	c New solution: 91130
6.00/6.05	o 91130
6.00/6.05	c Elapsed CPU time: 5.9411 s	Remaining CPU time: 174.059 s
6.00/6.05	c ===============================================================================
6.00/6.05	c |      1071 |    4221    28009   164862 |     9336     1071    398 | 30.254 % |
6.00/6.08	c ===============================================================================
6.00/6.08	c New solution: 91129
6.00/6.08	o 91129
6.00/6.08	c Elapsed CPU time: 5.97409 s	Remaining CPU time: 174.026 s
6.00/6.08	c ===============================================================================
6.00/6.08	c |      1071 |    4221    28010   167018 |     9336     1071    398 | 30.254 % |
6.19/6.26	c ===============================================================================
6.19/6.26	c New solution: 89461
6.19/6.26	o 89461
6.19/6.26	c Elapsed CPU time: 6.14607 s	Remaining CPU time: 173.854 s
6.19/6.26	c ===============================================================================
6.19/6.26	c |      1128 |    4221    28011   169174 |     9337     1128    411 | 30.254 % |
6.29/6.34	c ===============================================================================
6.29/6.34	c New solution: 89389
6.29/6.34	o 89389
6.29/6.34	c Elapsed CPU time: 6.23005 s	Remaining CPU time: 173.77 s
6.29/6.34	c ===============================================================================
6.29/6.34	c |      1137 |    4221    28012   171330 |     9337     1137    409 | 30.254 % |
6.79/6.85	c |      1238 |    4221    28012   171330 |    10271     1238    429 | 30.254 % |
7.19/7.24	c |      1388 |    4221    28012   171330 |    11298     1388    451 | 30.254 % |
7.59/7.67	c ===============================================================================
7.59/7.67	c New solution: 89388
7.59/7.67	o 89388
7.59/7.67	c Elapsed CPU time: 7.55185 s	Remaining CPU time: 172.448 s
7.59/7.67	c ===============================================================================
7.59/7.67	c |      1529 |    4221    28013   173486 |     9337     1529    468 | 30.254 % |
7.69/7.72	c ===============================================================================
7.69/7.72	c New solution: 87763
7.69/7.72	o 87763
7.69/7.72	c Elapsed CPU time: 7.60284 s	Remaining CPU time: 172.397 s
7.69/7.72	c ===============================================================================
7.69/7.72	c |      1530 |    4221    28014   175642 |     9338     1530    468 | 30.254 % |
7.69/7.76	c ===============================================================================
7.69/7.76	c New solution: 87745
7.69/7.76	o 87745
7.69/7.76	c Elapsed CPU time: 7.64584 s	Remaining CPU time: 172.354 s
7.69/7.76	c ===============================================================================
7.69/7.76	c |      1532 |    4221    28015   177798 |     9338     1532    468 | 30.254 % |
7.89/7.97	c ===============================================================================
7.89/7.97	c New solution: 87744
7.89/7.97	o 87744
7.89/7.97	c Elapsed CPU time: 7.84481 s	Remaining CPU time: 172.155 s
7.89/7.97	c ===============================================================================
7.89/7.97	c |      1546 |    4221    28016   179954 |     9338     1546    464 | 30.254 % |
7.99/8.04	c ===============================================================================
7.99/8.04	c New solution: 87743
7.99/8.04	o 87743
7.99/8.04	c Elapsed CPU time: 7.9128 s	Remaining CPU time: 172.087 s
7.99/8.04	c ===============================================================================
7.99/8.04	c |      1548 |    4221    28017   182110 |     9339     1548    463 | 30.254 % |
8.09/8.13	c ===============================================================================
8.09/8.13	c New solution: 87734
8.09/8.13	o 87734
8.09/8.13	c Elapsed CPU time: 8.00478 s	Remaining CPU time: 171.995 s
8.09/8.13	c ===============================================================================
8.09/8.13	c |      1549 |    4221    28018   184266 |     9339     1549    463 | 30.254 % |
8.19/8.22	c ===============================================================================
8.19/8.22	c New solution: 87733
8.19/8.22	o 87733
8.19/8.22	c Elapsed CPU time: 8.09977 s	Remaining CPU time: 171.9 s
8.19/8.22	c ===============================================================================
8.19/8.22	c |      1551 |    4221    28019   186422 |     9339     1551    463 | 30.254 % |
8.29/8.30	c ===============================================================================
8.29/8.30	c New solution: 87732
8.29/8.30	o 87732
8.29/8.30	c Elapsed CPU time: 8.17576 s	Remaining CPU time: 171.824 s
8.29/8.30	c ===============================================================================
8.29/8.30	c |      1552 |    4221    28020   188578 |     9340     1552    463 | 30.254 % |
8.49/8.57	c |      1652 |    4221    28020   188578 |    10274     1652    471 | 30.254 % |
8.59/8.67	c ===============================================================================
8.59/8.67	c New solution: 87703
8.59/8.67	o 87703
8.59/8.67	c Elapsed CPU time: 8.5457 s	Remaining CPU time: 171.454 s
8.59/8.67	c ===============================================================================
8.59/8.67	c |      1654 |    4221    28021   190734 |     9340     1654    471 | 30.254 % |
8.98/9.01	c |      1755 |    4221    28021   190734 |    10274     1755    479 | 30.254 % |
9.39/9.40	c |      1905 |    4221    28021   190734 |    11301     1905    490 | 30.254 % |
10.39/10.43	c |      2130 |    4221    28021   190734 |    12431     2130    508 | 30.254 % |
10.49/10.52	c ===============================================================================
10.49/10.52	c New solution: 87702
10.49/10.52	o 87702
10.49/10.52	c Elapsed CPU time: 10.3824 s	Remaining CPU time: 169.618 s
10.49/10.52	c ===============================================================================
10.49/10.52	c |      2138 |    4221    28022   192890 |     9340     2138    508 | 30.254 % |
10.49/10.56	c ===============================================================================
10.49/10.56	c New solution: 87687
10.49/10.56	o 87687
10.49/10.56	c Elapsed CPU time: 10.4304 s	Remaining CPU time: 169.57 s
10.49/10.56	c ===============================================================================
10.49/10.56	c |      2151 |    4221    28023   195046 |     9341     2151    508 | 30.254 % |
10.79/10.80	c ===============================================================================
10.79/10.80	c New solution: 87686
10.79/10.80	o 87686
10.79/10.80	c Elapsed CPU time: 10.6684 s	Remaining CPU time: 169.332 s
10.79/10.80	c ===============================================================================
10.79/10.80	c |      2240 |    4221    28024   197202 |     9341     2240    512 | 30.254 % |
11.09/11.11	c ===============================================================================
11.09/11.11	c New solution: 87685
11.09/11.11	o 87685
11.09/11.11	c Elapsed CPU time: 10.9713 s	Remaining CPU time: 169.029 s
11.09/11.11	c ===============================================================================
11.09/11.11	c |      2298 |    4221    28025   199358 |     9341     2298    514 | 30.254 % |
11.49/11.57	c |      2400 |    4221    28025   199358 |    10275     2400    517 | 30.254 % |
11.59/11.69	c ===============================================================================
11.59/11.69	c New solution: 87684
11.59/11.69	o 87684
11.59/11.69	c Elapsed CPU time: 11.5522 s	Remaining CPU time: 168.448 s
11.59/11.69	c ===============================================================================
11.59/11.69	c |      2408 |    4221    28026   201514 |     9342     2408    516 | 30.254 % |
12.19/12.24	c |      2508 |    4221    28026   201514 |    10276     2508    520 | 30.254 % |
12.39/12.40	c ===============================================================================
12.39/12.40	c New solution: 87683
12.39/12.40	o 87683
12.39/12.40	c Elapsed CPU time: 12.2611 s	Remaining CPU time: 167.739 s
12.39/12.40	c ===============================================================================
12.39/12.40	c |      2538 |    4221    28027   203670 |     9342     2538    520 | 30.254 % |
12.59/12.64	c ===============================================================================
12.59/12.64	c New solution: 87682
12.59/12.64	o 87682
12.59/12.64	c Elapsed CPU time: 12.4971 s	Remaining CPU time: 167.503 s
12.59/12.64	c ===============================================================================
12.59/12.64	c |      2556 |    4221    28028   205826 |     9342     2556    520 | 30.254 % |
12.69/12.72	c ===============================================================================
12.69/12.72	c New solution: 86057
12.69/12.72	o 86057
12.69/12.72	c Elapsed CPU time: 12.5791 s	Remaining CPU time: 167.421 s
12.69/12.72	c ===============================================================================
12.69/12.72	c |      2567 |    4221    28029   207982 |     9343     2567    519 | 30.254 % |
12.79/12.89	c ===============================================================================
12.79/12.89	c New solution: 86000
12.79/12.89	o 86000
12.79/12.89	c Elapsed CPU time: 12.7421 s	Remaining CPU time: 167.258 s
12.79/12.89	c ===============================================================================
12.79/12.89	c |      2572 |    4221    28030   210138 |     9343     2572    519 | 30.254 % |
12.99/13.02	c ===============================================================================
12.99/13.02	c New solution: 85988
12.99/13.02	o 85988
12.99/13.02	c Elapsed CPU time: 12.874 s	Remaining CPU time: 167.126 s
12.99/13.02	c ===============================================================================
12.99/13.02	c |      2574 |    4221    28031   212294 |     9343     2574    519 | 30.254 % |
12.99/13.09	c ===============================================================================
12.99/13.09	c New solution: 84350
12.99/13.09	o 84350
12.99/13.09	c Elapsed CPU time: 12.941 s	Remaining CPU time: 167.059 s
12.99/13.09	c ===============================================================================
12.99/13.09	c |      2576 |    4221    28032   214450 |     9344     2576    518 | 30.254 % |
13.09/13.14	c ===============================================================================
13.09/13.14	c New solution: 84349
13.09/13.14	o 84349
13.09/13.14	c Elapsed CPU time: 12.988 s	Remaining CPU time: 167.012 s
13.09/13.14	c ===============================================================================
13.09/13.14	c |      2576 |    4221    28033   216606 |     9344     2576    518 | 30.254 % |
13.09/13.17	c ===============================================================================
13.09/13.17	c New solution: 84341
13.09/13.17	o 84341
13.09/13.17	c Elapsed CPU time: 13.024 s	Remaining CPU time: 166.976 s
13.09/13.17	c ===============================================================================
13.09/13.17	c |      2580 |    4221    28034   218762 |     9344     2580    518 | 30.254 % |
13.29/13.31	c ===============================================================================
13.29/13.31	c New solution: 84306
13.29/13.31	o 84306
13.29/13.31	c Elapsed CPU time: 13.162 s	Remaining CPU time: 166.838 s
13.29/13.31	c ===============================================================================
13.29/13.31	c |      2582 |    4221    28035   220918 |     9345     2582    518 | 30.254 % |
13.39/13.46	c ===============================================================================
13.39/13.46	c New solution: 84305
13.39/13.46	o 84305
13.39/13.46	c Elapsed CPU time: 13.314 s	Remaining CPU time: 166.686 s
13.39/13.46	c ===============================================================================
13.39/13.46	c |      2584 |    4221    28036   223074 |     9345     2584    518 | 30.254 % |
13.49/13.56	c ===============================================================================
13.49/13.56	c New solution: 82662
13.49/13.56	o 82662
13.49/13.56	c Elapsed CPU time: 13.407 s	Remaining CPU time: 166.593 s
13.49/13.56	c ===============================================================================
13.49/13.56	c |      2590 |    4221    28037   225230 |     9345     2590    518 | 30.254 % |
13.69/13.73	c ===============================================================================
13.69/13.73	c New solution: 82582
13.69/13.73	o 82582
13.69/13.73	c Elapsed CPU time: 13.5829 s	Remaining CPU time: 166.417 s
13.69/13.73	c ===============================================================================
13.69/13.73	c |      2594 |    4221    28038   227386 |     9346     2594    518 | 30.254 % |
13.79/13.88	c ===============================================================================
13.79/13.88	c New solution: 82581
13.79/13.88	o 82581
13.79/13.88	c Elapsed CPU time: 13.7259 s	Remaining CPU time: 166.274 s
13.79/13.88	c ===============================================================================
13.79/13.88	c |      2594 |    4221    28039   229542 |     9346     2594    518 | 30.254 % |
14.19/14.27	c |      2694 |    4221    28039   229542 |    10280     2694    524 | 30.254 % |
14.68/14.78	c |      2844 |    4221    28039   229542 |    11309     2844    530 | 30.254 % |
14.88/14.97	c ===============================================================================
14.88/14.97	c New solution: 82580
14.88/14.97	o 82580
14.88/14.97	c Elapsed CPU time: 14.8057 s	Remaining CPU time: 165.194 s
14.88/14.97	c ===============================================================================
14.88/14.97	c |      2851 |    4221    28040   231698 |     9346     2851    530 | 30.254 % |
14.99/15.05	c ===============================================================================
14.99/15.05	c New solution: 82579
14.99/15.05	o 82579
14.99/15.05	c Elapsed CPU time: 14.8927 s	Remaining CPU time: 165.107 s
14.99/15.05	c ===============================================================================
14.99/15.05	c |      2861 |    4221    28041   233854 |     9347     2861    530 | 30.254 % |
15.19/15.21	c ===============================================================================
15.19/15.21	c New solution: 80957
15.19/15.21	o 80957
15.19/15.21	c Elapsed CPU time: 15.0477 s	Remaining CPU time: 164.952 s
15.19/15.21	c ===============================================================================
15.19/15.21	c |      2876 |    4221    28042   236010 |     9347     2876    530 | 30.254 % |
15.30/15.36	c ===============================================================================
15.30/15.36	c New solution: 80861
15.30/15.36	o 80861
15.30/15.36	c Elapsed CPU time: 15.1987 s	Remaining CPU time: 164.801 s
15.30/15.36	c ===============================================================================
15.30/15.36	c |      2879 |    4221    28043   238166 |     9347     2879    530 | 30.254 % |
15.40/15.45	c ===============================================================================
15.40/15.45	c New solution: 80860
15.40/15.45	o 80860
15.40/15.45	c Elapsed CPU time: 15.2857 s	Remaining CPU time: 164.714 s
15.40/15.45	c ===============================================================================
15.40/15.45	c |      2880 |    4221    28044   240322 |     9348     2880    530 | 30.254 % |
15.49/15.52	c ===============================================================================
15.49/15.52	c New solution: 80859
15.49/15.52	o 80859
15.49/15.52	c Elapsed CPU time: 15.3527 s	Remaining CPU time: 164.647 s
15.49/15.52	c ===============================================================================
15.49/15.52	c |      2880 |    4221    28045   242478 |     9348     2880    530 | 30.254 % |
15.59/15.64	c ===============================================================================
15.59/15.64	c New solution: 80858
15.59/15.64	o 80858
15.59/15.64	c Elapsed CPU time: 15.4706 s	Remaining CPU time: 164.529 s
15.59/15.64	c ===============================================================================
15.59/15.64	c |      2882 |    4221    28046   244634 |     9348     2882    530 | 30.254 % |
15.68/15.71	c ===============================================================================
15.68/15.71	c New solution: 80857
15.68/15.71	o 80857
15.68/15.71	c Elapsed CPU time: 15.5426 s	Remaining CPU time: 164.457 s
15.68/15.71	c ===============================================================================
15.68/15.71	c |      2883 |    4221    28047   246790 |     9349     2883    530 | 30.254 % |
16.28/16.39	c |      2983 |    4221    28047   246790 |    10283     2983    534 | 30.254 % |
16.89/16.97	c |      3134 |    4221    28047   246790 |    11312     3134    539 | 30.254 % |
17.09/17.16	c ===============================================================================
17.09/17.16	c New solution: 80856
17.09/17.16	o 80856
17.09/17.16	c Elapsed CPU time: 16.9834 s	Remaining CPU time: 163.017 s
17.09/17.16	c ===============================================================================
17.09/17.16	c |      3151 |    4221    28048   248946 |     9349     3151    539 | 30.254 % |
17.69/17.70	c |      3252 |    4221    28048   248946 |    10284     3252    541 | 30.254 % |
17.89/17.91	c ===============================================================================
17.89/17.91	c New solution: 80855
17.89/17.91	o 80855
17.89/17.91	c Elapsed CPU time: 17.7383 s	Remaining CPU time: 162.262 s
17.89/17.91	c ===============================================================================
17.89/17.91	c |      3357 |    4221    28049   251102 |     9349     3357    542 | 30.254 % |
17.98/18.07	c ===============================================================================
17.98/18.07	c New solution: 79243
17.98/18.07	o 79243
17.98/18.07	c Elapsed CPU time: 17.8913 s	Remaining CPU time: 162.109 s
17.98/18.07	c ===============================================================================
17.98/18.07	c |      3376 |    4221    28050   253258 |     9350     3376    543 | 30.254 % |
18.08/18.18	c ===============================================================================
18.08/18.18	c New solution: 79202
18.08/18.18	o 79202
18.08/18.18	c Elapsed CPU time: 18.0023 s	Remaining CPU time: 161.998 s
18.08/18.18	c ===============================================================================
18.08/18.18	c |      3380 |    4221    28051   255414 |     9350     3380    542 | 30.254 % |
18.38/18.43	c ===============================================================================
18.38/18.43	c New solution: 79149
18.38/18.43	o 79149
18.38/18.43	c Elapsed CPU time: 18.2462 s	Remaining CPU time: 161.754 s
18.38/18.43	c ===============================================================================
18.38/18.43	c |      3397 |    4221    28052   257570 |     9350     3397    542 | 30.254 % |
18.78/18.85	c |      3497 |    4221    28052   257570 |    10285     3497    544 | 30.254 % |
19.49/19.59	c |      3648 |    4221    28052   257570 |    11314     3648    548 | 30.255 % |
19.70/19.78	c ===============================================================================
19.70/19.78	c New solution: 79148
19.70/19.78	o 79148
19.70/19.78	c Elapsed CPU time: 19.601 s	Remaining CPU time: 160.399 s
19.70/19.78	c ===============================================================================
19.70/19.78	c |      3650 |    4221    28053   259726 |     9351     3650    548 | 30.255 % |
20.09/20.17	c |      3750 |    4221    28053   259726 |    10286     3750    551 | 30.254 % |
20.19/20.24	c ===============================================================================
20.19/20.24	c New solution: 79147
20.19/20.24	o 79147
20.19/20.24	c Elapsed CPU time: 20.053 s	Remaining CPU time: 159.947 s
20.19/20.24	c ===============================================================================
20.19/20.24	c |      3762 |    4221    28054   261882 |     9351     3762    551 | 30.254 % |
20.59/20.60	c ===============================================================================
20.59/20.60	c New solution: 79146
20.59/20.60	o 79146
20.59/20.60	c Elapsed CPU time: 20.4119 s	Remaining CPU time: 159.588 s
20.59/20.60	c ===============================================================================
20.59/20.60	c |      3848 |    4221    28055   264038 |     9351     3848    553 | 30.254 % |
20.69/20.71	c ===============================================================================
20.69/20.71	c New solution: 79145
20.69/20.71	o 79145
20.69/20.71	c Elapsed CPU time: 20.5239 s	Remaining CPU time: 159.476 s
20.69/20.71	c ===============================================================================
20.69/20.71	c |      3852 |    4221    28056   266194 |     9352     3852    552 | 30.254 % |
20.79/20.84	c ===============================================================================
20.79/20.84	c New solution: 79144
20.79/20.84	o 79144
20.79/20.84	c Elapsed CPU time: 20.6579 s	Remaining CPU time: 159.342 s
20.79/20.84	c ===============================================================================
20.79/20.84	c |      3876 |    4221    28057   268350 |     9352     3876    553 | 30.254 % |
21.19/21.28	c |      3978 |    4221    28057   268350 |    10287     3978    554 | 30.254 % |
21.28/21.37	c ===============================================================================
21.28/21.37	c New solution: 79143
21.28/21.37	o 79143
21.28/21.37	c Elapsed CPU time: 21.1818 s	Remaining CPU time: 158.818 s
21.28/21.37	c ===============================================================================
21.28/21.37	c |      3998 |    4221    28058   270506 |     9352     3998    554 | 30.254 % |
21.48/21.51	c ===============================================================================
21.48/21.51	c New solution: 79142
21.48/21.51	o 79142
21.48/21.51	c Elapsed CPU time: 21.3158 s	Remaining CPU time: 158.684 s
21.48/21.51	c ===============================================================================
21.48/21.51	c |      4007 |    4221    28059   272662 |     9353     4007    554 | 30.254 % |
21.89/22.00	c |      4107 |    4221    28059   272662 |    10288     4107    556 | 30.254 % |
22.29/22.33	c ===============================================================================
22.29/22.33	c New solution: 77534
22.29/22.33	o 77534
22.29/22.33	c Elapsed CPU time: 22.1316 s	Remaining CPU time: 157.868 s
22.29/22.33	c ===============================================================================
22.29/22.33	c |      4152 |    4221    28060   274818 |     9353     4152    557 | 30.254 % |
22.48/22.51	c ===============================================================================
22.48/22.51	c New solution: 77448
22.48/22.51	o 77448
22.48/22.51	c Elapsed CPU time: 22.3146 s	Remaining CPU time: 157.685 s
22.48/22.51	c ===============================================================================
22.48/22.51	c |      4157 |    4221    28061   276974 |     9353     4157    556 | 30.254 % |
22.68/22.76	c ===============================================================================
22.68/22.76	c New solution: 77447
22.68/22.76	o 77447
22.68/22.76	c Elapsed CPU time: 22.5636 s	Remaining CPU time: 157.436 s
22.68/22.76	c ===============================================================================
22.68/22.76	c |      4166 |    4221    28062   279130 |     9354     4166    556 | 30.254 % |
22.89/22.94	c ===============================================================================
22.89/22.94	c New solution: 77446
22.89/22.94	o 77446
22.89/22.94	c Elapsed CPU time: 22.7405 s	Remaining CPU time: 157.259 s
22.89/22.94	c ===============================================================================
22.89/22.94	c |      4179 |    4221    28063   281286 |     9354     4179    556 | 30.254 % |
23.29/23.36	c ===============================================================================
23.29/23.36	c New solution: 77445
23.29/23.36	o 77445
23.29/23.36	c Elapsed CPU time: 23.1545 s	Remaining CPU time: 156.846 s
23.29/23.36	c ===============================================================================
23.29/23.36	c |      4189 |    4221    28064   283442 |     9354     4189    555 | 30.254 % |
23.49/23.58	c ===============================================================================
23.49/23.58	c New solution: 77439
23.49/23.58	o 77439
23.49/23.58	c Elapsed CPU time: 23.3744 s	Remaining CPU time: 156.626 s
23.49/23.58	c ===============================================================================
23.49/23.58	c |      4189 |    4221    28065   285598 |     9355     4189    555 | 30.254 % |
23.69/23.79	c ===============================================================================
23.69/23.79	c New solution: 77430
23.69/23.79	o 77430
23.69/23.79	c Elapsed CPU time: 23.5864 s	Remaining CPU time: 156.414 s
23.69/23.79	c ===============================================================================
23.69/23.79	c |      4189 |    4221    28066   287754 |     9355     4189    555 | 30.254 % |
23.98/24.01	c ===============================================================================
23.98/24.01	c New solution: 77429
23.98/24.01	o 77429
23.98/24.01	c Elapsed CPU time: 23.8024 s	Remaining CPU time: 156.198 s
23.98/24.01	c ===============================================================================
23.98/24.01	c |      4190 |    4221    28067   289910 |     9355     4190    555 | 30.254 % |
24.19/24.22	c ===============================================================================
24.19/24.22	c New solution: 77428
24.19/24.22	o 77428
24.19/24.22	c Elapsed CPU time: 24.0073 s	Remaining CPU time: 155.993 s
24.19/24.22	c ===============================================================================
24.19/24.22	c |      4198 |    4221    28068   292066 |     9356     4198    555 | 30.254 % |
24.28/24.34	c ===============================================================================
24.28/24.34	c New solution: 75806
24.28/24.34	o 75806
24.28/24.34	c Elapsed CPU time: 24.1283 s	Remaining CPU time: 155.872 s
24.28/24.34	c ===============================================================================
24.28/24.34	c |      4199 |    4221    28069   294222 |     9356     4199    555 | 30.254 % |
24.39/24.47	c ===============================================================================
24.39/24.47	c New solution: 75805
24.39/24.47	o 75805
24.39/24.47	c Elapsed CPU time: 24.2503 s	Remaining CPU time: 155.75 s
24.39/24.47	c ===============================================================================
24.39/24.47	c |      4200 |    4221    28070   296378 |     9356     4200    555 | 30.254 % |
24.49/24.58	c ===============================================================================
24.49/24.58	c New solution: 75804
24.49/24.58	o 75804
24.49/24.58	c Elapsed CPU time: 24.3643 s	Remaining CPU time: 155.636 s
24.49/24.58	c ===============================================================================
24.49/24.58	c |      4200 |    4221    28071   298534 |     9357     4200    555 | 30.254 % |
24.69/24.71	c ===============================================================================
24.69/24.71	c New solution: 75803
24.69/24.71	o 75803
24.69/24.71	c Elapsed CPU time: 24.4933 s	Remaining CPU time: 155.507 s
24.69/24.71	c ===============================================================================
24.69/24.71	c |      4201 |    4221    28072   300690 |     9357     4201    555 | 30.254 % |
24.78/24.82	c ===============================================================================
24.78/24.82	c New solution: 75802
24.78/24.82	o 75802
24.78/24.82	c Elapsed CPU time: 24.6053 s	Remaining CPU time: 155.395 s
24.78/24.82	c ===============================================================================
24.78/24.82	c |      4201 |    4221    28073   302846 |     9357     4201    555 | 30.254 % |
24.98/25.06	c ===============================================================================
24.98/25.06	c New solution: 75801
24.98/25.06	o 75801
24.98/25.06	c Elapsed CPU time: 24.8402 s	Remaining CPU time: 155.16 s
24.98/25.06	c ===============================================================================
24.98/25.06	c |      4207 |    4221    28074   305002 |     9358     4207    554 | 30.254 % |
25.19/25.20	c ===============================================================================
25.19/25.20	c New solution: 75768
25.19/25.20	o 75768
25.19/25.20	c Elapsed CPU time: 24.9832 s	Remaining CPU time: 155.017 s
25.19/25.20	c ===============================================================================
25.19/25.20	c |      4209 |    4221    28075   307158 |     9358     4209    554 | 30.254 % |
25.68/25.71	c |      4309 |    4221    28075   307158 |    10294     4309    557 | 30.254 % |
25.89/25.94	c ===============================================================================
25.89/25.94	c New solution: 75757
25.89/25.94	o 75757
25.89/25.94	c Elapsed CPU time: 25.7151 s	Remaining CPU time: 154.285 s
25.89/25.94	c ===============================================================================
25.89/25.94	c |      4311 |    4221    28076   309314 |     9358     4311    557 | 30.254 % |
26.09/26.18	c ===============================================================================
26.09/26.18	c New solution: 75756
26.09/26.18	o 75756
26.09/26.18	c Elapsed CPU time: 25.9541 s	Remaining CPU time: 154.046 s
26.09/26.18	c ===============================================================================
26.09/26.18	c |      4314 |    4221    28077   311470 |     9359     4314    557 | 30.254 % |
26.39/26.41	c ===============================================================================
26.39/26.41	c New solution: 75755
26.39/26.41	o 75755
26.39/26.41	c Elapsed CPU time: 26.177 s	Remaining CPU time: 153.823 s
26.39/26.41	c ===============================================================================
26.39/26.41	c |      4314 |    4221    28078   313626 |     9359     4314    557 | 30.254 % |
26.58/26.63	c ===============================================================================
26.58/26.63	c New solution: 75754
26.58/26.63	o 75754
26.58/26.63	c Elapsed CPU time: 26.4 s	Remaining CPU time: 153.6 s
26.58/26.63	c ===============================================================================
26.58/26.63	c |      4314 |    4221    28079   315782 |     9359     4314    557 | 30.254 % |
26.78/26.86	c ===============================================================================
26.78/26.86	c New solution: 75753
26.78/26.86	o 75753
26.78/26.86	c Elapsed CPU time: 26.623 s	Remaining CPU time: 153.377 s
26.78/26.86	c ===============================================================================
26.78/26.86	c |      4314 |    4221    28080   317938 |     9360     4314    557 | 30.254 % |
26.98/27.09	c ===============================================================================
26.98/27.09	c New solution: 75752
26.98/27.09	o 75752
26.98/27.09	c Elapsed CPU time: 26.8549 s	Remaining CPU time: 153.145 s
26.98/27.09	c ===============================================================================
26.98/27.09	c |      4315 |    4221    28081   320094 |     9360     4315    557 | 30.254 % |
27.99/28.04	c |      4415 |    4221    28081   320094 |    10296     4415    560 | 30.254 % |
28.09/28.17	c ===============================================================================
28.09/28.17	c New solution: 75751
28.09/28.17	o 75751
28.09/28.17	c Elapsed CPU time: 27.9378 s	Remaining CPU time: 152.062 s
28.09/28.17	c ===============================================================================
28.09/28.17	c |      4426 |    4221    28082   322250 |     9360     4426    560 | 30.254 % |
28.59/28.61	c ===============================================================================
28.59/28.61	c New solution: 75750
28.59/28.61	o 75750
28.59/28.61	c Elapsed CPU time: 28.3707 s	Remaining CPU time: 151.629 s
28.59/28.61	c ===============================================================================
28.59/28.61	c |      4508 |    4221    28083   324406 |     9361     4508    562 | 30.254 % |
29.18/29.28	c |      4608 |    4221    28083   324406 |    10297     4608    563 | 30.254 % |
29.48/29.55	c ===============================================================================
29.48/29.55	c New solution: 75749
29.48/29.55	o 75749
29.48/29.55	c Elapsed CPU time: 29.3115 s	Remaining CPU time: 150.688 s
29.48/29.55	c ===============================================================================
29.48/29.55	c |      4621 |    4221    28084   326562 |     9361     4621    562 | 30.254 % |
30.08/30.14	c |      4721 |    4221    28084   326562 |    10297     4721    564 | 30.254 % |
30.79/30.88	c |      4873 |    4221    28084   326562 |    11327     4873    568 | 30.254 % |
31.49/31.51	c ===============================================================================
31.49/31.51	c New solution: 75748
31.49/31.51	o 75748
31.49/31.51	c Elapsed CPU time: 31.2632 s	Remaining CPU time: 148.737 s
31.49/31.51	c ===============================================================================
31.49/31.51	c |      4924 |    4221    28085   328718 |     9361     4924    569 | 30.254 % |
31.98/32.01	c ===============================================================================
31.98/32.01	c New solution: 74111
31.98/32.01	o 74111
31.98/32.01	c Elapsed CPU time: 31.7602 s	Remaining CPU time: 148.24 s
31.98/32.01	c ===============================================================================
31.98/32.01	c |      4957 |    4221    28086   330874 |     9362     4957    568 | 30.254 % |
32.08/32.17	c |      5058 |    4221    28086   330874 |    10298     5058    568 | 30.254 % |
32.28/32.35	c ===============================================================================
32.28/32.35	c New solution: 74082
32.28/32.35	o 74082
32.28/32.35	c Elapsed CPU time: 32.0921 s	Remaining CPU time: 147.908 s
32.28/32.35	c ===============================================================================
32.28/32.35	c |      5059 |    4221    28087   333030 |     9362     5059    568 | 30.254 % |
32.49/32.52	c ===============================================================================
32.49/32.52	c New solution: 74081
32.49/32.52	o 74081
32.49/32.52	c Elapsed CPU time: 32.2601 s	Remaining CPU time: 147.74 s
32.49/32.52	c ===============================================================================
32.49/32.52	c |      5059 |    4221    28088   335186 |     9362     5059    568 | 30.254 % |
32.59/32.68	c ===============================================================================
32.59/32.68	c New solution: 74080
32.59/32.68	o 74080
32.59/32.68	c Elapsed CPU time: 32.4261 s	Remaining CPU time: 147.574 s
32.59/32.68	c ===============================================================================
32.59/32.68	c |      5059 |    4221    28089   337342 |     9363     5059    568 | 30.254 % |
32.78/32.85	c ===============================================================================
32.78/32.85	c New solution: 74079
32.78/32.85	o 74079
32.78/32.85	c Elapsed CPU time: 32.594 s	Remaining CPU time: 147.406 s
32.78/32.85	c ===============================================================================
32.78/32.85	c |      5060 |    4221    28090   339498 |     9363     5060    568 | 30.254 % |
32.99/33.01	c ===============================================================================
32.99/33.01	c New solution: 74070
32.99/33.01	o 74070
32.99/33.01	c Elapsed CPU time: 32.753 s	Remaining CPU time: 147.247 s
32.99/33.01	c ===============================================================================
32.99/33.01	c |      5060 |    4221    28091   341654 |     9363     5060    568 | 30.254 % |
33.08/33.17	c ===============================================================================
33.08/33.17	c New solution: 74069
33.08/33.17	o 74069
33.08/33.17	c Elapsed CPU time: 32.913 s	Remaining CPU time: 147.087 s
33.08/33.18	c ===============================================================================
33.08/33.18	c |      5060 |    4221    28092   343810 |     9364     5060    568 | 30.254 % |
33.28/33.33	c ===============================================================================
33.28/33.33	c New solution: 74068
33.28/33.33	o 74068
33.28/33.33	c Elapsed CPU time: 33.07 s	Remaining CPU time: 146.93 s
33.28/33.33	c ===============================================================================
33.28/33.33	c |      5060 |    4221    28093   345966 |     9364     5060    568 | 30.254 % |
33.38/33.49	c ===============================================================================
33.38/33.49	c New solution: 74067
33.38/33.49	o 74067
33.38/33.49	c Elapsed CPU time: 33.2269 s	Remaining CPU time: 146.773 s
33.38/33.49	c ===============================================================================
33.38/33.49	c |      5060 |    4221    28094   348122 |     9364     5060    568 | 30.254 % |
33.59/33.65	c ===============================================================================
33.59/33.65	c New solution: 74066
33.59/33.65	o 74066
33.59/33.65	c Elapsed CPU time: 33.3849 s	Remaining CPU time: 146.615 s
33.59/33.65	c ===============================================================================
33.59/33.65	c |      5060 |    4221    28095   350278 |     9365     5060    568 | 30.254 % |
33.78/33.84	c ===============================================================================
33.78/33.84	c New solution: 74065
33.78/33.84	o 74065
33.78/33.84	c Elapsed CPU time: 33.5749 s	Remaining CPU time: 146.425 s
33.78/33.84	c ===============================================================================
33.78/33.84	c |      5062 |    4221    28096   352434 |     9365     5062    568 | 30.254 % |
33.88/33.95	c ===============================================================================
33.88/33.95	c New solution: 72407
33.88/33.95	o 72407
33.88/33.95	c Elapsed CPU time: 33.6779 s	Remaining CPU time: 146.322 s
33.88/33.95	c ===============================================================================
33.88/33.95	c |      5065 |    4221    28097   354590 |     9365     5065    568 | 30.254 % |
34.09/34.12	c ===============================================================================
34.09/34.12	c New solution: 72386
34.09/34.12	o 72386
34.09/34.12	c Elapsed CPU time: 33.8559 s	Remaining CPU time: 146.144 s
34.09/34.12	c ===============================================================================
34.09/34.12	c |      5065 |    4221    28098   356746 |     9366     5065    568 | 30.254 % |
34.28/34.30	c ===============================================================================
34.28/34.30	c New solution: 72384
34.28/34.30	o 72384
34.28/34.30	c Elapsed CPU time: 34.0308 s	Remaining CPU time: 145.969 s
34.28/34.30	c ===============================================================================
34.28/34.30	c |      5065 |    4221    28099   358902 |     9366     5065    568 | 30.254 % |
34.38/34.47	c ===============================================================================
34.38/34.47	c New solution: 72379
34.38/34.47	o 72379
34.38/34.47	c Elapsed CPU time: 34.2008 s	Remaining CPU time: 145.799 s
34.38/34.47	c ===============================================================================
34.38/34.47	c |      5065 |    4221    28100   361058 |     9366     5065    568 | 30.254 % |
34.58/34.64	c ===============================================================================
34.58/34.64	c New solution: 72378
34.58/34.64	o 72378
34.58/34.64	c Elapsed CPU time: 34.3688 s	Remaining CPU time: 145.631 s
34.58/34.64	c ===============================================================================
34.58/34.64	c |      5065 |    4221    28101   363214 |     9367     5065    568 | 30.254 % |
34.78/34.81	c ===============================================================================
34.78/34.81	c New solution: 72377
34.78/34.81	o 72377
34.78/34.81	c Elapsed CPU time: 34.5377 s	Remaining CPU time: 145.462 s
34.78/34.81	c ===============================================================================
34.78/34.81	c |      5065 |    4221    28102   365370 |     9367     5065    568 | 30.254 % |
34.88/34.98	c ===============================================================================
34.88/34.98	c New solution: 72376
34.88/34.98	o 72376
34.88/34.98	c Elapsed CPU time: 34.7047 s	Remaining CPU time: 145.295 s
34.88/34.98	c ===============================================================================
34.88/34.98	c |      5065 |    4221    28103   367526 |     9367     5065    568 | 30.254 % |
35.09/35.15	c ===============================================================================
35.09/35.15	c New solution: 72375
35.09/35.15	o 72375
35.09/35.15	c Elapsed CPU time: 34.8737 s	Remaining CPU time: 145.126 s
35.09/35.15	c ===============================================================================
35.09/35.15	c |      5065 |    4221    28104   369682 |     9368     5065    568 | 30.254 % |
35.28/35.32	c ===============================================================================
35.28/35.32	c New solution: 72374
35.28/35.32	o 72374
35.28/35.32	c Elapsed CPU time: 35.0357 s	Remaining CPU time: 144.964 s
35.28/35.32	c ===============================================================================
35.28/35.32	c |      5065 |    4221    28105   371838 |     9368     5065    568 | 30.254 % |
35.38/35.49	c ===============================================================================
35.38/35.49	c New solution: 72373
35.38/35.49	o 72373
35.38/35.49	c Elapsed CPU time: 35.2056 s	Remaining CPU time: 144.794 s
35.38/35.49	c ===============================================================================
35.38/35.49	c |      5066 |    4221    28106   373994 |     9368     5066    568 | 30.254 % |
35.68/35.75	c ===============================================================================
35.68/35.75	c New solution: 72372
35.68/35.75	o 72372
35.68/35.75	c Elapsed CPU time: 35.4676 s	Remaining CPU time: 144.532 s
35.68/35.75	c ===============================================================================
35.68/35.75	c |      5066 |    4221    28107   376150 |     9369     5066    568 | 30.254 % |
35.88/35.94	c ===============================================================================
35.88/35.94	c New solution: 72371
35.88/35.94	o 72371
35.88/35.94	c Elapsed CPU time: 35.6526 s	Remaining CPU time: 144.347 s
35.88/35.94	c ===============================================================================
35.88/35.94	c |      5070 |    4221    28108   378306 |     9369     5070    568 | 30.254 % |
36.68/36.79	c |      5170 |    4221    28108   378306 |    10306     5170    570 | 30.254 % |
36.98/37.03	c ===============================================================================
36.98/37.03	c New solution: 72370
36.98/37.03	o 72370
36.98/37.03	c Elapsed CPU time: 36.7454 s	Remaining CPU time: 143.255 s
36.98/37.03	c ===============================================================================
36.98/37.03	c |      5176 |    4221    28109   380462 |     9369     5176    570 | 30.254 % |
37.29/37.30	c ===============================================================================
37.29/37.30	c New solution: 72342
37.29/37.30	o 72342
37.29/37.30	c Elapsed CPU time: 37.0134 s	Remaining CPU time: 142.987 s
37.29/37.30	c ===============================================================================
37.29/37.30	c |      5180 |    4221    28110   382618 |     9370     5180    570 | 30.254 % |
37.39/37.44	c ===============================================================================
37.39/37.44	c New solution: 72341
37.39/37.44	o 72341
37.39/37.44	c Elapsed CPU time: 37.1474 s	Remaining CPU time: 142.853 s
37.39/37.44	c ===============================================================================
37.39/37.44	c |      5193 |    4221    28111   384774 |     9370     5193    570 | 30.254 % |
37.88/37.90	c ===============================================================================
37.88/37.90	c New solution: 72340
37.88/37.90	o 72340
37.88/37.90	c Elapsed CPU time: 37.6103 s	Remaining CPU time: 142.39 s
37.88/37.90	c ===============================================================================
37.88/37.90	c |      5233 |    4221    28112   386930 |     9370     5233    571 | 30.254 % |
38.08/38.19	c ===============================================================================
38.08/38.19	c New solution: 72339
38.08/38.19	o 72339
38.08/38.19	c Elapsed CPU time: 37.8962 s	Remaining CPU time: 142.104 s
38.08/38.19	c ===============================================================================
38.08/38.19	c |      5236 |    4221    28113   389086 |     9371     5236    571 | 30.254 % |
38.88/38.90	c |      5338 |    4221    28113   389086 |    10308     5338    572 | 30.254 % |
39.08/39.11	c ===============================================================================
39.08/39.11	c New solution: 72338
39.08/39.11	o 72338
39.08/39.11	c Elapsed CPU time: 38.8091 s	Remaining CPU time: 141.191 s
39.08/39.11	c ===============================================================================
39.08/39.11	c |      5342 |    4221    28114   391242 |     9371     5342    572 | 30.254 % |
39.78/39.80	c |      5443 |    4221    28114   391242 |    10308     5443    574 | 30.254 % |
40.59/40.70	c ===============================================================================
40.59/40.70	c New solution: 72337
40.59/40.70	o 72337
40.59/40.70	c Elapsed CPU time: 40.4009 s	Remaining CPU time: 139.599 s
40.59/40.70	c ===============================================================================
40.59/40.70	c |      5501 |    4221    28115   393398 |     9371     5501    573 | 30.254 % |
41.48/41.55	c |      5602 |    4221    28115   393398 |    10308     5602    575 | 30.254 % |
41.68/41.71	c ===============================================================================
41.68/41.71	c New solution: 72336
41.68/41.71	o 72336
41.68/41.71	c Elapsed CPU time: 41.4047 s	Remaining CPU time: 138.595 s
41.68/41.71	c ===============================================================================
41.68/41.71	c |      5623 |    4221    28116   395554 |     9372     5623    575 | 30.254 % |
42.07/42.19	c ===============================================================================
42.07/42.19	c New solution: 72335
42.07/42.19	o 72335
42.07/42.19	c Elapsed CPU time: 41.8846 s	Remaining CPU time: 138.115 s
42.07/42.19	c ===============================================================================
42.07/42.19	c |      5681 |    4221    28117   397710 |     9372     5681    576 | 30.254 % |
42.89/42.92	c |      5782 |    4221    28117   397710 |    10309     5782    577 | 30.254 % |
43.78/43.85	c |      5933 |    4221    28117   397710 |    11340     5933    579 | 30.255 % |
44.28/44.33	c ===============================================================================
44.28/44.33	c New solution: 72314
44.28/44.33	o 72314
44.28/44.33	c Elapsed CPU time: 44.0153 s	Remaining CPU time: 135.985 s
44.28/44.33	c ===============================================================================
44.28/44.33	c |      5938 |    4221    28118   399866 |     9372     5938    578 | 30.255 % |
44.38/44.47	c ===============================================================================
44.38/44.47	c New solution: 72313
44.38/44.47	o 72313
44.38/44.47	c Elapsed CPU time: 44.1533 s	Remaining CPU time: 135.847 s
44.38/44.47	c ===============================================================================
44.38/44.47	c |      5942 |    4221    28119   402022 |     9373     5942    578 | 30.255 % |
45.18/45.22	c |      6043 |    4221    28119   402022 |    10310     6043    578 | 30.254 % |
46.28/46.33	c |      6195 |    4221    28119   402022 |    11341     6195    580 | 30.254 % |
49.28/49.37	c |      6420 |    4221    28119   402022 |    12475     6420    581 | 30.254 % |
49.49/49.54	c ===============================================================================
49.49/49.54	c New solution: 72312
49.49/49.54	o 72312
49.49/49.54	c Elapsed CPU time: 49.2215 s	Remaining CPU time: 130.778 s
49.49/49.54	c ===============================================================================
49.49/49.54	c |      6423 |    4221    28120   404178 |     9373     6423    581 | 30.254 % |
50.28/50.39	c |      6523 |    4221    28120   404178 |    10310     6523    582 | 30.254 % |
50.68/50.70	c ===============================================================================
50.68/50.70	c New solution: 72311
50.68/50.70	o 72311
50.68/50.70	c Elapsed CPU time: 50.3723 s	Remaining CPU time: 129.628 s
50.68/50.70	c ===============================================================================
50.68/50.70	c |      6540 |    4221    28121   406334 |     9373     6540    582 | 30.254 % |
50.88/50.92	c ===============================================================================
50.88/50.92	c New solution: 72310
50.88/50.92	o 72310
50.88/50.92	c Elapsed CPU time: 50.5923 s	Remaining CPU time: 129.408 s
50.88/50.92	c ===============================================================================
50.88/50.92	c |      6544 |    4221    28122   408490 |     9374     6544    582 | 30.254 % |
51.17/51.24	c ===============================================================================
51.17/51.24	c New solution: 72309
51.17/51.24	o 72309
51.17/51.24	c Elapsed CPU time: 50.9073 s	Remaining CPU time: 129.093 s
51.17/51.24	c ===============================================================================
51.17/51.24	c |      6550 |    4221    28123   410646 |     9374     6550    582 | 30.254 % |
51.38/51.47	c ===============================================================================
51.38/51.47	c New solution: 72308
51.38/51.47	o 72308
51.38/51.47	c Elapsed CPU time: 51.1352 s	Remaining CPU time: 128.865 s
51.38/51.47	c ===============================================================================
51.38/51.47	c |      6572 |    4221    28124   412802 |     9374     6572    582 | 30.254 % |
51.69/51.77	c ===============================================================================
51.69/51.77	c New solution: 72307
51.69/51.77	o 72307
51.69/51.77	c Elapsed CPU time: 51.4422 s	Remaining CPU time: 128.558 s
51.69/51.77	c ===============================================================================
51.69/51.77	c |      6594 |    4221    28125   414958 |     9375     6594    582 | 30.254 % |
52.58/52.60	c |      6695 |    4221    28125   414958 |    10312     6695    583 | 30.254 % |
53.68/53.76	c |      6847 |    4221    28125   414958 |    11343     6847    584 | 30.254 % |
55.47/55.58	c |      7072 |    4221    28125   414958 |    12478     7072    585 | 30.254 % |
55.87/55.99	c ===============================================================================
55.87/55.99	c New solution: 72306
55.87/55.99	o 72306
55.87/55.99	c Elapsed CPU time: 55.6525 s	Remaining CPU time: 124.347 s
55.87/55.99	c ===============================================================================
55.87/55.99	c |      7104 |    4221    28126   417114 |     9375     7104    585 | 30.254 % |
56.87/56.99	c |      7204 |    4221    28126   417114 |    10312     7204    586 | 30.254 % |
57.18/57.27	c ===============================================================================
57.18/57.27	c New solution: 72305
57.18/57.27	o 72305
57.18/57.27	c Elapsed CPU time: 56.9313 s	Remaining CPU time: 123.069 s
57.18/57.27	c ===============================================================================
57.18/57.27	c |      7208 |    4221    28127   419270 |     9375     7208    586 | 30.254 % |
57.88/57.96	c |      7308 |    4221    28127   419270 |    10313     7308    586 | 30.254 % |
58.19/58.27	c ===============================================================================
58.19/58.27	c New solution: 72304
58.19/58.27	o 72304
58.19/58.27	c Elapsed CPU time: 57.9242 s	Remaining CPU time: 122.076 s
58.19/58.27	c ===============================================================================
58.19/58.27	c |      7319 |    4221    28128   421426 |     9376     7319    586 | 30.254 % |
58.29/58.39	c ===============================================================================
58.29/58.39	c New solution: 72303
58.29/58.39	o 72303
58.29/58.39	c Elapsed CPU time: 58.0432 s	Remaining CPU time: 121.957 s
58.29/58.39	c ===============================================================================
58.29/58.39	c |      7322 |    4221    28129   423582 |     9376     7322    586 | 30.254 % |
58.78/58.83	c ===============================================================================
58.78/58.83	c New solution: 72302
58.78/58.83	o 72302
58.78/58.83	c Elapsed CPU time: 58.4831 s	Remaining CPU time: 121.517 s
58.78/58.83	c ===============================================================================
58.78/58.83	c |      7385 |    4221    28130   425738 |     9376     7385    586 | 30.254 % |
58.98/59.05	c ===============================================================================
58.98/59.05	c New solution: 72301
58.98/59.05	o 72301
58.98/59.05	c Elapsed CPU time: 58.7071 s	Remaining CPU time: 121.293 s
58.98/59.05	c ===============================================================================
58.98/59.05	c |      7395 |    4221    28131   427894 |     9377     7395    586 | 30.254 % |
59.18/59.27	c ===============================================================================
59.18/59.27	c New solution: 70673
59.18/59.27	o 70673
59.18/59.27	c Elapsed CPU time: 58.926 s	Remaining CPU time: 121.074 s
59.18/59.27	c ===============================================================================
59.18/59.27	c |      7402 |    4221    28132   430050 |     9377     7402    586 | 30.254 % |
59.48/59.52	c ===============================================================================
59.48/59.52	c New solution: 70637
59.48/59.52	o 70637
59.48/59.52	c Elapsed CPU time: 59.171 s	Remaining CPU time: 120.829 s
59.48/59.52	c ===============================================================================
59.48/59.52	c |      7405 |    4221    28133   432206 |     9377     7405    586 | 30.254 % |
59.67/59.73	c ===============================================================================
59.67/59.73	c New solution: 70628
59.67/59.73	o 70628
59.67/59.73	c Elapsed CPU time: 59.383 s	Remaining CPU time: 120.617 s
59.67/59.73	c ===============================================================================
59.67/59.73	c |      7406 |    4221    28134   434362 |     9378     7406    586 | 30.254 % |
59.77/59.86	c ===============================================================================
59.77/59.86	c New solution: 70627
59.77/59.86	o 70627
59.77/59.86	c Elapsed CPU time: 59.509 s	Remaining CPU time: 120.491 s
59.77/59.86	c ===============================================================================
59.77/59.86	c |      7409 |    4221    28135   436518 |     9378     7409    586 | 30.254 % |
60.07/60.18	c ===============================================================================
60.07/60.18	c New solution: 70626
60.07/60.18	o 70626
60.07/60.18	c Elapsed CPU time: 59.8339 s	Remaining CPU time: 120.166 s
60.07/60.18	c ===============================================================================
60.07/60.18	c |      7433 |    4221    28136   438674 |     9378     7433    586 | 30.254 % |
60.77/60.86	c |      7533 |    4221    28136   438674 |    10316     7533    587 | 30.254 % |
61.07/61.13	c ===============================================================================
61.07/61.13	c New solution: 70617
61.07/61.13	o 70617
61.07/61.13	c Elapsed CPU time: 60.7818 s	Remaining CPU time: 119.218 s
61.07/61.13	c ===============================================================================
61.07/61.13	c |      7534 |    4221    28137   440830 |     9379     7534    587 | 30.254 % |
61.87/61.93	c |      7634 |    4221    28137   440830 |    10316     7634    588 | 30.254 % |
62.18/62.20	c ===============================================================================
62.18/62.20	c New solution: 70616
62.18/62.20	o 70616
62.18/62.20	c Elapsed CPU time: 61.8476 s	Remaining CPU time: 118.152 s
62.18/62.20	c ===============================================================================
62.18/62.20	c |      7636 |    4221    28138   442986 |     9379     7636    588 | 30.254 % |
62.38/62.44	c ===============================================================================
62.38/62.44	c New solution: 70615
62.38/62.44	o 70615
62.38/62.44	c Elapsed CPU time: 62.0836 s	Remaining CPU time: 117.916 s
62.38/62.44	c ===============================================================================
62.38/62.44	c |      7638 |    4221    28139   445142 |     9379     7638    588 | 30.254 % |
63.37/63.47	c |      7738 |    4221    28139   445142 |    10317     7738    589 | 30.254 % |
63.57/63.66	c ===============================================================================
63.57/63.66	c New solution: 70614
63.57/63.66	o 70614
63.57/63.66	c Elapsed CPU time: 63.3004 s	Remaining CPU time: 116.7 s
63.57/63.66	c ===============================================================================
63.57/63.66	c |      7750 |    4221    28140   447298 |     9380     7750    589 | 30.254 % |
63.97/64.02	c ===============================================================================
63.97/64.02	c New solution: 70613
63.97/64.02	o 70613
63.97/64.02	c Elapsed CPU time: 63.6613 s	Remaining CPU time: 116.339 s
63.97/64.02	c ===============================================================================
63.97/64.02	c |      7768 |    4221    28141   449454 |     9380     7768    589 | 30.254 % |
64.17/64.27	c ===============================================================================
64.17/64.27	c New solution: 70612
64.17/64.27	o 70612
64.17/64.27	c Elapsed CPU time: 63.9153 s	Remaining CPU time: 116.085 s
64.17/64.27	c ===============================================================================
64.17/64.27	c |      7779 |    4221    28142   451610 |     9380     7779    588 | 30.254 % |
65.77/65.81	c |      7879 |    4221    28142   451610 |    10318     7879    589 | 30.254 % |
66.07/66.11	c ===============================================================================
66.07/66.11	c New solution: 69044
66.07/66.11	o 69044
66.07/66.11	c Elapsed CPU time: 65.745 s	Remaining CPU time: 114.255 s
66.07/66.11	c ===============================================================================
66.07/66.11	c |      7883 |    4221    28143   453766 |     9381     7883    589 | 30.254 % |
66.37/66.44	c ===============================================================================
66.37/66.44	c New solution: 68920
66.37/66.44	o 68920
66.37/66.44	c Elapsed CPU time: 66.072 s	Remaining CPU time: 113.928 s
66.37/66.44	c ===============================================================================
66.37/66.44	c |      7901 |    4221    28144   455922 |     9381     7901    588 | 30.254 % |
67.18/67.20	c |      8001 |    4221    28144   455922 |    10319     8001    589 | 30.254 % |
68.67/68.79	c |      8151 |    4221    28144   455922 |    11351     8151    590 | 30.254 % |
68.97/69.05	c ===============================================================================
68.97/69.05	c New solution: 68919
68.97/69.05	o 68919
68.97/69.05	c Elapsed CPU time: 68.6856 s	Remaining CPU time: 111.314 s
68.97/69.05	c ===============================================================================
68.97/69.05	c |      8151 |    4221    28145   458078 |     9381     8151    590 | 30.254 % |
69.28/69.33	c ===============================================================================
69.28/69.33	c New solution: 68918
69.28/69.33	o 68918
69.28/69.33	c Elapsed CPU time: 68.9555 s	Remaining CPU time: 111.044 s
69.28/69.33	c ===============================================================================
69.28/69.33	c |      8151 |    4221    28146   460234 |     9382     8151    590 | 30.254 % |
69.57/69.60	c ===============================================================================
69.57/69.60	c New solution: 68917
69.57/69.60	o 68917
69.57/69.60	c Elapsed CPU time: 69.2255 s	Remaining CPU time: 110.775 s
69.57/69.60	c ===============================================================================
69.57/69.60	c |      8151 |    4221    28147   462390 |     9382     8151    590 | 30.254 % |
70.18/70.20	c ===============================================================================
70.18/70.20	c New solution: 68916
70.18/70.20	o 68916
70.18/70.20	c Elapsed CPU time: 69.8264 s	Remaining CPU time: 110.174 s
70.18/70.20	c ===============================================================================
70.18/70.20	c |      8203 |    4221    28148   464546 |     9382     8203    591 | 30.254 % |
70.48/70.58	c ===============================================================================
70.48/70.58	c New solution: 68915
70.48/70.58	o 68915
70.48/70.58	c Elapsed CPU time: 70.2083 s	Remaining CPU time: 109.792 s
70.48/70.58	c ===============================================================================
70.48/70.58	c |      8205 |    4221    28149   466702 |     9383     8205    591 | 30.254 % |
71.67/71.77	c |      8306 |    4221    28149   466702 |    10321     8306    592 | 30.254 % |
71.97/72.08	c |      8456 |    4221    28149   466702 |    11353     8456    591 | 30.254 % |
72.37/72.44	c ===============================================================================
72.37/72.44	c New solution: 68911
72.37/72.44	o 68911
72.37/72.44	c Elapsed CPU time: 72.063 s	Remaining CPU time: 107.937 s
72.37/72.44	c ===============================================================================
72.37/72.44	c |      8458 |    4221    28150   468858 |     9383     8458    591 | 30.254 % |
72.58/72.63	c ===============================================================================
72.58/72.63	c New solution: 68910
72.58/72.63	o 68910
72.58/72.63	c Elapsed CPU time: 72.248 s	Remaining CPU time: 107.752 s
72.58/72.63	c ===============================================================================
72.58/72.63	c |      8459 |    4221    28151   471014 |     9383     8459    591 | 30.254 % |
72.87/72.98	c ===============================================================================
72.87/72.98	c New solution: 68909
72.87/72.98	o 68909
72.87/72.98	c Elapsed CPU time: 72.597 s	Remaining CPU time: 107.403 s
72.87/72.98	c ===============================================================================
72.87/72.98	c |      8463 |    4221    28152   473170 |     9384     8463    591 | 30.254 % |
73.77/73.80	c ===============================================================================
73.77/73.80	c New solution: 68908
73.77/73.80	o 68908
73.77/73.80	c Elapsed CPU time: 73.4178 s	Remaining CPU time: 106.582 s
73.77/73.80	c ===============================================================================
73.77/73.80	c |      8539 |    4221    28153   475326 |     9384     8539    592 | 30.254 % |
74.07/74.12	c ===============================================================================
74.07/74.12	c New solution: 68907
74.07/74.12	o 68907
74.07/74.12	c Elapsed CPU time: 73.7348 s	Remaining CPU time: 106.265 s
74.07/74.12	c ===============================================================================
74.07/74.12	c |      8542 |    4221    28154   477482 |     9384     8542    592 | 30.254 % |
75.17/75.29	c |      8642 |    4221    28154   477482 |    10323     8642    592 | 30.254 % |
75.48/75.51	c ===============================================================================
75.48/75.51	c New solution: 68906
75.48/75.51	o 68906
75.48/75.51	c Elapsed CPU time: 75.1196 s	Remaining CPU time: 104.88 s
75.48/75.51	c ===============================================================================
75.48/75.51	c |      8642 |    4221    28155   479638 |     9385     8642    592 | 30.254 % |
76.67/76.75	c |      8742 |    4221    28155   479638 |    10323     8742    593 | 30.254 % |
79.08/79.13	c |      8892 |    4221    28155   479638 |    11355     8892    594 | 30.254 % |
79.37/79.48	c ===============================================================================
79.37/79.48	c New solution: 68905
79.37/79.48	o 68905
79.37/79.48	c Elapsed CPU time: 79.085 s	Remaining CPU time: 100.915 s
79.37/79.48	c ===============================================================================
79.37/79.48	c |      8894 |    4221    28156   481794 |     9385     8894    594 | 30.254 % |
80.47/80.50	c |      8994 |    4221    28156   481794 |    10323     8994    594 | 30.254 % |
80.77/80.85	c ===============================================================================
80.77/80.85	c New solution: 68902
80.77/80.85	o 68902
80.77/80.85	c Elapsed CPU time: 80.4548 s	Remaining CPU time: 99.5452 s
80.77/80.85	c ===============================================================================
80.77/80.85	c |      8994 |    4221    28157   483950 |     9385     8994    594 | 30.254 % |
81.17/81.21	c ===============================================================================
81.17/81.21	c New solution: 68901
81.17/81.21	o 68901
81.17/81.21	c Elapsed CPU time: 80.8087 s	Remaining CPU time: 99.1913 s
81.17/81.21	c ===============================================================================
81.17/81.21	c |      8994 |    4221    28158   486106 |     9386     8994    594 | 30.254 % |
81.47/81.55	c ===============================================================================
81.47/81.55	c New solution: 68900
81.47/81.55	o 68900
81.47/81.55	c Elapsed CPU time: 81.1547 s	Remaining CPU time: 98.8453 s
81.47/81.55	c ===============================================================================
81.47/81.55	c |      8995 |    4221    28159   488262 |     9386     8995    594 | 30.254 % |
82.67/82.80	c |      9095 |    4221    28159   488262 |    10324     9095    594 | 30.254 % |
84.27/84.36	c |      9245 |    4221    28159   488262 |    11357     9245    595 | 30.254 % |
85.07/85.12	c ===============================================================================
85.07/85.12	c New solution: 68899
85.07/85.12	o 68899
85.07/85.12	c Elapsed CPU time: 84.7161 s	Remaining CPU time: 95.2839 s
85.07/85.12	c ===============================================================================
85.07/85.12	c |      9294 |    4221    28160   490418 |     9386     9294    595 | 30.254 % |
85.17/85.28	c ===============================================================================
85.17/85.28	c New solution: 68898
85.17/85.28	o 68898
85.17/85.28	c Elapsed CPU time: 84.8711 s	Remaining CPU time: 95.1289 s
85.17/85.28	c ===============================================================================
85.17/85.28	c |      9317 |    4221    28161   492574 |     9387     9317    595 | 30.254 % |
86.26/86.31	c |      9418 |    4221    28161   492574 |    10325     9418    596 | 30.254 % |
87.77/87.83	c ===============================================================================
87.77/87.83	c New solution: 68897
87.77/87.84	o 68897
87.77/87.84	c Elapsed CPU time: 87.4237 s	Remaining CPU time: 92.5763 s
87.77/87.84	c ===============================================================================
87.77/87.84	c |      9514 |    4221    28162   494730 |     9387     9514    596 | 30.254 % |
88.17/88.20	c ===============================================================================
88.17/88.20	c New solution: 67280
88.17/88.20	o 67280
88.17/88.20	c Elapsed CPU time: 87.7887 s	Remaining CPU time: 92.2113 s
88.17/88.20	c ===============================================================================
88.17/88.20	c |      9577 |    4221    28163   496886 |     9387     9577    596 | 30.254 % |
88.87/88.97	c ===============================================================================
88.87/88.97	c New solution: 67231
88.87/88.97	o 67231
88.87/88.97	c Elapsed CPU time: 88.5555 s	Remaining CPU time: 91.4445 s
88.87/88.97	c ===============================================================================
88.87/88.97	c |      9579 |    4221    28164   499042 |     9388     9579    596 | 30.254 % |
89.37/89.43	c ===============================================================================
89.37/89.43	c New solution: 67206
89.37/89.43	o 67206
89.37/89.43	c Elapsed CPU time: 89.0205 s	Remaining CPU time: 90.9795 s
89.37/89.43	c ===============================================================================
89.37/89.43	c |      9582 |    4221    28165   501198 |     9388     9582    596 | 30.254 % |
89.77/89.86	c ===============================================================================
89.77/89.86	c New solution: 67205
89.77/89.86	o 67205
89.77/89.86	c Elapsed CPU time: 89.4494 s	Remaining CPU time: 90.5506 s
89.77/89.86	c ===============================================================================
89.77/89.86	c |      9582 |    4221    28166   503354 |     9388     9582    596 | 30.254 % |
90.27/90.30	c ===============================================================================
90.27/90.30	c New solution: 67204
90.27/90.30	o 67204
90.27/90.30	c Elapsed CPU time: 89.8833 s	Remaining CPU time: 90.1167 s
90.27/90.30	c ===============================================================================
90.27/90.30	c |      9583 |    4221    28167   505510 |     9389     9583    596 | 30.254 % |
90.57/90.66	c ===============================================================================
90.57/90.66	c New solution: 67203
90.57/90.66	o 67203
90.57/90.66	c Elapsed CPU time: 90.2463 s	Remaining CPU time: 89.7537 s
90.57/90.66	c ===============================================================================
90.57/90.66	c |      9592 |    4221    28168   507666 |     9389     9592    596 | 30.254 % |
90.87/90.98	c ===============================================================================
90.87/90.98	c New solution: 67202
90.87/90.98	o 67202
90.87/90.98	c Elapsed CPU time: 90.5652 s	Remaining CPU time: 89.4348 s
90.87/90.98	c ===============================================================================
90.87/90.98	c |      9625 |    4221    28169   509822 |     9389     9625    596 | 30.254 % |
91.27/91.39	c ===============================================================================
91.27/91.39	c New solution: 67201
91.27/91.39	o 67201
91.27/91.39	c Elapsed CPU time: 90.9712 s	Remaining CPU time: 89.0288 s
91.27/91.39	c ===============================================================================
91.27/91.39	c |      9636 |    4221    28170   511978 |     9390     9636    596 | 30.254 % |
92.66/92.73	c |      9736 |    4221    28170   511978 |    10329     9736    596 | 30.254 % |
93.37/93.43	c ===============================================================================
93.37/93.43	c New solution: 67200
93.37/93.43	o 67200
93.37/93.43	c Elapsed CPU time: 93.0089 s	Remaining CPU time: 86.9911 s
93.37/93.43	c ===============================================================================
93.37/93.43	c |      9813 |    4221    28171   514134 |     9390     9813    596 | 30.254 % |
93.76/93.81	c ===============================================================================
93.76/93.81	c New solution: 67199
93.76/93.81	o 67199
93.76/93.81	c Elapsed CPU time: 93.3898 s	Remaining CPU time: 86.6102 s
93.76/93.81	c ===============================================================================
93.76/93.81	c |      9813 |    4221    28172   516290 |     9390     9813    596 | 30.254 % |
94.06/94.17	c ===============================================================================
94.06/94.17	c New solution: 67198
94.06/94.17	o 67198
94.06/94.17	c Elapsed CPU time: 93.7507 s	Remaining CPU time: 86.2493 s
94.06/94.17	c ===============================================================================
94.06/94.17	c |      9815 |    4221    28173   518446 |     9391     9815    596 | 30.254 % |
95.37/95.44	c |      9915 |    4221    28173   518446 |    10330     9915    597 | 30.254 % |
95.68/95.75	c ===============================================================================
95.68/95.75	c New solution: 67197
95.68/95.75	o 67197
95.68/95.75	c Elapsed CPU time: 95.3245 s	Remaining CPU time: 84.6755 s
95.68/95.75	c ===============================================================================
95.68/95.75	c |      9932 |    4221    28174   520602 |     9391     9932    597 | 30.254 % |
95.87/95.96	c ===============================================================================
95.87/95.96	c New solution: 67189
95.87/95.96	o 67189
95.87/95.96	c Elapsed CPU time: 95.5345 s	Remaining CPU time: 84.4655 s
95.87/95.96	c ===============================================================================
95.87/95.96	c |      9948 |    4221    28175   522758 |     9391     9948    597 | 30.254 % |
97.07/97.10	c |     10050 |    4221    28175   522758 |    10330    10050    597 | 30.254 % |
97.37/97.42	c ===============================================================================
97.37/97.42	c New solution: 67188
97.37/97.42	o 67188
97.37/97.42	c Elapsed CPU time: 96.9943 s	Remaining CPU time: 83.0057 s
97.37/97.42	c ===============================================================================
97.37/97.42	c |     10059 |    4221    28176   524914 |     9392    10059    597 | 30.254 % |
98.56/98.67	c |     10159 |    4221    28176   524914 |    10331    10159    597 | 30.254 % |
98.97/99.05	c |     10309 |    4221    28176   524914 |    11364    10309    596 | 30.254 % |
101.37/101.50	c |     10534 |    4221    28176   524914 |    12500    10534    597 | 30.254 % |
101.57/101.62	c ===============================================================================
101.57/101.62	c New solution: 67187
101.57/101.62	o 67187
101.57/101.62	c Elapsed CPU time: 101.182 s	Remaining CPU time: 78.8184 s
101.57/101.62	c ===============================================================================
101.57/101.62	c |     10555 |    4221    28177   527070 |     9392    10555    597 | 30.254 % |
102.67/102.75	c |     10656 |    4221    28177   527070 |    10331    10656    597 | 30.254 % |
103.27/103.36	c ===============================================================================
103.27/103.36	c New solution: 67186
103.27/103.36	o 67186
103.27/103.36	c Elapsed CPU time: 102.928 s	Remaining CPU time: 77.0716 s
103.27/103.36	c ===============================================================================
103.27/103.36	c |     10687 |    4221    28178   529226 |     9392    10687    597 | 30.254 % |
104.57/104.65	c |     10787 |    4221    28178   529226 |    10331    10787    597 | 30.254 % |
105.37/105.41	c |     10937 |    4221    28178   529226 |    11365    10937    597 | 30.254 % |
105.86/105.95	c ===============================================================================
105.86/105.95	c New solution: 67185
105.86/105.95	o 67185
105.86/105.95	c Elapsed CPU time: 105.508 s	Remaining CPU time: 74.492 s
105.86/105.95	c ===============================================================================
105.86/105.95	c |     10960 |    4221    28179   531382 |     9393    10960    597 | 30.254 % |
107.26/107.38	c |     11060 |    4221    28179   531382 |    10332    11060    597 | 30.254 % |
107.77/107.89	c ===============================================================================
107.77/107.89	c New solution: 67184
107.77/107.89	o 67184
107.77/107.89	c Elapsed CPU time: 107.445 s	Remaining CPU time: 72.5553 s
107.77/107.89	c ===============================================================================
107.77/107.89	c |     11062 |    4221    28180   533538 |     9393    11062    597 | 30.254 % |
108.46/108.54	c ===============================================================================
108.46/108.54	c New solution: 67183
108.46/108.55	o 67183
108.46/108.55	c Elapsed CPU time: 108.102 s	Remaining CPU time: 71.8984 s
108.46/108.55	c ===============================================================================
108.46/108.55	c |     11122 |    4221    28181   535694 |     9393    11122    597 | 30.254 % |
108.57/108.67	c |     11223 |    4221    28181   535694 |    10333    11223    597 | 30.254 % |
109.17/109.22	c ===============================================================================
109.17/109.22	c New solution: 67182
109.17/109.22	o 67182
109.17/109.22	c Elapsed CPU time: 108.77 s	Remaining CPU time: 71.2295 s
109.17/109.22	c ===============================================================================
109.17/109.22	c |     11236 |    4221    28182   537850 |     9394    11236    597 | 30.254 % |
109.46/109.51	c ===============================================================================
109.46/109.51	c New solution: 67181
109.46/109.51	o 67181
109.46/109.51	c Elapsed CPU time: 109.061 s	Remaining CPU time: 70.9386 s
109.46/109.51	c ===============================================================================
109.46/109.51	c |     11236 |    4221    28183   540006 |     9394     5618    574 | 30.254 % |
110.56/110.68	c |     11336 |    4221    28183   540006 |    10333     5718    575 | 30.254 % |
111.16/111.28	c ===============================================================================
111.16/111.28	c New solution: 65592
111.16/111.28	o 65592
111.16/111.28	c Elapsed CPU time: 110.825 s	Remaining CPU time: 69.1748 s
111.16/111.28	c ===============================================================================
111.16/111.28	c |     11422 |    4221    28184   542162 |     9394     5804    574 | 30.254 % |
111.56/111.67	c ===============================================================================
111.56/111.67	c New solution: 65518
111.56/111.67	o 65518
111.56/111.67	c Elapsed CPU time: 111.21 s	Remaining CPU time: 68.7899 s
111.56/111.67	c ===============================================================================
111.56/111.67	c |     11430 |    4221    28185   544318 |     9395     5812    574 | 30.254 % |
111.97/112.00	c |     11530 |    4221    28185   544318 |    10334     5912    573 | 30.254 % |
112.26/112.33	c ===============================================================================
112.26/112.33	c New solution: 65517
112.26/112.33	o 65517
112.26/112.33	c Elapsed CPU time: 111.876 s	Remaining CPU time: 68.124 s
112.26/112.33	c ===============================================================================
112.26/112.33	c |     11533 |    4221    28186   546474 |     9395     5915    572 | 30.254 % |
113.46/113.53	c |     11633 |    4221    28186   546474 |    10334     6015    574 | 30.254 % |
113.76/113.89	c ===============================================================================
113.76/113.89	c New solution: 65516
113.76/113.89	o 65516
113.76/113.89	c Elapsed CPU time: 113.433 s	Remaining CPU time: 66.5672 s
113.76/113.89	c ===============================================================================
113.76/113.89	c |     11633 |    4221    28187   548630 |     9395     6015    574 | 30.254 % |
114.16/114.26	c ===============================================================================
114.16/114.26	c New solution: 65515
114.16/114.26	o 65515
114.16/114.26	c Elapsed CPU time: 113.8 s	Remaining CPU time: 66.2003 s
114.16/114.26	c ===============================================================================
114.16/114.26	c |     11633 |    4221    28188   550786 |     9396     6015    574 | 30.254 % |
114.56/114.63	c ===============================================================================
114.56/114.63	c New solution: 65514
114.56/114.63	o 65514
114.56/114.63	c Elapsed CPU time: 114.163 s	Remaining CPU time: 65.8374 s
114.56/114.63	c ===============================================================================
114.56/114.63	c |     11633 |    4221    28189   552942 |     9396     6015    574 | 30.254 % |
114.86/114.96	c ===============================================================================
114.86/114.96	c New solution: 65513
114.86/114.96	o 65513
114.86/114.96	c Elapsed CPU time: 114.499 s	Remaining CPU time: 65.5014 s
114.86/114.96	c ===============================================================================
114.86/114.96	c |     11635 |    4221    28190   555098 |     9396     6017    574 | 30.254 % |
116.16/116.25	c ===============================================================================
116.16/116.25	c New solution: 65512
116.16/116.25	o 65512
116.16/116.25	c Elapsed CPU time: 115.787 s	Remaining CPU time: 64.2126 s
116.16/116.25	c ===============================================================================
116.16/116.25	c |     11704 |    4221    28191   557254 |     9397     6086    574 | 30.254 % |
117.86/117.96	c |     11804 |    4221    28191   557254 |    10336     6186    574 | 30.254 % |
118.16/118.29	c ===============================================================================
118.16/118.29	c New solution: 65511
118.16/118.29	o 65511
118.16/118.29	c Elapsed CPU time: 117.824 s	Remaining CPU time: 62.1759 s
118.16/118.29	c ===============================================================================
118.16/118.29	c |     11805 |    4221    28192   559410 |     9397     6187    574 | 30.254 % |
118.56/118.63	c ===============================================================================
118.56/118.63	c New solution: 65510
118.56/118.63	o 65510
118.56/118.63	c Elapsed CPU time: 118.154 s	Remaining CPU time: 61.846 s
118.56/118.63	c ===============================================================================
118.56/118.63	c |     11808 |    4221    28193   561566 |     9397     6190    574 | 30.254 % |
118.86/118.94	c ===============================================================================
118.86/118.94	c New solution: 65509
118.86/118.94	o 65509
118.86/118.94	c Elapsed CPU time: 118.466 s	Remaining CPU time: 61.534 s
118.86/118.94	c ===============================================================================
118.86/118.94	c |     11844 |    4221    28194   563722 |     9398     6226    574 | 30.254 % |
119.46/119.52	c ===============================================================================
119.46/119.52	c New solution: 65508
119.46/119.52	o 65508
119.46/119.52	c Elapsed CPU time: 119.051 s	Remaining CPU time: 60.9491 s
119.46/119.52	c ===============================================================================
119.46/119.52	c |     11858 |    4221    28195   565878 |     9398     6240    574 | 30.254 % |
119.96/120.01	c ===============================================================================
119.96/120.01	c New solution: 65507
119.96/120.01	o 65507
119.96/120.01	c Elapsed CPU time: 119.535 s	Remaining CPU time: 60.4652 s
119.96/120.01	c ===============================================================================
119.96/120.01	c |     11869 |    4221    28196   568034 |     9398     6251    574 | 30.254 % |
120.56/120.61	c ===============================================================================
120.56/120.61	c New solution: 65506
120.56/120.61	o 65506
120.56/120.61	c Elapsed CPU time: 120.131 s	Remaining CPU time: 59.8693 s
120.56/120.61	c ===============================================================================
120.56/120.61	c |     11877 |    4221    28197   570190 |     9399     6259    574 | 30.254 % |
121.55/121.60	c |     11978 |    4221    28197   570190 |    10338     6360    576 | 30.254 % |
122.45/122.55	c ===============================================================================
122.45/122.55	c New solution: 65505
122.45/122.55	o 65505
122.45/122.55	c Elapsed CPU time: 122.07 s	Remaining CPU time: 57.9296 s
122.45/122.55	c ===============================================================================
122.45/122.55	c |     12001 |    4221    28198   572346 |     9399     6383    576 | 30.254 % |
122.76/122.82	c ===============================================================================
122.76/122.82	c New solution: 65504
122.76/122.82	o 65504
122.76/122.82	c Elapsed CPU time: 122.337 s	Remaining CPU time: 57.6626 s
122.76/122.82	c ===============================================================================
122.76/122.82	c |     12025 |    4221    28199   574502 |     9399     6407    576 | 30.254 % |
123.17/123.21	c ===============================================================================
123.17/123.21	c New solution: 65503
123.17/123.21	o 65503
123.17/123.21	c Elapsed CPU time: 122.726 s	Remaining CPU time: 57.2737 s
123.17/123.21	c ===============================================================================
123.17/123.21	c |     12030 |    4221    28200   576658 |     9400     6412    576 | 30.254 % |
123.56/123.66	c ===============================================================================
123.56/123.66	c New solution: 65502
123.56/123.66	o 65502
123.56/123.66	c Elapsed CPU time: 123.176 s	Remaining CPU time: 56.8237 s
123.56/123.66	c ===============================================================================
123.56/123.66	c |     12036 |    4221    28201   578814 |     9400     6418    576 | 30.254 % |
125.16/125.21	c |     12136 |    4221    28201   578814 |    10340     6518    577 | 30.254 % |
125.86/125.91	c ===============================================================================
125.86/125.91	c New solution: 65501
125.86/125.91	o 65501
125.86/125.91	c Elapsed CPU time: 125.425 s	Remaining CPU time: 54.5751 s
125.86/125.91	c ===============================================================================
125.86/125.91	c |     12152 |    4221    28202   580970 |     9400     6534    577 | 30.254 % |
127.65/127.77	c |     12254 |    4221    28202   580970 |    10340     6636    577 | 30.254 % |
128.16/128.29	c ===============================================================================
128.16/128.29	c New solution: 65500
128.16/128.29	o 65500
128.16/128.29	c Elapsed CPU time: 127.798 s	Remaining CPU time: 52.2024 s
128.16/128.29	c ===============================================================================
128.16/128.29	c |     12259 |    4221    28203   583126 |     9401     6641    577 | 30.254 % |
128.36/128.49	c ===============================================================================
128.36/128.49	c New solution: 65499
128.36/128.49	o 65499
128.36/128.49	c Elapsed CPU time: 127.995 s	Remaining CPU time: 52.0055 s
128.36/128.49	c ===============================================================================
128.36/128.49	c |     12266 |    4221    28204   585282 |     9401     6648    577 | 30.254 % |
129.06/129.15	c |     12367 |    4221    28204   585282 |    10341     6749    576 | 30.254 % |
129.36/129.40	c ===============================================================================
129.36/129.40	c New solution: 63847
129.36/129.40	o 63847
129.36/129.40	c Elapsed CPU time: 128.904 s	Remaining CPU time: 51.0956 s
129.36/129.40	c ===============================================================================
129.36/129.40	c |     12375 |    4221    28205   587438 |     9401     6757    576 | 30.254 % |
129.56/129.60	c ===============================================================================
129.56/129.60	c New solution: 63836
129.56/129.60	o 63836
129.56/129.60	c Elapsed CPU time: 129.105 s	Remaining CPU time: 50.8946 s
129.56/129.60	c ===============================================================================
129.56/129.60	c |     12376 |    4221    28206   589594 |     9402     6758    576 | 30.254 % |
129.66/129.80	c ===============================================================================
129.66/129.80	c New solution: 63835
129.66/129.80	o 63835
129.66/129.80	c Elapsed CPU time: 129.301 s	Remaining CPU time: 50.6987 s
129.66/129.80	c ===============================================================================
129.66/129.80	c |     12377 |    4221    28207   591750 |     9402     6759    576 | 30.254 % |
129.96/130.09	c ===============================================================================
129.96/130.09	c New solution: 63834
129.96/130.09	o 63834
129.96/130.09	c Elapsed CPU time: 129.595 s	Remaining CPU time: 50.4047 s
129.96/130.09	c ===============================================================================
129.96/130.09	c |     12377 |    4221    28208   593906 |     9402     6759    576 | 30.254 % |
130.25/130.39	c ===============================================================================
130.25/130.39	c New solution: 63833
130.25/130.39	o 63833
130.25/130.39	c Elapsed CPU time: 129.892 s	Remaining CPU time: 50.1077 s
130.25/130.39	c ===============================================================================
130.25/130.39	c |     12379 |    4221    28209   596062 |     9403     6761    576 | 30.254 % |
130.76/130.80	c ===============================================================================
130.76/130.80	c New solution: 63832
130.76/130.80	o 63832
130.76/130.80	c Elapsed CPU time: 130.303 s	Remaining CPU time: 49.6968 s
130.76/130.80	c ===============================================================================
130.76/130.80	c |     12394 |    4221    28210   598218 |     9403     6776    576 | 30.254 % |
131.55/131.60	c ===============================================================================
131.55/131.60	c New solution: 63817
131.55/131.60	o 63817
131.55/131.60	c Elapsed CPU time: 131.1 s	Remaining CPU time: 48.8999 s
131.55/131.60	c ===============================================================================
131.55/131.60	c |     12418 |    4221    28211   600374 |     9403     6800    576 | 30.254 % |
131.87/131.91	c ===============================================================================
131.87/131.91	c New solution: 63800
131.87/131.91	o 63800
131.87/131.91	c Elapsed CPU time: 131.411 s	Remaining CPU time: 48.589 s
131.87/131.91	c ===============================================================================
131.87/131.91	c |     12420 |    4221    28212   602530 |     9404     6802    576 | 30.254 % |
132.86/132.90	c |     12520 |    4221    28212   602530 |    10344     6902    578 | 30.254 % |
133.26/133.37	c ===============================================================================
133.26/133.37	c New solution: 63799
133.26/133.37	o 63799
133.26/133.37	c Elapsed CPU time: 132.862 s	Remaining CPU time: 47.1382 s
133.26/133.37	c ===============================================================================
133.26/133.37	c |     12522 |    4221    28213   604686 |     9404     6904    578 | 30.254 % |
133.85/133.95	c |     12622 |    4221    28213   604686 |    10344     7004    577 | 30.254 % |
135.86/135.90	c |     12772 |    4221    28213   604686 |    11379     7154    579 | 30.254 % |
138.05/138.15	c |     12997 |    4221    28213   604686 |    12517     7379    581 | 30.254 % |
138.46/138.57	c ===============================================================================
138.46/138.57	c New solution: 63778
138.46/138.57	o 63778
138.46/138.57	c Elapsed CPU time: 138.056 s	Remaining CPU time: 41.944 s
138.46/138.57	c ===============================================================================
138.46/138.57	c |     13000 |    4221    28214   606842 |     9404     7382    581 | 30.254 % |
139.56/139.68	c |     13100 |    4221    28214   606842 |    10345     7482    582 | 30.255 % |
139.76/139.84	c ===============================================================================
139.76/139.84	c New solution: 63770
139.76/139.84	o 63770
139.76/139.84	c Elapsed CPU time: 139.317 s	Remaining CPU time: 40.6832 s
139.76/139.84	c ===============================================================================
139.76/139.84	c |     13105 |    4221    28215   608998 |     9405     7487    582 | 30.255 % |
140.06/140.13	c ===============================================================================
140.06/140.13	c New solution: 63769
140.06/140.13	o 63769
140.06/140.13	c Elapsed CPU time: 139.604 s	Remaining CPU time: 40.3962 s
140.06/140.13	c ===============================================================================
140.06/140.13	c |     13111 |    4221    28216   611154 |     9405     7493    582 | 30.255 % |
141.16/141.26	c |     13211 |    4221    28216   611154 |    10345     7593    582 | 30.254 % |
144.25/144.35	c |     13361 |    4221    28216   611154 |    11380     7743    583 | 30.254 % |
144.85/144.94	c ===============================================================================
144.85/144.94	c New solution: 63768
144.85/144.94	o 63768
144.85/144.94	c Elapsed CPU time: 144.414 s	Remaining CPU time: 35.586 s
144.85/144.94	c ===============================================================================
144.85/144.94	c |     13389 |    4221    28217   613310 |     9405     7771    583 | 30.254 % |
145.06/145.17	c ===============================================================================
145.06/145.17	c New solution: 63767
145.06/145.17	o 63767
145.06/145.17	c Elapsed CPU time: 144.638 s	Remaining CPU time: 35.362 s
145.06/145.17	c ===============================================================================
145.06/145.17	c |     13391 |    4221    28218   615466 |     9406     7773    583 | 30.254 % |
146.35/146.40	c |     13493 |    4221    28218   615466 |    10346     7875    584 | 30.254 % |
148.36/148.47	c |     13643 |    4221    28218   615466 |    11381     8025    585 | 30.254 % |
149.05/149.10	c ===============================================================================
149.05/149.10	c New solution: 63766
149.05/149.10	o 63766
149.05/149.10	c Elapsed CPU time: 148.57 s	Remaining CPU time: 31.4296 s
149.05/149.10	c ===============================================================================
149.05/149.10	c |     13659 |    4221    28219   617622 |     9406     8041    585 | 30.254 % |
150.05/150.12	c |     13760 |    4221    28219   617622 |    10346     8142    584 | 30.254 % |
151.46/151.55	c |     13911 |    4221    28219   617622 |    11381     8293    585 | 30.254 % |
154.85/154.98	c |     14137 |    4221    28219   617622 |    12519     8519    585 | 30.254 % |
155.85/155.97	c ===============================================================================
155.85/155.97	c New solution: 63765
155.85/155.97	o 63765
155.85/155.97	c Elapsed CPU time: 155.425 s	Remaining CPU time: 24.5746 s
155.85/155.97	c ===============================================================================
155.85/155.97	c |     14253 |    4221    28220   619778 |     9406     8635    586 | 30.254 % |
157.35/157.40	c |     14353 |    4221    28220   619778 |    10347     8735    586 | 30.254 % |
157.45/157.55	c ===============================================================================
157.45/157.55	c New solution: 63764
157.45/157.55	o 63764
157.45/157.55	c Elapsed CPU time: 157.006 s	Remaining CPU time: 22.9939 s
157.45/157.55	c ===============================================================================
157.45/157.55	c |     14356 |    4221    28221   621934 |     9407     8738    586 | 30.254 % |
157.85/157.98	c ===============================================================================
157.85/157.98	c New solution: 63763
157.85/157.98	o 63763
157.85/157.98	c Elapsed CPU time: 157.43 s	Remaining CPU time: 22.5699 s
157.85/157.98	c ===============================================================================
157.85/157.98	c |     14358 |    4221    28222   624090 |     9407     8740    586 | 30.254 % |
158.36/158.45	c ===============================================================================
158.36/158.45	c New solution: 63762
158.36/158.45	o 63762
158.36/158.45	c Elapsed CPU time: 157.898 s	Remaining CPU time: 22.102 s
158.36/158.45	c ===============================================================================
158.36/158.45	c |     14364 |    4221    28223   626246 |     9407     8746    586 | 30.254 % |
159.75/159.80	c |     14464 |    4221    28223   626246 |    10348     8846    587 | 30.254 % |
159.85/160.00	c ===============================================================================
159.85/160.00	c New solution: 63761
159.85/160.00	o 63761
159.85/160.00	c Elapsed CPU time: 159.441 s	Remaining CPU time: 20.5592 s
159.85/160.00	c ===============================================================================
159.85/160.00	c |     14464 |    4221    28224   628402 |     9408     8846    587 | 30.254 % |
160.05/160.18	c ===============================================================================
160.05/160.18	c New solution: 63760
160.05/160.18	o 63760
160.05/160.18	c Elapsed CPU time: 159.626 s	Remaining CPU time: 20.3743 s
160.05/160.18	c ===============================================================================
160.05/160.18	c |     14464 |    4221    28225   630558 |     9408     8846    587 | 30.254 % |
160.35/160.42	c ===============================================================================
160.35/160.42	c New solution: 63759
160.35/160.42	o 63759
160.35/160.42	c Elapsed CPU time: 159.862 s	Remaining CPU time: 20.1383 s
160.35/160.42	c ===============================================================================
160.35/160.42	c |     14464 |    4221    28226   632714 |     9408     8846    587 | 30.254 % |
160.45/160.60	c ===============================================================================
160.45/160.60	c New solution: 63758
160.45/160.60	o 63758
160.45/160.60	c Elapsed CPU time: 160.043 s	Remaining CPU time: 19.9573 s
160.45/160.60	c ===============================================================================
160.45/160.60	c |     14464 |    4221    28227   634870 |     9409     8846    587 | 30.254 % |
160.65/160.79	c ===============================================================================
160.65/160.79	c New solution: 63757
160.65/160.79	o 63757
160.65/160.79	c Elapsed CPU time: 160.23 s	Remaining CPU time: 19.7704 s
160.65/160.79	c ===============================================================================
160.65/160.79	c |     14464 |    4221    28228   637026 |     9409     8846    587 | 30.254 % |
160.85/160.96	c ===============================================================================
160.85/160.96	c New solution: 63756
160.85/160.96	o 63756
160.85/160.96	c Elapsed CPU time: 160.407 s	Remaining CPU time: 19.5934 s
160.85/160.96	c ===============================================================================
160.85/160.96	c |     14464 |    4221    28229   639182 |     9409     8846    587 | 30.254 % |
161.05/161.16	c ===============================================================================
161.05/161.16	c New solution: 63755
161.05/161.16	o 63755
161.05/161.16	c Elapsed CPU time: 160.606 s	Remaining CPU time: 19.3944 s
161.05/161.16	c ===============================================================================
161.05/161.16	c |     14465 |    4221    28230   641338 |     9410     8847    587 | 30.254 % |
162.25/162.30	c |     14566 |    4221    28230   641338 |    10351     8948    587 | 30.254 % |
162.76/162.82	c ===============================================================================
162.76/162.82	c New solution: 63754
162.76/162.82	o 63754
162.76/162.82	c Elapsed CPU time: 162.254 s	Remaining CPU time: 17.7457 s
162.76/162.82	c ===============================================================================
162.76/162.82	c |     14588 |    4221    28231   643494 |     9410     8970    587 | 30.254 % |
163.15/163.22	c ===============================================================================
163.15/163.22	c New solution: 63753
163.15/163.22	o 63753
163.15/163.22	c Elapsed CPU time: 162.655 s	Remaining CPU time: 17.3447 s
163.15/163.22	c ===============================================================================
163.15/163.22	c |     14594 |    4221    28232   645650 |     9410     8976    587 | 30.254 % |
163.34/163.41	c ===============================================================================
163.34/163.41	c New solution: 62092
163.34/163.41	o 62092
163.34/163.41	c Elapsed CPU time: 162.847 s	Remaining CPU time: 17.1528 s
163.34/163.41	c ===============================================================================
163.34/163.41	c |     14598 |    4221    28233   647806 |     9411     8980    587 | 30.254 % |
163.64/163.75	c ===============================================================================
163.64/163.75	c New solution: 62091
163.64/163.75	o 62091
163.64/163.75	c Elapsed CPU time: 163.18 s	Remaining CPU time: 16.8198 s
163.64/163.75	c ===============================================================================
163.64/163.75	c |     14600 |    4221    28234   649962 |     9411     8982    587 | 30.254 % |
163.95/164.07	c ===============================================================================
163.95/164.07	c New solution: 62084
163.95/164.07	o 62084
163.95/164.07	c Elapsed CPU time: 163.503 s	Remaining CPU time: 16.4969 s
163.95/164.07	c ===============================================================================
163.95/164.07	c |     14605 |    4221    28235   652118 |     9411     8987    587 | 30.254 % |
164.25/164.35	c ===============================================================================
164.25/164.35	c New solution: 62083
164.25/164.35	o 62083
164.25/164.35	c Elapsed CPU time: 163.778 s	Remaining CPU time: 16.2219 s
164.25/164.35	c ===============================================================================
164.25/164.35	c |     14609 |    4221    28236   654274 |     9412     8991    587 | 30.254 % |
164.55/164.63	c ===============================================================================
164.55/164.63	c New solution: 62082
164.55/164.63	o 62082
164.55/164.63	c Elapsed CPU time: 164.059 s	Remaining CPU time: 15.9409 s
164.55/164.63	c ===============================================================================
164.55/164.63	c |     14609 |    4221    28237   656430 |     9412     8991    587 | 30.254 % |
164.86/164.90	c ===============================================================================
164.86/164.90	c New solution: 62081
164.86/164.90	o 62081
164.86/164.90	c Elapsed CPU time: 164.335 s	Remaining CPU time: 15.665 s
164.86/164.90	c ===============================================================================
164.86/164.90	c |     14609 |    4221    28238   658586 |     9412     8991    587 | 30.254 % |
165.05/165.18	c ===============================================================================
165.05/165.18	c New solution: 62080
165.05/165.18	o 62080
165.05/165.18	c Elapsed CPU time: 164.611 s	Remaining CPU time: 15.389 s
165.05/165.18	c ===============================================================================
165.05/165.18	c |     14612 |    4221    28239   660742 |     9413     8994    587 | 30.254 % |
166.35/166.42	c |     14712 |    4221    28239   660742 |    10354     9094    588 | 30.254 % |
168.05/168.18	c |     14862 |    4221    28239   660742 |    11389     9244    589 | 30.255 % |
171.25/171.38	c ===============================================================================
171.25/171.38	c New solution: 62079
171.25/171.38	o 62079
171.25/171.38	c Elapsed CPU time: 170.799 s	Remaining CPU time: 9.20097 s
171.25/171.38	c ===============================================================================
171.25/171.38	c |     15023 |    4221    28240   662898 |     9413     9405    590 | 30.255 % |
171.56/171.61	c ===============================================================================
171.56/171.61	c New solution: 60447
171.56/171.61	o 60447
171.56/171.61	c Elapsed CPU time: 171.029 s	Remaining CPU time: 8.971 s
171.56/171.61	c ===============================================================================
171.56/171.61	c |     15027 |    4221    28241   665054 |     9413     9409    590 | 30.255 % |
173.75/173.82	c ===============================================================================
173.75/173.82	c New solution: 60386
173.75/173.82	o 60386
173.75/173.82	c Elapsed CPU time: 173.236 s	Remaining CPU time: 6.76434 s
173.75/173.82	c ===============================================================================
173.75/173.82	c |     15125 |    4221    28242   667210 |     9414     9507    589 | 30.255 % |
173.95/174.04	c ===============================================================================
173.95/174.04	c New solution: 60385
173.95/174.04	o 60385
173.95/174.04	c Elapsed CPU time: 173.459 s	Remaining CPU time: 6.54137 s
173.95/174.04	c ===============================================================================
173.95/174.04	c |     15125 |    4221    28243   669366 |     9414     9507    589 | 30.255 % |
175.35/175.49	c |     15225 |    4221    28243   669366 |    10355     9607    589 | 30.254 % |
175.74/175.81	c ===============================================================================
175.74/175.81	c New solution: 60384
175.74/175.81	o 60384
175.74/175.81	c Elapsed CPU time: 175.218 s	Remaining CPU time: 4.78164 s
175.74/175.81	c ===============================================================================
175.74/175.81	c |     15225 |    4221    28244   671522 |     9414     9607    589 | 30.254 % |
176.04/176.14	c ===============================================================================
176.04/176.14	c New solution: 60381
176.04/176.14	o 60381
176.04/176.14	c Elapsed CPU time: 175.549 s	Remaining CPU time: 4.45069 s
176.04/176.14	c ===============================================================================
176.04/176.14	c |     15225 |    4221    28245   673678 |     9415     9607    589 | 30.254 % |
176.35/176.45	c ===============================================================================
176.35/176.45	c New solution: 60379
176.35/176.45	o 60379
176.35/176.45	c Elapsed CPU time: 175.861 s	Remaining CPU time: 4.13873 s
176.35/176.45	c ===============================================================================
176.35/176.45	c |     15225 |    4221    28246   675834 |     9415     9607    589 | 30.254 % |
176.65/176.77	c ===============================================================================
176.65/176.77	c New solution: 60378
176.65/176.77	o 60378
176.65/176.77	c Elapsed CPU time: 176.18 s	Remaining CPU time: 3.81978 s
176.65/176.77	c ===============================================================================
176.65/176.77	c |     15225 |    4221    28247   677990 |     9415     9607    589 | 30.254 % |
176.96/177.07	c ===============================================================================
176.96/177.07	c New solution: 60377
176.96/177.07	o 60377
176.96/177.07	c Elapsed CPU time: 176.482 s	Remaining CPU time: 3.51783 s
176.96/177.07	c ===============================================================================
176.96/177.07	c |     15225 |    4221    28248   680146 |     9416     9607    589 | 30.254 % |
177.25/177.39	c ===============================================================================
177.25/177.39	c New solution: 60376
177.25/177.39	o 60376
177.25/177.39	c Elapsed CPU time: 176.801 s	Remaining CPU time: 3.19888 s
177.25/177.39	c ===============================================================================
177.25/177.39	c |     15225 |    4221    28249   682302 |     9416     9607    589 | 30.254 % |
177.55/177.69	c ===============================================================================
177.55/177.69	c New solution: 60375
177.55/177.69	o 60375
177.55/177.69	c Elapsed CPU time: 177.096 s	Remaining CPU time: 2.90392 s
177.55/177.69	c ===============================================================================
177.55/177.69	c |     15225 |    4221    28250   684458 |     9416     9607    589 | 30.254 % |
177.85/177.99	c ===============================================================================
177.85/177.99	c New solution: 60374
177.85/177.99	o 60374
177.85/177.99	c Elapsed CPU time: 177.395 s	Remaining CPU time: 2.60497 s
177.85/177.99	c ===============================================================================
177.85/177.99	c |     15225 |    4221    28251   686614 |     9417     9607    589 | 30.254 % |
178.15/178.30	c ===============================================================================
178.15/178.30	c New solution: 60373
178.15/178.30	o 60373
178.15/178.30	c Elapsed CPU time: 177.699 s	Remaining CPU time: 2.30102 s
178.15/178.30	c ===============================================================================
178.15/178.30	c |     15225 |    4221    28252   688770 |     9417     9607    589 | 30.254 % |
178.54/178.63	c ===============================================================================
178.54/178.63	c New solution: 60372
178.54/178.63	o 60372
178.54/178.63	c Elapsed CPU time: 178.032 s	Remaining CPU time: 1.96806 s
178.54/178.63	c ===============================================================================
178.54/178.63	c |     15228 |    4221    28253   690926 |     9417     9610    589 | 30.254 % |
179.15/179.23	c ===============================================================================
179.15/179.23	c New solution: 60371
179.15/179.23	o 60371
179.15/179.23	c Elapsed CPU time: 178.634 s	Remaining CPU time: 1.36616 s
179.15/179.23	c ===============================================================================
179.15/179.23	c |     15256 |    4221    28254   693082 |     9418     9638    590 | 30.254 % |
180.54/180.62	c There are 1831 assigned variables. 323 in cost function.
182.75/182.87	c core #1
182.75/182.87	c core #2
182.75/182.87	c core #3
182.75/182.87	c core #4
182.75/182.87	c core #5
182.75/182.87	c core #6
182.75/182.87	c core #7
182.75/182.87	c core #8
182.75/182.87	c core #9
182.75/182.87	c core #10
182.75/182.87	c core #11
182.75/182.87	c core #12
182.75/182.87	c core #13
182.75/182.87	c core #14
182.75/182.87	c core #15
182.75/182.87	c core #16
182.75/182.87	c core #17
182.75/182.87	c core #18
182.75/182.87	c core #19
182.75/182.87	c core #20
182.75/182.87	c core #21
182.75/182.87	c core #22
182.75/182.87	c core #23
182.75/182.87	c core #24
182.75/182.87	c core #25
182.75/182.87	c core #26
182.75/182.87	c core #27
182.75/182.87	c core #28
182.75/182.87	c core #29
182.75/182.87	c core #30
182.75/182.87	c core #31
182.75/182.87	c core #32
182.75/182.87	c core #33
182.75/182.87	c core #34
182.75/182.87	c core #35
182.75/182.87	c core #36
182.75/182.87	c core #37
182.75/182.87	c core #38
182.75/182.87	c core #39
182.75/182.87	c core #40
182.75/182.87	c core #41
182.75/182.87	c core #42
182.75/182.87	c ============================[ Search Statistics ]==============================
182.75/182.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.75/182.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.75/182.87	c ===============================================================================
182.75/182.87	c |         0 |     890    18873     9422 |     6291        0    nan |  0.000 % |
182.75/182.88	c ===============================================================================
182.75/182.89	c #cores: 42
182.75/182.89	c Final Weight: 1964
182.75/182.89	o 1964
182.75/182.89	s OPTIMUM FOUND
182.75/182.89	v -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 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 x5785 x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 x5807 x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 x5819 x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 x5847 -x5848 -x5849 -x5850 -x5851 x5852 x5853 x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 x5867 -x5868 x5869 -x5870 -x5871 -x5872 -x5873 -x5874 x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 x5909 -x5910 x5911 x5912 -x5913 x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 x5921 -x5922 -x5923 -x5924 x5925 x5926 x5927 -x5928 -x5929 x5930 -x5931 -x5932 x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 x5952 -x5953 -x5954 -x5955 -x5956 x5957 x5958 x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 x6046 x6047 x6048 x6049 x6050 x6051 x6052 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 -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
182.75/182.89	c Total CPU time: 182.241 s

Verifier Data 

OK	1964

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.07 1.02 1.12 4/106 31634
/proc/meminfo: memFree=1861176/2059040 swapFree=4139460/4192956
[pid=31634] ppid=31632 vsize=3696 CPUtime=0
/proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 368 0 0 0 0 0 0 0 15 0 1 0 92226734 3784704 286 1992294400 134512640 135751879 4293699616 18446744073709551615 135211112 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31634/statm: 924 286 143 303 0 414 0

[startup+0.0921409 s]
/proc/loadavg: 1.07 1.02 1.12 4/106 31634
/proc/meminfo: memFree=1861176/2059040 swapFree=4139460/4192956
[pid=31634] ppid=31632 vsize=5120 CPUtime=0.09
/proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 838 0 0 0 9 0 0 0 17 0 1 0 92226734 5242880 756 1992294400 134512640 135751879 4293699616 18446744073709551615 135225278 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31634/statm: 1280 756 281 303 0 770 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5120

[startup+0.101142 s]
/proc/loadavg: 1.07 1.02 1.12 4/106 31634
/proc/meminfo: memFree=1861176/2059040 swapFree=4139460/4192956
[pid=31634] ppid=31632 vsize=5296 CPUtime=0.1
/proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 900 0 0 0 10 0 0 0 17 0 1 0 92226734 5423104 818 1992294400 134512640 135751879 4293699616 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31634/statm: 1324 818 295 303 0 814 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5296

[startup+0.301161 s]
/proc/loadavg: 1.07 1.02 1.12 4/106 31634
/proc/meminfo: memFree=1861176/2059040 swapFree=4139460/4192956
[pid=31634] ppid=31632 vsize=6716 CPUtime=0.29
/proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 1523 0 0 0 29 0 0 0 17 0 1 0 92226734 6877184 1236 1992294400 134512640 135751879 4293699616 18446744073709551615 134579870 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31634/statm: 1679 1236 146 303 0 1374 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6716

[startup+0.701201 s]
/proc/loadavg: 1.07 1.02 1.12 4/106 31634
/proc/meminfo: memFree=1861176/2059040 swapFree=4139460/4192956
[pid=31634] ppid=31632 vsize=6980 CPUtime=0.69
/proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 1579 0 0 0 69 0 0 0 17 0 1 0 92226734 7147520 1292 1992294400 134512640 135751879 4293699616 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31634/statm: 1745 1292 146 303 0 1440 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6980

[startup+1.50128 s]
/proc/loadavg: 1.07 1.02 1.12 2/107 31635
/proc/meminfo: memFree=1856332/2059040 swapFree=4139460/4192956
[pid=31634] ppid=31632 vsize=7244 CPUtime=1.49
/proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 1659 0 0 0 149 0 0 0 18 0 1 0 92226734 7417856 1372 1992294400 134512640 135751879 4293699616 18446744073709551615 134580040 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31634/statm: 1811 1372 146 303 0 1506 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7244

[startup+3.10143 s]
/proc/loadavg: 1.07 1.02 1.12 2/107 31635
/proc/meminfo: memFree=1853604/2059040 swapFree=4139460/4192956
[pid=31634] ppid=31632 vsize=10576 CPUtime=3.09
/proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 2460 0 0 0 304 5 0 0 21 0 1 0 92226734 10829824 2173 1992294400 134512640 135751879 4293699616 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31634/statm: 2644 2173 146 303 0 2339 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10576

[startup+6.30174 s]
/proc/loadavg: 1.06 1.02 1.11 2/107 31635
/proc/meminfo: memFree=1852736/2059040 swapFree=4139460/4192956
[pid=31634] ppid=31632 vsize=10576 CPUtime=6.29
/proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 2461 0 0 0 618 11 0 0 25 0 1 0 92226734 10829824 2174 1992294400 134512640 135751879 4293699616 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31634/statm: 2644 2174 147 303 0 2339 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10576

[startup+12.7014 s]
/proc/loadavg: 1.06 1.01 1.11 2/107 31635
/proc/meminfo: memFree=1848396/2059040 swapFree=4139460/4192956
[pid=31634] ppid=31632 vsize=15120 CPUtime=12.69
/proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 3621 0 0 0 1255 14 0 0 25 0 1 0 92226734 15482880 3334 1992294400 134512640 135751879 4293699616 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31634/statm: 3780 3334 147 303 0 3475 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15120

[startup+25.5006 s]
/proc/loadavg: 1.04 1.01 1.11 2/107 31635
/proc/meminfo: memFree=1841204/2059040 swapFree=4139460/4192956
[pid=31634] ppid=31632 vsize=22180 CPUtime=25.48
/proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 5385 0 0 0 2527 21 0 0 25 0 1 0 92226734 22712320 5098 1992294400 134512640 135751879 4293699616 18446744073709551615 134611160 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31634/statm: 5545 5098 147 303 0 5240 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22180

[startup+51.1011 s]
/proc/loadavg: 1.03 1.01 1.11 2/107 31637
/proc/meminfo: memFree=1832152/2059040 swapFree=4139460/4192956
[pid=31634] ppid=31632 vsize=31264 CPUtime=51.07
/proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 7629 0 0 0 5076 31 0 0 25 0 1 0 92226734 32014336 7342 1992294400 134512640 135751879 4293699616 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31634/statm: 7816 7342 147 303 0 7511 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 31264

[startup+102.308 s]
/proc/loadavg: 1.05 1.02 1.10 2/107 31637
/proc/meminfo: memFree=1817644/2059040 swapFree=4139460/4192956
[pid=31634] ppid=31632 vsize=45256 CPUtime=102.27
/proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 11146 0 0 0 10186 41 0 0 25 0 1 0 92226734 46342144 10859 1992294400 134512640 135751879 4293699616 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31634/statm: 11314 10859 147 303 0 11009 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 45256

[startup+162.301 s]
/proc/loadavg: 1.02 1.02 1.09 2/107 31639
/proc/meminfo: memFree=1804996/2059040 swapFree=4139460/4192956
[pid=31634] ppid=31632 vsize=57948 CPUtime=162.25
/proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 14312 0 0 0 16173 52 0 0 25 0 1 0 92226734 59338752 14025 1992294400 134512640 135751879 4293699616 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31634/statm: 14487 14025 148 303 0 14182 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 57948

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

[startup+166.301 s]
/proc/loadavg: 1.01 1.02 1.09 2/107 31639
/proc/meminfo: memFree=1804128/2059040 swapFree=4139460/4192956
[pid=31634] ppid=31632 vsize=58740 CPUtime=166.25
/proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 14517 0 0 0 16572 53 0 0 25 0 1 0 92226734 60149760 14230 1992294400 134512640 135751879 4293699616 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31634/statm: 14685 14230 148 303 0 14380 0
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (KiB) 58740

[startup+172.708 s]
/proc/loadavg: 1.01 1.02 1.09 2/107 31639
/proc/meminfo: memFree=1803012/2059040 swapFree=4139460/4192956
[pid=31634] ppid=31632 vsize=59768 CPUtime=172.66
/proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 14777 0 0 0 17212 54 0 0 25 0 1 0 92226734 61202432 14490 1992294400 134512640 135751879 4293699616 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31634/statm: 14942 14490 148 303 0 14637 0
Current children cumulated CPU time (s) 172.66
Current children cumulated vsize (KiB) 59768

[startup+179.101 s]
/proc/loadavg: 1.01 1.02 1.09 2/107 31639
/proc/meminfo: memFree=1802020/2059040 swapFree=4139460/4192956
[pid=31634] ppid=31632 vsize=60824 CPUtime=179.04
/proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 15041 0 0 0 17849 55 0 0 25 0 1 0 92226734 62283776 14754 1992294400 134512640 135751879 4293699616 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31634/statm: 15206 14754 148 303 0 14901 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 60824

[startup+180.701 s]
/proc/loadavg: 1.01 1.01 1.09 2/107 31639
/proc/meminfo: memFree=1801648/2059040 swapFree=4139460/4192956
[pid=31634] ppid=31632 vsize=66748 CPUtime=180.65
/proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 16523 0 0 0 18009 56 0 0 25 0 1 0 92226734 68349952 16236 1992294400 134512640 135751879 4293699616 18446744073709551615 135201654 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31634/statm: 16687 16236 150 303 0 16382 0
Current children cumulated CPU time (s) 180.65
Current children cumulated vsize (KiB) 66748

[startup+182.301 s]
/proc/loadavg: 1.01 1.01 1.09 2/107 31639
/proc/meminfo: memFree=1795944/2059040 swapFree=4139460/4192956
[pid=31634] ppid=31632 vsize=96600 CPUtime=182.24
/proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 24165 0 0 0 18166 58 0 0 25 0 1 0 92226734 98918400 23706 1992294400 134512640 135751879 4293699616 18446744073709551615 134541671 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31634/statm: 24150 23709 151 303 0 23845 0
Current children cumulated CPU time (s) 182.24
Current children cumulated vsize (KiB) 96600

[startup+182.701 s]
/proc/loadavg: 1.01 1.01 1.09 2/107 31641
/proc/meminfo: memFree=1757504/2059040 swapFree=4139460/4192956
[pid=31634] ppid=31632 vsize=113164 CPUtime=182.65
/proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202496 28267 0 0 0 18205 60 0 0 25 0 1 0 92226734 115879936 27808 1992294400 134512640 135751879 4293699616 18446744073709551615 134541892 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31634/statm: 28291 27808 151 303 0 27986 0
Current children cumulated CPU time (s) 182.65
Current children cumulated vsize (KiB) 113164

[startup+182.901 s]
/proc/loadavg: 1.01 1.01 1.09 2/107 31641
/proc/meminfo: memFree=1757504/2059040 swapFree=4139460/4192956
[pid=31634] ppid=31632 vsize=0 CPUtime=182.85
/proc/31634/stat : 31634 (wbo1.4b) R 31632 31634 31134 0 -1 4202500 30362 0 0 0 18224 61 0 0 25 0 1 0 92226734 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/31634/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 182.85
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 182.91
CPU time (s): 182.863
CPU user time (s): 182.241
CPU system time (s): 0.621905
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 117224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 182.241
system time used= 0.621905
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30362
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= 89
involuntary context switches= 369

runsolver used 0.275958 second user time and 0.934857 second system time

The end

Launcher Data 

Begin job on node056 at 2010-06-26 01:42:38
IDJOB=2683395
IDBENCH=72109
IDSOLVER=1161
FILE ID=node056/2683395-1277509357
PBS_JOBID= 11190645
Free space on /tmp= 98380 MiB

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

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

MD5SUM BENCH= 9d7a0a7c8e9750367a028c0a006f2886
RANDOM SEED=660626657

node056.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.215
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.215
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1862308 kB
Buffers:          5312 kB
Cached:         121380 kB
SwapCached:       6936 kB
Active:          49688 kB
Inactive:        90588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1862308 kB
SwapTotal:     4192956 kB
SwapFree:      4139460 kB
Dirty:            3584 kB
Writeback:           0 kB
AnonPages:       11368 kB
Mapped:          11904 kB
Slab:            34392 kB
PageTables:       4248 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181588 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2683395-1277509357.opb

Free space on /tmp at the end= 98376 MiB
End job on node056 at 2010-06-26 01:45:41