Trace number 2683460

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.4bOPT6576 183.019 183.08

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.newlist/normalized-randcebca4.cudf.paranoid.opb
MD5SUM18eba4fc2c6c4c36f404d480a47d1c35
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6576
Best CPU time to get the best result obtained on this benchmark2.30665
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5690
Total number of constraints25377
Number of constraints which are clauses25090
Number of constraints which are cardinality constraints (but not clauses)287
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 2112
Biggest coefficient in the objective function 1563
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 862774
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1563
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 862774
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-2683460-1277509866.opb.
0.00/0.00	c Instance file HOME/instance-2683460-1277509866.opb
0.00/0.00	c File size is 807576 bytes.
0.09/0.12	c Highest Coefficient sum: 553
0.09/0.12	c ============================[ Problem Statistics ]=============================
0.09/0.12	c |                                                                             |
0.09/0.12	c |  Parsing time:          0.12         s                                      |
0.09/0.12	c |  Number Variables:      5690                                                |
0.09/0.12	c |  Number Clauses:        25090                                               |
0.09/0.12	c |  Number Cardinality:    287                                                 |
0.09/0.12	c |  Number PB Constraints: 0                                                   |
2.29/2.34	c ============================[ Search Statistics ]==============================
2.29/2.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.29/2.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.29/2.34	c ===============================================================================
2.29/2.34	c |         0 |    3630    26944    52424 |     8459        0    nan |  0.000 % |
2.29/2.35	c ===============================================================================
2.29/2.35	c New solution: 493022
2.29/2.35	o 493022
2.29/2.35	c Elapsed CPU time: 2.33664 s	Remaining CPU time: 177.663 s
2.29/2.35	c ===============================================================================
2.29/2.35	c |         7 |    3630    26945    54440 |     8981        7      5 |  0.000 % |
2.29/2.36	c ===============================================================================
2.29/2.36	c New solution: 477426
2.29/2.36	o 477426
2.29/2.36	c Elapsed CPU time: 2.34564 s	Remaining CPU time: 177.654 s
2.29/2.36	c ===============================================================================
2.29/2.36	c |        17 |    3630    26946    56456 |     8982       17      4 |  0.000 % |
2.29/2.37	c ===============================================================================
2.29/2.37	c New solution: 421107
2.29/2.37	o 421107
2.29/2.37	c Elapsed CPU time: 2.35064 s	Remaining CPU time: 177.649 s
2.29/2.37	c ===============================================================================
2.29/2.37	c |        19 |    3630    26947    58472 |     8982       19      4 |  0.000 % |
2.29/2.38	c ===============================================================================
2.29/2.38	c New solution: 389847
2.29/2.38	o 389847
2.29/2.38	c Elapsed CPU time: 2.35864 s	Remaining CPU time: 177.641 s
2.29/2.38	c ===============================================================================
2.29/2.38	c |        26 |    3630    26948    60488 |     8982       26      4 |  0.000 % |
2.29/2.39	c ===============================================================================
2.29/2.39	c New solution: 316367
2.29/2.39	o 316367
2.29/2.39	c Elapsed CPU time: 2.36964 s	Remaining CPU time: 177.63 s
2.29/2.39	c ===============================================================================
2.29/2.39	c |        36 |    3630    26949    62504 |     8983       36      4 |  0.000 % |
2.39/2.41	c ===============================================================================
2.39/2.41	c New solution: 316366
2.39/2.41	o 316366
2.39/2.41	c Elapsed CPU time: 2.37764 s	Remaining CPU time: 177.622 s
2.39/2.41	c ===============================================================================
2.39/2.41	c |        41 |    3630    26950    64520 |     8983       41      4 |  0.000 % |
2.39/2.42	c ===============================================================================
2.39/2.42	c New solution: 292900
2.39/2.42	o 292900
2.39/2.42	c Elapsed CPU time: 2.39064 s	Remaining CPU time: 177.609 s
2.39/2.42	c ===============================================================================
2.39/2.42	c |        49 |    3630    26951    66536 |     8983       49      4 |  0.000 % |
2.39/2.43	c ===============================================================================
2.39/2.43	c New solution: 272555
2.39/2.43	o 272555
2.39/2.43	c Elapsed CPU time: 2.40163 s	Remaining CPU time: 177.598 s
2.39/2.43	c ===============================================================================
2.39/2.43	c |        57 |    3630    26952    68552 |     8984       57      4 |  0.000 % |
2.39/2.45	c ===============================================================================
2.39/2.45	c New solution: 271027
2.39/2.45	o 271027
2.39/2.45	c Elapsed CPU time: 2.41663 s	Remaining CPU time: 177.583 s
2.39/2.45	c ===============================================================================
2.39/2.45	c |        71 |    3630    26953    70568 |     8984       71      4 |  0.000 % |
2.39/2.46	c ===============================================================================
2.39/2.46	c New solution: 236611
2.39/2.46	o 236611
2.39/2.46	c Elapsed CPU time: 2.42763 s	Remaining CPU time: 177.572 s
2.39/2.46	c ===============================================================================
2.39/2.46	c |        77 |    3630    26954    72584 |     8984       77      4 |  0.000 % |
2.39/2.49	c ===============================================================================
2.39/2.49	c New solution: 236610
2.39/2.49	o 236610
2.39/2.49	c Elapsed CPU time: 2.44563 s	Remaining CPU time: 177.554 s
2.39/2.49	c ===============================================================================
2.39/2.49	c |        93 |    3630    26955    74600 |     8985       93      4 |  0.000 % |
2.49/2.50	c ===============================================================================
2.49/2.50	c New solution: 236591
2.49/2.50	o 236591
2.49/2.50	c Elapsed CPU time: 2.45863 s	Remaining CPU time: 177.541 s
2.49/2.50	c ===============================================================================
2.49/2.50	c |       100 |    3630    26956    76616 |     8985      100      9 |  0.000 % |
2.49/2.54	c ===============================================================================
2.49/2.54	c New solution: 122566
2.49/2.54	o 122566
2.49/2.54	c Elapsed CPU time: 2.49262 s	Remaining CPU time: 177.507 s
2.49/2.54	c ===============================================================================
2.49/2.54	c |       150 |    3630    26957    78632 |     8985      150      7 |  0.000 % |
2.49/2.55	c ===============================================================================
2.49/2.55	c New solution: 122509
2.49/2.55	o 122509
2.49/2.55	c Elapsed CPU time: 2.50862 s	Remaining CPU time: 177.491 s
2.49/2.55	c ===============================================================================
2.49/2.55	c |       159 |    3630    26958    80648 |     8986      159      7 |  0.000 % |
2.49/2.59	c ===============================================================================
2.49/2.59	c New solution: 122508
2.49/2.59	o 122508
2.49/2.59	c Elapsed CPU time: 2.54261 s	Remaining CPU time: 177.457 s
2.49/2.59	c ===============================================================================
2.49/2.59	c |       177 |    3630    26959    82664 |     8986      177     10 |  0.000 % |
2.59/2.64	c ===============================================================================
2.59/2.64	c New solution: 121002
2.59/2.64	o 121002
2.59/2.64	c Elapsed CPU time: 2.58661 s	Remaining CPU time: 177.413 s
2.59/2.64	c ===============================================================================
2.59/2.64	c |       205 |    3630    26960    84680 |     8986      205     12 |  0.000 % |
2.59/2.65	c ===============================================================================
2.59/2.65	c New solution: 119411
2.59/2.65	o 119411
2.59/2.65	c Elapsed CPU time: 2.59461 s	Remaining CPU time: 177.405 s
2.59/2.65	c ===============================================================================
2.59/2.65	c |       207 |    3630    26961    86696 |     8987      207     11 |  0.000 % |
2.59/2.67	c ===============================================================================
2.59/2.67	c New solution: 119403
2.59/2.67	o 119403
2.59/2.67	c Elapsed CPU time: 2.6126 s	Remaining CPU time: 177.387 s
2.59/2.67	c ===============================================================================
2.59/2.67	c |       209 |    3630    26962    88712 |     8987      209     14 |  0.000 % |
2.69/2.72	c ===============================================================================
2.69/2.72	c New solution: 119402
2.69/2.72	o 119402
2.69/2.72	c Elapsed CPU time: 2.6616 s	Remaining CPU time: 177.338 s
2.69/2.72	c ===============================================================================
2.69/2.72	c |       239 |    3630    26963    90728 |     8987      239     17 |  0.000 % |
2.69/2.74	c ===============================================================================
2.69/2.74	c New solution: 119401
2.69/2.74	o 119401
2.69/2.74	c Elapsed CPU time: 2.67659 s	Remaining CPU time: 177.323 s
2.69/2.74	c ===============================================================================
2.69/2.74	c |       241 |    3630    26964    92744 |     8988      241     17 |  0.000 % |
2.69/2.75	c ===============================================================================
2.69/2.75	c New solution: 119400
2.69/2.75	o 119400
2.69/2.75	c Elapsed CPU time: 2.69159 s	Remaining CPU time: 177.308 s
2.69/2.75	c ===============================================================================
2.69/2.75	c |       242 |    3630    26965    94760 |     8988      242     17 |  0.000 % |
2.69/2.77	c ===============================================================================
2.69/2.77	c New solution: 119399
2.69/2.77	o 119399
2.69/2.77	c Elapsed CPU time: 2.71159 s	Remaining CPU time: 177.288 s
2.69/2.77	c ===============================================================================
2.69/2.77	c |       243 |    3630    26966    96776 |     8988      243     17 |  0.000 % |
2.69/2.79	c ===============================================================================
2.69/2.79	c New solution: 110030
2.69/2.79	o 110030
2.69/2.79	c Elapsed CPU time: 2.72259 s	Remaining CPU time: 177.277 s
2.69/2.79	c ===============================================================================
2.69/2.79	c |       245 |    3630    26967    98792 |     8989      245     17 |  0.000 % |
2.79/2.89	c ===============================================================================
2.79/2.89	c New solution: 110029
2.79/2.89	o 110029
2.79/2.89	c Elapsed CPU time: 2.81657 s	Remaining CPU time: 177.183 s
2.79/2.89	c ===============================================================================
2.79/2.89	c |       260 |    3630    26968   100808 |     8989      260     18 |  0.000 % |
2.89/2.92	c ===============================================================================
2.89/2.92	c New solution: 110028
2.89/2.92	o 110028
2.89/2.92	c Elapsed CPU time: 2.85057 s	Remaining CPU time: 177.149 s
2.89/2.92	c ===============================================================================
2.89/2.92	c |       269 |    3630    26969   102824 |     8989      269     26 |  0.000 % |
2.99/3.05	c ===============================================================================
2.99/3.05	c New solution: 110027
2.99/3.05	o 110027
2.99/3.05	c Elapsed CPU time: 2.97655 s	Remaining CPU time: 177.023 s
2.99/3.05	c ===============================================================================
2.99/3.05	c |       289 |    3630    26970   104840 |     8990      289     27 |  0.000 % |
2.99/3.08	c ===============================================================================
2.99/3.08	c New solution: 110021
2.99/3.08	o 110021
2.99/3.08	c Elapsed CPU time: 3.00154 s	Remaining CPU time: 176.998 s
2.99/3.08	c ===============================================================================
2.99/3.08	c |       291 |    3630    26971   106856 |     8990      291     27 |  0.000 % |
3.09/3.11	c ===============================================================================
3.09/3.11	c New solution: 110020
3.09/3.11	o 110020
3.09/3.11	c Elapsed CPU time: 3.03554 s	Remaining CPU time: 176.964 s
3.09/3.11	c ===============================================================================
3.09/3.11	c |       292 |    3630    26972   108872 |     8990      292     26 |  0.000 % |
3.09/3.14	c ===============================================================================
3.09/3.14	c New solution: 110016
3.09/3.14	o 110016
3.09/3.14	c Elapsed CPU time: 3.05854 s	Remaining CPU time: 176.941 s
3.09/3.14	c ===============================================================================
3.09/3.14	c |       292 |    3630    26973   110888 |     8991      292     26 |  0.000 % |
3.09/3.17	c ===============================================================================
3.09/3.17	c New solution: 110015
3.09/3.17	o 110015
3.09/3.17	c Elapsed CPU time: 3.09353 s	Remaining CPU time: 176.906 s
3.09/3.17	c ===============================================================================
3.09/3.17	c |       292 |    3630    26974   112904 |     8991      292     26 |  0.000 % |
3.20/3.21	c ===============================================================================
3.20/3.21	c New solution: 110014
3.20/3.21	o 110014
3.20/3.21	c Elapsed CPU time: 3.13052 s	Remaining CPU time: 176.869 s
3.20/3.21	c ===============================================================================
3.20/3.21	c |       294 |    3630    26975   114920 |     8991      294     26 |  0.000 % |
3.20/3.25	c ===============================================================================
3.20/3.25	c New solution: 110013
3.20/3.25	o 110013
3.20/3.25	c Elapsed CPU time: 3.16952 s	Remaining CPU time: 176.83 s
3.20/3.25	c ===============================================================================
3.20/3.25	c |       296 |    3630    26976   116936 |     8992      296     26 |  0.000 % |
3.20/3.28	c ===============================================================================
3.20/3.28	c New solution: 110011
3.20/3.28	o 110011
3.20/3.28	c Elapsed CPU time: 3.19351 s	Remaining CPU time: 176.806 s
3.20/3.28	c ===============================================================================
3.20/3.28	c |       296 |    3630    26977   118952 |     8992      296     26 |  0.000 % |
3.30/3.31	c ===============================================================================
3.30/3.31	c New solution: 110010
3.30/3.31	o 110010
3.30/3.31	c Elapsed CPU time: 3.22751 s	Remaining CPU time: 176.772 s
3.30/3.31	c ===============================================================================
3.30/3.31	c |       296 |    3630    26978   120968 |     8992      296     26 |  0.000 % |
3.30/3.33	c ===============================================================================
3.30/3.33	c New solution: 110009
3.30/3.33	o 110009
3.30/3.33	c Elapsed CPU time: 3.24751 s	Remaining CPU time: 176.752 s
3.30/3.33	c ===============================================================================
3.30/3.33	c |       297 |    3630    26979   122984 |     8993      297     28 |  0.000 % |
3.30/3.39	c ===============================================================================
3.30/3.39	c New solution: 108521
3.30/3.39	o 108521
3.30/3.39	c Elapsed CPU time: 3.3015 s	Remaining CPU time: 176.699 s
3.30/3.39	c ===============================================================================
3.30/3.39	c |       317 |    3630    26980   125000 |     8993      317     34 |  0.000 % |
3.39/3.44	c ===============================================================================
3.39/3.44	c New solution: 108507
3.39/3.44	o 108507
3.39/3.44	c Elapsed CPU time: 3.34549 s	Remaining CPU time: 176.655 s
3.39/3.44	c ===============================================================================
3.39/3.44	c |       323 |    3630    26981   127016 |     8993      323     33 |  0.000 % |
3.39/3.46	c ===============================================================================
3.39/3.46	c New solution: 105393
3.39/3.46	o 105393
3.39/3.46	c Elapsed CPU time: 3.36249 s	Remaining CPU time: 176.638 s
3.39/3.46	c ===============================================================================
3.39/3.46	c |       326 |    3630    26982   129032 |     8994      326     33 |  0.000 % |
3.49/3.50	c ===============================================================================
3.49/3.50	c New solution: 105392
3.49/3.50	o 105392
3.49/3.50	c Elapsed CPU time: 3.40648 s	Remaining CPU time: 176.594 s
3.49/3.50	c ===============================================================================
3.49/3.50	c |       326 |    3630    26983   131048 |     8994      326     33 |  0.000 % |
3.49/3.52	c ===============================================================================
3.49/3.52	c New solution: 105391
3.49/3.52	o 105391
3.49/3.52	c Elapsed CPU time: 3.42548 s	Remaining CPU time: 176.575 s
3.49/3.52	c ===============================================================================
3.49/3.52	c |       326 |    3630    26984   133064 |     8994      326     33 |  0.000 % |
3.49/3.55	c ===============================================================================
3.49/3.55	c New solution: 105390
3.49/3.55	o 105390
3.49/3.55	c Elapsed CPU time: 3.45447 s	Remaining CPU time: 176.546 s
3.49/3.55	c ===============================================================================
3.49/3.55	c |       326 |    3630    26985   135080 |     8995      326     33 |  0.000 % |
3.49/3.58	c ===============================================================================
3.49/3.58	c New solution: 105389
3.49/3.58	o 105389
3.49/3.58	c Elapsed CPU time: 3.48347 s	Remaining CPU time: 176.517 s
3.49/3.58	c ===============================================================================
3.49/3.58	c |       327 |    3630    26986   137096 |     8995      327     33 |  0.000 % |
3.59/3.63	c ===============================================================================
3.59/3.63	c New solution: 105388
3.59/3.63	o 105388
3.59/3.63	c Elapsed CPU time: 3.52946 s	Remaining CPU time: 176.471 s
3.59/3.63	c ===============================================================================
3.59/3.63	c |       327 |    3630    26987   139112 |     8995      327     33 |  0.000 % |
3.59/3.66	c ===============================================================================
3.59/3.66	c New solution: 105387
3.59/3.66	o 105387
3.59/3.66	c Elapsed CPU time: 3.55346 s	Remaining CPU time: 176.447 s
3.59/3.66	c ===============================================================================
3.59/3.66	c |       328 |    3630    26988   141128 |     8996      328     34 |  0.000 % |
3.69/3.70	c ===============================================================================
3.69/3.70	c New solution: 105355
3.69/3.70	o 105355
3.69/3.70	c Elapsed CPU time: 3.59345 s	Remaining CPU time: 176.407 s
3.69/3.70	c ===============================================================================
3.69/3.70	c |       330 |    3630    26989   143144 |     8996      330     36 |  0.000 % |
3.69/3.74	c ===============================================================================
3.69/3.74	c New solution: 105354
3.69/3.74	o 105354
3.69/3.74	c Elapsed CPU time: 3.63545 s	Remaining CPU time: 176.365 s
3.69/3.74	c ===============================================================================
3.69/3.74	c |       343 |    3630    26990   145160 |     8996      343     42 |  0.000 % |
3.79/3.83	c ===============================================================================
3.79/3.83	c New solution: 105353
3.79/3.83	o 105353
3.79/3.83	c Elapsed CPU time: 3.72143 s	Remaining CPU time: 176.279 s
3.79/3.83	c ===============================================================================
3.79/3.83	c |       346 |    3630    26991   147176 |     8997      346     43 |  0.000 % |
3.79/3.89	c ===============================================================================
3.79/3.89	c New solution: 105352
3.79/3.89	o 105352
3.79/3.89	c Elapsed CPU time: 3.78043 s	Remaining CPU time: 176.22 s
3.79/3.89	c ===============================================================================
3.79/3.89	c |       349 |    3630    26992   149192 |     8997      349     46 |  0.000 % |
3.89/3.92	c ===============================================================================
3.89/3.92	c New solution: 105329
3.89/3.92	o 105329
3.89/3.92	c Elapsed CPU time: 3.81142 s	Remaining CPU time: 176.189 s
3.89/3.92	c ===============================================================================
3.89/3.92	c |       355 |    3630    26993   151208 |     8997      355     45 |  0.000 % |
3.89/3.95	c ===============================================================================
3.89/3.95	c New solution: 105328
3.89/3.95	o 105328
3.89/3.95	c Elapsed CPU time: 3.84042 s	Remaining CPU time: 176.16 s
3.89/3.95	c ===============================================================================
3.89/3.95	c |       355 |    3630    26994   153224 |     8998      355     45 |  0.000 % |
3.99/4.01	c ===============================================================================
3.99/4.01	c New solution: 105327
3.99/4.01	o 105327
3.99/4.01	c Elapsed CPU time: 3.90441 s	Remaining CPU time: 176.096 s
3.99/4.01	c ===============================================================================
3.99/4.01	c |       355 |    3630    26995   155240 |     8998      355     45 |  0.000 % |
3.99/4.04	c ===============================================================================
3.99/4.04	c New solution: 105326
3.99/4.04	o 105326
3.99/4.04	c Elapsed CPU time: 3.9344 s	Remaining CPU time: 176.066 s
3.99/4.04	c ===============================================================================
3.99/4.04	c |       355 |    3630    26996   157256 |     8998      355     45 |  0.000 % |
3.99/4.07	c ===============================================================================
3.99/4.07	c New solution: 105325
3.99/4.07	o 105325
3.99/4.07	c Elapsed CPU time: 3.9634 s	Remaining CPU time: 176.037 s
3.99/4.07	c ===============================================================================
3.99/4.07	c |       355 |    3630    26997   159272 |     8999      355     45 |  0.000 % |
4.09/4.10	c ===============================================================================
4.09/4.10	c New solution: 105324
4.09/4.10	o 105324
4.09/4.10	c Elapsed CPU time: 3.99039 s	Remaining CPU time: 176.01 s
4.09/4.10	c ===============================================================================
4.09/4.10	c |       355 |    3630    26998   161288 |     8999      355     45 |  0.000 % |
4.09/4.13	c ===============================================================================
4.09/4.13	c New solution: 105323
4.09/4.13	o 105323
4.09/4.13	c Elapsed CPU time: 4.02139 s	Remaining CPU time: 175.979 s
4.09/4.13	c ===============================================================================
4.09/4.13	c |       355 |    3630    26999   163304 |     8999      355     45 |  0.000 % |
4.09/4.19	c ===============================================================================
4.09/4.19	c New solution: 105322
4.09/4.19	o 105322
4.09/4.19	c Elapsed CPU time: 4.07238 s	Remaining CPU time: 175.928 s
4.09/4.19	c ===============================================================================
4.09/4.19	c |       358 |    3630    27000   165320 |     9000      358     48 |  0.000 % |
4.29/4.30	c ===============================================================================
4.29/4.30	c New solution: 103871
4.29/4.30	o 103871
4.29/4.30	c Elapsed CPU time: 4.18936 s	Remaining CPU time: 175.811 s
4.29/4.30	c ===============================================================================
4.29/4.30	c |       362 |    3630    27001   167336 |     9000      362     47 |  0.000 % |
4.39/4.41	c ===============================================================================
4.39/4.41	c New solution: 103870
4.39/4.41	o 103870
4.39/4.41	c Elapsed CPU time: 4.29935 s	Remaining CPU time: 175.701 s
4.39/4.41	c ===============================================================================
4.39/4.41	c |       366 |    3630    27002   169352 |     9000      366     47 |  0.000 % |
4.39/4.48	c ===============================================================================
4.39/4.48	c New solution: 103869
4.39/4.48	o 103869
4.39/4.48	c Elapsed CPU time: 4.36834 s	Remaining CPU time: 175.632 s
4.39/4.48	c ===============================================================================
4.39/4.48	c |       366 |    3630    27003   171368 |     9001      366     47 |  0.000 % |
4.49/4.56	c ===============================================================================
4.49/4.56	c New solution: 103868
4.49/4.56	o 103868
4.49/4.56	c Elapsed CPU time: 4.43733 s	Remaining CPU time: 175.563 s
4.49/4.56	c ===============================================================================
4.49/4.56	c |       366 |    3630    27004   173384 |     9001      366     47 |  0.000 % |
4.59/4.62	c ===============================================================================
4.59/4.62	c New solution: 103867
4.59/4.62	o 103867
4.59/4.62	c Elapsed CPU time: 4.50631 s	Remaining CPU time: 175.494 s
4.59/4.62	c ===============================================================================
4.59/4.62	c |       366 |    3630    27005   175400 |     9001      366     47 |  0.000 % |
4.69/4.70	c ===============================================================================
4.69/4.70	c New solution: 103838
4.69/4.70	o 103838
4.69/4.70	c Elapsed CPU time: 4.5783 s	Remaining CPU time: 175.422 s
4.69/4.70	c ===============================================================================
4.69/4.70	c |       366 |    3630    27006   177416 |     9002      366     47 |  0.000 % |
4.69/4.77	c ===============================================================================
4.69/4.77	c New solution: 103837
4.69/4.77	o 103837
4.69/4.77	c Elapsed CPU time: 4.64929 s	Remaining CPU time: 175.351 s
4.69/4.77	c ===============================================================================
4.69/4.77	c |       367 |    3630    27007   179432 |     9002      367     49 |  0.000 % |
4.89/4.93	c ===============================================================================
4.89/4.93	c New solution: 103836
4.89/4.93	o 103836
4.89/4.93	c Elapsed CPU time: 4.81327 s	Remaining CPU time: 175.187 s
4.89/4.93	c ===============================================================================
4.89/4.93	c |       372 |    3630    27008   181448 |     9002      372     50 |  0.000 % |
4.89/4.99	c ===============================================================================
4.89/4.99	c New solution: 103819
4.89/4.99	o 103819
4.89/4.99	c Elapsed CPU time: 4.87426 s	Remaining CPU time: 175.126 s
4.89/4.99	c ===============================================================================
4.89/4.99	c |       374 |    3630    27009   183464 |     9003      374     51 |  0.000 % |
4.99/5.04	c ===============================================================================
4.99/5.04	c New solution: 103818
4.99/5.04	o 103818
4.99/5.04	c Elapsed CPU time: 4.91625 s	Remaining CPU time: 175.084 s
4.99/5.04	c ===============================================================================
4.99/5.04	c |       376 |    3630    27010   185480 |     9003      376     54 |  0.000 % |
5.09/5.14	c ===============================================================================
5.09/5.14	c New solution: 103812
5.09/5.14	o 103812
5.09/5.14	c Elapsed CPU time: 5.01624 s	Remaining CPU time: 174.984 s
5.09/5.14	c ===============================================================================
5.09/5.14	c |       376 |    3630    27011   187496 |     9003      376     54 |  0.000 % |
5.19/5.24	c ===============================================================================
5.19/5.24	c New solution: 103811
5.19/5.24	o 103811
5.19/5.24	c Elapsed CPU time: 5.11822 s	Remaining CPU time: 174.882 s
5.19/5.24	c ===============================================================================
5.19/5.24	c |       376 |    3630    27012   189512 |     9004      376     54 |  0.000 % |
5.29/5.34	c ===============================================================================
5.29/5.34	c New solution: 103810
5.29/5.34	o 103810
5.29/5.34	c Elapsed CPU time: 5.21821 s	Remaining CPU time: 174.782 s
5.29/5.34	c ===============================================================================
5.29/5.34	c |       376 |    3630    27013   191528 |     9004      376     54 |  0.000 % |
5.40/5.45	c ===============================================================================
5.40/5.45	c New solution: 103809
5.40/5.45	o 103809
5.40/5.45	c Elapsed CPU time: 5.32219 s	Remaining CPU time: 174.678 s
5.40/5.45	c ===============================================================================
5.40/5.45	c |       378 |    3630    27014   193544 |     9004      378     57 |  0.000 % |
5.59/5.61	c ===============================================================================
5.59/5.61	c New solution: 103808
5.59/5.61	o 103808
5.59/5.61	c Elapsed CPU time: 5.48017 s	Remaining CPU time: 174.52 s
5.59/5.61	c ===============================================================================
5.59/5.61	c |       393 |    3630    27015   195560 |     9005      393     73 |  0.000 % |
5.59/5.68	c ===============================================================================
5.59/5.68	c New solution: 103807
5.59/5.68	o 103807
5.59/5.68	c Elapsed CPU time: 5.55016 s	Remaining CPU time: 174.45 s
5.59/5.68	c ===============================================================================
5.59/5.68	c |       406 |    3630    27016   197576 |     9005      406     87 |  0.000 % |
5.89/5.92	c ===============================================================================
5.89/5.92	c New solution: 102318
5.89/5.92	o 102318
5.89/5.92	c Elapsed CPU time: 5.79212 s	Remaining CPU time: 174.208 s
5.89/5.92	c ===============================================================================
5.89/5.92	c |       462 |    3630    27017   199592 |     9005      462    142 |  0.000 % |
5.99/6.00	c ===============================================================================
5.99/6.00	c New solution: 102263
5.99/6.00	o 102263
5.99/6.00	c Elapsed CPU time: 5.86911 s	Remaining CPU time: 174.131 s
5.99/6.00	c ===============================================================================
5.99/6.00	c |       463 |    3630    27018   201608 |     9006      463    143 |  0.000 % |
5.99/6.06	c ===============================================================================
5.99/6.06	c New solution: 102235
5.99/6.06	o 102235
5.99/6.06	c Elapsed CPU time: 5.9311 s	Remaining CPU time: 174.069 s
5.99/6.06	c ===============================================================================
5.99/6.06	c |       464 |    3630    27019   203624 |     9006      464    144 |  0.000 % |
6.09/6.13	c ===============================================================================
6.09/6.13	c New solution: 102234
6.09/6.13	o 102234
6.09/6.13	c Elapsed CPU time: 5.99509 s	Remaining CPU time: 174.005 s
6.09/6.13	c ===============================================================================
6.09/6.13	c |       469 |    3630    27020   205640 |     9006      469    148 |  0.000 % |
6.09/6.19	c ===============================================================================
6.09/6.19	c New solution: 102233
6.09/6.19	o 102233
6.09/6.19	c Elapsed CPU time: 6.05908 s	Remaining CPU time: 173.941 s
6.09/6.19	c ===============================================================================
6.09/6.19	c |       469 |    3630    27021   207656 |     9007      469    148 |  0.000 % |
6.19/6.28	c ===============================================================================
6.19/6.28	c New solution: 102232
6.19/6.28	o 102232
6.19/6.28	c Elapsed CPU time: 6.14407 s	Remaining CPU time: 173.856 s
6.19/6.28	c ===============================================================================
6.19/6.28	c |       471 |    3630    27022   209672 |     9007      471    149 |  0.000 % |
6.29/6.35	c ===============================================================================
6.29/6.35	c New solution: 102231
6.29/6.35	o 102231
6.29/6.35	c Elapsed CPU time: 6.21005 s	Remaining CPU time: 173.79 s
6.29/6.35	c ===============================================================================
6.29/6.35	c |       473 |    3630    27023   211688 |     9007      473    149 |  0.000 % |
6.39/6.41	c ===============================================================================
6.39/6.41	c New solution: 102230
6.39/6.41	o 102230
6.39/6.41	c Elapsed CPU time: 6.27804 s	Remaining CPU time: 173.722 s
6.39/6.41	c ===============================================================================
6.39/6.41	c |       476 |    3630    27024   213704 |     9008      476    152 |  0.000 % |
6.39/6.50	c ===============================================================================
6.39/6.50	c New solution: 102229
6.39/6.50	o 102229
6.39/6.50	c Elapsed CPU time: 6.36503 s	Remaining CPU time: 173.635 s
6.39/6.50	c ===============================================================================
6.39/6.50	c |       488 |    3630    27025   215720 |     9008      488    160 |  0.000 % |
6.69/6.71	c ===============================================================================
6.69/6.71	c New solution: 102228
6.69/6.71	o 102228
6.69/6.71	c Elapsed CPU time: 6.566 s	Remaining CPU time: 173.434 s
6.69/6.71	c ===============================================================================
6.69/6.71	c |       516 |    3630    27026   217736 |     9008      516    186 |  0.000 % |
6.89/6.98	c |       616 |    3630    27026   217736 |     9909      616    253 | 36.204 % |
6.99/7.04	c ===============================================================================
6.99/7.04	c New solution: 102227
6.99/7.04	o 102227
6.99/7.04	c Elapsed CPU time: 6.89695 s	Remaining CPU time: 173.103 s
6.99/7.04	c ===============================================================================
6.99/7.04	c |       620 |    3630    27027   219752 |     9009      620    256 | 36.204 % |
6.99/7.09	c ===============================================================================
6.99/7.09	c New solution: 102226
6.99/7.09	o 102226
6.99/7.09	c Elapsed CPU time: 6.94694 s	Remaining CPU time: 173.053 s
6.99/7.09	c ===============================================================================
6.99/7.09	c |       622 |    3630    27028   221768 |     9009      622    257 | 36.204 % |
7.19/7.23	c ===============================================================================
7.19/7.23	c New solution: 102225
7.19/7.23	o 102225
7.19/7.23	c Elapsed CPU time: 7.08892 s	Remaining CPU time: 172.911 s
7.19/7.23	c ===============================================================================
7.19/7.23	c |       656 |    3630    27029   223784 |     9009      656    278 | 36.204 % |
7.79/7.80	c ===============================================================================
7.79/7.80	c New solution: 100742
7.79/7.80	o 100742
7.79/7.80	c Elapsed CPU time: 7.65984 s	Remaining CPU time: 172.34 s
7.79/7.80	c ===============================================================================
7.79/7.80	c |       726 |    3630    27030   225800 |     9010      726    310 | 36.204 % |
7.79/7.88	c ===============================================================================
7.79/7.88	c New solution: 100710
7.79/7.88	o 100710
7.79/7.88	c Elapsed CPU time: 7.73882 s	Remaining CPU time: 172.261 s
7.79/7.88	c ===============================================================================
7.79/7.88	c |       729 |    3630    27031   227816 |     9010      729    310 | 36.204 % |
7.99/8.00	c ===============================================================================
7.99/8.00	c New solution: 100709
7.99/8.00	o 100709
7.99/8.00	c Elapsed CPU time: 7.8548 s	Remaining CPU time: 172.145 s
7.99/8.00	c ===============================================================================
7.99/8.00	c |       729 |    3630    27032   229832 |     9010      729    310 | 36.204 % |
8.09/8.10	c ===============================================================================
8.09/8.10	c New solution: 100699
8.09/8.10	o 100699
8.09/8.10	c Elapsed CPU time: 7.95179 s	Remaining CPU time: 172.048 s
8.09/8.10	c ===============================================================================
8.09/8.10	c |       730 |    3630    27033   231848 |     9011      730    310 | 36.204 % |
8.18/8.22	c ===============================================================================
8.18/8.22	c New solution: 100698
8.18/8.22	o 100698
8.18/8.22	c Elapsed CPU time: 8.07177 s	Remaining CPU time: 171.928 s
8.18/8.22	c ===============================================================================
8.18/8.22	c |       731 |    3630    27034   233864 |     9011      731    310 | 36.204 % |
8.29/8.31	c ===============================================================================
8.29/8.31	c New solution: 100697
8.29/8.31	o 100697
8.29/8.31	c Elapsed CPU time: 8.16176 s	Remaining CPU time: 171.838 s
8.29/8.31	c ===============================================================================
8.29/8.31	c |       733 |    3630    27035   235880 |     9011      733    311 | 36.204 % |
8.39/8.43	c ===============================================================================
8.39/8.43	c New solution: 100696
8.39/8.43	o 100696
8.39/8.43	c Elapsed CPU time: 8.27974 s	Remaining CPU time: 171.72 s
8.39/8.43	c ===============================================================================
8.39/8.43	c |       735 |    3630    27036   237896 |     9012      735    310 | 36.204 % |
8.49/8.51	c ===============================================================================
8.49/8.51	c New solution: 100695
8.49/8.51	o 100695
8.49/8.51	c Elapsed CPU time: 8.35673 s	Remaining CPU time: 171.643 s
8.49/8.51	c ===============================================================================
8.49/8.51	c |       736 |    3630    27037   239912 |     9012      736    311 | 36.204 % |
8.59/8.61	c ===============================================================================
8.59/8.61	c New solution: 100694
8.59/8.61	o 100694
8.59/8.61	c Elapsed CPU time: 8.46071 s	Remaining CPU time: 171.539 s
8.59/8.61	c ===============================================================================
8.59/8.61	c |       737 |    3630    27038   241928 |     9012      737    310 | 36.204 % |
8.70/8.70	c ===============================================================================
8.70/8.70	c New solution: 100693
8.70/8.70	o 100693
8.70/8.70	c Elapsed CPU time: 8.5457 s	Remaining CPU time: 171.454 s
8.70/8.70	c ===============================================================================
8.70/8.70	c |       744 |    3630    27039   243944 |     9013      744    313 | 36.204 % |
8.70/8.77	c ===============================================================================
8.70/8.77	c New solution: 100692
8.70/8.77	o 100692
8.70/8.77	c Elapsed CPU time: 8.61969 s	Remaining CPU time: 171.38 s
8.70/8.77	c ===============================================================================
8.70/8.77	c |       746 |    3630    27040   245960 |     9013      746    314 | 36.204 % |
8.80/8.85	c ===============================================================================
8.80/8.85	c New solution: 100677
8.80/8.85	o 100677
8.80/8.85	c Elapsed CPU time: 8.69668 s	Remaining CPU time: 171.303 s
8.80/8.85	c ===============================================================================
8.80/8.85	c |       749 |    3630    27041   247976 |     9013      749    315 | 36.204 % |
8.99/9.03	c ===============================================================================
8.99/9.03	c New solution: 99161
8.99/9.03	o 99161
8.99/9.03	c Elapsed CPU time: 8.87265 s	Remaining CPU time: 171.127 s
8.99/9.03	c ===============================================================================
8.99/9.03	c |       777 |    3630    27042   249992 |     9014      777    322 | 36.204 % |
9.09/9.10	c ===============================================================================
9.09/9.10	c New solution: 99115
9.09/9.10	o 99115
9.09/9.10	c Elapsed CPU time: 8.94564 s	Remaining CPU time: 171.054 s
9.09/9.10	c ===============================================================================
9.09/9.10	c |       778 |    3630    27043   252008 |     9014      778    322 | 36.204 % |
9.09/9.19	c ===============================================================================
9.09/9.19	c New solution: 99114
9.09/9.19	o 99114
9.09/9.19	c Elapsed CPU time: 9.03763 s	Remaining CPU time: 170.962 s
9.09/9.19	c ===============================================================================
9.09/9.19	c |       791 |    3630    27044   254024 |     9014      791    325 | 36.204 % |
9.29/9.30	c ===============================================================================
9.29/9.30	c New solution: 97603
9.29/9.30	o 97603
9.29/9.30	c Elapsed CPU time: 9.14761 s	Remaining CPU time: 170.852 s
9.29/9.30	c ===============================================================================
9.29/9.30	c |       799 |    3630    27045   256040 |     9015      799    328 | 36.204 % |
9.29/9.39	c ===============================================================================
9.29/9.39	c New solution: 97551
9.29/9.39	o 97551
9.29/9.39	c Elapsed CPU time: 9.2326 s	Remaining CPU time: 170.767 s
9.29/9.39	c ===============================================================================
9.29/9.39	c |       799 |    3630    27046   258056 |     9015      799    328 | 36.204 % |
9.39/9.47	c ===============================================================================
9.39/9.47	c New solution: 97550
9.39/9.47	o 97550
9.39/9.47	c Elapsed CPU time: 9.32058 s	Remaining CPU time: 170.679 s
9.39/9.47	c ===============================================================================
9.39/9.47	c |       800 |    3630    27047   260072 |     9015      800    328 | 36.204 % |
9.49/9.56	c ===============================================================================
9.49/9.56	c New solution: 97549
9.49/9.56	o 97549
9.49/9.56	c Elapsed CPU time: 9.40157 s	Remaining CPU time: 170.598 s
9.49/9.56	c ===============================================================================
9.49/9.56	c |       801 |    3630    27048   262088 |     9016      801    328 | 36.204 % |
9.59/9.64	c ===============================================================================
9.59/9.64	c New solution: 97548
9.59/9.64	o 97548
9.59/9.64	c Elapsed CPU time: 9.48856 s	Remaining CPU time: 170.511 s
9.59/9.64	c ===============================================================================
9.59/9.64	c |       802 |    3630    27049   264104 |     9016      802    328 | 36.204 % |
9.69/9.74	c ===============================================================================
9.69/9.74	c New solution: 97547
9.69/9.74	o 97547
9.69/9.74	c Elapsed CPU time: 9.58054 s	Remaining CPU time: 170.419 s
9.69/9.74	c ===============================================================================
9.69/9.74	c |       803 |    3630    27050   266120 |     9016      803    328 | 36.204 % |
9.79/9.81	c ===============================================================================
9.79/9.81	c New solution: 97546
9.79/9.81	o 97546
9.79/9.81	c Elapsed CPU time: 9.65253 s	Remaining CPU time: 170.347 s
9.79/9.81	c ===============================================================================
9.79/9.81	c |       803 |    3630    27051   268136 |     9017      803    328 | 36.204 % |
9.79/9.88	c ===============================================================================
9.79/9.88	c New solution: 97545
9.79/9.88	o 97545
9.79/9.88	c Elapsed CPU time: 9.72252 s	Remaining CPU time: 170.277 s
9.79/9.88	c ===============================================================================
9.79/9.88	c |       804 |    3630    27052   270152 |     9017      804    328 | 36.204 % |
9.89/9.95	c ===============================================================================
9.89/9.95	c New solution: 97544
9.89/9.95	o 97544
9.89/9.95	c Elapsed CPU time: 9.79751 s	Remaining CPU time: 170.202 s
9.89/9.95	c ===============================================================================
9.89/9.95	c |       808 |    3630    27053   272168 |     9017      808    329 | 36.204 % |
10.39/10.42	c ===============================================================================
10.39/10.42	c New solution: 97543
10.39/10.42	o 97543
10.39/10.42	c Elapsed CPU time: 10.2604 s	Remaining CPU time: 169.74 s
10.39/10.42	c ===============================================================================
10.39/10.42	c |       897 |    3630    27054   274184 |     9018      897    363 | 36.204 % |
10.39/10.46	c ===============================================================================
10.39/10.46	c New solution: 97542
10.39/10.46	o 97542
10.39/10.46	c Elapsed CPU time: 10.3004 s	Remaining CPU time: 169.7 s
10.39/10.46	c ===============================================================================
10.39/10.46	c |       903 |    3630    27055   276200 |     9018      903    364 | 36.204 % |
10.59/10.69	c ===============================================================================
10.59/10.69	c New solution: 97541
10.59/10.69	o 97541
10.59/10.69	c Elapsed CPU time: 10.5344 s	Remaining CPU time: 169.466 s
10.59/10.69	c ===============================================================================
10.59/10.69	c |       968 |    3630    27056   278216 |     9018      968    384 | 36.204 % |
10.79/10.80	c ===============================================================================
10.79/10.80	c New solution: 96025
10.79/10.80	o 96025
10.79/10.80	c Elapsed CPU time: 10.6354 s	Remaining CPU time: 169.365 s
10.79/10.80	c ===============================================================================
10.79/10.80	c |       975 |    3630    27057   280232 |     9019      975    385 | 36.204 % |
11.00/11.03	c ===============================================================================
11.00/11.03	c New solution: 96023
11.00/11.03	o 96023
11.00/11.03	c Elapsed CPU time: 10.8693 s	Remaining CPU time: 169.131 s
11.00/11.03	c ===============================================================================
11.00/11.03	c |       978 |    3630    27058   282248 |     9019      978    385 | 36.204 % |
11.09/11.15	c ===============================================================================
11.09/11.15	c New solution: 95994
11.09/11.15	o 95994
11.09/11.15	c Elapsed CPU time: 10.9853 s	Remaining CPU time: 169.015 s
11.09/11.15	c ===============================================================================
11.09/11.15	c |       978 |    3630    27059   284264 |     9019      978    385 | 36.204 % |
11.19/11.28	c ===============================================================================
11.19/11.28	c New solution: 95980
11.19/11.28	o 95980
11.19/11.28	c Elapsed CPU time: 11.1093 s	Remaining CPU time: 168.891 s
11.19/11.28	c ===============================================================================
11.19/11.28	c |       982 |    3630    27060   286280 |     9020      982    385 | 36.204 % |
11.29/11.37	c ===============================================================================
11.29/11.37	c New solution: 95979
11.29/11.37	o 95979
11.29/11.37	c Elapsed CPU time: 11.2043 s	Remaining CPU time: 168.796 s
11.29/11.37	c ===============================================================================
11.29/11.37	c |       982 |    3630    27061   288296 |     9020      982    385 | 36.204 % |
11.38/11.47	c ===============================================================================
11.38/11.47	c New solution: 95978
11.38/11.47	o 95978
11.38/11.47	c Elapsed CPU time: 11.3033 s	Remaining CPU time: 168.697 s
11.38/11.47	c ===============================================================================
11.38/11.47	c |       982 |    3630    27062   290312 |     9020      982    385 | 36.204 % |
11.48/11.56	c ===============================================================================
11.48/11.56	c New solution: 95977
11.48/11.56	o 95977
11.48/11.56	c Elapsed CPU time: 11.3953 s	Remaining CPU time: 168.605 s
11.48/11.56	c ===============================================================================
11.48/11.56	c |       982 |    3630    27063   292328 |     9021      982    385 | 36.204 % |
11.59/11.66	c ===============================================================================
11.59/11.66	c New solution: 95976
11.59/11.66	o 95976
11.59/11.66	c Elapsed CPU time: 11.4883 s	Remaining CPU time: 168.512 s
11.59/11.66	c ===============================================================================
11.59/11.66	c |       983 |    3630    27064   294344 |     9021      983    385 | 36.204 % |
11.69/11.75	c ===============================================================================
11.69/11.75	c New solution: 95975
11.69/11.75	o 95975
11.69/11.75	c Elapsed CPU time: 11.5762 s	Remaining CPU time: 168.424 s
11.69/11.75	c ===============================================================================
11.69/11.75	c |       983 |    3630    27065   296360 |     9021      983    385 | 36.204 % |
11.79/11.83	c ===============================================================================
11.79/11.83	c New solution: 95974
11.79/11.83	o 95974
11.79/11.83	c Elapsed CPU time: 11.6592 s	Remaining CPU time: 168.341 s
11.79/11.83	c ===============================================================================
11.79/11.83	c |       983 |    3630    27066   298376 |     9022      983    385 | 36.204 % |
11.89/11.92	c ===============================================================================
11.89/11.92	c New solution: 95973
11.89/11.92	o 95973
11.89/11.92	c Elapsed CPU time: 11.7452 s	Remaining CPU time: 168.255 s
11.89/11.92	c ===============================================================================
11.89/11.92	c |       983 |    3630    27067   300392 |     9022      983    385 | 36.204 % |
12.00/12.00	c ===============================================================================
12.00/12.00	c New solution: 95972
12.00/12.00	o 95972
12.00/12.00	c Elapsed CPU time: 11.8272 s	Remaining CPU time: 168.173 s
12.00/12.00	c ===============================================================================
12.00/12.00	c |       983 |    3630    27068   302408 |     9022      983    385 | 36.204 % |
12.00/12.09	c ===============================================================================
12.00/12.09	c New solution: 95971
12.00/12.09	o 95971
12.00/12.09	c Elapsed CPU time: 11.9122 s	Remaining CPU time: 168.088 s
12.00/12.09	c ===============================================================================
12.00/12.09	c |       987 |    3630    27069   304424 |     9023      987    386 | 36.204 % |
12.69/12.71	c |      1088 |    3630    27069   304424 |     9925     1088    411 | 36.204 % |
12.69/12.79	c ===============================================================================
12.69/12.79	c New solution: 95970
12.69/12.79	o 95970
12.69/12.79	c Elapsed CPU time: 12.6151 s	Remaining CPU time: 167.385 s
12.69/12.79	c ===============================================================================
12.69/12.79	c |      1089 |    3630    27070   306440 |     9023     1089    411 | 36.204 % |
12.89/12.91	c ===============================================================================
12.89/12.91	c New solution: 94459
12.89/12.91	o 94459
12.89/12.91	c Elapsed CPU time: 12.7311 s	Remaining CPU time: 167.269 s
12.89/12.91	c ===============================================================================
12.89/12.91	c |      1095 |    3630    27071   308456 |     9023     1095    413 | 36.204 % |
13.20/13.20	c ===============================================================================
13.20/13.20	c New solution: 94431
13.20/13.20	o 94431
13.20/13.20	c Elapsed CPU time: 13.024 s	Remaining CPU time: 166.976 s
13.20/13.20	c ===============================================================================
13.20/13.20	c |      1167 |    3630    27072   310472 |     9024     1167    424 | 36.204 % |
13.29/13.32	c ===============================================================================
13.29/13.32	c New solution: 94430
13.29/13.32	o 94430
13.29/13.32	c Elapsed CPU time: 13.14 s	Remaining CPU time: 166.86 s
13.29/13.32	c ===============================================================================
13.29/13.32	c |      1171 |    3630    27073   312488 |     9024     1171    425 | 36.204 % |
13.89/13.95	c ===============================================================================
13.89/13.95	c New solution: 94429
13.89/13.95	o 94429
13.89/13.95	c Elapsed CPU time: 13.7649 s	Remaining CPU time: 166.235 s
13.89/13.95	c ===============================================================================
13.89/13.95	c |      1242 |    3630    27074   314504 |     9024     1242    439 | 36.204 % |
13.99/14.07	c ===============================================================================
13.99/14.07	c New solution: 94428
13.99/14.07	o 94428
13.99/14.07	c Elapsed CPU time: 13.8879 s	Remaining CPU time: 166.112 s
13.99/14.07	c ===============================================================================
13.99/14.07	c |      1248 |    3630    27075   316520 |     9025     1248    439 | 36.204 % |
14.20/14.22	c ===============================================================================
14.20/14.22	c New solution: 94427
14.20/14.22	o 94427
14.20/14.22	c Elapsed CPU time: 14.0409 s	Remaining CPU time: 165.959 s
14.20/14.22	c ===============================================================================
14.20/14.22	c |      1253 |    3630    27076   318536 |     9025     1253    440 | 36.204 % |
14.30/14.36	c ===============================================================================
14.30/14.36	c New solution: 94426
14.30/14.36	o 94426
14.30/14.36	c Elapsed CPU time: 14.1748 s	Remaining CPU time: 165.825 s
14.30/14.36	c ===============================================================================
14.30/14.36	c |      1260 |    3630    27077   320552 |     9025     1260    440 | 36.204 % |
14.39/14.46	c ===============================================================================
14.39/14.46	c New solution: 94425
14.39/14.46	o 94425
14.39/14.46	c Elapsed CPU time: 14.2768 s	Remaining CPU time: 165.723 s
14.39/14.46	c ===============================================================================
14.39/14.46	c |      1266 |    3630    27078   322568 |     9026     1266    440 | 36.204 % |
14.59/14.61	c ===============================================================================
14.59/14.61	c New solution: 94424
14.59/14.61	o 94424
14.59/14.61	c Elapsed CPU time: 14.4258 s	Remaining CPU time: 165.574 s
14.59/14.61	c ===============================================================================
14.59/14.61	c |      1280 |    3630    27079   324584 |     9026     1280    442 | 36.204 % |
15.49/15.53	c |      1380 |    3630    27079   324584 |     9928     1380    458 | 36.204 % |
16.18/16.25	c ===============================================================================
16.18/16.25	c New solution: 94423
16.18/16.25	o 94423
16.18/16.25	c Elapsed CPU time: 16.0596 s	Remaining CPU time: 163.94 s
16.18/16.25	c ===============================================================================
16.18/16.25	c |      1526 |    3630    27080   326600 |     9026     1526    476 | 36.204 % |
16.28/16.38	c ===============================================================================
16.28/16.38	c New solution: 94422
16.28/16.38	o 94422
16.28/16.38	c Elapsed CPU time: 16.1915 s	Remaining CPU time: 163.808 s
16.28/16.38	c ===============================================================================
16.28/16.38	c |      1532 |    3630    27081   328616 |     9027     1532    476 | 36.204 % |
16.49/16.51	c ===============================================================================
16.49/16.51	c New solution: 94421
16.49/16.51	o 94421
16.49/16.51	c Elapsed CPU time: 16.3195 s	Remaining CPU time: 163.68 s
16.49/16.51	c ===============================================================================
16.49/16.51	c |      1551 |    3630    27082   330632 |     9027     1551    477 | 36.204 % |
16.99/17.06	c ===============================================================================
16.99/17.06	c New solution: 94420
16.99/17.06	o 94420
16.99/17.06	c Elapsed CPU time: 16.8704 s	Remaining CPU time: 163.13 s
16.99/17.06	c ===============================================================================
16.99/17.06	c |      1628 |    3630    27083   332648 |     9027     1628    485 | 36.204 % |
17.19/17.21	c ===============================================================================
17.19/17.21	c New solution: 94419
17.19/17.21	o 94419
17.19/17.21	c Elapsed CPU time: 17.0154 s	Remaining CPU time: 162.985 s
17.19/17.21	c ===============================================================================
17.19/17.21	c |      1631 |    3630    27084   334664 |     9028     1631    484 | 36.204 % |
17.79/17.88	c |      1732 |    3630    27084   334664 |     9930     1732    495 | 36.204 % |
17.89/17.96	c ===============================================================================
17.89/17.96	c New solution: 92889
17.89/17.96	o 92889
17.89/17.96	c Elapsed CPU time: 17.7653 s	Remaining CPU time: 162.235 s
17.89/17.96	c ===============================================================================
17.89/17.96	c |      1735 |    3630    27085   336680 |     9028     1735    494 | 36.204 % |
17.99/18.04	c ===============================================================================
17.99/18.04	c New solution: 92877
17.99/18.04	o 92877
17.99/18.04	c Elapsed CPU time: 17.8453 s	Remaining CPU time: 162.155 s
17.99/18.04	c ===============================================================================
17.99/18.04	c |      1739 |    3630    27086   338696 |     9028     1739    494 | 36.204 % |
18.08/18.17	c ===============================================================================
18.08/18.17	c New solution: 92876
18.08/18.17	o 92876
18.08/18.17	c Elapsed CPU time: 17.9743 s	Remaining CPU time: 162.026 s
18.08/18.17	c ===============================================================================
18.08/18.17	c |      1742 |    3630    27087   340712 |     9029     1742    494 | 36.204 % |
18.18/18.27	c ===============================================================================
18.18/18.27	c New solution: 92874
18.18/18.27	o 92874
18.18/18.27	c Elapsed CPU time: 18.0673 s	Remaining CPU time: 161.933 s
18.18/18.27	c ===============================================================================
18.18/18.27	c |      1743 |    3630    27088   342728 |     9029     1743    494 | 36.204 % |
18.28/18.33	c ===============================================================================
18.28/18.33	c New solution: 92859
18.28/18.33	o 92859
18.28/18.33	c Elapsed CPU time: 18.1332 s	Remaining CPU time: 161.867 s
18.28/18.33	c ===============================================================================
18.28/18.33	c |      1744 |    3630    27089   344744 |     9029     1744    494 | 36.204 % |
18.38/18.43	c ===============================================================================
18.38/18.43	c New solution: 92858
18.38/18.43	o 92858
18.38/18.43	c Elapsed CPU time: 18.2282 s	Remaining CPU time: 161.772 s
18.38/18.43	c ===============================================================================
18.38/18.43	c |      1752 |    3630    27090   346760 |     9030     1752    494 | 36.204 % |
18.38/18.50	c ===============================================================================
18.38/18.50	c New solution: 91334
18.38/18.50	o 91334
18.38/18.50	c Elapsed CPU time: 18.2922 s	Remaining CPU time: 161.708 s
18.38/18.50	c ===============================================================================
18.38/18.50	c |      1754 |    3630    27091   348776 |     9030     1754    494 | 36.204 % |
18.59/18.63	c ===============================================================================
18.59/18.63	c New solution: 91316
18.59/18.63	o 91316
18.59/18.63	c Elapsed CPU time: 18.4252 s	Remaining CPU time: 161.575 s
18.59/18.63	c ===============================================================================
18.59/18.63	c |      1756 |    3630    27092   350792 |     9030     1756    494 | 36.204 % |
18.89/18.92	c ===============================================================================
18.89/18.92	c New solution: 91315
18.89/18.92	o 91315
18.89/18.92	c Elapsed CPU time: 18.7132 s	Remaining CPU time: 161.287 s
18.89/18.92	c ===============================================================================
18.89/18.92	c |      1768 |    3630    27093   352808 |     9031     1768    494 | 36.204 % |
18.98/19.00	c ===============================================================================
18.98/19.00	c New solution: 91313
18.98/19.00	o 91313
18.98/19.00	c Elapsed CPU time: 18.7901 s	Remaining CPU time: 161.21 s
18.98/19.00	c ===============================================================================
18.98/19.00	c |      1769 |    3630    27094   354824 |     9031     1769    494 | 36.204 % |
18.98/19.07	c ===============================================================================
18.98/19.07	c New solution: 91312
18.98/19.07	o 91312
18.98/19.07	c Elapsed CPU time: 18.8601 s	Remaining CPU time: 161.14 s
18.98/19.07	c ===============================================================================
18.98/19.07	c |      1771 |    3630    27095   356840 |     9031     1771    494 | 36.204 % |
19.18/19.29	c ===============================================================================
19.18/19.29	c New solution: 91311
19.18/19.29	o 91311
19.18/19.29	c Elapsed CPU time: 19.0751 s	Remaining CPU time: 160.925 s
19.18/19.29	c ===============================================================================
19.18/19.29	c |      1771 |    3630    27096   358856 |     9032     1771    494 | 36.204 % |
19.49/19.51	c ===============================================================================
19.49/19.51	c New solution: 91310
19.49/19.51	o 91310
19.49/19.51	c Elapsed CPU time: 19.2981 s	Remaining CPU time: 160.702 s
19.49/19.51	c ===============================================================================
19.49/19.51	c |      1772 |    3630    27097   360872 |     9032     1772    494 | 36.204 % |
19.69/19.72	c ===============================================================================
19.69/19.72	c New solution: 91309
19.69/19.72	o 91309
19.69/19.72	c Elapsed CPU time: 19.508 s	Remaining CPU time: 160.492 s
19.69/19.72	c ===============================================================================
19.69/19.72	c |      1772 |    3630    27098   362888 |     9032     1772    494 | 36.204 % |
19.69/19.80	c ===============================================================================
19.69/19.80	c New solution: 91307
19.69/19.80	o 91307
19.69/19.80	c Elapsed CPU time: 19.58 s	Remaining CPU time: 160.42 s
19.69/19.80	c ===============================================================================
19.69/19.80	c |      1775 |    3630    27099   364904 |     9033     1775    493 | 36.204 % |
19.99/20.00	c ===============================================================================
19.99/20.00	c New solution: 91306
19.99/20.00	o 91306
19.99/20.00	c Elapsed CPU time: 19.788 s	Remaining CPU time: 160.212 s
19.99/20.00	c ===============================================================================
19.99/20.00	c |      1775 |    3630    27100   366920 |     9033     1775    493 | 36.204 % |
20.19/20.21	c ===============================================================================
20.19/20.21	c New solution: 91305
20.19/20.21	o 91305
20.19/20.21	c Elapsed CPU time: 19.993 s	Remaining CPU time: 160.007 s
20.19/20.21	c ===============================================================================
20.19/20.21	c |      1776 |    3630    27101   368936 |     9033     1776    493 | 36.204 % |
20.19/20.28	c ===============================================================================
20.19/20.28	c New solution: 91304
20.19/20.28	o 91304
20.19/20.28	c Elapsed CPU time: 20.0629 s	Remaining CPU time: 159.937 s
20.19/20.28	c ===============================================================================
20.19/20.28	c |      1777 |    3630    27102   370952 |     9034     1777    493 | 36.204 % |
20.28/20.36	c ===============================================================================
20.28/20.36	c New solution: 91303
20.28/20.36	o 91303
20.28/20.36	c Elapsed CPU time: 20.1389 s	Remaining CPU time: 159.861 s
20.28/20.36	c ===============================================================================
20.28/20.36	c |      1779 |    3630    27103   372968 |     9034     1779    493 | 36.204 % |
20.38/20.40	c ===============================================================================
20.38/20.40	c New solution: 91302
20.38/20.40	o 91302
20.38/20.40	c Elapsed CPU time: 20.1829 s	Remaining CPU time: 159.817 s
20.38/20.40	c ===============================================================================
20.38/20.40	c |      1780 |    3630    27104   374984 |     9034     1780    493 | 36.204 % |
20.58/20.60	c ===============================================================================
20.58/20.60	c New solution: 91301
20.58/20.60	o 91301
20.58/20.60	c Elapsed CPU time: 20.3859 s	Remaining CPU time: 159.614 s
20.58/20.60	c ===============================================================================
20.58/20.60	c |      1781 |    3630    27105   377000 |     9035     1781    493 | 36.204 % |
20.58/20.67	c ===============================================================================
20.58/20.67	c New solution: 89757
20.58/20.67	o 89757
20.58/20.67	c Elapsed CPU time: 20.4549 s	Remaining CPU time: 159.545 s
20.58/20.67	c ===============================================================================
20.58/20.67	c |      1783 |    3630    27106   379016 |     9035     1783    493 | 36.204 % |
20.68/20.79	c ===============================================================================
20.68/20.79	c New solution: 89726
20.68/20.79	o 89726
20.68/20.79	c Elapsed CPU time: 20.5759 s	Remaining CPU time: 159.424 s
20.68/20.79	c ===============================================================================
20.68/20.79	c |      1785 |    3630    27107   381032 |     9035     1785    493 | 36.204 % |
20.79/20.86	c ===============================================================================
20.79/20.86	c New solution: 88209
20.79/20.86	o 88209
20.79/20.86	c Elapsed CPU time: 20.6449 s	Remaining CPU time: 159.355 s
20.79/20.86	c ===============================================================================
20.79/20.86	c |      1785 |    3630    27108   383048 |     9036     1785    493 | 36.204 % |
20.89/20.94	c ===============================================================================
20.89/20.94	c New solution: 86677
20.89/20.94	o 86677
20.89/20.94	c Elapsed CPU time: 20.7258 s	Remaining CPU time: 159.274 s
20.89/20.94	c ===============================================================================
20.89/20.94	c |      1785 |    3630    27109   385064 |     9036     1785    493 | 36.204 % |
20.98/21.04	c ===============================================================================
20.98/21.04	c New solution: 86676
20.98/21.04	o 86676
20.98/21.04	c Elapsed CPU time: 20.8238 s	Remaining CPU time: 159.176 s
20.98/21.04	c ===============================================================================
20.98/21.04	c |      1785 |    3630    27110   387080 |     9036     1785    493 | 36.204 % |
21.08/21.13	c ===============================================================================
21.08/21.13	c New solution: 86674
21.08/21.13	o 86674
21.08/21.13	c Elapsed CPU time: 20.9048 s	Remaining CPU time: 159.095 s
21.08/21.13	c ===============================================================================
21.08/21.13	c |      1785 |    3630    27111   389096 |     9037     1785    493 | 36.204 % |
21.18/21.27	c ===============================================================================
21.18/21.27	c New solution: 86673
21.18/21.27	o 86673
21.18/21.27	c Elapsed CPU time: 21.0498 s	Remaining CPU time: 158.95 s
21.18/21.27	c ===============================================================================
21.18/21.27	c |      1785 |    3630    27112   391112 |     9037     1785    493 | 36.204 % |
21.29/21.33	c ===============================================================================
21.29/21.33	c New solution: 86672
21.29/21.33	o 86672
21.29/21.33	c Elapsed CPU time: 21.1088 s	Remaining CPU time: 158.891 s
21.29/21.33	c ===============================================================================
21.29/21.33	c |      1785 |    3630    27113   393128 |     9037     1785    493 | 36.204 % |
21.39/21.41	c ===============================================================================
21.39/21.41	c New solution: 86671
21.39/21.41	o 86671
21.39/21.41	c Elapsed CPU time: 21.1878 s	Remaining CPU time: 158.812 s
21.39/21.41	c ===============================================================================
21.39/21.41	c |      1785 |    3630    27114   395144 |     9038     1785    493 | 36.204 % |
21.39/21.49	c ===============================================================================
21.39/21.49	c New solution: 86670
21.39/21.49	o 86670
21.39/21.49	c Elapsed CPU time: 21.2628 s	Remaining CPU time: 158.737 s
21.39/21.49	c ===============================================================================
21.39/21.49	c |      1785 |    3630    27115   397160 |     9038     1785    493 | 36.204 % |
21.49/21.57	c ===============================================================================
21.49/21.57	c New solution: 86669
21.49/21.57	o 86669
21.49/21.57	c Elapsed CPU time: 21.3448 s	Remaining CPU time: 158.655 s
21.49/21.57	c ===============================================================================
21.49/21.57	c |      1787 |    3630    27116   399176 |     9038     1787    492 | 36.204 % |
21.59/21.63	c ===============================================================================
21.59/21.63	c New solution: 86668
21.59/21.63	o 86668
21.59/21.63	c Elapsed CPU time: 21.4027 s	Remaining CPU time: 158.597 s
21.59/21.63	c ===============================================================================
21.59/21.63	c |      1787 |    3630    27117   401192 |     9039     1787    492 | 36.204 % |
21.59/21.69	c ===============================================================================
21.59/21.69	c New solution: 86667
21.59/21.69	o 86667
21.59/21.69	c Elapsed CPU time: 21.4597 s	Remaining CPU time: 158.54 s
21.59/21.69	c ===============================================================================
21.59/21.69	c |      1787 |    3630    27118   403208 |     9039     1787    492 | 36.204 % |
21.68/21.75	c ===============================================================================
21.68/21.75	c New solution: 86666
21.68/21.75	o 86666
21.68/21.75	c Elapsed CPU time: 21.5167 s	Remaining CPU time: 158.483 s
21.68/21.75	c ===============================================================================
21.68/21.75	c |      1787 |    3630    27119   405224 |     9039     1787    492 | 36.204 % |
21.68/21.79	c ===============================================================================
21.68/21.79	c New solution: 86665
21.68/21.79	o 86665
21.68/21.79	c Elapsed CPU time: 21.5617 s	Remaining CPU time: 158.438 s
21.68/21.79	c ===============================================================================
21.68/21.79	c |      1787 |    3630    27120   407240 |     9040     1787    492 | 36.204 % |
21.78/21.85	c ===============================================================================
21.78/21.85	c New solution: 86664
21.78/21.85	o 86664
21.78/21.85	c Elapsed CPU time: 21.6157 s	Remaining CPU time: 158.384 s
21.78/21.85	c ===============================================================================
21.78/21.85	c |      1789 |    3630    27121   409256 |     9040     1789    492 | 36.204 % |
22.08/22.15	c ===============================================================================
22.08/22.15	c New solution: 86646
22.08/22.15	o 86646
22.08/22.15	c Elapsed CPU time: 21.9157 s	Remaining CPU time: 158.084 s
22.08/22.15	c ===============================================================================
22.08/22.15	c |      1790 |    3630    27122   411272 |     9040     1790    492 | 36.204 % |
22.29/22.31	c ===============================================================================
22.29/22.31	c New solution: 86645
22.29/22.31	o 86645
22.29/22.31	c Elapsed CPU time: 22.0746 s	Remaining CPU time: 157.925 s
22.29/22.31	c ===============================================================================
22.29/22.31	c |      1793 |    3630    27123   413288 |     9041     1793    492 | 36.204 % |
22.39/22.47	c ===============================================================================
22.39/22.47	c New solution: 86611
22.39/22.47	o 86611
22.39/22.47	c Elapsed CPU time: 22.2376 s	Remaining CPU time: 157.762 s
22.39/22.47	c ===============================================================================
22.39/22.47	c |      1793 |    3630    27124   415304 |     9041     1793    492 | 36.204 % |
22.59/22.64	c ===============================================================================
22.59/22.64	c New solution: 86610
22.59/22.64	o 86610
22.59/22.64	c Elapsed CPU time: 22.4026 s	Remaining CPU time: 157.597 s
22.59/22.64	c ===============================================================================
22.59/22.64	c |      1794 |    3630    27125   417320 |     9041     1794    492 | 36.204 % |
22.69/22.76	c ===============================================================================
22.69/22.76	c New solution: 86601
22.69/22.76	o 86601
22.69/22.76	c Elapsed CPU time: 22.5246 s	Remaining CPU time: 157.475 s
22.69/22.76	c ===============================================================================
22.69/22.76	c |      1798 |    3630    27126   419336 |     9042     1798    492 | 36.204 % |
23.48/23.52	c |      1898 |    3630    27126   419336 |     9946     1898    502 | 36.204 % |
24.09/24.11	c ===============================================================================
24.09/24.11	c New solution: 86600
24.09/24.11	o 86600
24.09/24.11	c Elapsed CPU time: 23.8674 s	Remaining CPU time: 156.133 s
24.09/24.11	c ===============================================================================
24.09/24.11	c |      1949 |    3630    27127   421352 |     9042     1949    506 | 36.204 % |
24.28/24.31	c ===============================================================================
24.28/24.31	c New solution: 86599
24.28/24.31	o 86599
24.28/24.31	c Elapsed CPU time: 24.0743 s	Remaining CPU time: 155.926 s
24.28/24.31	c ===============================================================================
24.28/24.31	c |      1959 |    3630    27128   423368 |     9042     1959    507 | 36.204 % |
24.38/24.45	c ===============================================================================
24.38/24.45	c New solution: 86598
24.38/24.45	o 86598
24.38/24.45	c Elapsed CPU time: 24.2143 s	Remaining CPU time: 155.786 s
24.38/24.45	c ===============================================================================
24.38/24.45	c |      1961 |    3630    27129   425384 |     9043     1961    507 | 36.204 % |
25.38/25.40	c ===============================================================================
25.38/25.40	c New solution: 86597
25.38/25.40	o 86597
25.38/25.40	c Elapsed CPU time: 25.1632 s	Remaining CPU time: 154.837 s
25.38/25.40	c ===============================================================================
25.38/25.40	c |      2039 |    3630    27130   427400 |     9043     2039    512 | 36.204 % |
25.48/25.59	c ===============================================================================
25.48/25.59	c New solution: 86596
25.48/25.59	o 86596
25.48/25.59	c Elapsed CPU time: 25.3491 s	Remaining CPU time: 154.651 s
25.48/25.59	c ===============================================================================
25.48/25.59	c |      2046 |    3630    27131   429416 |     9043     2046    513 | 36.204 % |
25.68/25.77	c ===============================================================================
25.68/25.77	c New solution: 86595
25.68/25.77	o 86595
25.68/25.77	c Elapsed CPU time: 25.5291 s	Remaining CPU time: 154.471 s
25.68/25.77	c ===============================================================================
25.68/25.77	c |      2058 |    3630    27132   431432 |     9044     2058    513 | 36.204 % |
25.88/25.92	c ===============================================================================
25.88/25.92	c New solution: 86594
25.88/25.92	o 86594
25.88/25.92	c Elapsed CPU time: 25.6731 s	Remaining CPU time: 154.327 s
25.88/25.92	c ===============================================================================
25.88/25.92	c |      2066 |    3630    27133   433448 |     9044     2066    514 | 36.204 % |
25.98/26.06	c ===============================================================================
25.98/26.06	c New solution: 86593
25.98/26.06	o 86593
25.98/26.06	c Elapsed CPU time: 25.8141 s	Remaining CPU time: 154.186 s
25.98/26.06	c ===============================================================================
25.98/26.06	c |      2075 |    3630    27134   435464 |     9044     2075    514 | 36.204 % |
26.58/26.64	c |      2175 |    3630    27134   435464 |     9949     2175    520 | 36.204 % |
28.08/28.15	c ===============================================================================
28.08/28.15	c New solution: 86592
28.08/28.15	o 86592
28.08/28.15	c Elapsed CPU time: 27.9038 s	Remaining CPU time: 152.096 s
28.08/28.15	c ===============================================================================
28.08/28.15	c |      2312 |    3630    27135   437480 |     9045     2312    528 | 36.204 % |
28.28/28.34	c ===============================================================================
28.28/28.34	c New solution: 86591
28.28/28.34	o 86591
28.28/28.34	c Elapsed CPU time: 28.0947 s	Remaining CPU time: 151.905 s
28.28/28.34	c ===============================================================================
28.28/28.34	c |      2312 |    3630    27136   439496 |     9045     2312    528 | 36.204 % |
28.49/28.54	c ===============================================================================
28.49/28.54	c New solution: 86590
28.49/28.54	o 86590
28.49/28.54	c Elapsed CPU time: 28.2867 s	Remaining CPU time: 151.713 s
28.49/28.54	c ===============================================================================
28.49/28.54	c |      2312 |    3630    27137   441512 |     9045     2312    528 | 36.204 % |
28.68/28.73	c ===============================================================================
28.68/28.73	c New solution: 86589
28.68/28.73	o 86589
28.68/28.73	c Elapsed CPU time: 28.4767 s	Remaining CPU time: 151.523 s
28.68/28.73	c ===============================================================================
28.68/28.73	c |      2312 |    3630    27138   443528 |     9046     2312    528 | 36.204 % |
28.88/28.91	c ===============================================================================
28.88/28.91	c New solution: 86588
28.88/28.91	o 86588
28.88/28.91	c Elapsed CPU time: 28.6646 s	Remaining CPU time: 151.335 s
28.88/28.91	c ===============================================================================
28.88/28.91	c |      2312 |    3630    27139   445544 |     9046     2312    528 | 36.204 % |
29.08/29.10	c ===============================================================================
29.08/29.10	c New solution: 86587
29.08/29.10	o 86587
29.08/29.10	c Elapsed CPU time: 28.8506 s	Remaining CPU time: 151.149 s
29.08/29.10	c ===============================================================================
29.08/29.10	c |      2312 |    3630    27140   447560 |     9046     2312    528 | 36.204 % |
29.18/29.29	c ===============================================================================
29.18/29.29	c New solution: 86586
29.18/29.29	o 86586
29.18/29.29	c Elapsed CPU time: 29.0356 s	Remaining CPU time: 150.964 s
29.18/29.29	c ===============================================================================
29.18/29.29	c |      2312 |    3630    27141   449576 |     9047     2312    528 | 36.204 % |
29.38/29.47	c ===============================================================================
29.38/29.47	c New solution: 86585
29.38/29.47	o 86585
29.38/29.47	c Elapsed CPU time: 29.2216 s	Remaining CPU time: 150.778 s
29.38/29.47	c ===============================================================================
29.38/29.47	c |      2312 |    3630    27142   451592 |     9047     2312    528 | 36.204 % |
29.59/29.66	c ===============================================================================
29.59/29.66	c New solution: 86584
29.59/29.66	o 86584
29.59/29.66	c Elapsed CPU time: 29.4075 s	Remaining CPU time: 150.592 s
29.59/29.66	c ===============================================================================
29.59/29.66	c |      2312 |    3630    27143   453608 |     9047     2312    528 | 36.204 % |
29.78/29.85	c ===============================================================================
29.78/29.85	c New solution: 86583
29.78/29.85	o 86583
29.78/29.85	c Elapsed CPU time: 29.6005 s	Remaining CPU time: 150.399 s
29.78/29.85	c ===============================================================================
29.78/29.85	c |      2313 |    3630    27144   455624 |     9048     2313    528 | 36.204 % |
30.28/30.36	c ===============================================================================
30.28/30.36	c New solution: 86582
30.28/30.36	o 86582
30.28/30.36	c Elapsed CPU time: 30.1034 s	Remaining CPU time: 149.897 s
30.28/30.36	c ===============================================================================
30.28/30.36	c |      2355 |    3630    27145   457640 |     9048     2355    530 | 36.204 % |
30.48/30.52	c ===============================================================================
30.48/30.52	c New solution: 86581
30.48/30.52	o 86581
30.48/30.52	c Elapsed CPU time: 30.2714 s	Remaining CPU time: 149.729 s
30.48/30.52	c ===============================================================================
30.48/30.52	c |      2360 |    3630    27146   459656 |     9048     2360    531 | 36.204 % |
31.08/31.16	c |      2460 |    3630    27146   459656 |     9953     2460    536 | 36.204 % |
31.28/31.34	c ===============================================================================
31.28/31.34	c New solution: 86580
31.28/31.34	o 86580
31.28/31.34	c Elapsed CPU time: 31.0873 s	Remaining CPU time: 148.913 s
31.28/31.34	c ===============================================================================
31.28/31.34	c |      2466 |    3630    27147   461672 |     9049     2466    535 | 36.204 % |
32.39/32.44	c |      2567 |    3630    27147   461672 |     9953     2567    540 | 36.204 % |
32.49/32.56	c ===============================================================================
32.49/32.56	c New solution: 85050
32.49/32.56	o 85050
32.49/32.56	c Elapsed CPU time: 32.3011 s	Remaining CPU time: 147.699 s
32.49/32.56	c ===============================================================================
32.49/32.56	c |      2569 |    3630    27148   463688 |     9049     2569    540 | 36.204 % |
32.78/32.81	c ===============================================================================
32.78/32.81	c New solution: 85049
32.78/32.81	o 85049
32.78/32.81	c Elapsed CPU time: 32.5531 s	Remaining CPU time: 147.447 s
32.78/32.81	c ===============================================================================
32.78/32.81	c |      2572 |    3630    27149   465704 |     9049     2572    540 | 36.204 % |
32.89/32.97	c ===============================================================================
32.89/32.97	c New solution: 85048
32.89/32.97	o 85048
32.89/32.97	c Elapsed CPU time: 32.712 s	Remaining CPU time: 147.288 s
32.89/32.97	c ===============================================================================
32.89/32.97	c |      2573 |    3630    27150   467720 |     9050     2573    540 | 36.204 % |
33.08/33.17	c ===============================================================================
33.08/33.17	c New solution: 85047
33.08/33.17	o 85047
33.08/33.17	c Elapsed CPU time: 32.909 s	Remaining CPU time: 147.091 s
33.08/33.17	c ===============================================================================
33.08/33.17	c |      2577 |    3630    27151   469736 |     9050     2577    540 | 36.204 % |
33.18/33.25	c ===============================================================================
33.18/33.25	c New solution: 85046
33.18/33.25	o 85046
33.18/33.25	c Elapsed CPU time: 32.987 s	Remaining CPU time: 147.013 s
33.18/33.25	c ===============================================================================
33.18/33.25	c |      2579 |    3630    27152   471752 |     9050     2579    540 | 36.204 % |
33.38/33.41	c ===============================================================================
33.38/33.41	c New solution: 85045
33.38/33.41	o 85045
33.38/33.41	c Elapsed CPU time: 33.144 s	Remaining CPU time: 146.856 s
33.38/33.41	c ===============================================================================
33.38/33.41	c |      2579 |    3630    27153   473768 |     9051     2579    540 | 36.204 % |
33.48/33.57	c ===============================================================================
33.48/33.57	c New solution: 85044
33.48/33.57	o 85044
33.48/33.57	c Elapsed CPU time: 33.3079 s	Remaining CPU time: 146.692 s
33.48/33.57	c ===============================================================================
33.48/33.57	c |      2579 |    3630    27154   475784 |     9051     2579    540 | 36.204 % |
33.68/33.73	c ===============================================================================
33.68/33.73	c New solution: 85043
33.68/33.73	o 85043
33.68/33.73	c Elapsed CPU time: 33.4669 s	Remaining CPU time: 146.533 s
33.68/33.73	c ===============================================================================
33.68/33.73	c |      2580 |    3630    27155   477800 |     9051     2580    540 | 36.204 % |
34.38/34.45	c |      2681 |    3630    27155   477800 |     9956     2681    545 | 36.204 % |
34.58/34.60	c ===============================================================================
34.58/34.60	c New solution: 85038
34.58/34.60	o 85038
34.58/34.60	c Elapsed CPU time: 34.3268 s	Remaining CPU time: 145.673 s
34.58/34.60	c ===============================================================================
34.58/34.60	c |      2682 |    3630    27156   479816 |     9052     2682    545 | 36.204 % |
34.78/34.80	c ===============================================================================
34.78/34.80	c New solution: 85037
34.78/34.80	o 85037
34.78/34.80	c Elapsed CPU time: 34.5277 s	Remaining CPU time: 145.472 s
34.78/34.80	c ===============================================================================
34.78/34.80	c |      2687 |    3630    27157   481832 |     9052     2687    545 | 36.204 % |
34.88/34.97	c ===============================================================================
34.88/34.97	c New solution: 85036
34.88/34.97	o 85036
34.88/34.97	c Elapsed CPU time: 34.6997 s	Remaining CPU time: 145.3 s
34.88/34.97	c ===============================================================================
34.88/34.97	c |      2687 |    3630    27158   483848 |     9052     2687    545 | 36.204 % |
35.09/35.11	c ===============================================================================
35.09/35.11	c New solution: 85035
35.09/35.11	o 85035
35.09/35.11	c Elapsed CPU time: 34.8437 s	Remaining CPU time: 145.156 s
35.09/35.11	c ===============================================================================
35.09/35.11	c |      2688 |    3630    27159   485864 |     9053     2688    545 | 36.204 % |
35.19/35.29	c ===============================================================================
35.19/35.29	c New solution: 85034
35.19/35.29	o 85034
35.19/35.29	c Elapsed CPU time: 35.0187 s	Remaining CPU time: 144.981 s
35.19/35.29	c ===============================================================================
35.19/35.29	c |      2689 |    3630    27160   487880 |     9053     2689    545 | 36.204 % |
35.38/35.47	c ===============================================================================
35.38/35.47	c New solution: 85033
35.38/35.47	o 85033
35.38/35.47	c Elapsed CPU time: 35.1936 s	Remaining CPU time: 144.806 s
35.38/35.47	c ===============================================================================
35.38/35.47	c |      2689 |    3630    27161   489896 |     9053     2689    545 | 36.204 % |
35.58/35.63	c ===============================================================================
35.58/35.63	c New solution: 85032
35.58/35.63	o 85032
35.58/35.63	c Elapsed CPU time: 35.3576 s	Remaining CPU time: 144.642 s
35.58/35.63	c ===============================================================================
35.58/35.63	c |      2689 |    3630    27162   491912 |     9054     2689    545 | 36.204 % |
35.78/35.80	c ===============================================================================
35.78/35.80	c New solution: 85031
35.78/35.80	o 85031
35.78/35.80	c Elapsed CPU time: 35.5306 s	Remaining CPU time: 144.469 s
35.78/35.80	c ===============================================================================
35.78/35.80	c |      2689 |    3630    27163   493928 |     9054     2689    545 | 36.204 % |
36.98/37.04	c ===============================================================================
36.98/37.04	c New solution: 85030
36.98/37.04	o 85030
36.98/37.04	c Elapsed CPU time: 36.7644 s	Remaining CPU time: 143.236 s
36.98/37.04	c ===============================================================================
36.98/37.04	c |      2784 |    3630    27164   495944 |     9054     2784    548 | 36.204 % |
37.18/37.24	c ===============================================================================
37.18/37.24	c New solution: 85029
37.18/37.24	o 85029
37.18/37.24	c Elapsed CPU time: 36.9644 s	Remaining CPU time: 143.036 s
37.18/37.24	c ===============================================================================
37.18/37.24	c |      2786 |    3630    27165   497960 |     9055     2786    548 | 36.204 % |
37.88/37.99	c |      2886 |    3630    27165   497960 |     9960     2886    552 | 36.204 % |
38.08/38.15	c ===============================================================================
38.08/38.15	c New solution: 85028
38.08/38.15	o 85028
38.08/38.15	c Elapsed CPU time: 37.8732 s	Remaining CPU time: 142.127 s
38.08/38.15	c ===============================================================================
38.08/38.15	c |      2886 |    3630    27166   499976 |     9055     2886    552 | 36.204 % |
38.28/38.31	c ===============================================================================
38.28/38.31	c New solution: 85027
38.28/38.31	o 85027
38.28/38.31	c Elapsed CPU time: 38.0292 s	Remaining CPU time: 141.971 s
38.28/38.31	c ===============================================================================
38.28/38.31	c |      2886 |    3630    27167   501992 |     9055     2886    552 | 36.204 % |
38.39/38.48	c ===============================================================================
38.39/38.48	c New solution: 85026
38.39/38.48	o 85026
38.39/38.48	c Elapsed CPU time: 38.2002 s	Remaining CPU time: 141.8 s
38.39/38.48	c ===============================================================================
38.39/38.48	c |      2886 |    3630    27168   504008 |     9056     2886    552 | 36.204 % |
38.58/38.64	c ===============================================================================
38.58/38.64	c New solution: 85025
38.58/38.64	o 85025
38.58/38.64	c Elapsed CPU time: 38.3632 s	Remaining CPU time: 141.637 s
38.58/38.64	c ===============================================================================
38.58/38.64	c |      2888 |    3630    27169   506024 |     9056     2888    552 | 36.204 % |
38.78/38.82	c ===============================================================================
38.78/38.82	c New solution: 83508
38.78/38.82	o 83508
38.78/38.82	c Elapsed CPU time: 38.5361 s	Remaining CPU time: 141.464 s
38.78/38.82	c ===============================================================================
38.78/38.82	c |      2892 |    3630    27170   508040 |     9056     2892    553 | 36.204 % |
38.98/39.07	c ===============================================================================
38.98/39.07	c New solution: 83501
38.98/39.07	o 83501
38.98/39.07	c Elapsed CPU time: 38.7891 s	Remaining CPU time: 141.211 s
38.98/39.07	c ===============================================================================
38.98/39.07	c |      2893 |    3630    27171   510056 |     9057     2893    553 | 36.204 % |
39.28/39.32	c ===============================================================================
39.28/39.32	c New solution: 83500
39.28/39.32	o 83500
39.28/39.32	c Elapsed CPU time: 39.0411 s	Remaining CPU time: 140.959 s
39.28/39.32	c ===============================================================================
39.28/39.32	c |      2894 |    3630    27172   512072 |     9057     2894    553 | 36.204 % |
39.38/39.49	c ===============================================================================
39.38/39.49	c New solution: 83499
39.38/39.49	o 83499
39.38/39.49	c Elapsed CPU time: 39.21 s	Remaining CPU time: 140.79 s
39.38/39.49	c ===============================================================================
39.38/39.49	c |      2896 |    3630    27173   514088 |     9057     2896    553 | 36.204 % |
39.59/39.69	c ===============================================================================
39.59/39.69	c New solution: 83498
39.59/39.69	o 83498
39.59/39.69	c Elapsed CPU time: 39.403 s	Remaining CPU time: 140.597 s
39.59/39.69	c ===============================================================================
39.59/39.69	c |      2896 |    3630    27174   516104 |     9058     2896    553 | 36.204 % |
39.78/39.89	c ===============================================================================
39.78/39.89	c New solution: 83497
39.78/39.89	o 83497
39.78/39.89	c Elapsed CPU time: 39.602 s	Remaining CPU time: 140.398 s
39.78/39.89	c ===============================================================================
39.78/39.89	c |      2897 |    3630    27175   518120 |     9058     2897    553 | 36.204 % |
39.98/40.07	c ===============================================================================
39.98/40.07	c New solution: 83496
39.98/40.07	o 83496
39.98/40.07	c Elapsed CPU time: 39.788 s	Remaining CPU time: 140.212 s
39.98/40.07	c ===============================================================================
39.98/40.07	c |      2899 |    3630    27176   520136 |     9058     2899    553 | 36.204 % |
40.18/40.28	c ===============================================================================
40.18/40.28	c New solution: 83495
40.18/40.28	o 83495
40.18/40.28	c Elapsed CPU time: 39.9929 s	Remaining CPU time: 140.007 s
40.18/40.28	c ===============================================================================
40.18/40.28	c |      2905 |    3630    27177   522152 |     9059     2905    553 | 36.204 % |
40.38/40.47	c ===============================================================================
40.38/40.47	c New solution: 83494
40.38/40.47	o 83494
40.38/40.47	c Elapsed CPU time: 40.1879 s	Remaining CPU time: 139.812 s
40.38/40.47	c ===============================================================================
40.38/40.47	c |      2908 |    3630    27178   524168 |     9059     2908    553 | 36.204 % |
40.58/40.66	c ===============================================================================
40.58/40.66	c New solution: 83493
40.58/40.66	o 83493
40.58/40.66	c Elapsed CPU time: 40.3759 s	Remaining CPU time: 139.624 s
40.58/40.66	c ===============================================================================
40.58/40.66	c |      2911 |    3630    27179   526184 |     9059     2911    553 | 36.204 % |
40.78/40.86	c ===============================================================================
40.78/40.86	c New solution: 83492
40.78/40.86	o 83492
40.78/40.86	c Elapsed CPU time: 40.5738 s	Remaining CPU time: 139.426 s
40.78/40.86	c ===============================================================================
40.78/40.86	c |      2913 |    3630    27180   528200 |     9060     2913    553 | 36.204 % |
40.97/41.05	c ===============================================================================
40.97/41.05	c New solution: 83491
40.97/41.05	o 83491
40.97/41.05	c Elapsed CPU time: 40.7678 s	Remaining CPU time: 139.232 s
40.97/41.05	c ===============================================================================
40.97/41.05	c |      2913 |    3630    27181   530216 |     9060     2913    553 | 36.204 % |
41.17/41.26	c ===============================================================================
41.17/41.26	c New solution: 83482
41.17/41.26	o 83482
41.17/41.26	c Elapsed CPU time: 40.9698 s	Remaining CPU time: 139.03 s
41.17/41.26	c ===============================================================================
41.17/41.26	c |      2914 |    3630    27182   532232 |     9060     2914    552 | 36.204 % |
41.27/41.38	c ===============================================================================
41.27/41.38	c New solution: 83481
41.27/41.38	o 83481
41.27/41.38	c Elapsed CPU time: 41.0928 s	Remaining CPU time: 138.907 s
41.27/41.38	c ===============================================================================
41.27/41.38	c |      2921 |    3630    27183   534248 |     9061     2921    552 | 36.204 % |
42.08/42.17	c |      3026 |    3630    27183   534248 |     9967     3026    557 | 36.204 % |
42.48/42.57	c ===============================================================================
42.48/42.57	c New solution: 83480
42.48/42.57	o 83480
42.48/42.57	c Elapsed CPU time: 42.2806 s	Remaining CPU time: 137.719 s
42.48/42.57	c ===============================================================================
42.48/42.57	c |      3061 |    3630    27184   536264 |     9061     3061    559 | 36.204 % |
42.79/42.82	c ===============================================================================
42.79/42.82	c New solution: 83479
42.79/42.82	o 83479
42.79/42.82	c Elapsed CPU time: 42.5325 s	Remaining CPU time: 137.467 s
42.79/42.82	c ===============================================================================
42.79/42.82	c |      3070 |    3630    27185   538280 |     9061     3070    558 | 36.204 % |
43.58/43.63	c ===============================================================================
43.58/43.63	c New solution: 83478
43.58/43.63	o 83478
43.58/43.63	c Elapsed CPU time: 43.3424 s	Remaining CPU time: 136.658 s
43.58/43.63	c ===============================================================================
43.58/43.63	c |      3112 |    3630    27186   540296 |     9062     3112    560 | 36.204 % |
43.78/43.87	c ===============================================================================
43.78/43.87	c New solution: 83477
43.78/43.87	o 83477
43.78/43.87	c Elapsed CPU time: 43.5734 s	Remaining CPU time: 136.427 s
43.78/43.87	c ===============================================================================
43.78/43.87	c |      3115 |    3630    27187   542312 |     9062     3115    560 | 36.204 % |
44.08/44.16	c ===============================================================================
44.08/44.16	c New solution: 83476
44.08/44.16	o 83476
44.08/44.16	c Elapsed CPU time: 43.8603 s	Remaining CPU time: 136.14 s
44.08/44.16	c ===============================================================================
44.08/44.16	c |      3124 |    3630    27188   544328 |     9062     3124    560 | 36.204 % |
44.28/44.39	c ===============================================================================
44.28/44.39	c New solution: 83475
44.28/44.39	o 83475
44.28/44.39	c Elapsed CPU time: 44.0973 s	Remaining CPU time: 135.903 s
44.28/44.39	c ===============================================================================
44.28/44.39	c |      3131 |    3630    27189   546344 |     9063     3131    560 | 36.204 % |
45.37/45.41	c |      3231 |    3630    27189   546344 |     9969     3231    563 | 36.204 % |
46.57/46.65	c ===============================================================================
46.57/46.65	c New solution: 83474
46.57/46.65	o 83474
46.57/46.65	c Elapsed CPU time: 46.353 s	Remaining CPU time: 133.647 s
46.57/46.65	c ===============================================================================
46.57/46.65	c |      3342 |    3630    27190   548360 |     9063     3342    567 | 36.204 % |
46.78/46.88	c ===============================================================================
46.78/46.88	c New solution: 83473
46.78/46.88	o 83473
46.78/46.88	c Elapsed CPU time: 46.5779 s	Remaining CPU time: 133.422 s
46.78/46.88	c ===============================================================================
46.78/46.88	c |      3345 |    3630    27191   550376 |     9063     3345    567 | 36.204 % |
48.48/48.52	c |      3446 |    3630    27191   550376 |     9970     3446    569 | 36.204 % |
49.58/49.63	c ===============================================================================
49.58/49.63	c New solution: 83472
49.58/49.63	o 83472
49.58/49.63	c Elapsed CPU time: 49.3285 s	Remaining CPU time: 130.672 s
49.58/49.63	c ===============================================================================
49.58/49.63	c |      3565 |    3630    27192   552392 |     9064     3565    573 | 36.204 % |
49.78/49.84	c ===============================================================================
49.78/49.84	c New solution: 83471
49.78/49.84	o 83471
49.78/49.84	c Elapsed CPU time: 49.5385 s	Remaining CPU time: 130.462 s
49.78/49.84	c ===============================================================================
49.78/49.84	c |      3567 |    3630    27193   554408 |     9064     3567    573 | 36.204 % |
50.88/50.99	c |      3668 |    3630    27193   554408 |     9970     3668    575 | 36.204 % |
51.18/51.21	c ===============================================================================
51.18/51.21	c New solution: 83470
51.18/51.21	o 83470
51.18/51.21	c Elapsed CPU time: 50.9083 s	Remaining CPU time: 129.092 s
51.18/51.21	c ===============================================================================
51.18/51.21	c |      3677 |    3630    27194   556424 |     9064     3677    575 | 36.204 % |
51.48/51.56	c ===============================================================================
51.48/51.56	c New solution: 83469
51.48/51.56	o 83469
51.48/51.56	c Elapsed CPU time: 51.2492 s	Remaining CPU time: 128.751 s
51.48/51.56	c ===============================================================================
51.48/51.56	c |      3687 |    3630    27195   558440 |     9065     3687    575 | 36.204 % |
53.07/53.17	c |      3789 |    3630    27195   558440 |     9971     3789    577 | 36.204 % |
54.58/54.63	c |      3939 |    3630    27195   558440 |    10968     3939    581 | 36.204 % |
54.78/54.84	c ===============================================================================
54.78/54.84	c New solution: 83468
54.78/54.84	o 83468
54.78/54.84	c Elapsed CPU time: 54.5257 s	Remaining CPU time: 125.474 s
54.78/54.84	c ===============================================================================
54.78/54.84	c |      3942 |    3630    27196   560456 |     9065     3942    580 | 36.204 % |
55.08/55.15	c ===============================================================================
55.08/55.15	c New solution: 83467
55.08/55.15	o 83467
55.08/55.15	c Elapsed CPU time: 54.8307 s	Remaining CPU time: 125.169 s
55.08/55.15	c ===============================================================================
55.08/55.15	c |      3951 |    3630    27197   562472 |     9065     3951    581 | 36.204 % |
55.37/55.48	c ===============================================================================
55.37/55.48	c New solution: 83466
55.37/55.48	o 83466
55.37/55.48	c Elapsed CPU time: 55.1586 s	Remaining CPU time: 124.841 s
55.37/55.48	c ===============================================================================
55.37/55.48	c |      3963 |    3630    27198   564488 |     9066     3963    581 | 36.204 % |
56.17/56.23	c ===============================================================================
56.17/56.23	c New solution: 83465
56.17/56.23	o 83465
56.17/56.23	c Elapsed CPU time: 55.9085 s	Remaining CPU time: 124.091 s
56.17/56.23	c ===============================================================================
56.17/56.23	c |      4006 |    3630    27199   566504 |     9066     4006    581 | 36.204 % |
56.37/56.41	c ===============================================================================
56.37/56.41	c New solution: 81952
56.37/56.41	o 81952
56.37/56.41	c Elapsed CPU time: 56.0885 s	Remaining CPU time: 123.912 s
56.37/56.41	c ===============================================================================
56.37/56.41	c |      4009 |    3630    27200   568520 |     9066     4009    581 | 36.204 % |
56.68/56.76	c ===============================================================================
56.68/56.76	c New solution: 81945
56.68/56.76	o 81945
56.68/56.76	c Elapsed CPU time: 56.4404 s	Remaining CPU time: 123.56 s
56.68/56.76	c ===============================================================================
56.68/56.76	c |      4010 |    3630    27201   570536 |     9067     4010    581 | 36.204 % |
56.98/57.06	c ===============================================================================
56.98/57.06	c New solution: 81927
56.98/57.06	o 81927
56.98/57.06	c Elapsed CPU time: 56.7354 s	Remaining CPU time: 123.265 s
56.98/57.06	c ===============================================================================
56.98/57.06	c |      4012 |    3630    27202   572552 |     9067     4012    581 | 36.204 % |
57.28/57.36	c ===============================================================================
57.28/57.36	c New solution: 81926
57.28/57.36	o 81926
57.28/57.36	c Elapsed CPU time: 57.0323 s	Remaining CPU time: 122.968 s
57.28/57.36	c ===============================================================================
57.28/57.36	c |      4012 |    3630    27203   574568 |     9067     4012    581 | 36.204 % |
57.58/57.66	c ===============================================================================
57.58/57.66	c New solution: 81922
57.58/57.66	o 81922
57.58/57.66	c Elapsed CPU time: 57.3343 s	Remaining CPU time: 122.666 s
57.58/57.66	c ===============================================================================
57.58/57.66	c |      4012 |    3630    27204   576584 |     9068     4012    581 | 36.204 % |
57.88/57.95	c ===============================================================================
57.88/57.95	c New solution: 81921
57.88/57.95	o 81921
57.88/57.95	c Elapsed CPU time: 57.6262 s	Remaining CPU time: 122.374 s
57.88/57.95	c ===============================================================================
57.88/57.95	c |      4015 |    3630    27205   578600 |     9068     4015    581 | 36.204 % |
59.77/59.81	c |      4117 |    3630    27205   578600 |     9975     4117    583 | 36.204 % |
60.17/60.22	c ===============================================================================
60.17/60.22	c New solution: 81920
60.17/60.22	o 81920
60.17/60.22	c Elapsed CPU time: 59.8919 s	Remaining CPU time: 120.108 s
60.17/60.22	c ===============================================================================
60.17/60.22	c |      4119 |    3630    27206   580616 |     9068     4119    583 | 36.204 % |
60.37/60.42	c ===============================================================================
60.37/60.42	c New solution: 81919
60.37/60.42	o 81919
60.37/60.42	c Elapsed CPU time: 60.0829 s	Remaining CPU time: 119.917 s
60.37/60.42	c ===============================================================================
60.37/60.42	c |      4120 |    3630    27207   582632 |     9069     4120    583 | 36.204 % |
60.68/60.71	c ===============================================================================
60.68/60.71	c New solution: 81918
60.68/60.71	o 81918
60.68/60.71	c Elapsed CPU time: 60.3738 s	Remaining CPU time: 119.626 s
60.68/60.71	c ===============================================================================
60.68/60.71	c |      4121 |    3630    27208   584648 |     9069     4121    583 | 36.204 % |
60.87/60.92	c ===============================================================================
60.87/60.92	c New solution: 81917
60.87/60.92	o 81917
60.87/60.92	c Elapsed CPU time: 60.5848 s	Remaining CPU time: 119.415 s
60.87/60.92	c ===============================================================================
60.87/60.92	c |      4122 |    3630    27209   586664 |     9069     4122    583 | 36.204 % |
61.17/61.22	c ===============================================================================
61.17/61.22	c New solution: 81916
61.17/61.22	o 81916
61.17/61.22	c Elapsed CPU time: 60.8797 s	Remaining CPU time: 119.12 s
61.17/61.22	c ===============================================================================
61.17/61.22	c |      4122 |    3630    27210   588680 |     9070     4122    583 | 36.204 % |
61.37/61.49	c ===============================================================================
61.37/61.49	c New solution: 81915
61.37/61.49	o 81915
61.37/61.49	c Elapsed CPU time: 61.1527 s	Remaining CPU time: 118.847 s
61.37/61.49	c ===============================================================================
61.37/61.49	c |      4125 |    3630    27211   590696 |     9070     4125    583 | 36.204 % |
61.67/61.71	c ===============================================================================
61.67/61.71	c New solution: 81914
61.67/61.71	o 81914
61.67/61.71	c Elapsed CPU time: 61.3677 s	Remaining CPU time: 118.632 s
61.67/61.71	c ===============================================================================
61.67/61.71	c |      4126 |    3630    27212   592712 |     9070     4126    583 | 36.204 % |
61.87/61.95	c ===============================================================================
61.87/61.95	c New solution: 81913
61.87/61.95	o 81913
61.87/61.95	c Elapsed CPU time: 61.6056 s	Remaining CPU time: 118.394 s
61.87/61.95	c ===============================================================================
61.87/61.95	c |      4138 |    3630    27213   594728 |     9071     4138    584 | 36.204 % |
62.17/62.23	c ===============================================================================
62.17/62.23	c New solution: 81912
62.17/62.23	o 81912
62.17/62.23	c Elapsed CPU time: 61.8826 s	Remaining CPU time: 118.117 s
62.17/62.23	c ===============================================================================
62.17/62.23	c |      4141 |    3630    27214   596744 |     9071     4141    583 | 36.204 % |
62.38/62.40	c ===============================================================================
62.38/62.40	c New solution: 81911
62.38/62.40	o 81911
62.38/62.40	c Elapsed CPU time: 62.0566 s	Remaining CPU time: 117.943 s
62.38/62.40	c ===============================================================================
62.38/62.40	c |      4148 |    3630    27215   598760 |     9071     4148    583 | 36.204 % |
64.27/64.39	c |      4249 |    3630    27215   598760 |     9978     4249    585 | 36.204 % |
64.57/64.61	c ===============================================================================
64.57/64.61	c New solution: 81910
64.57/64.61	o 81910
64.57/64.61	c Elapsed CPU time: 64.2592 s	Remaining CPU time: 115.741 s
64.57/64.61	c ===============================================================================
64.57/64.61	c |      4253 |    3630    27216   600776 |     9072     4253    585 | 36.204 % |
64.78/64.80	c ===============================================================================
64.78/64.80	c New solution: 81909
64.78/64.80	o 81909
64.78/64.80	c Elapsed CPU time: 64.4542 s	Remaining CPU time: 115.546 s
64.78/64.80	c ===============================================================================
64.78/64.80	c |      4254 |    3630    27217   602792 |     9072     4254    585 | 36.204 % |
64.97/65.01	c ===============================================================================
64.97/65.01	c New solution: 81908
64.97/65.01	o 81908
64.97/65.01	c Elapsed CPU time: 64.6572 s	Remaining CPU time: 115.343 s
64.97/65.01	c ===============================================================================
64.97/65.01	c |      4256 |    3630    27218   604808 |     9072     4256    585 | 36.204 % |
65.17/65.28	c ===============================================================================
65.17/65.28	c New solution: 81907
65.17/65.28	o 81907
65.17/65.28	c Elapsed CPU time: 64.9251 s	Remaining CPU time: 115.075 s
65.17/65.28	c ===============================================================================
65.17/65.28	c |      4258 |    3630    27219   606824 |     9073     4258    585 | 36.204 % |
65.88/65.97	c ===============================================================================
65.88/65.97	c New solution: 81906
65.88/65.97	o 81906
65.88/65.97	c Elapsed CPU time: 65.617 s	Remaining CPU time: 114.383 s
65.88/65.97	c ===============================================================================
65.88/65.97	c |      4302 |    3630    27220   608840 |     9073     4302    586 | 36.204 % |
66.17/66.24	c ===============================================================================
66.17/66.24	c New solution: 81905
66.17/66.24	o 81905
66.17/66.24	c Elapsed CPU time: 65.883 s	Remaining CPU time: 114.117 s
66.17/66.24	c ===============================================================================
66.17/66.24	c |      4304 |    3630    27221   610856 |     9073     4304    586 | 36.204 % |
66.57/66.61	c ===============================================================================
66.57/66.61	c New solution: 81904
66.57/66.61	o 81904
66.57/66.61	c Elapsed CPU time: 66.2559 s	Remaining CPU time: 113.744 s
66.57/66.61	c ===============================================================================
66.57/66.61	c |      4328 |    3630    27222   612872 |     9074     4328    586 | 36.204 % |
67.56/67.67	c |      4428 |    3630    27222   612872 |     9981     4428    589 | 36.204 % |
67.76/67.89	c ===============================================================================
67.76/67.89	c New solution: 81903
67.76/67.89	o 81903
67.76/67.89	c Elapsed CPU time: 67.5317 s	Remaining CPU time: 112.468 s
67.76/67.89	c ===============================================================================
67.76/67.89	c |      4432 |    3630    27223   614888 |     9074     4432    589 | 36.204 % |
69.86/69.91	c |      4532 |    3630    27223   614888 |     9981     4532    590 | 36.204 % |
69.96/70.07	c ===============================================================================
69.96/70.07	c New solution: 81902
69.96/70.07	o 81902
69.96/70.07	c Elapsed CPU time: 69.7154 s	Remaining CPU time: 110.285 s
69.96/70.07	c ===============================================================================
69.96/70.07	c |      4536 |    3630    27224   616904 |     9074     4536    590 | 36.204 % |
71.16/71.20	c |      4636 |    3630    27224   616904 |     9982     4636    591 | 36.204 % |
71.37/71.48	c ===============================================================================
71.37/71.48	c New solution: 81901
71.37/71.48	o 81901
71.37/71.48	c Elapsed CPU time: 71.1182 s	Remaining CPU time: 108.882 s
71.37/71.48	c ===============================================================================
71.37/71.48	c |      4651 |    3630    27225   618920 |     9075     4651    592 | 36.204 % |
72.58/72.63	c |      4753 |    3630    27225   618920 |     9982     4753    593 | 36.204 % |
74.07/74.12	c |      4903 |    3630    27225   618920 |    10980     4903    596 | 36.204 % |
74.37/74.42	c ===============================================================================
74.37/74.42	c New solution: 81900
74.37/74.42	o 81900
74.37/74.42	c Elapsed CPU time: 74.0607 s	Remaining CPU time: 105.939 s
74.37/74.42	c ===============================================================================
74.37/74.42	c |      4912 |    3630    27226   620936 |     9075     4912    596 | 36.204 % |
74.57/74.67	c ===============================================================================
74.57/74.67	c New solution: 81899
74.57/74.67	o 81899
74.57/74.67	c Elapsed CPU time: 74.3077 s	Remaining CPU time: 105.692 s
74.57/74.67	c ===============================================================================
74.57/74.67	c |      4913 |    3630    27227   622952 |     9075     4913    596 | 36.204 % |
76.77/76.82	c |      5013 |    3630    27227   622952 |     9983     5013    597 | 36.204 % |
77.27/77.37	c ===============================================================================
77.27/77.37	c New solution: 81898
77.27/77.37	o 81898
77.27/77.37	c Elapsed CPU time: 77.0073 s	Remaining CPU time: 102.993 s
77.27/77.37	c ===============================================================================
77.27/77.37	c |      5084 |    3630    27228   624968 |     9076     5084    597 | 36.204 % |
77.57/77.69	c ===============================================================================
77.57/77.69	c New solution: 81897
77.57/77.69	o 81897
77.57/77.69	c Elapsed CPU time: 77.3252 s	Remaining CPU time: 102.675 s
77.57/77.69	c ===============================================================================
77.57/77.69	c |      5087 |    3630    27229   626984 |     9076     5087    597 | 36.204 % |
78.16/78.24	c ===============================================================================
78.16/78.24	c New solution: 81896
78.16/78.24	o 81896
78.16/78.24	c Elapsed CPU time: 77.8682 s	Remaining CPU time: 102.132 s
78.16/78.24	c ===============================================================================
78.16/78.24	c |      5113 |    3630    27230   629000 |     9076     5113    597 | 36.204 % |
79.17/79.27	c |      5215 |    3630    27230   629000 |     9984     5215    599 | 36.204 % |
79.36/79.48	c ===============================================================================
79.36/79.48	c New solution: 81895
79.36/79.48	o 81895
79.36/79.48	c Elapsed CPU time: 79.114 s	Remaining CPU time: 100.886 s
79.36/79.48	c ===============================================================================
79.36/79.48	c |      5220 |    3630    27231   631016 |     9077     5220    599 | 36.204 % |
79.77/79.87	c ===============================================================================
79.77/79.87	c New solution: 80421
79.77/79.87	o 80421
79.77/79.87	c Elapsed CPU time: 79.4949 s	Remaining CPU time: 100.505 s
79.77/79.87	c ===============================================================================
79.77/79.87	c |      5227 |    3630    27232   633032 |     9077     5227    599 | 36.204 % |
80.27/80.36	c ===============================================================================
80.27/80.36	c New solution: 80375
80.27/80.36	o 80375
80.27/80.36	c Elapsed CPU time: 79.9888 s	Remaining CPU time: 100.011 s
80.27/80.36	c ===============================================================================
80.27/80.36	c |      5272 |    3630    27233   635048 |     9077     5272    598 | 36.204 % |
80.47/80.54	c ===============================================================================
80.47/80.54	c New solution: 80374
80.47/80.54	o 80374
80.47/80.54	c Elapsed CPU time: 80.1698 s	Remaining CPU time: 99.8302 s
80.47/80.54	c ===============================================================================
80.47/80.54	c |      5274 |    3630    27234   637064 |     9078     5274    598 | 36.204 % |
80.87/80.92	c ===============================================================================
80.87/80.92	c New solution: 80367
80.87/80.92	o 80367
80.87/80.92	c Elapsed CPU time: 80.5418 s	Remaining CPU time: 99.4582 s
80.87/80.92	c ===============================================================================
80.87/80.92	c |      5277 |    3630    27235   639080 |     9078     5277    598 | 36.204 % |
82.17/82.24	c |      5379 |    3630    27235   639080 |     9986     5379    600 | 36.204 % |
82.47/82.54	c ===============================================================================
82.47/82.54	c New solution: 80366
82.47/82.54	o 80366
82.47/82.54	c Elapsed CPU time: 82.1635 s	Remaining CPU time: 97.8365 s
82.47/82.54	c ===============================================================================
82.47/82.54	c |      5380 |    3630    27236   641096 |     9078     5380    600 | 36.204 % |
82.76/82.87	c ===============================================================================
82.76/82.87	c New solution: 80365
82.76/82.87	o 80365
82.76/82.87	c Elapsed CPU time: 82.4875 s	Remaining CPU time: 97.5125 s
82.76/82.87	c ===============================================================================
82.76/82.87	c |      5383 |    3630    27237   643112 |     9079     5383    600 | 36.204 % |
83.26/83.31	c ===============================================================================
83.26/83.31	c New solution: 80364
83.26/83.31	o 80364
83.26/83.31	c Elapsed CPU time: 82.9324 s	Remaining CPU time: 97.0676 s
83.26/83.31	c ===============================================================================
83.26/83.31	c |      5385 |    3630    27238   645128 |     9079     5385    600 | 36.204 % |
83.66/83.75	c ===============================================================================
83.66/83.75	c New solution: 80363
83.66/83.75	o 80363
83.66/83.75	c Elapsed CPU time: 83.3723 s	Remaining CPU time: 96.6277 s
83.66/83.75	c ===============================================================================
83.66/83.75	c |      5401 |    3630    27239   647144 |     9079     5401    600 | 36.204 % |
83.96/84.06	c ===============================================================================
83.96/84.06	c New solution: 80362
83.96/84.06	o 80362
83.96/84.06	c Elapsed CPU time: 83.6763 s	Remaining CPU time: 96.3237 s
83.96/84.06	c ===============================================================================
83.96/84.06	c |      5403 |    3630    27240   649160 |     9080     5403    600 | 36.204 % |
84.26/84.36	c ===============================================================================
84.26/84.36	c New solution: 80361
84.26/84.36	o 80361
84.26/84.36	c Elapsed CPU time: 83.9792 s	Remaining CPU time: 96.0208 s
84.26/84.36	c ===============================================================================
84.26/84.36	c |      5405 |    3630    27241   651176 |     9080     5405    600 | 36.204 % |
84.87/84.95	c ===============================================================================
84.87/84.95	c New solution: 80360
84.87/84.95	o 80360
84.87/84.95	c Elapsed CPU time: 84.5661 s	Remaining CPU time: 95.4339 s
84.87/84.95	c ===============================================================================
84.87/84.95	c |      5441 |    3630    27242   653192 |     9080     5441    601 | 36.204 % |
85.57/85.61	c ===============================================================================
85.57/85.61	c New solution: 80359
85.57/85.61	o 80359
85.57/85.61	c Elapsed CPU time: 85.221 s	Remaining CPU time: 94.779 s
85.57/85.61	c ===============================================================================
85.57/85.61	c |      5495 |    3630    27243   655208 |     9081     5495    602 | 36.204 % |
85.86/85.95	c ===============================================================================
85.86/85.95	c New solution: 80358
85.86/85.95	o 80358
85.86/85.95	c Elapsed CPU time: 85.56 s	Remaining CPU time: 94.44 s
85.86/85.95	c ===============================================================================
85.86/85.95	c |      5495 |    3630    27244   657224 |     9081     5495    602 | 36.204 % |
86.16/86.28	c ===============================================================================
86.16/86.28	c New solution: 80357
86.16/86.28	o 80357
86.16/86.28	c Elapsed CPU time: 85.8939 s	Remaining CPU time: 94.1061 s
86.16/86.28	c ===============================================================================
86.16/86.28	c |      5495 |    3630    27245   659240 |     9081     5495    602 | 36.204 % |
86.56/86.62	c ===============================================================================
86.56/86.62	c New solution: 80356
86.56/86.62	o 80356
86.56/86.62	c Elapsed CPU time: 86.2279 s	Remaining CPU time: 93.7721 s
86.56/86.62	c ===============================================================================
86.56/86.62	c |      5495 |    3630    27246   661256 |     9082     5495    602 | 36.204 % |
86.87/86.95	c ===============================================================================
86.87/86.95	c New solution: 80355
86.87/86.95	o 80355
86.87/86.95	c Elapsed CPU time: 86.5608 s	Remaining CPU time: 93.4392 s
86.87/86.95	c ===============================================================================
86.87/86.95	c |      5495 |    3630    27247   663272 |     9082     5495    602 | 36.204 % |
86.96/87.09	c ===============================================================================
86.96/87.09	c New solution: 80354
86.96/87.09	o 80354
86.96/87.09	c Elapsed CPU time: 86.6988 s	Remaining CPU time: 93.3012 s
86.96/87.09	c ===============================================================================
86.96/87.09	c |      5505 |    3630    27248   665288 |     9082     5505    602 | 36.204 % |
87.46/87.53	c ===============================================================================
87.46/87.53	c New solution: 80353
87.46/87.53	o 80353
87.46/87.53	c Elapsed CPU time: 87.1408 s	Remaining CPU time: 92.8592 s
87.46/87.53	c ===============================================================================
87.46/87.53	c |      5506 |    3630    27249   667304 |     9083     5506    602 | 36.204 % |
87.76/87.86	c ===============================================================================
87.76/87.86	c New solution: 80352
87.76/87.86	o 80352
87.76/87.86	c Elapsed CPU time: 87.4717 s	Remaining CPU time: 92.5283 s
87.76/87.86	c ===============================================================================
87.76/87.86	c |      5507 |    3630    27250   669320 |     9083     5507    602 | 36.204 % |
88.06/88.15	c ===============================================================================
88.06/88.15	c New solution: 80351
88.06/88.15	o 80351
88.06/88.15	c Elapsed CPU time: 87.7627 s	Remaining CPU time: 92.2373 s
88.06/88.15	c ===============================================================================
88.06/88.15	c |      5513 |    3630    27251   671336 |     9083     5513    602 | 36.204 % |
88.36/88.47	c ===============================================================================
88.36/88.47	c New solution: 80350
88.36/88.47	o 80350
88.36/88.47	c Elapsed CPU time: 88.0796 s	Remaining CPU time: 91.9204 s
88.36/88.47	c ===============================================================================
88.36/88.47	c |      5520 |    3630    27252   673352 |     9084     5520    602 | 36.204 % |
89.77/89.82	c |      5620 |    3630    27252   673352 |     9992     5620    603 | 36.204 % |
90.07/90.12	c ===============================================================================
90.07/90.12	c New solution: 80349
90.07/90.12	o 80349
90.07/90.12	c Elapsed CPU time: 89.7204 s	Remaining CPU time: 90.2796 s
90.07/90.12	c ===============================================================================
90.07/90.12	c |      5625 |    3630    27253   675368 |     9084     5625    603 | 36.204 % |
90.66/90.72	c ===============================================================================
90.66/90.72	c New solution: 80348
90.66/90.72	o 80348
90.66/90.72	c Elapsed CPU time: 90.3233 s	Remaining CPU time: 89.6767 s
90.66/90.72	c ===============================================================================
90.66/90.72	c |      5668 |    3630    27254   677384 |     9084     5668    603 | 36.204 % |
90.86/90.96	c ===============================================================================
90.86/90.96	c New solution: 80347
90.86/90.96	o 80347
90.86/90.96	c Elapsed CPU time: 90.5542 s	Remaining CPU time: 89.4458 s
90.86/90.96	c ===============================================================================
90.86/90.96	c |      5676 |    3630    27255   679400 |     9085     5676    604 | 36.204 % |
91.27/91.39	c ===============================================================================
91.27/91.39	c New solution: 80346
91.27/91.39	o 80346
91.27/91.39	c Elapsed CPU time: 90.9902 s	Remaining CPU time: 89.0098 s
91.27/91.39	c ===============================================================================
91.27/91.39	c |      5698 |    3630    27256   681416 |     9085     5698    603 | 36.204 % |
91.66/91.76	c ===============================================================================
91.66/91.76	c New solution: 80345
91.66/91.76	o 80345
91.66/91.76	c Elapsed CPU time: 91.3611 s	Remaining CPU time: 88.6389 s
91.66/91.76	c ===============================================================================
91.66/91.76	c |      5699 |    3630    27257   683432 |     9085     5699    603 | 36.204 % |
92.06/92.11	c ===============================================================================
92.06/92.11	c New solution: 80344
92.06/92.11	o 80344
92.06/92.11	c Elapsed CPU time: 91.7051 s	Remaining CPU time: 88.2949 s
92.06/92.11	c ===============================================================================
92.06/92.11	c |      5700 |    3630    27258   685448 |     9086     5700    603 | 36.204 % |
94.06/94.19	c |      5800 |    3630    27258   685448 |     9994     5800    604 | 36.204 % |
94.46/94.57	c ===============================================================================
94.46/94.57	c New solution: 80343
94.46/94.57	o 80343
94.46/94.57	c Elapsed CPU time: 94.1677 s	Remaining CPU time: 85.8323 s
94.46/94.57	c ===============================================================================
94.46/94.57	c |      5802 |    3630    27259   687464 |     9086     5802    604 | 36.204 % |
94.86/94.90	c ===============================================================================
94.86/94.90	c New solution: 80342
94.86/94.90	o 80342
94.86/94.90	c Elapsed CPU time: 94.4956 s	Remaining CPU time: 85.5044 s
94.86/94.90	c ===============================================================================
94.86/94.90	c |      5805 |    3630    27260   689480 |     9086     5805    604 | 36.204 % |
95.26/95.34	c ===============================================================================
95.26/95.34	c New solution: 80341
95.26/95.34	o 80341
95.26/95.34	c Elapsed CPU time: 94.9396 s	Remaining CPU time: 85.0604 s
95.26/95.34	c ===============================================================================
95.26/95.34	c |      5818 |    3630    27261   691496 |     9087     5818    605 | 36.204 % |
95.76/95.83	c ===============================================================================
95.76/95.83	c New solution: 80340
95.76/95.83	o 80340
95.76/95.83	c Elapsed CPU time: 95.4275 s	Remaining CPU time: 84.5725 s
95.76/95.83	c ===============================================================================
95.76/95.83	c |      5831 |    3630    27262   693512 |     9087     5831    605 | 36.204 % |
96.06/96.13	c ===============================================================================
96.06/96.13	c New solution: 78849
96.06/96.13	o 78849
96.06/96.13	c Elapsed CPU time: 95.7244 s	Remaining CPU time: 84.2756 s
96.06/96.13	c ===============================================================================
96.06/96.13	c |      5832 |    3630    27263   695528 |     9087     5832    605 | 36.204 % |
96.46/96.57	c ===============================================================================
96.46/96.57	c New solution: 78848
96.46/96.57	o 78848
96.46/96.57	c Elapsed CPU time: 96.1594 s	Remaining CPU time: 83.8406 s
96.46/96.57	c ===============================================================================
96.46/96.57	c |      5833 |    3630    27264   697544 |     9088     5833    605 | 36.204 % |
96.96/97.02	c ===============================================================================
96.96/97.02	c New solution: 78829
96.96/97.02	o 78829
96.96/97.02	c Elapsed CPU time: 96.6133 s	Remaining CPU time: 83.3867 s
96.96/97.02	c ===============================================================================
96.96/97.02	c |      5833 |    3630    27265   699560 |     9088     5833    605 | 36.204 % |
97.36/97.46	c ===============================================================================
97.36/97.46	c New solution: 78828
97.36/97.46	o 78828
97.36/97.46	c Elapsed CPU time: 97.0502 s	Remaining CPU time: 82.9498 s
97.36/97.46	c ===============================================================================
97.36/97.46	c |      5833 |    3630    27266   701576 |     9088     5833    605 | 36.204 % |
97.77/97.90	c ===============================================================================
97.77/97.90	c New solution: 78827
97.77/97.90	o 78827
97.77/97.90	c Elapsed CPU time: 97.4822 s	Remaining CPU time: 82.5178 s
97.77/97.90	c ===============================================================================
97.77/97.90	c |      5833 |    3630    27267   703592 |     9089     5833    605 | 36.204 % |
98.16/98.29	c ===============================================================================
98.16/98.29	c New solution: 78814
98.16/98.29	o 78814
98.16/98.29	c Elapsed CPU time: 97.8711 s	Remaining CPU time: 82.1289 s
98.16/98.29	c ===============================================================================
98.16/98.29	c |      5833 |    3630    27268   705608 |     9089     5833    605 | 36.204 % |
98.36/98.43	c ===============================================================================
98.36/98.43	c New solution: 78813
98.36/98.43	o 78813
98.36/98.43	c Elapsed CPU time: 98.0151 s	Remaining CPU time: 81.9849 s
98.36/98.43	c ===============================================================================
98.36/98.43	c |      5835 |    3630    27269   707624 |     9089     5835    605 | 36.204 % |
98.66/98.79	c ===============================================================================
98.66/98.79	c New solution: 78812
98.66/98.79	o 78812
98.66/98.79	c Elapsed CPU time: 98.377 s	Remaining CPU time: 81.623 s
98.66/98.79	c ===============================================================================
98.66/98.79	c |      5837 |    3630    27270   709640 |     9090     5837    605 | 36.204 % |
99.06/99.19	c ===============================================================================
99.06/99.19	c New solution: 78811
99.06/99.19	o 78811
99.06/99.19	c Elapsed CPU time: 98.772 s	Remaining CPU time: 81.228 s
99.06/99.19	c ===============================================================================
99.06/99.19	c |      5840 |    3630    27271   711656 |     9090     5840    605 | 36.204 % |
99.45/99.55	c ===============================================================================
99.45/99.56	c New solution: 78810
99.45/99.56	o 78810
99.45/99.56	c Elapsed CPU time: 99.1379 s	Remaining CPU time: 80.8621 s
99.45/99.56	c ===============================================================================
99.45/99.56	c |      5840 |    3630    27272   713672 |     9090     5840    605 | 36.204 % |
99.65/99.74	c ===============================================================================
99.65/99.74	c New solution: 78809
99.65/99.74	o 78809
99.65/99.74	c Elapsed CPU time: 99.3219 s	Remaining CPU time: 80.6781 s
99.65/99.74	c ===============================================================================
99.65/99.74	c |      5841 |    3630    27273   715688 |     9091     5841    605 | 36.204 % |
100.86/100.96	c ===============================================================================
100.86/100.96	c New solution: 78808
100.86/100.96	o 78808
100.86/100.96	c Elapsed CPU time: 100.54 s	Remaining CPU time: 79.4603 s
100.86/100.96	c ===============================================================================
100.86/100.96	c |      5913 |    3630    27274   717704 |     9091     5913    606 | 36.204 % |
101.17/101.27	c ===============================================================================
101.17/101.27	c New solution: 78807
101.17/101.27	o 78807
101.17/101.27	c Elapsed CPU time: 100.848 s	Remaining CPU time: 79.1523 s
101.17/101.27	c ===============================================================================
101.17/101.27	c |      5915 |    3630    27275   719720 |     9091     5915    606 | 36.204 % |
101.56/101.61	c ===============================================================================
101.56/101.61	c New solution: 78806
101.56/101.61	o 78806
101.56/101.61	c Elapsed CPU time: 101.187 s	Remaining CPU time: 78.8134 s
101.56/101.61	c ===============================================================================
101.56/101.61	c |      5920 |    3630    27276   721736 |     9092     5920    606 | 36.204 % |
101.76/101.83	c ===============================================================================
101.76/101.83	c New solution: 78805
101.76/101.83	o 78805
101.76/101.83	c Elapsed CPU time: 101.411 s	Remaining CPU time: 78.5894 s
101.76/101.83	c ===============================================================================
101.76/101.83	c |      5920 |    3630    27277   723752 |     9092     5920    606 | 36.204 % |
102.06/102.19	c ===============================================================================
102.06/102.19	c New solution: 78804
102.06/102.19	o 78804
102.06/102.19	c Elapsed CPU time: 101.763 s	Remaining CPU time: 78.2375 s
102.06/102.19	c ===============================================================================
102.06/102.19	c |      5922 |    3630    27278   725768 |     9092     5922    606 | 36.204 % |
102.56/102.64	c ===============================================================================
102.56/102.64	c New solution: 78803
102.56/102.64	o 78803
102.56/102.64	c Elapsed CPU time: 102.212 s	Remaining CPU time: 77.7875 s
102.56/102.64	c ===============================================================================
102.56/102.64	c |      5923 |    3630    27279   727784 |     9093     5923    606 | 36.204 % |
102.85/102.98	c ===============================================================================
102.85/102.98	c New solution: 78802
102.85/102.98	o 78802
102.85/102.98	c Elapsed CPU time: 102.554 s	Remaining CPU time: 77.4456 s
102.85/102.98	c ===============================================================================
102.85/102.98	c |      5923 |    3630    27280   729800 |     9093     5923    606 | 36.204 % |
103.27/103.32	c ===============================================================================
103.27/103.32	c New solution: 78801
103.27/103.32	o 78801
103.27/103.32	c Elapsed CPU time: 102.893 s	Remaining CPU time: 77.1066 s
103.27/103.32	c ===============================================================================
103.27/103.32	c |      5923 |    3630    27281   731816 |     9093     5923    606 | 36.204 % |
103.56/103.66	c ===============================================================================
103.56/103.66	c New solution: 78800
103.56/103.66	o 78800
103.56/103.66	c Elapsed CPU time: 103.227 s	Remaining CPU time: 76.7727 s
103.56/103.66	c ===============================================================================
103.56/103.66	c |      5924 |    3630    27282   733832 |     9094     5924    606 | 36.204 % |
103.96/104.02	c ===============================================================================
103.96/104.02	c New solution: 78799
103.96/104.02	o 78799
103.96/104.02	c Elapsed CPU time: 103.581 s	Remaining CPU time: 76.4187 s
103.96/104.02	c ===============================================================================
103.96/104.02	c |      5924 |    3630    27283   735848 |     9094     5924    606 | 36.204 % |
104.26/104.34	c ===============================================================================
104.26/104.34	c New solution: 78798
104.26/104.34	o 78798
104.26/104.34	c Elapsed CPU time: 103.901 s	Remaining CPU time: 76.0988 s
104.26/104.34	c ===============================================================================
104.26/104.34	c |      5925 |    3630    27284   737864 |     9094     5925    606 | 36.204 % |
104.66/104.75	c ===============================================================================
104.66/104.75	c New solution: 78797
104.66/104.75	o 78797
104.66/104.75	c Elapsed CPU time: 104.314 s	Remaining CPU time: 75.6859 s
104.66/104.75	c ===============================================================================
104.66/104.75	c |      5925 |    3630    27285   739880 |     9095     5925    606 | 36.204 % |
105.06/105.17	c ===============================================================================
105.06/105.17	c New solution: 78796
105.06/105.17	o 78796
105.06/105.17	c Elapsed CPU time: 104.73 s	Remaining CPU time: 75.2699 s
105.06/105.17	c ===============================================================================
105.06/105.17	c |      5926 |    3630    27286   741896 |     9095     5926    606 | 36.204 % |
105.46/105.52	c ===============================================================================
105.46/105.52	c New solution: 78795
105.46/105.52	o 78795
105.46/105.52	c Elapsed CPU time: 105.088 s	Remaining CPU time: 74.912 s
105.46/105.52	c ===============================================================================
105.46/105.52	c |      5927 |    3630    27287   743912 |     9095     5927    606 | 36.204 % |
105.75/105.85	c ===============================================================================
105.75/105.85	c New solution: 78794
105.75/105.85	o 78794
105.75/105.85	c Elapsed CPU time: 105.416 s	Remaining CPU time: 74.584 s
105.75/105.85	c ===============================================================================
105.75/105.85	c |      5936 |    3630    27288   745928 |     9096     5936    606 | 36.204 % |
106.15/106.25	c ===============================================================================
106.15/106.25	c New solution: 78793
106.15/106.25	o 78793
106.15/106.25	c Elapsed CPU time: 105.816 s	Remaining CPU time: 74.1841 s
106.15/106.25	c ===============================================================================
106.15/106.25	c |      5942 |    3630    27289   747944 |     9096     5942    606 | 36.204 % |
106.45/106.54	c ===============================================================================
106.45/106.54	c New solution: 78792
106.45/106.54	o 78792
106.45/106.54	c Elapsed CPU time: 106.098 s	Remaining CPU time: 73.9021 s
106.45/106.54	c ===============================================================================
106.45/106.54	c |      5946 |    3630    27290   749960 |     9096     5946    606 | 36.204 % |
106.76/106.83	c ===============================================================================
106.76/106.83	c New solution: 78791
106.76/106.83	o 78791
106.76/106.83	c Elapsed CPU time: 106.386 s	Remaining CPU time: 73.6142 s
106.76/106.83	c ===============================================================================
106.76/106.83	c |      5947 |    3630    27291   751976 |     9097     5947    606 | 36.204 % |
107.06/107.15	c ===============================================================================
107.06/107.15	c New solution: 78790
107.06/107.15	o 78790
107.06/107.15	c Elapsed CPU time: 106.707 s	Remaining CPU time: 73.2932 s
107.06/107.15	c ===============================================================================
107.06/107.15	c |      5947 |    3630    27292   753992 |     9097     5947    606 | 36.204 % |
107.36/107.46	c ===============================================================================
107.36/107.46	c New solution: 78789
107.36/107.46	o 78789
107.36/107.46	c Elapsed CPU time: 107.02 s	Remaining CPU time: 72.9803 s
107.36/107.46	c ===============================================================================
107.36/107.46	c |      5948 |    3630    27293   756008 |     9097     5948    606 | 36.204 % |
107.56/107.67	c ===============================================================================
107.56/107.67	c New solution: 78788
107.56/107.67	o 78788
107.56/107.67	c Elapsed CPU time: 107.23 s	Remaining CPU time: 72.7703 s
107.56/107.67	c ===============================================================================
107.56/107.67	c |      5949 |    3630    27294   758024 |     9098     5949    606 | 36.204 % |
108.15/108.20	c ===============================================================================
108.15/108.20	c New solution: 78787
108.15/108.20	o 78787
108.15/108.20	c Elapsed CPU time: 107.757 s	Remaining CPU time: 72.2434 s
108.15/108.20	c ===============================================================================
108.15/108.20	c |      5963 |    3630    27295   760040 |     9098     5963    606 | 36.204 % |
109.15/109.23	c ===============================================================================
109.15/109.23	c New solution: 78786
109.15/109.23	o 78786
109.15/109.23	c Elapsed CPU time: 108.779 s	Remaining CPU time: 71.2205 s
109.15/109.23	c ===============================================================================
109.15/109.23	c |      5997 |    3630    27296   762056 |     9098     5997    606 | 36.204 % |
110.55/110.61	c |      6099 |    3630    27296   762056 |    10008     6099    607 | 36.204 % |
112.35/112.49	c |      6250 |    3630    27296   762056 |    11009     6250    609 | 36.204 % |
112.65/112.76	c ===============================================================================
112.65/112.76	c New solution: 78785
112.65/112.76	o 78785
112.65/112.76	c Elapsed CPU time: 112.298 s	Remaining CPU time: 67.7021 s
112.65/112.76	c ===============================================================================
112.65/112.76	c |      6252 |    3630    27297   764072 |     9099     6252    609 | 36.204 % |
113.45/113.54	c ===============================================================================
113.45/113.54	c New solution: 78784
113.45/113.54	o 78784
113.45/113.54	c Elapsed CPU time: 113.08 s	Remaining CPU time: 66.9202 s
113.45/113.54	c ===============================================================================
113.45/113.54	c |      6291 |    3630    27298   766088 |     9099     6291    609 | 36.204 % |
113.76/113.81	c ===============================================================================
113.76/113.81	c New solution: 78783
113.76/113.81	o 78783
113.76/113.81	c Elapsed CPU time: 113.343 s	Remaining CPU time: 66.6572 s
113.76/113.81	c ===============================================================================
113.76/113.81	c |      6294 |    3630    27299   768104 |     9099     6294    609 | 36.204 % |
115.16/115.26	c |      6394 |    3630    27299   768104 |    10009     6394    610 | 36.204 % |
115.46/115.56	c ===============================================================================
115.46/115.56	c New solution: 78782
115.46/115.56	o 78782
115.46/115.56	c Elapsed CPU time: 115.094 s	Remaining CPU time: 64.9065 s
115.46/115.56	c ===============================================================================
115.46/115.56	c |      6396 |    3630    27300   770120 |     9100     6396    610 | 36.204 % |
115.95/116.05	c ===============================================================================
115.95/116.05	c New solution: 78781
115.95/116.05	o 78781
115.95/116.05	c Elapsed CPU time: 115.578 s	Remaining CPU time: 64.4216 s
115.95/116.05	c ===============================================================================
115.95/116.05	c |      6397 |    3630    27301   772136 |     9100     6397    610 | 36.204 % |
116.56/116.64	c ===============================================================================
116.56/116.64	c New solution: 78780
116.56/116.64	o 78780
116.56/116.64	c Elapsed CPU time: 116.17 s	Remaining CPU time: 63.8297 s
116.56/116.64	c ===============================================================================
116.56/116.64	c |      6398 |    3630    27302   774152 |     9100     6398    610 | 36.204 % |
116.86/116.93	c ===============================================================================
116.86/116.93	c New solution: 78779
116.86/116.93	o 78779
116.86/116.93	c Elapsed CPU time: 116.453 s	Remaining CPU time: 63.5467 s
116.86/116.93	c ===============================================================================
116.86/116.93	c |      6398 |    3630    27303   776168 |     9101     6398    610 | 36.204 % |
116.96/117.05	c ===============================================================================
116.96/117.05	c New solution: 78778
116.96/117.05	o 78778
116.96/117.05	c Elapsed CPU time: 116.572 s	Remaining CPU time: 63.4277 s
116.96/117.05	c ===============================================================================
116.96/117.05	c |      6400 |    3630    27304   778184 |     9101     6400    609 | 36.204 % |
117.46/117.58	c ===============================================================================
117.46/117.58	c New solution: 78777
117.46/117.58	o 78777
117.46/117.58	c Elapsed CPU time: 117.105 s	Remaining CPU time: 62.8948 s
117.46/117.58	c ===============================================================================
117.46/117.58	c |      6401 |    3630    27305   780200 |     9101     6401    610 | 36.204 % |
118.16/118.21	c ===============================================================================
118.16/118.21	c New solution: 78776
118.16/118.21	o 78776
118.16/118.21	c Elapsed CPU time: 117.729 s	Remaining CPU time: 62.2709 s
118.16/118.21	c ===============================================================================
118.16/118.21	c |      6412 |    3630    27306   782216 |     9102     6412    610 | 36.204 % |
118.46/118.58	c ===============================================================================
118.46/118.58	c New solution: 78775
118.46/118.58	o 78775
118.46/118.58	c Elapsed CPU time: 118.105 s	Remaining CPU time: 61.895 s
118.46/118.58	c ===============================================================================
118.46/118.58	c |      6418 |    3630    27307   784232 |     9102     6418    610 | 36.204 % |
119.25/119.32	c ===============================================================================
119.25/119.32	c New solution: 77266
119.25/119.32	o 77266
119.25/119.32	c Elapsed CPU time: 118.841 s	Remaining CPU time: 61.1591 s
119.25/119.32	c ===============================================================================
119.25/119.32	c |      6440 |    3630    27308   786248 |     9102     6440    610 | 36.204 % |
119.55/119.60	c ===============================================================================
119.55/119.60	c New solution: 77240
119.55/119.60	o 77240
119.55/119.60	c Elapsed CPU time: 119.119 s	Remaining CPU time: 60.8811 s
119.55/119.60	c ===============================================================================
119.55/119.60	c |      6446 |    3630    27309   788264 |     9103     6446    610 | 36.204 % |
119.95/120.01	c ===============================================================================
119.95/120.01	c New solution: 77239
119.95/120.01	o 77239
119.95/120.01	c Elapsed CPU time: 119.529 s	Remaining CPU time: 60.4712 s
119.95/120.01	c ===============================================================================
119.95/120.01	c |      6447 |    3630    27310   790280 |     9103     6447    610 | 36.204 % |
120.25/120.35	c ===============================================================================
120.25/120.35	c New solution: 77233
120.25/120.35	o 77233
120.25/120.35	c Elapsed CPU time: 119.873 s	Remaining CPU time: 60.1272 s
120.25/120.35	c ===============================================================================
120.25/120.35	c |      6448 |    3630    27311   792296 |     9103     6448    610 | 36.204 % |
120.65/120.71	c ===============================================================================
120.65/120.71	c New solution: 77232
120.65/120.71	o 77232
120.65/120.71	c Elapsed CPU time: 120.227 s	Remaining CPU time: 59.7733 s
120.65/120.71	c ===============================================================================
120.65/120.71	c |      6449 |    3630    27312   794312 |     9104     6449    610 | 36.204 % |
120.95/121.06	c ===============================================================================
120.95/121.06	c New solution: 77231
120.95/121.06	o 77231
120.95/121.06	c Elapsed CPU time: 120.579 s	Remaining CPU time: 59.4213 s
120.95/121.06	c ===============================================================================
120.95/121.06	c |      6449 |    3630    27313   796328 |     9104     6449    610 | 36.204 % |
121.15/121.27	c ===============================================================================
121.15/121.27	c New solution: 77230
121.15/121.27	o 77230
121.15/121.27	c Elapsed CPU time: 120.783 s	Remaining CPU time: 59.2174 s
121.15/121.27	c ===============================================================================
121.15/121.27	c |      6455 |    3630    27314   798344 |     9104     6455    610 | 36.204 % |
121.55/121.63	c ===============================================================================
121.55/121.63	c New solution: 77229
121.55/121.63	o 77229
121.55/121.63	c Elapsed CPU time: 121.145 s	Remaining CPU time: 58.8554 s
121.55/121.63	c ===============================================================================
121.55/121.63	c |      6460 |    3630    27315   800360 |     9105     6460    610 | 36.204 % |
121.75/121.83	c ===============================================================================
121.75/121.83	c New solution: 75718
121.75/121.83	o 75718
121.75/121.83	c Elapsed CPU time: 121.345 s	Remaining CPU time: 58.6554 s
121.75/121.83	c ===============================================================================
121.75/121.83	c |      6460 |    3630    27316   802376 |     9105     6460    610 | 36.204 % |
121.96/122.00	c ===============================================================================
121.96/122.00	c New solution: 75717
121.96/122.00	o 75717
121.96/122.00	c Elapsed CPU time: 121.513 s	Remaining CPU time: 58.4875 s
121.96/122.00	c ===============================================================================
121.96/122.00	c |      6461 |    3630    27317   804392 |     9105     6461    609 | 36.204 % |
122.06/122.14	c ===============================================================================
122.06/122.14	c New solution: 75716
122.06/122.14	o 75716
122.06/122.14	c Elapsed CPU time: 121.656 s	Remaining CPU time: 58.3445 s
122.06/122.14	c ===============================================================================
122.06/122.14	c |      6462 |    3630    27318   806408 |     9106     6462    609 | 36.204 % |
122.35/122.42	c ===============================================================================
122.35/122.42	c New solution: 75678
122.35/122.42	o 75678
122.35/122.42	c Elapsed CPU time: 121.927 s	Remaining CPU time: 58.0725 s
122.35/122.42	c ===============================================================================
122.35/122.42	c |      6464 |    3630    27319   808424 |     9106     6464    609 | 36.204 % |
123.45/123.56	c |      6564 |    3630    27319   808424 |    10016     6564    611 | 36.204 % |
123.75/123.89	c ===============================================================================
123.75/123.89	c New solution: 75677
123.75/123.89	o 75677
123.75/123.89	c Elapsed CPU time: 123.392 s	Remaining CPU time: 56.6078 s
123.75/123.89	c ===============================================================================
123.75/123.89	c |      6567 |    3630    27320   810440 |     9106     6567    611 | 36.204 % |
124.15/124.23	c ===============================================================================
124.15/124.23	c New solution: 75675
124.15/124.23	o 75675
124.15/124.23	c Elapsed CPU time: 123.738 s	Remaining CPU time: 56.2618 s
124.15/124.23	c ===============================================================================
124.15/124.23	c |      6567 |    3630    27321   812456 |     9107     6567    611 | 36.204 % |
124.45/124.56	c ===============================================================================
124.45/124.56	c New solution: 75667
124.45/124.56	o 75667
124.45/124.56	c Elapsed CPU time: 124.067 s	Remaining CPU time: 55.9329 s
124.45/124.56	c ===============================================================================
124.45/124.56	c |      6568 |    3630    27322   814472 |     9107     6568    611 | 36.204 % |
124.85/124.95	c ===============================================================================
124.85/124.95	c New solution: 75666
124.85/124.95	o 75666
124.85/124.95	c Elapsed CPU time: 124.451 s	Remaining CPU time: 55.5489 s
124.85/124.95	c ===============================================================================
124.85/124.95	c |      6568 |    3630    27323   816488 |     9107     6568    611 | 36.204 % |
125.15/125.27	c ===============================================================================
125.15/125.27	c New solution: 75665
125.15/125.27	o 75665
125.15/125.27	c Elapsed CPU time: 124.771 s	Remaining CPU time: 55.229 s
125.15/125.27	c ===============================================================================
125.15/125.27	c |      6574 |    3630    27324   818504 |     9108     6574    611 | 36.204 % |
125.75/125.82	c |      6674 |    3630    27324   818504 |    10018     6674    610 | 36.204 % |
128.35/128.46	c |      6824 |    3630    27324   818504 |    11020     6824    611 | 36.204 % |
128.55/128.63	c ===============================================================================
128.55/128.63	c New solution: 75664
128.55/128.63	o 75664
128.55/128.63	c Elapsed CPU time: 128.12 s	Remaining CPU time: 51.8805 s
128.55/128.63	c ===============================================================================
128.55/128.63	c |      6833 |    3630    27325   820520 |     9108     6833    611 | 36.204 % |
128.84/128.94	c ===============================================================================
128.84/128.94	c New solution: 75663
128.84/128.94	o 75663
128.84/128.94	c Elapsed CPU time: 128.429 s	Remaining CPU time: 51.5705 s
128.84/128.94	c ===============================================================================
128.84/128.94	c |      6842 |    3630    27326   822536 |     9108     6842    611 | 36.204 % |
130.45/130.56	c ===============================================================================
130.45/130.56	c New solution: 75662
130.45/130.56	o 75662
130.45/130.56	c Elapsed CPU time: 130.046 s	Remaining CPU time: 49.9538 s
130.45/130.56	c ===============================================================================
130.45/130.56	c |      6913 |    3630    27327   824552 |     9109     6913    611 | 36.204 % |
130.86/130.93	c ===============================================================================
130.86/130.93	c New solution: 75661
130.86/130.93	o 75661
130.86/130.93	c Elapsed CPU time: 130.424 s	Remaining CPU time: 49.5758 s
130.86/130.93	c ===============================================================================
130.86/130.93	c |      6914 |    3630    27328   826568 |     9109     6914    611 | 36.204 % |
131.45/131.51	c ===============================================================================
131.45/131.51	c New solution: 75660
131.45/131.51	o 75660
131.45/131.51	c Elapsed CPU time: 130.997 s	Remaining CPU time: 49.0029 s
131.45/131.51	c ===============================================================================
131.45/131.51	c |      6948 |    3630    27329   828584 |     9109     6948    612 | 36.204 % |
132.15/132.21	c ===============================================================================
132.15/132.21	c New solution: 75659
132.15/132.21	o 75659
132.15/132.21	c Elapsed CPU time: 131.696 s	Remaining CPU time: 48.304 s
132.15/132.21	c ===============================================================================
132.15/132.21	c |      6983 |    3630    27330   830600 |     9110     6983    612 | 36.204 % |
132.55/132.63	c ===============================================================================
132.55/132.63	c New solution: 75658
132.55/132.63	o 75658
132.55/132.63	c Elapsed CPU time: 132.114 s	Remaining CPU time: 47.8861 s
132.55/132.63	c ===============================================================================
132.55/132.63	c |      6996 |    3630    27331   832616 |     9110     6996    612 | 36.204 % |
135.55/135.64	c |      7097 |    3630    27331   832616 |    10021     7097    612 | 36.204 % |
135.94/136.00	c ===============================================================================
135.94/136.00	c New solution: 75657
135.94/136.00	o 75657
135.94/136.00	c Elapsed CPU time: 135.485 s	Remaining CPU time: 44.5146 s
135.94/136.00	c ===============================================================================
135.94/136.00	c |      7097 |    3630    27332   834632 |     9110     7097    612 | 36.204 % |
136.35/136.41	c ===============================================================================
136.35/136.41	c New solution: 75656
136.35/136.41	o 75656
136.35/136.41	c Elapsed CPU time: 135.891 s	Remaining CPU time: 44.1087 s
136.35/136.41	c ===============================================================================
136.35/136.41	c |      7103 |    3630    27333   836648 |     9111     7103    612 | 36.204 % |
137.84/137.96	c ===============================================================================
137.84/137.96	c New solution: 75655
137.84/137.96	o 75655
137.84/137.96	c Elapsed CPU time: 137.438 s	Remaining CPU time: 42.5619 s
137.84/137.96	c ===============================================================================
137.84/137.96	c |      7138 |    3630    27334   838664 |     9111     7138    612 | 36.204 % |
138.14/138.22	c ===============================================================================
138.14/138.22	c New solution: 75654
138.14/138.22	o 75654
138.14/138.22	c Elapsed CPU time: 137.701 s	Remaining CPU time: 42.2989 s
138.14/138.22	c ===============================================================================
138.14/138.22	c |      7147 |    3630    27335   840680 |     9111     7147    612 | 36.204 % |
139.75/139.86	c |      7247 |    3630    27335   840680 |    10022     7247    613 | 36.204 % |
140.14/140.21	c ===============================================================================
140.14/140.21	c New solution: 75653
140.14/140.21	o 75653
140.14/140.21	c Elapsed CPU time: 139.678 s	Remaining CPU time: 40.3222 s
140.14/140.21	c ===============================================================================
140.14/140.21	c |      7249 |    3630    27336   842696 |     9112     7249    613 | 36.204 % |
143.34/143.46	c |      7349 |    3630    27336   842696 |    10023     7349    613 | 36.204 % |
143.75/143.85	c ===============================================================================
143.75/143.85	c New solution: 75652
143.75/143.85	o 75652
143.75/143.85	c Elapsed CPU time: 143.313 s	Remaining CPU time: 36.6868 s
143.75/143.85	c ===============================================================================
143.75/143.85	c |      7354 |    3630    27337   844712 |     9112     7354    613 | 36.204 % |
145.24/145.35	c |      7454 |    3630    27337   844712 |    10023     7454    614 | 36.204 % |
145.54/145.66	c ===============================================================================
145.54/145.66	c New solution: 75651
145.54/145.66	o 75651
145.54/145.66	c Elapsed CPU time: 145.126 s	Remaining CPU time: 34.8741 s
145.54/145.66	c ===============================================================================
145.54/145.66	c |      7457 |    3630    27338   846728 |     9112     7457    614 | 36.204 % |
148.84/148.99	c ===============================================================================
148.84/148.99	c New solution: 74181
148.84/148.99	o 74181
148.84/148.99	c Elapsed CPU time: 148.452 s	Remaining CPU time: 31.5476 s
148.84/148.99	c ===============================================================================
148.84/148.99	c |      7535 |    3630    27339   848744 |     9113     7535    614 | 36.204 % |
149.74/149.80	c ===============================================================================
149.74/149.80	c New solution: 74149
149.74/149.80	o 74149
149.74/149.80	c Elapsed CPU time: 149.26 s	Remaining CPU time: 30.7397 s
149.74/149.80	c ===============================================================================
149.74/149.80	c |      7537 |    3630    27340   850760 |     9113     7537    614 | 36.204 % |
150.44/150.57	c ===============================================================================
150.44/150.57	c New solution: 74145
150.44/150.57	o 74145
150.44/150.57	c Elapsed CPU time: 150.026 s	Remaining CPU time: 29.9738 s
150.44/150.57	c ===============================================================================
150.44/150.57	c |      7552 |    3630    27341   852776 |     9113     7552    614 | 36.204 % |
151.15/151.21	c ===============================================================================
151.15/151.21	c New solution: 74131
151.15/151.21	o 74131
151.15/151.21	c Elapsed CPU time: 150.667 s	Remaining CPU time: 29.3329 s
151.15/151.21	c ===============================================================================
151.15/151.21	c |      7553 |    3630    27342   854792 |     9114     7553    614 | 36.204 % |
151.75/151.87	c ===============================================================================
151.75/151.87	c New solution: 74128
151.75/151.87	o 74128
151.75/151.87	c Elapsed CPU time: 151.321 s	Remaining CPU time: 28.679 s
151.75/151.87	c ===============================================================================
151.75/151.87	c |      7553 |    3630    27343   856808 |     9114     7553    614 | 36.204 % |
152.44/152.52	c ===============================================================================
152.44/152.52	c New solution: 74127
152.44/152.52	o 74127
152.44/152.52	c Elapsed CPU time: 151.976 s	Remaining CPU time: 28.0241 s
152.44/152.52	c ===============================================================================
152.44/152.52	c |      7553 |    3630    27344   858824 |     9114     7553    614 | 36.204 % |
153.04/153.17	c ===============================================================================
153.04/153.17	c New solution: 74126
153.04/153.17	o 74126
153.04/153.17	c Elapsed CPU time: 152.623 s	Remaining CPU time: 27.3772 s
153.04/153.17	c ===============================================================================
153.04/153.17	c |      7553 |    3630    27345   860840 |     9115     7553    614 | 36.204 % |
153.74/153.82	c ===============================================================================
153.74/153.82	c New solution: 74125
153.74/153.82	o 74125
153.74/153.82	c Elapsed CPU time: 153.268 s	Remaining CPU time: 26.7323 s
153.74/153.82	c ===============================================================================
153.74/153.82	c |      7553 |    3630    27346   862856 |     9115     7553    614 | 36.204 % |
154.34/154.48	c ===============================================================================
154.34/154.48	c New solution: 74124
154.34/154.48	o 74124
154.34/154.48	c Elapsed CPU time: 153.931 s	Remaining CPU time: 26.0694 s
154.34/154.48	c ===============================================================================
154.34/154.48	c |      7553 |    3630    27347   864872 |     9115     7553    614 | 36.204 % |
155.05/155.12	c ===============================================================================
155.05/155.12	c New solution: 74123
155.05/155.12	o 74123
155.05/155.12	c Elapsed CPU time: 154.567 s	Remaining CPU time: 25.4335 s
155.05/155.12	c ===============================================================================
155.05/155.12	c |      7553 |    3630    27348   866888 |     9116     7553    614 | 36.204 % |
155.64/155.76	c ===============================================================================
155.64/155.76	c New solution: 74122
155.64/155.76	o 74122
155.64/155.76	c Elapsed CPU time: 155.206 s	Remaining CPU time: 24.7936 s
155.64/155.76	c ===============================================================================
155.64/155.76	c |      7553 |    3630    27349   868904 |     9116     7553    614 | 36.204 % |
156.34/156.40	c ===============================================================================
156.34/156.40	c New solution: 74121
156.34/156.40	o 74121
156.34/156.40	c Elapsed CPU time: 155.842 s	Remaining CPU time: 24.1577 s
156.34/156.40	c ===============================================================================
156.34/156.40	c |      7553 |    3630    27350   870920 |     9116     7553    614 | 36.204 % |
156.94/157.03	c ===============================================================================
156.94/157.03	c New solution: 74120
156.94/157.03	o 74120
156.94/157.03	c Elapsed CPU time: 156.472 s	Remaining CPU time: 23.5278 s
156.94/157.03	c ===============================================================================
156.94/157.03	c |      7553 |    3630    27351   872936 |     9117     7553    614 | 36.204 % |
157.54/157.66	c ===============================================================================
157.54/157.66	c New solution: 74119
157.54/157.66	o 74119
157.54/157.66	c Elapsed CPU time: 157.102 s	Remaining CPU time: 22.8979 s
157.54/157.66	c ===============================================================================
157.54/157.66	c |      7553 |    3630    27352   874952 |     9117     7553    614 | 36.204 % |
158.14/158.29	c ===============================================================================
158.14/158.29	c New solution: 74118
158.14/158.29	o 74118
158.14/158.29	c Elapsed CPU time: 157.73 s	Remaining CPU time: 22.27 s
158.14/158.29	c ===============================================================================
158.14/158.29	c |      7553 |    3630    27353   876968 |     9117     7553    614 | 36.204 % |
158.84/158.94	c ===============================================================================
158.84/158.94	c New solution: 74117
158.84/158.94	o 74117
158.84/158.94	c Elapsed CPU time: 158.382 s	Remaining CPU time: 21.6181 s
158.84/158.94	c ===============================================================================
158.84/158.94	c |      7555 |    3630    27354   878984 |     9118     7555    614 | 36.204 % |
159.45/159.52	c ===============================================================================
159.45/159.52	c New solution: 74104
159.45/159.52	o 74104
159.45/159.52	c Elapsed CPU time: 158.96 s	Remaining CPU time: 21.0402 s
159.45/159.52	c ===============================================================================
159.45/159.52	c |      7560 |    3630    27355   881000 |     9118     7560    614 | 36.204 % |
161.24/161.36	c ===============================================================================
161.24/161.36	c New solution: 74103
161.24/161.36	o 74103
161.24/161.36	c Elapsed CPU time: 160.793 s	Remaining CPU time: 19.2074 s
161.24/161.36	c ===============================================================================
161.24/161.36	c |      7649 |    3630    27356   883016 |     9118     7649    614 | 36.204 % |
161.94/162.00	c ===============================================================================
161.94/162.00	c New solution: 74102
161.94/162.00	o 74102
161.94/162.00	c Elapsed CPU time: 161.439 s	Remaining CPU time: 18.5605 s
161.94/162.00	c ===============================================================================
161.94/162.00	c |      7651 |    3630    27357   885032 |     9119     7651    614 | 36.204 % |
162.44/162.52	c ===============================================================================
162.44/162.52	c New solution: 74101
162.44/162.52	o 74101
162.44/162.52	c Elapsed CPU time: 161.956 s	Remaining CPU time: 18.0436 s
162.44/162.52	c ===============================================================================
162.44/162.52	c |      7675 |    3630    27358   887048 |     9119     7675    614 | 36.204 % |
162.93/163.05	c ===============================================================================
162.93/163.05	c New solution: 74100
162.93/163.05	o 74100
162.93/163.05	c Elapsed CPU time: 162.484 s	Remaining CPU time: 17.5157 s
162.93/163.05	c ===============================================================================
162.93/163.05	c |      7681 |    3630    27359   889064 |     9119     7681    614 | 36.204 % |
164.43/164.57	c ===============================================================================
164.43/164.57	c New solution: 74099
164.43/164.57	o 74099
164.43/164.57	c Elapsed CPU time: 163.997 s	Remaining CPU time: 16.0029 s
164.43/164.57	c ===============================================================================
164.43/164.57	c |      7746 |    3630    27360   891080 |     9120     7746    615 | 36.204 % |
166.14/166.29	c |      7846 |    3630    27360   891080 |    10032     7846    615 | 36.204 % |
166.64/166.77	c ===============================================================================
166.64/166.77	c New solution: 74098
166.64/166.77	o 74098
166.64/166.77	c Elapsed CPU time: 166.197 s	Remaining CPU time: 13.8033 s
166.64/166.77	c ===============================================================================
166.64/166.77	c |      7848 |    3630    27361   893096 |     9120     7848    615 | 36.204 % |
168.64/168.70	c |      7949 |    3630    27361   893096 |    10032     7949    616 | 36.204 % |
169.04/169.10	c ===============================================================================
169.04/169.10	c New solution: 74097
169.04/169.10	o 74097
169.04/169.10	c Elapsed CPU time: 168.523 s	Remaining CPU time: 11.4766 s
169.04/169.10	c ===============================================================================
169.04/169.10	c |      7952 |    3630    27362   895112 |     9120     7952    616 | 36.204 % |
169.34/169.42	c ===============================================================================
169.34/169.42	c New solution: 74096
169.34/169.42	o 74096
169.34/169.42	c Elapsed CPU time: 168.843 s	Remaining CPU time: 11.1567 s
169.34/169.42	c ===============================================================================
169.34/169.42	c |      7956 |    3630    27363   897128 |     9121     7956    616 | 36.204 % |
169.94/170.04	c ===============================================================================
169.94/170.04	c New solution: 74095
169.94/170.04	o 74095
169.94/170.04	c Elapsed CPU time: 169.46 s	Remaining CPU time: 10.5398 s
169.94/170.04	c ===============================================================================
169.94/170.04	c |      7958 |    3630    27364   899144 |     9121     7958    616 | 36.204 % |
170.53/170.61	c ===============================================================================
170.53/170.61	c New solution: 74094
170.53/170.61	o 74094
170.53/170.61	c Elapsed CPU time: 170.036 s	Remaining CPU time: 9.96385 s
170.53/170.61	c ===============================================================================
170.53/170.61	c |      7965 |    3630    27365   901160 |     9121     7965    616 | 36.204 % |
172.13/172.29	c |      8066 |    3630    27365   901160 |    10033     8066    617 | 36.204 % |
172.54/172.66	c ===============================================================================
172.54/172.66	c New solution: 74093
172.54/172.66	o 74093
172.54/172.66	c Elapsed CPU time: 172.078 s	Remaining CPU time: 7.92216 s
172.54/172.66	c ===============================================================================
172.54/172.66	c |      8067 |    3630    27366   903176 |     9122     8067    617 | 36.204 % |
174.33/174.43	c |      8168 |    3630    27366   903176 |    10034     8168    617 | 36.204 % |
174.64/174.74	c ===============================================================================
174.64/174.74	c New solution: 74092
174.64/174.74	o 74092
174.64/174.74	c Elapsed CPU time: 174.151 s	Remaining CPU time: 5.84948 s
174.64/174.74	c ===============================================================================
174.64/174.74	c |      8169 |    3630    27367   905192 |     9122     8169    617 | 36.204 % |
174.84/174.97	c ===============================================================================
174.84/174.97	c New solution: 74091
174.84/174.97	o 74091
174.84/174.97	c Elapsed CPU time: 174.379 s	Remaining CPU time: 5.62051 s
174.84/174.97	c ===============================================================================
174.84/174.97	c |      8181 |    3630    27368   907208 |     9122     8181    617 | 36.204 % |
175.14/175.25	c ===============================================================================
175.14/175.25	c New solution: 74090
175.14/175.25	o 74090
175.14/175.25	c Elapsed CPU time: 174.662 s	Remaining CPU time: 5.33755 s
175.14/175.25	c ===============================================================================
175.14/175.25	c |      8181 |    3630    27369   909224 |     9123     8181    617 | 36.204 % |
175.73/175.86	c ===============================================================================
175.73/175.86	c New solution: 74089
175.73/175.86	o 74089
175.73/175.86	c Elapsed CPU time: 175.27 s	Remaining CPU time: 4.72965 s
175.73/175.86	c ===============================================================================
175.73/175.86	c |      8192 |    3630    27370   911240 |     9123     8192    617 | 36.204 % |
176.03/176.16	c ===============================================================================
176.03/176.16	c New solution: 74088
176.03/176.16	o 74088
176.03/176.16	c Elapsed CPU time: 175.576 s	Remaining CPU time: 4.42369 s
176.03/176.16	c ===============================================================================
176.03/176.16	c |      8195 |    3630    27371   913256 |     9123     8195    617 | 36.204 % |
177.73/177.80	c ===============================================================================
177.73/177.80	c New solution: 74087
177.73/177.80	o 74087
177.73/177.80	c Elapsed CPU time: 177.213 s	Remaining CPU time: 2.78694 s
177.73/177.80	c ===============================================================================
177.73/177.80	c |      8251 |    3630    27372   915272 |     9124     8251    617 | 36.204 % |
178.04/178.19	c ===============================================================================
178.04/178.19	c New solution: 74086
178.04/178.19	o 74086
178.04/178.19	c Elapsed CPU time: 177.6 s	Remaining CPU time: 2.4 s
178.04/178.19	c ===============================================================================
178.04/178.19	c |      8251 |    3630    27373   917288 |     9124     8251    617 | 36.204 % |
178.53/178.60	c ===============================================================================
178.53/178.60	c New solution: 74085
178.53/178.60	o 74085
178.53/178.60	c Elapsed CPU time: 178.014 s	Remaining CPU time: 1.98606 s
178.53/178.60	c ===============================================================================
178.53/178.60	c |      8252 |    3630    27374   919304 |     9124     8252    617 | 36.204 % |
180.24/180.35	c |      8353 |    3630    27374   919304 |    10037     8353    618 | 36.204 % |
180.53/180.63	c There are 2060 assigned variables. 426 in cost function.
182.93/183.04	c core #1
182.93/183.04	c core #2
182.93/183.04	c core #3
182.93/183.04	c core #4
182.93/183.04	c core #5
182.93/183.04	c core #6
182.93/183.04	c core #7
182.93/183.04	c core #8
182.93/183.04	c core #9
182.93/183.04	c core #10
182.93/183.04	c core #11
182.93/183.04	c core #12
182.93/183.04	c core #13
182.93/183.04	c core #14
182.93/183.04	c core #15
182.93/183.04	c core #16
182.93/183.04	c core #17
182.93/183.04	c core #18
182.93/183.04	c core #19
182.93/183.04	c core #20
182.93/183.04	c core #21
182.93/183.04	c core #22
182.93/183.04	c core #23
182.93/183.04	c core #24
182.93/183.04	c core #25
182.93/183.04	c core #26
182.93/183.04	c core #27
182.93/183.04	c core #28
182.93/183.04	c core #29
182.93/183.04	c core #30
182.93/183.04	c core #31
182.93/183.04	c core #32
182.93/183.04	c core #33
182.93/183.04	c core #34
182.93/183.04	c core #35
182.93/183.04	c core #36
182.93/183.04	c core #37
182.93/183.04	c core #38
182.93/183.04	c core #39
182.93/183.04	c core #40
182.93/183.04	c ============================[ Search Statistics ]==============================
182.93/183.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.93/183.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.93/183.04	c ===============================================================================
182.93/183.04	c |         0 |     693    16334     8892 |     5444        0    nan |  0.000 % |
182.93/183.04	c ===============================================================================
182.93/183.06	c #cores: 40
182.93/183.06	c Final Weight: 6576
182.93/183.06	o 6576
182.93/183.06	s OPTIMUM FOUND
182.93/183.06	v -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 x4142 -x4143 -x4144 -x4145 x4146 -x4147 -x4148 -x4149 x4150 x4151 -x4152 -x4153 x4154 x4155 -x4156 x4157 x4158 x4159 x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 x4171 x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 x4224 x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 x4250 x4251 x4252 x4253 x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 x4275 x4276 x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 x4363 x4364 -x4365 -x4366 -x4367 x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 x4389 x4390 x4391 x4392 x4393 x4394 x4395 x4396 x4397 x4398 -x4399 -x4400 -x4401 -x4402 -x4403 x4404 -x4405 -x4406 -x4407 x4408 -x4409 x4410 x4411 -x4412 x4413 -x4414 x4415 x4416 -x4417 -x4418 -x4419 -x4420 -x4421 x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 x4470 x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 x4479 -x4480 -x4481 -x4482 x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 x4508 -x4509 -x4510 -x4511 x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 x4523 x4524 -x4525 -x4526 -x4527 x4528 x4529 -x4530 x4531 -x4532 -x4533 -x4534 x4535 -x4536 x4537 -x4538 x4539 -x4540 -x4541 -x4542 x4543 x4544 x4545 -x4546 -x4547 -x4548 x4549 x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 x4567 x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 x4575 -x4576 -x4577 x4578 x4579 x4580 x4581 x4582 -x4583 -x4584 -x4585 x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 x4606 -x4607 -x4608 -x4609 x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 x4633 -x4634 -x4635 -x4636 -x4637 x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 x4647 x4648 -x4649 x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 x4657 -x4658 -x4659 x4660 x4661 x4662 -x4663 x4664 -x4665 -x4666 -x4667 -x4668 -x4669 x4670 -x4671 x4672 -x4673 x4674 x4675 -x4676 -x4677 x4678 x4679 x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 x4690 x4691 x4692 -x4693 -x4694 x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 x4704 -x4705 -x4706 -x4707 x4708 -x4709 -x4710 -x4711 x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 x4727 -x4728 -x4729 -x4730 x4731 -x4732 x4733 -x4734 -x4735 -x4736 -x4737 x4738 -x4739 -x4740 x4741 x4742 -x4743 -x4744 x4745 -x4746 x4747 -x4748 -x4749 -x4750 -x4751 -x4752 x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 x4766 x4767 x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 x4777 -x4778 -x4779 -x4780 -x4781 x4782 -x4783 x4784 -x4785 -x4786 -x4787 -x4788 x4789 x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 x4815 -x4816 x4817 -x4818 -x4819 -x4820 x4821 -x4822 x4823 x4824 -x4825 -x4826 -x4827 x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 x4835 -x4836 x4837 x4838 -x4839 -x4840 -x4841 -x4842 -x4843 x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 x4851 x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 x4859 -x4860 -x4861 -x4862 -x4863 x4864 -x4865 -x4866 x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 x4886 -x4887 x4888 -x4889 -x4890 x4891 x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 x4900 x4901 -x4902 -x4903 -x4904 -x4905 x4906 -x4907 -x4908 -x4909 -x4910 -x4911 x4912 -x4913 -x4914 x4915 -x4916 -x4917 -x4918 x4919 -x4920 -x4921 -x4922 x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 x4930 x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 x4954 -x4955 x4956 x4957 -x4958 x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 x4971 x4972 x4973 x4974 -x4975 -x4976 -x4977 -x4978 -x4979 x4980 -x4981 -x4982 -x4983 -x4984 x4985 -x4986 -x4987 x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 x4995 -x4996 -x4997 -x4998 -x4999 x5000 -x5001 -x5002 -x5003 -x5004 -x5005 x5006 -x5007 -x5008 x5009 -x5010 -x5011 -x5012 -x5013 x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 x5023 x5024 -x5025 -x5026 x5027 x5028 -x5029 -x5030 -x5031 -x5032 x5033 x5034 x5035 x5036 x5037 -x5038 x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 x5089 -x5090 -x5091 x5092 x5093 -x5094 x5095 x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 x5126 -x5127 -x5128 -x5129 -x5130 x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 x5138 -x5139 -x5140 x5141 x5142 -x5143 x5144 -x5145 -x5146 -x5147 x5148 -x5149 x5150 -x5151 x5152 x5153 x5154 -x5155 -x5156 x5157 x5158 x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 x5171 -x5172 x5173 x5174 -x5175 x5176 -x5177 -x5178 -x5179 x5180 -x5181 x5182 x5183 -x5184 -x5185 -x5186 x5187 x5188 x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 x5199 -x5200 x5201 -x5202 x5203 x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 x5218 -x5219 -x5220 -x5221 -x5222 x5223 -x5224 x5225 -x5226 -x5227 -x5228 -x5229 x5230 -x5231 x5232 x5233 -x5234 x5235 -x5236 -x5237 -x5238 x5239 -x5240 x5241 -x5242 -x5243 -x5244 -x5245 x5246 -x5247 -x5248 x5249 -x5250 -x5251 -x5252 x5253 x5254 -x5255 -x5256 x5257 -x5258 x5259 x5260 x5261 x5262 x5263 x5264 x5265 -x5266 -x5267 -x5268 -x5269 x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 x5283 x5284 x5285 x5286 -x5287 x5288 x5289 x5290 x5291 x5292 x5293 x5294 x5295 -x5296 x5297 x5298 -x5299 x5300 -x5301 -x5302 x5303 x5304 -x5305 x5306 x5307 x5308 -x5309 x5310 -x5311 -x5312 -x5313 x5314 -x5315 x5316 -x5317 x5318 -x5319 -x5320 -x5321 -x5322 -x5323 x5324 x5325 -x5326 x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 x5335 x5336 -x5337 -x5338 -x5339 x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 x5380 -x5381 -x5382 -x5383 x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 x5431 x5432 x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 x5475 x5476 x5477 -x5478 x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 x5488 -x5489 x5490 -x5491 -x5492 x5493 x5494 -x5495 x5496 -x5497 -x5498 x5499 -x5500 -x5501 x5502 -x5503 x5504 x5505 -x5506 -x5507 x5508 x5509 x5510 -x5511 -x5512 x5513 x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 x5544 x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 x5554 -x5555 x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 x5582 -x5583 -x5584 -x5585 x5586 -x5587 -x5588 -x5589 x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 x5597 x5598 -x5599 -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 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
182.93/183.06	c Total CPU time: 182.4 s

