Trace number 2680382

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.11 1800.67

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-3000opt.opb
MD5SUM948226035ef0280d59f9150dd2b5c694
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-187
Best CPU time to get the best result obtained on this benchmark35.0747
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 constraints63877
Number of constraints which are clauses63877
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 340
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 340
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-2680382-1277460384.opb.
0.00/0.00	c Instance file HOME/instance-2680382-1277460384.opb
0.00/0.00	c File size is 2132614 bytes.
0.29/0.33	c Highest Coefficient sum: 4
0.29/0.33	c ============================[ Problem Statistics ]=============================
0.29/0.33	c |                                                                             |
0.29/0.33	c |  Parsing time:          0.33         s                                      |
0.29/0.33	c |  Number Variables:      2025                                                |
0.29/0.33	c |  Number Clauses:        63877                                               |
0.29/0.33	c |  Number Cardinality:    0                                                   |
0.29/0.33	c |  Number PB Constraints: 0                                                   |
0.39/0.42	c ============================[ Search Statistics ]==============================
0.39/0.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.42	c ===============================================================================
0.39/0.42	c |         0 |    2018    63884   190461 |    21292        0    nan |  0.000 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c New solution: 0
0.39/0.43	o 0
0.39/0.43	c Elapsed CPU time: 0.421935 s	Remaining CPU time: 179.578 s
0.39/0.43	c ===============================================================================
0.39/0.43	c |         0 |    2018    63885   190596 |    21295        0    nan |  0.000 % |
0.39/0.44	c ===============================================================================
0.39/0.44	c New solution: -3
0.39/0.44	o -3
0.39/0.44	c Elapsed CPU time: 0.426935 s	Remaining CPU time: 179.573 s
0.39/0.44	c ===============================================================================
0.39/0.44	c |         0 |    2018    63886   190731 |    21295        0    nan |  0.000 % |
0.39/0.45	c ===============================================================================
0.39/0.45	c New solution: -4
0.39/0.45	o -4
0.39/0.45	c Elapsed CPU time: 0.435933 s	Remaining CPU time: 179.564 s
0.39/0.45	c ===============================================================================
0.39/0.45	c |         0 |    2018    63887   190866 |    21295        0    nan |  0.000 % |
0.39/0.46	c ===============================================================================
0.39/0.46	c New solution: -7
0.39/0.46	o -7
0.39/0.46	c Elapsed CPU time: 0.445932 s	Remaining CPU time: 179.554 s
0.39/0.46	c ===============================================================================
0.39/0.46	c |         0 |    2018    63888   191001 |    21296        0    nan |  0.000 % |
0.39/0.47	c ===============================================================================
0.39/0.47	c New solution: -9
0.39/0.47	o -9
0.39/0.47	c Elapsed CPU time: 0.45593 s	Remaining CPU time: 179.544 s
0.39/0.47	c ===============================================================================
0.39/0.47	c |         1 |    2018    63889   191136 |    21296        1    133 |  0.000 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c New solution: -10
0.39/0.49	o -10
0.39/0.49	c Elapsed CPU time: 0.463929 s	Remaining CPU time: 179.536 s
0.39/0.49	c ===============================================================================
0.39/0.49	c |         1 |    2018    63890   191271 |    21296        1    133 |  0.000 % |
0.49/0.50	c ===============================================================================
0.49/0.50	c New solution: -11
0.49/0.50	o -11
0.49/0.50	c Elapsed CPU time: 0.474927 s	Remaining CPU time: 179.525 s
0.49/0.50	c ===============================================================================
0.49/0.50	c |         1 |    2018    63891   191406 |    21297        1    133 |  0.000 % |
0.49/0.51	c ===============================================================================
0.49/0.51	c New solution: -13
0.49/0.51	o -13
0.49/0.51	c Elapsed CPU time: 0.484926 s	Remaining CPU time: 179.515 s
0.49/0.51	c ===============================================================================
0.49/0.51	c |         1 |    2018    63892   191541 |    21297        1    133 |  0.000 % |
0.49/0.52	c ===============================================================================
0.49/0.52	c New solution: -14
0.49/0.52	o -14
0.49/0.52	c Elapsed CPU time: 0.494924 s	Remaining CPU time: 179.505 s
0.49/0.52	c ===============================================================================
0.49/0.52	c |         1 |    2018    63893   191676 |    21297        1    133 |  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.504923 s	Remaining CPU time: 179.495 s
0.49/0.53	c ===============================================================================
0.49/0.53	c |         2 |    2018    63894   191811 |    21298        2    132 |  0.000 % |
0.49/0.54	c ===============================================================================
0.49/0.54	c New solution: -18
0.49/0.54	o -18
0.49/0.54	c Elapsed CPU time: 0.515921 s	Remaining CPU time: 179.484 s
0.49/0.54	c ===============================================================================
0.49/0.54	c |         2 |    2018    63895   191946 |    21298        2    132 |  0.000 % |
0.49/0.55	c ===============================================================================
0.49/0.55	c New solution: -21
0.49/0.55	o -21
0.49/0.55	c Elapsed CPU time: 0.52592 s	Remaining CPU time: 179.474 s
0.49/0.55	c ===============================================================================
0.49/0.55	c |         4 |    2018    63896   192081 |    21298        4    130 |  0.000 % |
0.49/0.57	c ===============================================================================
0.49/0.57	c New solution: -22
0.49/0.57	o -22
0.49/0.57	c Elapsed CPU time: 0.535918 s	Remaining CPU time: 179.464 s
0.49/0.57	c ===============================================================================
0.49/0.57	c |         4 |    2018    63897   192216 |    21299        4    130 |  0.000 % |
0.49/0.58	c ===============================================================================
0.49/0.58	c New solution: -24
0.49/0.58	o -24
0.49/0.58	c Elapsed CPU time: 0.546916 s	Remaining CPU time: 179.453 s
0.49/0.58	c ===============================================================================
0.49/0.58	c |         5 |    2018    63898   192351 |    21299        5    129 |  0.000 % |
0.49/0.59	c ===============================================================================
0.49/0.59	c New solution: -25
0.49/0.59	o -25
0.49/0.59	c Elapsed CPU time: 0.557915 s	Remaining CPU time: 179.442 s
0.49/0.59	c ===============================================================================
0.49/0.59	c |         5 |    2018    63899   192486 |    21299        5    129 |  0.000 % |
0.59/0.60	c ===============================================================================
0.59/0.60	c New solution: -26
0.59/0.60	o -26
0.59/0.60	c Elapsed CPU time: 0.568913 s	Remaining CPU time: 179.431 s
0.59/0.60	c ===============================================================================
0.59/0.60	c |         5 |    2018    63900   192621 |    21300        5    129 |  0.000 % |
0.59/0.61	c ===============================================================================
0.59/0.61	c New solution: -28
0.59/0.61	o -28
0.59/0.61	c Elapsed CPU time: 0.580911 s	Remaining CPU time: 179.419 s
0.59/0.61	c ===============================================================================
0.59/0.61	c |         7 |    2018    63901   192756 |    21300        7    128 |  0.000 % |
0.59/0.62	c ===============================================================================
0.59/0.62	c New solution: -29
0.59/0.62	o -29
0.59/0.62	c Elapsed CPU time: 0.58991 s	Remaining CPU time: 179.41 s
0.59/0.62	c ===============================================================================
0.59/0.62	c |        10 |    2018    63902   192891 |    21300       10    127 |  0.000 % |
0.59/0.63	c ===============================================================================
0.59/0.63	c New solution: -31
0.59/0.63	o -31
0.59/0.63	c Elapsed CPU time: 0.599908 s	Remaining CPU time: 179.4 s
0.59/0.63	c ===============================================================================
0.59/0.63	c |        14 |    2018    63903   193026 |    21301       14    117 |  0.000 % |
0.59/0.64	c ===============================================================================
0.59/0.64	c New solution: -32
0.59/0.64	o -32
0.59/0.64	c Elapsed CPU time: 0.608907 s	Remaining CPU time: 179.391 s
0.59/0.64	c ===============================================================================
0.59/0.64	c |        17 |    2018    63904   193161 |    21301       17    118 |  0.000 % |
0.59/0.65	c ===============================================================================
0.59/0.65	c New solution: -33
0.59/0.65	o -33
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 |        17 |    2018    63905   193296 |    21301       17    118 |  0.000 % |
0.59/0.67	c ===============================================================================
0.59/0.67	c New solution: -34
0.59/0.67	o -34
0.59/0.67	c Elapsed CPU time: 0.628904 s	Remaining CPU time: 179.371 s
0.59/0.67	c ===============================================================================
0.59/0.67	c |        27 |    2018    63906   193431 |    21302       27    120 |  0.000 % |
0.59/0.68	c ===============================================================================
0.59/0.68	c New solution: -35
0.59/0.68	o -35
0.59/0.68	c Elapsed CPU time: 0.639902 s	Remaining CPU time: 179.36 s
0.59/0.68	c ===============================================================================
0.59/0.68	c |        27 |    2018    63907   193566 |    21302       27    120 |  0.000 % |
0.59/0.69	c ===============================================================================
0.59/0.69	c New solution: -36
0.59/0.69	o -36
0.59/0.69	c Elapsed CPU time: 0.650901 s	Remaining CPU time: 179.349 s
0.59/0.69	c ===============================================================================
0.59/0.69	c |        33 |    2018    63908   193701 |    21302       33    120 |  0.000 % |
0.69/0.70	c ===============================================================================
0.69/0.70	c New solution: -37
0.69/0.70	o -37
0.69/0.70	c Elapsed CPU time: 0.659899 s	Remaining CPU time: 179.34 s
0.69/0.70	c ===============================================================================
0.69/0.70	c |        35 |    2018    63909   193836 |    21303       35    120 |  0.000 % |
0.69/0.71	c ===============================================================================
0.69/0.71	c New solution: -38
0.69/0.71	o -38
0.69/0.71	c Elapsed CPU time: 0.669898 s	Remaining CPU time: 179.33 s
0.69/0.71	c ===============================================================================
0.69/0.71	c |        35 |    2018    63910   193971 |    21303       35    120 |  0.000 % |
0.69/0.72	c ===============================================================================
0.69/0.72	c New solution: -39
0.69/0.72	o -39
0.69/0.72	c Elapsed CPU time: 0.678896 s	Remaining CPU time: 179.321 s
0.69/0.72	c ===============================================================================
0.69/0.72	c |        35 |    2018    63911   194106 |    21303       35    120 |  0.000 % |
0.69/0.73	c ===============================================================================
0.69/0.73	c New solution: -40
0.69/0.73	o -40
0.69/0.73	c Elapsed CPU time: 0.687895 s	Remaining CPU time: 179.312 s
0.69/0.73	c ===============================================================================
0.69/0.73	c |        39 |    2018    63912   194241 |    21304       39    120 |  0.000 % |
0.69/0.74	c ===============================================================================
0.69/0.74	c New solution: -41
0.69/0.74	o -41
0.69/0.74	c Elapsed CPU time: 0.698893 s	Remaining CPU time: 179.301 s
0.69/0.74	c ===============================================================================
0.69/0.74	c |        45 |    2018    63913   194376 |    21304       45    120 |  0.000 % |
0.69/0.76	c ===============================================================================
0.69/0.76	c New solution: -42
0.69/0.76	o -42
0.69/0.76	c Elapsed CPU time: 0.708892 s	Remaining CPU time: 179.291 s
0.69/0.76	c ===============================================================================
0.69/0.76	c |        45 |    2018    63914   194511 |    21304       45    120 |  0.000 % |
0.69/0.77	c ===============================================================================
0.69/0.77	c New solution: -43
0.69/0.77	o -43
0.69/0.77	c Elapsed CPU time: 0.71889 s	Remaining CPU time: 179.281 s
0.69/0.77	c ===============================================================================
0.69/0.77	c |        45 |    2018    63915   194646 |    21305       45    120 |  0.000 % |
0.69/0.78	c ===============================================================================
0.69/0.78	c New solution: -44
0.69/0.78	o -44
0.69/0.78	c Elapsed CPU time: 0.726889 s	Remaining CPU time: 179.273 s
0.69/0.78	c ===============================================================================
0.69/0.78	c |        45 |    2018    63916   194781 |    21305       45    120 |  0.000 % |
0.69/0.79	c ===============================================================================
0.69/0.79	c New solution: -45
0.69/0.79	o -45
0.69/0.79	c Elapsed CPU time: 0.736887 s	Remaining CPU time: 179.263 s
0.69/0.79	c ===============================================================================
0.69/0.79	c |        49 |    2018    63917   194916 |    21305       49    120 |  0.000 % |
0.79/0.80	c ===============================================================================
0.79/0.80	c New solution: -46
0.79/0.80	o -46
0.79/0.80	c Elapsed CPU time: 0.746886 s	Remaining CPU time: 179.253 s
0.79/0.80	c ===============================================================================
0.79/0.80	c |        56 |    2018    63918   195051 |    21306       56    120 |  0.000 % |
0.79/0.81	c ===============================================================================
0.79/0.81	c New solution: -47
0.79/0.81	o -47
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 |        63 |    2018    63919   195186 |    21306       63    119 |  0.000 % |
0.79/0.82	c ===============================================================================
0.79/0.82	c New solution: -48
0.79/0.82	o -48
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 |        70 |    2018    63920   195321 |    21306       70    119 |  0.000 % |
0.79/0.83	c ===============================================================================
0.79/0.83	c New solution: -49
0.79/0.83	o -49
0.79/0.83	c Elapsed CPU time: 0.778881 s	Remaining CPU time: 179.221 s
0.79/0.83	c ===============================================================================
0.79/0.83	c |        70 |    2018    63921   195456 |    21307       70    119 |  0.000 % |
0.79/0.85	c ===============================================================================
0.79/0.85	c New solution: -50
0.79/0.85	o -50
0.79/0.85	c Elapsed CPU time: 0.789879 s	Remaining CPU time: 179.21 s
0.79/0.85	c ===============================================================================
0.79/0.85	c |        75 |    2018    63922   195591 |    21307       75    119 |  0.000 % |
0.79/0.86	c ===============================================================================
0.79/0.86	c New solution: -51
0.79/0.86	o -51
0.79/0.86	c Elapsed CPU time: 0.800878 s	Remaining CPU time: 179.199 s
0.79/0.86	c ===============================================================================
0.79/0.86	c |        92 |    2018    63923   195726 |    21307       92    116 |  0.000 % |
0.79/0.87	c ===============================================================================
0.79/0.87	c New solution: -52
0.79/0.87	o -52
0.79/0.87	c Elapsed CPU time: 0.813876 s	Remaining CPU time: 179.186 s
0.79/0.87	c ===============================================================================
0.79/0.87	c |       150 |    2018    63924   195861 |    21308      150    113 |  0.000 % |
0.79/0.88	c ===============================================================================
0.79/0.88	c New solution: -53
0.79/0.88	o -53
0.79/0.88	c Elapsed CPU time: 0.823874 s	Remaining CPU time: 179.176 s
0.79/0.88	c ===============================================================================
0.79/0.88	c |       169 |    2018    63925   195996 |    21308      169    112 |  0.000 % |
0.79/0.90	c ===============================================================================
0.79/0.90	c New solution: -54
0.79/0.90	o -54
0.79/0.90	c Elapsed CPU time: 0.832873 s	Remaining CPU time: 179.167 s
0.79/0.90	c ===============================================================================
0.79/0.90	c |       169 |    2018    63926   196131 |    21308      169    112 |  0.000 % |
0.89/0.91	c ===============================================================================
0.89/0.91	c New solution: -55
0.89/0.91	o -55
0.89/0.91	c Elapsed CPU time: 0.84887 s	Remaining CPU time: 179.151 s
0.89/0.91	c ===============================================================================
0.89/0.91	c |       209 |    2018    63927   196266 |    21309      209    111 |  0.000 % |
0.89/0.93	c |       309 |    2018    63927   196266 |    23439      309    111 |  0.346 % |
0.89/0.95	c ===============================================================================
0.89/0.95	c New solution: -56
0.89/0.95	o -56
0.89/0.95	c Elapsed CPU time: 0.880866 s	Remaining CPU time: 179.119 s
0.89/0.95	c ===============================================================================
0.89/0.95	c |       386 |    2018    63928   196401 |    21309      386    111 |  0.346 % |
0.89/0.96	c ===============================================================================
0.89/0.96	c New solution: -57
0.89/0.96	o -57
0.89/0.96	c Elapsed CPU time: 0.893864 s	Remaining CPU time: 179.106 s
0.89/0.96	c ===============================================================================
0.89/0.96	c |       392 |    2018    63929   196536 |    21309      392    111 |  0.346 % |
0.89/0.98	c ===============================================================================
0.89/0.98	c New solution: -58
0.89/0.98	o -58
0.89/0.98	c Elapsed CPU time: 0.910861 s	Remaining CPU time: 179.089 s
0.89/0.98	c ===============================================================================
0.89/0.98	c |       462 |    2018    63930   196671 |    21310      462    111 |  0.346 % |
0.89/0.99	c ===============================================================================
0.89/0.99	c New solution: -59
0.89/0.99	o -59
0.89/0.99	c Elapsed CPU time: 0.92086 s	Remaining CPU time: 179.079 s
0.89/0.99	c ===============================================================================
0.89/0.99	c |       462 |    2018    63931   196806 |    21310      462    111 |  0.346 % |
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.935857 s	Remaining CPU time: 179.064 s
1.00/1.01	c ===============================================================================
1.00/1.01	c |       479 |    2018    63932   196941 |    21310      479    110 |  0.346 % |
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.946856 s	Remaining CPU time: 179.053 s
1.00/1.02	c ===============================================================================
1.00/1.02	c |       486 |    2018    63933   197076 |    21311      486    110 |  0.346 % |
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.958854 s	Remaining CPU time: 179.041 s
1.00/1.03	c ===============================================================================
1.00/1.03	c |       486 |    2018    63934   197211 |    21311      486    110 |  0.346 % |
1.00/1.05	c |       586 |    2018    63934   197211 |    23442      586    110 |  0.346 % |
1.00/1.07	c |       736 |    2018    63934   197211 |    25786      736    109 |  0.346 % |
1.10/1.11	c |       961 |    2018    63934   197211 |    28365      961    109 |  0.346 % |
1.10/1.13	c ===============================================================================
1.10/1.13	c New solution: -63
1.10/1.13	o -63
1.10/1.13	c Elapsed CPU time: 1.05284 s	Remaining CPU time: 178.947 s
1.10/1.13	c ===============================================================================
1.10/1.13	c |      1014 |    2018    63935   197346 |    21311     1014    108 |  0.346 % |
1.10/1.14	c ===============================================================================
1.10/1.14	c New solution: -64
1.10/1.14	o -64
1.10/1.14	c Elapsed CPU time: 1.06484 s	Remaining CPU time: 178.935 s
1.10/1.14	c ===============================================================================
1.10/1.14	c |      1015 |    2018    63936   197481 |    21312     1015    108 |  0.346 % |
1.10/1.16	c |      1116 |    2018    63936   197481 |    23443     1116    108 |  0.346 % |
1.10/1.17	c ===============================================================================
1.10/1.17	c New solution: -65
1.10/1.17	o -65
1.10/1.17	c Elapsed CPU time: 1.09283 s	Remaining CPU time: 178.907 s
1.10/1.17	c ===============================================================================
1.10/1.17	c |      1130 |    2018    63937   197616 |    21312     1130    108 |  0.346 % |
1.10/1.19	c ===============================================================================
1.10/1.19	c New solution: -66
1.10/1.19	o -66
1.10/1.19	c Elapsed CPU time: 1.11183 s	Remaining CPU time: 178.888 s
1.10/1.19	c ===============================================================================
1.10/1.19	c |      1208 |    2018    63938   197751 |    21312     1208    108 |  0.346 % |
1.19/1.20	c ===============================================================================
1.19/1.20	c New solution: -67
1.19/1.20	o -67
1.19/1.20	c Elapsed CPU time: 1.12283 s	Remaining CPU time: 178.877 s
1.19/1.20	c ===============================================================================
1.19/1.20	c |      1210 |    2018    63939   197886 |    21313     1210    108 |  0.346 % |
1.19/1.22	c |      1310 |    2018    63939   197886 |    23444     1310    108 |  0.346 % |
1.19/1.24	c ===============================================================================
1.19/1.24	c New solution: -68
1.19/1.24	o -68
1.19/1.24	c Elapsed CPU time: 1.16082 s	Remaining CPU time: 178.839 s
1.19/1.24	c ===============================================================================
1.19/1.24	c |      1362 |    2018    63940   198021 |    21313     1362    108 |  0.346 % |
1.19/1.26	c ===============================================================================
1.19/1.26	c New solution: -69
1.19/1.26	o -69
1.19/1.26	c Elapsed CPU time: 1.18382 s	Remaining CPU time: 178.816 s
1.19/1.26	c ===============================================================================
1.19/1.26	c |      1448 |    2018    63941   198156 |    21313     1448    108 |  0.346 % |
1.19/1.27	c ===============================================================================
1.19/1.27	c New solution: -70
1.19/1.27	o -70
1.19/1.27	c Elapsed CPU time: 1.19482 s	Remaining CPU time: 178.805 s
1.19/1.27	c ===============================================================================
1.19/1.27	c |      1448 |    2018    63942   198291 |    21314     1448    108 |  0.346 % |
1.19/1.29	c |      1550 |    2018    63942   198291 |    23445     1550    108 |  0.346 % |
1.29/1.33	c |      1700 |    2018    63942   198291 |    25789     1700    108 |  0.346 % |
1.29/1.36	c |      1925 |    2018    63942   198291 |    28368     1925    108 |  0.346 % |
1.39/1.42	c ===============================================================================
1.39/1.42	c New solution: -71
1.39/1.42	o -71
1.39/1.42	c Elapsed CPU time: 1.3408 s	Remaining CPU time: 178.659 s
1.39/1.42	c ===============================================================================
1.39/1.42	c |      2219 |    2018    63943   198426 |    21314     2219    108 |  0.346 % |
1.39/1.44	c ===============================================================================
1.39/1.44	c New solution: -72
1.39/1.44	o -72
1.39/1.44	c Elapsed CPU time: 1.35479 s	Remaining CPU time: 178.645 s
1.39/1.44	c ===============================================================================
1.39/1.44	c |      2229 |    2018    63944   198561 |    21314     2229    108 |  0.346 % |
1.39/1.46	c |      2330 |    2018    63944   198561 |    23446     2330    108 |  0.346 % |
1.39/1.49	c |      2480 |    2018    63944   198561 |    25790     2480    108 |  0.346 % |
1.49/1.50	c ===============================================================================
1.49/1.50	c New solution: -73
1.49/1.50	o -73
1.49/1.50	c Elapsed CPU time: 1.41379 s	Remaining CPU time: 178.586 s
1.49/1.50	c ===============================================================================
1.49/1.50	c |      2501 |    2018    63945   198696 |    21315     2501    108 |  0.346 % |
1.49/1.51	c ===============================================================================
1.49/1.51	c New solution: -74
1.49/1.51	o -74
1.49/1.51	c Elapsed CPU time: 1.42578 s	Remaining CPU time: 178.574 s
1.49/1.51	c ===============================================================================
1.49/1.51	c |      2501 |    2018    63946   198831 |    21315     2501    108 |  0.346 % |
1.49/1.53	c |      2602 |    2018    63946   198831 |    23446     2602    108 |  0.346 % |
1.49/1.56	c |      2753 |    2018    63946   198831 |    25791     2753    108 |  0.346 % |
1.59/1.61	c |      2979 |    2018    63946   198831 |    28370     2979    107 |  0.346 % |
1.59/1.67	c |      3317 |    2018    63946   198831 |    31207     3317    107 |  0.346 % |
1.69/1.77	c |      3823 |    2018    63946   198831 |    34328     3823    107 |  0.346 % |
1.69/1.79	c ===============================================================================
1.69/1.79	c New solution: -75
1.69/1.79	o -75
1.69/1.79	c Elapsed CPU time: 1.69874 s	Remaining CPU time: 178.301 s
1.69/1.79	c ===============================================================================
1.69/1.79	c |      3880 |    2018    63947   198966 |    21315     3880    107 |  0.346 % |
1.79/1.81	c ===============================================================================
1.79/1.81	c New solution: -76
1.79/1.81	o -76
1.79/1.81	c Elapsed CPU time: 1.71174 s	Remaining CPU time: 178.288 s
1.79/1.81	c ===============================================================================
1.79/1.81	c |      3890 |    2018    63948   199101 |    21316     3890    107 |  0.346 % |
1.79/1.82	c ===============================================================================
1.79/1.82	c New solution: -77
1.79/1.82	o -77
1.79/1.82	c Elapsed CPU time: 1.72474 s	Remaining CPU time: 178.275 s
1.79/1.82	c ===============================================================================
1.79/1.82	c |      3890 |    2018    63949   199236 |    21316     3890    107 |  0.346 % |
1.79/1.84	c ===============================================================================
1.79/1.84	c New solution: -78
1.79/1.84	o -78
1.79/1.84	c Elapsed CPU time: 1.74573 s	Remaining CPU time: 178.254 s
1.79/1.84	c ===============================================================================
1.79/1.84	c |      3938 |    2018    63950   199371 |    21316     3938    107 |  0.346 % |
1.79/1.86	c ===============================================================================
1.79/1.86	c New solution: -79
1.79/1.86	o -79
1.79/1.86	c Elapsed CPU time: 1.76273 s	Remaining CPU time: 178.237 s
1.79/1.86	c ===============================================================================
1.79/1.86	c |      3964 |    2018    63951   199506 |    21317     3964    107 |  0.346 % |
1.79/1.87	c ===============================================================================
1.79/1.87	c New solution: -80
1.79/1.87	o -80
1.79/1.87	c Elapsed CPU time: 1.77373 s	Remaining CPU time: 178.226 s
1.79/1.87	c ===============================================================================
1.79/1.87	c |      3964 |    2018    63952   199641 |    21317     3964    107 |  0.346 % |
1.79/1.89	c |      4065 |    2018    63952   199641 |    23449     4065    107 |  0.346 % |
1.88/1.92	c |      4216 |    2018    63952   199641 |    25793     4216    107 |  0.346 % |
1.88/1.97	c |      4441 |    2018    63952   199641 |    28373     4441    107 |  0.346 % |
1.99/2.01	c ===============================================================================
1.99/2.01	c New solution: -81
1.99/2.01	o -81
1.99/2.01	c Elapsed CPU time: 1.90971 s	Remaining CPU time: 178.09 s
1.99/2.01	c ===============================================================================
1.99/2.01	c |      4647 |    2018    63953   199776 |    21317     4647    107 |  0.346 % |
1.99/2.02	c ===============================================================================
1.99/2.02	c New solution: -82
1.99/2.02	o -82
1.99/2.02	c Elapsed CPU time: 1.92171 s	Remaining CPU time: 178.078 s
1.99/2.02	c ===============================================================================
1.99/2.02	c |      4647 |    2018    63954   199911 |    21318     4647    107 |  0.346 % |
1.99/2.04	c |      4748 |    2018    63954   199911 |    23449     4748    107 |  0.346 % |
1.99/2.07	c ===============================================================================
1.99/2.07	c New solution: -83
1.99/2.07	o -83
1.99/2.07	c Elapsed CPU time: 1.9707 s	Remaining CPU time: 178.029 s
1.99/2.07	c ===============================================================================
1.99/2.07	c |      4842 |    2018    63955   200046 |    21318     4842    106 |  0.346 % |
1.99/2.09	c |      4944 |    2018    63955   200046 |    23450     4944    106 |  0.346 % |
2.10/2.12	c |      5094 |    2018    63955   200046 |    25795     5094    106 |  0.346 % |
2.10/2.18	c |      5319 |    2018    63955   200046 |    28374     5319    106 |  0.346 % |
2.20/2.22	c ===============================================================================
2.20/2.22	c New solution: -84
2.20/2.22	o -84
2.20/2.22	c Elapsed CPU time: 2.11668 s	Remaining CPU time: 177.883 s
2.20/2.22	c ===============================================================================
2.20/2.22	c |      5469 |    2018    63956   200181 |    21318     5469    106 |  0.346 % |
2.20/2.26	c ===============================================================================
2.20/2.26	c New solution: -85
2.20/2.26	o -85
2.20/2.26	c Elapsed CPU time: 2.15467 s	Remaining CPU time: 177.845 s
2.20/2.26	c ===============================================================================
2.20/2.26	c |      5562 |    2018    63957   200316 |    21319     5562    106 |  0.346 % |
2.20/2.27	c ===============================================================================
2.20/2.27	c New solution: -86
2.20/2.27	o -86
2.20/2.27	c Elapsed CPU time: 2.16867 s	Remaining CPU time: 177.831 s
2.20/2.27	c ===============================================================================
2.20/2.27	c |      5567 |    2018    63958   200451 |    21319     5567    106 |  0.346 % |
2.29/2.30	c |      5668 |    2018    63958   200451 |    23451     5668    106 |  0.346 % |
2.29/2.35	c |      5819 |    2018    63958   200451 |    25796     5819    106 |  0.346 % |
2.38/2.42	c |      6044 |    2018    63958   200451 |    28376     6044    106 |  0.346 % |
2.48/2.51	c |      6382 |    2018    63958   200451 |    31213     6382    106 |  0.346 % |
2.59/2.65	c |      6889 |    2018    63958   200451 |    34334     6889    106 |  0.346 % |
2.79/2.83	c ===============================================================================
2.79/2.83	c New solution: -87
2.79/2.83	o -87
2.79/2.83	c Elapsed CPU time: 2.71859 s	Remaining CPU time: 177.281 s
2.79/2.83	c ===============================================================================
2.79/2.83	c |      7377 |    2018    63959   200586 |    21319     7377    105 |  0.346 % |
2.79/2.87	c |      7478 |    2018    63959   200586 |    23451     7478    105 |  0.346 % |
2.89/2.93	c |      7628 |    2018    63959   200586 |    25796     7628    105 |  0.346 % |
2.99/3.02	c |      7853 |    2018    63959   200586 |    28376     7853    105 |  0.346 % |
3.09/3.18	c |      8191 |    2018    63959   200586 |    31214     8191    105 |  0.346 % |
3.30/3.36	c |      8699 |    2018    63959   200586 |    34335     8699    105 |  0.346 % |
3.59/3.64	c |      9458 |    2018    63959   200586 |    37769     9458    105 |  0.346 % |
3.59/3.66	c ===============================================================================
3.59/3.66	c New solution: -88
3.59/3.66	o -88
3.59/3.66	c Elapsed CPU time: 3.53546 s	Remaining CPU time: 176.465 s
3.59/3.66	c ===============================================================================
3.59/3.66	c |      9472 |    2018    63960   200721 |    21320     9472    105 |  0.346 % |
3.69/3.70	c |      9572 |    2018    63960   200721 |    23452     9572    105 |  0.346 % |
3.69/3.73	c ===============================================================================
3.69/3.73	c New solution: -89
3.69/3.73	o -89
3.69/3.73	c Elapsed CPU time: 3.60545 s	Remaining CPU time: 176.395 s
3.69/3.73	c ===============================================================================
3.69/3.73	c |      9606 |    2018    63961   200856 |    21320     9606    105 |  0.346 % |
3.69/3.78	c |      9707 |    2018    63961   200856 |    23452     9707    104 |  0.346 % |
3.79/3.84	c |      9859 |    2018    63961   200856 |    25797     9859    104 |  0.346 % |
3.89/3.92	c ===============================================================================
3.89/3.92	c New solution: -90
3.89/3.92	o -90
3.89/3.92	c Elapsed CPU time: 3.79542 s	Remaining CPU time: 176.205 s
3.89/3.92	c ===============================================================================
3.89/3.92	c |     10009 |    2018    63962   200991 |    21320    10009    104 |  0.346 % |
3.89/3.96	c |     10109 |    2018    63962   200991 |    23452    10109    104 |  0.346 % |
3.99/4.01	c |     10260 |    2018    63962   200991 |    25798    10260    104 |  0.346 % |
3.99/4.02	c ===============================================================================
3.99/4.02	c New solution: -91
3.99/4.02	o -91
3.99/4.02	c Elapsed CPU time: 3.89541 s	Remaining CPU time: 176.105 s
3.99/4.02	c ===============================================================================
3.99/4.02	c |     10284 |    2018    63963   201126 |    21321    10284    104 |  0.346 % |
3.99/4.05	c ===============================================================================
3.99/4.05	c New solution: -92
3.99/4.05	o -92
3.99/4.05	c Elapsed CPU time: 3.9224 s	Remaining CPU time: 176.078 s
3.99/4.05	c ===============================================================================
3.99/4.05	c |     10334 |    2018    63964   201261 |    21321    10334    104 |  0.346 % |
3.99/4.07	c ===============================================================================
3.99/4.07	c New solution: -93
3.99/4.07	o -93
3.99/4.07	c Elapsed CPU time: 3.9354 s	Remaining CPU time: 176.065 s
3.99/4.07	c ===============================================================================
3.99/4.07	c |     10334 |    2018    63965   201396 |    21321    10334    104 |  0.346 % |
3.99/4.08	c ===============================================================================
3.99/4.08	c New solution: -94
3.99/4.08	o -94
3.99/4.08	c Elapsed CPU time: 3.9474 s	Remaining CPU time: 176.053 s
3.99/4.08	c ===============================================================================
3.99/4.08	c |     10334 |    2018    63966   201531 |    21322    10334    104 |  0.346 % |
4.09/4.12	c ===============================================================================
4.09/4.12	c New solution: -95
4.09/4.12	o -95
4.09/4.12	c Elapsed CPU time: 3.98939 s	Remaining CPU time: 176.011 s
4.09/4.12	c ===============================================================================
4.09/4.12	c |     10426 |    2018    63967   201666 |    21322    10426    104 |  0.346 % |
4.09/4.15	c ===============================================================================
4.09/4.15	c New solution: -97
4.09/4.15	o -97
4.09/4.15	c Elapsed CPU time: 4.02039 s	Remaining CPU time: 175.98 s
4.09/4.15	c ===============================================================================
4.09/4.15	c |     10480 |    2018    63968   201801 |    21322    10480    104 |  0.346 % |
4.09/4.17	c ===============================================================================
4.09/4.17	c New solution: -98
4.09/4.17	o -98
4.09/4.17	c Elapsed CPU time: 4.03339 s	Remaining CPU time: 175.967 s
4.09/4.17	c ===============================================================================
4.09/4.17	c |     10480 |    2018    63969   201936 |    21323    10480    104 |  0.346 % |
4.19/4.20	c ===============================================================================
4.19/4.20	c New solution: -100
4.19/4.20	o -100
4.19/4.20	c Elapsed CPU time: 4.06538 s	Remaining CPU time: 175.935 s
4.19/4.20	c ===============================================================================
4.19/4.20	c |     10527 |    2018    63970   202071 |    21323    10527    104 |  0.346 % |
4.19/4.24	c |     10629 |    2018    63970   202071 |    23455    10629    104 |  0.346 % |
4.19/4.26	c ===============================================================================
4.19/4.26	c New solution: -101
4.19/4.26	o -101
4.19/4.26	c Elapsed CPU time: 4.12337 s	Remaining CPU time: 175.877 s
4.19/4.26	c ===============================================================================
4.19/4.26	c |     10661 |    2018    63971   202206 |    21323    10661    104 |  0.346 % |
4.19/4.27	c ===============================================================================
4.19/4.27	c New solution: -103
4.19/4.27	o -103
4.19/4.27	c Elapsed CPU time: 4.13737 s	Remaining CPU time: 175.863 s
4.19/4.27	c ===============================================================================
4.19/4.27	c |     10663 |    2018    63972   202341 |    21324    10663    104 |  0.346 % |
4.29/4.31	c |     10763 |    2018    63972   202341 |    23456    10763    104 |  0.346 % |
4.29/4.38	c ===============================================================================
4.29/4.38	c New solution: -104
4.29/4.38	o -104
4.29/4.38	c Elapsed CPU time: 4.23935 s	Remaining CPU time: 175.761 s
4.29/4.38	c ===============================================================================
4.29/4.38	c |     10898 |    2018    63973   202476 |    21324    10898    104 |  0.346 % |
4.29/4.39	c ===============================================================================
4.29/4.39	c New solution: -105
4.29/4.39	o -105
4.29/4.39	c Elapsed CPU time: 4.25235 s	Remaining CPU time: 175.748 s
4.29/4.39	c ===============================================================================
4.29/4.39	c |     10898 |    2018    63974   202611 |    21324    10898    104 |  0.346 % |
4.39/4.42	c ===============================================================================
4.39/4.42	c New solution: -106
4.39/4.42	o -106
4.39/4.42	c Elapsed CPU time: 4.28435 s	Remaining CPU time: 175.716 s
4.39/4.42	c ===============================================================================
4.39/4.42	c |     10948 |    2018    63975   202746 |    21325    10948    104 |  0.346 % |
4.39/4.45	c |     11048 |    2018    63975   202746 |    23457    11048    104 |  0.346 % |
4.49/4.51	c |     11198 |    2018    63975   202746 |    25803    11198    104 |  0.346 % |
4.49/4.54	c ===============================================================================
4.49/4.54	c New solution: -107
4.49/4.54	o -107
4.49/4.54	c Elapsed CPU time: 4.39733 s	Remaining CPU time: 175.603 s
4.49/4.54	c ===============================================================================
4.49/4.54	c |     11256 |    2018    63976   202881 |    21325    11256    104 |  0.346 % |
4.49/4.57	c |     11358 |    2018    63976   202881 |    23457    11358    104 |  0.346 % |
4.59/4.62	c ===============================================================================
4.59/4.62	c New solution: -108
4.59/4.62	o -108
4.59/4.62	c Elapsed CPU time: 4.47932 s	Remaining CPU time: 175.521 s
4.59/4.62	c ===============================================================================
4.59/4.62	c |     11461 |    2018    63977   203016 |    21325    11461    104 |  0.346 % |
4.59/4.67	c |     11562 |    2018    63977   203016 |    23458    11562    104 |  0.346 % |
4.69/4.72	c |     11714 |    2018    63977   203016 |    25804    11714    103 |  0.346 % |
4.79/4.80	c |     11939 |    2018    63977   203016 |    28384    11939    103 |  0.346 % |
4.89/4.92	c |     12279 |    2018    63977   203016 |    31222    12279    103 |  0.346 % |
5.09/5.11	c |     12785 |    2018    63977   203016 |    34345    12785    103 |  0.346 % |
5.39/5.42	c |     13544 |    2018    63977   203016 |    37779    13544    102 |  0.346 % |
5.89/5.93	c |     14683 |    2018    63977   203016 |    41557    14683    101 |  0.346 % |
6.09/6.12	c ===============================================================================
6.09/6.12	c New solution: -109
6.09/6.12	o -109
6.09/6.12	c Elapsed CPU time: 5.96809 s	Remaining CPU time: 174.032 s
6.09/6.12	c ===============================================================================
6.09/6.12	c |     15029 |    2018    63978   203151 |    21326    15029    101 |  0.346 % |
6.09/6.15	c ===============================================================================
6.09/6.15	c New solution: -110
6.09/6.15	o -110
6.09/6.15	c Elapsed CPU time: 6.00109 s	Remaining CPU time: 173.999 s
6.09/6.15	c ===============================================================================
6.09/6.15	c |     15066 |    2018    63979   203286 |    21326    15066    101 |  0.346 % |
6.19/6.21	c |     15168 |    2018    63979   203286 |    23458    15168    101 |  0.346 % |
6.19/6.25	c |     15318 |    2018    63979   203286 |    25804    15318    101 |  0.346 % |
6.29/6.33	c |     15546 |    2018    63979   203286 |    28385    15546    101 |  0.346 % |
6.39/6.47	c |     15886 |    2018    63979   203286 |    31223    15886    101 |  0.346 % |
6.69/6.76	c |     16392 |    2018    63979   203286 |    34346    16392    100 |  0.346 % |
6.79/6.86	c ===============================================================================
6.79/6.86	c New solution: -111
6.79/6.86	o -111
6.79/6.86	c Elapsed CPU time: 6.70898 s	Remaining CPU time: 173.291 s
6.79/6.86	c ===============================================================================
6.79/6.86	c |     16528 |    2018    63980   203421 |    21326    16528    100 |  0.346 % |
6.79/6.88	c ===============================================================================
6.79/6.88	c New solution: -112
6.79/6.88	o -112
6.79/6.88	c Elapsed CPU time: 6.72598 s	Remaining CPU time: 173.274 s
6.79/6.88	c ===============================================================================
6.79/6.88	c |     16532 |    2018    63981   203556 |    21327    16532    100 |  0.346 % |
6.88/6.90	c ===============================================================================
6.88/6.90	c New solution: -113
6.88/6.90	o -113
6.88/6.90	c Elapsed CPU time: 6.74097 s	Remaining CPU time: 173.259 s
6.88/6.90	c ===============================================================================
6.88/6.90	c |     16537 |    2018    63982   203691 |    21327    16537    100 |  0.346 % |
6.88/6.97	c |     16637 |    2018    63982   203691 |    23460    16637    100 |  0.346 % |
6.99/7.03	c ===============================================================================
6.99/7.03	c New solution: -114
6.99/7.03	o -114
6.99/7.03	c Elapsed CPU time: 6.87195 s	Remaining CPU time: 173.128 s
6.99/7.03	c ===============================================================================
6.99/7.03	c |     16742 |    2018    63983   203826 |    21327    16742    100 |  0.346 % |
7.09/7.10	c |     16844 |    2018    63983   203826 |    23460    16844    100 |  0.346 % |
7.09/7.17	c |     16996 |    2018    63983   203826 |    25806    16996    100 |  0.346 % |
7.19/7.26	c |     17223 |    2018    63983   203826 |    28387    17223    100 |  0.346 % |
7.39/7.40	c |     17560 |    2018    63983   203826 |    31225    17560    100 |  0.346 % |
7.59/7.65	c |     18067 |    2018    63983   203826 |    34348    18067    100 |  0.346 % |
7.98/8.05	c |     18828 |    2018    63983   203826 |    37783    18828     99 |  0.346 % |
8.59/8.66	c ===============================================================================
8.59/8.66	c New solution: -115
8.59/8.66	o -115
8.59/8.66	c Elapsed CPU time: 8.48971 s	Remaining CPU time: 171.51 s
8.59/8.66	c ===============================================================================
8.59/8.66	c |     19781 |    2018    63984   203961 |    21328    19781     99 |  0.346 % |
8.69/8.70	c ===============================================================================
8.69/8.70	c New solution: -116
8.69/8.70	o -116
8.69/8.70	c Elapsed CPU time: 8.5267 s	Remaining CPU time: 171.473 s
8.69/8.70	c ===============================================================================
8.69/8.70	c |     19821 |    2018    63985   204096 |    21328    19821     99 |  0.346 % |
8.69/8.72	c ===============================================================================
8.69/8.72	c New solution: -117
8.69/8.72	o -117
8.69/8.72	c Elapsed CPU time: 8.5477 s	Remaining CPU time: 171.452 s
8.69/8.72	c ===============================================================================
8.69/8.72	c |     19836 |    2018    63986   204231 |    21328    19836     99 |  0.346 % |
8.69/8.74	c ===============================================================================
8.69/8.74	c New solution: -118
8.69/8.74	o -118
8.69/8.74	c Elapsed CPU time: 8.5607 s	Remaining CPU time: 171.439 s
8.69/8.74	c ===============================================================================
8.69/8.74	c |     19836 |    2018    63987   204366 |    21329    19836     99 |  0.346 % |
8.79/8.81	c |     19940 |    2018    63987   204366 |    23461    19940     99 |  0.346 % |
8.89/8.92	c |     20093 |    2018    63987   204366 |    25808    20093     99 |  0.346 % |
8.99/9.08	c |     20321 |    2018    63987   204366 |    28388    20321     99 |  0.346 % |
9.29/9.32	c |     20658 |    2018    63987   204366 |    31227    20658     99 |  0.346 % |
9.58/9.69	c |     21165 |    2018    63987   204366 |    34350    21165     98 |  0.346 % |
10.19/10.20	c |     21925 |    2018    63987   204366 |    37785    21925     98 |  0.346 % |
10.78/10.86	c |     23066 |    2018    63987   204366 |    41564    23066     98 |  0.346 % |
11.88/11.91	c |     24774 |    2018    63987   204366 |    45720    24774     97 |  0.346 % |
13.89/13.94	c |     27337 |    2018    63987   204366 |    50292    27337     96 |  0.346 % |
15.98/16.05	c |     31182 |    2018    63987   204366 |    55321    31182     95 |  0.346 % |
17.79/17.80	c ===============================================================================
17.79/17.80	c New solution: -119
17.79/17.80	o -119
17.79/17.80	c Elapsed CPU time: 17.5743 s	Remaining CPU time: 162.426 s
17.79/17.80	c ===============================================================================
17.79/17.80	c |     33192 |    2018    63988   204501 |    21329    33192     95 |  0.346 % |
17.98/18.03	c |     33293 |    2018    63988   204501 |    23462    11274     87 |  0.346 % |
17.98/18.09	c |     33444 |    2018    63988   204501 |    25808    11425     87 |  0.346 % |
18.18/18.24	c |     33671 |    2018    63988   204501 |    28389    11652     87 |  0.346 % |
18.38/18.42	c |     34008 |    2018    63988   204501 |    31228    11989     87 |  0.346 % |
18.60/18.68	c |     34515 |    2018    63988   204501 |    34351    12496     87 |  0.346 % |
18.98/19.07	c |     35274 |    2018    63988   204501 |    37786    13255     87 |  0.346 % |
19.69/19.75	c |     36414 |    2018    63988   204501 |    41564    14395     87 |  0.346 % |
20.69/20.79	c |     38123 |    2018    63988   204501 |    45721    16104     87 |  0.346 % |
22.19/22.24	c |     40685 |    2018    63988   204501 |    50293    18666     87 |  0.346 % |
24.09/24.11	c ===============================================================================
24.09/24.11	c New solution: -121
24.09/24.11	o -121
24.09/24.11	c Elapsed CPU time: 23.8414 s	Remaining CPU time: 156.159 s
24.09/24.11	c ===============================================================================
24.09/24.11	c |     44001 |    2018    63989   204636 |    21329    21982     87 |  0.346 % |
24.28/24.31	c |     44102 |    2018    63989   204636 |    23462    10935     87 |  0.346 % |
24.28/24.38	c |     44252 |    2018    63989   204636 |    25808    11085     87 |  0.346 % |
24.48/24.52	c |     44478 |    2018    63989   204636 |    28389    11311     87 |  0.346 % |
24.58/24.68	c |     44815 |    2018    63989   204636 |    31228    11648     87 |  0.346 % |
24.99/25.00	c |     45321 |    2018    63989   204636 |    34351    12154     87 |  0.346 % |
25.48/25.51	c |     46080 |    2018    63989   204636 |    37786    12913     87 |  0.346 % |
26.29/26.37	c |     47222 |    2018    63989   204636 |    41565    14055     87 |  0.346 % |
26.79/26.89	c ===============================================================================
26.79/26.89	c New solution: -122
26.79/26.89	o -122
26.79/26.89	c Elapsed CPU time: 26.603 s	Remaining CPU time: 153.397 s
26.79/26.89	c ===============================================================================
26.79/26.89	c |     48324 |    2018    63990   204771 |    21330    15157     87 |  0.346 % |
26.89/26.90	c ===============================================================================
26.89/26.90	c New solution: -123
26.89/26.90	o -123
26.89/26.90	c Elapsed CPU time: 26.619 s	Remaining CPU time: 153.381 s
26.89/26.90	c ===============================================================================
26.89/26.90	c |     48324 |    2018    63991   204906 |    21330    15157     87 |  0.346 % |
26.89/26.93	c ===============================================================================
26.89/26.93	c New solution: -124
26.89/26.93	o -124
26.89/26.93	c Elapsed CPU time: 26.639 s	Remaining CPU time: 153.361 s
26.89/26.93	c ===============================================================================
26.89/26.93	c |     48337 |    2018    63992   205041 |    21330    15170     87 |  0.346 % |
26.89/26.97	c |     48437 |    2018    63992   205041 |    23463    15270     87 |  0.346 % |
26.98/27.04	c |     48588 |    2018    63992   205041 |    25810    15421     87 |  0.346 % |
27.08/27.14	c |     48813 |    2018    63992   205041 |    28391    15646     87 |  0.346 % |
27.18/27.26	c |     49150 |    2018    63992   205041 |    31230    15983     87 |  0.346 % |
27.49/27.55	c |     49658 |    2018    63992   205041 |    34353    16491     87 |  0.346 % |
27.88/27.91	c ===============================================================================
27.88/27.91	c New solution: -125
27.88/27.91	o -125
27.88/27.91	c Elapsed CPU time: 27.6078 s	Remaining CPU time: 152.392 s
27.88/27.91	c ===============================================================================
27.88/27.91	c |     50083 |    2018    63993   205176 |    21331    16916     87 |  0.346 % |
27.88/27.97	c |     50184 |    2018    63993   205176 |    23464    17017     87 |  0.346 % |
28.08/28.10	c |     50334 |    2018    63993   205176 |    25810    17167     87 |  0.346 % |
28.18/28.30	c |     50561 |    2018    63993   205176 |    28391    17394     87 |  0.346 % |
28.49/28.59	c |     50899 |    2018    63993   205176 |    31230    17732     87 |  0.346 % |
28.78/28.89	c |     51405 |    2018    63993   205176 |    34353    18238     87 |  0.346 % |
29.18/29.28	c |     52165 |    2018    63993   205176 |    37789    18998     87 |  0.346 % |
30.08/30.11	c |     53307 |    2018    63993   205176 |    41568    20140     87 |  0.346 % |
31.28/31.35	c ===============================================================================
31.28/31.35	c New solution: -126
31.28/31.35	o -126
31.28/31.35	c Elapsed CPU time: 31.0253 s	Remaining CPU time: 148.975 s
31.28/31.35	c ===============================================================================
31.28/31.35	c |     54961 |    2018    63994   205311 |    21331    21794     87 |  0.346 % |
31.38/31.49	c |     55061 |    2018    63994   205311 |    23464    10954     85 |  0.346 % |
31.48/31.55	c |     55214 |    2018    63994   205311 |    25810    11107     85 |  0.346 % |
31.58/31.67	c |     55439 |    2018    63994   205311 |    28392    11332     85 |  0.346 % |
31.79/31.88	c |     55777 |    2018    63994   205311 |    31231    11670     85 |  0.346 % |
32.18/32.22	c |     56283 |    2018    63994   205311 |    34354    12176     85 |  0.346 % |
32.69/32.71	c |     57044 |    2018    63994   205311 |    37789    12937     85 |  0.346 % |
33.28/33.38	c |     58183 |    2018    63994   205311 |    41568    14076     85 |  0.346 % |
34.48/34.51	c |     59893 |    2018    63994   205311 |    45725    15786     85 |  0.346 % |
35.98/36.06	c |     62456 |    2018    63994   205311 |    50298    18349     85 |  0.346 % |
36.38/36.44	c ===============================================================================
36.38/36.44	c New solution: -127
36.38/36.44	o -127
36.38/36.44	c Elapsed CPU time: 36.0815 s	Remaining CPU time: 143.918 s
36.38/36.44	c ===============================================================================
36.38/36.44	c |     63338 |    2018    63995   205446 |    21331    19231     85 |  0.346 % |
36.47/36.50	c |     63438 |    2018    63995   205446 |    23464    19331     85 |  0.346 % |
36.47/36.52	c ===============================================================================
36.47/36.52	c New solution: -128
36.47/36.52	o -128
36.47/36.52	c Elapsed CPU time: 36.1595 s	Remaining CPU time: 143.84 s
36.47/36.52	c ===============================================================================
36.47/36.52	c |     63448 |    2018    63996   205581 |    21332    19341     85 |  0.346 % |
36.47/36.55	c ===============================================================================
36.47/36.55	c New solution: -129
36.47/36.55	o -129
36.47/36.55	c Elapsed CPU time: 36.1945 s	Remaining CPU time: 143.806 s
36.47/36.55	c ===============================================================================
36.47/36.55	c |     63478 |    2018    63997   205716 |    21332    19371     85 |  0.346 % |
36.47/36.59	c ===============================================================================
36.47/36.59	c New solution: -130
36.47/36.59	o -130
36.47/36.59	c Elapsed CPU time: 36.2365 s	Remaining CPU time: 143.764 s
36.47/36.59	c ===============================================================================
36.47/36.59	c |     63529 |    2018    63998   205851 |    21332    19422     85 |  0.346 % |
36.58/36.66	c |     63631 |    2018    63998   205851 |    23465    19524     85 |  0.346 % |
36.68/36.77	c |     63782 |    2018    63998   205851 |    25812    19675     85 |  0.346 % |
36.88/36.91	c |     64008 |    2018    63998   205851 |    28393    19901     85 |  0.346 % |
37.08/37.14	c |     64349 |    2018    63998   205851 |    31233    20242     85 |  0.346 % |
37.28/37.37	c ===============================================================================
37.28/37.37	c New solution: -131
37.28/37.37	o -131
37.28/37.37	c Elapsed CPU time: 37.0084 s	Remaining CPU time: 142.992 s
37.28/37.37	c ===============================================================================
37.28/37.37	c |     64682 |    2018    63999   205986 |    21333    20575     85 |  0.346 % |
37.38/37.41	c ===============================================================================
37.38/37.41	c New solution: -132
37.38/37.41	o -132
37.38/37.41	c Elapsed CPU time: 37.0404 s	Remaining CPU time: 142.96 s
37.38/37.41	c ===============================================================================
37.38/37.41	c |     64698 |    2018    64000   206121 |    21333    20591     85 |  0.346 % |
37.48/37.52	c |     64799 |    2018    64000   206121 |    23466    20692     85 |  0.346 % |
37.58/37.64	c |     64949 |    2018    64000   206121 |    25813    20842     85 |  0.346 % |
37.78/37.81	c |     65175 |    2018    64000   206121 |    28394    21068     85 |  0.346 % |
37.97/38.03	c |     65512 |    2018    64000   206121 |    31234    21405     85 |  0.346 % |
38.28/38.38	c |     66018 |    2018    64000   206121 |    34357    21911     85 |  0.346 % |
38.39/38.42	c ===============================================================================
38.39/38.42	c New solution: -133
38.39/38.42	o -133
38.39/38.42	c Elapsed CPU time: 38.0522 s	Remaining CPU time: 141.948 s
38.39/38.42	c ===============================================================================
38.39/38.42	c |     66056 |    2018    64001   206256 |    21333    21949     85 |  0.346 % |
38.49/38.58	c |     66157 |    2018    64001   206256 |    23467    11076     83 |  0.346 % |
38.58/38.65	c |     66308 |    2018    64001   206256 |    25813    11227     83 |  0.346 % |
38.68/38.74	c |     66533 |    2018    64001   206256 |    28395    11452     83 |  0.346 % |
38.78/38.89	c |     66871 |    2018    64001   206256 |    31234    11790     83 |  0.346 % |
38.98/39.00	c ===============================================================================
38.98/39.00	c New solution: -134
38.98/39.00	o -134
38.98/39.00	c Elapsed CPU time: 38.6281 s	Remaining CPU time: 141.372 s
38.98/39.00	c ===============================================================================
38.98/39.00	c |     67138 |    2018    64002   206391 |    21334    12057     83 |  0.346 % |
38.98/39.05	c |     67239 |    2018    64002   206391 |    23467    12158     83 |  0.346 % |
39.08/39.11	c |     67391 |    2018    64002   206391 |    25814    12310     83 |  0.346 % |
39.18/39.20	c |     67618 |    2018    64002   206391 |    28395    12537     83 |  0.346 % |
39.28/39.35	c |     67956 |    2018    64002   206391 |    31235    12875     83 |  0.346 % |
39.48/39.60	c |     68463 |    2018    64002   206391 |    34358    13382     83 |  0.346 % |
39.98/40.03	c |     69224 |    2018    64002   206391 |    37794    14143     83 |  0.346 % |
40.58/40.60	c |     70363 |    2018    64002   206391 |    41573    15282     83 |  0.346 % |
41.38/41.42	c |     72071 |    2018    64002   206391 |    45731    16990     83 |  0.346 % |
42.79/42.85	c |     74635 |    2018    64002   206391 |    50304    19554     83 |  0.346 % |
45.78/45.82	c |     78480 |    2018    64002   206391 |    55334    23399     83 |  0.346 % |
49.67/49.72	c |     84246 |    2018    64002   206391 |    60868    29165     83 |  0.346 % |
53.08/53.15	c ===============================================================================
53.08/53.15	c New solution: -135
53.08/53.15	o -135
53.08/53.15	c Elapsed CPU time: 52.67 s	Remaining CPU time: 127.33 s
53.08/53.15	c ===============================================================================
53.08/53.15	c |     87674 |    2018    64003   206526 |    21334    32593     83 |  0.346 % |
53.37/53.45	c |     87774 |    2018    64003   206526 |    23467    11370     80 |  0.346 % |
53.47/53.51	c |     87925 |    2018    64003   206526 |    25814    11521     80 |  0.346 % |
53.57/53.60	c |     88150 |    2018    64003   206526 |    28395    11746     80 |  0.346 % |
53.67/53.72	c |     88487 |    2018    64003   206526 |    31235    12083     80 |  0.346 % |
53.79/53.90	c |     88994 |    2018    64003   206526 |    34359    12590     81 |  0.346 % |
54.27/54.34	c |     89754 |    2018    64003   206526 |    37795    13350     81 |  0.346 % |
54.67/54.79	c |     90893 |    2018    64003   206526 |    41574    14489     81 |  0.346 % |
55.67/55.75	c |     92602 |    2018    64003   206526 |    45732    16198     80 |  0.346 % |
57.08/57.13	c |     95164 |    2018    64003   206526 |    50305    18760     80 |  0.346 % |
59.87/59.92	c |     99008 |    2018    64003   206526 |    55335    22604     80 |  0.346 % |
62.68/62.72	c |    104774 |    2018    64003   206526 |    60869    28370     81 |  0.346 % |
69.87/69.91	c |    113423 |    2018    64003   206526 |    66956    37019     81 |  0.346 % |
80.77/80.80	c ===============================================================================
80.77/80.80	c New solution: -136
80.77/80.80	o -136
80.77/80.80	c Elapsed CPU time: 80.1778 s	Remaining CPU time: 99.8222 s
80.77/80.80	c ===============================================================================
80.77/80.80	c |    125864 |    2018    64004   206661 |    21334    49460     81 |  0.346 % |
82.27/82.35	c ===============================================================================
82.27/82.35	c New solution: -137
82.27/82.35	o -137
82.27/82.35	c Elapsed CPU time: 81.7316 s	Remaining CPU time: 98.2684 s
82.27/82.35	c ===============================================================================
82.27/82.35	c |    125864 |    2018    64005   206796 |    21335    11722     80 |  0.346 % |
82.27/82.40	c |    125964 |    2018    64005   206796 |    23468    11822     80 |  0.346 % |
82.38/82.44	c |    126115 |    2018    64005   206796 |    25815    11973     80 |  0.346 % |
82.48/82.51	c |    126341 |    2018    64005   206796 |    28396    12199     81 |  0.346 % |
82.57/82.63	c |    126678 |    2018    64005   206796 |    31236    12536     81 |  0.346 % |
82.77/82.83	c |    127184 |    2018    64005   206796 |    34360    13042     81 |  0.346 % |
82.87/82.95	c ===============================================================================
82.87/82.95	c New solution: -138
82.87/82.95	o -138
82.87/82.95	c Elapsed CPU time: 82.3245 s	Remaining CPU time: 97.6755 s
82.87/82.95	c ===============================================================================
82.87/82.95	c |    127437 |    2018    64006   206931 |    21335    13295     81 |  0.346 % |
82.97/83.01	c |    127537 |    2018    64006   206931 |    23468    13395     81 |  0.346 % |
82.97/83.08	c |    127687 |    2018    64006   206931 |    25815    13545     81 |  0.346 % |
83.07/83.17	c |    127913 |    2018    64006   206931 |    28397    13771     81 |  0.346 % |
83.27/83.31	c |    128251 |    2018    64006   206931 |    31237    14109     81 |  0.346 % |
83.47/83.57	c |    128757 |    2018    64006   206931 |    34360    14615     81 |  0.346 % |
83.96/84.01	c |    129516 |    2018    64006   206931 |    37796    15374     81 |  0.346 % |
84.68/84.75	c |    130657 |    2018    64006   206931 |    41576    16515     81 |  0.346 % |
85.67/85.78	c |    132365 |    2018    64006   206931 |    45734    18223     81 |  0.346 % |
87.37/87.48	c |    134927 |    2018    64006   206931 |    50307    20785     81 |  0.346 % |
89.36/89.47	c ===============================================================================
89.36/89.47	c New solution: -139
89.36/89.47	o -139
89.36/89.47	c Elapsed CPU time: 88.8145 s	Remaining CPU time: 91.1855 s
89.36/89.47	c ===============================================================================
89.36/89.47	c |    137936 |    2018    64007   207066 |    21335    23794     82 |  0.346 % |
89.56/89.65	c |    138036 |    2018    64007   207066 |    23469    11065     81 |  0.346 % |
89.67/89.73	c |    138186 |    2018    64007   207066 |    25816    11215     81 |  0.346 % |
89.77/89.83	c |    138411 |    2018    64007   207066 |    28397    11440     81 |  0.346 % |
89.97/90.01	c |    138748 |    2018    64007   207066 |    31237    11777     81 |  0.346 % |
90.07/90.18	c ===============================================================================
90.07/90.18	c New solution: -140
90.07/90.18	o -140
90.07/90.18	c Elapsed CPU time: 89.5094 s	Remaining CPU time: 90.4906 s
90.07/90.18	c ===============================================================================
90.07/90.18	c |    139101 |    2018    64008   207201 |    21336    12130     81 |  0.346 % |
90.17/90.23	c |    139201 |    2018    64008   207201 |    23469    12230     81 |  0.346 % |
90.17/90.25	c ===============================================================================
90.17/90.25	c New solution: -141
90.17/90.25	o -141
90.17/90.25	c Elapsed CPU time: 89.5794 s	Remaining CPU time: 90.4206 s
90.17/90.25	c ===============================================================================
90.17/90.25	c |    139216 |    2018    64009   207336 |    21336    12245     81 |  0.346 % |
90.26/90.30	c |    139316 |    2018    64009   207336 |    23469    12345     81 |  0.346 % |
90.26/90.38	c |    139467 |    2018    64009   207336 |    25816    12496     81 |  0.346 % |
90.46/90.50	c |    139692 |    2018    64009   207336 |    28398    12721     81 |  0.346 % |
90.56/90.67	c |    140029 |    2018    64009   207336 |    31238    13058     81 |  0.346 % |
90.86/90.93	c |    140536 |    2018    64009   207336 |    34362    13565     81 |  0.346 % |
91.17/91.29	c |    141295 |    2018    64009   207336 |    37798    14324     81 |  0.346 % |
91.87/91.92	c |    142438 |    2018    64009   207336 |    41578    15467     81 |  0.346 % |
92.96/93.09	c |    144148 |    2018    64009   207336 |    45736    17177     80 |  0.346 % |
94.67/94.72	c |    146710 |    2018    64009   207336 |    50309    19739     80 |  0.346 % |
97.46/97.53	c ===============================================================================
97.46/97.53	c New solution: -142
97.46/97.53	o -142
97.46/97.53	c Elapsed CPU time: 96.8233 s	Remaining CPU time: 83.1767 s
97.46/97.53	c ===============================================================================
97.46/97.53	c |    150545 |    2018    64010   207471 |    21336    23574     80 |  0.346 % |
97.56/97.69	c |    150645 |    2018    64010   207471 |    23470    11220     77 |  0.346 % |
97.66/97.76	c |    150795 |    2018    64010   207471 |    25817    11370     77 |  0.346 % |
97.77/97.90	c |    151021 |    2018    64010   207471 |    28399    11596     77 |  0.346 % |
97.96/98.09	c |    151359 |    2018    64010   207471 |    31239    11934     78 |  0.346 % |
98.36/98.44	c |    151867 |    2018    64010   207471 |    34362    12442     78 |  0.346 % |
98.87/98.95	c |    152627 |    2018    64010   207471 |    37799    13202     78 |  0.346 % |
99.56/99.62	c |    153766 |    2018    64010   207471 |    41579    14341     78 |  0.346 % |
100.56/100.65	c |    155475 |    2018    64010   207471 |    45737    16050     78 |  0.346 % |
102.26/102.35	c |    158038 |    2018    64010   207471 |    50310    18613     78 |  0.346 % |
103.76/103.85	c |    161882 |    2018    64010   207471 |    55341    22457     78 |  0.346 % |
107.36/107.44	c |    167648 |    2018    64010   207471 |    60876    28223     78 |  0.346 % |
114.06/114.17	c |    176298 |    2018    64010   207471 |    66963    36873     78 |  0.346 % |
128.05/128.10	c |    189272 |    2018    64010   207471 |    73659    49847     78 |  0.346 % |
153.44/153.55	c |    208734 |    2018    64010   207471 |    81025    69309     78 |  0.346 % |
180.94/181.05	c There are 7 assigned variables. 7 in cost function.
187.43/187.59	c core #1
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 7	Core Weight: 1	Total Weight: -326
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #2
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 8	Core Weight: 1	Total Weight: -325
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #3
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 9	Core Weight: 2	Total Weight: -323
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #4
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 14	Core Weight: 1	Total Weight: -322
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #5
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 15	Core Weight: 1	Total Weight: -321
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #6
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 14	Core Weight: 1	Total Weight: -320
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #7
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 17	Core Weight: 1	Total Weight: -319
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #8
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 14	Core Weight: 1	Total Weight: -318
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #9
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 16	Core Weight: 1	Total Weight: -317
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #10
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 13	Core Weight: 2	Total Weight: -315
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #11
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 22	Core Weight: 2	Total Weight: -313
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #12
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 22	Core Weight: 1	Total Weight: -312
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #13
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 22	Core Weight: 1	Total Weight: -311
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #14
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 23	Core Weight: 1	Total Weight: -310
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #15
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 23	Core Weight: 1	Total Weight: -309
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #16
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 23	Core Weight: 1	Total Weight: -308
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #17
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 23	Core Weight: 1	Total Weight: -307
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #18
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 9	Core Weight: 1	Total Weight: -306
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #19
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 10	Core Weight: 1	Total Weight: -305
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #20
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 11	Core Weight: 2	Total Weight: -303
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #21
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 11	Core Weight: 2	Total Weight: -301
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #22
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 11	Core Weight: 1	Total Weight: -300
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #23
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 11	Core Weight: 1	Total Weight: -299
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #24
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 11	Core Weight: 1	Total Weight: -298
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #25
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 9	Core Weight: 1	Total Weight: -297
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #26
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 16	Core Weight: 1	Total Weight: -296
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #27
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 16	Core Weight: 1	Total Weight: -295
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #28
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 16	Core Weight: 1	Total Weight: -294
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #29
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 8	Core Weight: 3	Total Weight: -291
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #30
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 8	Core Weight: 1	Total Weight: -290
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #31
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 12	Core Weight: 2	Total Weight: -288
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #32
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 12	Core Weight: 1	Total Weight: -287
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #33
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 16	Core Weight: 1	Total Weight: -286
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #34
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 19	Core Weight: 1	Total Weight: -285
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #35
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 20	Core Weight: 1	Total Weight: -284
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #36
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 21	Core Weight: 1	Total Weight: -283
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #37
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 28	Core Weight: 1	Total Weight: -282
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #38
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 8	Core Weight: 1	Total Weight: -281
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #39
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 11	Core Weight: 1	Total Weight: -280
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #40
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 16	Core Weight: 1	Total Weight: -279
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #41
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 12	Core Weight: 1	Total Weight: -278
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #42
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 10	Core Weight: 1	Total Weight: -277
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #43
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 30	Core Weight: 1	Total Weight: -276
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #44
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 28	Core Weight: 1	Total Weight: -275
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #45
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 26	Core Weight: 1	Total Weight: -274
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #46
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 13	Core Weight: 1	Total Weight: -273
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #47
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 16	Core Weight: 1	Total Weight: -272
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #48
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 16	Core Weight: 1	Total Weight: -271
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #49
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 10	Core Weight: 1	Total Weight: -270
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #50
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 20	Core Weight: 1	Total Weight: -269
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #51
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 19	Core Weight: 1	Total Weight: -268
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #52
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 15	Core Weight: 1	Total Weight: -267
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #53
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 13	Core Weight: 1	Total Weight: -266
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #54
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 15	Core Weight: 1	Total Weight: -265
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #55
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 9	Core Weight: 1	Total Weight: -264
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #56
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 13	Core Weight: 1	Total Weight: -263
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c core #57
187.43/187.59	c 
187.43/187.59	c 
187.43/187.59	c Core size: 12	Core Weight: 1	Total Weight: -262
187.43/187.59	c
187.43/187.59	c
187.43/187.59	c ============================[ Search Statistics ]==============================
187.43/187.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.43/187.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.43/187.59	c ===============================================================================
187.43/187.59	c |         0 |    2290    64488   202166 |    21496        0    nan |  0.000 % |
187.53/187.60	c ===============================================================================
187.63/187.73	c core #58
187.63/187.73	c 
187.63/187.73	c 
187.63/187.73	c Core size: 17	Core Weight: 1	Total Weight: -261
187.63/187.73	c
187.63/187.73	c
187.63/187.73	c ============================[ Search Statistics ]==============================
187.63/187.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.63/187.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.63/187.73	c ===============================================================================
187.63/187.73	c |         0 |    2296    64491   202176 |    21497        0    nan |  0.000 % |
187.63/187.73	c ===============================================================================
187.73/187.86	c core #59
187.73/187.86	c 
187.73/187.86	c 
187.73/187.86	c Core size: 10	Core Weight: 1	Total Weight: -260
187.73/187.86	c
187.73/187.86	c
187.73/187.86	c ============================[ Search Statistics ]==============================
187.73/187.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.73/187.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.73/187.86	c ===============================================================================
187.73/187.86	c |         0 |    2301    64495   202189 |    21498        0    nan |  0.000 % |
187.73/187.87	c ===============================================================================
187.94/188.00	c core #60
187.94/188.00	c 
187.94/188.00	c 
187.94/188.00	c Core size: 8	Core Weight: 1	Total Weight: -259
187.94/188.00	c
187.94/188.00	c
187.94/188.00	c ============================[ Search Statistics ]==============================
187.94/188.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.94/188.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.94/188.00	c ===============================================================================
187.94/188.00	c |         0 |    2311    64498   203264 |    21499        0    nan |  0.000 % |
187.94/188.01	c ===============================================================================
188.04/188.14	c core #61
188.04/188.14	c 
188.04/188.14	c 
188.04/188.14	c Core size: 8	Core Weight: 1	Total Weight: -258
188.04/188.14	c
188.04/188.14	c
188.04/188.14	c ============================[ Search Statistics ]==============================
188.04/188.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.04/188.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.04/188.14	c ===============================================================================
188.04/188.14	c |         0 |    2316    64500   203273 |    21500        0    nan |  0.000 % |
188.04/188.15	c ===============================================================================
188.13/188.28	c core #62
188.13/188.28	c 
188.13/188.28	c 
188.13/188.28	c Core size: 17	Core Weight: 1	Total Weight: -257
188.13/188.28	c
188.13/188.28	c
188.13/188.28	c ============================[ Search Statistics ]==============================
188.13/188.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.13/188.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.13/188.28	c ===============================================================================
188.13/188.28	c |         0 |    2323    64501   203287 |    21500        0    nan |  0.000 % |
188.13/188.29	c ===============================================================================
188.33/188.42	c core #63
188.33/188.42	c 
188.33/188.42	c 
188.33/188.42	c Core size: 29	Core Weight: 1	Total Weight: -256
188.33/188.42	c
188.33/188.42	c
188.33/188.42	c ============================[ Search Statistics ]==============================
188.33/188.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.33/188.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.33/188.42	c ===============================================================================
188.33/188.42	c |         0 |    2335    64508   203317 |    21502        0    nan |  0.000 % |
188.33/188.42	c ===============================================================================
188.43/188.56	c core #64
188.43/188.56	c 
188.43/188.56	c 
188.43/188.56	c Core size: 20	Core Weight: 1	Total Weight: -255
188.43/188.56	c
188.43/188.56	c
188.43/188.56	c ============================[ Search Statistics ]==============================
188.43/188.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.43/188.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.43/188.56	c ===============================================================================
188.43/188.56	c |         0 |    2353    64509   204354 |    21503        0    nan |  0.000 % |
188.43/188.57	c ===============================================================================
188.53/188.70	c core #65
188.53/188.70	c 
188.53/188.70	c 
188.53/188.70	c Core size: 16	Core Weight: 1	Total Weight: -254
188.53/188.70	c
188.53/188.70	c
188.53/188.70	c ============================[ Search Statistics ]==============================
188.53/188.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.53/188.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.53/188.70	c ===============================================================================
188.53/188.70	c |         0 |    2362    64510   204372 |    21503        0    nan |  0.000 % |
188.63/188.70	c ===============================================================================
188.73/188.84	c core #66
188.73/188.84	c 
188.73/188.84	c 
188.73/188.84	c Core size: 27	Core Weight: 1	Total Weight: -253
188.73/188.84	c
188.73/188.84	c
188.73/188.84	c ============================[ Search Statistics ]==============================
188.73/188.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.73/188.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.73/188.84	c ===============================================================================
188.73/188.84	c |         0 |    2375    64514   204406 |    21504        0    nan |  0.000 % |
188.73/188.85	c ===============================================================================
188.83/188.98	c core #67
188.83/188.98	c 
188.83/188.98	c 
188.83/188.98	c Core size: 16	Core Weight: 1	Total Weight: -252
188.83/188.98	c
188.83/188.98	c
188.83/188.98	c ============================[ Search Statistics ]==============================
188.83/188.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.83/188.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.83/188.98	c ===============================================================================
188.83/188.98	c |         0 |    2385    64515   204426 |    21505        0    nan |  0.000 % |
188.83/188.99	c ===============================================================================
189.04/189.12	c core #68
189.04/189.12	c 
189.04/189.12	c 
189.04/189.12	c Core size: 15	Core Weight: 1	Total Weight: -251
189.04/189.12	c
189.04/189.12	c
189.04/189.12	c ============================[ Search Statistics ]==============================
189.04/189.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.04/189.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.04/189.12	c ===============================================================================
189.04/189.12	c |         0 |    2396    64516   205111 |    21505        0    nan |  0.000 % |
189.04/189.14	c ===============================================================================
189.14/189.26	c core #69
189.14/189.26	c 
189.14/189.26	c 
189.14/189.26	c Core size: 26	Core Weight: 1	Total Weight: -250
189.14/189.26	c
189.14/189.26	c
189.14/189.26	c ============================[ Search Statistics ]==============================
189.14/189.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.14/189.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.14/189.26	c ===============================================================================
189.14/189.26	c |         0 |    2419    64517   206416 |    21505        0    nan |  0.000 % |
189.14/189.28	c ===============================================================================
189.33/189.41	c core #70
189.33/189.41	c 
189.33/189.41	c 
189.33/189.41	c Core size: 16	Core Weight: 1	Total Weight: -249
189.33/189.41	c
189.33/189.41	c
189.33/189.41	c ============================[ Search Statistics ]==============================
189.33/189.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.33/189.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.33/189.41	c ===============================================================================
189.33/189.41	c |         0 |    2430    64522   206837 |    21507        0    nan |  0.000 % |
189.33/189.43	c ===============================================================================
189.43/189.56	c core #71
189.43/189.56	c 
189.43/189.56	c 
189.43/189.56	c Core size: 25	Core Weight: 1	Total Weight: -248
189.43/189.56	c
189.43/189.56	c
189.43/189.56	c ============================[ Search Statistics ]==============================
189.43/189.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.43/189.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.43/189.56	c ===============================================================================
189.43/189.56	c |         0 |    2445    64525   206871 |    21508        0    nan |  0.000 % |
189.43/189.57	c ===============================================================================
189.63/189.71	c core #72
189.63/189.71	c 
189.63/189.71	c 
189.63/189.71	c Core size: 41	Core Weight: 1	Total Weight: -247
189.63/189.71	c
189.63/189.71	c
189.63/189.71	c ============================[ Search Statistics ]==============================
189.63/189.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.63/189.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.63/189.71	c ===============================================================================
189.63/189.71	c |         0 |    2469    64530   206927 |    21510        0    nan |  0.000 % |
189.63/189.72	c ===============================================================================
189.73/189.85	c core #73
189.73/189.85	c 
189.73/189.85	c 
189.73/189.85	c Core size: 27	Core Weight: 1	Total Weight: -246
189.73/189.85	c
189.73/189.85	c
189.73/189.85	c ============================[ Search Statistics ]==============================
189.73/189.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.73/189.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.73/189.85	c ===============================================================================
189.73/189.85	c |         0 |    2480    64534   206955 |    21511        0    nan |  0.000 % |
189.73/189.86	c ===============================================================================
189.83/189.99	c core #74
189.83/189.99	c 
189.83/189.99	c 
189.83/189.99	c Core size: 23	Core Weight: 1	Total Weight: -245
189.83/189.99	c
189.83/189.99	c
189.83/189.99	c ============================[ Search Statistics ]==============================
189.83/189.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.83/189.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.83/189.99	c ===============================================================================
189.83/189.99	c |         0 |    2493    64535   206981 |    21511        0    nan |  0.000 % |
189.93/190.02	c ===============================================================================
190.03/190.14	c core #75
190.03/190.14	c 
190.03/190.14	c 
190.03/190.14	c Core size: 18	Core Weight: 1	Total Weight: -244
190.03/190.14	c
190.03/190.14	c
190.03/190.14	c ============================[ Search Statistics ]==============================
190.03/190.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.03/190.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.03/190.14	c ===============================================================================
190.03/190.14	c |         0 |    2502    64537   207001 |    21512        0    nan |  0.000 % |
190.03/190.16	c ===============================================================================
190.14/190.29	c core #76
190.14/190.29	c 
190.14/190.29	c 
190.14/190.29	c Core size: 29	Core Weight: 1	Total Weight: -243
190.14/190.29	c
190.14/190.29	c
190.14/190.29	c ============================[ Search Statistics ]==============================
190.14/190.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.14/190.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.14/190.29	c ===============================================================================
190.14/190.29	c |         0 |    2523    64540   207956 |    21513        0    nan |  0.000 % |
190.24/190.31	c ===============================================================================
190.33/190.44	c core #77
190.33/190.44	c 
190.33/190.44	c 
190.33/190.44	c Core size: 22	Core Weight: 1	Total Weight: -242
190.33/190.44	c
190.33/190.44	c
190.33/190.44	c ============================[ Search Statistics ]==============================
190.33/190.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.33/190.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.33/190.44	c ===============================================================================
190.33/190.44	c |         0 |    2538    64542   207988 |    21514        0    nan |  0.000 % |
190.33/190.47	c ===============================================================================
190.53/190.60	c core #78
190.53/190.60	c 
190.53/190.60	c 
190.53/190.60	c Core size: 29	Core Weight: 1	Total Weight: -241
190.53/190.60	c
190.53/190.60	c
190.53/190.60	c ============================[ Search Statistics ]==============================
190.53/190.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.53/190.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.53/190.60	c ===============================================================================
190.53/190.60	c |         0 |    2563    64543   208038 |    21514        0    nan |  0.000 % |
190.53/190.63	c ===============================================================================
190.63/190.75	c core #79
190.63/190.75	c 
190.63/190.75	c 
190.63/190.75	c Core size: 35	Core Weight: 1	Total Weight: -240
190.63/190.75	c
190.63/190.75	c
190.63/190.75	c ============================[ Search Statistics ]==============================
190.63/190.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.63/190.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.63/190.75	c ===============================================================================
190.63/190.75	c |         0 |    2583    64547   208084 |    21515        0    nan |  0.000 % |
190.63/190.79	c ===============================================================================
190.83/190.92	c core #80
190.83/190.92	c 
190.83/190.92	c 
190.83/190.92	c Core size: 63	Core Weight: 1	Total Weight: -239
190.83/190.92	c
190.83/190.92	c
190.83/190.92	c ============================[ Search Statistics ]==============================
190.83/190.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.83/190.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.83/190.92	c ===============================================================================
190.83/190.92	c |         0 |    2626    64549   208173 |    21516        0    nan |  0.000 % |
190.83/190.99	c ===============================================================================
191.03/191.12	c core #81
191.03/191.12	c 
191.03/191.12	c 
191.03/191.12	c Core size: 119	Core Weight: 1	Total Weight: -238
191.03/191.12	c
191.03/191.12	c
191.03/191.12	c ============================[ Search Statistics ]==============================
191.03/191.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.03/191.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.03/191.12	c ===============================================================================
191.03/191.12	c |         0 |    2730    64555   208393 |    21518        0    nan |  0.000 % |
191.03/191.17	c |       101 |    2730    64555   208393 |    23670      101     11 |  0.292 % |
191.14/191.24	c |       252 |    2725    64555   208393 |    26037      252     10 |  0.657 % |
191.14/191.25	c ===============================================================================
191.24/191.38	c core #82
191.24/191.38	c 
191.24/191.38	c 
191.24/191.38	c Core size: 130	Core Weight: 1	Total Weight: -237
191.24/191.38	c
191.24/191.38	c
191.24/191.38	c ============================[ Search Statistics ]==============================
191.24/191.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.24/191.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.24/191.38	c ===============================================================================
191.24/191.38	c |         0 |    2830    64561   208746 |    21520        0    nan |  0.000 % |
191.34/191.44	c |       100 |    2825    64561   208746 |    23672      100      7 |  0.494 % |
191.34/191.45	c ===============================================================================
191.44/191.57	c core #83
191.44/191.57	c 
191.44/191.57	c 
191.44/191.57	c Core size: 92	Core Weight: 1	Total Weight: -236
191.44/191.57	c
191.44/191.57	c
191.44/191.57	c ============================[ Search Statistics ]==============================
191.44/191.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.44/191.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.44/191.57	c ===============================================================================
191.44/191.57	c |         0 |    2908    64569   208922 |    21523        0    nan |  0.000 % |
191.54/191.66	c |       100 |    2908    64569   208922 |    23675      100      8 |  0.240 % |
191.64/191.73	c ===============================================================================
191.74/191.86	c core #84
191.74/191.86	c 
191.74/191.86	c 
191.74/191.86	c Core size: 122	Core Weight: 1	Total Weight: -235
191.74/191.86	c
191.74/191.86	c
191.74/191.86	c ============================[ Search Statistics ]==============================
191.74/191.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.74/191.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.74/191.86	c ===============================================================================
191.74/191.86	c |         0 |    2999    64574   209115 |    21524        0    nan |  0.000 % |
191.83/191.93	c |       100 |    2999    64574   209115 |    23677      100     17 |  0.233 % |
191.83/191.98	c |       250 |    2999    64574   209115 |    26044      250     15 |  0.233 % |
191.93/192.05	c |       476 |    2999    64574   209115 |    28649      476     15 |  0.233 % |
192.03/192.17	c |       813 |    2993    64574   209115 |    31514      813     14 |  0.566 % |
192.13/192.21	c ===============================================================================
192.23/192.34	c core #85
192.23/192.34	c 
192.23/192.34	c 
192.23/192.34	c Core size: 179	Core Weight: 1	Total Weight: -234
192.23/192.34	c
192.23/192.34	c
192.23/192.34	c ============================[ Search Statistics ]==============================
192.23/192.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.23/192.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.23/192.34	c ===============================================================================
192.23/192.34	c |         0 |    3149    64584   209442 |    21528        0    nan |  0.000 % |
192.34/192.40	c |       101 |    3149    64584   209442 |    23680      101     15 |  0.222 % |
192.34/192.45	c |       253 |    3149    64584   209442 |    26048      253     17 |  0.222 % |
192.44/192.52	c |       479 |    3149    64584   209442 |    28653      479     19 |  0.222 % |
192.53/192.64	c |       817 |    3149    64584   209442 |    31519      817     20 |  0.222 % |
192.63/192.78	c |      1325 |    3149    64584   209442 |    34671     1325     21 |  0.222 % |
192.93/193.02	c |      2085 |    3149    64584   209442 |    38138     2085     20 |  0.222 % |
193.23/193.39	c |      3226 |    3148    64584   209442 |    41951     2751     22 |  0.253 % |
194.03/194.15	c |      4935 |    3148    64584   209442 |    46147     4460     25 |  0.254 % |
195.14/195.21	c |      7498 |    3138    64584   209442 |    50761     1649     14 |  0.570 % |
195.14/195.23	c ===============================================================================
195.34/195.44	c core #86
195.34/195.44	c 
195.34/195.44	c 
195.34/195.44	c Core size: 246	Core Weight: 1	Total Weight: -233
195.34/195.44	c
195.34/195.44	c
195.34/195.44	c ============================[ Search Statistics ]==============================
195.34/195.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.34/195.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.34/195.44	c ===============================================================================
195.34/195.44	c |         0 |    3384    64605   209969 |    21535        0    nan |  0.000 % |
195.34/195.48	c |       104 |    3384    64605   209969 |    23688      104     29 |  0.206 % |
195.43/195.50	c |       255 |    3384    64605   209969 |    26057      255     24 |  0.206 % |
195.43/195.54	c |       485 |    3384    64605   209969 |    28663      485     25 |  0.207 % |
195.43/195.59	c |       822 |    3384    64605   209969 |    31529      822     27 |  0.207 % |
195.53/195.65	c |      1331 |    3384    64605   209969 |    34682     1331     27 |  0.207 % |
195.64/195.78	c |      2093 |    3384    64605   209969 |    38150     2093     26 |  0.206 % |
195.93/196.05	c |      3232 |    3384    64605   209969 |    41965     3232     27 |  0.206 % |
196.43/196.55	c |      4941 |    3384    64605   209969 |    46162     4941     30 |  0.206 % |
197.14/197.25	c |      7503 |    3384    64605   209969 |    50778     7503     34 |  0.206 % |
198.23/198.39	c |     11351 |    3384    64605   209969 |    55856    11351     36 |  0.206 % |
200.83/200.98	c |     17118 |    3384    64605   209969 |    61441    17118     38 |  0.206 % |
206.53/206.69	c |     25767 |    3384    64605   209969 |    67586    25767     41 |  0.206 % |
217.33/217.45	c |     38742 |    3383    64605   209969 |    74344    37308     45 |  0.236 % |
233.42/233.53	c |     58203 |    3331    64605   209969 |    81779     9290     46 |  1.769 % |
234.12/234.26	c ===============================================================================
235.52/235.64	c core #87
235.52/235.64	c 
235.52/235.64	c 
235.52/235.64	c Core size: 220	Core Weight: 1	Total Weight: -232
235.52/235.64	c
235.52/235.64	c
235.52/235.64	c ============================[ Search Statistics ]==============================
235.52/235.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
235.52/235.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
235.52/235.64	c ===============================================================================
235.52/235.64	c |         0 |    3573    64614   210371 |    21538        0    nan |  0.000 % |
235.62/235.71	c |       100 |    3573    64614   210371 |    23691      100     57 |  0.196 % |
235.62/235.74	c |       252 |    3573    64614   210371 |    26060      252     43 |  0.196 % |
235.62/235.79	c |       477 |    3573    64614   210371 |    28667      477     43 |  0.196 % |
235.72/235.86	c |       816 |    3573    64614   210371 |    31533      816     43 |  0.196 % |
235.82/235.99	c |      1322 |    3573    64614   210371 |    34687     1322     44 |  0.196 % |
236.12/236.20	c |      2084 |    3573    64614   210371 |    38155     2084     49 |  0.196 % |
236.33/236.50	c |      3223 |    3573    64614   210371 |    41971     3223     49 |  0.196 % |
236.82/236.99	c |      4933 |    3573    64614   210371 |    46168     4933     51 |  0.196 % |
237.82/237.99	c |      7495 |    3573    64614   210371 |    50785     7495     53 |  0.196 % |
239.63/239.71	c |     11340 |    3573    64614   210371 |    55864    11340     54 |  0.196 % |
241.62/241.74	c |     17106 |    3573    64614   210371 |    61450    17106     52 |  0.196 % |
252.22/252.38	c |     25756 |    3573    64614   210371 |    67595    25756     55 |  0.196 % |
272.11/272.22	c |     38730 |    3573    64614   210371 |    74355    38730     57 |  0.196 % |
296.70/296.88	c |     58191 |    3573    64614   210371 |    81790    58191     58 |  0.196 % |
363.38/363.54	c |     87384 |    3573    64614   210371 |    89969    19722     69 |  0.196 % |
390.87/391.01	c |    131173 |    3571    64614   210371 |    98966    29991     64 |  0.251 % |
492.03/492.24	c |    196858 |    3571    64614   210371 |   108863    95676     91 |  0.251 % |
739.87/740.11	c |    295388 |    3571    64614   210371 |   119749   103090    117 |  0.251 % |
1120.75/1121.18	c |    443177 |    3571    64614   210371 |   131724    42796    130 |  0.251 % |
1686.38/1686.91	c |    664860 |    3571    64614   210371 |   144896    35711     95 |  0.251 % |

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-2680382-1277460384/watcher-2680382-1277460384 -o /tmp/evaluation-result-2680382-1277460384/solver-2680382-1277460384 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680382-1277460384.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.91 0.97 0.97 2/106 28199
/proc/meminfo: memFree=1849088/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=4940 CPUtime=0
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 365 0 0 0 0 0 0 0 22 0 1 0 87330944 5058560 283 1992294400 134512640 135752675 4290345744 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 1235 283 138 303 0 409 0

