Trace number 2680377

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)? (TO) 1800.17 1800.67

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-4000opt.opb
MD5SUM6c6e5d09e1e6b4cdc1d36588d438ba6a
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-164
Best CPU time to get the best result obtained on this benchmark26.512
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2025
Total number of constraints63250
Number of constraints which are clauses63250
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 135
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 316
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 316
Number of bits of the biggest sum of numbers9
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-2680377-1277460347.opb.
0.00/0.00	c Instance file HOME/instance-2680377-1277460347.opb
0.00/0.00	c File size is 2109722 bytes.
0.29/0.33	c Highest Coefficient sum: 4
0.29/0.33	c ============================[ Problem Statistics ]=============================
0.29/0.33	c |                                                                             |
0.29/0.33	c |  Parsing time:          0.33         s                                      |
0.29/0.33	c |  Number Variables:      2025                                                |
0.29/0.33	c |  Number Clauses:        63250                                               |
0.29/0.33	c |  Number Cardinality:    0                                                   |
0.29/0.33	c |  Number PB Constraints: 0                                                   |
0.38/0.42	c ============================[ Search Statistics ]==============================
0.38/0.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.38/0.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.38/0.42	c ===============================================================================
0.38/0.42	c |         0 |    2019    63256   188580 |    21083        0    nan |  0.000 % |
0.38/0.43	c ===============================================================================
0.38/0.43	c New solution: 0
0.38/0.43	o 0
0.38/0.43	c Elapsed CPU time: 0.424935 s	Remaining CPU time: 179.575 s
0.38/0.43	c ===============================================================================
0.38/0.43	c |         0 |    2019    63257   188715 |    21085        0    nan |  0.000 % |
0.38/0.44	c ===============================================================================
0.38/0.44	c New solution: -1
0.38/0.44	o -1
0.38/0.44	c Elapsed CPU time: 0.429934 s	Remaining CPU time: 179.57 s
0.38/0.44	c ===============================================================================
0.38/0.44	c |         0 |    2019    63258   188850 |    21086        0    nan |  0.000 % |
0.38/0.45	c ===============================================================================
0.38/0.45	c New solution: -4
0.38/0.45	o -4
0.38/0.45	c Elapsed CPU time: 0.439933 s	Remaining CPU time: 179.56 s
0.38/0.45	c ===============================================================================
0.38/0.45	c |         0 |    2019    63259   188985 |    21086        0    nan |  0.000 % |
0.38/0.46	c ===============================================================================
0.38/0.46	c New solution: -7
0.38/0.46	o -7
0.38/0.46	c Elapsed CPU time: 0.450931 s	Remaining CPU time: 179.549 s
0.38/0.46	c ===============================================================================
0.38/0.46	c |         0 |    2019    63260   189120 |    21086        0    nan |  0.000 % |
0.38/0.48	c ===============================================================================
0.38/0.48	c New solution: -8
0.38/0.48	o -8
0.38/0.48	c Elapsed CPU time: 0.460929 s	Remaining CPU time: 179.539 s
0.38/0.48	c ===============================================================================
0.38/0.48	c |         0 |    2019    63261   189255 |    21087        0    nan |  0.000 % |
0.38/0.49	c ===============================================================================
0.38/0.49	c New solution: -9
0.38/0.49	o -9
0.38/0.49	c Elapsed CPU time: 0.469928 s	Remaining CPU time: 179.53 s
0.38/0.49	c ===============================================================================
0.38/0.49	c |         1 |    2019    63262   189390 |    21087        1    132 |  0.000 % |
0.49/0.50	c ===============================================================================
0.49/0.50	c New solution: -11
0.49/0.50	o -11
0.49/0.50	c Elapsed CPU time: 0.481926 s	Remaining CPU time: 179.518 s
0.49/0.50	c ===============================================================================
0.49/0.50	c |         1 |    2019    63263   189525 |    21087        1    132 |  0.000 % |
0.49/0.51	c ===============================================================================
0.49/0.51	c New solution: -12
0.49/0.51	o -12
0.49/0.51	c Elapsed CPU time: 0.491925 s	Remaining CPU time: 179.508 s
0.49/0.51	c ===============================================================================
0.49/0.51	c |         1 |    2019    63264   189660 |    21088        1    132 |  0.000 % |
0.49/0.52	c ===============================================================================
0.49/0.52	c New solution: -13
0.49/0.52	o -13
0.49/0.52	c Elapsed CPU time: 0.500923 s	Remaining CPU time: 179.499 s
0.49/0.52	c ===============================================================================
0.49/0.52	c |         2 |    2019    63265   189795 |    21088        2    130 |  0.000 % |
0.49/0.53	c ===============================================================================
0.49/0.53	c New solution: -14
0.49/0.53	o -14
0.49/0.53	c Elapsed CPU time: 0.509922 s	Remaining CPU time: 179.49 s
0.49/0.53	c ===============================================================================
0.49/0.53	c |         2 |    2019    63266   189930 |    21088        2    130 |  0.000 % |
0.49/0.54	c ===============================================================================
0.49/0.54	c New solution: -15
0.49/0.54	o -15
0.49/0.54	c Elapsed CPU time: 0.518921 s	Remaining CPU time: 179.481 s
0.49/0.54	c ===============================================================================
0.49/0.54	c |         2 |    2019    63267   190065 |    21089        2    130 |  0.000 % |
0.49/0.56	c ===============================================================================
0.49/0.56	c New solution: -16
0.49/0.56	o -16
0.49/0.56	c Elapsed CPU time: 0.527919 s	Remaining CPU time: 179.472 s
0.49/0.56	c ===============================================================================
0.49/0.56	c |         2 |    2019    63268   190200 |    21089        2    130 |  0.000 % |
0.49/0.57	c ===============================================================================
0.49/0.57	c New solution: -17
0.49/0.57	o -17
0.49/0.57	c Elapsed CPU time: 0.537918 s	Remaining CPU time: 179.462 s
0.49/0.57	c ===============================================================================
0.49/0.57	c |         2 |    2019    63269   190335 |    21089        2    130 |  0.000 % |
0.49/0.58	c ===============================================================================
0.49/0.58	c New solution: -18
0.49/0.58	o -18
0.49/0.58	c Elapsed CPU time: 0.547916 s	Remaining CPU time: 179.452 s
0.49/0.58	c ===============================================================================
0.49/0.58	c |         2 |    2019    63270   190470 |    21090        2    130 |  0.000 % |
0.49/0.59	c ===============================================================================
0.49/0.59	c New solution: -19
0.49/0.59	o -19
0.49/0.59	c Elapsed CPU time: 0.556915 s	Remaining CPU time: 179.443 s
0.49/0.59	c ===============================================================================
0.49/0.59	c |         2 |    2019    63271   190605 |    21090        2    130 |  0.000 % |
0.59/0.60	c ===============================================================================
0.59/0.60	c New solution: -20
0.59/0.60	o -20
0.59/0.60	c Elapsed CPU time: 0.568913 s	Remaining CPU time: 179.431 s
0.59/0.60	c ===============================================================================
0.59/0.60	c |         8 |    2019    63272   190740 |    21090        8     96 |  0.000 % |
0.59/0.61	c ===============================================================================
0.59/0.61	c New solution: -21
0.59/0.61	o -21
0.59/0.61	c Elapsed CPU time: 0.578911 s	Remaining CPU time: 179.421 s
0.59/0.61	c ===============================================================================
0.59/0.61	c |         9 |    2019    63273   190875 |    21091        9     99 |  0.000 % |
0.59/0.62	c ===============================================================================
0.59/0.62	c New solution: -22
0.59/0.62	o -22
0.59/0.62	c Elapsed CPU time: 0.58791 s	Remaining CPU time: 179.412 s
0.59/0.62	c ===============================================================================
0.59/0.62	c |        10 |    2019    63274   191010 |    21091       10    102 |  0.000 % |
0.59/0.63	c ===============================================================================
0.59/0.63	c New solution: -23
0.59/0.63	o -23
0.59/0.63	c Elapsed CPU time: 0.595909 s	Remaining CPU time: 179.404 s
0.59/0.63	c ===============================================================================
0.59/0.63	c |        12 |    2019    63275   191145 |    21091       12    106 |  0.000 % |
0.59/0.65	c ===============================================================================
0.59/0.65	c New solution: -24
0.59/0.65	o -24
0.59/0.65	c Elapsed CPU time: 0.605907 s	Remaining CPU time: 179.394 s
0.59/0.65	c ===============================================================================
0.59/0.65	c |        14 |    2019    63276   191280 |    21092       14    108 |  0.000 % |
0.59/0.66	c ===============================================================================
0.59/0.66	c New solution: -25
0.59/0.66	o -25
0.59/0.66	c Elapsed CPU time: 0.615906 s	Remaining CPU time: 179.384 s
0.59/0.66	c ===============================================================================
0.59/0.66	c |        14 |    2019    63277   191415 |    21092       14    108 |  0.000 % |
0.59/0.67	c ===============================================================================
0.59/0.67	c New solution: -26
0.59/0.67	o -26
0.59/0.67	c Elapsed CPU time: 0.624905 s	Remaining CPU time: 179.375 s
0.59/0.67	c ===============================================================================
0.59/0.67	c |        14 |    2019    63278   191550 |    21092       14    108 |  0.000 % |
0.59/0.68	c ===============================================================================
0.59/0.68	c New solution: -27
0.59/0.68	o -27
0.59/0.68	c Elapsed CPU time: 0.635903 s	Remaining CPU time: 179.364 s
0.59/0.68	c ===============================================================================
0.59/0.68	c |        16 |    2019    63279   191685 |    21093       16    109 |  0.000 % |
0.59/0.69	c ===============================================================================
0.59/0.69	c New solution: -28
0.59/0.69	o -28
0.59/0.69	c Elapsed CPU time: 0.645901 s	Remaining CPU time: 179.354 s
0.59/0.69	c ===============================================================================
0.59/0.69	c |        18 |    2019    63280   191820 |    21093       18    111 |  0.000 % |
0.69/0.70	c ===============================================================================
0.69/0.70	c New solution: -29
0.69/0.70	o -29
0.69/0.70	c Elapsed CPU time: 0.6549 s	Remaining CPU time: 179.345 s
0.69/0.70	c ===============================================================================
0.69/0.70	c |        19 |    2019    63281   191955 |    21093       19    111 |  0.000 % |
0.69/0.71	c ===============================================================================
0.69/0.71	c New solution: -30
0.69/0.71	o -30
0.69/0.71	c Elapsed CPU time: 0.665898 s	Remaining CPU time: 179.334 s
0.69/0.71	c ===============================================================================
0.69/0.71	c |        22 |    2019    63282   192090 |    21094       22    112 |  0.000 % |
0.69/0.72	c ===============================================================================
0.69/0.72	c New solution: -31
0.69/0.72	o -31
0.69/0.72	c Elapsed CPU time: 0.674897 s	Remaining CPU time: 179.325 s
0.69/0.72	c ===============================================================================
0.69/0.72	c |        22 |    2019    63283   192225 |    21094       22    112 |  0.000 % |
0.69/0.73	c ===============================================================================
0.69/0.73	c New solution: -32
0.69/0.73	o -32
0.69/0.73	c Elapsed CPU time: 0.685895 s	Remaining CPU time: 179.314 s
0.69/0.73	c ===============================================================================
0.69/0.73	c |        27 |    2019    63284   192360 |    21094       27    109 |  0.000 % |
0.69/0.74	c ===============================================================================
0.69/0.74	c New solution: -33
0.69/0.74	o -33
0.69/0.74	c Elapsed CPU time: 0.696894 s	Remaining CPU time: 179.303 s
0.69/0.74	c ===============================================================================
0.69/0.74	c |        27 |    2019    63285   192495 |    21095       27    109 |  0.000 % |
0.69/0.76	c ===============================================================================
0.69/0.76	c New solution: -34
0.69/0.76	o -34
0.69/0.76	c Elapsed CPU time: 0.708892 s	Remaining CPU time: 179.291 s
0.69/0.76	c ===============================================================================
0.69/0.76	c |        42 |    2019    63286   192630 |    21095       42    110 |  0.000 % |
0.69/0.77	c ===============================================================================
0.69/0.77	c New solution: -35
0.69/0.77	o -35
0.69/0.77	c Elapsed CPU time: 0.72089 s	Remaining CPU time: 179.279 s
0.69/0.77	c ===============================================================================
0.69/0.77	c |        55 |    2019    63287   192765 |    21095       55    110 |  0.000 % |
0.69/0.78	c ===============================================================================
0.69/0.78	c New solution: -36
0.69/0.78	o -36
0.69/0.78	c Elapsed CPU time: 0.731888 s	Remaining CPU time: 179.268 s
0.69/0.78	c ===============================================================================
0.69/0.78	c |        57 |    2019    63288   192900 |    21096       57    110 |  0.000 % |
0.69/0.79	c ===============================================================================
0.69/0.79	c New solution: -37
0.69/0.79	o -37
0.69/0.79	c Elapsed CPU time: 0.741887 s	Remaining CPU time: 179.258 s
0.69/0.79	c ===============================================================================
0.69/0.79	c |        59 |    2019    63289   193035 |    21096       59    110 |  0.000 % |
0.79/0.80	c ===============================================================================
0.79/0.80	c New solution: -38
0.79/0.80	o -38
0.79/0.80	c Elapsed CPU time: 0.752885 s	Remaining CPU time: 179.247 s
0.79/0.80	c ===============================================================================
0.79/0.80	c |        60 |    2019    63290   193170 |    21096       60    110 |  0.000 % |
0.79/0.81	c ===============================================================================
0.79/0.81	c New solution: -39
0.79/0.81	o -39
0.79/0.81	c Elapsed CPU time: 0.763883 s	Remaining CPU time: 179.236 s
0.79/0.81	c ===============================================================================
0.79/0.81	c |        70 |    2019    63291   193305 |    21097       70    111 |  0.000 % |
0.79/0.83	c ===============================================================================
0.79/0.83	c New solution: -40
0.79/0.83	o -40
0.79/0.83	c Elapsed CPU time: 0.772882 s	Remaining CPU time: 179.227 s
0.79/0.83	c ===============================================================================
0.79/0.83	c |        71 |    2019    63292   193440 |    21097       71    111 |  0.000 % |
0.79/0.84	c ===============================================================================
0.79/0.84	c New solution: -41
0.79/0.84	o -41
0.79/0.84	c Elapsed CPU time: 0.781881 s	Remaining CPU time: 179.218 s
0.79/0.84	c ===============================================================================
0.79/0.84	c |        72 |    2019    63293   193575 |    21097       72    111 |  0.000 % |
0.79/0.85	c ===============================================================================
0.79/0.85	c New solution: -42
0.79/0.85	o -42
0.79/0.85	c Elapsed CPU time: 0.790879 s	Remaining CPU time: 179.209 s
0.79/0.85	c ===============================================================================
0.79/0.85	c |        72 |    2019    63294   193710 |    21098       72    111 |  0.000 % |
0.79/0.86	c ===============================================================================
0.79/0.86	c New solution: -43
0.79/0.86	o -43
0.79/0.86	c Elapsed CPU time: 0.803877 s	Remaining CPU time: 179.196 s
0.79/0.86	c ===============================================================================
0.79/0.86	c |       103 |    2019    63295   193845 |    21098      103    110 |  0.000 % |
0.79/0.87	c ===============================================================================
0.79/0.87	c New solution: -44
0.79/0.87	o -44
0.79/0.87	c Elapsed CPU time: 0.813876 s	Remaining CPU time: 179.186 s
0.79/0.87	c ===============================================================================
0.79/0.87	c |       104 |    2019    63296   193980 |    21098      104    110 |  0.000 % |
0.79/0.89	c ===============================================================================
0.79/0.89	c New solution: -45
0.79/0.89	o -45
0.79/0.89	c Elapsed CPU time: 0.825874 s	Remaining CPU time: 179.174 s
0.79/0.89	c ===============================================================================
0.79/0.89	c |       127 |    2019    63297   194115 |    21099      127    111 |  0.000 % |
0.89/0.90	c ===============================================================================
0.89/0.90	c New solution: -46
0.89/0.90	o -46
0.89/0.90	c Elapsed CPU time: 0.835872 s	Remaining CPU time: 179.164 s
0.89/0.90	c ===============================================================================
0.89/0.90	c |       128 |    2019    63298   194250 |    21099      128    111 |  0.000 % |
0.89/0.91	c ===============================================================================
0.89/0.91	c New solution: -47
0.89/0.91	o -47
0.89/0.91	c Elapsed CPU time: 0.843871 s	Remaining CPU time: 179.156 s
0.89/0.91	c ===============================================================================
0.89/0.91	c |       144 |    2019    63299   194385 |    21099      144    110 |  0.000 % |
0.89/0.92	c ===============================================================================
0.89/0.92	c New solution: -48
0.89/0.92	o -48
0.89/0.92	c Elapsed CPU time: 0.855869 s	Remaining CPU time: 179.144 s
0.89/0.92	c ===============================================================================
0.89/0.92	c |       156 |    2019    63300   194520 |    21100      156    110 |  0.000 % |
0.89/0.93	c ===============================================================================
0.89/0.93	c New solution: -49
0.89/0.93	o -49
0.89/0.93	c Elapsed CPU time: 0.867868 s	Remaining CPU time: 179.132 s
0.89/0.93	c ===============================================================================
0.89/0.93	c |       161 |    2019    63301   194655 |    21100      161    110 |  0.000 % |
0.89/0.94	c ===============================================================================
0.89/0.94	c New solution: -50
0.89/0.94	o -50
0.89/0.94	c Elapsed CPU time: 0.876866 s	Remaining CPU time: 179.123 s
0.89/0.94	c ===============================================================================
0.89/0.94	c |       161 |    2019    63302   194790 |    21100      161    110 |  0.000 % |
0.89/0.96	c ===============================================================================
0.89/0.96	c New solution: -51
0.89/0.96	o -51
0.89/0.96	c Elapsed CPU time: 0.886865 s	Remaining CPU time: 179.113 s
0.89/0.96	c ===============================================================================
0.89/0.96	c |       161 |    2019    63303   194925 |    21101      161    110 |  0.000 % |
0.89/0.97	c ===============================================================================
0.89/0.97	c New solution: -52
0.89/0.97	o -52
0.89/0.97	c Elapsed CPU time: 0.896863 s	Remaining CPU time: 179.103 s
0.89/0.97	c ===============================================================================
0.89/0.97	c |       161 |    2019    63304   195060 |    21101      161    110 |  0.000 % |
0.89/0.98	c ===============================================================================
0.89/0.98	c New solution: -53
0.89/0.98	o -53
0.89/0.98	c Elapsed CPU time: 0.908861 s	Remaining CPU time: 179.091 s
0.89/0.98	c ===============================================================================
0.89/0.98	c |       162 |    2019    63305   195195 |    21101      162    110 |  0.000 % |
0.89/0.99	c ===============================================================================
0.89/0.99	c New solution: -54
0.89/0.99	o -54
0.89/0.99	c Elapsed CPU time: 0.91986 s	Remaining CPU time: 179.08 s
0.89/0.99	c ===============================================================================
0.89/0.99	c |       185 |    2019    63306   195330 |    21102      185    109 |  0.000 % |
0.99/1.00	c ===============================================================================
0.99/1.00	c New solution: -55
0.99/1.00	o -55
0.99/1.00	c Elapsed CPU time: 0.930858 s	Remaining CPU time: 179.069 s
0.99/1.00	c ===============================================================================
0.99/1.00	c |       217 |    2019    63307   195465 |    21102      217    109 |  0.000 % |
0.99/1.02	c ===============================================================================
0.99/1.02	c New solution: -56
0.99/1.02	o -56
0.99/1.02	c Elapsed CPU time: 0.942856 s	Remaining CPU time: 179.057 s
0.99/1.02	c ===============================================================================
0.99/1.02	c |       221 |    2019    63308   195600 |    21102      221    109 |  0.000 % |
0.99/1.03	c ===============================================================================
0.99/1.03	c New solution: -57
0.99/1.03	o -57
0.99/1.03	c Elapsed CPU time: 0.953854 s	Remaining CPU time: 179.046 s
0.99/1.03	c ===============================================================================
0.99/1.03	c |       248 |    2019    63309   195735 |    21103      248    108 |  0.000 % |
0.99/1.04	c ===============================================================================
0.99/1.04	c New solution: -58
0.99/1.04	o -58
0.99/1.04	c Elapsed CPU time: 0.965853 s	Remaining CPU time: 179.034 s
0.99/1.04	c ===============================================================================
0.99/1.04	c |       250 |    2019    63310   195870 |    21103      250    108 |  0.000 % |
0.99/1.05	c ===============================================================================
0.99/1.05	c New solution: -59
0.99/1.05	o -59
0.99/1.05	c Elapsed CPU time: 0.979851 s	Remaining CPU time: 179.02 s
0.99/1.05	c ===============================================================================
0.99/1.05	c |       260 |    2019    63311   196005 |    21103      260    108 |  0.000 % |
0.99/1.07	c ===============================================================================
0.99/1.07	c New solution: -60
0.99/1.07	o -60
0.99/1.07	c Elapsed CPU time: 0.990849 s	Remaining CPU time: 179.009 s
0.99/1.07	c ===============================================================================
0.99/1.07	c |       263 |    2019    63312   196140 |    21104      263    108 |  0.000 % |
0.99/1.08	c ===============================================================================
0.99/1.08	c New solution: -61
0.99/1.08	o -61
0.99/1.08	c Elapsed CPU time: 1.00585 s	Remaining CPU time: 178.994 s
0.99/1.08	c ===============================================================================
0.99/1.08	c |       286 |    2019    63313   196275 |    21104      286    108 |  0.000 % |
0.99/1.09	c ===============================================================================
0.99/1.09	c New solution: -62
0.99/1.09	o -62
0.99/1.09	c Elapsed CPU time: 1.01885 s	Remaining CPU time: 178.981 s
0.99/1.09	c ===============================================================================
0.99/1.09	c |       290 |    2019    63314   196410 |    21104      290    108 |  0.000 % |
1.09/1.11	c ===============================================================================
1.09/1.11	c New solution: -63
1.09/1.11	o -63
1.09/1.11	c Elapsed CPU time: 1.03284 s	Remaining CPU time: 178.967 s
1.09/1.11	c ===============================================================================
1.09/1.11	c |       307 |    2019    63315   196545 |    21105      307    108 |  0.000 % |
1.09/1.12	c ===============================================================================
1.09/1.12	c New solution: -64
1.09/1.12	o -64
1.09/1.12	c Elapsed CPU time: 1.04584 s	Remaining CPU time: 178.954 s
1.09/1.13	c ===============================================================================
1.09/1.13	c |       343 |    2019    63316   196680 |    21105      343    107 |  0.000 % |
1.09/1.14	c ===============================================================================
1.09/1.14	c New solution: -65
1.09/1.14	o -65
1.09/1.14	c Elapsed CPU time: 1.05784 s	Remaining CPU time: 178.942 s
1.09/1.14	c ===============================================================================
1.09/1.14	c |       349 |    2019    63317   196815 |    21105      349    107 |  0.000 % |
1.09/1.15	c ===============================================================================
1.09/1.15	c New solution: -66
1.09/1.15	o -66
1.09/1.15	c Elapsed CPU time: 1.06984 s	Remaining CPU time: 178.93 s
1.09/1.15	c ===============================================================================
1.09/1.15	c |       353 |    2019    63318   196950 |    21106      353    107 |  0.000 % |
1.09/1.18	c ===============================================================================
1.09/1.18	c New solution: -67
1.09/1.18	o -67
1.09/1.18	c Elapsed CPU time: 1.09183 s	Remaining CPU time: 178.908 s
1.09/1.18	c ===============================================================================
1.09/1.18	c |       441 |    2019    63319   197085 |    21106      441    106 |  0.000 % |
1.09/1.19	c ===============================================================================
1.09/1.19	c New solution: -68
1.09/1.19	o -68
1.09/1.19	c Elapsed CPU time: 1.10383 s	Remaining CPU time: 178.896 s
1.09/1.19	c ===============================================================================
1.09/1.19	c |       441 |    2019    63320   197220 |    21106      441    106 |  0.000 % |
1.18/1.21	c |       541 |    2019    63320   197220 |    23217      541    105 |  0.296 % |
1.18/1.23	c ===============================================================================
1.18/1.23	c New solution: -69
1.18/1.23	o -69
1.18/1.23	c Elapsed CPU time: 1.14482 s	Remaining CPU time: 178.855 s
1.18/1.23	c ===============================================================================
1.18/1.23	c |       598 |    2019    63321   197355 |    21107      598    104 |  0.296 % |
1.18/1.25	c ===============================================================================
1.18/1.25	c New solution: -70
1.18/1.25	o -70
1.18/1.25	c Elapsed CPU time: 1.15882 s	Remaining CPU time: 178.841 s
1.18/1.25	c ===============================================================================
1.18/1.25	c |       606 |    2019    63322   197490 |    21107      606    104 |  0.296 % |
1.18/1.26	c ===============================================================================
1.18/1.26	c New solution: -71
1.18/1.26	o -71
1.18/1.26	c Elapsed CPU time: 1.17282 s	Remaining CPU time: 178.827 s
1.18/1.26	c ===============================================================================
1.18/1.26	c |       622 |    2019    63323   197625 |    21107      622    104 |  0.296 % |
1.18/1.29	c ===============================================================================
1.18/1.29	c New solution: -72
1.18/1.29	o -72
1.18/1.29	c Elapsed CPU time: 1.19782 s	Remaining CPU time: 178.802 s
1.18/1.29	c ===============================================================================
1.18/1.29	c |       686 |    2019    63324   197760 |    21108      686    103 |  0.296 % |
1.29/1.30	c ===============================================================================
1.29/1.30	c New solution: -73
1.29/1.30	o -73
1.29/1.30	c Elapsed CPU time: 1.20982 s	Remaining CPU time: 178.79 s
1.29/1.30	c ===============================================================================
1.29/1.30	c |       703 |    2019    63325   197895 |    21108      703    103 |  0.296 % |
1.29/1.31	c ===============================================================================
1.29/1.31	c New solution: -74
1.29/1.31	o -74
1.29/1.31	c Elapsed CPU time: 1.22381 s	Remaining CPU time: 178.776 s
1.29/1.31	c ===============================================================================
1.29/1.31	c |       709 |    2019    63326   198030 |    21108      709    103 |  0.296 % |
1.29/1.33	c ===============================================================================
1.29/1.33	c New solution: -75
1.29/1.33	o -75
1.29/1.33	c Elapsed CPU time: 1.23581 s	Remaining CPU time: 178.764 s
1.29/1.33	c ===============================================================================
1.29/1.33	c |       709 |    2019    63327   198165 |    21109      709    103 |  0.296 % |
1.29/1.34	c ===============================================================================
1.29/1.34	c New solution: -76
1.29/1.34	o -76
1.29/1.34	c Elapsed CPU time: 1.25281 s	Remaining CPU time: 178.747 s
1.29/1.34	c ===============================================================================
1.29/1.34	c |       751 |    2019    63328   198300 |    21109      751    103 |  0.296 % |
1.29/1.36	c ===============================================================================
1.29/1.36	c New solution: -77
1.29/1.36	o -77
1.29/1.36	c Elapsed CPU time: 1.26381 s	Remaining CPU time: 178.736 s
1.29/1.36	c ===============================================================================
1.29/1.36	c |       751 |    2019    63329   198435 |    21109      751    103 |  0.296 % |
1.29/1.37	c ===============================================================================
1.29/1.37	c New solution: -79
1.29/1.37	o -79
1.29/1.37	c Elapsed CPU time: 1.27981 s	Remaining CPU time: 178.72 s
1.29/1.37	c ===============================================================================
1.29/1.37	c |       763 |    2019    63330   198570 |    21110      763    103 |  0.296 % |
1.39/1.40	c |       863 |    2019    63330   198570 |    23221      863    102 |  0.296 % |
1.39/1.41	c ===============================================================================
1.39/1.41	c New solution: -80
1.39/1.41	o -80
1.39/1.41	c Elapsed CPU time: 1.3128 s	Remaining CPU time: 178.687 s
1.39/1.41	c ===============================================================================
1.39/1.41	c |       869 |    2019    63331   198705 |    21110      869    102 |  0.296 % |
1.39/1.42	c ===============================================================================
1.39/1.42	c New solution: -81
1.39/1.42	o -81
1.39/1.42	c Elapsed CPU time: 1.3208 s	Remaining CPU time: 178.679 s
1.39/1.42	c ===============================================================================
1.39/1.42	c |       870 |    2019    63332   198840 |    21110      870    102 |  0.296 % |
1.39/1.43	c ===============================================================================
1.39/1.43	c New solution: -82
1.39/1.43	o -82
1.39/1.43	c Elapsed CPU time: 1.3388 s	Remaining CPU time: 178.661 s
1.39/1.43	c ===============================================================================
1.39/1.43	c |       911 |    2019    63333   198975 |    21111      911    102 |  0.296 % |
1.39/1.46	c |      1012 |    2019    63333   198975 |    23222     1012    101 |  0.296 % |
1.39/1.49	c |      1162 |    2019    63333   198975 |    25544     1162    100 |  0.297 % |
1.48/1.54	c |      1387 |    2019    63333   198975 |    28098     1387     99 |  0.296 % |
1.48/1.59	c ===============================================================================
1.48/1.59	c New solution: -84
1.48/1.59	o -84
1.48/1.59	c Elapsed CPU time: 1.48777 s	Remaining CPU time: 178.512 s
1.48/1.59	c ===============================================================================
1.48/1.59	c |      1504 |    2019    63334   199110 |    21111     1504     99 |  0.296 % |
1.59/1.62	c |      1604 |    2019    63334   199110 |    23222     1604     99 |  0.296 % |
1.59/1.65	c |      1756 |    2019    63334   199110 |    25544     1756     98 |  0.296 % |
1.69/1.72	c |      1982 |    2019    63334   199110 |    28099     1982     98 |  0.296 % |
1.79/1.80	c |      2319 |    2019    63334   199110 |    30909     2319     97 |  0.296 % |
1.79/1.84	c ===============================================================================
1.79/1.84	c New solution: -85
1.79/1.84	o -85
1.79/1.84	c Elapsed CPU time: 1.74073 s	Remaining CPU time: 178.259 s
1.79/1.84	c ===============================================================================
1.79/1.84	c |      2408 |    2019    63335   199245 |    21111     2408     97 |  0.296 % |
1.79/1.86	c ===============================================================================
1.79/1.86	c New solution: -86
1.79/1.86	o -86
1.79/1.86	c Elapsed CPU time: 1.75873 s	Remaining CPU time: 178.241 s
1.79/1.86	c ===============================================================================
1.79/1.86	c |      2425 |    2019    63336   199380 |    21112     2425     97 |  0.296 % |
1.89/1.90	c |      2527 |    2019    63336   199380 |    23223     2527     97 |  0.296 % |
1.89/1.94	c |      2677 |    2019    63336   199380 |    25545     2677     97 |  0.296 % |
1.99/2.00	c |      2903 |    2019    63336   199380 |    28100     2903     96 |  0.296 % |
2.10/2.11	c |      3241 |    2019    63336   199380 |    30910     3241     96 |  0.296 % |
2.10/2.15	c ===============================================================================
2.10/2.15	c New solution: -87
2.10/2.15	o -87
2.10/2.15	c Elapsed CPU time: 2.04669 s	Remaining CPU time: 177.953 s
2.10/2.15	c ===============================================================================
2.10/2.15	c |      3357 |    2019    63337   199515 |    21112     3357     96 |  0.296 % |
2.10/2.19	c |      3460 |    2019    63337   199515 |    23223     3460     96 |  0.296 % |
2.20/2.23	c |      3611 |    2019    63337   199515 |    25545     3611     96 |  0.296 % |
2.20/2.27	c ===============================================================================
2.20/2.27	c New solution: -88
2.20/2.27	o -88
2.20/2.27	c Elapsed CPU time: 2.16267 s	Remaining CPU time: 177.837 s
2.20/2.27	c ===============================================================================
2.20/2.27	c |      3699 |    2019    63338   199650 |    21112     3699     96 |  0.296 % |
2.20/2.29	c ===============================================================================
2.20/2.29	c New solution: -89
2.20/2.29	o -89
2.20/2.29	c Elapsed CPU time: 2.17767 s	Remaining CPU time: 177.822 s
2.20/2.29	c ===============================================================================
2.20/2.29	c |      3703 |    2019    63339   199785 |    21113     3703     96 |  0.296 % |
2.29/2.30	c ===============================================================================
2.29/2.30	c New solution: -90
2.29/2.30	o -90
2.29/2.30	c Elapsed CPU time: 2.19367 s	Remaining CPU time: 177.806 s
2.29/2.30	c ===============================================================================
2.29/2.30	c |      3709 |    2019    63340   199920 |    21113     3709     96 |  0.296 % |
2.29/2.34	c ===============================================================================
2.29/2.34	c New solution: -91
2.29/2.34	o -91
2.29/2.34	c Elapsed CPU time: 2.23366 s	Remaining CPU time: 177.766 s
2.29/2.34	c ===============================================================================
2.29/2.34	c |      3799 |    2019    63341   200055 |    21113     3799     96 |  0.296 % |
2.29/2.38	c |      3901 |    2019    63341   200055 |    23225     3901     95 |  0.296 % |
2.39/2.43	c |      4051 |    2019    63341   200055 |    25547     4051     95 |  0.296 % |
2.49/2.51	c |      4277 |    2019    63341   200055 |    28102     4277     95 |  0.296 % |
2.59/2.61	c ===============================================================================
2.59/2.61	c New solution: -92
2.59/2.61	o -92
2.59/2.61	c Elapsed CPU time: 2.49262 s	Remaining CPU time: 177.507 s
2.59/2.61	c ===============================================================================
2.59/2.61	c |      4520 |    2019    63342   200190 |    21114     4520     95 |  0.296 % |
2.59/2.63	c ===============================================================================
2.59/2.63	c New solution: -93
2.59/2.63	o -93
2.59/2.63	c Elapsed CPU time: 2.51662 s	Remaining CPU time: 177.483 s
2.59/2.63	c ===============================================================================
2.59/2.63	c |      4549 |    2019    63343   200325 |    21114     4549     95 |  0.296 % |
2.59/2.66	c ===============================================================================
2.59/2.66	c New solution: -94
2.59/2.66	o -94
2.59/2.66	c Elapsed CPU time: 2.54861 s	Remaining CPU time: 177.451 s
2.59/2.66	c ===============================================================================
2.59/2.66	c |      4615 |    2019    63344   200460 |    21114     4615     95 |  0.296 % |
2.69/2.70	c |      4715 |    2019    63344   200460 |    23226     4715     95 |  0.296 % |
2.69/2.75	c |      4866 |    2019    63344   200460 |    25548     4866     95 |  0.296 % |
2.69/2.77	c ===============================================================================
2.69/2.77	c New solution: -95
2.69/2.77	o -95
2.69/2.77	c Elapsed CPU time: 2.6506 s	Remaining CPU time: 177.349 s
2.69/2.77	c ===============================================================================
2.69/2.77	c |      4877 |    2019    63345   200595 |    21115     4877     95 |  0.296 % |
2.69/2.78	c ===============================================================================
2.69/2.78	c New solution: -96
2.69/2.78	o -96
2.69/2.78	c Elapsed CPU time: 2.66559 s	Remaining CPU time: 177.334 s
2.69/2.78	c ===============================================================================
2.69/2.78	c |      4885 |    2019    63346   200730 |    21115     4885     95 |  0.296 % |
2.79/2.80	c ===============================================================================
2.79/2.80	c New solution: -97
2.79/2.80	o -97
2.79/2.80	c Elapsed CPU time: 2.68259 s	Remaining CPU time: 177.317 s
2.79/2.80	c ===============================================================================
2.79/2.80	c |      4898 |    2019    63347   200865 |    21115     4898     95 |  0.296 % |
2.79/2.83	c |      4999 |    2019    63347   200865 |    23227     4999     95 |  0.296 % |
2.79/2.88	c |      5149 |    2019    63347   200865 |    25549     5149     94 |  0.296 % |
2.89/2.95	c |      5375 |    2019    63347   200865 |    28104     5375     94 |  0.296 % |
2.99/3.05	c |      5713 |    2019    63347   200865 |    30915     5713     94 |  0.296 % |
3.09/3.15	c ===============================================================================
3.09/3.15	c New solution: -98
3.09/3.15	o -98
3.09/3.15	c Elapsed CPU time: 3.02654 s	Remaining CPU time: 176.973 s
3.09/3.15	c ===============================================================================
3.09/3.15	c |      6019 |    2019    63348   201000 |    21116     6019     94 |  0.296 % |
3.09/3.19	c |      6120 |    2019    63348   201000 |    23227     6120     94 |  0.296 % |
3.20/3.24	c ===============================================================================
3.20/3.24	c New solution: -99
3.20/3.24	o -99
3.20/3.24	c Elapsed CPU time: 3.11553 s	Remaining CPU time: 176.884 s
3.20/3.24	c ===============================================================================
3.20/3.24	c |      6225 |    2019    63349   201135 |    21116     6225     94 |  0.296 % |
3.20/3.28	c |      6329 |    2019    63349   201135 |    23227     6329     94 |  0.296 % |
3.30/3.33	c ===============================================================================
3.30/3.33	c New solution: -100
3.30/3.33	o -100
3.30/3.33	c Elapsed CPU time: 3.20051 s	Remaining CPU time: 176.799 s
3.30/3.33	c ===============================================================================
3.30/3.33	c |      6429 |    2019    63350   201270 |    21116     6429     94 |  0.296 % |
3.30/3.34	c ===============================================================================
3.30/3.34	c New solution: -101
3.30/3.34	o -101
3.30/3.34	c Elapsed CPU time: 3.21851 s	Remaining CPU time: 176.781 s
3.30/3.34	c ===============================================================================
3.30/3.34	c |      6438 |    2019    63351   201405 |    21117     6438     94 |  0.296 % |
3.30/3.36	c ===============================================================================
3.30/3.36	c New solution: -102
3.30/3.36	o -102
3.30/3.36	c Elapsed CPU time: 3.23051 s	Remaining CPU time: 176.769 s
3.30/3.36	c ===============================================================================
3.30/3.36	c |      6439 |    2019    63352   201540 |    21117     6439     94 |  0.296 % |
3.30/3.37	c ===============================================================================
3.30/3.37	c New solution: -103
3.30/3.37	o -103
3.30/3.37	c Elapsed CPU time: 3.24351 s	Remaining CPU time: 176.756 s
3.30/3.37	c ===============================================================================
3.30/3.37	c |      6441 |    2019    63353   201675 |    21117     6441     94 |  0.296 % |
3.30/3.38	c ===============================================================================
3.30/3.38	c New solution: -104
3.30/3.38	o -104
3.30/3.38	c Elapsed CPU time: 3.2565 s	Remaining CPU time: 176.743 s
3.30/3.38	c ===============================================================================
3.30/3.38	c |      6441 |    2019    63354   201810 |    21118     6441     94 |  0.296 % |
3.39/3.40	c ===============================================================================
3.39/3.40	c New solution: -105
3.39/3.40	o -105
3.39/3.40	c Elapsed CPU time: 3.2715 s	Remaining CPU time: 176.728 s
3.39/3.40	c ===============================================================================
3.39/3.40	c |      6445 |    2019    63355   201945 |    21118     6445     94 |  0.296 % |
3.39/3.43	c ===============================================================================
3.39/3.43	c New solution: -106
3.39/3.43	o -106
3.39/3.43	c Elapsed CPU time: 3.3015 s	Remaining CPU time: 176.699 s
3.39/3.43	c ===============================================================================
3.39/3.43	c |      6500 |    2019    63356   202080 |    21118     6500     94 |  0.296 % |
3.39/3.47	c |      6600 |    2019    63356   202080 |    23230     6600     94 |  0.296 % |
3.39/3.48	c ===============================================================================
3.39/3.48	c New solution: -107
3.39/3.48	o -107
3.39/3.48	c Elapsed CPU time: 3.35449 s	Remaining CPU time: 176.646 s
3.39/3.48	c ===============================================================================
3.39/3.48	c |      6624 |    2019    63357   202215 |    21119     6624     94 |  0.296 % |
3.49/3.52	c ===============================================================================
3.49/3.52	c New solution: -108
3.49/3.52	o -108
3.49/3.52	c Elapsed CPU time: 3.39048 s	Remaining CPU time: 176.61 s
3.49/3.52	c ===============================================================================
3.49/3.52	c |      6673 |    2019    63358   202350 |    21119     6673     93 |  0.296 % |
3.49/3.53	c ===============================================================================
3.49/3.53	c New solution: -110
3.49/3.53	o -110
3.49/3.53	c Elapsed CPU time: 3.40248 s	Remaining CPU time: 176.598 s
3.49/3.53	c ===============================================================================
3.49/3.53	c |      6674 |    2019    63359   202485 |    21119     6674     93 |  0.296 % |
3.49/3.57	c |      6774 |    2019    63359   202485 |    23231     6774     93 |  0.296 % |
3.59/3.62	c |      6924 |    2019    63359   202485 |    25554     6924     93 |  0.296 % |
3.59/3.68	c |      7149 |    2019    63359   202485 |    28110     7149     93 |  0.296 % |
3.69/3.77	c |      7487 |    2019    63359   202485 |    30921     7487     93 |  0.296 % |
3.89/3.93	c |      7993 |    2019    63359   202485 |    34013     7993     92 |  0.296 % |
4.09/4.12	c |      8753 |    2019    63359   202485 |    37414     8753     92 |  0.296 % |
4.30/4.36	c ===============================================================================
4.30/4.36	c New solution: -111
4.30/4.36	o -111
4.30/4.36	c Elapsed CPU time: 4.22336 s	Remaining CPU time: 175.777 s
4.30/4.36	c ===============================================================================
4.30/4.36	c |      9631 |    2019    63360   202620 |    21120     9631     91 |  0.296 % |
4.30/4.39	c |      9733 |    2019    63360   202620 |    23232     9733     91 |  0.296 % |
4.40/4.43	c |      9884 |    2019    63360   202620 |    25555     9884     91 |  0.296 % |
4.40/4.48	c |     10110 |    2019    63360   202620 |    28110    10110     91 |  0.296 % |
4.49/4.56	c |     10447 |    2019    63360   202620 |    30921    10447     91 |  0.296 % |
4.59/4.68	c ===============================================================================
4.59/4.68	c New solution: -112
4.59/4.68	o -112
4.59/4.68	c Elapsed CPU time: 4.53531 s	Remaining CPU time: 175.465 s
4.59/4.68	c ===============================================================================
4.59/4.68	c |     10882 |    2019    63361   202755 |    21120    10882     91 |  0.296 % |
4.59/4.70	c ===============================================================================
4.59/4.70	c New solution: -114
4.59/4.70	o -114
4.59/4.70	c Elapsed CPU time: 4.54931 s	Remaining CPU time: 175.451 s
4.59/4.70	c ===============================================================================
4.59/4.70	c |     10887 |    2019    63362   202890 |    21120    10887     91 |  0.296 % |
4.69/4.73	c |     10988 |    2019    63362   202890 |    23232    10988     91 |  0.296 % |
4.69/4.77	c ===============================================================================
4.69/4.77	c New solution: -116
4.69/4.77	o -116
4.69/4.77	c Elapsed CPU time: 4.6273 s	Remaining CPU time: 175.373 s
4.69/4.77	c ===============================================================================
4.69/4.77	c |     11072 |    2019    63363   203025 |    21121    11072     91 |  0.296 % |
4.79/4.81	c |     11176 |    2019    63363   203025 |    23233    11176     91 |  0.296 % |
4.79/4.85	c |     11326 |    2019    63363   203025 |    25556    11326     91 |  0.296 % |
4.89/4.91	c |     11551 |    2019    63363   203025 |    28112    11551     91 |  0.296 % |
4.99/5.02	c |     11888 |    2019    63363   203025 |    30923    11888     91 |  0.296 % |
5.09/5.19	c |     12396 |    2019    63363   203025 |    34015    12396     90 |  0.296 % |
5.40/5.42	c ===============================================================================
5.40/5.42	c New solution: -117
5.40/5.42	o -117
5.40/5.42	c Elapsed CPU time: 5.2682 s	Remaining CPU time: 174.732 s
5.40/5.42	c ===============================================================================
5.40/5.42	c |     12966 |    2019    63364   203160 |    21121    12966     90 |  0.296 % |
5.40/5.44	c ===============================================================================
5.40/5.44	c New solution: -118
5.40/5.44	o -118
5.40/5.44	c Elapsed CPU time: 5.2832 s	Remaining CPU time: 174.717 s
5.40/5.44	c ===============================================================================
5.40/5.44	c |     12967 |    2019    63365   203295 |    21121    12967     90 |  0.296 % |
5.40/5.45	c ===============================================================================
5.40/5.45	c New solution: -120
5.40/5.45	o -120
5.40/5.45	c Elapsed CPU time: 5.29619 s	Remaining CPU time: 174.704 s
5.40/5.45	c ===============================================================================
5.40/5.45	c |     12971 |    2019    63366   203430 |    21122    12971     90 |  0.296 % |
5.50/5.50	c |     13071 |    2019    63366   203430 |    23234    13071     90 |  0.296 % |
5.50/5.57	c |     13222 |    2019    63366   203430 |    25557    13222     90 |  0.296 % |
5.59/5.66	c |     13447 |    2019    63366   203430 |    28113    13447     90 |  0.296 % |
5.69/5.78	c |     13786 |    2019    63366   203430 |    30924    13786     90 |  0.296 % |
5.89/5.93	c |     14295 |    2019    63366   203430 |    34017    14295     89 |  0.296 % |
6.09/6.14	c |     15054 |    2019    63366   203430 |    37418    15054     89 |  0.296 % |
6.49/6.50	c |     16193 |    2019    63366   203430 |    41160    16193     89 |  0.296 % |
7.19/7.22	c |     17903 |    2019    63366   203430 |    45276    17903     88 |  0.296 % |
8.39/8.40	c |     20469 |    2019    63366   203430 |    49804    20469     87 |  0.296 % |
10.29/10.35	c |     24315 |    2019    63366   203430 |    54785    24315     86 |  0.296 % |
11.89/11.98	c ===============================================================================
11.89/11.98	c New solution: -121
11.89/11.98	o -121
11.89/11.98	c Elapsed CPU time: 11.7702 s	Remaining CPU time: 168.23 s
11.89/11.98	c ===============================================================================
11.89/11.98	c |     27014 |    2019    63367   203565 |    21122    27014     86 |  0.296 % |
12.09/12.18	c ===============================================================================
12.09/12.18	c New solution: -122
12.09/12.18	o -122
12.09/12.18	c Elapsed CPU time: 11.9732 s	Remaining CPU time: 168.027 s
12.09/12.18	c ===============================================================================
12.09/12.18	c |     27014 |    2019    63368   203700 |    21122    10991     81 |  0.296 % |
12.19/12.22	c |     27115 |    2019    63368   203700 |    23234    11092     81 |  0.296 % |
12.19/12.27	c |     27266 |    2019    63368   203700 |    25558    11243     81 |  0.296 % |
12.29/12.36	c |     27491 |    2019    63368   203700 |    28114    11468     81 |  0.296 % |
12.49/12.53	c |     27828 |    2019    63368   203700 |    30925    11805     81 |  0.296 % |
12.68/12.73	c |     28334 |    2019    63368   203700 |    34018    12311     82 |  0.296 % |
12.98/13.07	c |     29095 |    2019    63368   203700 |    37420    13072     82 |  0.296 % |
13.59/13.62	c |     30235 |    2019    63368   203700 |    41162    14212     82 |  0.296 % |
14.30/14.39	c |     31943 |    2019    63368   203700 |    45278    15920     82 |  0.296 % |
15.49/15.56	c |     34507 |    2019    63368   203700 |    49806    18484     82 |  0.296 % |
17.68/17.73	c |     38351 |    2019    63368   203700 |    54786    22328     82 |  0.296 % |
21.28/21.31	c |     44119 |    2019    63368   203700 |    60265    28096     82 |  0.296 % |
23.28/23.32	c ===============================================================================
23.28/23.32	c New solution: -123
23.28/23.32	o -123
23.28/23.32	c Elapsed CPU time: 23.0455 s	Remaining CPU time: 156.955 s
23.28/23.32	c ===============================================================================
23.28/23.32	c |     46871 |    2019    63369   203835 |    21123    30848     82 |  0.296 % |
23.68/23.77	c ===============================================================================
23.68/23.77	c New solution: -124
23.68/23.77	o -124
23.68/23.77	c Elapsed CPU time: 23.4854 s	Remaining CPU time: 156.515 s
23.68/23.77	c ===============================================================================
23.68/23.77	c |     46899 |    2019    63370   203970 |    21123    11204     81 |  0.296 % |
23.68/23.78	c ===============================================================================
23.68/23.78	c New solution: -125
23.68/23.78	o -125
23.68/23.78	c Elapsed CPU time: 23.5014 s	Remaining CPU time: 156.499 s
23.68/23.78	c ===============================================================================
23.68/23.78	c |     46901 |    2019    63371   204105 |    21123    11206     81 |  0.296 % |
23.78/23.82	c |     47002 |    2019    63371   204105 |    23236    11307     81 |  0.296 % |
23.78/23.87	c |     47154 |    2019    63371   204105 |    25559    11459     81 |  0.296 % |
23.88/23.97	c |     47379 |    2019    63371   204105 |    28115    11684     81 |  0.296 % |
24.09/24.11	c |     47717 |    2019    63371   204105 |    30927    12022     81 |  0.296 % |
24.39/24.40	c |     48226 |    2019    63371   204105 |    34019    12531     81 |  0.296 % |
24.49/24.58	c ===============================================================================
24.49/24.58	c New solution: -126
24.49/24.58	o -126
24.49/24.58	c Elapsed CPU time: 24.2943 s	Remaining CPU time: 155.706 s
24.49/24.58	c ===============================================================================
24.49/24.58	c |     48564 |    2019    63372   204240 |    21124    12869     81 |  0.296 % |
24.58/24.63	c |     48666 |    2019    63372   204240 |    23236    12971     81 |  0.296 % |
24.58/24.69	c |     48818 |    2019    63372   204240 |    25560    13123     81 |  0.296 % |
24.68/24.79	c |     49043 |    2019    63372   204240 |    28116    13348     81 |  0.296 % |
24.88/24.95	c |     49380 |    2019    63372   204240 |    30927    13685     81 |  0.296 % |
25.08/25.20	c |     49890 |    2019    63372   204240 |    34020    14195     81 |  0.296 % |
25.49/25.58	c |     50649 |    2019    63372   204240 |    37422    14954     81 |  0.296 % |
26.19/26.22	c |     51788 |    2019    63372   204240 |    41164    16093     81 |  0.296 % |
26.98/27.05	c |     53497 |    2019    63372   204240 |    45281    17802     81 |  0.296 % |
28.38/28.47	c ===============================================================================
28.38/28.47	c New solution: -127
28.38/28.47	o -127
28.38/28.47	c Elapsed CPU time: 28.1507 s	Remaining CPU time: 151.849 s
28.38/28.47	c ===============================================================================
28.38/28.47	c |     55674 |    2019    63373   204375 |    21124    19979     81 |  0.296 % |
28.49/28.56	c |     55775 |    2019    63373   204375 |    23236    20080     81 |  0.296 % |
28.59/28.68	c |     55925 |    2019    63373   204375 |    25560    20230     81 |  0.296 % |
28.78/28.84	c |     56150 |    2019    63373   204375 |    28116    20455     81 |  0.296 % |
28.98/29.07	c |     56488 |    2019    63373   204375 |    30928    20793     81 |  0.296 % |
29.39/29.44	c |     56995 |    2019    63373   204375 |    34020    21300     81 |  0.296 % |
29.88/29.95	c |     57754 |    2019    63373   204375 |    37423    22059     81 |  0.296 % |
30.79/30.86	c |     58894 |    2019    63373   204375 |    41165    23199     81 |  0.296 % |
32.08/32.15	c |     60604 |    2019    63373   204375 |    45281    24909     81 |  0.296 % |
34.38/34.42	c |     63166 |    2019    63373   204375 |    49810    27471     81 |  0.296 % |
36.78/36.85	c |     67012 |    2019    63373   204375 |    54791    31317     81 |  0.296 % |
40.98/41.09	c |     72778 |    2019    63373   204375 |    60270    37083     81 |  0.296 % |
51.18/51.24	c |     81427 |    2019    63373   204375 |    66297    45732     81 |  0.296 % |
70.57/70.65	c |     94402 |    2019    63373   204375 |    72926    58707     81 |  0.296 % |
98.27/98.38	c |    113864 |    2019    63373   204375 |    80219    17445     78 |  0.296 % |
113.45/113.53	c ===============================================================================
113.45/113.53	c New solution: -128
113.45/113.53	o -128
113.45/113.53	c Elapsed CPU time: 112.847 s	Remaining CPU time: 67.1532 s
113.45/113.53	c ===============================================================================
113.45/113.53	c |    134219 |    2019    63374   204510 |    21124    37800     79 |  0.296 % |
113.85/113.93	c ===============================================================================
113.85/113.93	c New solution: -129
113.85/113.94	o -129
113.85/113.94	c Elapsed CPU time: 113.247 s	Remaining CPU time: 66.7532 s
113.85/113.94	c ===============================================================================
113.85/113.94	c |    134246 |    2019    63375   204645 |    21125    11542     78 |  0.296 % |
113.85/113.98	c |    134346 |    2019    63375   204645 |    23237    11642     78 |  0.296 % |
113.95/114.05	c |    134497 |    2019    63375   204645 |    25561    11793     78 |  0.296 % |
114.05/114.15	c |    134722 |    2019    63375   204645 |    28117    12018     79 |  0.296 % |
114.27/114.34	c |    135061 |    2019    63375   204645 |    30929    12357     79 |  0.296 % |
114.56/114.62	c |    135567 |    2019    63375   204645 |    34022    12863     79 |  0.296 % |
114.95/115.00	c |    136330 |    2019    63375   204645 |    37424    13626     79 |  0.296 % |
115.56/115.68	c |    137469 |    2019    63375   204645 |    41166    14765     79 |  0.296 % |
116.76/116.81	c |    139179 |    2019    63375   204645 |    45283    16475     79 |  0.296 % |
117.46/117.56	c ===============================================================================
117.46/117.56	c New solution: -130
117.46/117.56	o -130
117.46/117.56	c Elapsed CPU time: 116.845 s	Remaining CPU time: 63.1548 s
117.46/117.56	c ===============================================================================
117.46/117.56	c |    140597 |    2019    63376   204780 |    21125    17893     79 |  0.296 % |
117.57/117.61	c |    140703 |    2019    63376   204780 |    23237    17999     79 |  0.296 % |
117.67/117.73	c |    140853 |    2019    63376   204780 |    25561    18149     79 |  0.296 % |
117.86/117.93	c |    141078 |    2019    63376   204780 |    28117    18374     79 |  0.296 % |
118.16/118.22	c |    141416 |    2019    63376   204780 |    30929    18712     79 |  0.296 % |
118.55/118.66	c |    141922 |    2019    63376   204780 |    34022    19218     80 |  0.296 % |
119.15/119.29	c |    142681 |    2019    63376   204780 |    37424    19977     80 |  0.296 % |
119.95/120.07	c |    143820 |    2019    63376   204780 |    41167    21116     80 |  0.296 % |
121.65/121.71	c |    145528 |    2019    63376   204780 |    45284    22824     80 |  0.296 % |
123.75/123.83	c |    148093 |    2019    63376   204780 |    49812    25389     79 |  0.296 % |
128.05/128.15	c |    151937 |    2019    63376   204780 |    54793    29233     79 |  0.296 % |
136.75/136.82	c |    157704 |    2019    63376   204780 |    60273    35000     79 |  0.296 % |
146.75/146.89	c |    166354 |    2019    63376   204780 |    66300    43650     80 |  0.296 % |
150.65/150.78	c ===============================================================================
150.65/150.78	c New solution: -132
150.65/150.78	o -132
150.65/150.78	c Elapsed CPU time: 149.915 s	Remaining CPU time: 30.0848 s
150.65/150.78	c ===============================================================================
150.65/150.78	c |    169253 |    2019    63377   204915 |    21125    46549     80 |  0.296 % |
151.85/151.95	c |    169354 |    2019    63377   204915 |    23238    12123     78 |  0.296 % |
151.95/152.04	c |    169507 |    2019    63377   204915 |    25562    12276     78 |  0.296 % |
152.05/152.13	c |    169733 |    2019    63377   204915 |    28118    12502     78 |  0.296 % |
152.25/152.31	c |    170070 |    2019    63377   204915 |    30930    12839     78 |  0.296 % |
152.54/152.62	c |    170577 |    2019    63377   204915 |    34023    13346     78 |  0.296 % |
152.54/152.64	c ===============================================================================
152.54/152.64	c New solution: -133
152.54/152.64	o -133
152.54/152.64	c Elapsed CPU time: 151.769 s	Remaining CPU time: 28.2311 s
152.54/152.64	c ===============================================================================
152.54/152.64	c |    170588 |    2019    63378   205050 |    21126    13357     78 |  0.296 % |
152.65/152.70	c |    170691 |    2019    63378   205050 |    23238    13460     78 |  0.296 % |
152.65/152.79	c |    170841 |    2019    63378   205050 |    25562    13610     78 |  0.296 % |
152.86/152.92	c |    171066 |    2019    63378   205050 |    28118    13835     78 |  0.296 % |
152.95/153.08	c |    171403 |    2019    63378   205050 |    30930    14172     78 |  0.296 % |
153.35/153.44	c |    171911 |    2019    63378   205050 |    34023    14680     78 |  0.296 % |
153.95/154.02	c |    172670 |    2019    63378   205050 |    37425    15439     78 |  0.296 % |
154.74/154.84	c |    173809 |    2019    63378   205050 |    41168    16578     78 |  0.296 % |
156.15/156.25	c |    175517 |    2019    63378   205050 |    45285    18286     78 |  0.296 % |
158.04/158.17	c ===============================================================================
158.04/158.17	c New solution: -134
158.04/158.17	o -134
158.04/158.17	c Elapsed CPU time: 157.272 s	Remaining CPU time: 22.7279 s
158.04/158.17	c ===============================================================================
158.04/158.17	c |    178013 |    2019    63379   205185 |    21126    20782     79 |  0.296 % |
158.15/158.29	c |    178114 |    2019    63379   205185 |    23238    20883     79 |  0.296 % |
158.36/158.42	c |    178264 |    2019    63379   205185 |    25562    21033     79 |  0.296 % |
158.55/158.61	c |    178490 |    2019    63379   205185 |    28119    21259     79 |  0.296 % |
158.75/158.83	c |    178827 |    2019    63379   205185 |    30931    21596     79 |  0.296 % |
159.15/159.23	c |    179333 |    2019    63379   205185 |    34024    22102     79 |  0.296 % |
159.85/159.99	c |    180094 |    2019    63379   205185 |    37426    22863     79 |  0.296 % |
161.04/161.12	c |    181233 |    2019    63379   205185 |    41169    24002     79 |  0.296 % |
162.65/162.71	c |    182943 |    2019    63379   205185 |    45286    25712     78 |  0.296 % |
165.14/165.29	c |    185505 |    2019    63379   205185 |    49814    28274     78 |  0.296 % |
165.54/165.61	c ===============================================================================
165.54/165.61	c New solution: -135
165.54/165.61	o -135
165.54/165.61	c Elapsed CPU time: 164.686 s	Remaining CPU time: 15.314 s
165.54/165.61	c ===============================================================================
165.54/165.61	c |    185863 |    2019    63380   205320 |    21126    28632     78 |  0.296 % |
165.74/165.81	c |    185965 |    2019    63380   205320 |    23239    11481     76 |  0.296 % |
165.74/165.89	c |    186116 |    2019    63380   205320 |    25563    11632     76 |  0.296 % |
165.84/166.00	c |    186341 |    2019    63380   205320 |    28119    11857     76 |  0.296 % |
166.04/166.18	c |    186678 |    2019    63380   205320 |    30931    12194     76 |  0.296 % |
166.43/166.50	c |    187184 |    2019    63380   205320 |    34024    12700     76 |  0.296 % |
166.83/166.90	c |    187944 |    2019    63380   205320 |    37427    13460     76 |  0.296 % |
167.94/168.00	c |    189083 |    2019    63380   205320 |    41169    14599     75 |  0.296 % |
169.24/169.31	c |    190792 |    2019    63380   205320 |    45286    16308     75 |  0.296 % |
170.53/170.64	c |    193356 |    2019    63380   205320 |    49815    18872     75 |  0.296 % |
174.03/174.10	c |    197205 |    2019    63380   205320 |    54797    22721     75 |  0.296 % |
180.94/181.00	c There are 6 assigned variables. 6 in cost function.
187.23/187.32	c core #1
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 7	Core Weight: 2	Total Weight: -299
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #2
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 9	Core Weight: 1	Total Weight: -298
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #3
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 12	Core Weight: 1	Total Weight: -297
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #4
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 13	Core Weight: 1	Total Weight: -296
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #5
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 12	Core Weight: 1	Total Weight: -295
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #6
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 8	Core Weight: 1	Total Weight: -294
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #7
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 8	Core Weight: 1	Total Weight: -293
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #8
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 8	Core Weight: 2	Total Weight: -291
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #9
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 9	Core Weight: 1	Total Weight: -290
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #10
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 8	Core Weight: 2	Total Weight: -288
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #11
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 9	Core Weight: 2	Total Weight: -286
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #12
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 11	Core Weight: 2	Total Weight: -284
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #13
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 11	Core Weight: 1	Total Weight: -283
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #14
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 11	Core Weight: 1	Total Weight: -282
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #15
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 11	Core Weight: 1	Total Weight: -281
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #16
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 11	Core Weight: 1	Total Weight: -280
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #17
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 11	Core Weight: 1	Total Weight: -279
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #18
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 11	Core Weight: 1	Total Weight: -278
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #19
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 9	Core Weight: 1	Total Weight: -277
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #20
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 11	Core Weight: 1	Total Weight: -276
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #21
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 23	Core Weight: 1	Total Weight: -275
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #22
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 14	Core Weight: 1	Total Weight: -274
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #23
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 15	Core Weight: 1	Total Weight: -273
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #24
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 13	Core Weight: 1	Total Weight: -272
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #25
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 27	Core Weight: 1	Total Weight: -271
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #26
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 34	Core Weight: 1	Total Weight: -270
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #27
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 37	Core Weight: 1	Total Weight: -269
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #28
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 23	Core Weight: 1	Total Weight: -268
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #29
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 24	Core Weight: 1	Total Weight: -267
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #30
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 8	Core Weight: 2	Total Weight: -265
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #31
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 9	Core Weight: 1	Total Weight: -264
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #32
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 12	Core Weight: 1	Total Weight: -263
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #33
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 9	Core Weight: 1	Total Weight: -262
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #34
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 9	Core Weight: 1	Total Weight: -261
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #35
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 9	Core Weight: 1	Total Weight: -260
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #36
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 9	Core Weight: 1	Total Weight: -259
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #37
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 16	Core Weight: 1	Total Weight: -258
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #38
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 19	Core Weight: 1	Total Weight: -257
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #39
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 11	Core Weight: 1	Total Weight: -256
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #40
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 11	Core Weight: 2	Total Weight: -254
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #41
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 9	Core Weight: 2	Total Weight: -252
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #42
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 12	Core Weight: 1	Total Weight: -251
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #43
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 11	Core Weight: 1	Total Weight: -250
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #44
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 20	Core Weight: 1	Total Weight: -249
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #45
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 10	Core Weight: 1	Total Weight: -248
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #46
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 11	Core Weight: 1	Total Weight: -247
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #47
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 29	Core Weight: 1	Total Weight: -246
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #48
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 11	Core Weight: 1	Total Weight: -245
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #49
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 12	Core Weight: 1	Total Weight: -244
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #50
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 17	Core Weight: 1	Total Weight: -243
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #51
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 8	Core Weight: 1	Total Weight: -242
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #52
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 9	Core Weight: 1	Total Weight: -241
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #53
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 10	Core Weight: 2	Total Weight: -239
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #54
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 13	Core Weight: 1	Total Weight: -238
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #55
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 9	Core Weight: 1	Total Weight: -237
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #56
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 8	Core Weight: 2	Total Weight: -235
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #57
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 16	Core Weight: 1	Total Weight: -234
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #58
187.23/187.32	c 
187.23/187.32	c 
187.23/187.32	c Core size: 9	Core Weight: 1	Total Weight: -233
187.23/187.32	c
187.23/187.32	c
187.23/187.32	c core #59
187.93/188.08	c 
187.93/188.08	c 
187.93/188.08	c Core size: 10	Core Weight: 1	Total Weight: -232
187.93/188.08	c
187.93/188.08	c
187.93/188.08	c core #60
187.93/188.08	c 
187.93/188.08	c 
187.93/188.08	c Core size: 15	Core Weight: 1	Total Weight: -231
187.93/188.08	c
187.93/188.08	c
187.93/188.08	c core #61
187.93/188.08	c 
187.93/188.08	c 
187.93/188.08	c Core size: 23	Core Weight: 1	Total Weight: -230
187.93/188.08	c
187.93/188.08	c
187.93/188.08	c core #62
187.93/188.08	c 
187.93/188.08	c 
187.93/188.08	c Core size: 25	Core Weight: 1	Total Weight: -229
187.93/188.08	c
187.93/188.08	c
187.93/188.08	c core #63
187.93/188.08	c 
187.93/188.08	c 
187.93/188.08	c Core size: 17	Core Weight: 1	Total Weight: -228
187.93/188.08	c
187.93/188.08	c
187.93/188.08	c core #64
187.93/188.08	c 
187.93/188.08	c 
187.93/188.08	c Core size: 16	Core Weight: 1	Total Weight: -227
187.93/188.08	c
187.93/188.08	c
187.93/188.08	c ============================[ Search Statistics ]==============================
187.93/188.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.93/188.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.93/188.08	c ===============================================================================
187.93/188.08	c |         0 |    2307    63903   203937 |    21301        0    nan |  0.000 % |
187.93/188.10	c ===============================================================================
188.12/188.21	c core #65
188.12/188.21	c 
188.12/188.21	c 
188.12/188.21	c Core size: 10	Core Weight: 1	Total Weight: -226
188.12/188.21	c
188.12/188.21	c
188.12/188.21	c ============================[ Search Statistics ]==============================
188.12/188.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.12/188.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.12/188.21	c ===============================================================================
188.12/188.21	c |         0 |    2314    63905   203950 |    21301        0    nan |  0.000 % |
188.12/188.22	c ===============================================================================
188.22/188.35	c core #66
188.22/188.35	c 
188.22/188.35	c 
188.22/188.35	c Core size: 14	Core Weight: 1	Total Weight: -225
188.22/188.35	c
188.22/188.35	c
188.22/188.35	c ============================[ Search Statistics ]==============================
188.22/188.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.22/188.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.22/188.35	c ===============================================================================
188.22/188.35	c |         0 |    2320    63906   203962 |    21302        0    nan |  0.000 % |
188.22/188.37	c ===============================================================================
188.32/188.48	c core #67
188.32/188.48	c 
188.32/188.48	c 
188.32/188.48	c Core size: 14	Core Weight: 1	Total Weight: -224
188.32/188.48	c
188.32/188.48	c
188.32/188.48	c ============================[ Search Statistics ]==============================
188.32/188.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.32/188.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.32/188.48	c ===============================================================================
188.32/188.48	c |         0 |    2328    63911   203980 |    21303        0    nan |  0.000 % |
188.42/188.50	c ===============================================================================
188.52/188.62	c core #68
188.52/188.62	c 
188.52/188.62	c 
188.52/188.62	c Core size: 13	Core Weight: 1	Total Weight: -223
188.52/188.62	c
188.52/188.62	c
188.52/188.62	c ============================[ Search Statistics ]==============================
188.52/188.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.52/188.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.52/188.62	c ===============================================================================
188.52/188.62	c |         0 |    2335    63912   203994 |    21304        0    nan |  0.000 % |
188.52/188.63	c ===============================================================================
188.62/188.75	c core #69
188.62/188.75	c 
188.62/188.75	c 
188.62/188.75	c Core size: 10	Core Weight: 1	Total Weight: -222
188.62/188.75	c
188.62/188.75	c
188.62/188.75	c ============================[ Search Statistics ]==============================
188.62/188.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.62/188.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.62/188.75	c ===============================================================================
188.62/188.75	c |         0 |    2345    63913   204411 |    21304        0    nan |  0.000 % |
188.62/188.77	c ===============================================================================
188.72/188.89	c core #70
188.72/188.89	c 
188.72/188.89	c 
188.72/188.89	c Core size: 16	Core Weight: 1	Total Weight: -221
188.72/188.89	c
188.72/188.89	c
188.72/188.89	c ============================[ Search Statistics ]==============================
188.72/188.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.72/188.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.72/188.89	c ===============================================================================
188.72/188.89	c |         0 |    2358    63914   205446 |    21304        0    nan |  0.000 % |
188.82/188.90	c ===============================================================================
188.92/189.02	c core #71
188.92/189.02	c 
188.92/189.02	c 
188.92/189.02	c Core size: 16	Core Weight: 1	Total Weight: -220
188.92/189.02	c
188.92/189.02	c
188.92/189.02	c ============================[ Search Statistics ]==============================
188.92/189.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.92/189.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.92/189.02	c ===============================================================================
188.92/189.02	c |         0 |    2368    63915   205466 |    21305        0    nan |  0.000 % |
188.92/189.03	c ===============================================================================
189.02/189.16	c core #72
189.02/189.16	c 
189.02/189.16	c 
189.02/189.16	c Core size: 13	Core Weight: 1	Total Weight: -219
189.02/189.16	c
189.02/189.16	c
189.02/189.16	c ============================[ Search Statistics ]==============================
189.02/189.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.02/189.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.02/189.16	c ===============================================================================
189.02/189.16	c |         0 |    2378    63916   205486 |    21305        0    nan |  0.000 % |
189.02/189.18	c ===============================================================================
189.12/189.29	c core #73
189.12/189.29	c 
189.12/189.29	c 
189.12/189.29	c Core size: 20	Core Weight: 1	Total Weight: -218
189.12/189.29	c
189.12/189.29	c
189.12/189.30	c ============================[ Search Statistics ]==============================
189.12/189.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.12/189.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.12/189.30	c ===============================================================================
189.12/189.30	c |         0 |    2392    63917   205660 |    21305        0    nan |  0.000 % |
189.22/189.31	c ===============================================================================
189.32/189.44	c core #74
189.32/189.44	c 
189.32/189.44	c 
189.32/189.44	c Core size: 32	Core Weight: 1	Total Weight: -217
189.32/189.44	c
189.32/189.44	c
189.32/189.44	c ============================[ Search Statistics ]==============================
189.32/189.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.32/189.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.32/189.44	c ===============================================================================
189.32/189.44	c |         0 |    2413    63918   205702 |    21306        0    nan |  0.000 % |
189.32/189.45	c ===============================================================================
189.42/189.57	c core #75
189.42/189.57	c 
189.42/189.57	c 
189.42/189.57	c Core size: 23	Core Weight: 1	Total Weight: -216
189.42/189.57	c
189.42/189.57	c
189.42/189.57	c ============================[ Search Statistics ]==============================
189.42/189.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.42/189.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.42/189.57	c ===============================================================================
189.42/189.57	c |         0 |    2428    63919   205732 |    21306        0    nan |  0.000 % |
189.42/189.59	c ===============================================================================
189.61/189.72	c core #76
189.61/189.72	c 
189.61/189.72	c 
189.61/189.72	c Core size: 24	Core Weight: 1	Total Weight: -215
189.61/189.72	c
189.61/189.72	c
189.61/189.72	c ============================[ Search Statistics ]==============================
189.61/189.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.61/189.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.61/189.72	c ===============================================================================
189.61/189.72	c |         0 |    2442    63920   206023 |    21306        0    nan |  0.000 % |
189.61/189.74	c ===============================================================================
189.71/189.85	c core #77
189.71/189.85	c 
189.71/189.85	c 
189.71/189.85	c Core size: 11	Core Weight: 1	Total Weight: -214
189.71/189.85	c
189.71/189.85	c
189.71/189.85	c ============================[ Search Statistics ]==============================
189.71/189.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.71/189.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.71/189.85	c ===============================================================================
189.71/189.85	c |         0 |    2450    63923   206043 |    21307        0    nan |  0.000 % |
189.71/189.88	c ===============================================================================
189.91/190.00	c core #78
189.91/190.00	c 
189.91/190.00	c 
189.91/190.00	c Core size: 29	Core Weight: 1	Total Weight: -213
189.91/190.00	c
189.91/190.00	c
189.91/190.00	c ============================[ Search Statistics ]==============================
189.91/190.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.91/190.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.91/190.00	c ===============================================================================
189.91/190.00	c |         0 |    2468    63925   206081 |    21308        0    nan |  0.000 % |
189.91/190.01	c ===============================================================================
190.01/190.14	c core #79
190.01/190.14	c 
190.01/190.14	c 
190.01/190.14	c Core size: 18	Core Weight: 1	Total Weight: -212
190.01/190.14	c
190.01/190.14	c
190.01/190.14	c ============================[ Search Statistics ]==============================
190.01/190.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.01/190.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.01/190.14	c ===============================================================================
190.01/190.14	c |         0 |    2478    63927   206104 |    21309        0    nan |  0.000 % |
190.01/190.16	c ===============================================================================
190.12/190.28	c core #80
190.12/190.28	c 
190.12/190.28	c 
190.12/190.28	c Core size: 28	Core Weight: 1	Total Weight: -211
190.12/190.28	c
190.12/190.28	c
190.12/190.28	c ============================[ Search Statistics ]==============================
190.12/190.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.12/190.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.12/190.28	c ===============================================================================
190.12/190.28	c |         0 |    2494    63933   206149 |    21311        0    nan |  0.000 % |
190.22/190.30	c ===============================================================================
190.31/190.42	c core #81
190.31/190.42	c 
190.31/190.42	c 
190.31/190.42	c Core size: 37	Core Weight: 1	Total Weight: -210
190.31/190.42	c
190.31/190.42	c
190.31/190.42	c ============================[ Search Statistics ]==============================
190.31/190.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.31/190.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.31/190.42	c ===============================================================================
190.31/190.42	c |         0 |    2517    63935   206198 |    21311        0    nan |  0.000 % |
190.31/190.46	c ===============================================================================
190.41/190.58	c core #82
190.41/190.58	c 
190.41/190.58	c 
190.41/190.58	c Core size: 19	Core Weight: 1	Total Weight: -209
190.41/190.58	c
190.41/190.58	c
190.41/190.58	c ============================[ Search Statistics ]==============================
190.41/190.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.41/190.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.41/190.58	c ===============================================================================
190.41/190.58	c |         0 |    2533    63940   206238 |    21313        0    nan |  0.000 % |
190.51/190.60	c ===============================================================================
190.61/190.72	c core #83
190.61/190.72	c 
190.61/190.72	c 
190.61/190.72	c Core size: 35	Core Weight: 1	Total Weight: -208
190.61/190.72	c
190.61/190.72	c
190.61/190.72	c ============================[ Search Statistics ]==============================
190.61/190.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.61/190.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.61/190.72	c ===============================================================================
190.61/190.72	c |         0 |    2550    63942   206274 |    21314        0    nan |  0.000 % |
190.61/190.75	c ===============================================================================
190.71/190.87	c core #84
190.71/190.87	c 
190.71/190.87	c 
190.71/190.87	c Core size: 28	Core Weight: 1	Total Weight: -207
190.71/190.87	c
190.71/190.87	c
190.71/190.87	c ============================[ Search Statistics ]==============================
190.71/190.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.71/190.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.71/190.87	c ===============================================================================
190.71/190.87	c |         0 |    2572    63945   206322 |    21315        0    nan |  0.000 % |
190.82/190.90	c ===============================================================================
190.92/191.02	c core #85
190.92/191.02	c 
190.92/191.02	c 
190.92/191.02	c Core size: 41	Core Weight: 1	Total Weight: -206
190.92/191.02	c
190.92/191.02	c
190.92/191.02	c ============================[ Search Statistics ]==============================
190.92/191.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.92/191.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.92/191.02	c ===============================================================================
190.92/191.02	c |         0 |    2595    63946   206368 |    21315        0    nan |  0.000 % |
190.92/191.06	c ===============================================================================
191.02/191.18	c core #86
191.02/191.18	c 
191.02/191.18	c 
191.02/191.18	c Core size: 63	Core Weight: 1	Total Weight: -205
191.02/191.18	c
191.02/191.18	c
191.02/191.18	c ============================[ Search Statistics ]==============================
191.02/191.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.02/191.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.02/191.18	c ===============================================================================
191.02/191.18	c |         0 |    2640    63948   206460 |    21316        0    nan |  0.000 % |
191.12/191.23	c ===============================================================================
191.22/191.35	c core #87
191.22/191.35	c 
191.22/191.35	c 
191.22/191.35	c Core size: 68	Core Weight: 1	Total Weight: -204
191.22/191.35	c
191.22/191.35	c
191.22/191.35	c ============================[ Search Statistics ]==============================
191.22/191.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.22/191.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.22/191.35	c ===============================================================================
191.22/191.35	c |         0 |    2690    63950   206563 |    21316        0    nan |  0.000 % |
191.22/191.40	c |       100 |    2690    63950   206563 |    23448      100     11 |  0.223 % |
191.32/191.43	c ===============================================================================
191.41/191.55	c core #88
191.41/191.55	c 
191.41/191.55	c 
191.41/191.55	c Core size: 71	Core Weight: 1	Total Weight: -203
191.41/191.55	c
191.41/191.55	c
191.41/191.55	c ============================[ Search Statistics ]==============================
191.41/191.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.41/191.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.41/191.55	c ===============================================================================
191.41/191.55	c |         0 |    2755    63955   206705 |    21318        0    nan |  0.000 % |
191.51/191.60	c |       109 |    2755    63955   206705 |    23450      109     17 |  0.217 % |
191.51/191.67	c |       261 |    2755    63955   206705 |    25795      261     15 |  0.217 % |
191.61/191.70	c ===============================================================================
191.71/191.83	c core #89
191.71/191.83	c 
191.71/191.83	c 
191.71/191.83	c Core size: 122	Core Weight: 1	Total Weight: -202
191.71/191.83	c
191.71/191.83	c
191.71/191.83	c ============================[ Search Statistics ]==============================
191.71/191.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.71/191.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.71/191.83	c ===============================================================================
191.71/191.83	c |         0 |    2863    63963   206941 |    21321        0    nan |  0.000 % |
191.71/191.89	c |       102 |    2863    63963   206941 |    23453      102     28 |  0.209 % |
191.81/191.94	c |       252 |    2862    63963   206941 |    25798      252     21 |  0.244 % |
191.91/192.02	c |       478 |    2862    63963   206941 |    28378      478     19 |  0.244 % |
192.01/192.12	c |       816 |    2862    63963   206941 |    31216      816     18 |  0.244 % |
192.21/192.32	c ===============================================================================
192.31/192.45	c core #90
192.31/192.45	c 
192.31/192.45	c 
192.31/192.45	c Core size: 180	Core Weight: 1	Total Weight: -201
192.31/192.45	c
192.31/192.45	c
192.31/192.45	c ============================[ Search Statistics ]==============================
192.31/192.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.31/192.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.31/192.45	c ===============================================================================
192.31/192.45	c |         0 |    3018    63978   207287 |    21326        0    nan |  0.000 % |
192.41/192.53	c |       100 |    3018    63978   207287 |    23458      100     10 |  0.198 % |
192.41/192.58	c |       251 |    3017    63978   207287 |    25804      251      9 |  0.265 % |
192.51/192.67	c |       476 |    3013    63978   207287 |    28384      476     10 |  0.430 % |
192.61/192.73	c ===============================================================================
192.71/192.85	c core #91
192.71/192.85	c 
192.71/192.85	c 
192.71/192.85	c Core size: 121	Core Weight: 1	Total Weight: -200
192.71/192.85	c
192.71/192.85	c
192.71/192.85	c ============================[ Search Statistics ]==============================
192.71/192.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.71/192.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.71/192.85	c ===============================================================================
192.71/192.85	c |         0 |    3126    63985   207520 |    21328        0    nan |  0.000 % |
192.81/192.92	c |       103 |    3126    63985   207520 |    23461      103     23 |  0.192 % |
192.91/193.01	c |       254 |    3126    63985   207520 |    25807      254     21 |  0.192 % |
193.01/193.13	c |       481 |    3126    63985   207520 |    28388      481     22 |  0.192 % |
193.11/193.27	c |       818 |    3126    63985   207520 |    31226      818     22 |  0.192 % |
193.41/193.54	c |      1325 |    3126    63985   207520 |    34349     1325     25 |  0.192 % |
193.91/194.00	c |      2084 |    3125    63985   207520 |    37784      703     17 |  0.224 % |
194.20/194.31	c ===============================================================================
194.30/194.46	c core #92
194.30/194.46	c 
194.30/194.46	c 
194.30/194.46	c Core size: 94	Core Weight: 1	Total Weight: -199
194.30/194.46	c
194.30/194.46	c
194.30/194.46	c ============================[ Search Statistics ]==============================
194.30/194.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.30/194.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.30/194.46	c ===============================================================================
194.30/194.46	c |         0 |    3209    63998   207721 |    21332        0    nan |  0.000 % |
194.40/194.53	c |       100 |    3209    63998   207721 |    23465      100     23 |  0.187 % |
194.40/194.57	c |       252 |    3209    63998   207721 |    25812      252     21 |  0.187 % |
194.52/194.63	c |       479 |    3209    63998   207721 |    28393      479     23 |  0.187 % |
194.62/194.74	c |       816 |    3209    63998   207721 |    31233      816     26 |  0.187 % |
194.81/194.95	c |      1322 |    3209    63998   207721 |    34356     1322     29 |  0.187 % |
194.91/195.06	c |      2083 |    3209    63998   207721 |    37792     2083     29 |  0.187 % |
195.21/195.36	c |      3224 |    3209    63998   207721 |    41571     3224     32 |  0.187 % |
195.61/195.79	c |      4934 |    3209    63998   207721 |    45728     4934     34 |  0.187 % |
196.71/196.89	c |      7496 |    3209    63998   207721 |    50301     7496     40 |  0.187 % |
198.50/198.63	c |     11340 |    3209    63998   207721 |    55331    11340     45 |  0.187 % |
202.32/202.49	c |     17107 |    3209    63998   207721 |    60864    17107     48 |  0.187 % |
211.80/211.94	c |     25757 |    3209    63998   207721 |    66951    25757     54 |  0.187 % |
227.60/227.72	c |     38736 |    3209    63998   207721 |    73646    38736     58 |  0.187 % |
233.11/233.20	c ===============================================================================
234.00/234.13	c core #93
234.00/234.13	c 
234.00/234.13	c 
234.00/234.13	c Core size: 109	Core Weight: 1	Total Weight: -198
234.00/234.13	c
234.00/234.13	c
234.00/234.13	c ============================[ Search Statistics ]==============================
234.00/234.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
234.00/234.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
234.00/234.13	c ===============================================================================
234.00/234.13	c |         0 |    3297    64008   207923 |    21336        0    nan |  0.000 % |
234.11/234.20	c |       100 |    3297    64008   207923 |    23469      100     49 |  0.182 % |
234.11/234.27	c |       250 |    3297    64008   207923 |    25816      250     33 |  0.182 % |
234.11/234.30	c |       476 |    3297    64008   207923 |    28398      476     27 |  0.182 % |
234.29/234.42	c |       813 |    3297    64008   207923 |    31238      813     29 |  0.182 % |
234.39/234.55	c |      1320 |    3297    64008   207923 |    34361     1320     28 |  0.182 % |
234.70/234.83	c |      2081 |    3297    64008   207923 |    37798     2081     30 |  0.182 % |
235.09/235.24	c |      3221 |    3297    64008   207923 |    41577     3221     30 |  0.182 % |
235.79/235.90	c |      4931 |    3297    64008   207923 |    45735     4931     29 |  0.182 % |
236.99/237.12	c |      7495 |    3297    64008   207923 |    50309     7495     33 |  0.182 % |
238.69/238.86	c |     11340 |    3290    64008   207923 |    55340     6435     36 |  0.394 % |
240.90/241.07	c |     17112 |    3290    64008   207923 |    60874    12207     40 |  0.394 % |
247.00/247.12	c |     25761 |    3290    64008   207923 |    66961    20856     44 |  0.394 % |
256.89/257.08	c |     38736 |    3290    64008   207923 |    73657    33831     46 |  0.394 % |
266.28/266.43	c ===============================================================================
267.29/267.41	c core #94
267.29/267.41	c 
267.29/267.41	c 
267.29/267.41	c Core size: 218	Core Weight: 1	Total Weight: -197
267.29/267.41	c
267.29/267.41	c
267.29/267.41	c ============================[ Search Statistics ]==============================
267.29/267.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
267.29/267.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
267.29/267.41	c ===============================================================================
267.29/267.41	c |         0 |    3478    64034   208359 |    21344        0    nan |  0.000 % |
267.29/267.48	c |       103 |    3478    64034   208359 |    23479      103     41 |  0.172 % |
267.39/267.51	c |       253 |    3478    64034   208359 |    25827      253     33 |  0.172 % |
267.39/267.57	c |       479 |    3478    64034   208359 |    28409      479     33 |  0.172 % |
267.49/267.67	c |       817 |    3478    64034   208359 |    31250      817     36 |  0.172 % |
267.69/267.83	c |      1326 |    3478    64034   208359 |    34375     1326     43 |  0.172 % |
267.79/267.95	c |      2085 |    3478    64034   208359 |    37813     2085     41 |  0.172 % |
267.99/268.16	c |      3229 |    3478    64034   208359 |    41594     3229     38 |  0.172 % |
268.39/268.50	c |      4937 |    3478    64034   208359 |    45754     4937     37 |  0.172 % |
269.09/269.23	c |      7502 |    3478    64034   208359 |    50329     7502     40 |  0.172 % |
270.59/270.74	c |     11349 |    3478    64034   208359 |    55362    11349     45 |  0.172 % |
272.99/273.18	c |     17120 |    3478    64034   208359 |    60898    17120     53 |  0.172 % |
278.88/279.07	c |     25769 |    3478    64034   208359 |    66988    25769     54 |  0.172 % |
292.58/292.77	c |     38751 |    3478    64034   208359 |    73687    38751     54 |  0.172 % |
312.68/312.82	c |     58216 |    3478    64034   208359 |    81056    58216     56 |  0.172 % |
352.26/352.49	c |     87410 |    3478    64034   208359 |    89161    20023     70 |  0.172 % |
406.55/406.71	c |    131201 |    3478    64034   208359 |    98078    63814     64 |  0.172 % |
502.92/503.14	c |    196885 |    3478    64034   208359 |   107885    47215     72 |  0.172 % |
645.59/645.84	c |    295412 |    3478    64034   208359 |   118674    53585     88 |  0.172 % |
931.51/931.87	c |    443204 |    3477    64034   208359 |   130542   110715     84 |  0.201 % |
1007.89/1008.26	c ===============================================================================
1019.19/1019.60	c core #95
1019.19/1019.60	c 
1019.19/1019.60	c 
1019.19/1019.60	c Core size: 238	Core Weight: 1	Total Weight: -196
1019.19/1019.60	c
1019.19/1019.60	c
1019.19/1019.60	c ============================[ Search Statistics ]==============================
1019.19/1019.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1019.19/1019.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1019.19/1019.60	c ===============================================================================
1019.19/1019.60	c |         0 |    3686    64058   208842 |    21352        0    nan |  0.000 % |
1019.40/1019.77	c |       100 |    3686    64058   208842 |    23487      100     38 |  0.163 % |
1019.49/1019.83	c |       250 |    3686    64058   208842 |    25836      250     28 |  0.163 % |
1019.49/1019.89	c |       476 |    3686    64058   208842 |    28420      476     30 |  0.163 % |
1019.69/1020.04	c |       813 |    3686    64058   208842 |    31262      813     33 |  0.163 % |
1019.89/1020.20	c |      1321 |    3686    64058   208842 |    34388     1321     34 |  0.163 % |
1020.09/1020.49	c |      2080 |    3686    64058   208842 |    37827     2080     34 |  0.163 % |
1020.50/1020.85	c |      3222 |    3686    64058   208842 |    41610     3222     35 |  0.163 % |
1021.09/1021.43	c |      4930 |    3686    64058   208842 |    45771     4930     36 |  0.163 % |
1021.39/1021.72	c |      7492 |    3686    64058   208842 |    50348     7492     35 |  0.163 % |
1023.49/1023.80	c |     11338 |    3686    64058   208842 |    55383    11338     38 |  0.163 % |
1026.09/1026.41	c |     17105 |    3686    64058   208842 |    60921    17105     36 |  0.163 % |
1031.59/1031.96	c |     25758 |    3686    64058   208842 |    67013    25758     35 |  0.163 % |
1040.29/1040.61	c |     38732 |    3686    64058   208842 |    73715    38732     38 |  0.163 % |
1063.08/1063.41	c |     58194 |    3686    64058   208842 |    81086    58194     45 |  0.163 % |
1096.68/1097.05	c |     87386 |    3686    64058   208842 |    89195    16715     48 |  0.163 % |
1122.36/1122.70	c |    131180 |    3686    64058   208842 |    98114    60509     50 |  0.163 % |
1182.75/1183.11	c |    196865 |    3686    64058   208842 |   107926    40985     52 |  0.163 % |
1276.33/1276.70	c |    295394 |    3686    64058   208842 |   118719    44885     66 |  0.163 % |
1545.66/1546.14	c |    443183 |    3686    64058   208842 |   130590    90141    117 |  0.163 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.97 0.91 3/106 28497
/proc/meminfo: memFree=1849872/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=4924 CPUtime=0
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 336 0 0 0 0 0 0 0 19 0 1 0 87326752 5042176 254 1992294400 134512640 135752675 4294440944 18446744073709551615 134561102 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 1231 254 137 303 0 410 0