Verifier Data 

OK	6576

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2683460-1277509866/watcher-2683460-1277509866 -o /tmp/evaluation-result-2683460-1277509866/solver-2683460-1277509866 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683460-1277509866.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.04 1.05 1.00 3/106 22511
/proc/meminfo: memFree=1787464/2059040 swapFree=4135892/4192956
[pid=22511] ppid=22509 vsize=3668 CPUtime=0
/proc/22511/stat : 22511 (wbo1.4b) R 22509 22511 22287 0 -1 4202496 370 0 0 0 0 0 0 0 18 0 1 0 126587965 3756032 288 1992294400 134512640 135751879 4291525744 18446744073709551615 135194023 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22511/statm: 917 289 144 303 0 414 0

[startup+0.0832379 s]
/proc/loadavg: 1.04 1.05 1.00 3/106 22511
/proc/meminfo: memFree=1787464/2059040 swapFree=4135892/4192956
[pid=22511] ppid=22509 vsize=4808 CPUtime=0.08
/proc/22511/stat : 22511 (wbo1.4b) R 22509 22511 22287 0 -1 4202496 777 0 0 0 8 0 0 0 20 0 1 0 126587965 4923392 695 1992294400 134512640 135751879 4291525744 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22511/statm: 1202 695 267 303 0 699 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4808