[startup+0.021058 s]
/proc/loadavg: 0.91 0.97 0.97 2/106 28199
/proc/meminfo: memFree=1849088/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=5072 CPUtime=0.01
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 401 0 0 0 1 0 0 0 22 0 1 0 87330944 5193728 319 1992294400 134512640 135752675 4290345744 18446744073709551615 134560774 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 1268 319 159 303 0 442 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5072

[startup+0.101065 s]
/proc/loadavg: 0.91 0.97 0.97 2/106 28199
/proc/meminfo: memFree=1849088/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=5912 CPUtime=0.09
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 743 0 0 0 9 0 0 0 25 0 1 0 87330944 6053888 661 1992294400 134512640 135752675 4290345744 18446744073709551615 134559936 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 1478 661 285 303 0 652 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5912

[startup+0.301087 s]
/proc/loadavg: 0.91 0.97 0.97 2/106 28199
/proc/meminfo: memFree=1849088/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=8004 CPUtime=0.29
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 1577 0 0 0 29 0 0 0 25 0 1 0 87330944 8196096 1495 1992294400 134512640 135752675 4290345744 18446744073709551615 134560705 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 2001 1496 601 303 0 1175 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8004

[startup+0.70113 s]
/proc/loadavg: 0.91 0.97 0.97 2/106 28199
/proc/meminfo: memFree=1849088/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=7368 CPUtime=0.69
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 2015 0 0 0 65 4 0 0 25 0 1 0 87330944 7544832 1379 1992294400 134512640 135752675 4290345744 18446744073709551615 134599147 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 1842 1379 144 303 0 1537 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7368