[startup+0.0283899 s]
/proc/loadavg: 0.92 0.97 0.91 3/106 28497
/proc/meminfo: memFree=1849872/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=5056 CPUtime=0.02
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 424 0 0 0 2 0 0 0 19 0 1 0 87326752 5177344 342 1992294400 134512640 135752675 4294440944 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 1264 344 169 303 0 443 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5056

[startup+0.100397 s]
/proc/loadavg: 0.92 0.97 0.91 3/106 28497
/proc/meminfo: memFree=1849872/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=6004 CPUtime=0.09
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 739 0 0 0 9 0 0 0 19 0 1 0 87326752 6148096 657 1992294400 134512640 135752675 4294440944 18446744073709551615 134559859 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 1501 657 281 303 0 680 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6004

[startup+0.300418 s]
/proc/loadavg: 0.92 0.97 0.91 3/106 28497
/proc/meminfo: memFree=1849872/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=7964 CPUtime=0.29
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 1558 0 0 0 29 0 0 0 20 0 1 0 87326752 8155136 1476 1992294400 134512640 135752675 4294440944 18446744073709551615 135010801 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 1991 1476 592 303 0 1170 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7964

[startup+0.70046 s]
/proc/loadavg: 0.92 0.97 0.91 3/106 28497
/proc/meminfo: memFree=1849872/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=7344 CPUtime=0.69
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 1998 0 0 0 65 4 0 0 21 0 1 0 87326752 7520256 1367 1992294400 134512640 135752675 4294440944 18446744073709551615 134599059 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 1836 1367 144 303 0 1531 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7344