[startup+0.10124 s]
/proc/loadavg: 1.04 1.05 1.00 3/106 22511
/proc/meminfo: memFree=1787464/2059040 swapFree=4135892/4192956
[pid=22511] ppid=22509 vsize=5228 CPUtime=0.09
/proc/22511/stat : 22511 (wbo1.4b) R 22509 22511 22287 0 -1 4202496 902 0 0 0 9 0 0 0 20 0 1 0 126587965 5353472 820 1992294400 134512640 135751879 4291525744 18446744073709551615 135201600 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22511/statm: 1307 820 297 303 0 804 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5228

[startup+0.301274 s]
/proc/loadavg: 1.04 1.05 1.00 3/106 22511
/proc/meminfo: memFree=1787464/2059040 swapFree=4135892/4192956
[pid=22511] ppid=22509 vsize=6636 CPUtime=0.29
/proc/22511/stat : 22511 (wbo1.4b) R 22509 22511 22287 0 -1 4202496 1478 0 0 0 29 0 0 0 20 0 1 0 126587965 6795264 1198 1992294400 134512640 135751879 4291525744 18446744073709551615 134580011 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22511/statm: 1659 1198 146 303 0 1354 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6636

[startup+0.701344 s]
/proc/loadavg: 1.04 1.05 1.00 3/106 22511
/proc/meminfo: memFree=1787464/2059040 swapFree=4135892/4192956
[pid=22511] ppid=22509 vsize=6636 CPUtime=0.69
/proc/22511/stat : 22511 (wbo1.4b) R 22509 22511 22287 0 -1 4202496 1489 0 0 0 69 0 0 0 20 0 1 0 126587965 6795264 1209 1992294400 134512640 135751879 4291525744 18446744073709551615 134580024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22511/statm: 1659 1209 146 303 0 1354 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6636