[startup+1.50122 s]
/proc/loadavg: 0.91 0.97 0.97 2/107 28200
/proc/meminfo: memFree=1843872/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=8556 CPUtime=1.49
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 2296 0 0 0 141 8 0 0 25 0 1 0 87330944 8761344 1660 1992294400 134512640 135752675 4290345744 18446744073709551615 134599059 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 2139 1660 145 303 0 1834 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8556

[startup+3.10039 s]
/proc/loadavg: 0.91 0.97 0.97 2/107 28200
/proc/meminfo: memFree=1841392/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=11468 CPUtime=3.09
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 3044 0 0 0 298 11 0 0 25 0 1 0 87330944 11743232 2408 1992294400 134512640 135752675 4290345744 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 2867 2408 145 303 0 2562 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11468

[startup+6.30075 s]
/proc/loadavg: 0.92 0.97 0.97 2/107 28200
/proc/meminfo: memFree=1836680/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=15328 CPUtime=6.29
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 4005 0 0 0 614 15 0 0 25 0 1 0 87330944 15695872 3369 1992294400 134512640 135752675 4290345744 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 3832 3369 145 303 0 3527 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15328

[startup+12.7004 s]
/proc/loadavg: 0.93 0.97 0.97 2/107 28200
/proc/meminfo: memFree=1831100/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=20312 CPUtime=12.69
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 5236 0 0 0 1249 20 0 0 25 0 1 0 87330944 20799488 4600 1992294400 134512640 135752675 4290345744 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 5078 4600 145 303 0 4773 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20312