[startup+1.50055 s]
/proc/loadavg: 0.92 0.97 0.91 2/107 28498
/proc/meminfo: memFree=1844780/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=7872 CPUtime=1.48
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 2127 0 0 0 139 9 0 0 23 0 1 0 87326752 8060928 1496 1992294400 134512640 135752675 4294440944 18446744073709551615 134637930 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 1968 1496 145 303 0 1663 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7872

[startup+3.10072 s]
/proc/loadavg: 0.92 0.97 0.91 2/107 28498
/proc/meminfo: memFree=1843292/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=10120 CPUtime=3.09
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 2686 0 0 0 297 12 0 0 25 0 1 0 87326752 10362880 2055 1992294400 134512640 135752675 4294440944 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 2530 2055 145 303 0 2225 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10120

[startup+6.30106 s]
/proc/loadavg: 0.93 0.97 0.91 2/107 28498
/proc/meminfo: memFree=1838332/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=14536 CPUtime=6.29
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 3794 0 0 0 613 16 0 0 25 0 1 0 87326752 14884864 3163 1992294400 134512640 135752675 4294440944 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 3634 3163 145 303 0 3329 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14536

[startup+12.7017 s]
/proc/loadavg: 0.93 0.97 0.91 2/107 28500
/proc/meminfo: memFree=1832008/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=20308 CPUtime=12.68
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 5225 0 0 0 1248 20 0 0 25 0 1 0 87326752 20795392 4594 1992294400 134512640 135752675 4294440944 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 5077 4594 145 303 0 4772 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20308