[startup+1.50148 s]
/proc/loadavg: 1.04 1.05 1.00 2/107 22512
/proc/meminfo: memFree=1783240/2059040 swapFree=4135892/4192956
[pid=22511] ppid=22509 vsize=7032 CPUtime=1.49
/proc/22511/stat : 22511 (wbo1.4b) R 22509 22511 22287 0 -1 4202496 1571 0 0 0 149 0 0 0 23 0 1 0 126587965 7200768 1291 1992294400 134512640 135751879 4291525744 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22511/statm: 1758 1291 146 303 0 1453 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7032

[startup+3.10076 s]
/proc/loadavg: 1.04 1.05 1.00 2/107 22512
/proc/meminfo: memFree=1781132/2059040 swapFree=4135892/4192956
[pid=22511] ppid=22509 vsize=8484 CPUtime=3.09
/proc/22511/stat : 22511 (wbo1.4b) R 22509 22511 22287 0 -1 4202496 1954 0 0 0 301 8 0 0 25 0 1 0 126587965 8687616 1674 1992294400 134512640 135751879 4291525744 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22511/statm: 2121 1674 146 303 0 1816 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8484

[startup+6.30131 s]
/proc/loadavg: 1.04 1.05 1.00 2/107 22512
/proc/meminfo: memFree=1780264/2059040 swapFree=4135892/4192956
[pid=22511] ppid=22509 vsize=9944 CPUtime=6.29
/proc/22511/stat : 22511 (wbo1.4b) R 22509 22511 22287 0 -1 4202496 2300 0 0 0 616 13 0 0 25 0 1 0 126587965 10182656 2020 1992294400 134512640 135751879 4291525744 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22511/statm: 2486 2020 146 303 0 2181 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9944

