Trace number 2683302

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)OPT5116 186.157 186.228

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2683302-1277508688.opb.
0.00/0.00	c Instance file HOME/instance-2683302-1277508688.opb
0.00/0.00	c File size is 839775 bytes.
0.09/0.13	c Highest Coefficient sum: 553
0.09/0.13	c ============================[ Problem Statistics ]=============================
0.09/0.13	c |                                                                             |
0.09/0.13	c |  Parsing time:          0.12         s                                      |
0.09/0.13	c |  Number Variables:      5868                                                |
0.09/0.13	c |  Number Clauses:        26037                                               |
0.09/0.13	c |  Number Cardinality:    294                                                 |
0.09/0.13	c |  Number PB Constraints: 0                                                   |
3.19/3.30	c ============================[ Search Statistics ]==============================
3.19/3.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.19/3.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.19/3.30	c ===============================================================================
3.19/3.30	c |         0 |    4141    27813    53966 |     8777        0    nan |  0.000 % |
3.29/3.32	c ===============================================================================
3.29/3.32	c New solution: 481011
3.29/3.32	o 481011
3.29/3.32	c Elapsed CPU time: 3.2975 s	Remaining CPU time: 176.703 s
3.29/3.32	c ===============================================================================
3.29/3.32	c |        25 |    4141    27814    56049 |     9271       25      5 |  0.000 % |
3.29/3.33	c ===============================================================================
3.29/3.33	c New solution: 433588
3.29/3.33	o 433588
3.29/3.33	c Elapsed CPU time: 3.3075 s	Remaining CPU time: 176.693 s
3.29/3.33	c ===============================================================================
3.29/3.33	c |        33 |    4141    27815    58132 |     9271       33      5 |  0.000 % |
3.29/3.36	c ===============================================================================
3.29/3.36	c New solution: 322432
3.29/3.36	o 322432
3.29/3.36	c Elapsed CPU time: 3.32849 s	Remaining CPU time: 176.672 s
3.29/3.36	c ===============================================================================
3.29/3.36	c |        62 |    4141    27816    60215 |     9272       62      4 |  0.000 % |
3.29/3.37	c ===============================================================================
3.29/3.37	c New solution: 302816
3.29/3.37	o 302816
3.29/3.37	c Elapsed CPU time: 3.33949 s	Remaining CPU time: 176.661 s
3.29/3.37	c ===============================================================================
3.29/3.37	c |        78 |    4141    27817    62298 |     9272       78      5 |  0.000 % |
3.39/3.41	c ===============================================================================
3.39/3.41	c New solution: 291403
3.39/3.41	o 291403
3.39/3.41	c Elapsed CPU time: 3.36149 s	Remaining CPU time: 176.639 s
3.39/3.41	c ===============================================================================
3.39/3.41	c |       117 |    4141    27818    64381 |     9272      117      5 |  0.000 % |
3.39/3.42	c ===============================================================================
3.39/3.42	c New solution: 273421
3.39/3.42	o 273421
3.39/3.42	c Elapsed CPU time: 3.37449 s	Remaining CPU time: 176.626 s
3.39/3.42	c ===============================================================================
3.39/3.42	c |       124 |    4141    27819    66464 |     9273      124      5 |  0.000 % |
3.39/3.44	c ===============================================================================
3.39/3.44	c New solution: 273400
3.39/3.44	o 273400
3.39/3.44	c Elapsed CPU time: 3.38748 s	Remaining CPU time: 176.613 s
3.39/3.44	c ===============================================================================
3.39/3.44	c |       127 |    4141    27820    68547 |     9273      127      5 |  0.000 % |
3.39/3.45	c ===============================================================================
3.39/3.45	c New solution: 273386
3.39/3.45	o 273386
3.39/3.45	c Elapsed CPU time: 3.39948 s	Remaining CPU time: 176.601 s
3.39/3.45	c ===============================================================================
3.39/3.45	c |       133 |    4141    27821    70630 |     9273      133      5 |  0.000 % |
3.49/3.53	c ===============================================================================
3.49/3.53	c New solution: 249003
3.49/3.53	o 249003
3.49/3.53	c Elapsed CPU time: 3.47247 s	Remaining CPU time: 176.528 s
3.49/3.53	c ===============================================================================
3.49/3.53	c |       213 |    4141    27822    72713 |     9274      213      4 |  0.000 % |
3.49/3.55	c ===============================================================================
3.49/3.55	c New solution: 248897
3.49/3.55	o 248897
3.49/3.55	c Elapsed CPU time: 3.48747 s	Remaining CPU time: 176.513 s
3.49/3.55	c ===============================================================================
3.49/3.55	c |       215 |    4141    27823    74796 |     9274      215      4 |  0.000 % |
3.49/3.57	c ===============================================================================
3.49/3.57	c New solution: 248896
3.49/3.57	o 248896
3.49/3.57	c Elapsed CPU time: 3.50747 s	Remaining CPU time: 176.493 s
3.49/3.57	c ===============================================================================
3.49/3.57	c |       222 |    4141    27824    76879 |     9274      222      7 |  0.000 % |
3.59/3.62	c ===============================================================================
3.59/3.62	c New solution: 188483
3.59/3.62	o 188483
3.59/3.62	c Elapsed CPU time: 3.55246 s	Remaining CPU time: 176.448 s
3.59/3.62	c ===============================================================================
3.59/3.62	c |       280 |    4141    27825    78962 |     9275      280      6 |  0.000 % |
3.59/3.64	c ===============================================================================
3.59/3.64	c New solution: 186862
3.59/3.64	o 186862
3.59/3.64	c Elapsed CPU time: 3.56346 s	Remaining CPU time: 176.437 s
3.59/3.64	c ===============================================================================
3.59/3.64	c |       283 |    4141    27826    81045 |     9275      283      6 |  0.000 % |
3.59/3.67	c ===============================================================================
3.59/3.67	c New solution: 185323
3.59/3.67	o 185323
3.59/3.67	c Elapsed CPU time: 3.59945 s	Remaining CPU time: 176.401 s
3.59/3.67	c ===============================================================================
3.59/3.67	c |       310 |    4141    27827    83128 |     9275      310      8 |  0.000 % |
3.69/3.70	c ===============================================================================
3.69/3.70	c New solution: 185221
3.69/3.70	o 185221
3.69/3.70	c Elapsed CPU time: 3.62345 s	Remaining CPU time: 176.377 s
3.69/3.70	c ===============================================================================
3.69/3.70	c |       344 |    4141    27828    85211 |     9276      344      8 |  0.000 % |
3.69/3.73	c ===============================================================================
3.69/3.73	c New solution: 185204
3.69/3.73	o 185204
3.69/3.73	c Elapsed CPU time: 3.64745 s	Remaining CPU time: 176.353 s
3.69/3.73	c ===============================================================================
3.69/3.73	c |       355 |    4141    27829    87294 |     9276      355      8 |  0.000 % |
3.69/3.78	c ===============================================================================
3.69/3.78	c New solution: 185203
3.69/3.78	o 185203
3.69/3.78	c Elapsed CPU time: 3.69244 s	Remaining CPU time: 176.308 s
3.69/3.78	c ===============================================================================
3.69/3.78	c |       367 |    4141    27830    89377 |     9276      367      8 |  0.000 % |
3.69/3.79	c ===============================================================================
3.69/3.79	c New solution: 185174
3.69/3.79	o 185174
3.69/3.79	c Elapsed CPU time: 3.70944 s	Remaining CPU time: 176.291 s
3.69/3.79	c ===============================================================================
3.69/3.79	c |       367 |    4141    27831    91460 |     9277      367      8 |  0.000 % |
3.79/3.82	c ===============================================================================
3.79/3.82	c New solution: 185173
3.79/3.82	o 185173
3.79/3.82	c Elapsed CPU time: 3.73443 s	Remaining CPU time: 176.266 s
3.79/3.82	c ===============================================================================
3.79/3.82	c |       372 |    4141    27832    93543 |     9277      372     12 |  0.000 % |
3.79/3.88	c ===============================================================================
3.79/3.88	c New solution: 131424
3.79/3.88	o 131424
3.79/3.88	c Elapsed CPU time: 3.79242 s	Remaining CPU time: 176.208 s
3.79/3.88	c ===============================================================================
3.79/3.88	c |       412 |    4141    27833    95626 |     9277      412     11 |  0.000 % |
3.89/3.91	c ===============================================================================
3.89/3.91	c New solution: 116623
3.89/3.91	o 116623
3.89/3.91	c Elapsed CPU time: 3.81442 s	Remaining CPU time: 176.186 s
3.89/3.91	c ===============================================================================
3.89/3.91	c |       417 |    4141    27834    97709 |     9278      417     11 |  0.000 % |
3.89/3.93	c ===============================================================================
3.89/3.93	c New solution: 116582
3.89/3.93	o 116582
3.89/3.93	c Elapsed CPU time: 3.83542 s	Remaining CPU time: 176.165 s
3.89/3.93	c ===============================================================================
3.89/3.93	c |       421 |    4141    27835    99792 |     9278      421     12 |  0.000 % |
3.99/4.03	c ===============================================================================
3.99/4.03	c New solution: 116560
3.99/4.03	o 116560
3.99/4.03	c Elapsed CPU time: 3.9264 s	Remaining CPU time: 176.074 s
3.99/4.03	c ===============================================================================
3.99/4.03	c |       455 |    4141    27836   101875 |     9278      455     19 |  0.000 % |
3.99/4.07	c ===============================================================================
3.99/4.07	c New solution: 115015
3.99/4.07	o 115015
3.99/4.07	c Elapsed CPU time: 3.9624 s	Remaining CPU time: 176.038 s
3.99/4.07	c ===============================================================================
3.99/4.07	c |       480 |    4141    27837   103958 |     9279      480     21 |  0.000 % |
4.09/4.17	c ===============================================================================
4.09/4.17	c New solution: 114926
4.09/4.17	o 114926
4.09/4.17	c Elapsed CPU time: 4.06538 s	Remaining CPU time: 175.935 s
4.09/4.17	c ===============================================================================
4.09/4.17	c |       488 |    4141    27838   106041 |     9279      488     21 |  0.000 % |
4.19/4.23	c ===============================================================================
4.19/4.23	c New solution: 114925
4.19/4.23	o 114925
4.19/4.23	c Elapsed CPU time: 4.12237 s	Remaining CPU time: 175.878 s
4.19/4.23	c ===============================================================================
4.19/4.23	c |       489 |    4141    27839   108124 |     9279      489     21 |  0.000 % |
4.19/4.29	c ===============================================================================
4.19/4.29	c New solution: 114924
4.19/4.29	o 114924
4.19/4.29	c Elapsed CPU time: 4.17736 s	Remaining CPU time: 175.823 s
4.19/4.29	c ===============================================================================
4.19/4.29	c |       493 |    4141    27840   110207 |     9280      493     22 |  0.000 % |
4.30/4.33	c ===============================================================================
4.30/4.33	c New solution: 113432
4.30/4.33	o 113432
4.30/4.33	c Elapsed CPU time: 4.22036 s	Remaining CPU time: 175.78 s
4.30/4.33	c ===============================================================================
4.30/4.33	c |       511 |    4141    27841   112290 |     9280      511     21 |  0.000 % |
4.30/4.38	c ===============================================================================
4.30/4.38	c New solution: 113290
4.30/4.38	o 113290
4.30/4.38	c Elapsed CPU time: 4.26535 s	Remaining CPU time: 175.735 s
4.30/4.38	c ===============================================================================
4.30/4.38	c |       518 |    4141    27842   114373 |     9280      518     26 |  0.000 % |
4.69/4.79	c ===============================================================================
4.69/4.79	c New solution: 111796
4.69/4.79	o 111796
4.69/4.79	c Elapsed CPU time: 4.66429 s	Remaining CPU time: 175.336 s
4.69/4.79	c ===============================================================================
4.69/4.79	c |       614 |    4141    27843   116456 |     9281      614     60 |  0.000 % |
4.79/4.86	c ===============================================================================
4.79/4.86	c New solution: 111725
4.79/4.86	o 111725
4.79/4.86	c Elapsed CPU time: 4.72328 s	Remaining CPU time: 175.277 s
4.79/4.86	c ===============================================================================
4.79/4.86	c |       626 |    4141    27844   118539 |     9281      626     67 |  0.000 % |
4.89/4.92	c ===============================================================================
4.89/4.92	c New solution: 111680
4.89/4.92	o 111680
4.89/4.92	c Elapsed CPU time: 4.78127 s	Remaining CPU time: 175.219 s
4.89/4.92	c ===============================================================================
4.89/4.92	c |       634 |    4141    27845   120622 |     9281      634     67 |  0.000 % |
5.09/5.13	c ===============================================================================
5.09/5.13	c New solution: 110108
5.09/5.13	o 110108
5.09/5.13	c Elapsed CPU time: 4.99324 s	Remaining CPU time: 175.007 s
5.09/5.13	c ===============================================================================
5.09/5.13	c |       709 |    4141    27846   122705 |     9282      709    106 |  0.000 % |
5.19/5.20	c ===============================================================================
5.19/5.20	c New solution: 110064
5.19/5.20	o 110064
5.19/5.20	c Elapsed CPU time: 5.05823 s	Remaining CPU time: 174.942 s
5.19/5.20	c ===============================================================================
5.19/5.20	c |       713 |    4141    27847   124788 |     9282      713    107 |  0.000 % |
5.40/5.42	c |       813 |    4141    27847   124788 |    10210      813    162 | 29.431 % |
5.50/5.54	c ===============================================================================
5.50/5.54	c New solution: 110063
5.50/5.54	o 110063
5.50/5.54	c Elapsed CPU time: 5.40118 s	Remaining CPU time: 174.599 s
5.50/5.54	c ===============================================================================
5.50/5.54	c |       824 |    4141    27848   126871 |     9282      824    163 | 29.431 % |
5.59/5.63	c ===============================================================================
5.59/5.63	c New solution: 110035
5.59/5.63	o 110035
5.59/5.63	c Elapsed CPU time: 5.48817 s	Remaining CPU time: 174.512 s
5.59/5.63	c ===============================================================================
5.59/5.63	c |       853 |    4141    27849   128954 |     9283      853    171 | 29.431 % |
5.59/5.66	c ===============================================================================
5.59/5.66	c New solution: 108447
5.59/5.66	o 108447
5.59/5.66	c Elapsed CPU time: 5.51716 s	Remaining CPU time: 174.483 s
5.59/5.66	c ===============================================================================
5.59/5.66	c |       855 |    4141    27850   131037 |     9283      855    171 | 29.431 % |
5.79/5.82	c ===============================================================================
5.79/5.82	c New solution: 108446
5.79/5.82	o 108446
5.79/5.82	c Elapsed CPU time: 5.67614 s	Remaining CPU time: 174.324 s
5.79/5.82	c ===============================================================================
5.79/5.82	c |       887 |    4141    27851   133120 |     9283      887    174 | 29.431 % |
5.79/5.85	c ===============================================================================
5.79/5.85	c New solution: 108445
5.79/5.85	o 108445
5.79/5.85	c Elapsed CPU time: 5.69913 s	Remaining CPU time: 174.301 s
5.79/5.85	c ===============================================================================
5.79/5.85	c |       888 |    4141    27852   135203 |     9284      888    173 | 29.431 % |
5.89/5.92	c ===============================================================================
5.89/5.92	c New solution: 108444
5.89/5.92	o 108444
5.89/5.92	c Elapsed CPU time: 5.77312 s	Remaining CPU time: 174.227 s
5.89/5.92	c ===============================================================================
5.89/5.92	c |       894 |    4141    27853   137286 |     9284      894    174 | 29.431 % |
5.99/6.04	c ===============================================================================
5.99/6.04	c New solution: 106926
5.99/6.04	o 106926
5.99/6.04	c Elapsed CPU time: 5.8891 s	Remaining CPU time: 174.111 s
5.99/6.04	c ===============================================================================
5.99/6.04	c |       921 |    4141    27854   139369 |     9284      921    169 | 29.431 % |
6.09/6.16	c ===============================================================================
6.09/6.16	c New solution: 106834
6.09/6.16	o 106834
6.09/6.16	c Elapsed CPU time: 6.00209 s	Remaining CPU time: 173.998 s
6.09/6.16	c ===============================================================================
6.09/6.16	c |       939 |    4141    27855   141452 |     9285      939    174 | 29.431 % |
6.19/6.20	c ===============================================================================
6.19/6.20	c New solution: 105362
6.19/6.20	o 105362
6.19/6.20	c Elapsed CPU time: 6.04508 s	Remaining CPU time: 173.955 s
6.19/6.20	c ===============================================================================
6.19/6.20	c |       942 |    4141    27856   143535 |     9285      942    173 | 29.431 % |
6.19/6.23	c ===============================================================================
6.19/6.23	c New solution: 105351
6.19/6.23	o 105351
6.19/6.23	c Elapsed CPU time: 6.07008 s	Remaining CPU time: 173.93 s
6.19/6.23	c ===============================================================================
6.19/6.23	c |       944 |    4141    27857   145618 |     9285      944    173 | 29.431 % |
6.19/6.27	c ===============================================================================
6.19/6.27	c New solution: 105350
6.19/6.27	o 105350
6.19/6.27	c Elapsed CPU time: 6.10607 s	Remaining CPU time: 173.894 s
6.19/6.27	c ===============================================================================
6.19/6.27	c |       952 |    4141    27858   147701 |     9286      952    171 | 29.431 % |
6.19/6.29	c ===============================================================================
6.19/6.29	c New solution: 98810
6.19/6.29	o 98810
6.19/6.29	c Elapsed CPU time: 6.12807 s	Remaining CPU time: 173.872 s
6.19/6.29	c ===============================================================================
6.19/6.29	c |       955 |    4141    27859   149784 |     9286      955    171 | 29.431 % |
6.29/6.32	c ===============================================================================
6.29/6.32	c New solution: 98809
6.29/6.32	o 98809
6.29/6.32	c Elapsed CPU time: 6.15406 s	Remaining CPU time: 173.846 s
6.29/6.32	c ===============================================================================
6.29/6.32	c |       957 |    4141    27860   151867 |     9286      957    170 | 29.431 % |
6.39/6.45	c ===============================================================================
6.39/6.45	c New solution: 98774
6.39/6.45	o 98774
6.39/6.45	c Elapsed CPU time: 6.28504 s	Remaining CPU time: 173.715 s
6.39/6.45	c ===============================================================================
6.39/6.45	c |       971 |    4141    27861   153950 |     9287      971    169 | 29.431 % |
6.49/6.56	c ===============================================================================
6.49/6.56	c New solution: 98625
6.49/6.56	o 98625
6.49/6.56	c Elapsed CPU time: 6.38703 s	Remaining CPU time: 173.613 s
6.49/6.56	c ===============================================================================
6.49/6.56	c |       974 |    4141    27862   156033 |     9287      974    169 | 29.431 % |
6.49/6.59	c ===============================================================================
6.49/6.59	c New solution: 97082
6.49/6.59	o 97082
6.49/6.59	c Elapsed CPU time: 6.41802 s	Remaining CPU time: 173.582 s
6.49/6.59	c ===============================================================================
6.49/6.59	c |       976 |    4141    27863   158116 |     9287      976    169 | 29.431 % |
6.69/6.72	c ===============================================================================
6.69/6.72	c New solution: 97081
6.69/6.72	o 97081
6.69/6.72	c Elapsed CPU time: 6.551 s	Remaining CPU time: 173.449 s
6.69/6.72	c ===============================================================================
6.69/6.72	c |       999 |    4141    27864   160199 |     9288      999    181 | 29.431 % |
6.79/6.81	c ===============================================================================
6.79/6.81	c New solution: 97030
6.79/6.81	o 97030
6.79/6.81	c Elapsed CPU time: 6.64199 s	Remaining CPU time: 173.358 s
6.79/6.81	c ===============================================================================
6.79/6.81	c |      1001 |    4141    27865   162282 |     9288     1001    182 | 29.431 % |
6.99/7.08	c |      1102 |    4141    27865   162282 |    10217     1102    225 | 29.431 % |
7.19/7.22	c ===============================================================================
7.19/7.22	c New solution: 97004
7.19/7.22	o 97004
7.19/7.22	c Elapsed CPU time: 7.05293 s	Remaining CPU time: 172.947 s
7.19/7.22	c ===============================================================================
7.19/7.22	c |      1105 |    4141    27866   164365 |     9288     1105    225 | 29.431 % |
7.19/7.29	c ===============================================================================
7.19/7.29	c New solution: 95484
7.19/7.29	o 95484
7.19/7.29	c Elapsed CPU time: 7.12292 s	Remaining CPU time: 172.877 s
7.19/7.29	c ===============================================================================
7.19/7.29	c |      1107 |    4141    27867   166448 |     9289     1107    225 | 29.431 % |
7.29/7.39	c ===============================================================================
7.29/7.39	c New solution: 95483
7.29/7.39	o 95483
7.29/7.39	c Elapsed CPU time: 7.2159 s	Remaining CPU time: 172.784 s
7.29/7.39	c ===============================================================================
7.29/7.39	c |      1113 |    4141    27868   168531 |     9289     1113    224 | 29.431 % |
7.49/7.56	c ===============================================================================
7.49/7.56	c New solution: 95458
7.49/7.56	o 95458
7.49/7.56	c Elapsed CPU time: 7.38988 s	Remaining CPU time: 172.61 s
7.49/7.56	c ===============================================================================
7.49/7.56	c |      1117 |    4141    27869   170614 |     9289     1117    223 | 29.431 % |
7.60/7.68	c ===============================================================================
7.60/7.68	c New solution: 95452
7.60/7.68	o 95452
7.60/7.68	c Elapsed CPU time: 7.50986 s	Remaining CPU time: 172.49 s
7.60/7.68	c ===============================================================================
7.60/7.68	c |      1121 |    4141    27870   172697 |     9290     1121    224 | 29.431 % |
7.79/7.80	c ===============================================================================
7.79/7.80	c New solution: 95350
7.79/7.80	o 95350
7.79/7.80	c Elapsed CPU time: 7.62484 s	Remaining CPU time: 172.375 s
7.79/7.80	c ===============================================================================
7.79/7.80	c |      1132 |    4141    27871   174780 |     9290     1132    226 | 29.431 % |
8.09/8.20	c |      1234 |    4141    27871   174780 |    10219     1234    257 | 29.431 % |
8.38/8.40	c ===============================================================================
8.38/8.40	c New solution: 95349
8.38/8.40	o 95349
8.38/8.40	c Elapsed CPU time: 8.22275 s	Remaining CPU time: 171.777 s
8.38/8.40	c ===============================================================================
8.38/8.40	c |      1306 |    4141    27872   176863 |     9290     1306    273 | 29.431 % |
8.49/8.52	c |      1406 |    4141    27872   176863 |    10219     1406    292 | 29.431 % |
8.80/8.86	c |      1556 |    4141    27872   176863 |    11241     1556    318 | 29.431 % |
8.89/8.97	c ===============================================================================
8.89/8.97	c New solution: 95326
8.89/8.97	o 95326
8.89/8.97	c Elapsed CPU time: 8.79466 s	Remaining CPU time: 171.205 s
8.89/8.97	c ===============================================================================
8.89/8.97	c |      1559 |    4141    27873   178946 |     9291     1559    318 | 29.431 % |
8.99/9.09	c ===============================================================================
8.99/9.09	c New solution: 93821
8.99/9.09	o 93821
8.99/9.09	c Elapsed CPU time: 8.91165 s	Remaining CPU time: 171.088 s
8.99/9.09	c ===============================================================================
8.99/9.09	c |      1568 |    4141    27874   181029 |     9291     1568    318 | 29.431 % |
9.39/9.45	c |      1669 |    4141    27874   181029 |    10220     1669    331 | 29.431 % |
9.49/9.59	c ===============================================================================
9.49/9.59	c New solution: 93707
9.49/9.59	o 93707
9.49/9.59	c Elapsed CPU time: 9.40457 s	Remaining CPU time: 170.595 s
9.49/9.59	c ===============================================================================
9.49/9.59	c |      1680 |    4141    27875   183112 |     9291     1680    331 | 29.431 % |
9.69/9.73	c ===============================================================================
9.69/9.73	c New solution: 93694
9.69/9.73	o 93694
9.69/9.73	c Elapsed CPU time: 9.55255 s	Remaining CPU time: 170.447 s
9.69/9.73	c ===============================================================================
9.69/9.73	c |      1688 |    4141    27876   185195 |     9292     1688    331 | 29.431 % |
9.80/9.85	c ===============================================================================
9.80/9.85	c New solution: 92290
9.80/9.85	o 92290
9.80/9.85	c Elapsed CPU time: 9.66153 s	Remaining CPU time: 170.338 s
9.80/9.85	c ===============================================================================
9.80/9.85	c |      1699 |    4141    27877   187278 |     9292     1699    329 | 29.431 % |
9.89/9.97	c ===============================================================================
9.89/9.97	c New solution: 92219
9.89/9.97	o 92219
9.89/9.97	c Elapsed CPU time: 9.78451 s	Remaining CPU time: 170.215 s
9.89/9.97	c ===============================================================================
9.89/9.97	c |      1703 |    4141    27878   189361 |     9292     1703    329 | 29.431 % |
9.98/10.09	c ===============================================================================
9.98/10.09	c New solution: 92131
9.98/10.09	o 92131
9.98/10.09	c Elapsed CPU time: 9.90349 s	Remaining CPU time: 170.097 s
9.98/10.09	c ===============================================================================
9.98/10.09	c |      1708 |    4141    27879   191444 |     9293     1708    330 | 29.431 % |
10.28/10.30	c ===============================================================================
10.28/10.30	c New solution: 92130
10.28/10.30	o 92130
10.28/10.30	c Elapsed CPU time: 10.1135 s	Remaining CPU time: 169.887 s
10.28/10.30	c ===============================================================================
10.28/10.30	c |      1741 |    4141    27880   193527 |     9293     1741    335 | 29.431 % |
10.39/10.43	c ===============================================================================
10.39/10.43	c New solution: 92125
10.39/10.43	o 92125
10.39/10.43	c Elapsed CPU time: 10.2424 s	Remaining CPU time: 169.758 s
10.39/10.43	c ===============================================================================
10.39/10.43	c |      1749 |    4141    27881   195610 |     9293     1749    335 | 29.431 % |
10.49/10.58	c ===============================================================================
10.49/10.58	c New solution: 92075
10.49/10.58	o 92075
10.49/10.58	c Elapsed CPU time: 10.3934 s	Remaining CPU time: 169.607 s
10.49/10.58	c ===============================================================================
10.49/10.58	c |      1759 |    4141    27882   197693 |     9294     1759    335 | 29.431 % |
10.79/10.83	c |      1859 |    4141    27882   197693 |    10223     1859    349 | 29.431 % |
11.00/11.04	c ===============================================================================
11.00/11.04	c New solution: 92074
11.00/11.04	o 92074
11.00/11.04	c Elapsed CPU time: 10.8523 s	Remaining CPU time: 169.148 s
11.00/11.04	c ===============================================================================
11.00/11.04	c |      1900 |    4141    27883   199776 |     9294     1900    350 | 29.431 % |
11.39/11.41	c |      2000 |    4141    27883   199776 |    10223     2000    360 | 29.431 % |
11.59/11.64	c ===============================================================================
11.59/11.64	c New solution: 90631
11.59/11.64	o 90631
11.59/11.64	c Elapsed CPU time: 11.4463 s	Remaining CPU time: 168.554 s
11.59/11.64	c ===============================================================================
11.59/11.64	c |      2005 |    4141    27884   201859 |     9294     2005    360 | 29.431 % |
11.79/11.80	c ===============================================================================
11.79/11.80	c New solution: 90451
11.79/11.80	o 90451
11.79/11.80	c Elapsed CPU time: 11.6092 s	Remaining CPU time: 168.391 s
11.79/11.80	c ===============================================================================
11.79/11.80	c |      2022 |    4141    27885   203942 |     9295     2022    361 | 29.431 % |
11.99/12.08	c |      2123 |    4141    27885   203942 |    10224     2123    372 | 29.431 % |
12.19/12.29	c ===============================================================================
12.19/12.29	c New solution: 90443
12.19/12.29	o 90443
12.19/12.29	c Elapsed CPU time: 12.0892 s	Remaining CPU time: 167.911 s
12.19/12.29	c ===============================================================================
12.19/12.29	c |      2163 |    4141    27886   206025 |     9295     2163    373 | 29.431 % |
12.68/12.73	c ===============================================================================
12.68/12.73	c New solution: 88936
12.68/12.73	o 88936
12.68/12.73	c Elapsed CPU time: 12.5321 s	Remaining CPU time: 167.468 s
12.68/12.73	c ===============================================================================
12.68/12.73	c |      2220 |    4141    27887   208108 |     9295     2220    379 | 29.431 % |
12.78/12.87	c ===============================================================================
12.78/12.87	c New solution: 88793
12.78/12.87	o 88793
12.78/12.87	c Elapsed CPU time: 12.6681 s	Remaining CPU time: 167.332 s
12.78/12.87	c ===============================================================================
12.78/12.87	c |      2222 |    4141    27888   210191 |     9296     2222    379 | 29.431 % |
12.88/12.99	c ===============================================================================
12.88/12.99	c New solution: 88792
12.88/12.99	o 88792
12.88/12.99	c Elapsed CPU time: 12.7901 s	Remaining CPU time: 167.21 s
12.88/12.99	c ===============================================================================
12.88/12.99	c |      2223 |    4141    27889   212274 |     9296     2223    379 | 29.431 % |
13.19/13.24	c ===============================================================================
13.19/13.24	c New solution: 88791
13.19/13.24	o 88791
13.19/13.24	c Elapsed CPU time: 13.034 s	Remaining CPU time: 166.966 s
13.19/13.24	c ===============================================================================
13.19/13.24	c |      2272 |    4141    27890   214357 |     9296     2272    382 | 29.431 % |
13.39/13.45	c ===============================================================================
13.39/13.45	c New solution: 87305
13.39/13.45	o 87305
13.39/13.45	c Elapsed CPU time: 13.24 s	Remaining CPU time: 166.76 s
13.39/13.45	c ===============================================================================
13.39/13.45	c |      2299 |    4141    27891   216440 |     9297     2299    382 | 29.431 % |
13.58/13.62	c ===============================================================================
13.58/13.62	c New solution: 87174
13.58/13.62	o 87174
13.58/13.62	c Elapsed CPU time: 13.411 s	Remaining CPU time: 166.589 s
13.58/13.62	c ===============================================================================
13.58/13.62	c |      2315 |    4141    27892   218523 |     9297     2315    383 | 29.431 % |
13.68/13.78	c ===============================================================================
13.68/13.78	c New solution: 87167
13.68/13.78	o 87167
13.68/13.78	c Elapsed CPU time: 13.5679 s	Remaining CPU time: 166.432 s
13.68/13.78	c ===============================================================================
13.68/13.78	c |      2321 |    4141    27893   220606 |     9297     2321    383 | 29.431 % |
14.08/14.10	c |      2422 |    4141    27893   220606 |    10227     2422    390 | 29.431 % |
14.58/14.68	c |      2572 |    4141    27893   220606 |    11250     2572    401 | 29.431 % |
15.30/15.32	c |      2798 |    4141    27893   220606 |    12375     2798    417 | 29.431 % |
16.09/16.19	c |      3135 |    4141    27893   220606 |    13612     3135    435 | 29.431 % |
16.29/16.37	c ===============================================================================
16.29/16.37	c New solution: 87166
16.29/16.37	o 87166
16.29/16.37	c Elapsed CPU time: 16.1565 s	Remaining CPU time: 163.843 s
16.29/16.37	c ===============================================================================
16.29/16.37	c |      3138 |    4141    27894   222689 |     9298     3138    435 | 29.431 % |
16.39/16.45	c ===============================================================================
16.39/16.45	c New solution: 87165
16.39/16.45	o 87165
16.39/16.45	c Elapsed CPU time: 16.2355 s	Remaining CPU time: 163.764 s
16.39/16.45	c ===============================================================================
16.39/16.45	c |      3140 |    4141    27895   224772 |     9298     3140    435 | 29.431 % |
16.78/16.82	c |      3241 |    4141    27895   224772 |    10228     3241    439 | 29.431 % |
16.88/16.97	c ===============================================================================
16.88/16.97	c New solution: 87164
16.88/16.97	o 87164
16.88/16.97	c Elapsed CPU time: 16.7505 s	Remaining CPU time: 163.25 s
16.88/16.97	c ===============================================================================
16.88/16.97	c |      3257 |    4141    27896   226855 |     9298     3257    438 | 29.431 % |
17.18/17.25	c |      3359 |    4141    27896   226855 |    10228     3359    438 | 29.431 % |
17.38/17.44	c ===============================================================================
17.38/17.44	c New solution: 85698
17.38/17.44	o 85698
17.38/17.44	c Elapsed CPU time: 17.2164 s	Remaining CPU time: 162.784 s
17.38/17.44	c ===============================================================================
17.38/17.44	c |      3373 |    4141    27897   228938 |     9299     3373    438 | 29.431 % |
17.59/17.61	c ===============================================================================
17.59/17.61	c New solution: 85661
17.59/17.61	o 85661
17.59/17.61	c Elapsed CPU time: 17.3854 s	Remaining CPU time: 162.615 s
17.59/17.61	c ===============================================================================
17.59/17.61	c |      3375 |    4141    27898   231021 |     9299     3375    438 | 29.431 % |
17.68/17.77	c ===============================================================================
17.68/17.77	c New solution: 85658
17.68/17.77	o 85658
17.68/17.77	c Elapsed CPU time: 17.5463 s	Remaining CPU time: 162.454 s
17.68/17.77	c ===============================================================================
17.68/17.77	c |      3377 |    4141    27899   233104 |     9299     3377    438 | 29.431 % |
17.89/17.94	c ===============================================================================
17.89/17.94	c New solution: 85657
17.89/17.94	o 85657
17.89/17.94	c Elapsed CPU time: 17.7163 s	Remaining CPU time: 162.284 s
17.89/17.94	c ===============================================================================
17.89/17.94	c |      3380 |    4141    27900   235187 |     9300     3380    438 | 29.431 % |
17.99/18.09	c ===============================================================================
17.99/18.09	c New solution: 85656
17.99/18.09	o 85656
17.99/18.09	c Elapsed CPU time: 17.8713 s	Remaining CPU time: 162.129 s
17.99/18.09	c ===============================================================================
17.99/18.09	c |      3382 |    4141    27901   237270 |     9300     3382    438 | 29.431 % |
18.19/18.27	c ===============================================================================
18.19/18.27	c New solution: 85598
18.19/18.27	o 85598
18.19/18.27	c Elapsed CPU time: 18.0463 s	Remaining CPU time: 161.954 s
18.19/18.27	c ===============================================================================
18.19/18.27	c |      3383 |    4141    27902   239353 |     9300     3383    438 | 29.431 % |
18.79/18.87	c |      3484 |    4141    27902   239353 |    10230     3484    442 | 29.431 % |
18.99/19.03	c ===============================================================================
18.99/19.03	c New solution: 85566
18.99/19.03	o 85566
18.99/19.03	c Elapsed CPU time: 18.8031 s	Remaining CPU time: 161.197 s
18.99/19.03	c ===============================================================================
18.99/19.03	c |      3487 |    4141    27903   241436 |     9301     3487    442 | 29.431 % |
19.29/19.38	c |      3587 |    4141    27903   241436 |    10231     3587    447 | 29.431 % |
19.58/19.60	c ===============================================================================
19.58/19.60	c New solution: 85565
19.58/19.60	o 85565
19.58/19.60	c Elapsed CPU time: 19.3721 s	Remaining CPU time: 160.628 s
19.58/19.60	c ===============================================================================
19.58/19.60	c |      3589 |    4141    27904   243519 |     9301     3589    447 | 29.431 % |
19.69/19.73	c ===============================================================================
19.69/19.73	c New solution: 85564
19.69/19.73	o 85564
19.69/19.73	c Elapsed CPU time: 19.495 s	Remaining CPU time: 160.505 s
19.69/19.73	c ===============================================================================
19.69/19.73	c |      3592 |    4141    27905   245602 |     9301     3592    447 | 29.431 % |
19.79/19.88	c |      3692 |    4141    27905   245602 |    10231     3692    446 | 29.431 % |
20.38/20.47	c |      3843 |    4141    27905   245602 |    11255     3843    453 | 29.431 % |
20.79/20.82	c ===============================================================================
20.79/20.82	c New solution: 85546
20.79/20.82	o 85546
20.79/20.82	c Elapsed CPU time: 20.5879 s	Remaining CPU time: 159.412 s
20.79/20.82	c ===============================================================================
20.79/20.82	c |      3887 |    4141    27906   247685 |     9302     3887    452 | 29.431 % |
21.28/21.31	c |      3988 |    4141    27906   247685 |    10232     3988    456 | 29.431 % |
21.38/21.47	c ===============================================================================
21.38/21.47	c New solution: 85545
21.38/21.47	o 85545
21.38/21.47	c Elapsed CPU time: 21.2338 s	Remaining CPU time: 158.766 s
21.38/21.47	c ===============================================================================
21.38/21.47	c |      3990 |    4141    27907   249768 |     9302     3990    456 | 29.431 % |
21.89/21.92	c ===============================================================================
21.89/21.92	c New solution: 84096
21.89/21.92	o 84096
21.89/21.92	c Elapsed CPU time: 21.6827 s	Remaining CPU time: 158.317 s
21.89/21.92	c ===============================================================================
21.89/21.92	c |      4057 |    4141    27908   251851 |     9302     4057    457 | 29.431 % |
22.08/22.12	c ===============================================================================
22.08/22.12	c New solution: 83892
22.08/22.12	o 83892
22.08/22.12	c Elapsed CPU time: 21.8797 s	Remaining CPU time: 158.12 s
22.08/22.12	c ===============================================================================
22.08/22.12	c |      4062 |    4141    27909   253934 |     9303     4062    457 | 29.431 % |
22.18/22.22	c ===============================================================================
22.18/22.22	c New solution: 83891
22.18/22.22	o 83891
22.18/22.22	c Elapsed CPU time: 21.9767 s	Remaining CPU time: 158.023 s
22.18/22.22	c ===============================================================================
22.18/22.22	c |      4073 |    4141    27910   256017 |     9303     4073    458 | 29.431 % |
22.59/22.67	c |      4173 |    4141    27910   256017 |    10233     4173    460 | 29.431 % |
22.79/22.86	c ===============================================================================
22.79/22.86	c New solution: 83890
22.79/22.86	o 83890
22.79/22.86	c Elapsed CPU time: 22.6116 s	Remaining CPU time: 157.388 s
22.79/22.86	c ===============================================================================
22.79/22.86	c |      4179 |    4141    27911   258100 |     9303     4179    460 | 29.431 % |
22.99/23.04	c ===============================================================================
22.99/23.04	c New solution: 83889
22.99/23.04	o 83889
22.99/23.04	c Elapsed CPU time: 22.7935 s	Remaining CPU time: 157.206 s
22.99/23.04	c ===============================================================================
22.99/23.04	c |      4182 |    4141    27912   260183 |     9304     4182    460 | 29.431 % |
23.19/23.22	c ===============================================================================
23.19/23.22	c New solution: 82394
23.19/23.22	o 82394
23.19/23.22	c Elapsed CPU time: 22.9705 s	Remaining CPU time: 157.029 s
23.19/23.22	c ===============================================================================
23.19/23.22	c |      4186 |    4141    27913   262266 |     9304     4186    460 | 29.431 % |
23.48/23.51	c ===============================================================================
23.48/23.51	c New solution: 82345
23.48/23.51	o 82345
23.48/23.51	c Elapsed CPU time: 23.2655 s	Remaining CPU time: 156.735 s
23.48/23.51	c ===============================================================================
23.48/23.51	c |      4240 |    4141    27914   264349 |     9304     4240    460 | 29.431 % |
23.68/23.70	c ===============================================================================
23.68/23.70	c New solution: 82310
23.68/23.70	o 82310
23.68/23.70	c Elapsed CPU time: 23.4484 s	Remaining CPU time: 156.552 s
23.68/23.70	c ===============================================================================
23.68/23.70	c |      4251 |    4141    27915   266432 |     9305     4251    460 | 29.431 % |
23.79/23.85	c ===============================================================================
23.79/23.85	c New solution: 80757
23.79/23.85	o 80757
23.79/23.85	c Elapsed CPU time: 23.5924 s	Remaining CPU time: 156.408 s
23.79/23.85	c ===============================================================================
23.79/23.85	c |      4258 |    4141    27916   268515 |     9305     4258    460 | 29.431 % |
23.99/24.04	c ===============================================================================
23.99/24.04	c New solution: 80627
23.99/24.04	o 80627
23.99/24.04	c Elapsed CPU time: 23.7794 s	Remaining CPU time: 156.221 s
23.99/24.04	c ===============================================================================
23.99/24.04	c |      4267 |    4141    27917   270598 |     9305     4267    460 | 29.431 % |
24.38/24.44	c |      4368 |    4141    27917   270598 |    10236     4368    463 | 29.431 % |
24.58/24.68	c ===============================================================================
24.58/24.68	c New solution: 80626
24.58/24.68	o 80626
24.58/24.68	c Elapsed CPU time: 24.4213 s	Remaining CPU time: 155.579 s
24.58/24.68	c ===============================================================================
24.58/24.68	c |      4403 |    4141    27918   272681 |     9306     4403    462 | 29.431 % |
25.08/25.12	c |      4503 |    4141    27918   272681 |    10236     4503    465 | 29.431 % |
25.19/25.27	c ===============================================================================
25.19/25.27	c New solution: 80625
25.19/25.27	o 80625
25.19/25.27	c Elapsed CPU time: 25.0062 s	Remaining CPU time: 154.994 s
25.19/25.27	c ===============================================================================
25.19/25.27	c |      4507 |    4141    27919   274764 |     9306     4507    465 | 29.431 % |
25.58/25.68	c |      4608 |    4141    27919   274764 |    10236     4608    466 | 29.431 % |
25.88/25.92	c ===============================================================================
25.88/25.92	c New solution: 80624
25.88/25.92	o 80624
25.88/25.92	c Elapsed CPU time: 25.6611 s	Remaining CPU time: 154.339 s
25.88/25.92	c ===============================================================================
25.88/25.92	c |      4616 |    4141    27920   276847 |     9306     4616    465 | 29.431 % |
26.29/26.34	c |      4718 |    4141    27920   276847 |    10237     4718    468 | 29.431 % |
26.89/26.99	c |      4868 |    4141    27920   276847 |    11261     4868    471 | 29.431 % |
27.98/28.01	c |      5094 |    4141    27920   276847 |    12387     5094    475 | 29.431 % |
28.18/28.26	c ===============================================================================
28.18/28.26	c New solution: 80623
28.18/28.26	o 80623
28.18/28.26	c Elapsed CPU time: 27.9947 s	Remaining CPU time: 152.005 s
28.18/28.26	c ===============================================================================
28.18/28.26	c |      5096 |    4141    27921   278930 |     9307     5096    475 | 29.431 % |
28.59/28.65	c ===============================================================================
28.59/28.65	c New solution: 79157
28.59/28.65	o 79157
28.59/28.65	c Elapsed CPU time: 28.3817 s	Remaining CPU time: 151.618 s
28.59/28.65	c ===============================================================================
28.59/28.65	c |      5116 |    4141    27922   281013 |     9307     5116    475 | 29.431 % |
28.78/28.84	c ===============================================================================
28.78/28.84	c New solution: 78990
28.78/28.84	o 78990
28.78/28.84	c Elapsed CPU time: 28.5687 s	Remaining CPU time: 151.431 s
28.78/28.84	c ===============================================================================
28.78/28.84	c |      5129 |    4141    27923   283096 |     9307     5129    475 | 29.431 % |
29.28/29.36	c |      5229 |    4141    27923   283096 |    10238     5229    477 | 29.431 % |
29.48/29.56	c ===============================================================================
29.48/29.56	c New solution: 78989
29.48/29.56	o 78989
29.48/29.56	c Elapsed CPU time: 29.2885 s	Remaining CPU time: 150.711 s
29.48/29.56	c ===============================================================================
29.48/29.56	c |      5232 |    4141    27924   285179 |     9308     5232    477 | 29.431 % |
29.78/29.89	c |      5332 |    4141    27924   285179 |    10238     5332    479 | 29.431 % |
29.98/30.05	c ===============================================================================
29.98/30.05	c New solution: 78988
29.98/30.05	o 78988
29.98/30.05	c Elapsed CPU time: 29.7745 s	Remaining CPU time: 150.226 s
29.98/30.05	c ===============================================================================
29.98/30.05	c |      5336 |    4141    27925   287262 |     9308     5336    479 | 29.431 % |
30.18/30.26	c ===============================================================================
30.18/30.26	c New solution: 78987
30.18/30.26	o 78987
30.18/30.26	c Elapsed CPU time: 29.9824 s	Remaining CPU time: 150.018 s
30.18/30.26	c ===============================================================================
30.18/30.26	c |      5347 |    4141    27926   289345 |     9308     5347    479 | 29.431 % |
30.69/30.79	c |      5448 |    4141    27926   289345 |    10239     5448    481 | 29.431 % |
30.98/31.00	c ===============================================================================
30.98/31.00	c New solution: 78986
30.98/31.00	o 78986
30.98/31.00	c Elapsed CPU time: 30.7203 s	Remaining CPU time: 149.28 s
30.98/31.00	c ===============================================================================
30.98/31.00	c |      5483 |    4141    27927   291428 |     9309     5483    480 | 29.431 % |
31.28/31.36	c ===============================================================================
31.28/31.36	c New solution: 77563
31.28/31.36	o 77563
31.28/31.36	c Elapsed CPU time: 31.0773 s	Remaining CPU time: 148.923 s
31.28/31.36	c ===============================================================================
31.28/31.36	c |      5488 |    4141    27928   293511 |     9309     5488    480 | 29.431 % |
31.48/31.55	c ===============================================================================
31.48/31.55	c New solution: 77350
31.48/31.55	o 77350
31.48/31.55	c Elapsed CPU time: 31.2712 s	Remaining CPU time: 148.729 s
31.48/31.55	c ===============================================================================
31.48/31.55	c |      5493 |    4141    27929   295594 |     9309     5493    480 | 29.431 % |
31.88/31.91	c |      5593 |    4141    27929   295594 |    10240     5593    482 | 29.431 % |
31.97/32.07	c ===============================================================================
31.97/32.07	c New solution: 77349
31.97/32.07	o 77349
31.97/32.07	c Elapsed CPU time: 31.7792 s	Remaining CPU time: 148.221 s
31.97/32.07	c ===============================================================================
31.97/32.07	c |      5600 |    4141    27930   297677 |     9310     5600    482 | 29.431 % |
32.37/32.40	c |      5700 |    4141    27930   297677 |    10241     5700    483 | 29.431 % |
32.57/32.64	c ===============================================================================
32.57/32.64	c New solution: 77348
32.57/32.64	o 77348
32.57/32.64	c Elapsed CPU time: 32.3471 s	Remaining CPU time: 147.653 s
32.57/32.64	c ===============================================================================
32.57/32.64	c |      5702 |    4141    27931   299760 |     9310     5702    483 | 29.431 % |
32.88/32.93	c ===============================================================================
32.88/32.93	c New solution: 77347
32.88/32.93	o 77347
32.88/32.93	c Elapsed CPU time: 32.637 s	Remaining CPU time: 147.363 s
32.88/32.93	c ===============================================================================
32.88/32.93	c |      5710 |    4141    27932   301843 |     9310     5710    483 | 29.431 % |
32.99/33.08	c ===============================================================================
32.99/33.08	c New solution: 77346
32.99/33.08	o 77346
32.99/33.08	c Elapsed CPU time: 32.783 s	Remaining CPU time: 147.217 s
32.99/33.08	c ===============================================================================
32.99/33.08	c |      5724 |    4141    27933   303926 |     9311     5724    483 | 29.431 % |
33.47/33.56	c |      5825 |    4141    27933   303926 |    10242     5825    484 | 29.431 % |
33.67/33.78	c ===============================================================================
33.67/33.78	c New solution: 77345
33.67/33.78	o 77345
33.67/33.78	c Elapsed CPU time: 33.4869 s	Remaining CPU time: 146.513 s
33.67/33.78	c ===============================================================================
33.67/33.78	c |      5827 |    4141    27934   306009 |     9311     5827    484 | 29.431 % |
34.17/34.25	c |      5928 |    4141    27934   306009 |    10242     5928    486 | 29.431 % |
34.87/34.90	c |      6078 |    4141    27934   306009 |    11266     6078    487 | 29.431 % |
35.08/35.13	c ===============================================================================
35.08/35.13	c New solution: 77344
35.08/35.13	o 77344
35.08/35.13	c Elapsed CPU time: 34.8327 s	Remaining CPU time: 145.167 s
35.08/35.13	c ===============================================================================
35.08/35.13	c |      6083 |    4141    27935   308092 |     9311     6083    487 | 29.431 % |
35.27/35.34	c ===============================================================================
35.27/35.34	c New solution: 77343
35.27/35.34	o 77343
35.27/35.34	c Elapsed CPU time: 35.0407 s	Remaining CPU time: 144.959 s
35.27/35.34	c ===============================================================================
35.27/35.34	c |      6098 |    4141    27936   310175 |     9312     6098    487 | 29.431 % |
35.57/35.60	c ===============================================================================
35.57/35.60	c New solution: 77342
35.57/35.60	o 77342
35.57/35.60	c Elapsed CPU time: 35.2966 s	Remaining CPU time: 144.703 s
35.57/35.60	c ===============================================================================
35.57/35.60	c |      6104 |    4141    27937   312258 |     9312     6104    487 | 29.431 % |
36.17/36.20	c |      6204 |    4141    27937   312258 |    10243     6204    489 | 29.431 % |
36.47/36.58	c ===============================================================================
36.47/36.58	c New solution: 77341
36.47/36.58	o 77341
36.47/36.58	c Elapsed CPU time: 36.2795 s	Remaining CPU time: 143.721 s
36.47/36.58	c ===============================================================================
36.47/36.58	c |      6269 |    4141    27938   314341 |     9312     6269    488 | 29.431 % |
37.07/37.11	c ===============================================================================
37.07/37.11	c New solution: 77340
37.07/37.11	o 77340
37.07/37.11	c Elapsed CPU time: 36.7994 s	Remaining CPU time: 143.201 s
37.07/37.11	c ===============================================================================
37.07/37.11	c |      6346 |    4141    27939   316424 |     9313     6346    489 | 29.431 % |
37.38/37.44	c ===============================================================================
37.38/37.44	c New solution: 75932
37.38/37.44	o 75932
37.38/37.44	c Elapsed CPU time: 37.1254 s	Remaining CPU time: 142.875 s
37.38/37.44	c ===============================================================================
37.38/37.44	c |      6347 |    4141    27940   318507 |     9313     6347    489 | 29.431 % |
37.67/37.71	c ===============================================================================
37.67/37.71	c New solution: 75930
37.67/37.71	o 75930
37.67/37.71	c Elapsed CPU time: 37.4003 s	Remaining CPU time: 142.6 s
37.67/37.71	c ===============================================================================
37.67/37.71	c |      6349 |    4141    27941   320590 |     9313     6349    489 | 29.431 % |
37.87/37.94	c ===============================================================================
37.87/37.94	c New solution: 75919
37.87/37.94	o 75919
37.87/37.94	c Elapsed CPU time: 37.6273 s	Remaining CPU time: 142.373 s
37.87/37.94	c ===============================================================================
37.87/37.94	c |      6349 |    4141    27942   322673 |     9314     6349    489 | 29.431 % |
38.07/38.16	c ===============================================================================
38.07/38.16	c New solution: 75852
38.07/38.16	o 75852
38.07/38.16	c Elapsed CPU time: 37.8482 s	Remaining CPU time: 142.152 s
38.07/38.16	c ===============================================================================
38.07/38.16	c |      6353 |    4141    27943   324756 |     9314     6353    489 | 29.431 % |
38.37/38.44	c ===============================================================================
38.37/38.44	c New solution: 75781
38.37/38.44	o 75781
38.37/38.44	c Elapsed CPU time: 38.1232 s	Remaining CPU time: 141.877 s
38.37/38.44	c ===============================================================================
38.37/38.44	c |      6369 |    4141    27944   326839 |     9314     6369    488 | 29.431 % |
38.57/38.60	c ===============================================================================
38.57/38.60	c New solution: 75780
38.57/38.60	o 75780
38.57/38.60	c Elapsed CPU time: 38.2862 s	Remaining CPU time: 141.714 s
38.57/38.60	c ===============================================================================
38.57/38.60	c |      6379 |    4141    27945   328922 |     9315     6379    489 | 29.431 % |
38.77/38.88	c ===============================================================================
38.77/38.88	c New solution: 75756
38.77/38.88	o 75756
38.77/38.88	c Elapsed CPU time: 38.5561 s	Remaining CPU time: 141.444 s
38.77/38.88	c ===============================================================================
38.77/38.88	c |      6391 |    4141    27946   331005 |     9315     6391    488 | 29.431 % |
39.17/39.29	c |      6492 |    4141    27946   331005 |    10246     6492    490 | 29.431 % |
39.37/39.48	c ===============================================================================
39.37/39.48	c New solution: 75755
39.37/39.48	o 75755
39.37/39.48	c Elapsed CPU time: 39.162 s	Remaining CPU time: 140.838 s
39.37/39.48	c ===============================================================================
39.37/39.48	c |      6492 |    4141    27947   333088 |     9315     6492    490 | 29.431 % |
39.67/39.72	c ===============================================================================
39.67/39.72	c New solution: 75754
39.67/39.72	o 75754
39.67/39.72	c Elapsed CPU time: 39.394 s	Remaining CPU time: 140.606 s
39.67/39.72	c ===============================================================================
39.67/39.72	c |      6496 |    4141    27948   335171 |     9316     6496    490 | 29.431 % |
39.87/39.92	c ===============================================================================
39.87/39.92	c New solution: 75753
39.87/39.92	o 75753
39.87/39.92	c Elapsed CPU time: 39.6 s	Remaining CPU time: 140.4 s
39.87/39.92	c ===============================================================================
39.87/39.92	c |      6515 |    4141    27949   337254 |     9316     6515    490 | 29.431 % |
40.07/40.14	c ===============================================================================
40.07/40.14	c New solution: 75752
40.07/40.14	o 75752
40.07/40.14	c Elapsed CPU time: 39.8149 s	Remaining CPU time: 140.185 s
40.07/40.14	c ===============================================================================
40.07/40.14	c |      6524 |    4141    27950   339337 |     9316     6524    490 | 29.431 % |
40.26/40.39	c ===============================================================================
40.26/40.39	c New solution: 75751
40.26/40.39	o 75751
40.26/40.39	c Elapsed CPU time: 40.0679 s	Remaining CPU time: 139.932 s
40.26/40.39	c ===============================================================================
40.26/40.39	c |      6556 |    4141    27951   341420 |     9317     6556    490 | 29.431 % |
40.58/40.66	c ===============================================================================
40.58/40.66	c New solution: 75723
40.58/40.66	o 75723
40.58/40.66	c Elapsed CPU time: 40.3259 s	Remaining CPU time: 139.674 s
40.58/40.66	c ===============================================================================
40.58/40.66	c |      6569 |    4141    27952   343503 |     9317     6569    490 | 29.431 % |
41.07/41.15	c |      6670 |    4141    27952   343503 |    10249     6670    491 | 29.431 % |
41.27/41.37	c ===============================================================================
41.27/41.37	c New solution: 74290
41.27/41.37	o 74290
41.27/41.37	c Elapsed CPU time: 41.0338 s	Remaining CPU time: 138.966 s
41.27/41.37	c ===============================================================================
41.27/41.37	c |      6673 |    4141    27953   345586 |     9317     6673    491 | 29.431 % |
41.67/41.76	c ===============================================================================
41.67/41.76	c New solution: 74223
41.67/41.76	o 74223
41.67/41.76	c Elapsed CPU time: 41.4197 s	Remaining CPU time: 138.58 s
41.67/41.76	c ===============================================================================
41.67/41.76	c |      6717 |    4141    27954   347669 |     9318     6717    491 | 29.431 % |
41.97/42.09	c ===============================================================================
41.97/42.09	c New solution: 74130
41.97/42.09	o 74130
41.97/42.09	c Elapsed CPU time: 41.7507 s	Remaining CPU time: 138.249 s
41.97/42.09	c ===============================================================================
41.97/42.09	c |      6756 |    4141    27955   349752 |     9318     6756    491 | 29.431 % |
42.27/42.39	c ===============================================================================
42.27/42.39	c New solution: 74110
42.27/42.39	o 74110
42.27/42.39	c Elapsed CPU time: 42.0406 s	Remaining CPU time: 137.959 s
42.27/42.39	c ===============================================================================
42.27/42.39	c |      6760 |    4141    27956   351835 |     9318     6760    491 | 29.431 % |
42.47/42.59	c ===============================================================================
42.47/42.59	c New solution: 72672
42.47/42.59	o 72672
42.47/42.59	c Elapsed CPU time: 42.2416 s	Remaining CPU time: 137.758 s
42.47/42.59	c ===============================================================================
42.47/42.59	c |      6761 |    4141    27957   353918 |     9319     6761    491 | 29.431 % |
42.67/42.76	c ===============================================================================
42.67/42.76	c New solution: 72522
42.67/42.76	o 72522
42.67/42.76	c Elapsed CPU time: 42.4126 s	Remaining CPU time: 137.587 s
42.67/42.76	c ===============================================================================
42.67/42.76	c |      6764 |    4141    27958   356001 |     9319     6764    491 | 29.431 % |
42.88/42.99	c ===============================================================================
42.88/42.99	c New solution: 71032
42.88/42.99	o 71032
42.88/42.99	c Elapsed CPU time: 42.6425 s	Remaining CPU time: 137.357 s
42.88/42.99	c ===============================================================================
42.88/42.99	c |      6767 |    4141    27959   358084 |     9319     6767    491 | 29.431 % |
43.17/43.28	c ===============================================================================
43.17/43.28	c New solution: 70902
43.17/43.28	o 70902
43.17/43.28	c Elapsed CPU time: 42.9245 s	Remaining CPU time: 137.076 s
43.17/43.28	c ===============================================================================
43.17/43.28	c |      6772 |    4141    27960   360167 |     9320     6772    491 | 29.431 % |
43.47/43.53	c ===============================================================================
43.47/43.53	c New solution: 70849
43.47/43.53	o 70849
43.47/43.53	c Elapsed CPU time: 43.1764 s	Remaining CPU time: 136.824 s
43.47/43.53	c ===============================================================================
43.47/43.53	c |      6774 |    4141    27961   362250 |     9320     6774    491 | 29.431 % |
44.17/44.23	c |      6874 |    4141    27961   362250 |    10252     6874    493 | 29.431 % |
44.47/44.51	c ===============================================================================
44.47/44.51	c New solution: 70830
44.47/44.51	o 70830
44.47/44.51	c Elapsed CPU time: 44.1463 s	Remaining CPU time: 135.854 s
44.47/44.51	c ===============================================================================
44.47/44.51	c |      6878 |    4141    27962   364333 |     9320     6878    492 | 29.431 % |
45.47/45.52	c |      6978 |    4141    27962   364333 |    10252     6978    494 | 29.431 % |
45.67/45.77	c ===============================================================================
45.67/45.77	c New solution: 70829
45.67/45.77	o 70829
45.67/45.77	c Elapsed CPU time: 45.4101 s	Remaining CPU time: 134.59 s
45.67/45.77	c ===============================================================================
45.67/45.77	c |      6985 |    4141    27963   366416 |     9321     6985    494 | 29.431 % |
45.87/45.98	c ===============================================================================
45.87/45.98	c New solution: 70828
45.87/45.98	o 70828
45.87/45.98	c Elapsed CPU time: 45.6171 s	Remaining CPU time: 134.383 s
45.87/45.98	c ===============================================================================
45.87/45.98	c |      6988 |    4141    27964   368499 |     9321     6988    494 | 29.431 % |
46.18/46.24	c ===============================================================================
46.18/46.24	c New solution: 70827
46.18/46.24	o 70827
46.18/46.24	c Elapsed CPU time: 45.874 s	Remaining CPU time: 134.126 s
46.18/46.24	c ===============================================================================
46.18/46.24	c |      6993 |    4141    27965   370582 |     9321     6993    494 | 29.431 % |
46.77/46.85	c |      7094 |    4141    27965   370582 |    10253     7094    495 | 29.431 % |
46.97/47.06	c ===============================================================================
46.97/47.06	c New solution: 70826
46.97/47.06	o 70826
46.97/47.06	c Elapsed CPU time: 46.6989 s	Remaining CPU time: 133.301 s
46.97/47.06	c ===============================================================================
46.97/47.06	c |      7107 |    4141    27966   372665 |     9322     7107    495 | 29.431 % |
47.27/47.33	c ===============================================================================
47.27/47.33	c New solution: 70825
47.27/47.33	o 70825
47.27/47.33	c Elapsed CPU time: 46.9639 s	Remaining CPU time: 133.036 s
47.27/47.33	c ===============================================================================
47.27/47.33	c |      7113 |    4141    27967   374748 |     9322     7113    495 | 29.431 % |
47.66/47.72	c ===============================================================================
47.66/47.72	c New solution: 70823
47.66/47.72	o 70823
47.66/47.72	c Elapsed CPU time: 47.3518 s	Remaining CPU time: 132.648 s
47.66/47.72	c ===============================================================================
47.66/47.72	c |      7139 |    4141    27968   376831 |     9322     7139    495 | 29.431 % |
47.96/48.01	c ===============================================================================
47.96/48.01	c New solution: 69327
47.96/48.01	o 69327
47.96/48.01	c Elapsed CPU time: 47.6398 s	Remaining CPU time: 132.36 s
47.96/48.01	c ===============================================================================
47.96/48.01	c |      7145 |    4141    27969   378914 |     9323     7145    495 | 29.431 % |
48.17/48.22	c ===============================================================================
48.17/48.22	c New solution: 69242
48.17/48.22	o 69242
48.17/48.22	c Elapsed CPU time: 47.8447 s	Remaining CPU time: 132.155 s
48.17/48.22	c ===============================================================================
48.17/48.22	c |      7149 |    4141    27970   380997 |     9323     7149    495 | 29.431 % |
48.87/48.91	c |      7249 |    4141    27970   380997 |    10255     7249    497 | 29.431 % |
49.07/49.15	c ===============================================================================
49.07/49.15	c New solution: 69241
49.07/49.15	o 69241
49.07/49.15	c Elapsed CPU time: 48.7776 s	Remaining CPU time: 131.222 s
49.07/49.15	c ===============================================================================
49.07/49.15	c |      7253 |    4141    27971   383080 |     9323     7253    497 | 29.431 % |
49.67/49.75	c |      7353 |    4141    27971   383080 |    10256     7353    498 | 29.431 % |
49.97/50.02	c ===============================================================================
49.97/50.02	c New solution: 69240
49.97/50.02	o 69240
49.97/50.02	c Elapsed CPU time: 49.6495 s	Remaining CPU time: 130.351 s
49.97/50.02	c ===============================================================================
49.97/50.02	c |      7358 |    4141    27972   385163 |     9324     7358    498 | 29.431 % |
50.26/50.32	c ===============================================================================
50.26/50.32	c New solution: 69188
50.26/50.32	o 69188
50.26/50.32	c Elapsed CPU time: 49.9394 s	Remaining CPU time: 130.061 s
50.26/50.32	c ===============================================================================
50.26/50.32	c |      7360 |    4141    27973   387246 |     9324     7360    498 | 29.431 % |
50.86/50.91	c |      7462 |    4141    27973   387246 |    10256     7462    500 | 29.431 % |
51.16/51.22	c ===============================================================================
51.16/51.22	c New solution: 69181
51.16/51.22	o 69181
51.16/51.22	c Elapsed CPU time: 50.8383 s	Remaining CPU time: 129.162 s
51.16/51.22	c ===============================================================================
51.16/51.22	c |      7468 |    4141    27974   389329 |     9324     7468    499 | 29.431 % |
51.36/51.43	c ===============================================================================
51.36/51.43	c New solution: 69180
51.36/51.43	o 69180
51.36/51.43	c Elapsed CPU time: 51.0452 s	Remaining CPU time: 128.955 s
51.36/51.43	c ===============================================================================
51.36/51.43	c |      7479 |    4141    27975   391412 |     9325     7479    499 | 29.431 % |
51.58/51.62	c ===============================================================================
51.58/51.62	c New solution: 69179
51.58/51.62	o 69179
51.58/51.62	c Elapsed CPU time: 51.2372 s	Remaining CPU time: 128.763 s
51.58/51.62	c ===============================================================================
51.58/51.62	c |      7495 |    4141    27976   393495 |     9325     7495    499 | 29.431 % |
51.87/51.93	c |      7597 |    4141    27976   393495 |    10257     7597    499 | 29.431 % |
52.17/52.25	c ===============================================================================
52.17/52.25	c New solution: 67772
52.17/52.25	o 67772
52.17/52.25	c Elapsed CPU time: 51.8621 s	Remaining CPU time: 128.138 s
52.17/52.25	c ===============================================================================
52.17/52.25	c |      7597 |    4141    27977   395578 |     9325     7597    499 | 29.431 % |
52.47/52.55	c ===============================================================================
52.47/52.55	c New solution: 67761
52.47/52.55	o 67761
52.47/52.55	c Elapsed CPU time: 52.1641 s	Remaining CPU time: 127.836 s
52.47/52.55	c ===============================================================================
52.47/52.55	c |      7599 |    4141    27978   397661 |     9326     7599    499 | 29.431 % |
52.77/52.85	c ===============================================================================
52.77/52.85	c New solution: 67760
52.77/52.85	o 67760
52.77/52.85	c Elapsed CPU time: 52.468 s	Remaining CPU time: 127.532 s
52.77/52.85	c ===============================================================================
52.77/52.85	c |      7599 |    4141    27979   399744 |     9326     7599    499 | 29.431 % |
53.06/53.16	c ===============================================================================
53.06/53.16	c New solution: 67759
53.06/53.16	o 67759
53.06/53.16	c Elapsed CPU time: 52.773 s	Remaining CPU time: 127.227 s
53.06/53.16	c ===============================================================================
53.06/53.16	c |      7601 |    4141    27980   401827 |     9326     7601    499 | 29.431 % |
53.36/53.43	c ===============================================================================
53.36/53.43	c New solution: 67545
53.36/53.43	o 67545
53.36/53.43	c Elapsed CPU time: 53.0389 s	Remaining CPU time: 126.961 s
53.36/53.43	c ===============================================================================
53.36/53.43	c |      7607 |    4141    27981   403910 |     9327     7607    499 | 29.431 % |
54.06/54.18	c |      7707 |    4141    27981   403910 |    10259     7707    500 | 29.431 % |
54.26/54.36	c ===============================================================================
54.26/54.36	c New solution: 67544
54.26/54.36	o 67544
54.26/54.36	c Elapsed CPU time: 53.9698 s	Remaining CPU time: 126.03 s
54.26/54.36	c ===============================================================================
54.26/54.36	c |      7715 |    4141    27982   405993 |     9327     7715    500 | 29.431 % |
54.87/54.95	c ===============================================================================
54.87/54.95	c New solution: 66074
54.87/54.95	o 66074
54.87/54.95	c Elapsed CPU time: 54.5527 s	Remaining CPU time: 125.447 s
54.87/54.95	c ===============================================================================
54.87/54.95	c |      7746 |    4141    27983   408076 |     9327     7746    500 | 29.431 % |
55.26/55.34	c ===============================================================================
55.26/55.34	c New solution: 65938
55.26/55.34	o 65938
55.26/55.34	c Elapsed CPU time: 54.9426 s	Remaining CPU time: 125.057 s
55.26/55.34	c ===============================================================================
55.26/55.34	c |      7754 |    4141    27984   410159 |     9328     7754    500 | 29.431 % |
55.46/55.54	c |      7854 |    4141    27984   410159 |    10260     7854    499 | 29.431 % |
55.66/55.79	c ===============================================================================
55.66/55.79	c New solution: 65937
55.66/55.79	o 65937
55.66/55.79	c Elapsed CPU time: 55.3886 s	Remaining CPU time: 124.611 s
55.66/55.79	c ===============================================================================
55.66/55.79	c |      7854 |    4141    27985   412242 |     9328     7854    499 | 29.431 % |
55.97/56.07	c ===============================================================================
55.97/56.07	c New solution: 65936
55.97/56.07	o 65936
55.97/56.07	c Elapsed CPU time: 55.6625 s	Remaining CPU time: 124.337 s
55.97/56.07	c ===============================================================================
55.97/56.07	c |      7858 |    4141    27986   414325 |     9328     7858    499 | 29.431 % |
56.27/56.33	c ===============================================================================
56.27/56.33	c New solution: 65935
56.27/56.33	o 65935
56.27/56.33	c Elapsed CPU time: 55.9265 s	Remaining CPU time: 124.074 s
56.27/56.33	c ===============================================================================
56.27/56.33	c |      7863 |    4141    27987   416408 |     9329     7863    499 | 29.431 % |
56.97/57.02	c |      7963 |    4141    27987   416408 |    10261     7963    500 | 29.431 % |
58.17/58.30	c |      8113 |    4141    27987   416408 |    11288     8113    501 | 29.431 % |
58.96/59.03	c ===============================================================================
58.96/59.03	c New solution: 65927
58.96/59.03	o 65927
58.96/59.03	c Elapsed CPU time: 58.6261 s	Remaining CPU time: 121.374 s
58.96/59.03	c ===============================================================================
58.96/59.03	c |      8168 |    4141    27988   418491 |     9329     8168    501 | 29.431 % |
59.27/59.32	c ===============================================================================
59.27/59.32	c New solution: 65897
59.27/59.32	o 65897
59.27/59.32	c Elapsed CPU time: 58.914 s	Remaining CPU time: 121.086 s
59.27/59.32	c ===============================================================================
59.27/59.32	c |      8169 |    4141    27989   420574 |     9329     8169    501 | 29.431 % |
59.56/59.62	c ===============================================================================
59.56/59.62	c New solution: 64431
59.56/59.62	o 64431
59.56/59.62	c Elapsed CPU time: 59.207 s	Remaining CPU time: 120.793 s
59.56/59.62	c ===============================================================================
59.56/59.62	c |      8169 |    4141    27990   422657 |     9330     8169    501 | 29.431 % |
59.76/59.89	c ===============================================================================
59.76/59.89	c New solution: 64430
59.76/59.89	o 64430
59.76/59.89	c Elapsed CPU time: 59.478 s	Remaining CPU time: 120.522 s
59.76/59.89	c ===============================================================================
59.76/59.89	c |      8170 |    4141    27991   424740 |     9330     8170    501 | 29.431 % |
60.16/60.20	c ===============================================================================
60.16/60.20	c New solution: 64421
60.16/60.20	o 64421
60.16/60.20	c Elapsed CPU time: 59.7849 s	Remaining CPU time: 120.215 s
60.16/60.20	c ===============================================================================
60.16/60.20	c |      8173 |    4141    27992   426823 |     9330     8173    501 | 29.431 % |
60.36/60.49	c ===============================================================================
60.36/60.49	c New solution: 64298
60.36/60.49	o 64298
60.36/60.49	c Elapsed CPU time: 60.0779 s	Remaining CPU time: 119.922 s
60.36/60.49	c ===============================================================================
60.36/60.49	c |      8174 |    4141    27993   428906 |     9331     8174    501 | 29.431 % |
60.77/60.80	c ===============================================================================
60.77/60.80	c New solution: 64297
60.77/60.80	o 64297
60.77/60.80	c Elapsed CPU time: 60.3888 s	Remaining CPU time: 119.611 s
60.77/60.80	c ===============================================================================
60.77/60.80	c |      8177 |    4141    27994   430989 |     9331     8177    501 | 29.431 % |
61.06/61.11	c ===============================================================================
61.06/61.11	c New solution: 64262
61.06/61.11	o 64262
61.06/61.11	c Elapsed CPU time: 60.6908 s	Remaining CPU time: 119.309 s
61.06/61.11	c ===============================================================================
61.06/61.11	c |      8179 |    4141    27995   433072 |     9331     8179    501 | 29.431 % |
61.26/61.31	c ===============================================================================
61.26/61.31	c New solution: 62888
61.26/61.31	o 62888
61.26/61.31	c Elapsed CPU time: 60.8907 s	Remaining CPU time: 119.109 s
61.26/61.31	c ===============================================================================
61.26/61.31	c |      8181 |    4141    27996   435155 |     9332     8181    501 | 29.431 % |
61.57/61.64	c ===============================================================================
61.57/61.64	c New solution: 62778
61.57/61.64	o 62778
61.57/61.64	c Elapsed CPU time: 61.2177 s	Remaining CPU time: 118.782 s
61.57/61.64	c ===============================================================================
61.57/61.64	c |      8184 |    4141    27997   437238 |     9332     8184    501 | 29.431 % |
61.96/62.00	c ===============================================================================
61.96/62.00	c New solution: 62777
61.96/62.00	o 62777
61.96/62.00	c Elapsed CPU time: 61.5786 s	Remaining CPU time: 118.421 s
61.96/62.00	c ===============================================================================
61.96/62.00	c |      8187 |    4141    27998   439321 |     9332     8187    501 | 29.431 % |
62.26/62.39	c ===============================================================================
62.26/62.39	c New solution: 62643
62.26/62.39	o 62643
62.26/62.39	c Elapsed CPU time: 61.9626 s	Remaining CPU time: 118.037 s
62.26/62.39	c ===============================================================================
62.26/62.39	c |      8216 |    4141    27999   441404 |     9333     8216    500 | 29.431 % |
62.77/62.85	c ===============================================================================
62.77/62.85	c New solution: 62642
62.77/62.85	o 62642
62.77/62.85	c Elapsed CPU time: 62.4275 s	Remaining CPU time: 117.572 s
62.77/62.85	c ===============================================================================
62.77/62.85	c |      8236 |    4141    28000   443487 |     9333     8236    500 | 29.431 % |
63.16/63.21	c ===============================================================================
63.16/63.21	c New solution: 61229
63.16/63.21	o 61229
63.16/63.21	c Elapsed CPU time: 62.7775 s	Remaining CPU time: 117.223 s
63.16/63.21	c ===============================================================================
63.16/63.21	c |      8238 |    4141    28001   445570 |     9333     8238    500 | 29.431 % |
63.46/63.57	c ===============================================================================
63.46/63.57	c New solution: 61154
63.46/63.57	o 61154
63.46/63.57	c Elapsed CPU time: 63.1424 s	Remaining CPU time: 116.858 s
63.46/63.57	c ===============================================================================
63.46/63.57	c |      8238 |    4141    28002   447653 |     9334     8238    500 | 29.431 % |
63.86/63.94	c ===============================================================================
63.86/63.94	c New solution: 61153
63.86/63.94	o 61153
63.86/63.94	c Elapsed CPU time: 63.5093 s	Remaining CPU time: 116.491 s
63.86/63.94	c ===============================================================================
63.86/63.94	c |      8238 |    4141    28003   449736 |     9334     8238    500 | 29.431 % |
64.26/64.31	c ===============================================================================
64.26/64.31	c New solution: 61152
64.26/64.31	o 61152
64.26/64.31	c Elapsed CPU time: 63.8823 s	Remaining CPU time: 116.118 s
64.26/64.31	c ===============================================================================
64.26/64.31	c |      8239 |    4141    28004   451819 |     9334     8239    500 | 29.431 % |
64.46/64.59	c ===============================================================================
64.46/64.59	c New solution: 61150
64.46/64.59	o 61150
64.46/64.59	c Elapsed CPU time: 64.1612 s	Remaining CPU time: 115.839 s
64.46/64.59	c ===============================================================================
64.46/64.59	c |      8240 |    4141    28005   453902 |     9335     8240    500 | 29.431 % |
64.77/64.84	c ===============================================================================
64.77/64.84	c New solution: 61075
64.77/64.84	o 61075
64.77/64.84	c Elapsed CPU time: 64.4072 s	Remaining CPU time: 115.593 s
64.77/64.84	c ===============================================================================
64.77/64.84	c |      8243 |    4141    28006   455985 |     9335     8243    500 | 29.431 % |
64.96/65.06	c ===============================================================================
64.96/65.06	c New solution: 61074
64.96/65.06	o 61074
64.96/65.06	c Elapsed CPU time: 64.6212 s	Remaining CPU time: 115.379 s
64.96/65.06	c ===============================================================================
64.96/65.06	c |      8247 |    4141    28007   458068 |     9335     8247    500 | 29.431 % |
65.47/65.52	c |      8348 |    4141    28007   458068 |    10269     8348    502 | 29.431 % |
65.87/65.95	c ===============================================================================
65.87/65.95	c New solution: 61062
65.87/65.95	o 61062
65.87/65.95	c Elapsed CPU time: 65.515 s	Remaining CPU time: 114.485 s
65.87/65.95	c ===============================================================================
65.87/65.95	c |      8374 |    4141    28008   460151 |     9336     8374    502 | 29.431 % |
66.17/66.27	c ===============================================================================
66.17/66.27	c New solution: 61009
66.17/66.27	o 61009
66.17/66.27	c Elapsed CPU time: 65.834 s	Remaining CPU time: 114.166 s
66.17/66.27	c ===============================================================================
66.17/66.27	c |      8387 |    4141    28009   462234 |     9336     8387    502 | 29.431 % |
66.56/66.68	c ===============================================================================
66.56/66.68	c New solution: 61008
66.56/66.68	o 61008
66.56/66.68	c Elapsed CPU time: 66.2389 s	Remaining CPU time: 113.761 s
66.56/66.68	c ===============================================================================
66.56/66.68	c |      8395 |    4141    28010   464317 |     9336     8395    502 | 29.431 % |
67.46/67.51	c |      8498 |    4141    28010   464317 |    10270     8498    502 | 29.431 % |
69.06/69.14	c |      8648 |    4141    28010   464317 |    11297     8648    504 | 29.431 % |
69.36/69.47	c ===============================================================================
69.36/69.47	c New solution: 61007
69.36/69.47	o 61007
69.36/69.47	c Elapsed CPU time: 69.0255 s	Remaining CPU time: 110.974 s
69.36/69.47	c ===============================================================================
69.36/69.47	c |      8658 |    4141    28011   466400 |     9337     8658    503 | 29.431 % |
70.26/70.33	c |      8758 |    4141    28011   466400 |    10270     8758    504 | 29.431 % |
70.56/70.60	c ===============================================================================
70.56/70.60	c New solution: 61006
70.56/70.60	o 61006
70.56/70.60	c Elapsed CPU time: 70.1553 s	Remaining CPU time: 109.845 s
70.56/70.60	c ===============================================================================
70.56/70.60	c |      8765 |    4141    28012   468483 |     9337     8765    504 | 29.431 % |
71.06/71.15	c ===============================================================================
71.06/71.15	c New solution: 61005
71.06/71.15	o 61005
71.06/71.15	c Elapsed CPU time: 70.7003 s	Remaining CPU time: 109.3 s
71.06/71.15	c ===============================================================================
71.06/71.15	c |      8811 |    4141    28013   470566 |     9337     8811    504 | 29.431 % |
71.76/71.85	c ===============================================================================
71.76/71.85	c New solution: 61004
71.76/71.85	o 61004
71.76/71.85	c Elapsed CPU time: 71.4011 s	Remaining CPU time: 108.599 s
71.76/71.85	c ===============================================================================
71.76/71.85	c |      8907 |    4141    28014   472649 |     9338     8907    502 | 29.431 % |
72.16/72.23	c ===============================================================================
72.16/72.23	c New solution: 59582
72.16/72.23	o 59582
72.16/72.23	c Elapsed CPU time: 71.7781 s	Remaining CPU time: 108.222 s
72.16/72.23	c ===============================================================================
72.16/72.23	c |      8909 |    4141    28015   474732 |     9338     8909    502 | 29.431 % |
72.47/72.60	c ===============================================================================
72.47/72.60	c New solution: 59494
72.47/72.60	o 59494
72.47/72.60	c Elapsed CPU time: 72.144 s	Remaining CPU time: 107.856 s
72.47/72.60	c ===============================================================================
72.47/72.60	c |      8914 |    4141    28016   476815 |     9338     8914    502 | 29.431 % |
72.66/72.74	c ===============================================================================
72.66/72.74	c New solution: 59493
72.66/72.74	o 59493
72.66/72.74	c Elapsed CPU time: 72.292 s	Remaining CPU time: 107.708 s
72.66/72.74	c ===============================================================================
72.66/72.74	c |      8917 |    4141    28017   478898 |     9339     8917    502 | 29.431 % |
73.06/73.18	c ===============================================================================
73.06/73.18	c New solution: 59492
73.06/73.18	o 59492
73.06/73.18	c Elapsed CPU time: 72.7209 s	Remaining CPU time: 107.279 s
73.06/73.18	c ===============================================================================
73.06/73.18	c |      8929 |    4141    28018   480981 |     9339     8929    502 | 29.431 % |
73.36/73.45	c ===============================================================================
73.36/73.45	c New solution: 59401
73.36/73.45	o 59401
73.36/73.45	c Elapsed CPU time: 72.9909 s	Remaining CPU time: 107.009 s
73.36/73.45	c ===============================================================================
73.36/73.45	c |      8951 |    4141    28019   483064 |     9339     8951    502 | 29.431 % |
73.86/73.93	c ===============================================================================
73.86/73.93	c New solution: 59377
73.86/73.93	o 59377
73.86/73.93	c Elapsed CPU time: 73.4758 s	Remaining CPU time: 106.524 s
73.86/73.93	c ===============================================================================
73.86/73.93	c |      8995 |    4141    28020   485147 |     9340     8995    502 | 29.431 % |
74.26/74.31	c ===============================================================================
74.26/74.31	c New solution: 57897
74.26/74.31	o 57897
74.26/74.31	c Elapsed CPU time: 73.8558 s	Remaining CPU time: 106.144 s
74.26/74.31	c ===============================================================================
74.26/74.31	c |      9004 |    4141    28021   487230 |     9340     9004    502 | 29.431 % |
74.56/74.64	c ===============================================================================
74.56/74.64	c New solution: 57868
74.56/74.64	o 57868
74.56/74.64	c Elapsed CPU time: 74.1817 s	Remaining CPU time: 105.818 s
74.56/74.64	c ===============================================================================
74.56/74.64	c |      9004 |    4141    28022   489313 |     9340     9004    502 | 29.431 % |
74.86/74.94	c ===============================================================================
74.86/74.94	c New solution: 57787
74.86/74.94	o 57787
74.86/74.94	c Elapsed CPU time: 74.4737 s	Remaining CPU time: 105.526 s
74.86/74.94	c ===============================================================================
74.86/74.94	c |      9012 |    4141    28023   491396 |     9341     9012    502 | 29.431 % |
75.16/75.29	c ===============================================================================
75.16/75.29	c New solution: 56336
75.16/75.29	o 56336
75.16/75.29	c Elapsed CPU time: 74.8296 s	Remaining CPU time: 105.17 s
75.16/75.29	c ===============================================================================
75.16/75.29	c |      9012 |    4141    28024   493479 |     9341     9012    502 | 29.431 % |
75.56/75.63	c ===============================================================================
75.56/75.63	c New solution: 56314
75.56/75.63	o 56314
75.56/75.63	c Elapsed CPU time: 75.1606 s	Remaining CPU time: 104.839 s
75.56/75.63	c ===============================================================================
75.56/75.63	c |      9012 |    4141    28025   495562 |     9341     9012    502 | 29.431 % |
75.86/75.96	c ===============================================================================
75.86/75.96	c New solution: 56313
75.86/75.96	o 56313
75.86/75.96	c Elapsed CPU time: 75.4895 s	Remaining CPU time: 104.51 s
75.86/75.96	c ===============================================================================
75.86/75.96	c |      9013 |    4141    28026   497645 |     9342     9013    502 | 29.431 % |
76.26/76.36	c ===============================================================================
76.26/76.36	c New solution: 56090
76.26/76.36	o 56090
76.26/76.36	c Elapsed CPU time: 75.8895 s	Remaining CPU time: 104.111 s
76.26/76.36	c ===============================================================================
76.26/76.36	c |      9016 |    4141    28027   499728 |     9342     9016    502 | 29.431 % |
76.65/76.77	c ===============================================================================
76.65/76.77	c New solution: 54611
76.65/76.77	o 54611
76.65/76.77	c Elapsed CPU time: 76.3034 s	Remaining CPU time: 103.697 s
76.65/76.77	c ===============================================================================
76.65/76.77	c |      9018 |    4141    28028   501811 |     9342     9018    502 | 29.431 % |
77.35/77.46	c ===============================================================================
77.35/77.46	c New solution: 53066
77.35/77.46	o 53066
77.35/77.46	c Elapsed CPU time: 76.9943 s	Remaining CPU time: 103.006 s
77.35/77.46	c ===============================================================================
77.35/77.46	c |      9115 |    4141    28029   503894 |     9343     9115    502 | 29.431 % |
77.86/77.93	c ===============================================================================
77.86/77.93	c New solution: 52864
77.86/77.93	o 52864
77.86/77.93	c Elapsed CPU time: 77.4602 s	Remaining CPU time: 102.54 s
77.86/77.93	c ===============================================================================
77.86/77.93	c |      9123 |    4141    28030   505977 |     9343     9123    502 | 29.431 % |
78.26/78.37	c ===============================================================================
78.26/78.37	c New solution: 52863
78.26/78.37	o 52863
78.26/78.37	c Elapsed CPU time: 77.9022 s	Remaining CPU time: 102.098 s
78.26/78.37	c ===============================================================================
78.26/78.37	c |      9137 |    4141    28031   508060 |     9343     9137    502 | 29.431 % |
79.56/79.63	c |      9238 |    4141    28031   508060 |    10278     9238    503 | 29.431 % |
79.96/80.00	c ===============================================================================
79.96/80.00	c New solution: 52862
79.96/80.00	o 52862
79.96/80.00	c Elapsed CPU time: 79.5259 s	Remaining CPU time: 100.474 s
79.96/80.00	c ===============================================================================
79.96/80.00	c |      9243 |    4141    28032   510143 |     9344     9243    503 | 29.431 % |
81.05/81.19	c |      9344 |    4141    28032   510143 |    10278     9344    503 | 29.431 % |
81.36/81.46	c ===============================================================================
81.36/81.46	c New solution: 52861
81.36/81.46	o 52861
81.36/81.46	c Elapsed CPU time: 80.9867 s	Remaining CPU time: 99.0133 s
81.36/81.46	c ===============================================================================
81.36/81.46	c |      9362 |    4141    28033   512226 |     9344     9362    503 | 29.431 % |
81.75/81.87	c ===============================================================================
81.75/81.87	c New solution: 52820
81.75/81.87	o 52820
81.75/81.87	c Elapsed CPU time: 81.3946 s	Remaining CPU time: 98.6054 s
81.75/81.87	c ===============================================================================
81.75/81.87	c |      9365 |    4141    28034   514309 |     9344     9365    503 | 29.431 % |
82.56/82.61	c |      9465 |    4141    28034   514309 |    10279     9465    504 | 29.431 % |
83.95/84.00	c |      9615 |    4141    28034   514309 |    11307     9615    504 | 29.431 % |
84.25/84.31	c ===============================================================================
84.25/84.31	c New solution: 52819
84.25/84.31	o 52819
84.25/84.31	c Elapsed CPU time: 83.8213 s	Remaining CPU time: 96.1787 s
84.25/84.31	c ===============================================================================
84.25/84.31	c |      9617 |    4141    28035   516392 |     9345     9617    504 | 29.431 % |
84.56/84.66	c ===============================================================================
84.56/84.66	c New solution: 51366
84.56/84.66	o 51366
84.56/84.66	c Elapsed CPU time: 84.1682 s	Remaining CPU time: 95.8318 s
84.56/84.66	c ===============================================================================
84.56/84.66	c |      9621 |    4141    28036   518475 |     9345     9621    504 | 29.431 % |
84.85/84.99	c ===============================================================================
84.85/84.99	c New solution: 51365
84.85/84.99	o 51365
84.85/84.99	c Elapsed CPU time: 84.5002 s	Remaining CPU time: 95.4998 s
84.85/84.99	c ===============================================================================
84.85/84.99	c |      9621 |    4141    28037   520558 |     9345     9621    504 | 29.431 % |
85.26/85.33	c ===============================================================================
85.26/85.33	c New solution: 51364
85.26/85.33	o 51364
85.26/85.33	c Elapsed CPU time: 84.8321 s	Remaining CPU time: 95.1679 s
85.26/85.33	c ===============================================================================
85.26/85.33	c |      9621 |    4141    28038   522641 |     9346     9621    504 | 29.431 % |
85.56/85.67	c ===============================================================================
85.56/85.67	c New solution: 51315
85.56/85.67	o 51315
85.56/85.67	c Elapsed CPU time: 85.181 s	Remaining CPU time: 94.819 s
85.56/85.67	c ===============================================================================
85.56/85.67	c |      9621 |    4141    28039   524724 |     9346     9621    504 | 29.431 % |
87.26/87.37	c ===============================================================================
87.26/87.37	c New solution: 51314
87.26/87.37	o 51314
87.26/87.37	c Elapsed CPU time: 86.8758 s	Remaining CPU time: 93.1242 s
87.26/87.37	c ===============================================================================
87.26/87.37	c |      9719 |    4141    28040   526807 |     9346     9719    504 | 29.431 % |
87.76/87.81	c ===============================================================================
87.76/87.81	c New solution: 51313
87.76/87.81	o 51313
87.76/87.81	c Elapsed CPU time: 87.3097 s	Remaining CPU time: 92.6903 s
87.76/87.81	c ===============================================================================
87.76/87.81	c |      9732 |    4141    28041   528890 |     9347     9732    504 | 29.431 % |
88.05/88.18	c ===============================================================================
88.05/88.18	c New solution: 51208
88.05/88.18	o 51208
88.05/88.18	c Elapsed CPU time: 87.6817 s	Remaining CPU time: 92.3183 s
88.05/88.18	c ===============================================================================
88.05/88.18	c |      9753 |    4141    28042   530973 |     9347     9753    504 | 29.431 % |
88.55/88.61	c ===============================================================================
88.55/88.61	c New solution: 51188
88.55/88.61	o 51188
88.55/88.61	c Elapsed CPU time: 88.1126 s	Remaining CPU time: 91.8874 s
88.55/88.61	c ===============================================================================
88.55/88.61	c |      9754 |    4141    28043   533056 |     9347     9754    504 | 29.431 % |
88.96/89.04	c ===============================================================================
88.96/89.04	c New solution: 51184
88.96/89.04	o 51184
88.96/89.04	c Elapsed CPU time: 88.5435 s	Remaining CPU time: 91.4565 s
88.96/89.04	c ===============================================================================
88.96/89.04	c |      9755 |    4141    28044   535139 |     9348     9755    504 | 29.431 % |
89.35/89.46	c ===============================================================================
89.35/89.46	c New solution: 51183
89.35/89.46	o 51183
89.35/89.46	c Elapsed CPU time: 88.9655 s	Remaining CPU time: 91.0345 s
89.35/89.46	c ===============================================================================
89.35/89.46	c |      9755 |    4141    28045   537222 |     9348     9755    504 | 29.431 % |
89.75/89.89	c ===============================================================================
89.75/89.89	c New solution: 51182
89.75/89.89	o 51182
89.75/89.89	c Elapsed CPU time: 89.3844 s	Remaining CPU time: 90.6156 s
89.75/89.89	c ===============================================================================
89.75/89.89	c |      9755 |    4141    28046   539305 |     9348     9755    504 | 29.431 % |
90.25/90.31	c ===============================================================================
90.25/90.31	c New solution: 51181
90.25/90.31	o 51181
90.25/90.31	c Elapsed CPU time: 89.8023 s	Remaining CPU time: 90.1977 s
90.25/90.31	c ===============================================================================
90.25/90.31	c |      9755 |    4141    28047   541388 |     9349     9755    504 | 29.431 % |
90.66/90.73	c ===============================================================================
90.66/90.73	c New solution: 51180
90.66/90.73	o 51180
90.66/90.73	c Elapsed CPU time: 90.2213 s	Remaining CPU time: 89.7787 s
90.66/90.73	c ===============================================================================
90.66/90.73	c |      9755 |    4141    28048   543471 |     9349     9755    504 | 29.431 % |
91.05/91.15	c ===============================================================================
91.05/91.15	c New solution: 49799
91.05/91.15	o 49799
91.05/91.15	c Elapsed CPU time: 90.6362 s	Remaining CPU time: 89.3638 s
91.05/91.15	c ===============================================================================
91.05/91.15	c |      9757 |    4141    28049   545554 |     9349     9757    504 | 29.431 % |
91.65/91.72	c ===============================================================================
91.65/91.72	c New solution: 49559
91.65/91.72	o 49559
91.65/91.72	c Elapsed CPU time: 91.2091 s	Remaining CPU time: 88.7909 s
91.65/91.72	c ===============================================================================
91.65/91.72	c |      9822 |    4141    28050   547637 |     9350     9822    503 | 29.431 % |
92.45/92.59	c |      9923 |    4141    28050   547637 |    10285     9923    504 | 29.431 % |
92.85/92.93	c ===============================================================================
92.85/92.93	c New solution: 49558
92.85/92.93	o 49558
92.85/92.93	c Elapsed CPU time: 92.4159 s	Remaining CPU time: 87.5841 s
92.85/92.93	c ===============================================================================
92.85/92.93	c |      9926 |    4141    28051   549720 |     9350     9926    504 | 29.431 % |
94.95/95.02	c ===============================================================================
94.95/95.02	c New solution: 48089
94.95/95.02	o 48089
94.95/95.02	c Elapsed CPU time: 94.5016 s	Remaining CPU time: 85.4984 s
94.95/95.02	c ===============================================================================
94.95/95.02	c |     10025 |    4141    28052   551803 |     9350    10025    504 | 29.431 % |
95.46/95.52	c ===============================================================================
95.46/95.52	c New solution: 48017
95.46/95.52	o 48017
95.46/95.52	c Elapsed CPU time: 95.0026 s	Remaining CPU time: 84.9974 s
95.46/95.52	c ===============================================================================
95.46/95.52	c |     10050 |    4141    28053   553886 |     9351    10050    504 | 29.431 % |
96.55/96.64	c |     10151 |    4141    28053   553886 |    10286    10151    505 | 29.431 % |
96.75/96.83	c |     10301 |    4141    28053   553886 |    11314    10301    505 | 29.431 % |
97.56/97.66	c ===============================================================================
97.56/97.66	c New solution: 47998
97.56/97.66	o 47998
97.56/97.66	c Elapsed CPU time: 97.1342 s	Remaining CPU time: 82.8658 s
97.56/97.66	c ===============================================================================
97.56/97.66	c |     10431 |    4141    28054   555969 |     9351    10431    504 | 29.431 % |
98.05/98.18	c ===============================================================================
98.05/98.18	c New solution: 46504
98.05/98.18	o 46504
98.05/98.18	c Elapsed CPU time: 97.6492 s	Remaining CPU time: 82.3508 s
98.05/98.18	c ===============================================================================
98.05/98.18	c |     10449 |    4141    28055   558052 |     9351    10449    504 | 29.431 % |
98.65/98.70	c ===============================================================================
98.65/98.70	c New solution: 46288
98.65/98.70	o 46288
98.65/98.70	c Elapsed CPU time: 98.1721 s	Remaining CPU time: 81.8279 s
98.65/98.70	c ===============================================================================
98.65/98.70	c |     10454 |    4141    28056   560135 |     9352    10454    503 | 29.431 % |
99.45/99.56	c |     10554 |    4141    28056   560135 |    10287    10554    504 | 29.431 % |
100.75/100.83	c |     10705 |    4141    28056   560135 |    11315    10705    505 | 29.431 % |
101.55/101.62	c ===============================================================================
101.55/101.62	c New solution: 46287
101.55/101.62	o 46287
101.55/101.62	c Elapsed CPU time: 101.091 s	Remaining CPU time: 78.9094 s
101.55/101.62	c ===============================================================================
101.55/101.62	c |     10829 |    4141    28057   562218 |     9352    10829    504 | 29.431 % |
101.95/102.01	c ===============================================================================
101.95/102.01	c New solution: 46286
101.95/102.01	o 46286
101.95/102.01	c Elapsed CPU time: 101.475 s	Remaining CPU time: 78.5254 s
101.95/102.01	c ===============================================================================
101.95/102.01	c |     10835 |    4141    28058   564301 |     9352    10835    504 | 29.431 % |
103.05/103.11	c |     10935 |    4141    28058   564301 |    10287    10935    504 | 29.431 % |
103.95/104.01	c ===============================================================================
103.95/104.01	c New solution: 46285
103.95/104.01	o 46285
103.95/104.01	c Elapsed CPU time: 103.47 s	Remaining CPU time: 76.5297 s
103.95/104.01	c ===============================================================================
103.95/104.01	c |     11012 |    4141    28059   566384 |     9353    11012    503 | 29.431 % |
104.45/104.52	c ===============================================================================
104.45/104.52	c New solution: 44867
104.45/104.52	o 44867
104.45/104.52	c Elapsed CPU time: 103.978 s	Remaining CPU time: 76.0218 s
104.45/104.52	c ===============================================================================
104.45/104.52	c |     11013 |    4141    28060   568467 |     9353    11013    503 | 29.431 % |
104.95/105.07	c ===============================================================================
104.95/105.07	c New solution: 44685
104.95/105.07	o 44685
104.95/105.07	c Elapsed CPU time: 104.533 s	Remaining CPU time: 75.4669 s
104.95/105.07	c ===============================================================================
104.95/105.07	c |     11025 |    4141    28061   570550 |     9353    11025    503 | 29.431 % |
106.05/106.18	c |     11125 |    4141    28061   570550 |    10289    11125    504 | 29.431 % |
107.65/107.72	c |     11275 |    4141    28061   570550 |    11317    11275    505 | 29.431 % |
108.15/108.28	c ===============================================================================
108.15/108.28	c New solution: 44684
108.15/108.28	o 44684
108.15/108.28	c Elapsed CPU time: 107.735 s	Remaining CPU time: 72.2654 s
108.15/108.28	c ===============================================================================
108.15/108.28	c |     11276 |    4141    28062   572633 |     9354    11276    505 | 29.431 % |
108.75/108.85	c ===============================================================================
108.75/108.85	c New solution: 44675
108.75/108.85	o 44675
108.75/108.85	c Elapsed CPU time: 108.304 s	Remaining CPU time: 71.6965 s
108.75/108.85	c ===============================================================================
108.75/108.85	c |     11278 |    4141    28063   574716 |     9354     5640    466 | 29.431 % |
110.24/110.38	c |     11378 |    4141    28063   574716 |    10289     5740    468 | 29.431 % |
110.84/110.91	c ===============================================================================
110.84/110.91	c New solution: 44674
110.84/110.91	o 44674
110.84/110.91	c Elapsed CPU time: 110.361 s	Remaining CPU time: 69.6388 s
110.84/110.91	c ===============================================================================
110.84/110.91	c |     11389 |    4141    28064   576799 |     9354     5751    467 | 29.431 % |
112.55/112.66	c |     11489 |    4141    28064   576799 |    10290     5851    469 | 29.431 % |
113.26/113.39	c ===============================================================================
113.26/113.39	c New solution: 44673
113.26/113.39	o 44673
113.26/113.39	c Elapsed CPU time: 112.832 s	Remaining CPU time: 67.1682 s
113.26/113.39	c ===============================================================================
113.26/113.39	c |     11500 |    4141    28065   578882 |     9355     5862    469 | 29.431 % |
113.75/113.90	c ===============================================================================
113.75/113.90	c New solution: 44672
113.75/113.90	o 44672
113.75/113.90	c Elapsed CPU time: 113.342 s	Remaining CPU time: 66.6582 s
113.75/113.90	c ===============================================================================
113.75/113.90	c |     11528 |    4141    28066   580965 |     9355     5890    469 | 29.431 % |
114.25/114.38	c ===============================================================================
114.25/114.38	c New solution: 44671
114.25/114.38	o 44671
114.25/114.38	c Elapsed CPU time: 113.822 s	Remaining CPU time: 66.1783 s
114.25/114.38	c ===============================================================================
114.25/114.38	c |     11533 |    4141    28067   583048 |     9355     5895    469 | 29.431 % |
114.95/115.10	c ===============================================================================
114.95/115.10	c New solution: 44670
114.95/115.10	o 44670
114.95/115.10	c Elapsed CPU time: 114.54 s	Remaining CPU time: 65.4604 s
114.95/115.10	c ===============================================================================
114.95/115.10	c |     11543 |    4141    28068   585131 |     9356     5905    469 | 29.431 % |
116.34/116.43	c |     11644 |    4141    28068   585131 |    10291     6006    471 | 29.431 % |
116.84/116.91	c ===============================================================================
116.84/116.91	c New solution: 44669
116.84/116.91	o 44669
116.84/116.91	c Elapsed CPU time: 116.355 s	Remaining CPU time: 63.6447 s
116.84/116.91	c ===============================================================================
116.84/116.91	c |     11646 |    4141    28069   587214 |     9356     6008    471 | 29.431 % |
117.34/117.45	c ===============================================================================
117.34/117.45	c New solution: 44668
117.34/117.45	o 44668
117.34/117.45	c Elapsed CPU time: 116.889 s	Remaining CPU time: 63.1108 s
117.34/117.45	c ===============================================================================
117.34/117.45	c |     11647 |    4141    28070   589297 |     9356     6009    470 | 29.431 % |
117.84/117.91	c ===============================================================================
117.84/117.91	c New solution: 44667
117.84/117.91	o 44667
117.84/117.91	c Elapsed CPU time: 117.345 s	Remaining CPU time: 62.6548 s
117.84/117.91	c ===============================================================================
117.84/117.91	c |     11647 |    4141    28071   591380 |     9357     6009    470 | 29.431 % |
118.24/118.36	c ===============================================================================
118.24/118.36	c New solution: 44666
118.24/118.36	o 44666
118.24/118.36	c Elapsed CPU time: 117.801 s	Remaining CPU time: 62.1989 s
118.24/118.36	c ===============================================================================
118.24/118.36	c |     11647 |    4141    28072   593463 |     9357     6009    470 | 29.431 % |
118.65/118.75	c ===============================================================================
118.65/118.75	c New solution: 44665
118.65/118.75	o 44665
118.65/118.75	c Elapsed CPU time: 118.184 s	Remaining CPU time: 61.816 s
118.65/118.75	c ===============================================================================
118.65/118.75	c |     11653 |    4141    28073   595546 |     9357     6015    470 | 29.431 % |
120.05/120.15	c |     11754 |    4141    28073   595546 |    10293     6116    472 | 29.431 % |
120.65/120.73	c ===============================================================================
120.65/120.73	c New solution: 44662
120.65/120.73	o 44662
120.65/120.73	c Elapsed CPU time: 120.165 s	Remaining CPU time: 59.8353 s
120.65/120.73	c ===============================================================================
120.65/120.73	c |     11756 |    4141    28074   597629 |     9358     6118    472 | 29.431 % |
121.75/121.86	c |     11856 |    4141    28074   597629 |    10293     6218    473 | 29.431 % |
122.25/122.39	c ===============================================================================
122.25/122.39	c New solution: 44661
122.25/122.39	o 44661
122.25/122.39	c Elapsed CPU time: 121.822 s	Remaining CPU time: 58.1775 s
122.25/122.39	c ===============================================================================
122.25/122.39	c |     11858 |    4141    28075   599712 |     9358     6220    473 | 29.431 % |
123.24/123.39	c |     11959 |    4141    28075   599712 |    10294     6321    474 | 29.431 % |
123.84/123.93	c ===============================================================================
123.84/123.93	c New solution: 44660
123.84/123.93	o 44660
123.84/123.93	c Elapsed CPU time: 123.366 s	Remaining CPU time: 56.6338 s
123.84/123.93	c ===============================================================================
123.84/123.93	c |     11978 |    4141    28076   601795 |     9358     6340    474 | 29.431 % |
124.15/124.29	c ===============================================================================
124.15/124.29	c New solution: 44659
124.15/124.29	o 44659
124.15/124.29	c Elapsed CPU time: 123.718 s	Remaining CPU time: 56.2818 s
124.15/124.29	c ===============================================================================
124.15/124.29	c |     11990 |    4141    28077   603878 |     9359     6352    474 | 29.431 % |
125.04/125.17	c |     12091 |    4141    28077   603878 |    10294     6453    475 | 29.431 % |
125.94/126.02	c ===============================================================================
125.94/126.02	c New solution: 44658
125.94/126.02	o 44658
125.94/126.02	c Elapsed CPU time: 125.446 s	Remaining CPU time: 54.5541 s
125.94/126.02	c ===============================================================================
125.94/126.02	c |     12146 |    4141    28078   605961 |     9359     6508    474 | 29.431 % |
126.24/126.37	c ===============================================================================
126.24/126.37	c New solution: 44657
126.24/126.37	o 44657
126.24/126.37	c Elapsed CPU time: 125.795 s	Remaining CPU time: 54.2051 s
126.24/126.37	c ===============================================================================
126.24/126.37	c |     12157 |    4141    28079   608044 |     9359     6519    474 | 29.431 % |
127.64/127.72	c |     12257 |    4141    28079   608044 |    10295     6619    476 | 29.431 % |
130.44/130.50	c |     12408 |    4141    28079   608044 |    11325     6770    477 | 29.431 % |
131.04/131.14	c ===============================================================================
131.04/131.14	c New solution: 44656
131.04/131.14	o 44656
131.04/131.14	c Elapsed CPU time: 130.56 s	Remaining CPU time: 49.4398 s
131.04/131.14	c ===============================================================================
131.04/131.14	c |     12410 |    4141    28080   610127 |     9360     6772    477 | 29.431 % |
131.64/131.70	c ===============================================================================
131.64/131.70	c New solution: 44655
131.64/131.70	o 44655
131.64/131.70	c Elapsed CPU time: 131.118 s	Remaining CPU time: 48.8819 s
131.64/131.70	c ===============================================================================
131.64/131.70	c |     12419 |    4141    28081   612210 |     9360     6781    477 | 29.431 % |
132.04/132.18	c ===============================================================================
132.04/132.18	c New solution: 44654
132.04/132.18	o 44654
132.04/132.18	c Elapsed CPU time: 131.594 s	Remaining CPU time: 48.406 s
132.04/132.18	c ===============================================================================
132.04/132.18	c |     12424 |    4141    28082   614293 |     9360     6786    477 | 29.431 % |
133.24/133.36	c |     12525 |    4141    28082   614293 |    10296     6887    478 | 29.431 % |
134.23/134.30	c ===============================================================================
134.23/134.30	c New solution: 43247
134.23/134.30	o 43247
134.23/134.30	c Elapsed CPU time: 133.712 s	Remaining CPU time: 46.2883 s
134.23/134.30	c ===============================================================================
134.23/134.30	c |     12550 |    4141    28083   616376 |     9361     6912    477 | 29.431 % |
134.74/134.84	c ===============================================================================
134.74/134.84	c New solution: 43183
134.74/134.84	o 43183
134.74/134.84	c Elapsed CPU time: 134.25 s	Remaining CPU time: 45.7504 s
134.74/134.84	c ===============================================================================
134.74/134.84	c |     12552 |    4141    28084   618459 |     9361     6914    477 | 29.431 % |
135.34/135.47	c ===============================================================================
135.34/135.47	c New solution: 43178
135.34/135.47	o 43178
135.34/135.47	c Elapsed CPU time: 134.876 s	Remaining CPU time: 45.1235 s
135.34/135.47	c ===============================================================================
135.34/135.47	c |     12559 |    4141    28085   620542 |     9361     6921    477 | 29.431 % |
135.94/136.00	c ===============================================================================
135.94/136.00	c New solution: 43177
135.94/136.00	o 43177
135.94/136.00	c Elapsed CPU time: 135.409 s	Remaining CPU time: 44.5906 s
135.94/136.00	c ===============================================================================
135.94/136.00	c |     12560 |    4141    28086   622625 |     9362     6922    477 | 29.431 % |
136.44/136.54	c ===============================================================================
136.44/136.54	c New solution: 43171
136.44/136.54	o 43171
136.44/136.54	c Elapsed CPU time: 135.948 s	Remaining CPU time: 44.0517 s
136.44/136.54	c ===============================================================================
136.44/136.54	c |     12566 |    4141    28087   624708 |     9362     6928    477 | 29.431 % |
137.74/137.84	c ===============================================================================
137.74/137.84	c New solution: 43170
137.74/137.84	o 43170
137.74/137.84	c Elapsed CPU time: 137.248 s	Remaining CPU time: 42.7519 s
137.74/137.84	c ===============================================================================
137.74/137.84	c |     12632 |    4141    28088   626791 |     9362     6994    476 | 29.431 % |
138.33/138.47	c ===============================================================================
138.33/138.47	c New solution: 43160
138.33/138.47	o 43160
138.33/138.47	c Elapsed CPU time: 137.872 s	Remaining CPU time: 42.128 s
138.33/138.47	c ===============================================================================
138.33/138.47	c |     12641 |    4141    28089   628874 |     9363     7003    476 | 29.431 % |
139.03/139.11	c ===============================================================================
139.03/139.11	c New solution: 43089
139.03/139.11	o 43089
139.03/139.11	c Elapsed CPU time: 138.51 s	Remaining CPU time: 41.4901 s
139.03/139.11	c ===============================================================================
139.03/139.11	c |     12646 |    4141    28090   630957 |     9363     7008    476 | 29.431 % |
140.24/140.33	c |     12746 |    4141    28090   630957 |    10299     7108    478 | 29.431 % |
140.84/140.92	c ===============================================================================
140.84/140.92	c New solution: 43062
140.84/140.92	o 43062
140.84/140.92	c Elapsed CPU time: 140.318 s	Remaining CPU time: 39.6823 s
140.84/140.92	c ===============================================================================
140.84/140.92	c |     12750 |    4141    28091   633040 |     9363     7112    478 | 29.431 % |
141.93/142.03	c |     12850 |    4141    28091   633040 |    10300     7212    479 | 29.431 % |
143.24/143.32	c ===============================================================================
143.24/143.32	c New solution: 41625
143.24/143.32	o 41625
143.24/143.32	c Elapsed CPU time: 142.708 s	Remaining CPU time: 37.2917 s
143.24/143.32	c ===============================================================================
143.24/143.32	c |     12938 |    4141    28092   635123 |     9364     7300    478 | 29.431 % |
143.84/143.99	c ===============================================================================
143.84/143.99	c New solution: 41528
143.84/143.99	o 41528
143.84/143.99	c Elapsed CPU time: 143.374 s	Remaining CPU time: 36.6258 s
143.84/143.99	c ===============================================================================
143.84/143.99	c |     12938 |    4141    28093   637206 |     9364     7300    478 | 29.431 % |
144.54/144.69	c ===============================================================================
144.54/144.69	c New solution: 41407
144.54/144.69	o 41407
144.54/144.69	c Elapsed CPU time: 144.073 s	Remaining CPU time: 35.9269 s
144.54/144.69	c ===============================================================================
144.54/144.69	c |     12953 |    4141    28094   639289 |     9364     7315    478 | 29.431 % |
145.24/145.35	c ===============================================================================
145.24/145.35	c New solution: 41406
145.24/145.35	o 41406
145.24/145.35	c Elapsed CPU time: 144.735 s	Remaining CPU time: 35.265 s
145.24/145.35	c ===============================================================================
145.24/145.35	c |     12955 |    4141    28095   641372 |     9365     7317    477 | 29.431 % |
146.33/146.48	c |     13055 |    4141    28095   641372 |    10301     7417    479 | 29.431 % |
146.93/147.08	c ===============================================================================
146.93/147.08	c New solution: 41405
146.93/147.08	o 41405
146.93/147.08	c Elapsed CPU time: 146.461 s	Remaining CPU time: 33.5393 s
146.93/147.08	c ===============================================================================
146.93/147.08	c |     13063 |    4141    28096   643455 |     9365     7425    479 | 29.431 % |
147.43/147.55	c ===============================================================================
147.43/147.55	c New solution: 41404
147.43/147.55	o 41404
147.43/147.55	c Elapsed CPU time: 146.93 s	Remaining CPU time: 33.0703 s
147.43/147.55	c ===============================================================================
147.43/147.55	c |     13079 |    4141    28097   645538 |     9365     7441    479 | 29.431 % |
149.23/149.31	c |     13180 |    4141    28097   645538 |    10302     7542    480 | 29.431 % |
151.13/151.20	c |     13331 |    4141    28097   645538 |    11332     7693    481 | 29.431 % |
151.64/151.76	c ===============================================================================
151.64/151.76	c New solution: 41403
151.64/151.76	o 41403
151.64/151.76	c Elapsed CPU time: 151.139 s	Remaining CPU time: 28.861 s
151.64/151.76	c ===============================================================================
151.64/151.76	c |     13339 |    4141    28098   647621 |     9366     7701    481 | 29.431 % |
152.94/153.06	c |     13440 |    4141    28098   647621 |    10302     7802    482 | 29.431 % |
153.64/153.70	c ===============================================================================
153.64/153.70	c New solution: 41393
153.64/153.70	o 41393
153.64/153.70	c Elapsed CPU time: 153.077 s	Remaining CPU time: 26.9233 s
153.64/153.70	c ===============================================================================
153.64/153.70	c |     13440 |    4141    28099   649704 |     9366     7802    482 | 29.431 % |
154.23/154.34	c ===============================================================================
154.23/154.34	c New solution: 41388
154.23/154.34	o 41388
154.23/154.34	c Elapsed CPU time: 153.709 s	Remaining CPU time: 26.2914 s
154.23/154.34	c ===============================================================================
154.23/154.34	c |     13440 |    4141    28100   651787 |     9366     7802    482 | 29.431 % |
154.83/154.97	c ===============================================================================
154.83/154.97	c New solution: 41387
154.83/154.97	o 41387
154.83/154.97	c Elapsed CPU time: 154.344 s	Remaining CPU time: 25.6565 s
154.83/154.97	c ===============================================================================
154.83/154.97	c |     13440 |    4141    28101   653870 |     9367     7802    482 | 29.431 % |
155.53/155.61	c ===============================================================================
155.53/155.61	c New solution: 41385
155.53/155.61	o 41385
155.53/155.61	c Elapsed CPU time: 154.975 s	Remaining CPU time: 25.0246 s
155.53/155.61	c ===============================================================================
155.53/155.61	c |     13440 |    4141    28102   655953 |     9367     7802    482 | 29.431 % |
156.14/156.24	c ===============================================================================
156.14/156.24	c New solution: 41384
156.14/156.24	o 41384
156.14/156.24	c Elapsed CPU time: 155.603 s	Remaining CPU time: 24.3967 s
156.14/156.24	c ===============================================================================
156.14/156.24	c |     13440 |    4141    28103   658036 |     9367     7802    482 | 29.431 % |
156.93/157.01	c ===============================================================================
156.93/157.01	c New solution: 41383
156.93/157.01	o 41383
156.93/157.01	c Elapsed CPU time: 156.374 s	Remaining CPU time: 23.6258 s
156.93/157.01	c ===============================================================================
156.93/157.01	c |     13457 |    4141    28104   660119 |     9368     7819    482 | 29.431 % |
158.53/158.63	c |     13558 |    4141    28104   660119 |    10304     7920    483 | 29.431 % |
159.13/159.26	c ===============================================================================
159.13/159.26	c New solution: 41382
159.13/159.26	o 41382
159.13/159.26	c Elapsed CPU time: 158.617 s	Remaining CPU time: 21.3831 s
159.13/159.26	c ===============================================================================
159.13/159.26	c |     13562 |    4141    28105   662202 |     9368     7924    482 | 29.431 % |
159.63/159.79	c ===============================================================================
159.63/159.79	c New solution: 41381
159.63/159.79	o 41381
159.63/159.79	c Elapsed CPU time: 159.152 s	Remaining CPU time: 20.8482 s
159.63/159.79	c ===============================================================================
159.63/159.79	c |     13565 |    4141    28106   664285 |     9368     7927    482 | 29.431 % |
160.13/160.29	c ===============================================================================
160.13/160.29	c New solution: 41380
160.13/160.29	o 41380
160.13/160.29	c Elapsed CPU time: 159.653 s	Remaining CPU time: 20.3473 s
160.13/160.29	c ===============================================================================
160.13/160.29	c |     13571 |    4141    28107   666368 |     9369     7933    482 | 29.431 % |
161.64/161.72	c |     13671 |    4141    28107   666368 |    10305     8033    483 | 29.431 % |
162.13/162.23	c ===============================================================================
162.13/162.23	c New solution: 41379
162.13/162.23	o 41379
162.13/162.23	c Elapsed CPU time: 161.588 s	Remaining CPU time: 18.4116 s
162.13/162.23	c ===============================================================================
162.13/162.23	c |     13678 |    4141    28108   668451 |     9369     8040    483 | 29.431 % |
162.74/162.83	c ===============================================================================
162.74/162.83	c New solution: 41378
162.74/162.83	o 41378
162.74/162.83	c Elapsed CPU time: 162.184 s	Remaining CPU time: 17.8157 s
162.74/162.83	c ===============================================================================
162.74/162.83	c |     13682 |    4141    28109   670534 |     9369     8044    483 | 29.431 % |
163.92/164.05	c |     13782 |    4141    28109   670534 |    10306     8144    484 | 29.431 % |
164.73/164.83	c ===============================================================================
164.73/164.83	c New solution: 41372
164.73/164.83	o 41372
164.73/164.83	c Elapsed CPU time: 164.179 s	Remaining CPU time: 15.821 s
164.73/164.83	c ===============================================================================
164.73/164.83	c |     13785 |    4141    28110   672617 |     9370     8147    484 | 29.431 % |
165.13/165.27	c ===============================================================================
165.13/165.27	c New solution: 41371
165.13/165.27	o 41371
165.13/165.27	c Elapsed CPU time: 164.621 s	Remaining CPU time: 15.379 s
165.13/165.27	c ===============================================================================
165.13/165.27	c |     13803 |    4141    28111   674700 |     9370     8165    484 | 29.431 % |
165.94/166.02	c |     13904 |    4141    28111   674700 |    10307     8266    484 | 29.431 % |
166.93/167.02	c ===============================================================================
166.93/167.02	c New solution: 39897
166.93/167.02	o 39897
166.93/167.02	c Elapsed CPU time: 166.36 s	Remaining CPU time: 13.6403 s
166.93/167.02	c ===============================================================================
166.93/167.02	c |     13933 |    4141    28112   676783 |     9370     8295    484 | 29.431 % |
167.82/167.97	c ===============================================================================
167.82/167.97	c New solution: 39792
167.82/167.97	o 39792
167.82/167.97	c Elapsed CPU time: 167.31 s	Remaining CPU time: 12.6904 s
167.82/167.97	c ===============================================================================
167.82/167.97	c |     13962 |    4141    28113   678866 |     9371     8324    483 | 29.431 % |
168.42/168.58	c ===============================================================================
168.42/168.58	c New solution: 39791
168.42/168.58	o 39791
168.42/168.58	c Elapsed CPU time: 167.919 s	Remaining CPU time: 12.0805 s
168.42/168.58	c ===============================================================================
168.42/168.58	c |     13989 |    4141    28114   680949 |     9371     8351    483 | 29.431 % |
169.12/169.29	c ===============================================================================
169.12/169.29	c New solution: 38370
169.12/169.29	o 38370
169.12/169.29	c Elapsed CPU time: 168.629 s	Remaining CPU time: 11.3706 s
169.12/169.29	c ===============================================================================
169.12/169.29	c |     14009 |    4141    28115   683032 |     9371     8371    482 | 29.431 % |
169.73/169.87	c ===============================================================================
169.73/169.87	c New solution: 38345
169.73/169.87	o 38345
169.73/169.87	c Elapsed CPU time: 169.21 s	Remaining CPU time: 10.7897 s
169.73/169.87	c ===============================================================================
169.73/169.87	c |     14009 |    4141    28116   685115 |     9372     8371    482 | 29.431 % |
170.33/170.46	c ===============================================================================
170.33/170.46	c New solution: 38289
170.33/170.46	o 38289
170.33/170.46	c Elapsed CPU time: 169.791 s	Remaining CPU time: 10.2088 s
170.33/170.46	c ===============================================================================
170.33/170.46	c |     14010 |    4141    28117   687198 |     9372     8372    482 | 29.431 % |
170.83/170.94	c ===============================================================================
170.83/170.94	c New solution: 38288
170.83/170.94	o 38288
170.83/170.94	c Elapsed CPU time: 170.269 s	Remaining CPU time: 9.73089 s
170.83/170.94	c ===============================================================================
170.83/170.94	c |     14015 |    4141    28118   689281 |     9372     8377    483 | 29.431 % |
171.43/171.55	c ===============================================================================
171.43/171.55	c New solution: 38236
171.43/171.55	o 38236
171.43/171.55	c Elapsed CPU time: 170.877 s	Remaining CPU time: 9.12298 s
171.43/171.55	c ===============================================================================
171.43/171.55	c |     14016 |    4141    28119   691364 |     9373     8378    483 | 29.431 % |
172.23/172.34	c ===============================================================================
172.23/172.34	c New solution: 38235
172.23/172.34	o 38235
172.23/172.34	c Elapsed CPU time: 171.666 s	Remaining CPU time: 8.3341 s
172.23/172.34	c ===============================================================================
172.23/172.34	c |     14021 |    4141    28120   693447 |     9373     8383    482 | 29.431 % |
172.73/172.88	c ===============================================================================
172.73/172.88	c New solution: 38173
172.73/172.88	o 38173
172.73/172.88	c Elapsed CPU time: 172.205 s	Remaining CPU time: 7.79518 s
172.73/172.88	c ===============================================================================
172.73/172.88	c |     14024 |    4141    28121   695530 |     9373     8386    482 | 29.431 % |
173.73/173.82	c |     14124 |    4141    28121   695530 |    10311     8486    484 | 29.431 % |
175.83/175.95	c |     14275 |    4141    28121   695530 |    11342     8637    486 | 29.431 % |
176.52/176.65	c ===============================================================================
176.52/176.65	c New solution: 38172
176.52/176.65	o 38172
176.52/176.65	c Elapsed CPU time: 175.968 s	Remaining CPU time: 4.03175 s
176.52/176.65	c ===============================================================================
176.52/176.65	c |     14280 |    4141    28122   697613 |     9374     8642    486 | 29.431 % |
177.22/177.38	c |     14382 |    4141    28122   697613 |    10311     8744    485 | 29.431 % |
177.72/177.88	c ===============================================================================
177.72/177.88	c New solution: 38171
177.72/177.88	o 38171
177.72/177.88	c Elapsed CPU time: 177.197 s	Remaining CPU time: 2.80294 s
177.72/177.88	c ===============================================================================
177.72/177.88	c |     14389 |    4141    28123   699696 |     9374     8751    485 | 29.431 % |
178.62/178.73	c ===============================================================================
178.62/178.73	c New solution: 38170
178.62/178.73	o 38170
178.62/178.73	c Elapsed CPU time: 178.047 s	Remaining CPU time: 1.95307 s
178.62/178.73	c ===============================================================================
178.62/178.73	c |     14431 |    4141    28124   701779 |     9374     8793    484 | 29.431 % |
179.32/179.45	c ===============================================================================
179.32/179.45	c New solution: 38169
179.32/179.45	o 38169
179.32/179.45	c Elapsed CPU time: 178.766 s	Remaining CPU time: 1.23418 s
179.32/179.45	c ===============================================================================
179.32/179.45	c |     14460 |    4141    28125   703862 |     9375     8822    484 | 29.431 % |
180.62/180.71	c There are 1727 assigned variables. 287 in cost function.
183.72/183.88	c core #1
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 3	Core Weight: 1	Total Weight: 1795
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #2
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 4	Core Weight: 1	Total Weight: 1796
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #3
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 5	Core Weight: 1	Total Weight: 1797
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #4
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 4	Core Weight: 1	Total Weight: 1798
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #5
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 4	Core Weight: 1	Total Weight: 1799
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #6
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 9	Core Weight: 1	Total Weight: 1800
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #7
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 3	Core Weight: 1634	Total Weight: 3434
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #8
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 4	Core Weight: 1	Total Weight: 3435
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #9
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 11	Core Weight: 1	Total Weight: 3436
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #10
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 3	Core Weight: 1	Total Weight: 3437
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #11
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 4	Core Weight: 1	Total Weight: 3438
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #12
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 5	Core Weight: 1	Total Weight: 3439
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #13
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 3	Core Weight: 1	Total Weight: 3440
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #14
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 4	Core Weight: 1	Total Weight: 3441
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #15
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 4	Core Weight: 1	Total Weight: 3442
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #16
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 5	Core Weight: 1	Total Weight: 3443
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #17
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 9	Core Weight: 1	Total Weight: 3444
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #18
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 4	Core Weight: 1	Total Weight: 3445
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #19
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 5	Core Weight: 1	Total Weight: 3446
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #20
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 8	Core Weight: 1	Total Weight: 3447
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #21
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 8	Core Weight: 1	Total Weight: 3448
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #22
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 8	Core Weight: 1	Total Weight: 3449
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #23
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 8	Core Weight: 1	Total Weight: 3450
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #24
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 8	Core Weight: 1	Total Weight: 3451
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #25
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 8	Core Weight: 1	Total Weight: 3452
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #26
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 8	Core Weight: 1	Total Weight: 3453
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #27
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 8	Core Weight: 1	Total Weight: 3454
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #28
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 8	Core Weight: 1	Total Weight: 3455
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #29
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 8	Core Weight: 1	Total Weight: 3456
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #30
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 8	Core Weight: 1	Total Weight: 3457
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #31
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 8	Core Weight: 1	Total Weight: 3458
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #32
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 8	Core Weight: 1	Total Weight: 3459
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #33
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 8	Core Weight: 1	Total Weight: 3460
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #34
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 9	Core Weight: 1	Total Weight: 3461
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #35
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 12	Core Weight: 1	Total Weight: 3462
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #36
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 12	Core Weight: 1	Total Weight: 3463
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #37
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 14	Core Weight: 1	Total Weight: 3464
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #38
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 15	Core Weight: 1	Total Weight: 3465
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #39
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 15	Core Weight: 1	Total Weight: 3466
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #40
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 14	Core Weight: 1	Total Weight: 3467
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #41
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 16	Core Weight: 1	Total Weight: 3468
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #42
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 13	Core Weight: 1	Total Weight: 3469
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #43
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 13	Core Weight: 1	Total Weight: 3470
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #44
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 13	Core Weight: 1	Total Weight: 3471
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #45
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 10	Core Weight: 1	Total Weight: 3472
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #46
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 13	Core Weight: 1	Total Weight: 3473
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #47
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 13	Core Weight: 1	Total Weight: 3474
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #48
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 14	Core Weight: 1	Total Weight: 3475
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #49
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 12	Core Weight: 1	Total Weight: 3476
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #50
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 8	Core Weight: 1	Total Weight: 3477
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #51
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 13	Core Weight: 1	Total Weight: 3478
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #52
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 8	Core Weight: 1	Total Weight: 3479
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #53
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 8	Core Weight: 1	Total Weight: 3480
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #54
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 13	Core Weight: 1	Total Weight: 3481
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #55
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 13	Core Weight: 1	Total Weight: 3482
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #56
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 15	Core Weight: 1	Total Weight: 3483
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #57
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 8	Core Weight: 1	Total Weight: 3484
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #58
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 10	Core Weight: 1	Total Weight: 3485
183.72/183.88	c
183.72/183.88	c
183.72/183.88	c core #59
183.72/183.88	c 
183.72/183.88	c 
183.72/183.88	c Core size: 11	Core Weight: 1	Total Weight: 3486
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #60
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 8	Core Weight: 1	Total Weight: 3487
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #61
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 8	Core Weight: 1593	Total Weight: 5080
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #62
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 6	Core Weight: 1	Total Weight: 5081
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #63
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 7	Core Weight: 1	Total Weight: 5082
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #64
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 11	Core Weight: 1	Total Weight: 5083
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #65
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 7	Core Weight: 1	Total Weight: 5084
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #66
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 6	Core Weight: 1	Total Weight: 5085
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #67
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 8	Core Weight: 1	Total Weight: 5086
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #68
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 26	Core Weight: 1	Total Weight: 5087
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #69
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 10	Core Weight: 1	Total Weight: 5088
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #70
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 15	Core Weight: 1	Total Weight: 5089
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #71
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 13	Core Weight: 1	Total Weight: 5090
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #72
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 12	Core Weight: 1	Total Weight: 5091
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #73
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 24	Core Weight: 1	Total Weight: 5092
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #74
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 11	Core Weight: 1	Total Weight: 5093
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #75
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 9	Core Weight: 1	Total Weight: 5094
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #76
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 7	Core Weight: 1	Total Weight: 5095
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #77
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 9	Core Weight: 1	Total Weight: 5096
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #78
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 10	Core Weight: 1	Total Weight: 5097
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #79
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 9	Core Weight: 1	Total Weight: 5098
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #80
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 9	Core Weight: 1	Total Weight: 5099
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #81
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 6	Core Weight: 1	Total Weight: 5100
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #82
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 16	Core Weight: 1	Total Weight: 5101
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #83
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 15	Core Weight: 1	Total Weight: 5102
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #84
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 16	Core Weight: 1	Total Weight: 5103
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #85
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 19	Core Weight: 1	Total Weight: 5104
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #86
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 5	Core Weight: 1	Total Weight: 5105
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #87
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 41	Core Weight: 1	Total Weight: 5106
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #88
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 33	Core Weight: 1	Total Weight: 5107
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #89
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 3	Core Weight: 1	Total Weight: 5108
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #90
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 9	Core Weight: 1	Total Weight: 5109
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #91
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 15	Core Weight: 1	Total Weight: 5110
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #92
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 16	Core Weight: 1	Total Weight: 5111
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #93
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 16	Core Weight: 1	Total Weight: 5112
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #94
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 7	Core Weight: 1	Total Weight: 5113
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #95
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 17	Core Weight: 1	Total Weight: 5114
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #96
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 83	Core Weight: 1	Total Weight: 5115
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c core #97
186.02/186.17	c 
186.02/186.17	c 
186.02/186.17	c Core size: 10	Core Weight: 1	Total Weight: 5116
186.02/186.17	c
186.02/186.17	c
186.02/186.17	c ============================[ Search Statistics ]==============================
186.02/186.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.02/186.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.02/186.17	c ===============================================================================
186.02/186.17	c |         0 |     798    19564    12866 |     6521        0    nan |  0.000 % |
186.02/186.18	c ===============================================================================
186.02/186.19	c #cores: 97
186.02/186.19	c Final Weight: 5116
186.02/186.19	o 5116
186.02/186.19	s OPTIMUM FOUND
186.02/186.19	v -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 x4259 -x4260 x4261 x4262 x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 x4273 -x4274 -x4275 x4276 x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 x4300 x4301 x4302 x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 x4350 x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 x4366 x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 x4388 x4389 x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 x4515 -x4516 -x4517 x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 x4531 -x4532 -x4533 -x4534 -x4535 x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 x4565 x4566 x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 x4582 x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 x4596 x4597 -x4598 x4599 -x4600 -x4601 x4602 -x4603 -x4604 -x4605 -x4606 x4607 x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 x4638 -x4639 -x4640 -x4641 -x4642 x4643 x4644 -x4645 x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 x4654 -x4655 -x4656 -x4657 x4658 x4659 x4660 x4661 -x4662 x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 x4690 -x4691 -x4692 x4693 x4694 x4695 x4696 x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 x4778 -x4779 x4780 -x4781 -x4782 -x4783 x4784 x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 x4803 -x4804 -x4805 -x4806 x4807 -x4808 -x4809 -x4810 x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 x4855 -x4856 -x4857 x4858 -x4859 -x4860 -x4861 x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 x4893 -x4894 x4895 -x4896 -x4897 -x4898 x4899 -x4900 -x4901 x4902 x4903 x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 x4941 x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 x4952 x4953 -x4954 -x4955 -x4956 x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 x5049 x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 x5071 -x5072 -x5073 -x5074 -x5075 x5076 -x5077 -x5078 x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 x5092 x5093 x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 x5114 -x5115 x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 x5127 -x5128 -x5129 -x5130 x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 x5150 x5151 x5152 -x5153 x5154 -x5155 x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 x5179 x5180 -x5181 -x5182 -x5183 x5184 -x5185 x5186 -x5187 -x5188 x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 x5214 -x5215 -x5216 x5217 -x5218 -x5219 -x5220 x5221 x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 x5233 x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 x5244 -x5245 -x5246 -x5247 -x5248 x5249 -x5250 -x5251 -x5252 -x5253 -x5254 x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 x5274 -x5275 -x5276 x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 x5342 x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 x5354 -x5355 x5356 x5357 -x5358 x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 x5370 -x5371 x5372 x5373 -x5374 -x5375 x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 x5391 x5392 x5393 x5394 x5395 x5396 -x5397 -x5398 x5399 x5400 -x5401 x5402 -x5403 -x5404 -x5405 -x5406 x5407 x5408 -x5409 -x5410 x5411 -x5412 -x5413 -x5414 x5415 -x5416 x5417 -x5418 x5419 x5420 -x5421 -x5422 -x5423 -x5424 -x5425 x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 x5433 x5434 -x5435 x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 x5445 -x5446 -x5447 -x5448 x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 x5457 -x5458 -x5459 -x5460 -x5461 -x5462 x5463 x5464 -x5465 -x5466 x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 x5565 x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 x5598 -x5599 -x5600 -x5601 -x5602 -x5603 x5604 -x5605 -x5606 -x5607 x5608 x5609 -x5610 x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 x5620 x5621 -x5622 x5623 -x5624 x5625 -x5626 -x5627 x5628 x5629 -x5630 -x5631 -x5632 x5633 x5634 -x5635 x5636 -x5637 -x5638 -x5639 x5640 -x5641 x5642 -x5643 -x5644 x5645 x5646 -x5647 -x5648 x5649 x5650 -x5651 x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 x5710 x5711 x5712 x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 x5731 -x5732 x5733 x5734 x5735 x5736 -x5737 -x5738 -x5739 x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 x5754 -x5755 -x5756 -x5757 -x5758 x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 x5826 x5827 x5828 -x5829 -x5830 x5831 -x5832 -x5833 x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 x5855 x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 x1 -x2 x3 -x4 -x5 x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 x14 -x15 x16 x17 -x18 x19 x20 -x21 x22 -x23 -x24 x25 -x26 -x27 x28 x29 -x30 -x31 x32 -x33 x34 -x35 x36 x37 -x38 x39 -x40 x41 x42 -x43 -x44 x45 -x46 -x47 x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 x143 -x144 x145 -x146 x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 x158 -x159 x160 -x161 -x162 x163 -x164 -x165 -x166 x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 x271 -x272 -x273 x274 -x275 x276 x277 -x278 x279 -x280 x281 x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 x298 -x299 -x300 -x301 -x302 x303 x304 -x305 x306 -x307 x308 -x309 x310 x311 -x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 x328 -x329 -x330 -x331 x332 -x333 x334 -x335 x336 x337 -x338 x339 x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 x354 -x355 -x356 x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 x385 x386 x387 x388 x389 x390 x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 x420 x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 x433 -x434 -x435 -x436 -x437 x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 x513 -x514 -x515 -x516 -x517 -x518 x519 x520 -x521 -x522 -x523 -x524 x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 x551 -x552 -x553 x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 x566 x567 -x568 -x569 -x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 x592 -x593 x594 -x595 -x596 x597 -x598 -x599 x600 -x601 x602 x603 -x604 -x605 x606 -x607 x608 x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 x624 -x625 x626 x627 -x628 x629 x630 -x631 x632 x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 x685 x686 -x687 -x688 x689 x690 -x691 -x692 x693 x694 -x695 -x696 x697 -x698 x699 -x700 x701 -x702 x703 x704 -x705 -x706 x707 -x708 x709 -x710 x711 -x712 -x713 -x714 -x715 x716 -x717 x718 x719 -x720 x721 x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 x780 -x781 x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 x809 x810 -x811 -x812 x813 x814 -x815 -x816 -x817 x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 x826 x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 x849 -x850 x851 -x852 x853 -x854 -x855 x856 x857 x858 -x859 -x860 -x861 x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 x872 -x873 -x874 x875 -x876 x877 -x878 -x879 -x880 -x881 x882 -x883 x884 x885 -x886 x887 -x888 -x889 -x890 -x891 x892 x893 -x894 -x895 -x896 -x897 x898 -x899 x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 -x918 x919 x920 -x921 x922 -x923 x924 x925 -x926 x927 -x928 -x929 -x930 -x931 -x932 -x933 x934 -x935 -x936 -x937 x938 x939 -x940 -x941 x942 -x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 -x956 -x957 -x958 -x959 -x960 x961 -x962 -x963 x964 -x965 x966 -x967 x968 x969 -x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 x980 -x981 -x982 -x983 x984 x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 x997 x998 -x999 x1000 -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 x1023 x1024 -x1025 x1026 -x1027 x1028 -x1029 x1030 -x1031 -x1032 x1033 x1034 -x1035 -x1036 x1037 -x1038 -x1039 x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 x1077 -x1078 -x1079 -x1080 x1081 -x1082 -x1083 -x1084 x1085 -x1086 x1087 -x1088 -x1089 x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 -x1192 x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 x1202 x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224 x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 x1237 x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 x1272 x1273 x1274 x1275 x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 x1285 -x1286 -x1287 -x1288 -x1289 x1290 x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 x1327 -x1328 -x1329 x1330 x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 x1349 -x1350 -x1351 x1352 x1353 -x1354 -x1355 x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 x1373 -x1374 -x1375 x1376 -x1377 -x1378 -x1379 x1380 x1381 -x1382 -x1383 x1384 -x1385 x1386 x1387 x1388 x1389 x1390 -x1391 -x1392 x1393 -x1394 -x1395 x1396 -x1397 x1398 -x1399 -x1400 x1401 -x1402 x1403 -x1404 x1405 -x1406 x1407 -x1408 x1409 -x1410 -x1411 x1412 x1413 -x1414 -x1415 -x1416 -x1417 x1418 -x1419 x1420 -x1421 -x1422 x1423 -x1424 -x1425 -x1426 x1427 x1428 -x1429 -x1430 x1431 -x1432 -x1433 -x1434 x1435 -x1436 x1437 -x1438 -x1439 x1440 -x1441 -x1442 x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 x1526 -x1527 -x1528 -x1529 x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 -x1573 -x1574 x1575 -x1576 x1577 -x1578 x1579 -x1580 x1581 -x1582 -x1583 -x1584 -x1585 x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 x1608 -x1609 x1610 -x1611 -x1612 x1613 x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 x1621 -x1622 -x1623 -x1624 x1625 -x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 x1638 x1639 -x1640 x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x1656 x1657 -x1658 x1659 -x1660 -x1661 -x1662 x1663 x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 x1687 x1688 x1689 -x1690 -x1691 -x1692 x1693 -x1694 -x1695 x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 x1722 -x1723 -x1724 x1725 x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 x1793 -x1794 x1795 x1796 -x1797 -x1798 x1799 -x1800 -x1801 -x1802 x1803 x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 x1825 -x1826 x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 x1843 -x1844 x1845 -x1846 -x1847 -x1848 -x1849 -x1850 x1851 x1852 -x1853 -x1854 -x1855 -x1856 -x1857 x1858 -x1859 -x1860 x1861 -x1862 -x1863 -x1864 -x1865 x1866 -x1867 x1868 x1869 -x1870 x1871 x1872 -x1873 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 x1905 -x1906 x1907 x1908 x1909 -x1910 x1911 -x1912 -x1913 x1914 x1915 -x1916 -x1917 x1918 -x1919 -x1920 x1921 -x1922 x1923 -x1924 x1925 -x1926 x1927 x1928 -x1929 x1930 -x1931 x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 x1952 x1953 -x1954 -x1955 x1956 -x1957 x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 x1974 x1975 -x1976 x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 x1992 -x1993 x1994 -x1995 x1996 x1997 -x1998 x1999 -x2000 -x2001 x2002 -x2003 x2004 -x2005 x2006 x2007 -x2008 -x2009 x2010 -x2011 x2012 -x2013 x2014 x2015 -x2016 x2017 x2018 -x2019 -x2020 x2021 -x2022 -x2023 x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 x2032 x2033 -x2034 x2035 -x2036 x2037 -x2038 -x2039 -x2040 -x2041 x2042 -x2043 -x2044 x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 x2072 -x2073 -x2074 x2075 x2076 -x2077 -x2078 x2079 -x2080 -x2081 x2082 -x2083 x2084 -x2085 x2086 -x2087 x2088 -x2089 x2090 -x2091 x2092 x2093 -x2094 -x2095 -x2096 -x2097 x2098 -x2099 x2100 x2101 -x2102 -x2103 -x2104 -x2105 x2106 -x2107 x2108 -x2109 x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 x2117 -x2118 -x2119 -x2120 -x2121 x2122 -x2123 -x2124 -x2125 -x2126 x2127 x2128 -x2129 x2130 x2131 -x2132 x2133 -x2134 -x2135 -x2136 -x2137 -x2138 x2139 -x2140 -x2141 -x2142 -x2143 x2144 -x2145 -x2146 x2147 -x2148 -x2149 x2150 -x2151 -x2152 -x2153 -x2154 x2155 -x2156 -x2157 x2158 -x2159 x2160 x2161 -x2162 x2163 -x2164 -x2165 x2166 -x2167 x2168 -x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 x2177 -x2178 x2179 x2180 -x2181 -x2182 -x2183 -x2184 x2185 -x2186 -x2187 x2188 -x2189 -x2190 -x2191 -x2192 -x2193 x2194 -x2195 -x2196 x2197 x2198 -x2199 -x2200 -x2201 x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 x2216 -x2217 -x2218 x2219 -x2220 -x2221 -x2222 x2223 -x2224 -x2225 -x2226 x2227 -x2228 -x2229 x2230 -x2231 -x2232 x2233 -x2234 x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 x2250 x2251 x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 x2259 -x2260 -x2261 x2262 -x2263 -x2264 x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 -x2280 x2281 -x2282 -x2283 -x2284 -x2285 x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 x2307 -x2308 x2309 x2310 x2311 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 x2323 -x2324 x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 x2336 x2337 -x2338 -x2339 -x2340 -x2341 -x2342 x2343 -x2344 x2345 -x2346 x2347 -x2348 x2349 -x2350 x2351 -x2352 -x2353 -x2354 x2355 -x2356 x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 x2364 x2365 -x2366 x2367 -x2368 x2369 x2370 -x2371 -x2372 x2373 -x2374 -x2375 -x2376 x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 x2407 -x2408 -x2409 x2410 -x2411 -x2412 x2413 -x2414 -x2415 -x2416 x2417 x2418 -x2419 -x2420 x2421 -x2422 -x2423 -x2424 x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 x2432 -x2433 x2434 -x2435 x2436 x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 x2446 -x2447 x2448 x2449 -x2450 -x2451 x2452 -x2453 -x2454 x2455 x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 x2467 -x2468 x2469 -x2470 x2471 -x2472 x2473 -x2474 -x2475 -x2476 -x2477 x2478 -x2479 x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490 x2491 x2492 -x2493 x2494 -x2495 -x2496 -x2497 -x2498 x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 x2512 -x2513 x2514 -x2515 x2516 -x2517 -x2518 -x2519 -x2520 x2521 -x2522 -x2523 x2524 -x2525 x2526 -x2527 -x2528 -x2529 x2530 -x2531 x2532 -x2533 -x2534 -x2535 -x2536 x2537 -x2538 x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 x2548 x2549 -x2550 x2551 -x2552 x2553 -x2554 x2555 -x2556 -x2557 -x2558 -x2559 x2560 x2561 -x2562 -x2563 -x2564 -x2565 x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 x2580 -x2581 x2582 -x2583 -x2584 -x2585 x2586 -x2587 x2588 -x2589 -x2590 -x2591 -x2592 -x2593 x2594 -x2595 -x2596 -x2597 -x2598 x2599 x2600 -x2601 -x2602 -x2603 -x2604 x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 -x2621 x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 x2635 x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 x2644 -x2645 -x2646 -x2647 x2648 x2649 -x2650 x2651 -x2652 -x2653 x2654 -x2655 x2656 -x2657 x2658 -x2659 x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 x2682 -x2683 x2684 x2685 x2686 -x2687 x2688 -x2689 x2690 -x2691 -x2692 -x2693 -x2694 x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 x2708 -x2709 x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 x2717 -x2718 x2719 -x2720 -x2721 x2722 x2723 -x2724 -x2725 -x2726 x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 x2752 -x2753 x2754 x2755 x2756 -x2757 -x2758 -x2759 -x2760 x2761 x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 x2773 -x2774 -x2775 -x2776 x2777 -x2778 -x2779 -x2780 -x2781 x2782 -x2783 x2784 -x2785 -x2786 x2787 -x2788 -x2789 -x2790 -x2791 x2792 -x2793 -x2794 x2795 -x2796 -x2797 -x2798 -x2799 -x2800 x2801 -x2802 -x2803 x2804 x2805 -x2806 -x2807 x2808 -x2809 -x2810 -x2811 -x2812 x2813 x2814 -x2815 -x2816 -x2817 x2818 x2819 x2820 x2821 -x2822 -x2823 x2824 -x2825 -x2826 x2827 x2828 -x2829 -x2830 x2831 x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 x2849 -x2850 -x2851 -x2852 -x2853 -x2854 x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 x2865 -x2866 x2867 x2868 -x2869 -x2870 -x2871 -x2872 x2873 x2874 -x2875 x2876 x2877 -x2878 -x2879 -x2880 x2881 -x2882 -x2883 -x2884 x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 x2892 -x2893 -x2894 -x2895 x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 x2913 -x2914 -x2915 x2916 -x2917 -x2918 -x2919 -x2920 x2921 -x2922 -x2923 x2924 -x2925 x2926 -x2927 -x2928 x2929 -x2930 x2931 x2932 -x2933 -x2934 -x2935 x2936 x2937 -x2938 x2939 x2940 -x2941 -x2942 -x2943 -x2944 x2945 -x2946 -x2947 -x2948 -x2949 -x2950 x2951 -x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 x2964 -x2965 -x2966 x2967 -x2968 -x2969 -x2970 x2971 -x2972 x2973 -x2974 x2975 -x2976 x2977 -x2978 x2979 -x2980 -x2981 -x2982 -x2983 x2984 -x2985 -x2986 -x2987 x2988 x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 x2997 -x2998 -x2999 -x3000 x3001 -x3002 -x3003 -x3004 x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 x3012 -x3013 x3014 -x3015 x3016 -x3017 x3018 x3019 x3020 -x3021 -x3022 x3023 x3024 x3025 x3026 x3027 -x3028 x3029 -x3030 -x3031 x3032 x3033 x3034 -x3035 -x3036 x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 x3047 x3048 -x3049 x3050 -x3051 -x3052 -x3053 -x3054 x3055 -x3056 x3057 -x3058 -x3059 x3060 -x3061 x3062 -x3063 -x3064 -x3065 -x3066 x3067 -x3068 -x3069 -x3070 x3071 -x3072 -x3073 x3074 x3075 x3076 x3077 x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 x3088 -x3089 -x3090 -x3091 x3092 -x3093 -x3094 -x3095 x3096 -x3097 x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 x3116 -x3117 x3118 -x3119 -x3120 x3121 -x3122 -x3123 x3124 -x3125 -x3126 x3127 -x3128 -x3129 x3130 -x3131 -x3132 x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685
186.11/186.20	c Total CPU time: 185.33 s