[startup+25.5011 s]
/proc/loadavg: 0.95 0.97 0.91 3/107 28500
/proc/meminfo: memFree=1821964/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=30096 CPUtime=25.49
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 7664 0 0 0 2520 29 0 0 25 0 1 0 87326752 30818304 7033 1992294400 134512640 135752675 4294440944 18446744073709551615 134611679 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 7524 7033 145 303 0 7219 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 30096

[startup+51.1009 s]
/proc/loadavg: 0.96 0.97 0.91 2/107 28500
/proc/meminfo: memFree=1808324/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=43684 CPUtime=51.08
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 11030 0 0 0 5066 42 0 0 25 0 1 0 87326752 44732416 10399 1992294400 134512640 135752675 4294440944 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 10921 10399 145 303 0 10616 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 43684

[startup+102.308 s]
/proc/loadavg: 0.98 0.97 0.91 2/107 28502
/proc/meminfo: memFree=1791460/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=60628 CPUtime=102.27
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 15194 0 0 0 10168 59 0 0 25 0 1 0 87326752 62083072 14563 1992294400 134512640 135752675 4294440944 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 15157 14563 145 303 0 14852 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 60628

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28504
/proc/meminfo: memFree=1765420/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=86760 CPUtime=162.24
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 21705 0 0 0 16138 86 0 0 25 0 1 0 87326752 88842240 21074 1992294400 134512640 135752675 4294440944 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 21690 21074 145 303 0 21385 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 86760

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28504
/proc/meminfo: memFree=1754880/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=95972 CPUtime=222.2
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 24574 0 0 0 22110 110 0 0 25 0 1 0 87326752 98275328 23543 1992294400 134512640 135752675 4294440944 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 23993 23543 146 303 0 23688 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 95972

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28506
/proc/meminfo: memFree=1744092/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=107312 CPUtime=282.18
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 27399 0 0 0 28076 142 0 0 25 0 1 0 87326752 109887488 26368 1992294400 134512640 135752675 4294440944 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 26828 26368 146 303 0 26523 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 107312

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28508
/proc/meminfo: memFree=1727600/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=123724 CPUtime=342.17
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 31448 0 0 0 34049 168 0 0 25 0 1 0 87326752 126693376 30417 1992294400 134512640 135752675 4294440944 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 30931 30417 146 303 0 30626 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 123724

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28510
/proc/meminfo: memFree=1711108/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=140224 CPUtime=402.16
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 35573 0 0 0 40023 193 0 0 25 0 1 0 87326752 143589376 34542 1992294400 134512640 135752675 4294440944 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 35056 34542 146 303 0 34751 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 140224

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28512
/proc/meminfo: memFree=1696724/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=154696 CPUtime=462.14
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 39125 0 0 0 46001 213 0 0 25 0 1 0 87326752 158408704 38094 1992294400 134512640 135752675 4294440944 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 38674 38094 146 303 0 38369 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 154696