[startup+12.7014 s]
/proc/loadavg: 1.04 1.05 1.00 2/107 22512
/proc/meminfo: memFree=1775800/2059040 swapFree=4135892/4192956
[pid=22511] ppid=22509 vsize=14012 CPUtime=12.69
/proc/22511/stat : 22511 (wbo1.4b) R 22509 22511 22287 0 -1 4202496 3338 0 0 0 1252 17 0 0 25 0 1 0 126587965 14348288 3058 1992294400 134512640 135751879 4291525744 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22511/statm: 3503 3058 147 303 0 3198 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14012

[startup+25.5006 s]
/proc/loadavg: 1.03 1.04 1.00 2/107 22512
/proc/meminfo: memFree=1769724/2059040 swapFree=4135892/4192956
[pid=22511] ppid=22509 vsize=19908 CPUtime=25.48
/proc/22511/stat : 22511 (wbo1.4b) R 22509 22511 22287 0 -1 4202496 4821 0 0 0 2525 23 0 0 25 0 1 0 126587965 20385792 4541 1992294400 134512640 135751879 4291525744 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22511/statm: 4977 4541 147 303 0 4672 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19908

[startup+51.101 s]
/proc/loadavg: 1.10 1.06 1.01 2/107 22512
/proc/meminfo: memFree=1761540/2059040 swapFree=4135892/4192956
[pid=22511] ppid=22509 vsize=28164 CPUtime=51.08
/proc/22511/stat : 22511 (wbo1.4b) R 22509 22511 22287 0 -1 4202496 6870 0 0 0 5079 29 0 0 25 0 1 0 126587965 28839936 6590 1992294400 134512640 135751879 4291525744 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22511/statm: 7041 6590 147 303 0 6736 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 28164