[startup+25.5009 s]
/proc/loadavg: 0.94 0.97 0.97 2/107 28200
/proc/meminfo: memFree=1821552/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=29684 CPUtime=25.48
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 7571 0 0 0 2521 27 0 0 25 0 1 0 87330944 30396416 6935 1992294400 134512640 135752675 4290345744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 7421 6935 145 303 0 7116 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29684

[startup+51.1017 s]
/proc/loadavg: 0.96 0.97 0.97 2/107 28202
/proc/meminfo: memFree=1804068/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=47240 CPUtime=51.08
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 11924 0 0 0 5063 45 0 0 25 0 1 0 87330944 48373760 11288 1992294400 134512640 135752675 4290345744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 11810 11288 145 303 0 11505 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 47240

[startup+102.308 s]
/proc/loadavg: 0.98 0.97 0.97 2/107 28202
/proc/meminfo: memFree=1772944/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=77956 CPUtime=102.26
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 19587 0 0 0 10155 71 0 0 25 0 1 0 87330944 79826944 18951 1992294400 134512640 135752675 4290345744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 19489 18951 145 303 0 19184 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 77956

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 28204
/proc/meminfo: memFree=1749632/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=101468 CPUtime=162.24
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 25437 0 0 0 16131 93 0 0 25 0 1 0 87330944 103903232 24801 1992294400 134512640 135752675 4290345744 18446744073709551615 134612040 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 25367 24801 145 303 0 25062 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 101468

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/107 28206
/proc/meminfo: memFree=1740208/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=109824 CPUtime=222.23
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 27931 0 0 0 22106 117 0 0 25 0 1 0 87330944 112459776 27014 1992294400 134512640 135752675 4290345744 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 27456 27014 146 303 0 27151 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 109824

