Trace number 2680385

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.08 1800.66

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-2000opt.opb
MD5SUM5ab7e551a21f0b7676d0c7dccbb62e78
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-167
Best CPU time to get the best result obtained on this benchmark30.0604
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 constraints61821
Number of constraints which are clauses61821
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 326
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 326
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-2680385-1277460406.opb.
0.00/0.00	c Instance file HOME/instance-2680385-1277460406.opb
0.00/0.00	c File size is 2061590 bytes.
0.29/0.32	c Highest Coefficient sum: 4
0.29/0.32	c ============================[ Problem Statistics ]=============================
0.29/0.32	c |                                                                             |
0.29/0.32	c |  Parsing time:          0.32         s                                      |
0.29/0.32	c |  Number Variables:      2025                                                |
0.29/0.32	c |  Number Clauses:        61821                                               |
0.29/0.32	c |  Number Cardinality:    0                                                   |
0.29/0.32	c |  Number PB Constraints: 0                                                   |
0.39/0.41	c ============================[ Search Statistics ]==============================
0.39/0.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.41	c ===============================================================================
0.39/0.41	c |         0 |    2018    61828   184293 |    20607        0    nan |  0.000 % |
0.39/0.42	c ===============================================================================
0.39/0.42	c New solution: 0
0.39/0.42	o 0
0.39/0.42	c Elapsed CPU time: 0.417936 s	Remaining CPU time: 179.582 s
0.39/0.42	c ===============================================================================
0.39/0.42	c |         0 |    2018    61829   184428 |    20609        0    nan |  0.000 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c New solution: -4
0.39/0.43	o -4
0.39/0.43	c Elapsed CPU time: 0.423935 s	Remaining CPU time: 179.576 s
0.39/0.43	c ===============================================================================
0.39/0.43	c |         0 |    2018    61830   184563 |    20610        0    nan |  0.000 % |
0.39/0.44	c ===============================================================================
0.39/0.44	c New solution: -6
0.39/0.44	o -6
0.39/0.44	c Elapsed CPU time: 0.434933 s	Remaining CPU time: 179.565 s
0.39/0.44	c ===============================================================================
0.39/0.44	c |         0 |    2018    61831   184698 |    20610        0    nan |  0.000 % |
0.39/0.45	c ===============================================================================
0.39/0.45	c New solution: -8
0.39/0.45	o -8
0.39/0.45	c Elapsed CPU time: 0.444932 s	Remaining CPU time: 179.555 s
0.39/0.45	c ===============================================================================
0.39/0.45	c |         0 |    2018    61832   184833 |    20610        0    nan |  0.000 % |
0.39/0.46	c ===============================================================================
0.39/0.46	c New solution: -10
0.39/0.46	o -10
0.39/0.46	c Elapsed CPU time: 0.45393 s	Remaining CPU time: 179.546 s
0.39/0.46	c ===============================================================================
0.39/0.46	c |         1 |    2018    61833   184968 |    20611        1    132 |  0.000 % |
0.39/0.47	c ===============================================================================
0.39/0.47	c New solution: -11
0.39/0.47	o -11
0.39/0.47	c Elapsed CPU time: 0.464929 s	Remaining CPU time: 179.535 s
0.39/0.47	c ===============================================================================
0.39/0.47	c |         1 |    2018    61834   185103 |    20611        1    132 |  0.000 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c New solution: -12
0.39/0.48	o -12
0.39/0.48	c Elapsed CPU time: 0.475927 s	Remaining CPU time: 179.524 s
0.39/0.48	c ===============================================================================
0.39/0.48	c |         3 |    2018    61835   185238 |    20611        3    130 |  0.000 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c New solution: -13
0.39/0.49	o -13
0.39/0.49	c Elapsed CPU time: 0.483926 s	Remaining CPU time: 179.516 s
0.39/0.49	c ===============================================================================
0.39/0.49	c |         3 |    2018    61836   185373 |    20612        3    130 |  0.000 % |
0.49/0.51	c ===============================================================================
0.49/0.51	c New solution: -14
0.49/0.51	o -14
0.49/0.51	c Elapsed CPU time: 0.494924 s	Remaining CPU time: 179.505 s
0.49/0.51	c ===============================================================================
0.49/0.51	c |         3 |    2018    61837   185508 |    20612        3    130 |  0.000 % |
0.49/0.52	c ===============================================================================
0.49/0.52	c New solution: -15
0.49/0.52	o -15
0.49/0.52	c Elapsed CPU time: 0.504923 s	Remaining CPU time: 179.495 s
0.49/0.52	c ===============================================================================
0.49/0.52	c |         3 |    2018    61838   185643 |    20612        3    130 |  0.000 % |
0.49/0.53	c ===============================================================================
0.49/0.53	c New solution: -16
0.49/0.53	o -16
0.49/0.53	c Elapsed CPU time: 0.512922 s	Remaining CPU time: 179.487 s
0.49/0.53	c ===============================================================================
0.49/0.53	c |         3 |    2018    61839   185778 |    20613        3    130 |  0.000 % |
0.49/0.54	c ===============================================================================
0.49/0.54	c New solution: -17
0.49/0.54	o -17
0.49/0.54	c Elapsed CPU time: 0.52292 s	Remaining CPU time: 179.477 s
0.49/0.54	c ===============================================================================
0.49/0.54	c |         3 |    2018    61840   185913 |    20613        3    130 |  0.000 % |
0.49/0.55	c ===============================================================================
0.49/0.55	c New solution: -18
0.49/0.55	o -18
0.49/0.55	c Elapsed CPU time: 0.531919 s	Remaining CPU time: 179.468 s
0.49/0.55	c ===============================================================================
0.49/0.55	c |         3 |    2018    61841   186048 |    20613        3    130 |  0.000 % |
0.49/0.56	c ===============================================================================
0.49/0.56	c New solution: -19
0.49/0.56	o -19
0.49/0.56	c Elapsed CPU time: 0.540917 s	Remaining CPU time: 179.459 s
0.49/0.56	c ===============================================================================
0.49/0.56	c |         5 |    2018    61842   186183 |    20614        5    127 |  0.000 % |
0.49/0.57	c ===============================================================================
0.49/0.57	c New solution: -20
0.49/0.57	o -20
0.49/0.57	c Elapsed CPU time: 0.550916 s	Remaining CPU time: 179.449 s
0.49/0.57	c ===============================================================================
0.49/0.57	c |         6 |    2018    61843   186318 |    20614        6    127 |  0.000 % |
0.49/0.58	c ===============================================================================
0.49/0.58	c New solution: -21
0.49/0.58	o -21
0.49/0.58	c Elapsed CPU time: 0.560914 s	Remaining CPU time: 179.439 s
0.49/0.58	c ===============================================================================
0.49/0.58	c |        10 |    2018    61844   186453 |    20614       10    126 |  0.000 % |
0.49/0.59	c ===============================================================================
0.49/0.59	c New solution: -22
0.49/0.59	o -22
0.49/0.59	c Elapsed CPU time: 0.569913 s	Remaining CPU time: 179.43 s
0.49/0.59	c ===============================================================================
0.49/0.59	c |        10 |    2018    61845   186588 |    20615       10    126 |  0.000 % |
0.59/0.60	c ===============================================================================
0.59/0.60	c New solution: -23
0.59/0.60	o -23
0.59/0.60	c Elapsed CPU time: 0.579911 s	Remaining CPU time: 179.42 s
0.59/0.60	c ===============================================================================
0.59/0.60	c |        11 |    2018    61846   186723 |    20615       11    126 |  0.000 % |
0.59/0.61	c ===============================================================================
0.59/0.61	c New solution: -24
0.59/0.61	o -24
0.59/0.61	c Elapsed CPU time: 0.58991 s	Remaining CPU time: 179.41 s
0.59/0.61	c ===============================================================================
0.59/0.61	c |        11 |    2018    61847   186858 |    20615       11    126 |  0.000 % |
0.59/0.62	c ===============================================================================
0.59/0.62	c New solution: -25
0.59/0.62	o -25
0.59/0.62	c Elapsed CPU time: 0.597909 s	Remaining CPU time: 179.402 s
0.59/0.62	c ===============================================================================
0.59/0.62	c |        12 |    2018    61848   186993 |    20616       12    116 |  0.000 % |
0.59/0.64	c ===============================================================================
0.59/0.64	c New solution: -26
0.59/0.64	o -26
0.59/0.64	c Elapsed CPU time: 0.607907 s	Remaining CPU time: 179.392 s
0.59/0.64	c ===============================================================================
0.59/0.64	c |        12 |    2018    61849   187128 |    20616       12    116 |  0.000 % |
0.59/0.65	c ===============================================================================
0.59/0.65	c New solution: -27
0.59/0.65	o -27
0.59/0.65	c Elapsed CPU time: 0.618905 s	Remaining CPU time: 179.381 s
0.59/0.65	c ===============================================================================
0.59/0.65	c |        15 |    2018    61850   187263 |    20616       15    117 |  0.000 % |
0.59/0.66	c ===============================================================================
0.59/0.66	c New solution: -28
0.59/0.66	o -28
0.59/0.66	c Elapsed CPU time: 0.627904 s	Remaining CPU time: 179.372 s
0.59/0.66	c ===============================================================================
0.59/0.66	c |        16 |    2018    61851   187398 |    20617       16    110 |  0.000 % |
0.59/0.67	c ===============================================================================
0.59/0.67	c New solution: -29
0.59/0.67	o -29
0.59/0.67	c Elapsed CPU time: 0.637903 s	Remaining CPU time: 179.362 s
0.59/0.67	c ===============================================================================
0.59/0.67	c |        17 |    2018    61852   187533 |    20617       17    111 |  0.000 % |
0.59/0.68	c ===============================================================================
0.59/0.68	c New solution: -30
0.59/0.68	o -30
0.59/0.68	c Elapsed CPU time: 0.648901 s	Remaining CPU time: 179.351 s
0.59/0.68	c ===============================================================================
0.59/0.68	c |        18 |    2018    61853   187668 |    20617       18    111 |  0.000 % |
0.59/0.69	c ===============================================================================
0.59/0.69	c New solution: -31
0.59/0.69	o -31
0.59/0.69	c Elapsed CPU time: 0.658899 s	Remaining CPU time: 179.341 s
0.59/0.69	c ===============================================================================
0.59/0.69	c |        20 |    2018    61854   187803 |    20618       20    112 |  0.000 % |
0.69/0.70	c ===============================================================================
0.69/0.70	c New solution: -32
0.69/0.70	o -32
0.69/0.70	c Elapsed CPU time: 0.666898 s	Remaining CPU time: 179.333 s
0.69/0.70	c ===============================================================================
0.69/0.70	c |        20 |    2018    61855   187938 |    20618       20    112 |  0.000 % |
0.69/0.71	c ===============================================================================
0.69/0.71	c New solution: -33
0.69/0.71	o -33
0.69/0.71	c Elapsed CPU time: 0.675897 s	Remaining CPU time: 179.324 s
0.69/0.71	c ===============================================================================
0.69/0.71	c |        20 |    2018    61856   188073 |    20618       20    112 |  0.000 % |
0.69/0.72	c ===============================================================================
0.69/0.72	c New solution: -34
0.69/0.72	o -34
0.69/0.72	c Elapsed CPU time: 0.684895 s	Remaining CPU time: 179.315 s
0.69/0.72	c ===============================================================================
0.69/0.72	c |        20 |    2018    61857   188208 |    20619       20    112 |  0.000 % |
0.69/0.73	c ===============================================================================
0.69/0.73	c New solution: -35
0.69/0.73	o -35
0.69/0.73	c Elapsed CPU time: 0.695894 s	Remaining CPU time: 179.304 s
0.69/0.73	c ===============================================================================
0.69/0.73	c |        26 |    2018    61858   188343 |    20619       26    114 |  0.000 % |
0.69/0.74	c ===============================================================================
0.69/0.74	c New solution: -36
0.69/0.74	o -36
0.69/0.74	c Elapsed CPU time: 0.703892 s	Remaining CPU time: 179.296 s
0.69/0.74	c ===============================================================================
0.69/0.74	c |        26 |    2018    61859   188478 |    20619       26    114 |  0.000 % |
0.69/0.75	c ===============================================================================
0.69/0.75	c New solution: -37
0.69/0.75	o -37
0.69/0.75	c Elapsed CPU time: 0.713891 s	Remaining CPU time: 179.286 s
0.69/0.75	c ===============================================================================
0.69/0.75	c |        26 |    2018    61860   188613 |    20620       26    114 |  0.000 % |
0.69/0.77	c ===============================================================================
0.69/0.77	c New solution: -38
0.69/0.77	o -38
0.69/0.77	c Elapsed CPU time: 0.723889 s	Remaining CPU time: 179.276 s
0.69/0.77	c ===============================================================================
0.69/0.77	c |        30 |    2018    61861   188748 |    20620       30    114 |  0.000 % |
0.69/0.78	c ===============================================================================
0.69/0.78	c New solution: -39
0.69/0.78	o -39
0.69/0.78	c Elapsed CPU time: 0.732888 s	Remaining CPU time: 179.267 s
0.69/0.78	c ===============================================================================
0.69/0.78	c |        32 |    2018    61862   188883 |    20620       32    114 |  0.000 % |
0.69/0.79	c ===============================================================================
0.69/0.79	c New solution: -40
0.69/0.79	o -40
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 |        32 |    2018    61863   189018 |    20621       32    114 |  0.000 % |
0.79/0.80	c ===============================================================================
0.79/0.80	c New solution: -41
0.79/0.80	o -41
0.79/0.80	c Elapsed CPU time: 0.748886 s	Remaining CPU time: 179.251 s
0.79/0.80	c ===============================================================================
0.79/0.80	c |        32 |    2018    61864   189153 |    20621       32    114 |  0.000 % |
0.79/0.81	c ===============================================================================
0.79/0.81	c New solution: -42
0.79/0.81	o -42
0.79/0.81	c Elapsed CPU time: 0.757884 s	Remaining CPU time: 179.242 s
0.79/0.81	c ===============================================================================
0.79/0.81	c |        32 |    2018    61865   189288 |    20621       32    114 |  0.000 % |
0.79/0.82	c ===============================================================================
0.79/0.82	c New solution: -43
0.79/0.82	o -43
0.79/0.82	c Elapsed CPU time: 0.767883 s	Remaining CPU time: 179.232 s
0.79/0.82	c ===============================================================================
0.79/0.82	c |        36 |    2018    61866   189423 |    20622       36    115 |  0.000 % |
0.79/0.83	c ===============================================================================
0.79/0.83	c New solution: -44
0.79/0.83	o -44
0.79/0.83	c Elapsed CPU time: 0.777881 s	Remaining CPU time: 179.222 s
0.79/0.83	c ===============================================================================
0.79/0.83	c |        36 |    2018    61867   189558 |    20622       36    115 |  0.000 % |
0.79/0.84	c ===============================================================================
0.79/0.84	c New solution: -45
0.79/0.84	o -45
0.79/0.84	c Elapsed CPU time: 0.78788 s	Remaining CPU time: 179.212 s
0.79/0.84	c ===============================================================================
0.79/0.84	c |        36 |    2018    61868   189693 |    20622       36    115 |  0.000 % |
0.79/0.85	c ===============================================================================
0.79/0.85	c New solution: -46
0.79/0.85	o -46
0.79/0.85	c Elapsed CPU time: 0.796878 s	Remaining CPU time: 179.203 s
0.79/0.85	c ===============================================================================
0.79/0.85	c |        36 |    2018    61869   189828 |    20623       36    115 |  0.000 % |
0.79/0.86	c ===============================================================================
0.79/0.86	c New solution: -47
0.79/0.86	o -47
0.79/0.86	c Elapsed CPU time: 0.805877 s	Remaining CPU time: 179.194 s
0.79/0.86	c ===============================================================================
0.79/0.86	c |        37 |    2018    61870   189963 |    20623       37    115 |  0.000 % |
0.79/0.87	c ===============================================================================
0.79/0.87	c New solution: -48
0.79/0.87	o -48
0.79/0.87	c Elapsed CPU time: 0.817875 s	Remaining CPU time: 179.182 s
0.79/0.87	c ===============================================================================
0.79/0.87	c |        39 |    2018    61871   190098 |    20623       39    115 |  0.000 % |
0.79/0.88	c ===============================================================================
0.79/0.88	c New solution: -49
0.79/0.88	o -49
0.79/0.88	c Elapsed CPU time: 0.827874 s	Remaining CPU time: 179.172 s
0.79/0.88	c ===============================================================================
0.79/0.88	c |        39 |    2018    61872   190233 |    20624       39    115 |  0.000 % |
0.79/0.90	c ===============================================================================
0.79/0.90	c New solution: -50
0.79/0.90	o -50
0.79/0.90	c Elapsed CPU time: 0.839872 s	Remaining CPU time: 179.16 s
0.79/0.90	c ===============================================================================
0.79/0.90	c |        43 |    2018    61873   190368 |    20624       43    112 |  0.000 % |
0.89/0.91	c ===============================================================================
0.89/0.91	c New solution: -51
0.89/0.91	o -51
0.89/0.91	c Elapsed CPU time: 0.84987 s	Remaining CPU time: 179.15 s
0.89/0.91	c ===============================================================================
0.89/0.91	c |        45 |    2018    61874   190503 |    20624       45    112 |  0.000 % |
0.89/0.92	c ===============================================================================
0.89/0.92	c New solution: -52
0.89/0.92	o -52
0.89/0.92	c Elapsed CPU time: 0.860869 s	Remaining CPU time: 179.139 s
0.89/0.92	c ===============================================================================
0.89/0.92	c |        53 |    2018    61875   190638 |    20625       53    112 |  0.000 % |
0.89/0.93	c ===============================================================================
0.89/0.93	c New solution: -53
0.89/0.93	o -53
0.89/0.93	c Elapsed CPU time: 0.870867 s	Remaining CPU time: 179.129 s
0.89/0.93	c ===============================================================================
0.89/0.93	c |        53 |    2018    61876   190773 |    20625       53    112 |  0.000 % |
0.89/0.94	c ===============================================================================
0.89/0.94	c New solution: -54
0.89/0.94	o -54
0.89/0.94	c Elapsed CPU time: 0.883865 s	Remaining CPU time: 179.116 s
0.89/0.94	c ===============================================================================
0.89/0.94	c |        64 |    2018    61877   190908 |    20625       64    112 |  0.000 % |
0.89/0.95	c ===============================================================================
0.89/0.95	c New solution: -55
0.89/0.95	o -55
0.89/0.95	c Elapsed CPU time: 0.894863 s	Remaining CPU time: 179.105 s
0.89/0.95	c ===============================================================================
0.89/0.95	c |        66 |    2018    61878   191043 |    20626       66    112 |  0.000 % |
0.89/0.96	c ===============================================================================
0.89/0.96	c New solution: -56
0.89/0.96	o -56
0.89/0.96	c Elapsed CPU time: 0.905862 s	Remaining CPU time: 179.094 s
0.89/0.96	c ===============================================================================
0.89/0.96	c |        66 |    2018    61879   191178 |    20626       66    112 |  0.000 % |
0.89/0.98	c ===============================================================================
0.89/0.98	c New solution: -57
0.89/0.98	o -57
0.89/0.98	c Elapsed CPU time: 0.91786 s	Remaining CPU time: 179.082 s
0.89/0.98	c ===============================================================================
0.89/0.98	c |        79 |    2018    61880   191313 |    20626       79    110 |  0.000 % |
0.89/0.99	c ===============================================================================
0.89/0.99	c New solution: -58
0.89/0.99	o -58
0.89/0.99	c Elapsed CPU time: 0.928858 s	Remaining CPU time: 179.071 s
0.89/0.99	c ===============================================================================
0.89/0.99	c |        85 |    2018    61881   191448 |    20627       85    110 |  0.000 % |
1.00/1.00	c ===============================================================================
1.00/1.00	c New solution: -59
1.00/1.00	o -59
1.00/1.00	c Elapsed CPU time: 0.938857 s	Remaining CPU time: 179.061 s
1.00/1.00	c ===============================================================================
1.00/1.00	c |        85 |    2018    61882   191583 |    20627       85    110 |  0.000 % |
1.00/1.01	c ===============================================================================
1.00/1.01	c New solution: -60
1.00/1.01	o -60
1.00/1.01	c Elapsed CPU time: 0.944856 s	Remaining CPU time: 179.055 s
1.00/1.01	c ===============================================================================
1.00/1.01	c |        91 |    2018    61883   191718 |    20627       91    110 |  0.000 % |
1.00/1.02	c ===============================================================================
1.00/1.02	c New solution: -61
1.00/1.02	o -61
1.00/1.02	c Elapsed CPU time: 0.955854 s	Remaining CPU time: 179.044 s
1.00/1.02	c ===============================================================================
1.00/1.02	c |       117 |    2018    61884   191853 |    20628      117    109 |  0.000 % |
1.00/1.03	c ===============================================================================
1.00/1.03	c New solution: -62
1.00/1.03	o -62
1.00/1.03	c Elapsed CPU time: 0.965853 s	Remaining CPU time: 179.034 s
1.00/1.03	c ===============================================================================
1.00/1.03	c |       117 |    2018    61885   191988 |    20628      117    109 |  0.000 % |
1.00/1.04	c ===============================================================================
1.00/1.04	c New solution: -63
1.00/1.04	o -63
1.00/1.04	c Elapsed CPU time: 0.976851 s	Remaining CPU time: 179.023 s
1.00/1.04	c ===============================================================================
1.00/1.04	c |       117 |    2018    61886   192123 |    20628      117    109 |  0.000 % |
1.00/1.05	c ===============================================================================
1.00/1.05	c New solution: -64
1.00/1.05	o -64
1.00/1.05	c Elapsed CPU time: 0.98585 s	Remaining CPU time: 179.014 s
1.00/1.05	c ===============================================================================
1.00/1.05	c |       117 |    2018    61887   192258 |    20629      117    109 |  0.000 % |
1.00/1.07	c ===============================================================================
1.00/1.07	c New solution: -65
1.00/1.07	o -65
1.00/1.07	c Elapsed CPU time: 0.998848 s	Remaining CPU time: 179.001 s
1.00/1.07	c ===============================================================================
1.00/1.07	c |       155 |    2018    61888   192393 |    20629      155    108 |  0.000 % |
1.00/1.08	c ===============================================================================
1.00/1.08	c New solution: -66
1.00/1.08	o -66
1.00/1.08	c Elapsed CPU time: 1.00785 s	Remaining CPU time: 178.992 s
1.00/1.08	c ===============================================================================
1.00/1.08	c |       155 |    2018    61889   192528 |    20629      155    108 |  0.000 % |
1.00/1.09	c ===============================================================================
1.00/1.09	c New solution: -67
1.00/1.09	o -67
1.00/1.09	c Elapsed CPU time: 1.01984 s	Remaining CPU time: 178.98 s
1.00/1.09	c ===============================================================================
1.00/1.09	c |       155 |    2018    61890   192663 |    20630      155    108 |  0.000 % |
1.00/1.10	c ===============================================================================
1.00/1.10	c New solution: -68
1.00/1.10	o -68
1.00/1.10	c Elapsed CPU time: 1.02984 s	Remaining CPU time: 178.97 s
1.00/1.10	c ===============================================================================
1.00/1.10	c |       166 |    2018    61891   192798 |    20630      166    108 |  0.000 % |
1.10/1.11	c ===============================================================================
1.10/1.11	c New solution: -69
1.10/1.11	o -69
1.10/1.11	c Elapsed CPU time: 1.04184 s	Remaining CPU time: 178.958 s
1.10/1.11	c ===============================================================================
1.10/1.11	c |       166 |    2018    61892   192933 |    20630      166    108 |  0.000 % |
1.10/1.12	c ===============================================================================
1.10/1.12	c New solution: -70
1.10/1.12	o -70
1.10/1.12	c Elapsed CPU time: 1.05184 s	Remaining CPU time: 178.948 s
1.10/1.12	c ===============================================================================
1.10/1.12	c |       166 |    2018    61893   193068 |    20631      166    108 |  0.000 % |
1.10/1.14	c ===============================================================================
1.10/1.14	c New solution: -71
1.10/1.14	o -71
1.10/1.14	c Elapsed CPU time: 1.06384 s	Remaining CPU time: 178.936 s
1.10/1.14	c ===============================================================================
1.10/1.14	c |       169 |    2018    61894   193203 |    20631      169    108 |  0.000 % |
1.10/1.15	c ===============================================================================
1.10/1.15	c New solution: -72
1.10/1.15	o -72
1.10/1.15	c Elapsed CPU time: 1.07484 s	Remaining CPU time: 178.925 s
1.10/1.15	c ===============================================================================
1.10/1.15	c |       169 |    2018    61895   193338 |    20631      169    108 |  0.000 % |
1.10/1.16	c ===============================================================================
1.10/1.16	c New solution: -73
1.10/1.16	o -73
1.10/1.16	c Elapsed CPU time: 1.08583 s	Remaining CPU time: 178.914 s
1.10/1.16	c ===============================================================================
1.10/1.16	c |       169 |    2018    61896   193473 |    20632      169    108 |  0.000 % |
1.10/1.18	c |       269 |    2018    61896   193473 |    22695      269    104 |  0.346 % |
1.10/1.19	c ===============================================================================
1.10/1.19	c New solution: -75
1.10/1.19	o -75
1.10/1.19	c Elapsed CPU time: 1.11583 s	Remaining CPU time: 178.884 s
1.10/1.19	c ===============================================================================
1.10/1.19	c |       269 |    2018    61897   193608 |    20632      269    104 |  0.346 % |
1.19/1.21	c |       369 |    2018    61897   193608 |    22695      369    104 |  0.346 % |
1.19/1.23	c ===============================================================================
1.19/1.23	c New solution: -76
1.19/1.23	o -76
1.19/1.23	c Elapsed CPU time: 1.15282 s	Remaining CPU time: 178.847 s
1.19/1.23	c ===============================================================================
1.19/1.23	c |       439 |    2018    61898   193743 |    20632      439    103 |  0.346 % |
1.19/1.25	c |       539 |    2018    61898   193743 |    22695      539    103 |  0.346 % |
1.19/1.28	c |       689 |    2018    61898   193743 |    24965      689    103 |  0.346 % |
1.29/1.33	c ===============================================================================
1.29/1.33	c New solution: -77
1.29/1.33	o -77
1.29/1.33	c Elapsed CPU time: 1.24581 s	Remaining CPU time: 178.754 s
1.29/1.33	c ===============================================================================
1.29/1.33	c |       908 |    2018    61899   193878 |    20633      908    103 |  0.346 % |
1.29/1.34	c ===============================================================================
1.29/1.34	c New solution: -78
1.29/1.34	o -78
1.29/1.34	c Elapsed CPU time: 1.26081 s	Remaining CPU time: 178.739 s
1.29/1.34	c ===============================================================================
1.29/1.34	c |       915 |    2018    61900   194013 |    20633      915    103 |  0.346 % |
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.2828 s	Remaining CPU time: 178.717 s
1.29/1.37	c ===============================================================================
1.29/1.37	c |       971 |    2018    61901   194148 |    20633      971    103 |  0.346 % |
1.29/1.38	c ===============================================================================
1.29/1.38	c New solution: -80
1.29/1.38	o -80
1.29/1.38	c Elapsed CPU time: 1.2918 s	Remaining CPU time: 178.708 s
1.29/1.38	c ===============================================================================
1.29/1.38	c |       977 |    2018    61902   194283 |    20634      977    103 |  0.346 % |
1.39/1.40	c ===============================================================================
1.39/1.40	c New solution: -81
1.39/1.40	o -81
1.39/1.40	c Elapsed CPU time: 1.3188 s	Remaining CPU time: 178.681 s
1.39/1.40	c ===============================================================================
1.39/1.40	c |      1074 |    2018    61903   194418 |    20634     1074    103 |  0.346 % |
1.39/1.42	c ===============================================================================
1.39/1.42	c New solution: -82
1.39/1.42	o -82
1.39/1.42	c Elapsed CPU time: 1.3298 s	Remaining CPU time: 178.67 s
1.39/1.42	c ===============================================================================
1.39/1.42	c |      1078 |    2018    61904   194553 |    20634     1078    103 |  0.346 % |
1.39/1.43	c ===============================================================================
1.39/1.43	c New solution: -83
1.39/1.43	o -83
1.39/1.43	c Elapsed CPU time: 1.3408 s	Remaining CPU time: 178.659 s
1.39/1.43	c ===============================================================================
1.39/1.43	c |      1080 |    2018    61905   194688 |    20635     1080    103 |  0.346 % |
1.39/1.45	c ===============================================================================
1.39/1.45	c New solution: -84
1.39/1.45	o -84
1.39/1.45	c Elapsed CPU time: 1.35479 s	Remaining CPU time: 178.645 s
1.39/1.45	c ===============================================================================
1.39/1.45	c |      1107 |    2018    61906   194823 |    20635     1107    103 |  0.346 % |
1.39/1.47	c |      1208 |    2018    61906   194823 |    22698     1208    103 |  0.346 % |
1.39/1.49	c ===============================================================================
1.39/1.49	c New solution: -85
1.39/1.49	o -85
1.39/1.49	c Elapsed CPU time: 1.40179 s	Remaining CPU time: 178.598 s
1.39/1.49	c ===============================================================================
1.39/1.49	c |      1321 |    2018    61907   194958 |    20635     1321    103 |  0.346 % |
1.49/1.51	c ===============================================================================
1.49/1.51	c New solution: -86
1.49/1.51	o -86
1.49/1.51	c Elapsed CPU time: 1.41578 s	Remaining CPU time: 178.584 s
1.49/1.51	c ===============================================================================
1.49/1.51	c |      1329 |    2018    61908   195093 |    20636     1329    103 |  0.346 % |
1.49/1.52	c ===============================================================================
1.49/1.52	c New solution: -87
1.49/1.52	o -87
1.49/1.52	c Elapsed CPU time: 1.42778 s	Remaining CPU time: 178.572 s
1.49/1.52	c ===============================================================================
1.49/1.52	c |      1329 |    2018    61909   195228 |    20636     1329    103 |  0.346 % |
1.49/1.53	c ===============================================================================
1.49/1.53	c New solution: -88
1.49/1.53	o -88
1.49/1.53	c Elapsed CPU time: 1.44078 s	Remaining CPU time: 178.559 s
1.49/1.53	c ===============================================================================
1.49/1.53	c |      1329 |    2018    61910   195363 |    20636     1329    103 |  0.346 % |
1.49/1.55	c |      1429 |    2018    61910   195363 |    22700     1429    103 |  0.346 % |
1.49/1.58	c ===============================================================================
1.49/1.58	c New solution: -89
1.49/1.58	o -89
1.49/1.58	c Elapsed CPU time: 1.48477 s	Remaining CPU time: 178.515 s
1.49/1.58	c ===============================================================================
1.49/1.58	c |      1496 |    2018    61911   195498 |    20637     1496    102 |  0.346 % |
1.59/1.60	c ===============================================================================
1.59/1.60	c New solution: -90
1.59/1.60	o -90
1.59/1.60	c Elapsed CPU time: 1.50777 s	Remaining CPU time: 178.492 s
1.59/1.60	c ===============================================================================
1.59/1.60	c |      1541 |    2018    61912   195633 |    20637     1541    102 |  0.346 % |
1.59/1.61	c ===============================================================================
1.59/1.61	c New solution: -91
1.59/1.61	o -91
1.59/1.61	c Elapsed CPU time: 1.51777 s	Remaining CPU time: 178.482 s
1.59/1.61	c ===============================================================================
1.59/1.61	c |      1552 |    2018    61913   195768 |    20637     1552    102 |  0.346 % |
1.59/1.63	c ===============================================================================
1.59/1.63	c New solution: -92
1.59/1.63	o -92
1.59/1.63	c Elapsed CPU time: 1.52877 s	Remaining CPU time: 178.471 s
1.59/1.63	c ===============================================================================
1.59/1.63	c |      1552 |    2018    61914   195903 |    20638     1552    102 |  0.346 % |
1.59/1.64	c |      1654 |    2018    61914   195903 |    22701     1654    102 |  0.346 % |
1.59/1.67	c |      1805 |    2018    61914   195903 |    24971     1805    102 |  0.346 % |
1.69/1.72	c |      2032 |    2018    61914   195903 |    27469     2032    101 |  0.346 % |
1.69/1.79	c |      2370 |    2018    61914   195903 |    30216     2370    100 |  0.346 % |
1.89/1.91	c |      2877 |    2018    61914   195903 |    33237     2877     98 |  0.346 % |
1.89/1.99	c ===============================================================================
1.89/1.99	c New solution: -93
1.89/1.99	o -93
1.89/1.99	c Elapsed CPU time: 1.88071 s	Remaining CPU time: 178.119 s
1.89/1.99	c ===============================================================================
1.89/1.99	c |      3118 |    2018    61915   196038 |    20638     3118     98 |  0.346 % |
2.00/2.00	c ===============================================================================
2.00/2.00	c New solution: -94
2.00/2.00	o -94
2.00/2.00	c Elapsed CPU time: 1.89271 s	Remaining CPU time: 178.107 s
2.00/2.00	c ===============================================================================
2.00/2.00	c |      3118 |    2018    61916   196173 |    20638     3118     98 |  0.346 % |
2.00/2.02	c ===============================================================================
2.00/2.02	c New solution: -95
2.00/2.02	o -95
2.00/2.02	c Elapsed CPU time: 1.90971 s	Remaining CPU time: 178.09 s
2.00/2.02	c ===============================================================================
2.00/2.02	c |      3137 |    2018    61917   196308 |    20639     3137     98 |  0.346 % |
2.00/2.03	c ===============================================================================
2.00/2.03	c New solution: -96
2.00/2.03	o -96
2.00/2.03	c Elapsed CPU time: 1.92371 s	Remaining CPU time: 178.076 s
2.00/2.03	c ===============================================================================
2.00/2.03	c |      3138 |    2018    61918   196443 |    20639     3138     98 |  0.346 % |
2.00/2.05	c ===============================================================================
2.00/2.05	c New solution: -97
2.00/2.05	o -97
2.00/2.05	c Elapsed CPU time: 1.9447 s	Remaining CPU time: 178.055 s
2.00/2.05	c ===============================================================================
2.00/2.05	c |      3171 |    2018    61919   196578 |    20639     3171     98 |  0.346 % |
2.00/2.07	c ===============================================================================
2.00/2.07	c New solution: -98
2.00/2.07	o -98
2.00/2.07	c Elapsed CPU time: 1.9587 s	Remaining CPU time: 178.041 s
2.00/2.07	c ===============================================================================
2.00/2.07	c |      3173 |    2018    61920   196713 |    20640     3173     98 |  0.346 % |
2.00/2.08	c ===============================================================================
2.00/2.08	c New solution: -99
2.00/2.08	o -99
2.00/2.08	c Elapsed CPU time: 1.9707 s	Remaining CPU time: 178.029 s
2.00/2.08	c ===============================================================================
2.00/2.08	c |      3173 |    2018    61921   196848 |    20640     3173     98 |  0.346 % |
2.10/2.11	c |      3273 |    2018    61921   196848 |    22704     3273     98 |  0.346 % |
2.10/2.15	c |      3424 |    2018    61921   196848 |    24974     3424     98 |  0.346 % |
2.20/2.22	c |      3649 |    2018    61921   196848 |    27472     3649     97 |  0.346 % |
2.29/2.32	c |      3986 |    2018    61921   196848 |    30219     3986     97 |  0.346 % |
2.39/2.47	c |      4494 |    2018    61921   196848 |    33241     4494     96 |  0.346 % |
2.59/2.68	c |      5254 |    2018    61921   196848 |    36565     5254     95 |  0.346 % |
2.89/2.99	c |      6393 |    2018    61921   196848 |    40222     6393     95 |  0.346 % |
3.09/3.12	c ===============================================================================
3.09/3.12	c New solution: -100
3.09/3.12	o -100
3.09/3.12	c Elapsed CPU time: 2.99554 s	Remaining CPU time: 177.004 s
3.09/3.12	c ===============================================================================
3.09/3.12	c |      6694 |    2018    61922   196983 |    20640     6694     95 |  0.346 % |
3.09/3.16	c |      6795 |    2018    61922   196983 |    22704     6795     95 |  0.346 % |
3.20/3.22	c ===============================================================================
3.20/3.22	c New solution: -101
3.20/3.22	o -101
3.20/3.22	c Elapsed CPU time: 3.09353 s	Remaining CPU time: 176.906 s
3.20/3.22	c ===============================================================================
3.20/3.22	c |      6936 |    2018    61923   197118 |    20641     6936     95 |  0.346 % |
3.20/3.24	c ===============================================================================
3.20/3.24	c New solution: -102
3.20/3.24	o -102
3.20/3.24	c Elapsed CPU time: 3.11852 s	Remaining CPU time: 176.881 s
3.20/3.24	c ===============================================================================
3.20/3.24	c |      6967 |    2018    61924   197253 |    20641     6967     95 |  0.346 % |
3.20/3.29	c |      7068 |    2018    61924   197253 |    22705     7068     95 |  0.346 % |
3.29/3.36	c |      7218 |    2018    61924   197253 |    24976     7218     95 |  0.346 % |
3.39/3.44	c |      7443 |    2018    61924   197253 |    27473     7443     95 |  0.346 % |
3.49/3.58	c |      7780 |    2018    61924   197253 |    30220     7780     95 |  0.346 % |
3.70/3.76	c |      8287 |    2018    61924   197253 |    33243     8287     95 |  0.346 % |
3.99/4.00	c |      9046 |    2018    61924   197253 |    36567     9046     95 |  0.346 % |
4.30/4.34	c ===============================================================================
4.30/4.34	c New solution: -103
4.30/4.34	o -103
4.30/4.34	c Elapsed CPU time: 4.20536 s	Remaining CPU time: 175.795 s
4.30/4.34	c ===============================================================================
4.30/4.34	c |     10019 |    2018    61925   197388 |    20641    10019     94 |  0.346 % |
4.30/4.35	c ===============================================================================
4.30/4.35	c New solution: -104
4.30/4.35	o -104
4.30/4.35	c Elapsed CPU time: 4.22136 s	Remaining CPU time: 175.779 s
4.30/4.35	c ===============================================================================
4.30/4.35	c |     10023 |    2018    61926   197523 |    20642    10023     94 |  0.346 % |
4.30/4.40	c |     10125 |    2018    61926   197523 |    22706    10125     94 |  0.346 % |
4.40/4.46	c |     10275 |    2018    61926   197523 |    24976    10275     94 |  0.346 % |
4.49/4.54	c |     10500 |    2018    61926   197523 |    27474    10500     94 |  0.346 % |
4.59/4.66	c |     10839 |    2018    61926   197523 |    30221    10839     94 |  0.346 % |
4.80/4.82	c |     11347 |    2018    61926   197523 |    33244    11347     94 |  0.346 % |
5.09/5.12	c |     12107 |    2018    61926   197523 |    36568    12107     94 |  0.346 % |
5.50/5.52	c |     13247 |    2018    61926   197523 |    40225    13247     94 |  0.346 % |
5.79/5.81	c ===============================================================================
5.79/5.81	c New solution: -105
5.79/5.81	o -105
5.79/5.81	c Elapsed CPU time: 5.65814 s	Remaining CPU time: 174.342 s
5.79/5.81	c ===============================================================================
5.79/5.81	c |     13987 |    2018    61927   197658 |    20642    13987     94 |  0.346 % |
5.79/5.84	c |     14087 |    2018    61927   197658 |    22706    14087     94 |  0.346 % |
5.89/5.90	c |     14239 |    2018    61927   197658 |    24977    14239     94 |  0.346 % |
5.99/6.00	c |     14464 |    2018    61927   197658 |    27474    14464     94 |  0.346 % |
6.09/6.13	c |     14801 |    2018    61927   197658 |    30222    14801     94 |  0.346 % |
6.29/6.32	c |     15310 |    2018    61927   197658 |    33244    15310     94 |  0.346 % |
6.39/6.41	c ===============================================================================
6.39/6.41	c New solution: -106
6.39/6.41	o -106
6.39/6.41	c Elapsed CPU time: 6.26105 s	Remaining CPU time: 173.739 s
6.39/6.41	c ===============================================================================
6.39/6.41	c |     15543 |    2018    61928   197793 |    20642    15543     94 |  0.346 % |
6.39/6.45	c |     15646 |    2018    61928   197793 |    22706    15646     94 |  0.346 % |
6.50/6.51	c |     15798 |    2018    61928   197793 |    24977    15798     94 |  0.346 % |
6.60/6.63	c |     16023 |    2018    61928   197793 |    27475    16023     94 |  0.346 % |
6.69/6.79	c |     16361 |    2018    61928   197793 |    30222    16361     94 |  0.346 % |
6.79/6.87	c ===============================================================================
6.79/6.87	c New solution: -107
6.79/6.87	o -107
6.79/6.87	c Elapsed CPU time: 6.71298 s	Remaining CPU time: 173.287 s
6.79/6.87	c ===============================================================================
6.79/6.87	c |     16463 |    2018    61929   197928 |    20643    16463     94 |  0.346 % |
6.89/6.92	c |     16564 |    2018    61929   197928 |    22707    16564     94 |  0.346 % |
6.89/6.95	c ===============================================================================
6.89/6.95	c New solution: -108
6.89/6.95	o -108
6.89/6.95	c Elapsed CPU time: 6.79497 s	Remaining CPU time: 173.205 s
6.89/6.95	c ===============================================================================
6.89/6.95	c |     16612 |    2018    61930   198063 |    20643    16612     94 |  0.346 % |
6.89/7.00	c ===============================================================================
6.89/7.00	c New solution: -109
6.89/7.00	o -109
6.89/7.00	c Elapsed CPU time: 6.83696 s	Remaining CPU time: 173.163 s
6.89/7.00	c ===============================================================================
6.89/7.00	c |     16685 |    2018    61931   198198 |    20643    16685     94 |  0.346 % |
6.99/7.03	c |     16785 |    2018    61931   198198 |    22708    16785     94 |  0.346 % |
6.99/7.05	c ===============================================================================
6.99/7.05	c New solution: -110
6.99/7.05	o -110
6.99/7.05	c Elapsed CPU time: 6.89095 s	Remaining CPU time: 173.109 s
6.99/7.05	c ===============================================================================
6.99/7.05	c |     16805 |    2018    61932   198333 |    20644    16805     94 |  0.346 % |
6.99/7.07	c ===============================================================================
6.99/7.07	c New solution: -111
6.99/7.07	o -111
6.99/7.07	c Elapsed CPU time: 6.91195 s	Remaining CPU time: 173.088 s
6.99/7.07	c ===============================================================================
6.99/7.07	c |     16820 |    2018    61933   198468 |    20644    16820     94 |  0.346 % |
7.09/7.10	c ===============================================================================
7.09/7.10	c New solution: -112
7.09/7.10	o -112
7.09/7.10	c Elapsed CPU time: 6.93595 s	Remaining CPU time: 173.064 s
7.09/7.10	c ===============================================================================
7.09/7.10	c |     16838 |    2018    61934   198603 |    20644    16838     94 |  0.346 % |
7.09/7.11	c ===============================================================================
7.09/7.11	c New solution: -113
7.09/7.11	o -113
7.09/7.11	c Elapsed CPU time: 6.95094 s	Remaining CPU time: 173.049 s
7.09/7.11	c ===============================================================================
7.09/7.11	c |     16842 |    2018    61935   198738 |    20645    16842     94 |  0.346 % |
7.09/7.16	c |     16942 |    2018    61935   198738 |    22709    16942     94 |  0.346 % |
7.09/7.18	c ===============================================================================
7.09/7.18	c New solution: -114
7.09/7.18	o -114
7.09/7.18	c Elapsed CPU time: 7.01493 s	Remaining CPU time: 172.985 s
7.09/7.18	c ===============================================================================
7.09/7.18	c |     16952 |    2018    61936   198873 |    20645    16952     94 |  0.346 % |
7.19/7.23	c |     17055 |    2018    61936   198873 |    22709    17055     94 |  0.346 % |
7.29/7.32	c |     17208 |    2018    61936   198873 |    24980    17208     93 |  0.346 % |
7.39/7.42	c |     17433 |    2018    61936   198873 |    27478    17433     93 |  0.346 % |
7.49/7.59	c |     17771 |    2018    61936   198873 |    30226    17771     93 |  0.346 % |
7.79/7.86	c |     18278 |    2018    61936   198873 |    33249    18278     93 |  0.346 % |
8.19/8.22	c |     19037 |    2018    61936   198873 |    36574    19037     93 |  0.346 % |
8.39/8.48	c ===============================================================================
8.39/8.48	c New solution: -115
8.39/8.48	o -115
8.39/8.48	c Elapsed CPU time: 8.30674 s	Remaining CPU time: 171.693 s
8.39/8.48	c ===============================================================================
8.39/8.48	c |     19479 |    2018    61937   199008 |    20645    19479     93 |  0.346 % |
8.49/8.50	c ===============================================================================
8.49/8.50	c New solution: -116
8.49/8.50	o -116
8.49/8.50	c Elapsed CPU time: 8.32773 s	Remaining CPU time: 171.672 s
8.49/8.50	c ===============================================================================
8.49/8.50	c |     19500 |    2018    61938   199143 |    20646    19500     93 |  0.346 % |
8.49/8.55	c ===============================================================================
8.49/8.55	c New solution: -117
8.49/8.55	o -117
8.49/8.55	c Elapsed CPU time: 8.37773 s	Remaining CPU time: 171.622 s
8.49/8.55	c ===============================================================================
8.49/8.55	c |     19585 |    2018    61939   199278 |    20646    19585     93 |  0.346 % |
8.58/8.63	c |     19685 |    2018    61939   199278 |    22710    19685     93 |  0.346 % |
8.58/8.65	c ===============================================================================
8.58/8.65	c New solution: -118
8.58/8.65	o -118
8.58/8.65	c Elapsed CPU time: 8.46971 s	Remaining CPU time: 171.53 s
8.58/8.65	c ===============================================================================
8.58/8.65	c |     19700 |    2018    61940   199413 |    20646    19700     93 |  0.346 % |
8.69/8.71	c |     19801 |    2018    61940   199413 |    22711    19801     93 |  0.346 % |
8.69/8.80	c |     19951 |    2018    61940   199413 |    24982    19951     93 |  0.346 % |
8.89/8.93	c |     20176 |    2018    61940   199413 |    27480    20176     93 |  0.346 % |
9.09/9.12	c |     20513 |    2018    61940   199413 |    30228    20513     93 |  0.346 % |
9.39/9.40	c |     21020 |    2018    61940   199413 |    33251    21020     93 |  0.346 % |
9.49/9.50	c ===============================================================================
9.49/9.50	c New solution: -119
9.49/9.50	o -119
9.49/9.50	c Elapsed CPU time: 9.31958 s	Remaining CPU time: 170.68 s
9.49/9.50	c ===============================================================================
9.49/9.50	c |     21200 |    2018    61941   199548 |    20647    21200     92 |  0.346 % |
9.69/9.74	c |     21300 |    2018    61941   199548 |    22711    10700     90 |  0.346 % |
9.79/9.81	c |     21453 |    2018    61941   199548 |    24982    10853     90 |  0.346 % |
9.89/9.93	c |     21680 |    2018    61941   199548 |    27481    11080     90 |  0.346 % |
10.09/10.10	c |     22017 |    2018    61941   199548 |    30229    11417     89 |  0.346 % |
10.29/10.37	c |     22523 |    2018    61941   199548 |    33252    11923     89 |  0.346 % |
10.79/10.81	c |     23282 |    2018    61941   199548 |    36577    12682     89 |  0.346 % |
11.39/11.47	c |     24421 |    2018    61941   199548 |    40235    13821     89 |  0.346 % |
12.48/12.58	c |     26129 |    2018    61941   199548 |    44258    15529     88 |  0.346 % |
13.49/13.54	c ===============================================================================
13.49/13.54	c New solution: -120
13.49/13.54	o -120
13.49/13.54	c Elapsed CPU time: 13.333 s	Remaining CPU time: 166.667 s
13.49/13.54	c ===============================================================================
13.49/13.54	c |     27479 |    2018    61942   199683 |    20647    16879     88 |  0.346 % |
13.49/13.55	c ===============================================================================
13.49/13.55	c New solution: -121
13.49/13.55	o -121
13.49/13.55	c Elapsed CPU time: 13.35 s	Remaining CPU time: 166.65 s
13.49/13.55	c ===============================================================================
13.49/13.55	c |     27482 |    2018    61943   199818 |    20647    16882     88 |  0.346 % |
13.59/13.62	c |     27582 |    2018    61943   199818 |    22712    16982     88 |  0.346 % |
13.69/13.72	c |     27732 |    2018    61943   199818 |    24983    17132     88 |  0.346 % |
13.79/13.87	c |     27957 |    2018    61943   199818 |    27482    17357     88 |  0.346 % |
13.88/13.91	c ===============================================================================
13.88/13.91	c New solution: -122
13.88/13.91	o -122
13.88/13.91	c Elapsed CPU time: 13.7009 s	Remaining CPU time: 166.299 s
13.88/13.91	c ===============================================================================
13.88/13.91	c |     28005 |    2018    61944   199953 |    20648    17405     88 |  0.346 % |
13.88/13.97	c |     28108 |    2018    61944   199953 |    22712    17508     88 |  0.346 % |
13.98/14.06	c |     28259 |    2018    61944   199953 |    24984    17659     88 |  0.346 % |
14.19/14.22	c |     28484 |    2018    61944   199953 |    27482    17884     88 |  0.346 % |
14.39/14.44	c |     28822 |    2018    61944   199953 |    30230    18222     87 |  0.346 % |
14.69/14.73	c |     29329 |    2018    61944   199953 |    33253    18729     87 |  0.346 % |
15.29/15.34	c |     30091 |    2018    61944   199953 |    36579    19491     87 |  0.346 % |
16.09/16.17	c |     31230 |    2018    61944   199953 |    40237    20630     87 |  0.346 % |
16.50/16.54	c ===============================================================================
16.50/16.54	c New solution: -123
16.50/16.54	o -123
16.50/16.54	c Elapsed CPU time: 16.3145 s	Remaining CPU time: 163.685 s
16.50/16.54	c ===============================================================================
16.50/16.54	c |     31948 |    2018    61945   200088 |    20648    21348     87 |  0.346 % |
16.69/16.74	c ===============================================================================
16.69/16.74	c New solution: -124
16.69/16.74	o -124
16.69/16.74	c Elapsed CPU time: 16.5225 s	Remaining CPU time: 163.478 s
16.69/16.74	c ===============================================================================
16.69/16.74	c |     31948 |    2018    61946   200223 |    20648    10674     82 |  0.346 % |
16.69/16.76	c ===============================================================================
16.69/16.76	c New solution: -125
16.69/16.76	o -125
16.69/16.76	c Elapsed CPU time: 16.5375 s	Remaining CPU time: 163.463 s
16.69/16.76	c ===============================================================================
16.69/16.76	c |     31948 |    2018    61947   200358 |    20649    10674     82 |  0.346 % |
16.79/16.81	c |     32048 |    2018    61947   200358 |    22713    10774     82 |  0.346 % |
16.89/16.90	c |     32201 |    2018    61947   200358 |    24985    10927     82 |  0.346 % |
16.99/17.01	c |     32427 |    2018    61947   200358 |    27483    11153     82 |  0.346 % |
17.09/17.19	c |     32765 |    2018    61947   200358 |    30232    11491     82 |  0.346 % |
17.38/17.46	c |     33276 |    2018    61947   200358 |    33255    12002     82 |  0.346 % |
17.69/17.80	c |     34036 |    2018    61947   200358 |    36580    12762     82 |  0.346 % |
18.29/18.34	c |     35177 |    2018    61947   200358 |    40239    13903     82 |  0.346 % |
18.49/18.56	c ===============================================================================
18.49/18.56	c New solution: -126
18.49/18.56	o -126
18.49/18.56	c Elapsed CPU time: 18.3242 s	Remaining CPU time: 161.676 s
18.49/18.56	c ===============================================================================
18.49/18.56	c |     35665 |    2018    61948   200493 |    20649    14391     82 |  0.346 % |
18.59/18.61	c ===============================================================================
18.59/18.61	c New solution: -127
18.59/18.61	o -127
18.59/18.61	c Elapsed CPU time: 18.3782 s	Remaining CPU time: 161.622 s
18.59/18.61	c ===============================================================================
18.59/18.61	c |     35741 |    2018    61949   200628 |    20649    14467     82 |  0.346 % |
18.59/18.63	c ===============================================================================
18.59/18.63	c New solution: -128
18.59/18.63	o -128
18.59/18.63	c Elapsed CPU time: 18.3932 s	Remaining CPU time: 161.607 s
18.59/18.63	c ===============================================================================
18.59/18.63	c |     35743 |    2018    61950   200763 |    20650    14469     82 |  0.346 % |
18.69/18.72	c |     35846 |    2018    61950   200763 |    22715    14572     82 |  0.346 % |
18.79/18.83	c |     35997 |    2018    61950   200763 |    24986    14723     82 |  0.346 % |
18.99/19.02	c |     36225 |    2018    61950   200763 |    27485    14951     82 |  0.346 % |
19.19/19.26	c |     36563 |    2018    61950   200763 |    30233    15289     82 |  0.346 % |
19.58/19.61	c |     37070 |    2018    61950   200763 |    33257    15796     81 |  0.346 % |
19.89/19.94	c |     37829 |    2018    61950   200763 |    36582    16555     81 |  0.346 % |
20.09/20.12	c ===============================================================================
20.09/20.12	c New solution: -129
20.09/20.12	o -129
20.09/20.12	c Elapsed CPU time: 19.862 s	Remaining CPU time: 160.138 s
20.09/20.12	c ===============================================================================
20.09/20.12	c |     38120 |    2018    61951   200898 |    20650    16846     81 |  0.346 % |
20.09/20.16	c |     38221 |    2018    61951   200898 |    22715    16947     81 |  0.346 % |
20.19/20.25	c |     38371 |    2018    61951   200898 |    24986    17097     81 |  0.346 % |
20.29/20.36	c ===============================================================================
20.29/20.36	c New solution: -130
20.29/20.36	o -130
20.29/20.36	c Elapsed CPU time: 20.1099 s	Remaining CPU time: 159.89 s
20.29/20.36	c ===============================================================================
20.29/20.36	c |     38552 |    2018    61952   201033 |    20650    17278     81 |  0.346 % |
20.29/20.39	c ===============================================================================
20.29/20.39	c New solution: -131
20.29/20.39	o -131
20.29/20.39	c Elapsed CPU time: 20.1379 s	Remaining CPU time: 159.862 s
20.29/20.39	c ===============================================================================
20.29/20.39	c |     38567 |    2018    61953   201168 |    20651    17293     81 |  0.346 % |
20.39/20.47	c |     38667 |    2018    61953   201168 |    22716    17393     81 |  0.346 % |
20.49/20.59	c |     38818 |    2018    61953   201168 |    24987    17544     81 |  0.346 % |
20.69/20.73	c |     39047 |    2018    61953   201168 |    27486    17773     81 |  0.346 % |
20.89/20.92	c |     39385 |    2018    61953   201168 |    30235    18111     81 |  0.346 % |
21.18/21.25	c ===============================================================================
21.18/21.25	c New solution: -132
21.18/21.25	o -132
21.18/21.25	c Elapsed CPU time: 20.9898 s	Remaining CPU time: 159.01 s
21.18/21.25	c ===============================================================================
21.18/21.25	c |     39710 |    2018    61954   201303 |    20651    18436     81 |  0.346 % |
21.18/21.28	c ===============================================================================
21.18/21.28	c New solution: -133
21.18/21.28	o -133
21.18/21.28	c Elapsed CPU time: 21.0168 s	Remaining CPU time: 158.983 s
21.18/21.28	c ===============================================================================
21.18/21.28	c |     39723 |    2018    61955   201438 |    20651    18449     81 |  0.346 % |
21.28/21.39	c |     39825 |    2018    61955   201438 |    22716    18551     81 |  0.346 % |
21.48/21.50	c |     39975 |    2018    61955   201438 |    24988    18701     81 |  0.346 % |
21.58/21.65	c ===============================================================================
21.58/21.65	c New solution: -134
21.58/21.65	o -134
21.58/21.65	c Elapsed CPU time: 21.3867 s	Remaining CPU time: 158.613 s
21.58/21.65	c ===============================================================================
21.58/21.65	c |     40181 |    2018    61956   201573 |    20652    18907     81 |  0.346 % |
21.58/21.67	c ===============================================================================
21.58/21.67	c New solution: -135
21.58/21.67	o -135
21.58/21.67	c Elapsed CPU time: 21.4017 s	Remaining CPU time: 158.598 s
21.58/21.67	c ===============================================================================
21.58/21.67	c |     40182 |    2018    61957   201708 |    20652    18908     81 |  0.346 % |
21.58/21.68	c ===============================================================================
21.58/21.68	c New solution: -136
21.58/21.68	o -136
21.58/21.68	c Elapsed CPU time: 21.4167 s	Remaining CPU time: 158.583 s
21.58/21.68	c ===============================================================================
21.58/21.68	c |     40183 |    2018    61958   201843 |    20652    18909     81 |  0.346 % |
21.69/21.76	c |     40284 |    2018    61958   201843 |    22717    19010     81 |  0.346 % |
21.79/21.86	c |     40435 |    2018    61958   201843 |    24989    19161     81 |  0.346 % |
21.99/22.02	c |     40662 |    2018    61958   201843 |    27488    19388     81 |  0.346 % |
22.18/22.25	c |     41000 |    2018    61958   201843 |    30237    19726     81 |  0.346 % |
22.49/22.58	c |     41506 |    2018    61958   201843 |    33261    20232     80 |  0.346 % |
23.09/23.11	c |     42266 |    2018    61958   201843 |    36587    20992     80 |  0.346 % |
23.79/23.89	c |     43405 |    2018    61958   201843 |    40246    22131     80 |  0.346 % |
24.89/24.93	c ===============================================================================
24.89/24.93	c New solution: -137
24.89/24.93	o -137
24.89/24.93	c Elapsed CPU time: 24.6423 s	Remaining CPU time: 155.358 s
24.89/24.93	c ===============================================================================
24.89/24.93	c |     44982 |    2018    61959   201978 |    20653    23708     80 |  0.346 % |
25.09/25.12	c ===============================================================================
25.09/25.12	c New solution: -138
25.09/25.12	o -138
25.09/25.12	c Elapsed CPU time: 24.8312 s	Remaining CPU time: 155.169 s
25.09/25.12	c ===============================================================================
25.09/25.12	c |     44982 |    2018    61960   202113 |    20653    10930     75 |  0.346 % |
25.09/25.13	c ===============================================================================
25.09/25.13	c New solution: -139
25.09/25.13	o -139
25.09/25.13	c Elapsed CPU time: 24.8452 s	Remaining CPU time: 155.155 s
25.09/25.13	c ===============================================================================
25.09/25.13	c |     44982 |    2018    61961   202248 |    20653    10930     75 |  0.346 % |
25.09/25.19	c |     45084 |    2018    61961   202248 |    22719    11032     75 |  0.346 % |
25.19/25.27	c |     45235 |    2018    61961   202248 |    24990    11183     75 |  0.346 % |
25.29/25.37	c |     45462 |    2018    61961   202248 |    27490    11410     75 |  0.346 % |
25.48/25.55	c |     45799 |    2018    61961   202248 |    30239    11747     75 |  0.346 % |
25.68/25.78	c |     46306 |    2018    61961   202248 |    33262    12254     75 |  0.346 % |
25.98/26.06	c |     47066 |    2018    61961   202248 |    36589    13014     75 |  0.346 % |
26.59/26.61	c |     48206 |    2018    61961   202248 |    40248    14154     75 |  0.346 % |
27.39/27.47	c |     49915 |    2018    61961   202248 |    44272    15863     75 |  0.346 % |
28.68/28.72	c |     52478 |    2018    61961   202248 |    48700    18426     75 |  0.346 % |
31.17/31.20	c |     56322 |    2018    61961   202248 |    53570    22270     75 |  0.346 % |
33.67/33.71	c ===============================================================================
33.67/33.71	c New solution: -140
33.67/33.71	o -140
33.67/33.71	c Elapsed CPU time: 33.3689 s	Remaining CPU time: 146.631 s
33.67/33.71	c ===============================================================================
33.67/33.71	c |     60299 |    2018    61962   202383 |    20654    26247     75 |  0.346 % |
33.77/33.89	c ===============================================================================
33.77/33.89	c New solution: -141
33.77/33.89	o -141
33.77/33.89	c Elapsed CPU time: 33.5479 s	Remaining CPU time: 146.452 s
33.77/33.89	c ===============================================================================
33.77/33.89	c |     60308 |    2018    61963   202518 |    20654    11029     74 |  0.346 % |
33.87/33.94	c |     60408 |    2018    61963   202518 |    22719    11129     74 |  0.346 % |
33.97/34.01	c |     60560 |    2018    61963   202518 |    24991    11281     74 |  0.346 % |
34.07/34.14	c |     60786 |    2018    61963   202518 |    27490    11507     74 |  0.346 % |
34.27/34.35	c |     61123 |    2018    61963   202518 |    30240    11844     74 |  0.346 % |
34.57/34.65	c |     61631 |    2018    61963   202518 |    33264    12352     74 |  0.346 % |
35.07/35.13	c |     62390 |    2018    61963   202518 |    36590    13111     74 |  0.346 % |
35.66/35.77	c |     63529 |    2018    61963   202518 |    40249    14250     74 |  0.346 % |
36.76/36.81	c |     65238 |    2018    61963   202518 |    44274    15959     74 |  0.346 % |
38.27/38.38	c |     67800 |    2018    61963   202518 |    48701    18521     74 |  0.346 % |
40.47/40.55	c |     71646 |    2018    61963   202518 |    53572    22367     75 |  0.346 % |
44.76/44.85	c |     77414 |    2018    61963   202518 |    58929    28135     75 |  0.346 % |
51.46/51.54	c ===============================================================================
51.46/51.54	c New solution: -142
51.46/51.54	o -142
51.46/51.54	c Elapsed CPU time: 51.0952 s	Remaining CPU time: 128.905 s
51.46/51.54	c ===============================================================================
51.46/51.54	c |     85595 |    2018    61964   202653 |    20654    36316     75 |  0.346 % |
51.86/51.90	c |     85695 |    2018    61964   202653 |    22720    11481     73 |  0.346 % |
51.86/51.96	c ===============================================================================
51.86/51.96	c New solution: -143
51.86/51.96	o -143
51.86/51.96	c Elapsed CPU time: 51.5162 s	Remaining CPU time: 128.484 s
51.86/51.96	c ===============================================================================
51.86/51.96	c |     85769 |    2018    61965   202788 |    20655    11555     73 |  0.346 % |
51.96/52.02	c |     85869 |    2018    61965   202788 |    22720    11655     73 |  0.346 % |
52.06/52.11	c |     86020 |    2018    61965   202788 |    24992    11806     73 |  0.346 % |
52.16/52.27	c |     86245 |    2018    61965   202788 |    27491    12031     73 |  0.346 % |
52.37/52.48	c |     86582 |    2018    61965   202788 |    30240    12368     73 |  0.346 % |
52.67/52.79	c |     87090 |    2018    61965   202788 |    33265    12876     73 |  0.346 % |
53.06/53.17	c |     87849 |    2018    61965   202788 |    36591    13635     73 |  0.346 % |
53.16/53.29	c ===============================================================================
53.16/53.29	c New solution: -144
53.16/53.29	o -144
53.16/53.29	c Elapsed CPU time: 52.834 s	Remaining CPU time: 127.166 s
53.16/53.29	c ===============================================================================
53.16/53.29	c |     88019 |    2018    61966   202923 |    20655    13805     73 |  0.346 % |
53.26/53.35	c |     88119 |    2018    61966   202923 |    22720    13905     73 |  0.346 % |
53.36/53.45	c |     88269 |    2018    61966   202923 |    24992    14055     73 |  0.346 % |
53.56/53.62	c |     88494 |    2018    61966   202923 |    27492    14280     73 |  0.346 % |
53.77/53.84	c |     88834 |    2018    61966   202923 |    30241    14620     73 |  0.346 % |
54.16/54.27	c |     89341 |    2018    61966   202923 |    33265    15127     73 |  0.346 % |
54.76/54.85	c |     90101 |    2018    61966   202923 |    36592    15887     73 |  0.346 % |
55.06/55.12	c ===============================================================================
55.06/55.12	c New solution: -145
55.06/55.12	o -145
55.06/55.12	c Elapsed CPU time: 54.6607 s	Remaining CPU time: 125.339 s
55.06/55.12	c ===============================================================================
55.06/55.12	c |     90431 |    2018    61967   203058 |    20655    16217     73 |  0.346 % |
55.06/55.16	c ===============================================================================
55.06/55.16	c New solution: -146
55.06/55.16	o -146
55.06/55.16	c Elapsed CPU time: 54.6977 s	Remaining CPU time: 125.302 s
55.06/55.16	c ===============================================================================
55.06/55.16	c |     90469 |    2018    61968   203193 |    20656    16255     73 |  0.346 % |
55.16/55.25	c |     90569 |    2018    61968   203193 |    22721    16355     73 |  0.346 % |
55.26/55.35	c |     90720 |    2018    61968   203193 |    24993    16506     73 |  0.346 % |
55.46/55.51	c |     90946 |    2018    61968   203193 |    27493    16732     73 |  0.346 % |
55.56/55.68	c |     91284 |    2018    61968   203193 |    30242    17070     73 |  0.346 % |
55.76/55.90	c |     91791 |    2018    61968   203193 |    33266    17577     73 |  0.346 % |
56.36/56.44	c |     92550 |    2018    61968   203193 |    36593    18336     73 |  0.346 % |
56.96/57.05	c |     93691 |    2018    61968   203193 |    40252    19477     73 |  0.346 % |
58.27/58.35	c |     95402 |    2018    61968   203193 |    44277    21188     73 |  0.346 % |
60.15/60.21	c |     97968 |    2018    61968   203193 |    48705    23754     73 |  0.346 % |
62.57/62.70	c |    101813 |    2018    61968   203193 |    53576    27599     73 |  0.346 % |
66.97/67.10	c |    107581 |    2018    61968   203193 |    58933    33367     73 |  0.346 % |
74.76/74.83	c |    116230 |    2018    61968   203193 |    64827    42016     72 |  0.346 % |
91.55/91.67	c |    129206 |    2018    61968   203193 |    71310    54992     72 |  0.346 % |
114.84/114.90	c ===============================================================================
114.84/114.90	c New solution: -147
114.84/114.90	o -147
114.84/114.90	c Elapsed CPU time: 114.197 s	Remaining CPU time: 65.8034 s
114.84/114.90	c ===============================================================================
114.84/114.90	c |    144524 |    2018    61969   203328 |    20656    70310     72 |  0.346 % |
116.74/116.87	c |    144624 |    2018    61969   203328 |    22721    12122     71 |  0.346 % |
116.84/116.93	c ===============================================================================
116.84/116.93	c New solution: -148
116.84/116.93	o -148
116.84/116.93	c Elapsed CPU time: 116.231 s	Remaining CPU time: 63.7687 s
116.84/116.94	c ===============================================================================
116.84/116.94	c |    144709 |    2018    61970   203463 |    20656    12207     71 |  0.346 % |
116.84/116.99	c |    144809 |    2018    61970   203463 |    22722    12307     71 |  0.346 % |
116.94/117.07	c |    144959 |    2018    61970   203463 |    24994    12457     71 |  0.346 % |
117.05/117.19	c |    145184 |    2018    61970   203463 |    27494    12682     71 |  0.346 % |
117.25/117.35	c |    145521 |    2018    61970   203463 |    30243    13019     71 |  0.346 % |
117.44/117.57	c |    146028 |    2018    61970   203463 |    33267    13526     71 |  0.346 % |
117.94/118.06	c |    146792 |    2018    61970   203463 |    36594    14290     71 |  0.346 % |
118.65/118.77	c |    147934 |    2018    61970   203463 |    40253    15432     71 |  0.346 % |
119.65/119.74	c |    149642 |    2018    61970   203463 |    44279    17140     71 |  0.346 % |
121.34/121.47	c |    152204 |    2018    61970   203463 |    48707    19702     71 |  0.346 % |
123.94/124.03	c |    156049 |    2018    61970   203463 |    53578    23547     71 |  0.346 % |
127.93/128.05	c |    161817 |    2018    61970   203463 |    58935    29315     71 |  0.346 % |
135.25/135.40	c |    170466 |    2018    61970   203463 |    64829    37964     71 |  0.346 % |
148.23/148.31	c |    183440 |    2018    61970   203463 |    71312    50938     71 |  0.346 % |
178.13/178.21	c |    202903 |    2018    61970   203463 |    78443    70401     72 |  0.346 % |
180.83/180.97	c There are 7 assigned variables. 7 in cost function.
186.72/186.80	c core #1
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 13	Core Weight: 1	Total Weight: -306
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #2
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 11	Core Weight: 1	Total Weight: -305
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #3
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 7	Core Weight: 1	Total Weight: -304
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #4
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 5	Core Weight: 1	Total Weight: -303
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #5
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 6	Core Weight: 2	Total Weight: -301
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #6
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 6	Core Weight: 1	Total Weight: -300
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #7
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 7	Core Weight: 1	Total Weight: -299
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #8
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 6	Core Weight: 2	Total Weight: -297
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #9
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 9	Core Weight: 1	Total Weight: -296
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #10
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 17	Core Weight: 1	Total Weight: -295
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #11
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 19	Core Weight: 1	Total Weight: -294
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #12
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 20	Core Weight: 1	Total Weight: -293
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #13
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 22	Core Weight: 1	Total Weight: -292
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #14
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 23	Core Weight: 1	Total Weight: -291
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #15
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 23	Core Weight: 1	Total Weight: -290
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #16
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 23	Core Weight: 1	Total Weight: -289
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #17
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 15	Core Weight: 1	Total Weight: -288
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #18
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 17	Core Weight: 1	Total Weight: -287
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #19
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 17	Core Weight: 1	Total Weight: -286
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #20
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 18	Core Weight: 1	Total Weight: -285
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #21
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 19	Core Weight: 2	Total Weight: -283
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #22
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 13	Core Weight: 2	Total Weight: -281
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #23
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 17	Core Weight: 1	Total Weight: -280
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #24
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 9	Core Weight: 1	Total Weight: -279
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #25
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 11	Core Weight: 1	Total Weight: -278
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #26
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 14	Core Weight: 1	Total Weight: -277
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #27
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 8	Core Weight: 1	Total Weight: -276
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #28
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 10	Core Weight: 1	Total Weight: -275
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #29
186.72/186.80	c 
186.72/186.80	c 
186.72/186.80	c Core size: 11	Core Weight: 3	Total Weight: -272
186.72/186.80	c
186.72/186.80	c
186.72/186.80	c core #30
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 10	Core Weight: 1	Total Weight: -271
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #31
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 10	Core Weight: 1	Total Weight: -270
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #32
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 10	Core Weight: 2	Total Weight: -268
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #33
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 10	Core Weight: 2	Total Weight: -266
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #34
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 11	Core Weight: 1	Total Weight: -265
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #35
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 12	Core Weight: 2	Total Weight: -263
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #36
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 13	Core Weight: 1	Total Weight: -262
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #37
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 13	Core Weight: 1	Total Weight: -261
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #38
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 7	Core Weight: 1	Total Weight: -260
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #39
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 8	Core Weight: 1	Total Weight: -259
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #40
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 9	Core Weight: 2	Total Weight: -257
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #41
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 13	Core Weight: 1	Total Weight: -256
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #42
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 14	Core Weight: 1	Total Weight: -255
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #43
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 19	Core Weight: 1	Total Weight: -254
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #44
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 19	Core Weight: 1	Total Weight: -253
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #45
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 9	Core Weight: 1	Total Weight: -252
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #46
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 10	Core Weight: 1	Total Weight: -251
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #47
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 10	Core Weight: 1	Total Weight: -250
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #48
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 16	Core Weight: 1	Total Weight: -249
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #49
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 17	Core Weight: 1	Total Weight: -248
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #50
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 10	Core Weight: 1	Total Weight: -247
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #51
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 10	Core Weight: 1	Total Weight: -246
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #52
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 19	Core Weight: 1	Total Weight: -245
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #53
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 18	Core Weight: 1	Total Weight: -244
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #54
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 10	Core Weight: 1	Total Weight: -243
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #55
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 14	Core Weight: 1	Total Weight: -242
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #56
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 19	Core Weight: 1	Total Weight: -241
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #57
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 22	Core Weight: 1	Total Weight: -240
186.72/186.81	c
186.72/186.81	c
186.72/186.81	c core #58
186.72/186.81	c 
186.72/186.81	c 
186.72/186.81	c Core size: 13	Core Weight: 1	Total Weight: -239
186.72/186.81	c
186.72/186.81	c
187.32/187.41	c core #59
187.32/187.41	c 
187.32/187.41	c 
187.32/187.41	c Core size: 7	Core Weight: 1	Total Weight: -238
187.32/187.41	c
187.32/187.41	c
187.32/187.41	c core #60
187.32/187.41	c 
187.32/187.41	c 
187.32/187.41	c Core size: 9	Core Weight: 1	Total Weight: -237
187.32/187.41	c
187.32/187.41	c
187.32/187.41	c core #61
187.32/187.41	c 
187.32/187.41	c 
187.32/187.41	c Core size: 12	Core Weight: 1	Total Weight: -236
187.32/187.41	c
187.32/187.41	c
187.32/187.41	c core #62
187.32/187.41	c 
187.32/187.41	c 
187.32/187.41	c Core size: 14	Core Weight: 1	Total Weight: -235
187.32/187.41	c
187.32/187.41	c
187.32/187.41	c core #63
187.32/187.41	c 
187.32/187.41	c 
187.32/187.41	c Core size: 14	Core Weight: 1	Total Weight: -234
187.32/187.41	c
187.32/187.41	c
187.32/187.41	c ============================[ Search Statistics ]==============================
187.32/187.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.32/187.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.32/187.41	c ===============================================================================
187.32/187.41	c |         0 |    2287    62482   201481 |    20827        0    nan |  0.000 % |
187.32/187.42	c ===============================================================================
187.42/187.54	c core #64
187.42/187.54	c 
187.42/187.54	c 
187.42/187.54	c Core size: 13	Core Weight: 1	Total Weight: -233
187.42/187.54	c
187.42/187.54	c
187.42/187.54	c ============================[ Search Statistics ]==============================
187.42/187.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.42/187.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.42/187.54	c ===============================================================================
187.42/187.54	c |         0 |    2296    62483   201499 |    20827        0    nan |  0.000 % |
187.42/187.55	c ===============================================================================
187.52/187.66	c core #65
187.52/187.66	c 
187.52/187.66	c 
187.52/187.66	c Core size: 13	Core Weight: 1	Total Weight: -232
187.52/187.66	c
187.52/187.66	c
187.52/187.66	c ============================[ Search Statistics ]==============================
187.52/187.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.52/187.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.52/187.66	c ===============================================================================
187.52/187.66	c |         0 |    2305    62484   201517 |    20828        0    nan |  0.000 % |
187.52/187.67	c ===============================================================================
187.62/187.79	c core #66
187.62/187.79	c 
187.62/187.79	c 
187.62/187.79	c Core size: 9	Core Weight: 1	Total Weight: -231
187.62/187.79	c
187.62/187.79	c
187.62/187.79	c ============================[ Search Statistics ]==============================
187.62/187.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.62/187.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.62/187.79	c ===============================================================================
187.62/187.79	c |         0 |    2312    62485   201924 |    20828        0    nan |  0.000 % |
187.72/187.80	c ===============================================================================
187.82/187.92	c core #67
187.82/187.92	c 
187.82/187.92	c 
187.82/187.92	c Core size: 27	Core Weight: 1	Total Weight: -230
187.82/187.92	c
187.82/187.92	c
187.82/187.92	c ============================[ Search Statistics ]==============================
187.82/187.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.82/187.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.82/187.92	c ===============================================================================
187.82/187.92	c |         0 |    2330    62490   201965 |    20830        0    nan |  0.000 % |
187.82/187.93	c ===============================================================================
187.92/188.04	c core #68
187.92/188.04	c 
187.92/188.04	c 
187.92/188.04	c Core size: 11	Core Weight: 1	Total Weight: -229
187.92/188.04	c
187.92/188.04	c
187.92/188.04	c ============================[ Search Statistics ]==============================
187.92/188.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.92/188.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.92/188.04	c ===============================================================================
187.92/188.04	c |         0 |    2337    62492   201978 |    20830        0    nan |  0.000 % |
187.92/188.05	c ===============================================================================
188.02/188.17	c core #69
188.02/188.17	c 
188.02/188.17	c 
188.02/188.17	c Core size: 9	Core Weight: 1	Total Weight: -228
188.02/188.17	c
188.02/188.17	c
188.02/188.17	c ============================[ Search Statistics ]==============================
188.02/188.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.02/188.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.02/188.17	c ===============================================================================
188.02/188.17	c |         0 |    2343    62495   201994 |    20831        0    nan |  0.000 % |
188.02/188.18	c ===============================================================================
188.22/188.30	c core #70
188.22/188.30	c 
188.22/188.30	c 
188.22/188.30	c Core size: 16	Core Weight: 1	Total Weight: -227
188.22/188.30	c
188.22/188.30	c
188.22/188.30	c ============================[ Search Statistics ]==============================
188.22/188.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.22/188.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.22/188.30	c ===============================================================================
188.22/188.30	c |         0 |    2356    62498   202033 |    20832        0    nan |  0.000 % |
188.22/188.31	c ===============================================================================
188.32/188.42	c core #71
188.32/188.42	c 
188.32/188.42	c 
188.32/188.42	c Core size: 21	Core Weight: 1	Total Weight: -226
188.32/188.42	c
188.32/188.42	c
188.32/188.42	c ============================[ Search Statistics ]==============================
188.32/188.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.32/188.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.32/188.42	c ===============================================================================
188.32/188.42	c |         0 |    2365    62499   202051 |    20833        0    nan |  0.000 % |
188.32/188.44	c ===============================================================================
188.42/188.55	c core #72
188.42/188.55	c 
188.42/188.55	c 
188.42/188.55	c Core size: 10	Core Weight: 1	Total Weight: -225
188.42/188.55	c
188.42/188.55	c
188.42/188.55	c ============================[ Search Statistics ]==============================
188.42/188.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.42/188.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.42/188.55	c ===============================================================================
188.42/188.55	c |         0 |    2372    62504   202073 |    20834        0    nan |  0.000 % |
188.42/188.56	c ===============================================================================
188.52/188.67	c core #73
188.52/188.67	c 
188.52/188.67	c 
188.52/188.67	c Core size: 10	Core Weight: 1	Total Weight: -224
188.52/188.67	c
188.52/188.67	c
188.52/188.67	c ============================[ Search Statistics ]==============================
188.52/188.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.52/188.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.52/188.67	c ===============================================================================
188.52/188.67	c |         0 |    2379    62505   202087 |    20835        0    nan |  0.000 % |
188.52/188.69	c ===============================================================================
188.72/188.81	c core #74
188.72/188.81	c 
188.72/188.81	c 
188.72/188.81	c Core size: 41	Core Weight: 1	Total Weight: -223
188.72/188.81	c
188.72/188.81	c
188.72/188.81	c ============================[ Search Statistics ]==============================
188.72/188.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.72/188.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.72/188.81	c ===============================================================================
188.72/188.81	c |         0 |    2404    62511   202534 |    20837        0    nan |  0.000 % |
188.72/188.83	c ===============================================================================
188.82/188.93	c core #75
188.82/188.93	c 
188.82/188.93	c 
188.82/188.93	c Core size: 27	Core Weight: 1	Total Weight: -222
188.82/188.93	c
188.82/188.93	c
188.82/188.93	c ============================[ Search Statistics ]==============================
188.82/188.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.82/188.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.82/188.93	c ===============================================================================
188.82/188.93	c |         0 |    2419    62512   202564 |    20837        0    nan |  0.000 % |
188.82/188.95	c ===============================================================================
188.92/189.07	c core #76
188.92/189.07	c 
188.92/189.07	c 
188.92/189.07	c Core size: 19	Core Weight: 1	Total Weight: -221
188.92/189.07	c
188.92/189.07	c
188.92/189.07	c ============================[ Search Statistics ]==============================
188.92/189.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.92/189.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.92/189.07	c ===============================================================================
188.92/189.07	c |         0 |    2429    62518   202591 |    20839        0    nan |  0.000 % |
188.92/189.08	c ===============================================================================
189.02/189.20	c core #77
189.02/189.20	c 
189.02/189.20	c 
189.02/189.20	c Core size: 18	Core Weight: 1	Total Weight: -220
189.02/189.20	c
189.02/189.20	c
189.02/189.20	c ============================[ Search Statistics ]==============================
189.02/189.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.02/189.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.02/189.20	c ===============================================================================
189.02/189.20	c |         0 |    2440    62522   202620 |    20840        0    nan |  0.000 % |
189.12/189.22	c ===============================================================================
189.22/189.33	c core #78
189.22/189.33	c 
189.22/189.33	c 
189.22/189.33	c Core size: 28	Core Weight: 1	Total Weight: -219
189.22/189.33	c
189.22/189.33	c
189.22/189.33	c ============================[ Search Statistics ]==============================
189.22/189.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.22/189.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.22/189.33	c ===============================================================================
189.22/189.33	c |         0 |    2460    62525   203808 |    20841        0    nan |  0.000 % |
189.22/189.36	c ===============================================================================
189.32/189.47	c core #79
189.32/189.47	c 
189.32/189.47	c 
189.32/189.47	c Core size: 15	Core Weight: 1	Total Weight: -218
189.32/189.47	c
189.32/189.47	c
189.32/189.47	c ============================[ Search Statistics ]==============================
189.32/189.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.32/189.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.32/189.47	c ===============================================================================
189.32/189.47	c |         0 |    2469    62527   203828 |    20842        0    nan |  0.000 % |
189.42/189.50	c ===============================================================================
189.52/189.62	c core #80
189.52/189.62	c 
189.52/189.62	c 
189.52/189.62	c Core size: 38	Core Weight: 1	Total Weight: -217
189.52/189.62	c
189.52/189.62	c
189.52/189.62	c ============================[ Search Statistics ]==============================
189.52/189.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.52/189.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.52/189.62	c ===============================================================================
189.52/189.62	c |         0 |    2495    62531   203886 |    20843        0    nan |  0.000 % |
189.52/189.65	c ===============================================================================
189.62/189.76	c core #81
189.62/189.76	c 
189.62/189.76	c 
189.62/189.76	c Core size: 46	Core Weight: 1	Total Weight: -216
189.62/189.76	c
189.62/189.76	c
189.62/189.76	c ============================[ Search Statistics ]==============================
189.62/189.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.62/189.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.62/189.76	c ===============================================================================
189.62/189.76	c |         0 |    2526    62533   203947 |    20844        0    nan |  0.000 % |
189.62/189.78	c ===============================================================================
189.82/189.90	c core #82
189.82/189.90	c 
189.82/189.90	c 
189.82/189.90	c Core size: 26	Core Weight: 1	Total Weight: -215
189.82/189.90	c
189.82/189.90	c
189.82/189.90	c ============================[ Search Statistics ]==============================
189.82/189.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.82/189.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.82/189.90	c ===============================================================================
189.82/189.90	c |         0 |    2548    62534   203991 |    20844        0    nan |  0.000 % |
189.82/189.93	c ===============================================================================
189.92/190.04	c core #83
189.92/190.04	c 
189.92/190.04	c 
189.92/190.04	c Core size: 25	Core Weight: 1	Total Weight: -214
189.92/190.04	c
189.92/190.04	c
189.92/190.04	c ============================[ Search Statistics ]==============================
189.92/190.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.92/190.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.92/190.04	c ===============================================================================
189.92/190.04	c |         0 |    2570    62537   204040 |    20845        0    nan |  0.000 % |
189.92/190.09	c ===============================================================================
190.12/190.20	c core #84
190.12/190.20	c 
190.12/190.20	c 
190.12/190.20	c Core size: 46	Core Weight: 1	Total Weight: -213
190.12/190.20	c
190.12/190.20	c
190.12/190.20	c ============================[ Search Statistics ]==============================
190.12/190.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.12/190.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.12/190.20	c ===============================================================================
190.12/190.20	c |         0 |    2600    62542   204244 |    20847        0    nan |  0.000 % |
190.12/190.25	c ===============================================================================
190.22/190.36	c core #85
190.22/190.36	c 
190.22/190.36	c 
190.22/190.36	c Core size: 56	Core Weight: 1	Total Weight: -212
190.22/190.36	c
190.22/190.36	c
190.22/190.36	c ============================[ Search Statistics ]==============================
190.22/190.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.22/190.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.22/190.36	c ===============================================================================
190.22/190.36	c |         0 |    2646    62548   204348 |    20849        0    nan |  0.000 % |
190.22/190.39	c ===============================================================================
190.41/190.51	c core #86
190.41/190.51	c 
190.41/190.51	c 
190.41/190.51	c Core size: 55	Core Weight: 1	Total Weight: -211
190.41/190.51	c
190.41/190.51	c
190.41/190.51	c ============================[ Search Statistics ]==============================
190.41/190.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.41/190.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.41/190.51	c ===============================================================================
190.41/190.51	c |         0 |    2682    62549   204420 |    20849        0    nan |  0.000 % |
190.41/190.58	c ===============================================================================
190.62/190.70	c core #87
190.62/190.70	c 
190.62/190.70	c 
190.62/190.70	c Core size: 83	Core Weight: 1	Total Weight: -210
190.62/190.70	c
190.62/190.70	c
190.62/190.70	c ============================[ Search Statistics ]==============================
190.62/190.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.62/190.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.62/190.70	c ===============================================================================
190.62/190.70	c |         0 |    2752    62552   204566 |    20850        0    nan |  0.000 % |
190.62/190.76	c |       100 |    2752    62552   204566 |    22935      100     20 |  0.254 % |
190.72/190.80	c |       250 |    2752    62552   204566 |    25229      250     18 |  0.254 % |
190.82/190.91	c ===============================================================================
190.92/191.03	c core #88
190.92/191.03	c 
190.92/191.03	c 
190.92/191.03	c Core size: 158	Core Weight: 1	Total Weight: -209
190.92/191.03	c
190.92/191.03	c
190.92/191.03	c ============================[ Search Statistics ]==============================
190.92/191.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.92/191.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.92/191.03	c ===============================================================================
190.92/191.03	c |         0 |    2884    62559   204846 |    20853        0    nan |  0.000 % |
191.02/191.10	c |       104 |    2884    62559   204846 |    22938      104     53 |  0.242 % |
191.02/191.17	c |       254 |    2884    62559   204846 |    25232      254     42 |  0.242 % |
191.12/191.24	c |       479 |    2884    62559   204846 |    27755      479     34 |  0.242 % |
191.23/191.34	c |       816 |    2884    62559   204846 |    30530      816     28 |  0.242 % |
191.42/191.52	c |      1322 |    2884    62559   204846 |    33583     1322     26 |  0.242 % |
191.52/191.62	c ===============================================================================
191.62/191.75	c core #89
191.62/191.75	c 
191.62/191.75	c 
191.62/191.75	c Core size: 176	Core Weight: 1	Total Weight: -208
191.62/191.75	c
191.62/191.75	c
191.62/191.75	c ============================[ Search Statistics ]==============================
191.62/191.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.62/191.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.62/191.75	c ===============================================================================
191.62/191.75	c |         0 |    3044    62564   205178 |    20854        0    nan |  0.000 % |
191.72/191.80	c |       105 |    3044    62564   205178 |    22940      105     48 |  0.229 % |
191.72/191.85	c |       258 |    3044    62564   205178 |    25234      258     45 |  0.229 % |
191.82/191.90	c |       484 |    3044    62564   205178 |    27757      484     39 |  0.229 % |
191.92/192.00	c |       822 |    3044    62564   205178 |    30533      822     37 |  0.229 % |
191.92/192.08	c |      1328 |    3044    62564   205178 |    33586     1328     31 |  0.229 % |
192.22/192.31	c |      2087 |    3044    62564   205178 |    36945     2087     30 |  0.229 % |
192.52/192.65	c |      3226 |    3044    62564   205178 |    40639     3226     29 |  0.229 % |
193.11/193.20	c |      4934 |    3044    62564   205178 |    44703     4934     27 |  0.229 % |
194.21/194.37	c |      7500 |    3038    62564   205178 |    49174     7499     29 |  0.524 % |
195.42/195.53	c |     11347 |    3035    62564   205178 |    54091     5875     34 |  0.524 % |
196.51/196.67	c ===============================================================================
196.82/196.95	c core #90
196.82/196.95	c 
196.82/196.95	c 
196.82/196.95	c Core size: 240	Core Weight: 1	Total Weight: -207
196.82/196.95	c
196.82/196.95	c
196.82/196.95	c ============================[ Search Statistics ]==============================
196.82/196.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.82/196.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.82/196.95	c ===============================================================================
196.82/196.95	c |         0 |    3252    62580   205639 |    20860        0    nan |  0.000 % |
196.92/197.02	c |       103 |    3252    62580   205639 |    22946      103     69 |  0.215 % |
196.92/197.06	c |       254 |    3252    62580   205639 |    25240      254     46 |  0.215 % |
197.02/197.13	c |       481 |    3252    62580   205639 |    27764      481     49 |  0.215 % |
197.12/197.22	c |       819 |    3252    62580   205639 |    30541      819     46 |  0.215 % |
197.12/197.28	c |      1328 |    3252    62580   205639 |    33595     1328     40 |  0.215 % |
197.31/197.41	c |      2087 |    3252    62580   205639 |    36954     2087     39 |  0.215 % |
197.52/197.67	c |      3228 |    3252    62580   205639 |    40650     3228     39 |  0.215 % |
197.92/198.09	c |      4936 |    3252    62580   205639 |    44715     4936     41 |  0.215 % |
198.82/198.94	c |      7499 |    3252    62580   205639 |    49186     7499     50 |  0.215 % |
200.61/200.70	c |     11348 |    3252    62580   205639 |    54105    11348     54 |  0.215 % |
203.11/203.25	c |     17114 |    3252    62580   205639 |    59516    17114     52 |  0.215 % |
208.21/208.34	c |     25765 |    3252    62580   205639 |    65467    25765     52 |  0.215 % |
219.41/219.52	c |     38740 |    3251    62580   205639 |    72014    38739     53 |  0.245 % |
239.61/239.76	c |     58201 |    3251    62580   205639 |    79215    58200     53 |  0.245 % |
260.69/260.81	c ===============================================================================
262.09/262.26	c core #91
262.09/262.26	c 
262.09/262.26	c 
262.09/262.26	c Core size: 334	Core Weight: 1	Total Weight: -206
262.09/262.26	c
262.09/262.26	c
262.09/262.26	c ============================[ Search Statistics ]==============================
262.09/262.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
262.09/262.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
262.09/262.26	c ===============================================================================
262.09/262.26	c |         0 |    3544    62615   206323 |    20871        0    nan |  0.000 % |
262.20/262.34	c |       100 |    3544    62615   206323 |    22958      100     49 |  0.197 % |
262.20/262.37	c |       252 |    3544    62615   206323 |    25254      252     39 |  0.197 % |
262.30/262.44	c |       479 |    3544    62615   206323 |    27780      479     36 |  0.197 % |
262.40/262.51	c |       816 |    3544    62615   206323 |    30558      816     30 |  0.197 % |
262.49/262.65	c |      1323 |    3544    62615   206323 |    33614     1323     29 |  0.197 % |
262.70/262.84	c |      2083 |    3544    62615   206323 |    36975     2083     30 |  0.197 % |
263.00/263.13	c |      3222 |    3544    62615   206323 |    40672     3222     30 |  0.197 % |
263.59/263.72	c |      4931 |    3544    62615   206323 |    44740     4931     33 |  0.197 % |
264.49/264.62	c |      7494 |    3544    62615   206323 |    49214     7494     33 |  0.197 % |
266.20/266.30	c |     11341 |    3544    62615   206323 |    54135    11341     34 |  0.197 % |
269.10/269.24	c |     17108 |    3544    62615   206323 |    59549    17108     35 |  0.197 % |
272.30/272.42	c ===============================================================================
272.80/272.90	c core #92
272.80/272.90	c 
272.80/272.90	c 
272.80/272.90	c Core size: 103	Core Weight: 1	Total Weight: -205
272.80/272.90	c
272.80/272.90	c
272.80/272.90	c ============================[ Search Statistics ]==============================
272.80/272.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
272.80/272.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
272.80/272.90	c ===============================================================================
272.80/272.90	c |         0 |    3625    62636   206544 |    20878        0    nan |  0.000 % |
272.80/272.96	c |       100 |    3625    62636   206544 |    22966      100     51 |  0.193 % |
272.89/273.03	c |       250 |    3625    62636   206544 |    25263      250     41 |  0.193 % |
272.89/273.09	c |       476 |    3625    62636   206544 |    27789      476     40 |  0.193 % |
272.99/273.19	c |       817 |    3625    62636   206544 |    30568      817     44 |  0.193 % |
273.19/273.36	c |      1323 |    3625    62636   206544 |    33625     1323     51 |  0.193 % |
273.49/273.65	c |      2082 |    3625    62636   206544 |    36987     2082     55 |  0.193 % |
273.80/273.96	c |      3221 |    3625    62636   206544 |    40686     3221     56 |  0.193 % |
274.69/274.86	c |      4933 |    3625    62636   206544 |    44755     4933     61 |  0.193 % |
276.00/276.15	c |      7495 |    3625    62636   206544 |    49230     7495     63 |  0.193 % |
278.99/279.14	c |     11339 |    3625    62636   206544 |    54153    11339     68 |  0.193 % |
283.89/284.00	c |     17106 |    3625    62636   206544 |    59569    17106     70 |  0.193 % |
292.68/292.87	c |     25757 |    3625    62636   206544 |    65526    25757     73 |  0.193 % |
311.88/312.04	c |     38735 |    3625    62636   206544 |    72078    38735     74 |  0.193 % |
347.07/347.23	c |     58199 |    3625    62636   206544 |    79286    58199     71 |  0.193 % |
390.55/390.71	c |     87393 |    3625    62636   206544 |    87215    21837     68 |  0.193 % |
457.84/458.03	c |    131182 |    3625    62636   206544 |    95936    65626     73 |  0.193 % |
555.49/555.76	c |    196866 |    3625    62636   206544 |   105530    50328     78 |  0.193 % |
735.94/736.26	c |    295395 |    3625    62636   206544 |   116083    59562     75 |  0.193 % |
1041.65/1042.05	c |    443186 |    3625    62636   206544 |   127692   107315     85 |  0.193 % |
1633.67/1634.24	c |    664874 |    3625    62636   206544 |   140461   106300    125 |  0.193 % |

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-2680385-1277460406/watcher-2680385-1277460406 -o /tmp/evaluation-result-2680385-1277460406/solver-2680385-1277460406 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680385-1277460406.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.98 0.99 3/106 20999
/proc/meminfo: memFree=1853472/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=4928 CPUtime=0
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 121642362 5046272 281 1992294400 134512640 135752675 4288234416 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 1232 281 139 303 0 423 0