[startup+522.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28512
/proc/meminfo: memFree=1674032/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=177712 CPUtime=522.12
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 44869 0 0 0 51970 242 0 0 25 0 1 0 87326752 181977088 43838 1992294400 134512640 135752675 4294440944 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 44428 43838 146 303 0 44123 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 177712

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28514
/proc/meminfo: memFree=1657664/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=193772 CPUtime=582.1
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 48854 0 0 0 57946 264 0 0 25 0 1 0 87326752 198422528 47823 1992294400 134512640 135752675 4294440944 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 48443 47823 146 303 0 48138 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 193772

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28516
/proc/meminfo: memFree=1634352/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=217092 CPUtime=642.1
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 54640 0 0 0 63920 290 0 0 25 0 1 0 87326752 222302208 53609 1992294400 134512640 135752675 4294440944 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 54273 53609 146 303 0 53968 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 217092

[startup+702.301 s]

################
# More data... #
################

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28520
/proc/meminfo: memFree=1586240/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=265248 CPUtime=822.04
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 66640 0 0 0 81846 358 0 0 25 0 1 0 87326752 271613952 65609 1992294400 134512640 135752675 4294440944 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 66312 65609 146 303 0 66007 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 265248

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28522
/proc/meminfo: memFree=1573716/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=278052 CPUtime=882.03
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 69760 0 0 0 87830 373 0 0 25 0 1 0 87326752 284725248 68729 1992294400 134512640 135752675 4294440944 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 69513 68729 146 303 0 69208 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 278052

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28524
/proc/meminfo: memFree=1563548/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=288256 CPUtime=942.02
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 72329 0 0 0 93814 388 0 0 25 0 1 0 87326752 295174144 71298 1992294400 134512640 135752675 4294440944 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 72064 71298 146 303 0 71759 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 288256

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28526
/proc/meminfo: memFree=1550280/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=301332 CPUtime=1002
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 75584 0 0 0 99795 405 0 0 25 0 1 0 87326752 308563968 74553 1992294400 134512640 135752675 4294440944 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 75333 74553 146 303 0 75028 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 301332

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28528
/proc/meminfo: memFree=1529200/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=321676 CPUtime=1061.98
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 80810 0 0 0 105770 428 0 0 25 0 1 0 87326752 329396224 79651 1992294400 134512640 135752675 4294440944 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 80419 79651 146 303 0 80114 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 321676

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28528
/proc/meminfo: memFree=1528580/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=321676 CPUtime=1121.97
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 81074 0 0 0 111745 452 0 0 25 0 1 0 87326752 329396224 79915 1992294400 134512640 135752675 4294440944 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 80419 79915 146 303 0 80114 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 321676

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28530
/proc/meminfo: memFree=1518660/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=331980 CPUtime=1181.96
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 83592 0 0 0 117721 475 0 0 25 0 1 0 87326752 339947520 82433 1992294400 134512640 135752675 4294440944 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 82995 82433 146 303 0 82690 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 331980

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28532
/proc/meminfo: memFree=1503532/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=346968 CPUtime=1241.93
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 87313 0 0 0 123694 499 0 0 25 0 1 0 87326752 355295232 86154 1992294400 134512640 135752675 4294440944 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 86742 86154 146 303 0 86437 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 346968

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28534
/proc/meminfo: memFree=1481212/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=369112 CPUtime=1301.92
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 92838 0 0 0 129663 529 0 0 25 0 1 0 87326752 377970688 91679 1992294400 134512640 135752675 4294440944 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 92278 91679 146 303 0 91973 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 369112

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28536
/proc/meminfo: memFree=1464968/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=385596 CPUtime=1361.9
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 96913 0 0 0 135639 551 0 0 25 0 1 0 87326752 394850304 95754 1992294400 134512640 135752675 4294440944 18446744073709551615 134611574 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 96399 95754 146 303 0 96094 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 385596

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28536
/proc/meminfo: memFree=1446616/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=403928 CPUtime=1421.89
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 101487 0 0 0 141617 572 0 0 25 0 1 0 87326752 413622272 100328 1992294400 134512640 135752675 4294440944 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 100982 100328 146 303 0 100677 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 403928

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 28538
/proc/meminfo: memFree=1430620/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=420056 CPUtime=1481.87
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 105510 0 0 0 147595 592 0 0 25 0 1 0 87326752 430137344 104351 1992294400 134512640 135752675 4294440944 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 105014 104351 146 303 0 104709 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 420056

[startup+1542.3 s]
/proc/loadavg: 1.04 0.99 0.91 2/107 28540
/proc/meminfo: memFree=1417600/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=433268 CPUtime=1541.86
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 108728 0 0 0 153580 606 0 0 25 0 1 0 87326752 443666432 107569 1992294400 134512640 135752675 4294440944 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 108317 107569 146 303 0 108012 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 433268

[startup+1602.3 s]
/proc/loadavg: 1.12 1.02 0.93 2/107 28545
/proc/meminfo: memFree=1405200/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=445384 CPUtime=1601.84
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 111724 0 0 0 159564 620 0 0 25 0 1 0 87326752 456073216 110565 1992294400 134512640 135752675 4294440944 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 111346 110565 146 303 0 111041 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 445384

[startup+1662.3 s]
/proc/loadavg: 1.08 1.03 0.93 2/107 28547
/proc/meminfo: memFree=1395156/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=455592 CPUtime=1661.82
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 114268 0 0 0 165550 632 0 0 25 0 1 0 87326752 466526208 113109 1992294400 134512640 135752675 4294440944 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 113898 113109 146 303 0 113593 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 455592

[startup+1722.3 s]
/proc/loadavg: 1.06 1.03 0.94 2/107 28547
/proc/meminfo: memFree=1374820/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=476072 CPUtime=1721.81
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 119379 0 0 0 171526 655 0 0 25 0 1 0 87326752 487497728 118220 1992294400 134512640 135752675 4294440944 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 119018 118220 146 303 0 118713 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 476072

[startup+1782.3 s]
/proc/loadavg: 1.13 1.05 0.95 2/107 28549
/proc/meminfo: memFree=1356716/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=494100 CPUtime=1781.8
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 123853 0 0 0 177510 670 0 0 25 0 1 0 87326752 505958400 122694 1992294400 134512640 135752675 4294440944 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 123525 122694 146 303 0 123220 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 494100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.09 1.05 0.95 2/107 28549
/proc/meminfo: memFree=1351632/2059040 swapFree=4136688/4192956
[pid=28497] ppid=28495 vsize=499116 CPUtime=1800.11
/proc/28497/stat : 28497 (wbo1.4b) R 28495 28497 27934 0 -1 4202496 125110 0 0 0 179337 674 0 0 25 0 1 0 87326752 511094784 123951 1992294400 134512640 135752675 4294440944 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28497/statm: 124779 123951 146 303 0 124474 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 499116

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.67
CPU time (s): 1800.17
CPU user time (s): 1793.37
CPU system time (s): 6.79797
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 499116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.37
system time used= 6.79797
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125110
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= 31
involuntary context switches= 1763

runsolver used 2.89556 second user time and 8.63069 second system time

The end

Launcher Data 

Begin job on node047 at 2010-06-25 12:05:47
IDJOB=2680377
IDBENCH=71823
IDSOLVER=1190
FILE ID=node047/2680377-1277460347
PBS_JOBID= 11188121
Free space on /tmp= 62480 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-4000opt.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680377-1277460347/watcher-2680377-1277460347 -o /tmp/evaluation-result-2680377-1277460347/solver-2680377-1277460347 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680377-1277460347.opb

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

MD5SUM BENCH= 6c6e5d09e1e6b4cdc1d36588d438ba6a
RANDOM SEED=1765486200

node047.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.244
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.48
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.244
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:       1850400 kB
Buffers:         34780 kB
Cached:          76284 kB
SwapCached:       9176 kB
Active:          58648 kB
Inactive:        65380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1850400 kB
SwapTotal:     4192956 kB
SwapFree:      4136688 kB
Dirty:            4724 kB
Writeback:           0 kB
AnonPages:       11716 kB
Mapped:           8424 kB
Slab:            62640 kB
PageTables:       4216 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181380 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= 62476 MiB
End job on node047 at 2010-06-25 12:35:50