[startup+282.301 s]
/proc/loadavg: 1.04 0.99 0.97 2/107 28208
/proc/meminfo: memFree=1728180/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=122548 CPUtime=282.2
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 31051 0 0 0 28079 141 0 0 25 0 1 0 87330944 125489152 30134 1992294400 134512640 135752675 4290345744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 30637 30134 146 303 0 30332 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 122548

[startup+342.302 s]
/proc/loadavg: 1.01 0.99 0.97 2/107 28210
/proc/meminfo: memFree=1718136/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=132328 CPUtime=342.19
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 33487 0 0 0 34063 156 0 0 25 0 1 0 87330944 135503872 32570 1992294400 134512640 135752675 4290345744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 33082 32570 146 303 0 32777 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 132328

[startup+402.301 s]
/proc/loadavg: 1.00 0.99 0.97 2/107 28210
/proc/meminfo: memFree=1695072/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=155824 CPUtime=402.16
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 39333 0 0 0 40029 187 0 0 25 0 1 0 87330944 159563776 38416 1992294400 134512640 135752675 4290345744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 38956 38416 146 303 0 38651 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 155824

[startup+462.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/107 28212
/proc/meminfo: memFree=1670768/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=179876 CPUtime=462.15
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 45322 0 0 0 46003 212 0 0 25 0 1 0 87330944 184193024 44405 1992294400 134512640 135752675 4290345744 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 44969 44405 146 303 0 44664 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 179876

[startup+522.301 s]
/proc/loadavg: 1.00 0.99 0.97 2/107 28214
/proc/meminfo: memFree=1653532/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=197588 CPUtime=522.13
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 49665 0 0 0 51983 230 0 0 25 0 1 0 87330944 202330112 48748 1992294400 134512640 135752675 4290345744 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 49397 48748 146 303 0 49092 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 197588

[startup+582.301 s]
/proc/loadavg: 1.00 0.99 0.97 2/107 28216
/proc/meminfo: memFree=1631336/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=219684 CPUtime=582.11
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 55155 0 0 0 57959 252 0 0 25 0 1 0 87330944 224956416 54238 1992294400 134512640 135752675 4290345744 18446744073709551615 134642703 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 54921 54238 146 303 0 54616 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 219684

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/107 28218
/proc/meminfo: memFree=1616952/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=233896 CPUtime=642.1
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 58658 0 0 0 63943 267 0 0 25 0 1 0 87330944 239509504 57741 1992294400 134512640 135752675 4290345744 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 58474 57741 146 303 0 58169 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 233896

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.04 1.00 0.98 2/107 28222
/proc/meminfo: memFree=1585084/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=266060 CPUtime=822.05
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 66556 0 0 0 81901 304 0 0 25 0 1 0 87330944 272445440 65639 1992294400 134512640 135752675 4290345744 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 66515 65639 146 303 0 66210 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 266060

[startup+882.302 s]
/proc/loadavg: 1.06 1.01 0.98 2/107 28224
/proc/meminfo: memFree=1564004/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=287072 CPUtime=882.03
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 71822 0 0 0 87879 324 0 0 25 0 1 0 87330944 293961728 70905 1992294400 134512640 135752675 4290345744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 71768 70905 146 303 0 71463 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 287072

[startup+942.302 s]
/proc/loadavg: 1.06 1.02 0.99 2/107 28226
/proc/meminfo: memFree=1549992/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=301284 CPUtime=942
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 75333 0 0 0 93861 339 0 0 25 0 1 0 87330944 308514816 74416 1992294400 134512640 135752675 4290345744 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 75321 74416 146 303 0 75016 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 301284

[startup+1002.3 s]
/proc/loadavg: 1.05 1.03 1.00 2/107 28226
/proc/meminfo: memFree=1538708/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=312576 CPUtime=1001.99
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 78140 0 0 0 99845 354 0 0 25 0 1 0 87330944 320077824 77223 1992294400 134512640 135752675 4290345744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 78144 77223 146 303 0 77839 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 312576

[startup+1062.3 s]
/proc/loadavg: 1.13 1.05 1.01 2/107 28228
/proc/meminfo: memFree=1525688/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=325640 CPUtime=1061.97
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 81395 0 0 0 105829 368 0 0 25 0 1 0 87330944 333455360 80478 1992294400 134512640 135752675 4290345744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 81410 80478 146 303 0 81105 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 325640

[startup+1122.3 s]
/proc/loadavg: 1.12 1.06 1.00 2/107 28230
/proc/meminfo: memFree=1503616/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=347896 CPUtime=1121.96
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 86910 0 0 0 111809 387 0 0 25 0 1 0 87330944 356245504 85993 1992294400 134512640 135752675 4290345744 18446744073709551615 134639428 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 86974 85993 146 303 0 86669 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 347896

[startup+1182.3 s]
/proc/loadavg: 1.11 1.06 1.00 2/107 28232
/proc/meminfo: memFree=1489604/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=361964 CPUtime=1181.93
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 90435 0 0 0 117792 401 0 0 25 0 1 0 87330944 370651136 89518 1992294400 134512640 135752675 4290345744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 90491 89518 146 303 0 90186 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 361964

[startup+1242.3 s]
/proc/loadavg: 1.10 1.06 1.00 3/107 28234
/proc/meminfo: memFree=1476088/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=375092 CPUtime=1241.92
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 93708 0 0 0 123779 413 0 0 25 0 1 0 87330944 384094208 92791 1992294400 134512640 135752675 4290345744 18446744073709551615 134611738 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 93773 92791 146 303 0 93468 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 375092

[startup+1302.3 s]
/proc/loadavg: 1.09 1.06 1.00 2/107 28234
/proc/meminfo: memFree=1465176/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=386012 CPUtime=1301.9
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 96411 0 0 0 129764 426 0 0 25 0 1 0 87330944 395276288 95494 1992294400 134512640 135752675 4290345744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 96503 95494 146 303 0 96198 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 386012

[startup+1362.3 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 28236
/proc/meminfo: memFree=1453644/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=397692 CPUtime=1361.89
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 99292 0 0 0 135749 440 0 0 25 0 1 0 87330944 407236608 98375 1992294400 134512640 135752675 4290345744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 99423 98375 146 303 0 99118 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 397692

[startup+1422.31 s]
/proc/loadavg: 1.08 1.06 1.00 2/107 28238
/proc/meminfo: memFree=1443972/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=407296 CPUtime=1421.87
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 101705 0 0 0 141738 449 0 0 25 0 1 0 87330944 417071104 100788 1992294400 134512640 135752675 4290345744 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 101824 100788 146 303 0 101519 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 407296

[startup+1482.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 28240
/proc/meminfo: memFree=1422892/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=428580 CPUtime=1481.85
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 107012 0 0 0 147717 468 0 0 25 0 1 0 87330944 438865920 106095 1992294400 134512640 135752675 4290345744 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 107145 106095 146 303 0 106840 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 428580

[startup+1542.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 28242
/proc/meminfo: memFree=1403796/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=447416 CPUtime=1541.82
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 111737 0 0 0 153692 490 0 0 25 0 1 0 87330944 458153984 110820 1992294400 134512640 135752675 4290345744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 111854 110820 146 303 0 111549 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 447416

[startup+1602.3 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 28245
/proc/meminfo: memFree=1390652/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=460448 CPUtime=1601.8
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 114976 0 0 0 159675 505 0 0 25 0 1 0 87330944 471498752 114059 1992294400 134512640 135752675 4290345744 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 115112 114059 146 303 0 114807 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 460448

[startup+1662.3 s]
/proc/loadavg: 1.12 1.08 1.01 2/107 28247
/proc/meminfo: memFree=1378872/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=472292 CPUtime=1661.77
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 117919 0 0 0 165658 519 0 0 25 0 1 0 87330944 483627008 117002 1992294400 134512640 135752675 4290345744 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 118073 117002 146 303 0 117768 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 472292

[startup+1722.3 s]
/proc/loadavg: 1.27 1.12 1.02 2/107 28249
/proc/meminfo: memFree=1355808/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=495408 CPUtime=1721.76
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 123701 0 0 0 171635 541 0 0 25 0 1 0 87330944 507297792 122784 1992294400 134512640 135752675 4290345744 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 123852 122784 146 303 0 123547 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 495408

[startup+1782.3 s]
/proc/loadavg: 1.10 1.10 1.02 2/107 28251
/proc/meminfo: memFree=1340308/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=510540 CPUtime=1781.74
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 127470 0 0 0 177614 560 0 0 25 0 1 0 87330944 522792960 126553 1992294400 134512640 135752675 4290345744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 127635 126553 146 303 0 127330 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 510540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.07 1.09 1.01 2/107 28251
/proc/meminfo: memFree=1336340/2059040 swapFree=4140344/4192956
[pid=28199] ppid=28197 vsize=514528 CPUtime=1800.05
/proc/28199/stat : 28199 (wbo1.4b) R 28197 28199 27742 0 -1 4202496 128448 0 0 0 179439 566 0 0 25 0 1 0 87330944 526876672 127531 1992294400 134512640 135752675 4290345744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28199/statm: 128632 127531 146 303 0 128327 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 514528

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.67
CPU time (s): 1800.11
CPU user time (s): 1794.39
CPU system time (s): 5.71913
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 514528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.39
system time used= 5.71913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128448
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= 1404

runsolver used 2.90356 second user time and 8.61369 second system time

The end

Launcher Data 

Begin job on node042 at 2010-06-25 12:06:25
IDJOB=2680382
IDBENCH=71828
IDSOLVER=1190
FILE ID=node042/2680382-1277460384
PBS_JOBID= 11188125
Free space on /tmp= 62252 MiB

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

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

MD5SUM BENCH= 948226035ef0280d59f9150dd2b5c694
RANDOM SEED=7538080

node042.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.213
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.42
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.213
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1849616 kB
Buffers:         28804 kB
Cached:          79488 kB
SwapCached:       5356 kB
Active:          62616 kB
Inactive:        58596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1849616 kB
SwapTotal:     4192956 kB
SwapFree:      4140344 kB
Dirty:            4728 kB
Writeback:           0 kB
AnonPages:       11564 kB
Mapped:          12044 kB
Slab:            66268 kB
PageTables:       4192 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183944 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= 62248 MiB
End job on node042 at 2010-06-25 12:36:27