Verifier Data 

OK	5116

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25540
/proc/meminfo: memFree=1865324/2059040 swapFree=4139052/4192956
[pid=25540] ppid=25538 vsize=3700 CPUtime=0
/proc/25540/stat : 25540 (wbo1.4b) R 25538 25540 25305 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 126472255 3788800 282 1992294400 134512640 135752675 4289969568 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25540/statm: 925 283 140 303 0 414 0

[startup+0.062194 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25540
/proc/meminfo: memFree=1865324/2059040 swapFree=4139052/4192956
[pid=25540] ppid=25538 vsize=4712 CPUtime=0.05
/proc/25540/stat : 25540 (wbo1.4b) R 25538 25540 25305 0 -1 4202496 673 0 0 0 5 0 0 0 25 0 1 0 126472255 4825088 591 1992294400 134512640 135752675 4289969568 18446744073709551615 135397673 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25540/statm: 1178 591 228 303 0 667 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4712

[startup+0.1012 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25540
/proc/meminfo: memFree=1865324/2059040 swapFree=4139052/4192956
[pid=25540] ppid=25538 vsize=5328 CPUtime=0.09
/proc/25540/stat : 25540 (wbo1.4b) R 25538 25540 25305 0 -1 4202496 890 0 0 0 9 0 0 0 25 0 1 0 126472255 5455872 808 1992294400 134512640 135752675 4289969568 18446744073709551615 135197103 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25540/statm: 1332 808 291 303 0 821 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5328

[startup+0.301237 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25540
/proc/meminfo: memFree=1865324/2059040 swapFree=4139052/4192956
[pid=25540] ppid=25538 vsize=6856 CPUtime=0.29
/proc/25540/stat : 25540 (wbo1.4b) R 25538 25540 25305 0 -1 4202496 1544 0 0 0 29 0 0 0 25 0 1 0 126472255 7020544 1256 1992294400 134512640 135752675 4289969568 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25540/statm: 1714 1257 142 303 0 1409 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6856

[startup+0.701311 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 25540
/proc/meminfo: memFree=1865324/2059040 swapFree=4139052/4192956
[pid=25540] ppid=25538 vsize=7252 CPUtime=0.69
/proc/25540/stat : 25540 (wbo1.4b) R 25538 25540 25305 0 -1 4202496 1649 0 0 0 69 0 0 0 25 0 1 0 126472255 7426048 1361 1992294400 134512640 135752675 4289969568 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25540/statm: 1813 1361 142 303 0 1508 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7252

[startup+1.50146 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25541
/proc/meminfo: memFree=1860232/2059040 swapFree=4139052/4192956
[pid=25540] ppid=25538 vsize=7648 CPUtime=1.5
/proc/25540/stat : 25540 (wbo1.4b) R 25538 25540 25305 0 -1 4202496 1750 0 0 0 149 1 0 0 25 0 1 0 126472255 7831552 1462 1992294400 134512640 135752675 4289969568 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25540/statm: 1912 1462 142 303 0 1607 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 7648

[startup+3.10175 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25541
/proc/meminfo: memFree=1858124/2059040 swapFree=4139052/4192956
[pid=25540] ppid=25538 vsize=10716 CPUtime=3.09
/proc/25540/stat : 25540 (wbo1.4b) R 25538 25540 25305 0 -1 4202496 2512 0 0 0 308 1 0 0 25 0 1 0 126472255 10973184 2224 1992294400 134512640 135752675 4289969568 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25540/statm: 2679 2224 142 303 0 2374 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10716

[startup+6.30135 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25541
/proc/meminfo: memFree=1856512/2059040 swapFree=4139052/4192956
[pid=25540] ppid=25538 vsize=10716 CPUtime=6.29
/proc/25540/stat : 25540 (wbo1.4b) R 25538 25540 25305 0 -1 4202496 2515 0 0 0 613 16 0 0 25 0 1 0 126472255 10973184 2227 1992294400 134512640 135752675 4289969568 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25540/statm: 2679 2227 145 303 0 2374 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10716

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25541
/proc/meminfo: memFree=1854404/2059040 swapFree=4139052/4192956
[pid=25540] ppid=25538 vsize=13068 CPUtime=12.68
/proc/25540/stat : 25540 (wbo1.4b) R 25538 25540 25305 0 -1 4202496 3112 0 0 0 1249 19 0 0 25 0 1 0 126472255 13381632 2824 1992294400 134512640 135752675 4289969568 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25540/statm: 3267 2824 145 303 0 2962 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 13068

[startup+25.5009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25541
/proc/meminfo: memFree=1846840/2059040 swapFree=4139052/4192956
[pid=25540] ppid=25538 vsize=20480 CPUtime=25.48
/proc/25540/stat : 25540 (wbo1.4b) R 25538 25540 25305 0 -1 4202496 4953 0 0 0 2523 25 0 0 25 0 1 0 126472255 20971520 4665 1992294400 134512640 135752675 4289969568 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25540/statm: 5120 4665 145 303 0 4815 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20480

[startup+51.1006 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 25541
/proc/meminfo: memFree=1837044/2059040 swapFree=4139052/4192956
[pid=25540] ppid=25538 vsize=30352 CPUtime=51.06
/proc/25540/stat : 25540 (wbo1.4b) R 25538 25540 25305 0 -1 4202496 7428 0 0 0 5071 35 0 0 25 0 1 0 126472255 31080448 7140 1992294400 134512640 135752675 4289969568 18446744073709551615 134605384 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25540/statm: 7588 7140 145 303 0 7283 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 30352

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25543
/proc/meminfo: memFree=1824272/2059040 swapFree=4139052/4192956
[pid=25540] ppid=25538 vsize=42736 CPUtime=102.25
/proc/25540/stat : 25540 (wbo1.4b) R 25538 25540 25305 0 -1 4202496 10499 0 0 0 10176 49 0 0 25 0 1 0 126472255 43761664 10211 1992294400 134512640 135752675 4289969568 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25540/statm: 10684 10211 145 303 0 10379 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 42736

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25545
/proc/meminfo: memFree=1815592/2059040 swapFree=4139052/4192956
[pid=25540] ppid=25538 vsize=51308 CPUtime=162.23
/proc/25540/stat : 25540 (wbo1.4b) R 25538 25540 25305 0 -1 4202496 12649 0 0 0 16165 58 0 0 25 0 1 0 126472255 52539392 12361 1992294400 134512640 135752675 4289969568 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25540/statm: 12827 12361 145 303 0 12522 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 51308

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

[startup+166.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25545
/proc/meminfo: memFree=1814848/2059040 swapFree=4139052/4192956
[pid=25540] ppid=25538 vsize=51956 CPUtime=166.23
/proc/25540/stat : 25540 (wbo1.4b) R 25538 25540 25305 0 -1 4202496 12807 0 0 0 16564 59 0 0 25 0 1 0 126472255 53202944 12519 1992294400 134512640 135752675 4289969568 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25540/statm: 12989 12519 145 303 0 12684 0
Current children cumulated CPU time (s) 166.23
Current children cumulated vsize (KiB) 51956

[startup+179.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25545
/proc/meminfo: memFree=1813112/2059040 swapFree=4139052/4192956
[pid=25540] ppid=25538 vsize=53640 CPUtime=179.02
/proc/25540/stat : 25540 (wbo1.4b) R 25538 25540 25305 0 -1 4202496 13237 0 0 0 17841 61 0 0 25 0 1 0 126472255 54927360 12949 1992294400 134512640 135752675 4289969568 18446744073709551615 134605368 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25540/statm: 13410 12949 145 303 0 13105 0
Current children cumulated CPU time (s) 179.02
Current children cumulated vsize (KiB) 53640

[startup+182.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25545
/proc/meminfo: memFree=1807036/2059040 swapFree=4139052/4192956
[pid=25540] ppid=25538 vsize=91560 CPUtime=182.22
/proc/25540/stat : 25540 (wbo1.4b) R 25538 25540 25305 0 -1 4202496 22860 0 0 0 18158 64 0 0 25 0 1 0 126472255 93757440 22437 1992294400 134512640 135752675 4289969568 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25540/statm: 22890 22437 146 303 0 22585 0
Current children cumulated CPU time (s) 182.22
Current children cumulated vsize (KiB) 91560

[startup+183.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25545
/proc/meminfo: memFree=1720360/2059040 swapFree=4139052/4192956
[pid=25540] ppid=25538 vsize=157524 CPUtime=183.82
/proc/25540/stat : 25540 (wbo1.4b) R 25538 25540 25305 0 -1 4202496 39351 0 0 0 18312 70 0 0 25 0 1 0 126472255 161304576 38928 1992294400 134512640 135752675 4289969568 18446744073709551615 135211749 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25540/statm: 39381 38928 146 303 0 39076 0
Current children cumulated CPU time (s) 183.82
Current children cumulated vsize (KiB) 157524

[startup+185.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25545
/proc/meminfo: memFree=1678076/2059040 swapFree=4139052/4192956
[pid=25540] ppid=25538 vsize=218988 CPUtime=185.42
/proc/25540/stat : 25540 (wbo1.4b) R 25538 25540 25305 0 -1 4202496 54710 0 0 0 18466 76 0 0 25 0 1 0 126472255 224243712 54251 1992294400 134512640 135752675 4289969568 18446744073709551615 134635488 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25540/statm: 54747 54251 146 303 0 54442 0
Current children cumulated CPU time (s) 185.42
Current children cumulated vsize (KiB) 218988

[startup+185.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25545
/proc/meminfo: memFree=1636412/2059040 swapFree=4139052/4192956
[pid=25540] ppid=25538 vsize=232496 CPUtime=185.83
/proc/25540/stat : 25540 (wbo1.4b) R 25538 25540 25305 0 -1 4202496 58169 0 0 0 18505 78 0 0 25 0 1 0 126472255 238075904 57674 1992294400 134512640 135752675 4289969568 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25540/statm: 58124 57678 146 303 0 57819 0
Current children cumulated CPU time (s) 185.83
Current children cumulated vsize (KiB) 232496

[startup+186.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25545
/proc/meminfo: memFree=1636412/2059040 swapFree=4139052/4192956
[pid=25540] ppid=25538 vsize=240292 CPUtime=186.02
/proc/25540/stat : 25540 (wbo1.4b) R 25538 25540 25305 0 -1 4202496 60120 0 0 0 18523 79 0 0 25 0 1 0 126472255 246059008 59625 1992294400 134512640 135752675 4289969568 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25540/statm: 60073 59628 146 303 0 59768 0
Current children cumulated CPU time (s) 186.02
Current children cumulated vsize (KiB) 240292

[startup+186.201 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 25545
/proc/meminfo: memFree=1636412/2059040 swapFree=4139052/4192956
[pid=25540] ppid=25538 vsize=243292 CPUtime=186.11
/proc/25540/stat : 25540 (wbo1.4b) R 25538 25540 25305 0 -1 4202496 60865 0 0 0 18532 79 0 0 25 0 1 0 126472255 249131008 60370 1992294400 134512640 135752675 4289969568 18446744073709551615 135327904 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25540/statm: 60823 60370 146 303 0 60518 0
Current children cumulated CPU time (s) 186.11
Current children cumulated vsize (KiB) 243292

Child status: 0
Real time (s): 186.228
CPU time (s): 186.157
CPU user time (s): 185.33
CPU system time (s): 0.826874
CPU usage (%): 99.9619
Max. virtual memory (cumulated for all children) (KiB): 243292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 185.33
system time used= 0.826874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60866
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= 60
involuntary context switches= 2294

runsolver used 0.307953 second user time and 0.923859 second system time

The end

Launcher Data 

Begin job on node007 at 2010-06-26 01:31:28
IDJOB=2683302
IDBENCH=72101
IDSOLVER=1190
FILE ID=node007/2683302-1277508688
PBS_JOBID= 11190641
Free space on /tmp= 62328 MiB

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

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

MD5SUM BENCH= 1291befe507875936d488bb8750ed287
RANDOM SEED=638711090

node007.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.264
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.52
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.264
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1865852 kB
Buffers:         25368 kB
Cached:          83732 kB
SwapCached:       6432 kB
Active:          62856 kB
Inactive:        59356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1865852 kB
SwapTotal:     4192956 kB
SwapFree:      4139052 kB
Dirty:            3400 kB
Writeback:           0 kB
AnonPages:       11700 kB
Mapped:          11908 kB
Slab:            48792 kB
PageTables:       4184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182576 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62324 MiB
End job on node007 at 2010-06-26 01:34:34