[startup+102.309 s]
/proc/loadavg: 1.04 1.05 1.00 2/107 22514
/proc/meminfo: memFree=1749760/2059040 swapFree=4135892/4192956
[pid=22511] ppid=22509 vsize=39520 CPUtime=102.27
/proc/22511/stat : 22511 (wbo1.4b) R 22509 22511 22287 0 -1 4202496 9716 0 0 0 10188 39 0 0 25 0 1 0 126587965 40468480 9436 1992294400 134512640 135751879 4291525744 18446744073709551615 134611163 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22511/statm: 9880 9436 147 303 0 9575 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 39520

[startup+162.301 s]
/proc/loadavg: 1.04 1.05 1.00 2/107 22516
/proc/meminfo: memFree=1741204/2059040 swapFree=4135892/4192956
[pid=22511] ppid=22509 vsize=48036 CPUtime=162.24
/proc/22511/stat : 22511 (wbo1.4b) R 22509 22511 22287 0 -1 4202496 11810 0 0 0 16173 51 0 0 25 0 1 0 126587965 49188864 11530 1992294400 134512640 135751879 4291525744 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22511/statm: 12009 11530 147 303 0 11704 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 48036

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

[startup+166.301 s]
/proc/loadavg: 1.04 1.05 1.00 2/107 22516
/proc/meminfo: memFree=1740584/2059040 swapFree=4135892/4192956
[pid=22511] ppid=22509 vsize=48552 CPUtime=166.24
/proc/22511/stat : 22511 (wbo1.4b) R 22509 22511 22287 0 -1 4202496 11965 0 0 0 16572 52 0 0 25 0 1 0 126587965 49717248 11685 1992294400 134512640 135751879 4291525744 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22511/statm: 12138 11685 147 303 0 11833 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 48552