[startup+0.0153291 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 20999
/proc/meminfo: memFree=1853472/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=4928 CPUtime=0.01
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 375 0 0 0 1 0 0 0 20 0 1 0 121642362 5046272 294 1992294400 134512640 135752675 4288234416 18446744073709551615 134565522 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 1232 294 150 303 0 423 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4928

[startup+0.101338 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 20999
/proc/meminfo: memFree=1853472/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=5952 CPUtime=0.09
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 742 0 0 0 9 0 0 0 20 0 1 0 121642362 6094848 661 1992294400 134512640 135752675 4288234416 18446744073709551615 134562745 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 1488 661 286 303 0 679 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5952

[startup+0.30136 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 20999
/proc/meminfo: memFree=1853472/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=7912 CPUtime=0.29
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 1575 0 0 0 29 0 0 0 20 0 1 0 121642362 8101888 1494 1992294400 134512640 135752675 4288234416 18446744073709551615 134559859 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 1978 1494 600 303 0 1169 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7912

[startup+0.701405 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 20999
/proc/meminfo: memFree=1853472/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=7272 CPUtime=0.69
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 1962 0 0 0 66 3 0 0 21 0 1 0 121642362 7446528 1345 1992294400 134512640 135752675 4288234416 18446744073709551615 134599059 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 1818 1345 144 303 0 1513 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7272

[startup+1.5015 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 21000
/proc/meminfo: memFree=1848628/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=7916 CPUtime=1.49
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 2111 0 0 0 140 9 0 0 23 0 1 0 121642362 8105984 1494 1992294400 134512640 135752675 4288234416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 1979 1494 145 303 0 1674 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7916

[startup+3.10167 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 21000
/proc/meminfo: memFree=1846892/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=10492 CPUtime=3.09
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 2758 0 0 0 297 12 0 0 25 0 1 0 121642362 10743808 2141 1992294400 134512640 135752675 4288234416 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 2623 2141 145 303 0 2318 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10492

[startup+6.30103 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 21000
/proc/meminfo: memFree=1841932/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=14692 CPUtime=6.29
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 3815 0 0 0 614 15 0 0 25 0 1 0 121642362 15044608 3198 1992294400 134512640 135752675 4288234416 18446744073709551615 134605360 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 3673 3198 145 303 0 3368 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14692

[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 21000
/proc/meminfo: memFree=1836228/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=19796 CPUtime=12.69
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 5099 0 0 0 1249 20 0 0 25 0 1 0 121642362 20271104 4482 1992294400 134512640 135752675 4288234416 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 4949 4482 145 303 0 4644 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19796

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 21002
/proc/meminfo: memFree=1827672/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=28100 CPUtime=25.48
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 7147 0 0 0 2520 28 0 0 25 0 1 0 121642362 28774400 6530 1992294400 134512640 135752675 4288234416 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 7025 6530 145 303 0 6720 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28100

[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 21002
/proc/meminfo: memFree=1811800/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=43976 CPUtime=51.06
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 11103 0 0 0 5065 41 0 0 25 0 1 0 121642362 45031424 10486 1992294400 134512640 135752675 4288234416 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 10994 10486 145 303 0 10689 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 43976

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 21004
/proc/meminfo: memFree=1790844/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=64748 CPUtime=102.26
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 16214 0 0 0 10165 61 0 0 25 0 1 0 121642362 66301952 15597 1992294400 134512640 135752675 4288234416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 16187 15597 145 303 0 15882 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 64748

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21004
/proc/meminfo: memFree=1769144/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=86544 CPUtime=162.22
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 21641 0 0 0 16138 84 0 0 25 0 1 0 121642362 88621056 21024 1992294400 134512640 135752675 4288234416 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 21636 21024 145 303 0 21331 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 86544

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21006
/proc/meminfo: memFree=1761952/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=92516 CPUtime=222.21
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 23647 0 0 0 22110 111 0 0 25 0 1 0 121642362 94736384 22659 1992294400 134512640 135752675 4288234416 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 23129 22659 146 303 0 22824 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 92516

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21008
/proc/meminfo: memFree=1761828/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=92516 CPUtime=282.19
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 23667 0 0 0 28083 136 0 0 25 0 1 0 121642362 94736384 22679 1992294400 134512640 135752675 4288234416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 23129 22679 146 303 0 22824 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 92516

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21010
/proc/meminfo: memFree=1754264/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=100464 CPUtime=342.18
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 25647 0 0 0 34065 153 0 0 25 0 1 0 121642362 102875136 24659 1992294400 134512640 135752675 4288234416 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 25116 24659 146 303 0 24811 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 100464

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21012
/proc/meminfo: memFree=1737276/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=117744 CPUtime=402.15
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 29915 0 0 0 40041 174 0 0 25 0 1 0 121642362 120569856 28927 1992294400 134512640 135752675 4288234416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 29436 28927 146 303 0 29131 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 117744

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21015
/proc/meminfo: memFree=1720288/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=134040 CPUtime=462.13
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 33956 0 0 0 46021 192 0 0 25 0 1 0 121642362 137256960 32968 1992294400 134512640 135752675 4288234416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 33510 32968 146 303 0 33205 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 134040

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21017
/proc/meminfo: memFree=1702928/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=152076 CPUtime=522.1
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 38451 0 0 0 51997 213 0 0 25 0 1 0 121642362 155725824 37463 1992294400 134512640 135752675 4288234416 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 38019 37463 146 303 0 37714 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 152076

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21019
/proc/meminfo: memFree=1684700/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=170104 CPUtime=582.09
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 42893 0 0 0 57973 236 0 0 25 0 1 0 121642362 174186496 41905 1992294400 134512640 135752675 4288234416 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 42526 41905 146 303 0 42221 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 170104

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21021
/proc/meminfo: memFree=1672672/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=182312 CPUtime=642.08
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 45903 0 0 0 63954 254 0 0 25 0 1 0 121642362 186687488 44915 1992294400 134512640 135752675 4288234416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 45578 44915 146 303 0 45273 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 182312

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21025
/proc/meminfo: memFree=1629768/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=225252 CPUtime=822.01
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 56624 0 0 0 81891 310 0 0 25 0 1 0 121642362 230658048 55636 1992294400 134512640 135752675 4288234416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 56313 55636 146 303 0 56008 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 225252

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21027
/proc/meminfo: memFree=1616872/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=237992 CPUtime=882
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 59816 0 0 0 87875 325 0 0 25 0 1 0 121642362 243703808 58828 1992294400 134512640 135752675 4288234416 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 59498 58828 146 303 0 59193 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 237992

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21029
/proc/meminfo: memFree=1599388/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=255432 CPUtime=941.98
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 64174 0 0 0 93856 342 0 0 25 0 1 0 121642362 261562368 63186 1992294400 134512640 135752675 4288234416 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 63858 63186 146 303 0 63553 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 255432

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21031
/proc/meminfo: memFree=1586244/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=268600 CPUtime=1001.96
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 67430 0 0 0 99839 357 0 0 25 0 1 0 121642362 275046400 66442 1992294400 134512640 135752675 4288234416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 67150 66442 146 303 0 66845 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 268600

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21031
/proc/meminfo: memFree=1574960/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=279824 CPUtime=1061.94
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 70246 0 0 0 105822 372 0 0 25 0 1 0 121642362 286539776 69258 1992294400 134512640 135752675 4288234416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 69956 69258 146 303 0 69651 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 279824

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21033
/proc/meminfo: memFree=1562064/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=292628 CPUtime=1121.92
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 73450 0 0 0 111807 385 0 0 25 0 1 0 121642362 299651072 72462 1992294400 134512640 135752675 4288234416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 73157 72462 146 303 0 72852 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 292628

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21035
/proc/meminfo: memFree=1542472/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=312464 CPUtime=1181.9
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 78381 0 0 0 117783 407 0 0 25 0 1 0 121642362 319963136 77393 1992294400 134512640 135752675 4288234416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 78116 77393 146 303 0 77811 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 312464

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21037
/proc/meminfo: memFree=1528460/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=326132 CPUtime=1241.89
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 81777 0 0 0 123769 420 0 0 25 0 1 0 121642362 333959168 80789 1992294400 134512640 135752675 4288234416 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 81533 80789 146 303 0 81228 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 326132

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21039
/proc/meminfo: memFree=1517548/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=336912 CPUtime=1301.87
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 84445 0 0 0 129755 432 0 0 25 0 1 0 121642362 344997888 83457 1992294400 134512640 135752675 4288234416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 84228 83457 146 303 0 83923 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 336912

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21039
/proc/meminfo: memFree=1507256/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=347368 CPUtime=1361.85
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 87064 0 0 0 135741 444 0 0 25 0 1 0 121642362 355704832 86076 1992294400 134512640 135752675 4288234416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 86842 86076 146 303 0 86537 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 347368

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21041
/proc/meminfo: memFree=1486176/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=368456 CPUtime=1421.84
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 92291 0 0 0 141722 462 0 0 25 0 1 0 121642362 377298944 91303 1992294400 134512640 135752675 4288234416 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 92114 91303 146 303 0 91809 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 368456

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21043
/proc/meminfo: memFree=1472784/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=381976 CPUtime=1481.81
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 95640 0 0 0 147705 476 0 0 25 0 1 0 121642362 391143424 94652 1992294400 134512640 135752675 4288234416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 95494 94652 146 303 0 95189 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 381976

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21045
/proc/meminfo: memFree=1460880/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=394016 CPUtime=1541.8
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 98575 0 0 0 153693 487 0 0 25 0 1 0 121642362 403472384 97587 1992294400 134512640 135752675 4288234416 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 98504 97587 146 303 0 98199 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 394016

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21047
/proc/meminfo: memFree=1449968/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=405228 CPUtime=1601.78
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 101338 0 0 0 159680 498 0 0 25 0 1 0 121642362 414953472 100350 1992294400 134512640 135752675 4288234416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 101307 100350 146 303 0 101002 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 405228

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21047
/proc/meminfo: memFree=1440668/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=414400 CPUtime=1661.76
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 103621 0 0 0 165667 509 0 0 25 0 1 0 121642362 424345600 102633 1992294400 134512640 135752675 4288234416 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 103600 102633 146 303 0 103295 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 414400

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21049
/proc/meminfo: memFree=1433104/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=422044 CPUtime=1721.74
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 105526 0 0 0 171658 516 0 0 25 0 1 0 121642362 432173056 104538 1992294400 134512640 135752675 4288234416 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 105511 104539 146 303 0 105206 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 422044

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21051
/proc/meminfo: memFree=1427028/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=427932 CPUtime=1781.72
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 106958 0 0 0 177650 522 0 0 25 0 1 0 121642362 438202368 105970 1992294400 134512640 135752675 4288234416 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 106983 105970 146 303 0 106678 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 427932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 21051
/proc/meminfo: memFree=1425540/2059040 swapFree=4139972/4192956
[pid=20999] ppid=20997 vsize=429308 CPUtime=1800.03
/proc/20999/stat : 20999 (wbo1.4b) R 20997 20999 20405 0 -1 4202496 107321 0 0 0 179478 525 0 0 25 0 1 0 121642362 439611392 106333 1992294400 134512640 135752675 4288234416 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20999/statm: 107327 106333 146 303 0 107022 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 429308

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.66
CPU time (s): 1800.08
CPU user time (s): 1794.79
CPU system time (s): 5.29819
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 429308

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.79
system time used= 5.29819
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107321
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= 63
involuntary context switches= 3527

runsolver used 3.04754 second user time and 8.46271 second system time

The end

Launcher Data 

Begin job on node009 at 2010-06-25 12:06:46
IDJOB=2680385
IDBENCH=71831
IDSOLVER=1190
FILE ID=node009/2680385-1277460406
PBS_JOBID= 11188149
Free space on /tmp= 62400 MiB

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

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

MD5SUM BENCH= 5ab7e551a21f0b7676d0c7dccbb62e78
RANDOM SEED=1354718225

node009.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.199
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.39
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.199
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:       1854000 kB
Buffers:         29496 kB
Cached:          73360 kB
SwapCached:       5492 kB
Active:          19960 kB
Inactive:        95896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1854000 kB
SwapTotal:     4192956 kB
SwapFree:      4139972 kB
Dirty:            4624 kB
Writeback:           0 kB
AnonPages:       11628 kB
Mapped:          11948 kB
Slab:            67296 kB
PageTables:       4192 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181204 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= 62396 MiB
End job on node009 at 2010-06-25 12:36:49