[startup+172.709 s]
/proc/loadavg: 1.04 1.05 1.00 2/107 22516
/proc/meminfo: memFree=1739592/2059040 swapFree=4135892/4192956
[pid=22511] ppid=22509 vsize=49460 CPUtime=172.64
/proc/22511/stat : 22511 (wbo1.4b) R 22509 22511 22287 0 -1 4202496 12188 0 0 0 17212 52 0 0 25 0 1 0 126587965 50647040 11908 1992294400 134512640 135751879 4291525744 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22511/statm: 12365 11908 147 303 0 12060 0
Current children cumulated CPU time (s) 172.64
Current children cumulated vsize (KiB) 49460

[startup+179.101 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 22516
/proc/meminfo: memFree=1738848/2059040 swapFree=4135892/4192956
[pid=22511] ppid=22509 vsize=50376 CPUtime=179.03
/proc/22511/stat : 22511 (wbo1.4b) R 22509 22511 22287 0 -1 4202496 12418 0 0 0 17850 53 0 0 25 0 1 0 126587965 51585024 12138 1992294400 134512640 135751879 4291525744 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22511/statm: 12594 12138 147 303 0 12289 0
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (KiB) 50376

[startup+180.701 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 22516
/proc/meminfo: memFree=1738476/2059040 swapFree=4135892/4192956
[pid=22511] ppid=22509 vsize=56080 CPUtime=180.63
/proc/22511/stat : 22511 (wbo1.4b) R 22509 22511 22287 0 -1 4202496 13827 0 0 0 18009 54 0 0 25 0 1 0 126587965 57425920 13547 1992294400 134512640 135751879 4291525744 18446744073709551615 134549914 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22511/statm: 14020 13548 148 303 0 13715 0
Current children cumulated CPU time (s) 180.63
Current children cumulated vsize (KiB) 56080

[startup+182.301 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 22516
/proc/meminfo: memFree=1731780/2059040 swapFree=4135892/4192956
[pid=22511] ppid=22509 vsize=91112 CPUtime=182.23
/proc/22511/stat : 22511 (wbo1.4b) R 22509 22511 22287 0 -1 4202496 22767 0 0 0 18167 56 0 0 25 0 1 0 126587965 93298688 22324 1992294400 134512640 135751879 4291525744 18446744073709551615 134639871 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22511/statm: 22778 22324 150 303 0 22473 0
Current children cumulated CPU time (s) 182.23
Current children cumulated vsize (KiB) 91112

[startup+182.701 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 22516
/proc/meminfo: memFree=1687016/2059040 swapFree=4135892/4192956
[pid=22511] ppid=22509 vsize=109696 CPUtime=182.63
/proc/22511/stat : 22511 (wbo1.4b) R 22509 22511 22287 0 -1 4202496 27420 0 0 0 18205 58 0 0 25 0 1 0 126587965 112328704 26977 1992294400 134512640 135751879 4291525744 18446744073709551615 135200324 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22511/statm: 27424 26977 150 303 0 27119 0
Current children cumulated CPU time (s) 182.63
Current children cumulated vsize (KiB) 109696

[startup+182.901 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 22516
/proc/meminfo: memFree=1687016/2059040 swapFree=4135892/4192956
[pid=22511] ppid=22509 vsize=118032 CPUtime=182.83
/proc/22511/stat : 22511 (wbo1.4b) R 22509 22511 22287 0 -1 4202496 29476 0 0 0 18224 59 0 0 25 0 1 0 126587965 120864768 29033 1992294400 134512640 135751879 4291525744 18446744073709551615 134638834 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22511/statm: 29508 29033 150 303 0 29203 0
Current children cumulated CPU time (s) 182.83
Current children cumulated vsize (KiB) 118032

[startup+183.001 s]
/proc/loadavg: 1.03 1.05 1.00 2/107 22516
/proc/meminfo: memFree=1687016/2059040 swapFree=4135892/4192956
[pid=22511] ppid=22509 vsize=123328 CPUtime=182.93
/proc/22511/stat : 22511 (wbo1.4b) R 22509 22511 22287 0 -1 4202496 30822 0 0 0 18233 60 0 0 25 0 1 0 126587965 126287872 30379 1992294400 134512640 135751879 4291525744 18446744073709551615 134638824 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22511/statm: 30832 30379 150 303 0 30527 0
Current children cumulated CPU time (s) 182.93
Current children cumulated vsize (KiB) 123328

Child status: 0
Real time (s): 183.08
CPU time (s): 183.019
CPU user time (s): 182.4
CPU system time (s): 0.618905
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 123328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 182.4
system time used= 0.618905
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31462
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= 115
involuntary context switches= 487

runsolver used 0.292955 second user time and 0.921859 second system time

The end

Launcher Data 

Begin job on node014 at 2010-06-26 01:51:06
IDJOB=2683460
IDBENCH=72114
IDSOLVER=1161
FILE ID=node014/2683460-1277509866
PBS_JOBID= 11190632
Free space on /tmp= 62436 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.newlist/normalized-randcebca4.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-2683460-1277509866/watcher-2683460-1277509866 -o /tmp/evaluation-result-2683460-1277509866/solver-2683460-1277509866 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2683460-1277509866.opb

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

MD5SUM BENCH= 18eba4fc2c6c4c36f404d480a47d1c35
RANDOM SEED=602020656

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

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1788476 kB
Buffers:         58224 kB
Cached:         109816 kB
SwapCached:       9968 kB
Active:          63240 kB
Inactive:       118284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1788476 kB
SwapTotal:     4192956 kB
SwapFree:      4135892 kB
Dirty:            3384 kB
Writeback:           0 kB
AnonPages:       12152 kB
Mapped:           8400 kB
Slab:            66996 kB
PageTables:       4172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183484 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-2683460-1277509866.opb

Free space on /tmp at the end= 62436 MiB
End job on node014 at 2010-06-26 01:54:09