Trace number 2680387

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.12 1800.56

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-9000opt.opb
MD5SUM45bb740026f369f3965355a2a9c7d86d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-193
Best CPU time to get the best result obtained on this benchmark15.9096
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 constraints63333
Number of constraints which are clauses63333
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 364
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 364
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-2680387-1277460426.opb.
0.00/0.00	c Instance file HOME/instance-2680387-1277460426.opb
0.00/0.00	c File size is 2111360 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:        63333                                               |
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 |    2013    63345   188829 |    21111        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.425935 s	Remaining CPU time: 179.574 s
0.39/0.43	c ===============================================================================
0.39/0.43	c |         0 |    2013    63346   188964 |    21115        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.432934 s	Remaining CPU time: 179.567 s
0.39/0.44	c ===============================================================================
0.39/0.44	c |         0 |    2013    63347   189099 |    21115        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.441932 s	Remaining CPU time: 179.558 s
0.39/0.45	c ===============================================================================
0.39/0.45	c |         0 |    2013    63348   189234 |    21116        0    nan |  0.000 % |
0.39/0.46	c ===============================================================================
0.39/0.46	c New solution: -5
0.39/0.46	o -5
0.39/0.46	c Elapsed CPU time: 0.452931 s	Remaining CPU time: 179.547 s
0.39/0.46	c ===============================================================================
0.39/0.46	c |         0 |    2013    63349   189369 |    21116        0    nan |  0.000 % |
0.39/0.47	c ===============================================================================
0.39/0.47	c New solution: -6
0.39/0.47	o -6
0.39/0.47	c Elapsed CPU time: 0.462929 s	Remaining CPU time: 179.537 s
0.39/0.47	c ===============================================================================
0.39/0.47	c |         1 |    2013    63350   189504 |    21116        1    134 |  0.000 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c New solution: -7
0.39/0.49	o -7
0.39/0.49	c Elapsed CPU time: 0.474927 s	Remaining CPU time: 179.525 s
0.39/0.49	c ===============================================================================
0.39/0.49	c |         1 |    2013    63351   189639 |    21117        1    134 |  0.000 % |
0.49/0.50	c ===============================================================================
0.49/0.50	c New solution: -8
0.49/0.50	o -8
0.49/0.50	c Elapsed CPU time: 0.483926 s	Remaining CPU time: 179.516 s
0.49/0.50	c ===============================================================================
0.49/0.50	c |         1 |    2013    63352   189774 |    21117        1    134 |  0.000 % |
0.49/0.51	c ===============================================================================
0.49/0.51	c New solution: -9
0.49/0.51	o -9
0.49/0.51	c Elapsed CPU time: 0.492925 s	Remaining CPU time: 179.507 s
0.49/0.51	c ===============================================================================
0.49/0.51	c |         1 |    2013    63353   189909 |    21117        1    134 |  0.000 % |
0.49/0.52	c ===============================================================================
0.49/0.52	c New solution: -12
0.49/0.52	o -12
0.49/0.52	c Elapsed CPU time: 0.501923 s	Remaining CPU time: 179.498 s
0.49/0.52	c ===============================================================================
0.49/0.52	c |         1 |    2013    63354   190044 |    21118        1    134 |  0.000 % |
0.49/0.53	c ===============================================================================
0.49/0.53	c New solution: -13
0.49/0.53	o -13
0.49/0.53	c Elapsed CPU time: 0.512922 s	Remaining CPU time: 179.487 s
0.49/0.53	c ===============================================================================
0.49/0.53	c |         2 |    2013    63355   190179 |    21118        2    131 |  0.000 % |
0.49/0.54	c ===============================================================================
0.49/0.54	c New solution: -14
0.49/0.54	o -14
0.49/0.54	c Elapsed CPU time: 0.52292 s	Remaining CPU time: 179.477 s
0.49/0.54	c ===============================================================================
0.49/0.54	c |         2 |    2013    63356   190314 |    21118        2    131 |  0.000 % |
0.49/0.55	c ===============================================================================
0.49/0.55	c New solution: -15
0.49/0.55	o -15
0.49/0.55	c Elapsed CPU time: 0.531919 s	Remaining CPU time: 179.468 s
0.49/0.55	c ===============================================================================
0.49/0.55	c |         3 |    2013    63357   190449 |    21119        3    130 |  0.000 % |
0.49/0.57	c ===============================================================================
0.49/0.57	c New solution: -16
0.49/0.57	o -16
0.49/0.57	c Elapsed CPU time: 0.541917 s	Remaining CPU time: 179.458 s
0.49/0.57	c ===============================================================================
0.49/0.57	c |         3 |    2013    63358   190584 |    21119        3    130 |  0.000 % |
0.49/0.58	c ===============================================================================
0.49/0.58	c New solution: -17
0.49/0.58	o -17
0.49/0.58	c Elapsed CPU time: 0.550916 s	Remaining CPU time: 179.449 s
0.49/0.58	c ===============================================================================
0.49/0.58	c |         3 |    2013    63359   190719 |    21119        3    130 |  0.000 % |
0.49/0.59	c ===============================================================================
0.49/0.59	c New solution: -18
0.49/0.59	o -18
0.49/0.59	c Elapsed CPU time: 0.560914 s	Remaining CPU time: 179.439 s
0.49/0.59	c ===============================================================================
0.49/0.59	c |         4 |    2013    63360   190854 |    21120        4    130 |  0.000 % |
0.59/0.60	c ===============================================================================
0.59/0.60	c New solution: -19
0.59/0.60	o -19
0.59/0.60	c Elapsed CPU time: 0.571913 s	Remaining CPU time: 179.428 s
0.59/0.60	c ===============================================================================
0.59/0.60	c |         5 |    2013    63361   190989 |    21120        5    129 |  0.000 % |
0.59/0.61	c ===============================================================================
0.59/0.61	c New solution: -20
0.59/0.61	o -20
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 |         6 |    2013    63362   191124 |    21120        6    129 |  0.000 % |
0.59/0.62	c ===============================================================================
0.59/0.62	c New solution: -21
0.59/0.62	o -21
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 |         7 |    2013    63363   191259 |    21121        7    129 |  0.000 % |
0.59/0.63	c ===============================================================================
0.59/0.63	c New solution: -22
0.59/0.63	o -22
0.59/0.63	c Elapsed CPU time: 0.596909 s	Remaining CPU time: 179.403 s
0.59/0.63	c ===============================================================================
0.59/0.63	c |         8 |    2013    63364   191394 |    21121        8    128 |  0.000 % |
0.59/0.64	c ===============================================================================
0.59/0.64	c New solution: -23
0.59/0.64	o -23
0.59/0.64	c Elapsed CPU time: 0.604908 s	Remaining CPU time: 179.395 s
0.59/0.64	c ===============================================================================
0.59/0.64	c |         9 |    2013    63365   191529 |    21121        9    128 |  0.000 % |
0.59/0.65	c ===============================================================================
0.59/0.65	c New solution: -24
0.59/0.65	o -24
0.59/0.65	c Elapsed CPU time: 0.613906 s	Remaining CPU time: 179.386 s
0.59/0.65	c ===============================================================================
0.59/0.65	c |         9 |    2013    63366   191664 |    21122        9    128 |  0.000 % |
0.59/0.67	c ===============================================================================
0.59/0.67	c New solution: -25
0.59/0.67	o -25
0.59/0.67	c Elapsed CPU time: 0.623905 s	Remaining CPU time: 179.376 s
0.59/0.67	c ===============================================================================
0.59/0.67	c |         9 |    2013    63367   191799 |    21122        9    128 |  0.000 % |
0.59/0.68	c ===============================================================================
0.59/0.68	c New solution: -26
0.59/0.68	o -26
0.59/0.68	c Elapsed CPU time: 0.633903 s	Remaining CPU time: 179.366 s
0.59/0.68	c ===============================================================================
0.59/0.68	c |        10 |    2013    63368   191934 |    21122       10    127 |  0.000 % |
0.59/0.69	c ===============================================================================
0.59/0.69	c New solution: -27
0.59/0.69	o -27
0.59/0.69	c Elapsed CPU time: 0.643902 s	Remaining CPU time: 179.356 s
0.59/0.69	c ===============================================================================
0.59/0.69	c |        11 |    2013    63369   192069 |    21123       11    127 |  0.000 % |
0.69/0.70	c ===============================================================================
0.69/0.70	c New solution: -28
0.69/0.70	o -28
0.69/0.70	c Elapsed CPU time: 0.6529 s	Remaining CPU time: 179.347 s
0.69/0.70	c ===============================================================================
0.69/0.70	c |        11 |    2013    63370   192204 |    21123       11    127 |  0.000 % |
0.69/0.71	c ===============================================================================
0.69/0.71	c New solution: -29
0.69/0.71	o -29
0.69/0.71	c Elapsed CPU time: 0.662899 s	Remaining CPU time: 179.337 s
0.69/0.71	c ===============================================================================
0.69/0.71	c |        11 |    2013    63371   192339 |    21123       11    127 |  0.000 % |
0.69/0.72	c ===============================================================================
0.69/0.72	c New solution: -30
0.69/0.72	o -30
0.69/0.72	c Elapsed CPU time: 0.672897 s	Remaining CPU time: 179.327 s
0.69/0.72	c ===============================================================================
0.69/0.72	c |        12 |    2013    63372   192474 |    21124       12    127 |  0.000 % |
0.69/0.73	c ===============================================================================
0.69/0.73	c New solution: -31
0.69/0.73	o -31
0.69/0.73	c Elapsed CPU time: 0.682896 s	Remaining CPU time: 179.317 s
0.69/0.73	c ===============================================================================
0.69/0.73	c |        13 |    2013    63373   192609 |    21124       13    126 |  0.000 % |
0.69/0.74	c ===============================================================================
0.69/0.74	c New solution: -32
0.69/0.74	o -32
0.69/0.74	c Elapsed CPU time: 0.692894 s	Remaining CPU time: 179.307 s
0.69/0.74	c ===============================================================================
0.69/0.74	c |        13 |    2013    63374   192744 |    21124       13    126 |  0.000 % |
0.69/0.75	c ===============================================================================
0.69/0.75	c New solution: -33
0.69/0.75	o -33
0.69/0.75	c Elapsed CPU time: 0.703892 s	Remaining CPU time: 179.296 s
0.69/0.75	c ===============================================================================
0.69/0.75	c |        13 |    2013    63375   192879 |    21125       13    126 |  0.000 % |
0.69/0.77	c ===============================================================================
0.69/0.77	c New solution: -34
0.69/0.77	o -34
0.69/0.77	c Elapsed CPU time: 0.712891 s	Remaining CPU time: 179.287 s
0.69/0.77	c ===============================================================================
0.69/0.77	c |        14 |    2013    63376   193014 |    21125       14    126 |  0.000 % |
0.69/0.78	c ===============================================================================
0.69/0.78	c New solution: -35
0.69/0.78	o -35
0.69/0.78	c Elapsed CPU time: 0.72289 s	Remaining CPU time: 179.277 s
0.69/0.78	c ===============================================================================
0.69/0.78	c |        14 |    2013    63377   193149 |    21125       14    126 |  0.000 % |
0.69/0.79	c ===============================================================================
0.69/0.79	c New solution: -36
0.69/0.79	o -36
0.69/0.79	c Elapsed CPU time: 0.732888 s	Remaining CPU time: 179.267 s
0.69/0.79	c ===============================================================================
0.69/0.79	c |        14 |    2013    63378   193284 |    21126       14    126 |  0.000 % |
0.78/0.80	c ===============================================================================
0.78/0.80	c New solution: -37
0.78/0.80	o -37
0.78/0.80	c Elapsed CPU time: 0.741887 s	Remaining CPU time: 179.258 s
0.78/0.80	c ===============================================================================
0.78/0.80	c |        14 |    2013    63379   193419 |    21126       14    126 |  0.000 % |
0.78/0.81	c ===============================================================================
0.78/0.81	c New solution: -38
0.78/0.81	o -38
0.78/0.81	c Elapsed CPU time: 0.751885 s	Remaining CPU time: 179.248 s
0.78/0.81	c ===============================================================================
0.78/0.81	c |        15 |    2013    63380   193554 |    21126       15    126 |  0.000 % |
0.78/0.82	c ===============================================================================
0.78/0.82	c New solution: -39
0.78/0.82	o -39
0.78/0.82	c Elapsed CPU time: 0.762884 s	Remaining CPU time: 179.237 s
0.78/0.82	c ===============================================================================
0.78/0.82	c |        16 |    2013    63381   193689 |    21127       16    125 |  0.000 % |
0.78/0.83	c ===============================================================================
0.78/0.83	c New solution: -40
0.78/0.83	o -40
0.78/0.83	c Elapsed CPU time: 0.771882 s	Remaining CPU time: 179.228 s
0.78/0.83	c ===============================================================================
0.78/0.83	c |        16 |    2013    63382   193824 |    21127       16    125 |  0.000 % |
0.78/0.84	c ===============================================================================
0.78/0.84	c New solution: -41
0.78/0.84	o -41
0.78/0.84	c Elapsed CPU time: 0.781881 s	Remaining CPU time: 179.218 s
0.78/0.84	c ===============================================================================
0.78/0.84	c |        16 |    2013    63383   193959 |    21127       16    125 |  0.000 % |
0.78/0.85	c ===============================================================================
0.78/0.85	c New solution: -42
0.78/0.85	o -42
0.78/0.85	c Elapsed CPU time: 0.790879 s	Remaining CPU time: 179.209 s
0.78/0.85	c ===============================================================================
0.78/0.85	c |        17 |    2013    63384   194094 |    21128       17    125 |  0.000 % |
0.78/0.86	c ===============================================================================
0.78/0.86	c New solution: -43
0.78/0.86	o -43
0.78/0.86	c Elapsed CPU time: 0.800878 s	Remaining CPU time: 179.199 s
0.78/0.86	c ===============================================================================
0.78/0.86	c |        18 |    2013    63385   194229 |    21128       18    125 |  0.000 % |
0.78/0.88	c ===============================================================================
0.78/0.88	c New solution: -44
0.78/0.88	o -44
0.78/0.88	c Elapsed CPU time: 0.810876 s	Remaining CPU time: 179.189 s
0.78/0.88	c ===============================================================================
0.78/0.88	c |        18 |    2013    63386   194364 |    21128       18    125 |  0.000 % |
0.78/0.89	c ===============================================================================
0.78/0.89	c New solution: -45
0.78/0.89	o -45
0.78/0.89	c Elapsed CPU time: 0.821875 s	Remaining CPU time: 179.178 s
0.78/0.89	c ===============================================================================
0.78/0.89	c |        18 |    2013    63387   194499 |    21129       18    125 |  0.000 % |
0.88/0.90	c ===============================================================================
0.88/0.90	c New solution: -46
0.88/0.90	o -46
0.88/0.90	c Elapsed CPU time: 0.830873 s	Remaining CPU time: 179.169 s
0.88/0.90	c ===============================================================================
0.88/0.90	c |        19 |    2013    63388   194634 |    21129       19    124 |  0.000 % |
0.88/0.91	c ===============================================================================
0.88/0.91	c New solution: -47
0.88/0.91	o -47
0.88/0.91	c Elapsed CPU time: 0.838872 s	Remaining CPU time: 179.161 s
0.88/0.91	c ===============================================================================
0.88/0.91	c |        20 |    2013    63389   194769 |    21129       20    124 |  0.000 % |
0.88/0.92	c ===============================================================================
0.88/0.92	c New solution: -48
0.88/0.92	o -48
0.88/0.92	c Elapsed CPU time: 0.84987 s	Remaining CPU time: 179.15 s
0.88/0.92	c ===============================================================================
0.88/0.92	c |        20 |    2013    63390   194904 |    21130       20    124 |  0.000 % |
0.88/0.93	c ===============================================================================
0.88/0.93	c New solution: -49
0.88/0.93	o -49
0.88/0.93	c Elapsed CPU time: 0.858869 s	Remaining CPU time: 179.141 s
0.88/0.93	c ===============================================================================
0.88/0.93	c |        20 |    2013    63391   195039 |    21130       20    124 |  0.000 % |
0.88/0.94	c ===============================================================================
0.88/0.94	c New solution: -50
0.88/0.94	o -50
0.88/0.94	c Elapsed CPU time: 0.868867 s	Remaining CPU time: 179.131 s
0.88/0.94	c ===============================================================================
0.88/0.94	c |        22 |    2013    63392   195174 |    21130       22    123 |  0.000 % |
0.88/0.95	c ===============================================================================
0.88/0.95	c New solution: -51
0.88/0.95	o -51
0.88/0.95	c Elapsed CPU time: 0.878866 s	Remaining CPU time: 179.121 s
0.88/0.95	c ===============================================================================
0.88/0.95	c |        22 |    2013    63393   195309 |    21131       22    123 |  0.000 % |
0.88/0.96	c ===============================================================================
0.88/0.96	c New solution: -52
0.88/0.96	o -52
0.88/0.96	c Elapsed CPU time: 0.888864 s	Remaining CPU time: 179.111 s
0.88/0.96	c ===============================================================================
0.88/0.96	c |        22 |    2013    63394   195444 |    21131       22    123 |  0.000 % |
0.88/0.97	c ===============================================================================
0.88/0.97	c New solution: -53
0.88/0.97	o -53
0.88/0.97	c Elapsed CPU time: 0.898863 s	Remaining CPU time: 179.101 s
0.88/0.97	c ===============================================================================
0.88/0.97	c |        23 |    2013    63395   195579 |    21131       23    123 |  0.000 % |
0.88/0.99	c ===============================================================================
0.88/0.99	c New solution: -54
0.88/0.99	o -54
0.88/0.99	c Elapsed CPU time: 0.909861 s	Remaining CPU time: 179.09 s
0.88/0.99	c ===============================================================================
0.88/0.99	c |        26 |    2013    63396   195714 |    21132       26    122 |  0.000 % |
1.00/1.00	c ===============================================================================
1.00/1.00	c New solution: -55
1.00/1.00	o -55
1.00/1.00	c Elapsed CPU time: 0.91986 s	Remaining CPU time: 179.08 s
1.00/1.00	c ===============================================================================
1.00/1.00	c |        26 |    2013    63397   195849 |    21132       26    122 |  0.000 % |
1.00/1.01	c ===============================================================================
1.00/1.01	c New solution: -56
1.00/1.01	o -56
1.00/1.01	c Elapsed CPU time: 0.929858 s	Remaining CPU time: 179.07 s
1.00/1.01	c ===============================================================================
1.00/1.01	c |        27 |    2013    63398   195984 |    21132       27    122 |  0.000 % |
1.00/1.02	c ===============================================================================
1.00/1.02	c New solution: -57
1.00/1.02	o -57
1.00/1.02	c Elapsed CPU time: 0.940856 s	Remaining CPU time: 179.059 s
1.00/1.02	c ===============================================================================
1.00/1.02	c |        27 |    2013    63399   196119 |    21133       27    122 |  0.000 % |
1.00/1.03	c ===============================================================================
1.00/1.03	c New solution: -58
1.00/1.03	o -58
1.00/1.03	c Elapsed CPU time: 0.950855 s	Remaining CPU time: 179.049 s
1.00/1.03	c ===============================================================================
1.00/1.03	c |        28 |    2013    63400   196254 |    21133       28    122 |  0.000 % |
1.00/1.04	c ===============================================================================
1.00/1.04	c New solution: -59
1.00/1.04	o -59
1.00/1.04	c Elapsed CPU time: 0.959854 s	Remaining CPU time: 179.04 s
1.00/1.04	c ===============================================================================
1.00/1.04	c |        30 |    2013    63401   196389 |    21133       30    121 |  0.000 % |
1.00/1.05	c ===============================================================================
1.00/1.05	c New solution: -60
1.00/1.05	o -60
1.00/1.05	c Elapsed CPU time: 0.970852 s	Remaining CPU time: 179.029 s
1.00/1.05	c ===============================================================================
1.00/1.05	c |        30 |    2013    63402   196524 |    21134       30    121 |  0.000 % |
1.00/1.06	c ===============================================================================
1.00/1.06	c New solution: -61
1.00/1.06	o -61
1.00/1.06	c Elapsed CPU time: 0.98085 s	Remaining CPU time: 179.019 s
1.00/1.06	c ===============================================================================
1.00/1.06	c |        30 |    2013    63403   196659 |    21134       30    121 |  0.000 % |
1.00/1.07	c ===============================================================================
1.00/1.07	c New solution: -62
1.00/1.07	o -62
1.00/1.07	c Elapsed CPU time: 0.990849 s	Remaining CPU time: 179.009 s
1.00/1.07	c ===============================================================================
1.00/1.07	c |        30 |    2013    63404   196794 |    21134       30    121 |  0.000 % |
1.00/1.08	c ===============================================================================
1.00/1.08	c New solution: -63
1.00/1.08	o -63
1.00/1.08	c Elapsed CPU time: 1.00085 s	Remaining CPU time: 178.999 s
1.00/1.08	c ===============================================================================
1.00/1.08	c |        30 |    2013    63405   196929 |    21135       30    121 |  0.000 % |
1.00/1.10	c ===============================================================================
1.00/1.10	c New solution: -64
1.00/1.10	o -64
1.00/1.10	c Elapsed CPU time: 1.00885 s	Remaining CPU time: 178.991 s
1.00/1.10	c ===============================================================================
1.00/1.10	c |        35 |    2013    63406   197064 |    21135       35    120 |  0.000 % |
1.09/1.11	c ===============================================================================
1.09/1.11	c New solution: -65
1.09/1.11	o -65
1.09/1.11	c Elapsed CPU time: 1.02084 s	Remaining CPU time: 178.979 s
1.09/1.11	c ===============================================================================
1.09/1.11	c |        39 |    2013    63407   197199 |    21135       39    119 |  0.000 % |
1.09/1.12	c ===============================================================================
1.09/1.12	c New solution: -66
1.09/1.12	o -66
1.09/1.12	c Elapsed CPU time: 1.03184 s	Remaining CPU time: 178.968 s
1.09/1.12	c ===============================================================================
1.09/1.12	c |        39 |    2013    63408   197334 |    21136       39    119 |  0.000 % |
1.09/1.13	c ===============================================================================
1.09/1.13	c New solution: -67
1.09/1.13	o -67
1.09/1.13	c Elapsed CPU time: 1.04184 s	Remaining CPU time: 178.958 s
1.09/1.13	c ===============================================================================
1.09/1.13	c |        39 |    2013    63409   197469 |    21136       39    119 |  0.000 % |
1.09/1.14	c ===============================================================================
1.09/1.14	c New solution: -68
1.09/1.14	o -68
1.09/1.14	c Elapsed CPU time: 1.05184 s	Remaining CPU time: 178.948 s
1.09/1.14	c ===============================================================================
1.09/1.14	c |        39 |    2013    63410   197604 |    21136       39    119 |  0.000 % |
1.09/1.15	c ===============================================================================
1.09/1.15	c New solution: -69
1.09/1.15	o -69
1.09/1.15	c Elapsed CPU time: 1.06184 s	Remaining CPU time: 178.938 s
1.09/1.15	c ===============================================================================
1.09/1.15	c |        42 |    2013    63411   197739 |    21137       42    119 |  0.000 % |
1.09/1.16	c ===============================================================================
1.09/1.16	c New solution: -70
1.09/1.16	o -70
1.09/1.16	c Elapsed CPU time: 1.07284 s	Remaining CPU time: 178.927 s
1.09/1.16	c ===============================================================================
1.09/1.16	c |        44 |    2013    63412   197874 |    21137       44    119 |  0.000 % |
1.09/1.18	c ===============================================================================
1.09/1.18	c New solution: -71
1.09/1.18	o -71
1.09/1.18	c Elapsed CPU time: 1.08483 s	Remaining CPU time: 178.915 s
1.09/1.18	c ===============================================================================
1.09/1.18	c |        48 |    2013    63413   198009 |    21137       48    116 |  0.000 % |
1.09/1.19	c ===============================================================================
1.09/1.19	c New solution: -73
1.09/1.19	o -73
1.09/1.19	c Elapsed CPU time: 1.09583 s	Remaining CPU time: 178.904 s
1.09/1.19	c ===============================================================================
1.09/1.19	c |        54 |    2013    63414   198144 |    21138       54    115 |  0.000 % |
1.19/1.20	c ===============================================================================
1.19/1.20	c New solution: -74
1.19/1.20	o -74
1.19/1.20	c Elapsed CPU time: 1.10683 s	Remaining CPU time: 178.893 s
1.19/1.20	c ===============================================================================
1.19/1.20	c |        57 |    2013    63415   198279 |    21138       57    115 |  0.000 % |
1.19/1.21	c ===============================================================================
1.19/1.21	c New solution: -75
1.19/1.21	o -75
1.19/1.21	c Elapsed CPU time: 1.11883 s	Remaining CPU time: 178.881 s
1.19/1.21	c ===============================================================================
1.19/1.21	c |        62 |    2013    63416   198414 |    21138       62    114 |  0.000 % |
1.19/1.22	c ===============================================================================
1.19/1.22	c New solution: -76
1.19/1.22	o -76
1.19/1.22	c Elapsed CPU time: 1.12983 s	Remaining CPU time: 178.87 s
1.19/1.22	c ===============================================================================
1.19/1.22	c |        66 |    2013    63417   198549 |    21139       66    114 |  0.000 % |
1.19/1.24	c ===============================================================================
1.19/1.24	c New solution: -77
1.19/1.24	o -77
1.19/1.24	c Elapsed CPU time: 1.14383 s	Remaining CPU time: 178.856 s
1.19/1.24	c ===============================================================================
1.19/1.24	c |        88 |    2013    63418   198684 |    21139       88    111 |  0.000 % |
1.19/1.25	c ===============================================================================
1.19/1.25	c New solution: -78
1.19/1.25	o -78
1.19/1.25	c Elapsed CPU time: 1.15182 s	Remaining CPU time: 178.848 s
1.19/1.25	c ===============================================================================
1.19/1.25	c |        88 |    2013    63419   198819 |    21139       88    111 |  0.000 % |
1.19/1.26	c ===============================================================================
1.19/1.26	c New solution: -79
1.19/1.26	o -79
1.19/1.26	c Elapsed CPU time: 1.16382 s	Remaining CPU time: 178.836 s
1.19/1.26	c ===============================================================================
1.19/1.26	c |        88 |    2013    63420   198954 |    21140       88    111 |  0.000 % |
1.19/1.27	c ===============================================================================
1.19/1.27	c New solution: -80
1.19/1.27	o -80
1.19/1.27	c Elapsed CPU time: 1.17482 s	Remaining CPU time: 178.825 s
1.19/1.27	c ===============================================================================
1.19/1.27	c |        90 |    2013    63421   199089 |    21140       90    111 |  0.000 % |
1.19/1.29	c ===============================================================================
1.19/1.29	c New solution: -81
1.19/1.29	o -81
1.19/1.29	c Elapsed CPU time: 1.18982 s	Remaining CPU time: 178.81 s
1.19/1.29	c ===============================================================================
1.19/1.29	c |       101 |    2013    63422   199224 |    21140      101    111 |  0.000 % |
1.28/1.30	c ===============================================================================
1.28/1.30	c New solution: -82
1.28/1.30	o -82
1.28/1.30	c Elapsed CPU time: 1.20082 s	Remaining CPU time: 178.799 s
1.28/1.30	c ===============================================================================
1.28/1.30	c |       101 |    2013    63423   199359 |    21141      101    111 |  0.000 % |
1.28/1.31	c ===============================================================================
1.28/1.31	c New solution: -83
1.28/1.31	o -83
1.28/1.31	c Elapsed CPU time: 1.21081 s	Remaining CPU time: 178.789 s
1.28/1.31	c ===============================================================================
1.28/1.31	c |       101 |    2013    63424   199494 |    21141      101    111 |  0.000 % |
1.28/1.32	c ===============================================================================
1.28/1.32	c New solution: -84
1.28/1.32	o -84
1.28/1.32	c Elapsed CPU time: 1.22581 s	Remaining CPU time: 178.774 s
1.28/1.32	c ===============================================================================
1.28/1.32	c |       114 |    2013    63425   199629 |    21141      114    110 |  0.000 % |
1.28/1.34	c ===============================================================================
1.28/1.34	c New solution: -85
1.28/1.34	o -85
1.28/1.34	c Elapsed CPU time: 1.24281 s	Remaining CPU time: 178.757 s
1.28/1.34	c ===============================================================================
1.28/1.34	c |       152 |    2013    63426   199764 |    21142      152    108 |  0.000 % |
1.28/1.35	c ===============================================================================
1.28/1.35	c New solution: -86
1.28/1.35	o -86
1.28/1.35	c Elapsed CPU time: 1.25481 s	Remaining CPU time: 178.745 s
1.28/1.35	c ===============================================================================
1.28/1.35	c |       152 |    2013    63427   199899 |    21142      152    108 |  0.000 % |
1.28/1.37	c ===============================================================================
1.28/1.37	c New solution: -87
1.28/1.37	o -87
1.28/1.37	c Elapsed CPU time: 1.26681 s	Remaining CPU time: 178.733 s
1.28/1.37	c ===============================================================================
1.28/1.37	c |       154 |    2013    63428   200034 |    21142      154    107 |  0.000 % |
1.28/1.38	c ===============================================================================
1.28/1.38	c New solution: -88
1.28/1.38	o -88
1.28/1.38	c Elapsed CPU time: 1.27781 s	Remaining CPU time: 178.722 s
1.28/1.38	c ===============================================================================
1.28/1.38	c |       172 |    2013    63429   200169 |    21143      172    107 |  0.000 % |
1.28/1.39	c ===============================================================================
1.28/1.39	c New solution: -89
1.28/1.39	o -89
1.28/1.39	c Elapsed CPU time: 1.2888 s	Remaining CPU time: 178.711 s
1.28/1.39	c ===============================================================================
1.28/1.39	c |       172 |    2013    63430   200304 |    21143      172    107 |  0.000 % |
1.39/1.41	c ===============================================================================
1.39/1.41	c New solution: -90
1.39/1.41	o -90
1.39/1.41	c Elapsed CPU time: 1.3008 s	Remaining CPU time: 178.699 s
1.39/1.41	c ===============================================================================
1.39/1.41	c |       174 |    2013    63431   200439 |    21143      174    107 |  0.000 % |
1.39/1.42	c ===============================================================================
1.39/1.42	c New solution: -91
1.39/1.42	o -91
1.39/1.42	c Elapsed CPU time: 1.3138 s	Remaining CPU time: 178.686 s
1.39/1.42	c ===============================================================================
1.39/1.42	c |       175 |    2013    63432   200574 |    21144      175    107 |  0.000 % |
1.39/1.43	c ===============================================================================
1.39/1.43	c New solution: -92
1.39/1.43	o -92
1.39/1.43	c Elapsed CPU time: 1.3208 s	Remaining CPU time: 178.679 s
1.39/1.43	c ===============================================================================
1.39/1.43	c |       175 |    2013    63433   200709 |    21144      175    107 |  0.000 % |
1.39/1.45	c ===============================================================================
1.39/1.45	c New solution: -93
1.39/1.45	o -93
1.39/1.45	c Elapsed CPU time: 1.3388 s	Remaining CPU time: 178.661 s
1.39/1.45	c ===============================================================================
1.39/1.45	c |       213 |    2013    63434   200844 |    21144      213    106 |  0.000 % |
1.39/1.48	c ===============================================================================
1.39/1.48	c New solution: -94
1.39/1.48	o -94
1.39/1.48	c Elapsed CPU time: 1.36979 s	Remaining CPU time: 178.63 s
1.39/1.48	c ===============================================================================
1.39/1.48	c |       309 |    2013    63435   200979 |    21145      309    104 |  0.000 % |
1.39/1.49	c ===============================================================================
1.39/1.49	c New solution: -95
1.39/1.49	o -95
1.39/1.49	c Elapsed CPU time: 1.38079 s	Remaining CPU time: 178.619 s
1.39/1.49	c ===============================================================================
1.39/1.49	c |       309 |    2013    63436   201114 |    21145      309    104 |  0.000 % |
1.49/1.52	c ===============================================================================
1.49/1.52	c New solution: -96
1.49/1.52	o -96
1.49/1.52	c Elapsed CPU time: 1.40479 s	Remaining CPU time: 178.595 s
1.49/1.52	c ===============================================================================
1.49/1.52	c |       370 |    2013    63437   201249 |    21145      370    103 |  0.000 % |
1.49/1.53	c ===============================================================================
1.49/1.53	c New solution: -97
1.49/1.53	o -97
1.49/1.53	c Elapsed CPU time: 1.41878 s	Remaining CPU time: 178.581 s
1.49/1.53	c ===============================================================================
1.49/1.53	c |       405 |    2013    63438   201384 |    21146      405    103 |  0.000 % |
1.49/1.55	c ===============================================================================
1.49/1.55	c New solution: -98
1.49/1.55	o -98
1.49/1.55	c Elapsed CPU time: 1.42978 s	Remaining CPU time: 178.57 s
1.49/1.55	c ===============================================================================
1.49/1.55	c |       405 |    2013    63439   201519 |    21146      405    103 |  0.000 % |
1.49/1.57	c ===============================================================================
1.49/1.57	c New solution: -99
1.49/1.57	o -99
1.49/1.57	c Elapsed CPU time: 1.45278 s	Remaining CPU time: 178.547 s
1.49/1.57	c ===============================================================================
1.49/1.57	c |       475 |    2013    63440   201654 |    21146      475    102 |  0.000 % |
1.49/1.59	c ===============================================================================
1.49/1.59	c New solution: -100
1.49/1.59	o -100
1.49/1.59	c Elapsed CPU time: 1.47378 s	Remaining CPU time: 178.526 s
1.49/1.59	c ===============================================================================
1.49/1.59	c |       517 |    2013    63441   201789 |    21147      517    101 |  0.000 % |
1.59/1.60	c ===============================================================================
1.59/1.60	c New solution: -101
1.59/1.60	o -101
1.59/1.60	c Elapsed CPU time: 1.48477 s	Remaining CPU time: 178.515 s
1.59/1.60	c ===============================================================================
1.59/1.60	c |       532 |    2013    63442   201924 |    21147      532    101 |  0.000 % |
1.59/1.62	c ===============================================================================
1.59/1.62	c New solution: -102
1.59/1.62	o -102
1.59/1.62	c Elapsed CPU time: 1.49677 s	Remaining CPU time: 178.503 s
1.59/1.62	c ===============================================================================
1.59/1.62	c |       534 |    2013    63443   202059 |    21147      534    101 |  0.000 % |
1.59/1.65	c ===============================================================================
1.59/1.65	c New solution: -103
1.59/1.65	o -103
1.59/1.65	c Elapsed CPU time: 1.52877 s	Remaining CPU time: 178.471 s
1.59/1.65	c ===============================================================================
1.59/1.65	c |       618 |    2013    63444   202194 |    21148      618    100 |  0.000 % |
1.59/1.67	c ===============================================================================
1.59/1.67	c New solution: -104
1.59/1.67	o -104
1.59/1.67	c Elapsed CPU time: 1.54976 s	Remaining CPU time: 178.45 s
1.59/1.67	c ===============================================================================
1.59/1.67	c |       652 |    2013    63445   202329 |    21148      652    100 |  0.000 % |
1.59/1.68	c ===============================================================================
1.59/1.68	c New solution: -105
1.59/1.68	o -105
1.59/1.68	c Elapsed CPU time: 1.56276 s	Remaining CPU time: 178.437 s
1.59/1.68	c ===============================================================================
1.59/1.68	c |       652 |    2013    63446   202464 |    21148      652    100 |  0.000 % |
1.69/1.71	c |       752 |    2013    63446   202464 |    23263      752    100 |  0.593 % |
1.69/1.72	c ===============================================================================
1.69/1.72	c New solution: -106
1.69/1.72	o -106
1.69/1.72	c Elapsed CPU time: 1.59576 s	Remaining CPU time: 178.404 s
1.69/1.72	c ===============================================================================
1.69/1.72	c |       752 |    2013    63447   202599 |    21149      752    100 |  0.593 % |
1.69/1.73	c ===============================================================================
1.69/1.73	c New solution: -107
1.69/1.73	o -107
1.69/1.73	c Elapsed CPU time: 1.60875 s	Remaining CPU time: 178.391 s
1.69/1.73	c ===============================================================================
1.69/1.73	c |       752 |    2013    63448   202734 |    21149      752    100 |  0.593 % |
1.69/1.76	c ===============================================================================
1.69/1.76	c New solution: -108
1.69/1.76	o -108
1.69/1.76	c Elapsed CPU time: 1.63875 s	Remaining CPU time: 178.361 s
1.69/1.76	c ===============================================================================
1.69/1.76	c |       825 |    2013    63449   202869 |    21149      825     99 |  0.593 % |
1.69/1.77	c ===============================================================================
1.69/1.77	c New solution: -109
1.69/1.77	o -109
1.69/1.77	c Elapsed CPU time: 1.65275 s	Remaining CPU time: 178.347 s
1.69/1.77	c ===============================================================================
1.69/1.77	c |       826 |    2013    63450   203004 |    21150      826     99 |  0.593 % |
1.69/1.79	c ===============================================================================
1.69/1.79	c New solution: -110
1.69/1.79	o -110
1.69/1.79	c Elapsed CPU time: 1.66475 s	Remaining CPU time: 178.335 s
1.69/1.79	c ===============================================================================
1.69/1.79	c |       826 |    2013    63451   203139 |    21150      826     99 |  0.593 % |
1.79/1.80	c ===============================================================================
1.79/1.80	c New solution: -111
1.79/1.80	o -111
1.79/1.80	c Elapsed CPU time: 1.68174 s	Remaining CPU time: 178.318 s
1.79/1.80	c ===============================================================================
1.79/1.80	c |       861 |    2013    63452   203274 |    21150      861     99 |  0.593 % |
1.79/1.83	c |       961 |    2013    63452   203274 |    23265      961     99 |  0.593 % |
1.79/1.87	c |      1112 |    2013    63452   203274 |    25592     1112     98 |  0.593 % |
1.89/1.90	c ===============================================================================
1.89/1.90	c New solution: -112
1.89/1.90	o -112
1.89/1.90	c Elapsed CPU time: 1.77473 s	Remaining CPU time: 178.225 s
1.89/1.90	c ===============================================================================
1.89/1.90	c |      1226 |    2013    63453   203409 |    21151     1226     98 |  0.593 % |
1.89/1.91	c ===============================================================================
1.89/1.91	c New solution: -113
1.89/1.91	o -113
1.89/1.91	c Elapsed CPU time: 1.78773 s	Remaining CPU time: 178.212 s
1.89/1.91	c ===============================================================================
1.89/1.91	c |      1230 |    2013    63454   203544 |    21151     1230     98 |  0.593 % |
1.89/1.94	c |      1332 |    2013    63454   203544 |    23266     1332     98 |  0.593 % |
1.89/1.98	c |      1482 |    2013    63454   203544 |    25593     1482     97 |  0.593 % |
1.99/2.03	c |      1707 |    2013    63454   203544 |    28152     1707     97 |  0.593 % |
2.10/2.11	c ===============================================================================
2.10/2.11	c New solution: -114
2.10/2.11	o -114
2.10/2.11	c Elapsed CPU time: 1.9837 s	Remaining CPU time: 178.016 s
2.10/2.11	c ===============================================================================
2.10/2.11	c |      2011 |    2013    63455   203679 |    21151     2011     96 |  0.593 % |
2.10/2.13	c ===============================================================================
2.10/2.13	c New solution: -115
2.10/2.13	o -115
2.10/2.13	c Elapsed CPU time: 1.9977 s	Remaining CPU time: 178.002 s
2.10/2.13	c ===============================================================================
2.10/2.13	c |      2012 |    2013    63456   203814 |    21152     2012     96 |  0.593 % |
2.10/2.15	c |      2112 |    2013    63456   203814 |    23267     2112     96 |  0.593 % |
2.10/2.19	c |      2262 |    2013    63456   203814 |    25593     2262     96 |  0.593 % |
2.20/2.24	c |      2487 |    2013    63456   203814 |    28153     2487     96 |  0.593 % |
2.29/2.33	c |      2825 |    2013    63456   203814 |    30968     2825     95 |  0.593 % |
2.39/2.46	c |      3332 |    2013    63456   203814 |    34065     3332     95 |  0.593 % |
2.49/2.59	c ===============================================================================
2.49/2.59	c New solution: -116
2.49/2.59	o -116
2.49/2.59	c Elapsed CPU time: 2.45163 s	Remaining CPU time: 177.548 s
2.49/2.59	c ===============================================================================
2.49/2.59	c |      3791 |    2013    63457   203949 |    21152     3791     95 |  0.593 % |
2.59/2.61	c ===============================================================================
2.59/2.61	c New solution: -117
2.59/2.61	o -117
2.59/2.61	c Elapsed CPU time: 2.46762 s	Remaining CPU time: 177.532 s
2.59/2.61	c ===============================================================================
2.59/2.61	c |      3797 |    2013    63458   204084 |    21152     3797     95 |  0.593 % |
2.59/2.62	c ===============================================================================
2.59/2.62	c New solution: -118
2.59/2.62	o -118
2.59/2.62	c Elapsed CPU time: 2.48262 s	Remaining CPU time: 177.517 s
2.59/2.62	c ===============================================================================
2.59/2.62	c |      3799 |    2013    63459   204219 |    21153     3799     95 |  0.593 % |
2.59/2.66	c |      3900 |    2013    63459   204219 |    23268     3900     95 |  0.593 % |
2.59/2.68	c ===============================================================================
2.59/2.68	c New solution: -119
2.59/2.68	o -119
2.59/2.68	c Elapsed CPU time: 2.53861 s	Remaining CPU time: 177.461 s
2.59/2.68	c ===============================================================================
2.59/2.68	c |      3959 |    2013    63460   204354 |    21153     3959     95 |  0.593 % |
2.69/2.71	c |      4060 |    2013    63460   204354 |    23268     4060     95 |  0.593 % |
2.69/2.75	c |      4211 |    2013    63460   204354 |    25595     4211     95 |  0.593 % |
2.79/2.82	c |      4437 |    2013    63460   204354 |    28155     4437     94 |  0.593 % |
2.89/2.92	c |      4774 |    2013    63460   204354 |    30970     4774     94 |  0.593 % |
2.99/3.06	c |      5281 |    2013    63460   204354 |    34067     5281     94 |  0.593 % |
3.19/3.20	c ===============================================================================
3.19/3.20	c New solution: -120
3.19/3.20	o -120
3.19/3.20	c Elapsed CPU time: 3.05553 s	Remaining CPU time: 176.944 s
3.19/3.20	c ===============================================================================
3.19/3.20	c |      5720 |    2013    63461   204489 |    21153     5720     94 |  0.593 % |
3.19/3.22	c ===============================================================================
3.19/3.22	c New solution: -121
3.19/3.22	o -121
3.19/3.22	c Elapsed CPU time: 3.07153 s	Remaining CPU time: 176.928 s
3.19/3.22	c ===============================================================================
3.19/3.22	c |      5724 |    2013    63462   204624 |    21154     5724     94 |  0.593 % |
3.19/3.23	c ===============================================================================
3.19/3.23	c New solution: -122
3.19/3.23	o -122
3.19/3.23	c Elapsed CPU time: 3.08553 s	Remaining CPU time: 176.914 s
3.19/3.23	c ===============================================================================
3.19/3.23	c |      5724 |    2013    63463   204759 |    21154     5724     94 |  0.593 % |
3.19/3.26	c |      5825 |    2013    63463   204759 |    23269     5825     94 |  0.593 % |
3.19/3.29	c ===============================================================================
3.19/3.29	c New solution: -123
3.19/3.29	o -123
3.19/3.29	c Elapsed CPU time: 3.14052 s	Remaining CPU time: 176.859 s
3.19/3.29	c ===============================================================================
3.19/3.29	c |      5871 |    2013    63464   204894 |    21154     5871     93 |  0.593 % |
3.30/3.33	c |      5972 |    2013    63464   204894 |    23270     5972     93 |  0.593 % |
3.30/3.39	c |      6123 |    2013    63464   204894 |    25597     6123     93 |  0.593 % |
3.39/3.46	c |      6349 |    2013    63464   204894 |    28156     6349     93 |  0.593 % |
3.49/3.56	c |      6687 |    2013    63464   204894 |    30972     6687     93 |  0.593 % |
3.59/3.63	c ===============================================================================
3.59/3.63	c New solution: -124
3.59/3.63	o -124
3.59/3.63	c Elapsed CPU time: 3.48147 s	Remaining CPU time: 176.519 s
3.59/3.63	c ===============================================================================
3.59/3.63	c |      6874 |    2013    63465   205029 |    21155     6874     93 |  0.593 % |
3.59/3.65	c ===============================================================================
3.59/3.65	c New solution: -125
3.59/3.65	o -125
3.59/3.65	c Elapsed CPU time: 3.49747 s	Remaining CPU time: 176.503 s
3.59/3.65	c ===============================================================================
3.59/3.65	c |      6880 |    2013    63466   205164 |    21155     6880     93 |  0.593 % |
3.59/3.68	c |      6980 |    2013    63466   205164 |    23270     6980     93 |  0.593 % |
3.69/3.73	c |      7130 |    2013    63466   205164 |    25597     7130     93 |  0.593 % |
3.69/3.77	c ===============================================================================
3.69/3.77	c New solution: -126
3.69/3.77	o -126
3.69/3.77	c Elapsed CPU time: 3.61745 s	Remaining CPU time: 176.383 s
3.69/3.77	c ===============================================================================
3.69/3.77	c |      7235 |    2013    63467   205299 |    21155     7235     93 |  0.593 % |
3.79/3.80	c ===============================================================================
3.79/3.80	c New solution: -127
3.79/3.80	o -127
3.79/3.80	c Elapsed CPU time: 3.64245 s	Remaining CPU time: 176.358 s
3.79/3.80	c ===============================================================================
3.79/3.80	c |      7297 |    2013    63468   205434 |    21156     7297     93 |  0.593 % |
3.79/3.83	c |      7397 |    2013    63468   205434 |    23271     7397     93 |  0.593 % |
3.79/3.87	c |      7547 |    2013    63468   205434 |    25598     7547     93 |  0.593 % |
3.88/3.95	c ===============================================================================
3.88/3.95	c New solution: -128
3.88/3.95	o -128
3.88/3.95	c Elapsed CPU time: 3.78842 s	Remaining CPU time: 176.212 s
3.88/3.95	c ===============================================================================
3.88/3.95	c |      7738 |    2013    63469   205569 |    21156     7738     93 |  0.593 % |
3.88/3.97	c ===============================================================================
3.88/3.97	c New solution: -129
3.88/3.97	o -129
3.88/3.97	c Elapsed CPU time: 3.81342 s	Remaining CPU time: 176.187 s
3.88/3.97	c ===============================================================================
3.88/3.97	c |      7769 |    2013    63470   205704 |    21156     7769     93 |  0.593 % |
3.88/3.99	c ===============================================================================
3.88/3.99	c New solution: -130
3.88/3.99	o -130
3.88/3.99	c Elapsed CPU time: 3.82742 s	Remaining CPU time: 176.173 s
3.88/3.99	c ===============================================================================
3.88/3.99	c |      7769 |    2013    63471   205839 |    21157     7769     93 |  0.593 % |
3.99/4.03	c |      7869 |    2013    63471   205839 |    23272     7869     93 |  0.593 % |
3.99/4.08	c |      8021 |    2013    63471   205839 |    25599     8021     93 |  0.593 % |
4.09/4.17	c |      8248 |    2013    63471   205839 |    28159     8248     93 |  0.593 % |
4.30/4.32	c |      8585 |    2013    63471   205839 |    30975     8585     92 |  0.593 % |
4.49/4.51	c |      9091 |    2013    63471   205839 |    34073     9091     92 |  0.593 % |
4.79/4.80	c |      9851 |    2013    63471   205839 |    37480     9851     92 |  0.593 % |
5.19/5.27	c |     10991 |    2013    63471   205839 |    41229    10991     91 |  0.593 % |
5.89/5.97	c |     12700 |    2013    63471   205839 |    45351    12700     91 |  0.593 % |
7.09/7.18	c |     15262 |    2013    63471   205839 |    49887    15262     90 |  0.593 % |
9.09/9.11	c |     19106 |    2013    63471   205839 |    54875    19106     89 |  0.593 % |
9.19/9.25	c ===============================================================================
9.19/9.25	c New solution: -131
9.19/9.25	o -131
9.19/9.25	c Elapsed CPU time: 9.04862 s	Remaining CPU time: 170.951 s
9.19/9.25	c ===============================================================================
9.19/9.25	c |     19390 |    2013    63472   205974 |    21157    19390     89 |  0.593 % |
9.28/9.31	c |     19490 |    2013    63472   205974 |    23273    19490     89 |  0.593 % |
9.38/9.40	c |     19640 |    2013    63472   205974 |    25600    19640     89 |  0.593 % |
9.48/9.52	c |     19867 |    2013    63472   205974 |    28160    19867     89 |  0.593 % |
9.59/9.68	c |     20204 |    2013    63472   205974 |    30976    20204     89 |  0.593 % |
9.80/9.87	c ===============================================================================
9.80/9.87	c New solution: -132
9.80/9.87	o -132
9.80/9.87	c Elapsed CPU time: 9.66353 s	Remaining CPU time: 170.336 s
9.80/9.87	c ===============================================================================
9.80/9.87	c |     20670 |    2013    63473   206109 |    21157    20670     89 |  0.593 % |
9.90/9.91	c |     20770 |    2013    63473   206109 |    23273    20770     89 |  0.593 % |
9.90/9.97	c |     20921 |    2013    63473   206109 |    25600    20921     89 |  0.593 % |
10.09/10.11	c |     21148 |    2013    63473   206109 |    28160    21148     89 |  0.593 % |
10.29/10.34	c |     21485 |    2013    63473   206109 |    30976    21485     89 |  0.593 % |
10.59/10.65	c |     21992 |    2013    63473   206109 |    34074    21992     89 |  0.593 % |
11.08/11.11	c |     22751 |    2013    63473   206109 |    37482    22751     89 |  0.593 % |
11.78/11.81	c |     23890 |    2013    63473   206109 |    41230    23890     89 |  0.593 % |
12.99/13.07	c |     25599 |    2013    63473   206109 |    45353    25599     88 |  0.593 % |
15.19/15.27	c |     28161 |    2013    63473   206109 |    49888    28161     88 |  0.593 % |
18.78/18.86	c |     32005 |    2013    63473   206109 |    54877    32005     87 |  0.593 % |
23.99/24.02	c |     37773 |    2013    63473   206109 |    60365    37773     87 |  0.593 % |
33.68/33.72	c |     46423 |    2013    63473   206109 |    66401    46423     87 |  0.593 % |
36.77/36.84	c ===============================================================================
36.77/36.84	c New solution: -134
36.77/36.84	o -134
36.77/36.84	c Elapsed CPU time: 36.5124 s	Remaining CPU time: 143.488 s
36.77/36.84	c ===============================================================================
36.77/36.84	c |     49240 |    2013    63474   206244 |    21158    49240     87 |  0.593 % |
37.39/37.49	c |     49341 |    2013    63474   206244 |    23273    11856     85 |  0.593 % |
37.48/37.55	c |     49491 |    2013    63474   206244 |    25601    12006     85 |  0.593 % |
37.58/37.68	c |     49716 |    2013    63474   206244 |    28161    12231     85 |  0.593 % |
37.78/37.81	c |     50056 |    2013    63474   206244 |    30977    12571     85 |  0.593 % |
37.98/38.06	c |     50562 |    2013    63474   206244 |    34075    13077     85 |  0.593 % |
38.49/38.53	c |     51323 |    2013    63474   206244 |    37482    13838     85 |  0.593 % |
39.08/39.18	c |     52462 |    2013    63474   206244 |    41230    14977     85 |  0.593 % |
40.18/40.22	c |     54170 |    2013    63474   206244 |    45354    16685     85 |  0.593 % |
41.69/41.79	c |     56733 |    2013    63474   206244 |    49889    19248     85 |  0.593 % |
44.37/44.43	c |     60577 |    2013    63474   206244 |    54878    23092     85 |  0.593 % |
46.58/46.68	c ===============================================================================
46.58/46.68	c New solution: -135
46.58/46.68	o -135
46.58/46.68	c Elapsed CPU time: 46.292 s	Remaining CPU time: 133.708 s
46.58/46.68	c ===============================================================================
46.58/46.68	c |     63209 |    2013    63475   206379 |    21158    25724     85 |  0.593 % |
46.88/46.95	c |     63310 |    2013    63475   206379 |    23274    11235     83 |  0.593 % |
46.98/47.02	c |     63460 |    2013    63475   206379 |    25601    11385     83 |  0.593 % |
47.08/47.14	c |     63686 |    2013    63475   206379 |    28161    11611     83 |  0.593 % |
47.28/47.31	c |     64024 |    2013    63475   206379 |    30977    11949     83 |  0.593 % |
47.47/47.59	c |     64533 |    2013    63475   206379 |    34075    12458     83 |  0.593 % |
47.88/47.94	c |     65295 |    2013    63475   206379 |    37483    13220     83 |  0.593 % |
48.57/48.60	c |     66436 |    2013    63475   206379 |    41231    14361     83 |  0.593 % |
49.38/49.47	c |     68145 |    2013    63475   206379 |    45354    16070     83 |  0.593 % |
50.87/50.99	c |     70709 |    2013    63475   206379 |    49890    18634     84 |  0.593 % |
50.97/51.06	c ===============================================================================
50.97/51.06	c New solution: -136
50.97/51.06	o -136
50.97/51.06	c Elapsed CPU time: 50.6333 s	Remaining CPU time: 129.367 s
50.97/51.06	c ===============================================================================
50.97/51.06	c |     70818 |    2013    63476   206514 |    21158    18743     84 |  0.593 % |
50.97/51.07	c ===============================================================================
50.97/51.07	c New solution: -137
50.97/51.07	o -137
50.97/51.07	c Elapsed CPU time: 50.6493 s	Remaining CPU time: 129.351 s
50.97/51.07	c ===============================================================================
50.97/51.07	c |     70819 |    2013    63477   206649 |    21159    18744     84 |  0.593 % |
51.08/51.14	c |     70919 |    2013    63477   206649 |    23274    18844     84 |  0.593 % |
51.18/51.22	c |     71071 |    2013    63477   206649 |    25602    18996     84 |  0.593 % |
51.28/51.36	c |     71298 |    2013    63477   206649 |    28162    19223     84 |  0.593 % |
51.47/51.53	c |     71635 |    2013    63477   206649 |    30978    19560     84 |  0.593 % |
51.68/51.77	c |     72141 |    2013    63477   206649 |    34076    20066     84 |  0.593 % |
51.77/51.82	c ===============================================================================
51.77/51.82	c New solution: -138
51.77/51.82	o -138
51.77/51.82	c Elapsed CPU time: 51.3882 s	Remaining CPU time: 128.612 s
51.77/51.82	c ===============================================================================
51.77/51.82	c |     72209 |    2013    63478   206784 |    21159    20134     84 |  0.593 % |
51.77/51.87	c |     72311 |    2013    63478   206784 |    23275    20236     84 |  0.593 % |
51.87/51.95	c |     72461 |    2013    63478   206784 |    25602    20386     84 |  0.593 % |
51.97/52.08	c |     72687 |    2013    63478   206784 |    28163    20612     84 |  0.593 % |
52.18/52.27	c |     73024 |    2013    63478   206784 |    30979    20949     84 |  0.593 % |
52.47/52.58	c |     73530 |    2013    63478   206784 |    34077    21455     84 |  0.593 % |
52.97/53.07	c |     74290 |    2013    63478   206784 |    37485    22215     84 |  0.593 % |
53.78/53.82	c |     75432 |    2013    63478   206784 |    41233    23357     84 |  0.593 % |
54.67/54.76	c |     77142 |    2013    63478   206784 |    45356    25067     84 |  0.593 % |
55.87/55.96	c ===============================================================================
55.87/55.96	c New solution: -139
55.87/55.96	o -139
55.87/55.96	c Elapsed CPU time: 55.5006 s	Remaining CPU time: 124.499 s
55.87/55.96	c ===============================================================================
55.87/55.96	c |     79108 |    2013    63479   206919 |    21159    27033     84 |  0.593 % |
56.27/56.34	c |     79208 |    2013    63479   206919 |    23275    11291     83 |  0.593 % |
56.37/56.42	c |     79358 |    2013    63479   206919 |    25603    11441     83 |  0.593 % |
56.47/56.55	c |     79584 |    2013    63479   206919 |    28163    11667     83 |  0.593 % |
56.67/56.70	c |     79921 |    2013    63479   206919 |    30979    12004     83 |  0.593 % |
56.87/56.95	c |     80429 |    2013    63479   206919 |    34077    12512     83 |  0.593 % |
57.27/57.33	c |     81188 |    2013    63479   206919 |    37485    13271     83 |  0.593 % |
57.87/57.90	c |     82330 |    2013    63479   206919 |    41234    14413     83 |  0.593 % |
58.67/58.72	c |     84040 |    2013    63479   206919 |    45357    16123     83 |  0.593 % |
59.87/59.98	c |     86602 |    2013    63479   206919 |    49893    18685     83 |  0.593 % |
62.17/62.30	c |     90446 |    2013    63479   206919 |    54882    22529     83 |  0.593 % |
66.07/66.19	c |     96213 |    2013    63479   206919 |    60370    28296     83 |  0.593 % |
73.27/73.37	c |    104862 |    2013    63479   206919 |    66408    36945     84 |  0.593 % |
85.86/85.97	c |    117836 |    2013    63479   206919 |    73048    49919     84 |  0.593 % |
95.26/95.39	c ===============================================================================
95.26/95.39	c New solution: -141
95.26/95.39	o -141
95.26/95.39	c Elapsed CPU time: 94.7406 s	Remaining CPU time: 85.2594 s
95.26/95.39	c ===============================================================================
95.26/95.39	c |    126846 |    2013    63480   207054 |    21160    58929     84 |  0.593 % |
97.06/97.12	c |    126947 |    2013    63480   207054 |    23276    12017     82 |  0.593 % |
97.06/97.19	c |    127098 |    2013    63480   207054 |    25603    12168     82 |  0.593 % |
97.17/97.29	c |    127324 |    2013    63480   207054 |    28163    12394     83 |  0.593 % |
97.36/97.43	c |    127662 |    2013    63480   207054 |    30980    12732     83 |  0.593 % |
97.56/97.66	c |    128169 |    2013    63480   207054 |    34078    13239     83 |  0.593 % |
97.96/98.02	c |    128928 |    2013    63480   207054 |    37486    13998     83 |  0.593 % |
98.57/98.60	c |    130068 |    2013    63480   207054 |    41234    15138     83 |  0.593 % |
99.36/99.41	c |    131778 |    2013    63480   207054 |    45358    16848     83 |  0.593 % |
100.26/100.34	c ===============================================================================
100.26/100.34	c New solution: -142
100.26/100.34	o -142
100.26/100.34	c Elapsed CPU time: 99.6578 s	Remaining CPU time: 80.3422 s
100.26/100.34	c ===============================================================================
100.26/100.34	c |    133520 |    2013    63481   207189 |    21160    18590     83 |  0.593 % |
100.36/100.40	c |    133621 |    2013    63481   207189 |    23276    18691     83 |  0.593 % |
100.46/100.50	c |    133771 |    2013    63481   207189 |    25604    18841     83 |  0.593 % |
100.56/100.66	c |    133996 |    2013    63481   207189 |    28164    19066     83 |  0.593 % |
100.86/100.90	c |    134333 |    2013    63481   207189 |    30980    19403     83 |  0.593 % |
101.17/101.28	c |    134840 |    2013    63481   207189 |    34078    19910     83 |  0.593 % |
101.57/101.68	c |    135599 |    2013    63481   207189 |    37486    20669     83 |  0.593 % |
102.36/102.40	c |    136738 |    2013    63481   207189 |    41235    21808     83 |  0.593 % |
103.27/103.38	c |    138446 |    2013    63481   207189 |    45359    23516     83 |  0.593 % |
104.67/104.73	c |    141008 |    2013    63481   207189 |    49894    26078     83 |  0.593 % |
107.46/107.54	c |    144852 |    2013    63481   207189 |    54884    29922     83 |  0.593 % |
109.97/110.01	c ===============================================================================
109.97/110.01	c New solution: -143
109.97/110.01	o -143
109.97/110.01	c Elapsed CPU time: 109.282 s	Remaining CPU time: 70.7176 s
109.97/110.01	c ===============================================================================
109.97/110.01	c |    147627 |    2013    63482   207324 |    21160    32697     83 |  0.593 % |
110.16/110.22	c |    147729 |    2013    63482   207324 |    23276    11423     81 |  0.593 % |
110.16/110.29	c |    147881 |    2013    63482   207324 |    25604    11575     81 |  0.593 % |
110.26/110.40	c |    148111 |    2013    63482   207324 |    28164    11805     81 |  0.593 % |
110.46/110.55	c |    148449 |    2013    63482   207324 |    30981    12143     81 |  0.593 % |
110.66/110.79	c |    148955 |    2013    63482   207324 |    34079    12649     82 |  0.593 % |
110.76/110.88	c ===============================================================================
110.76/110.88	c New solution: -144
110.76/110.88	o -144
110.76/110.88	c Elapsed CPU time: 110.146 s	Remaining CPU time: 69.8537 s
110.76/110.88	c ===============================================================================
110.76/110.88	c |    149143 |    2013    63483   207459 |    21161    12837     82 |  0.593 % |
110.76/110.89	c ===============================================================================
110.76/110.89	c New solution: -145
110.76/110.89	o -145
110.76/110.89	c Elapsed CPU time: 110.161 s	Remaining CPU time: 69.8387 s
110.76/110.89	c ===============================================================================
110.76/110.89	c |    149144 |    2013    63484   207594 |    21161    12838     82 |  0.593 % |
110.86/110.93	c |    149245 |    2013    63484   207594 |    23277    12939     82 |  0.593 % |
110.97/111.01	c |    149395 |    2013    63484   207594 |    25605    13089     82 |  0.593 % |
111.07/111.12	c |    149621 |    2013    63484   207594 |    28165    13315     82 |  0.593 % |
111.26/111.30	c |    149958 |    2013    63484   207594 |    30982    13652     82 |  0.593 % |
111.46/111.53	c |    150464 |    2013    63484   207594 |    34080    14158     81 |  0.593 % |
111.76/111.88	c |    151224 |    2013    63484   207594 |    37488    14918     81 |  0.593 % |
112.36/112.46	c |    152363 |    2013    63484   207594 |    41237    16057     81 |  0.593 % |
113.26/113.38	c |    154073 |    2013    63484   207594 |    45361    17767     81 |  0.593 % |
115.16/115.21	c |    156636 |    2013    63484   207594 |    49897    20330     81 |  0.593 % |
115.47/115.57	c ===============================================================================
115.47/115.57	c New solution: -146
115.47/115.57	o -146
115.47/115.57	c Elapsed CPU time: 114.81 s	Remaining CPU time: 65.1905 s
115.47/115.57	c ===============================================================================
115.47/115.57	c |    157255 |    2013    63485   207729 |    21161    20949     81 |  0.593 % |
115.56/115.63	c |    157355 |    2013    63485   207729 |    23277    21049     81 |  0.593 % |
115.66/115.71	c ===============================================================================
115.66/115.71	c New solution: -147
115.66/115.71	o -147
115.66/115.71	c Elapsed CPU time: 114.953 s	Remaining CPU time: 65.0475 s
115.66/115.71	c ===============================================================================
115.66/115.71	c |    157470 |    2013    63486   207864 |    21162    21164     81 |  0.593 % |
115.66/115.74	c ===============================================================================
115.66/115.74	c New solution: -148
115.66/115.74	o -148
115.66/115.74	c Elapsed CPU time: 114.973 s	Remaining CPU time: 65.0275 s
115.66/115.74	c ===============================================================================
115.66/115.74	c |    157477 |    2013    63487   207999 |    21162    21171     81 |  0.593 % |
115.66/115.75	c ===============================================================================
115.66/115.75	c New solution: -149
115.66/115.75	o -149
115.66/115.75	c Elapsed CPU time: 114.987 s	Remaining CPU time: 65.0135 s
115.66/115.75	c ===============================================================================
115.66/115.75	c |    157477 |    2013    63488   208134 |    21162    21171     81 |  0.593 % |
115.66/115.77	c ===============================================================================
115.66/115.77	c New solution: -150
115.66/115.77	o -150
115.66/115.77	c Elapsed CPU time: 115 s	Remaining CPU time: 65.0005 s
115.66/115.77	c ===============================================================================
115.66/115.77	c |    157477 |    2013    63489   208269 |    21163    21171     81 |  0.593 % |
115.85/115.94	c |    157580 |    2013    63489   208269 |    23279    10646     80 |  0.593 % |
115.95/116.02	c |    157730 |    2013    63489   208269 |    25607    10796     80 |  0.593 % |
116.06/116.13	c |    157955 |    2013    63489   208269 |    28167    11021     80 |  0.593 % |
116.26/116.32	c |    158298 |    2013    63489   208269 |    30984    11364     80 |  0.593 % |
116.47/116.58	c |    158805 |    2013    63489   208269 |    34083    11871     80 |  0.593 % |
116.86/116.92	c |    159564 |    2013    63489   208269 |    37491    12630     80 |  0.593 % |
117.26/117.39	c ===============================================================================
117.26/117.39	c New solution: -151
117.26/117.39	o -151
117.26/117.39	c Elapsed CPU time: 116.616 s	Remaining CPU time: 63.3837 s
117.26/117.39	c ===============================================================================
117.26/117.39	c |    160376 |    2013    63490   208404 |    21163    13442     79 |  0.593 % |
117.36/117.42	c ===============================================================================
117.36/117.42	c New solution: -152
117.36/117.42	o -152
117.36/117.42	c Elapsed CPU time: 116.641 s	Remaining CPU time: 63.3587 s
117.36/117.42	c ===============================================================================
117.36/117.42	c |    160387 |    2013    63491   208539 |    21163    13453     79 |  0.593 % |
117.36/117.47	c |    160488 |    2013    63491   208539 |    23280    13554     79 |  0.593 % |
117.46/117.53	c |    160638 |    2013    63491   208539 |    25608    13704     79 |  0.593 % |
117.56/117.68	c |    160866 |    2013    63491   208539 |    28168    13932     79 |  0.593 % |
117.76/117.88	c |    161204 |    2013    63491   208539 |    30985    14270     79 |  0.593 % |
118.16/118.26	c |    161712 |    2013    63491   208539 |    34084    14778     79 |  0.593 % |
118.67/118.77	c |    162472 |    2013    63491   208539 |    37492    15538     79 |  0.593 % |
119.45/119.50	c |    163613 |    2013    63491   208539 |    41241    16679     79 |  0.593 % |
120.56/120.67	c |    165323 |    2013    63491   208539 |    45366    18389     79 |  0.593 % |
122.55/122.66	c |    167889 |    2013    63491   208539 |    49902    20955     79 |  0.593 % |
124.86/124.91	c |    171733 |    2013    63491   208539 |    54893    24799     79 |  0.593 % |
129.76/129.85	c |    177499 |    2013    63491   208539 |    60382    30565     78 |  0.593 % |
135.86/135.99	c |    186148 |    2013    63491   208539 |    66420    39214     78 |  0.593 % |
149.15/149.27	c |    199122 |    2013    63491   208539 |    73062    52188     78 |  0.593 % |
157.35/157.45	c ===============================================================================
157.35/157.45	c New solution: -153
157.35/157.45	o -153
157.35/157.45	c Elapsed CPU time: 156.481 s	Remaining CPU time: 23.5188 s
157.35/157.45	c ===============================================================================
157.35/157.45	c |    208190 |    2013    63492   208674 |    21164    61256     78 |  0.593 % |
159.24/159.31	c |    208292 |    2013    63492   208674 |    23280    12004     77 |  0.593 % |
159.35/159.41	c |    208442 |    2013    63492   208674 |    25608    12154     77 |  0.593 % |
159.46/159.54	c |    208667 |    2013    63492   208674 |    28169    12379     77 |  0.593 % |
159.75/159.80	c |    209005 |    2013    63492   208674 |    30986    12717     77 |  0.593 % |
160.05/160.16	c |    209512 |    2013    63492   208674 |    34084    13224     77 |  0.593 % |
160.56/160.63	c |    210273 |    2013    63492   208674 |    37493    13985     77 |  0.593 % |
161.05/161.18	c |    211412 |    2013    63492   208674 |    41242    15124     77 |  0.593 % |
162.05/162.14	c |    213122 |    2013    63492   208674 |    45366    16834     77 |  0.593 % |
163.35/163.45	c |    215684 |    2013    63492   208674 |    49903    19396     77 |  0.593 % |
165.55/165.68	c |    219528 |    2013    63492   208674 |    54893    23240     77 |  0.593 % |
170.64/170.73	c |    225299 |    2013    63492   208674 |    60383    29011     77 |  0.593 % |
178.84/178.91	c |    233948 |    2013    63492   208674 |    66421    37660     77 |  0.593 % |
180.94/181.08	c There are 12 assigned variables. 12 in cost function.
187.04/187.10	c core #1
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 8	Core Weight: 2	Total Weight: -329
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #2
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 9	Core Weight: 2	Total Weight: -327
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #3
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 10	Core Weight: 2	Total Weight: -325
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #4
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 16	Core Weight: 1	Total Weight: -324
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #5
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 17	Core Weight: 1	Total Weight: -323
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #6
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 9	Core Weight: 2	Total Weight: -321
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #7
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 14	Core Weight: 1	Total Weight: -320
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #8
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 14	Core Weight: 2	Total Weight: -318
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #9
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 22	Core Weight: 1	Total Weight: -317
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #10
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 23	Core Weight: 1	Total Weight: -316
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #11
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 26	Core Weight: 1	Total Weight: -315
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #12
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 26	Core Weight: 1	Total Weight: -314
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #13
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 27	Core Weight: 1	Total Weight: -313
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #14
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 27	Core Weight: 1	Total Weight: -312
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #15
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 27	Core Weight: 2	Total Weight: -310
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #16
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 27	Core Weight: 1	Total Weight: -309
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #17
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 12	Core Weight: 2	Total Weight: -307
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #18
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 11	Core Weight: 1	Total Weight: -306
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #19
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 10	Core Weight: 1	Total Weight: -305
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #20
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 26	Core Weight: 1	Total Weight: -304
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #21
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 9	Core Weight: 2	Total Weight: -302
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #22
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 9	Core Weight: 1	Total Weight: -301
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #23
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 10	Core Weight: 1	Total Weight: -300
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #24
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 11	Core Weight: 1	Total Weight: -299
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #25
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 11	Core Weight: 1	Total Weight: -298
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #26
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 11	Core Weight: 1	Total Weight: -297
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #27
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 11	Core Weight: 1	Total Weight: -296
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #28
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 8	Core Weight: 1	Total Weight: -295
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #29
187.04/187.10	c 
187.04/187.10	c 
187.04/187.10	c Core size: 9	Core Weight: 3	Total Weight: -292
187.04/187.10	c
187.04/187.10	c
187.04/187.10	c core #30
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 9	Core Weight: 2	Total Weight: -290
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #31
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 9	Core Weight: 1	Total Weight: -289
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #32
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 9	Core Weight: 1	Total Weight: -288
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #33
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 24	Core Weight: 1	Total Weight: -287
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #34
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 23	Core Weight: 1	Total Weight: -286
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #35
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 12	Core Weight: 1	Total Weight: -285
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #36
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 9	Core Weight: 1	Total Weight: -284
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #37
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 13	Core Weight: 1	Total Weight: -283
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #38
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 10	Core Weight: 1	Total Weight: -282
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #39
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 11	Core Weight: 1	Total Weight: -281
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #40
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 14	Core Weight: 1	Total Weight: -280
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #41
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 19	Core Weight: 1	Total Weight: -279
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #42
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 19	Core Weight: 1	Total Weight: -278
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #43
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 20	Core Weight: 1	Total Weight: -277
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #44
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 21	Core Weight: 1	Total Weight: -276
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #45
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 9	Core Weight: 2	Total Weight: -274
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #46
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 11	Core Weight: 2	Total Weight: -272
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #47
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 20	Core Weight: 2	Total Weight: -270
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #48
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 14	Core Weight: 1	Total Weight: -269
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #49
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 15	Core Weight: 1	Total Weight: -268
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #50
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 14	Core Weight: 1	Total Weight: -267
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #51
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 14	Core Weight: 1	Total Weight: -266
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #52
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 19	Core Weight: 1	Total Weight: -265
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #53
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 10	Core Weight: 1	Total Weight: -264
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c core #54
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 10	Core Weight: 1	Total Weight: -263
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c ============================[ Search Statistics ]==============================
187.04/187.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.04/187.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.04/187.11	c ===============================================================================
187.04/187.11	c |         0 |    2270    63939   201297 |    21313        0    nan |  0.000 % |
187.04/187.11	c ===============================================================================
187.14/187.23	c core #55
187.14/187.23	c 
187.14/187.23	c 
187.14/187.23	c Core size: 12	Core Weight: 1	Total Weight: -262
187.14/187.23	c
187.14/187.23	c
187.14/187.23	c ============================[ Search Statistics ]==============================
187.14/187.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.14/187.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.14/187.23	c ===============================================================================
187.14/187.23	c |         0 |    2276    63944   201314 |    21314        0    nan |  0.000 % |
187.14/187.24	c ===============================================================================
187.24/187.36	c core #56
187.24/187.36	c 
187.24/187.36	c 
187.24/187.36	c Core size: 12	Core Weight: 1	Total Weight: -261
187.24/187.36	c
187.24/187.36	c
187.24/187.36	c ============================[ Search Statistics ]==============================
187.24/187.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.24/187.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.24/187.36	c ===============================================================================
187.24/187.36	c |         0 |    2282    63946   201325 |    21315        0    nan |  0.000 % |
187.24/187.38	c ===============================================================================
187.34/187.49	c core #57
187.34/187.49	c 
187.34/187.49	c 
187.34/187.49	c Core size: 18	Core Weight: 1	Total Weight: -260
187.34/187.49	c
187.34/187.49	c
187.34/187.49	c ============================[ Search Statistics ]==============================
187.34/187.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.34/187.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.34/187.49	c ===============================================================================
187.34/187.49	c |         0 |    2296    63949   202096 |    21316        0    nan |  0.000 % |
187.44/187.50	c ===============================================================================
187.54/187.62	c core #58
187.54/187.62	c 
187.54/187.62	c 
187.54/187.62	c Core size: 24	Core Weight: 1	Total Weight: -259
187.54/187.62	c
187.54/187.62	c
187.54/187.62	c ============================[ Search Statistics ]==============================
187.54/187.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.54/187.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.54/187.63	c ===============================================================================
187.54/187.63	c |         0 |    2312    63953   202633 |    21317        0    nan |  0.000 % |
187.54/187.64	c ===============================================================================
187.64/187.76	c core #59
187.64/187.76	c 
187.64/187.76	c 
187.64/187.76	c Core size: 18	Core Weight: 1	Total Weight: -258
187.64/187.76	c
187.64/187.76	c
187.64/187.76	c ============================[ Search Statistics ]==============================
187.64/187.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.64/187.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.64/187.76	c ===============================================================================
187.64/187.76	c |         0 |    2325    63954   203624 |    21318        0    nan |  0.000 % |
187.64/187.77	c ===============================================================================
187.74/187.89	c core #60
187.74/187.89	c 
187.74/187.89	c 
187.74/187.89	c Core size: 18	Core Weight: 1	Total Weight: -257
187.74/187.89	c
187.74/187.89	c
187.74/187.89	c ============================[ Search Statistics ]==============================
187.74/187.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.74/187.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.74/187.89	c ===============================================================================
187.74/187.89	c |         0 |    2333    63955   203643 |    21318        0    nan |  0.000 % |
187.84/187.91	c ===============================================================================
187.94/188.03	c core #61
187.94/188.03	c 
187.94/188.03	c 
187.94/188.03	c Core size: 19	Core Weight: 1	Total Weight: -256
187.94/188.03	c
187.94/188.03	c
187.94/188.03	c ============================[ Search Statistics ]==============================
187.94/188.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.94/188.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.94/188.03	c ===============================================================================
187.94/188.03	c |         0 |    2345    63961   204178 |    21320        0    nan |  0.000 % |
187.94/188.04	c ===============================================================================
188.05/188.17	c core #62
188.05/188.17	c 
188.05/188.17	c 
188.05/188.17	c Core size: 12	Core Weight: 1	Total Weight: -255
188.05/188.17	c
188.05/188.17	c
188.05/188.17	c ============================[ Search Statistics ]==============================
188.05/188.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.05/188.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.05/188.17	c ===============================================================================
188.05/188.17	c |         0 |    2352    63964   204193 |    21321        0    nan |  0.000 % |
188.05/188.19	c ===============================================================================
188.24/188.30	c core #63
188.24/188.30	c 
188.24/188.30	c 
188.24/188.30	c Core size: 9	Core Weight: 1	Total Weight: -254
188.24/188.30	c
188.24/188.30	c
188.24/188.30	c ============================[ Search Statistics ]==============================
188.24/188.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.24/188.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.24/188.30	c ===============================================================================
188.24/188.30	c |         0 |    2360    63965   205168 |    21321        0    nan |  0.000 % |
188.24/188.32	c ===============================================================================
188.34/188.44	c core #64
188.34/188.44	c 
188.34/188.44	c 
188.34/188.44	c Core size: 13	Core Weight: 1	Total Weight: -253
188.34/188.44	c
188.34/188.44	c
188.34/188.44	c ============================[ Search Statistics ]==============================
188.34/188.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.34/188.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.34/188.44	c ===============================================================================
188.34/188.44	c |         0 |    2366    63966   205180 |    21322        0    nan |  0.000 % |
188.34/188.46	c ===============================================================================
188.44/188.58	c core #65
188.44/188.58	c 
188.44/188.58	c 
188.44/188.58	c Core size: 19	Core Weight: 1	Total Weight: -252
188.44/188.58	c
188.44/188.58	c
188.44/188.58	c ============================[ Search Statistics ]==============================
188.44/188.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.44/188.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.44/188.58	c ===============================================================================
188.44/188.58	c |         0 |    2376    63967   205200 |    21322        0    nan |  0.000 % |
188.54/188.60	c ===============================================================================
188.64/188.72	c core #66
188.64/188.72	c 
188.64/188.72	c 
188.64/188.72	c Core size: 25	Core Weight: 1	Total Weight: -251
188.64/188.72	c
188.64/188.72	c
188.64/188.72	c ============================[ Search Statistics ]==============================
188.64/188.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.64/188.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.64/188.73	c ===============================================================================
188.64/188.73	c |         0 |    2394    63973   205240 |    21324        0    nan |  0.000 % |
188.64/188.75	c ===============================================================================
188.74/188.87	c core #67
188.74/188.87	c 
188.74/188.87	c 
188.74/188.87	c Core size: 16	Core Weight: 1	Total Weight: -250
188.74/188.87	c
188.74/188.87	c
188.74/188.87	c ============================[ Search Statistics ]==============================
188.74/188.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.74/188.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.74/188.87	c ===============================================================================
188.74/188.87	c |         0 |    2403    63980   205267 |    21326        0    nan |  0.000 % |
188.74/188.89	c ===============================================================================
188.94/189.01	c core #68
188.94/189.01	c 
188.94/189.01	c 
188.94/189.01	c Core size: 32	Core Weight: 1	Total Weight: -249
188.94/189.01	c
188.94/189.01	c
188.94/189.01	c ============================[ Search Statistics ]==============================
188.94/189.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.94/189.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.94/189.01	c ===============================================================================
188.94/189.01	c |         0 |    2431    63982   206798 |    21327        0    nan |  0.000 % |
188.94/189.04	c ===============================================================================
189.04/189.15	c core #69
189.04/189.15	c 
189.04/189.15	c 
189.04/189.15	c Core size: 19	Core Weight: 1	Total Weight: -248
189.04/189.15	c
189.04/189.15	c
189.04/189.15	c ============================[ Search Statistics ]==============================
189.04/189.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.04/189.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.04/189.15	c ===============================================================================
189.04/189.15	c |         0 |    2440    63983   206816 |    21327        0    nan |  0.000 % |
189.04/189.18	c ===============================================================================
189.23/189.30	c core #70
189.23/189.30	c 
189.23/189.30	c 
189.23/189.30	c Core size: 11	Core Weight: 1	Total Weight: -247
189.23/189.30	c
189.23/189.30	c
189.23/189.30	c ============================[ Search Statistics ]==============================
189.23/189.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.23/189.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.23/189.30	c ===============================================================================
189.23/189.30	c |         0 |    2447    63986   206834 |    21328        0    nan |  0.000 % |
189.23/189.33	c ===============================================================================
189.33/189.45	c core #71
189.33/189.45	c 
189.33/189.45	c 
189.33/189.45	c Core size: 24	Core Weight: 1	Total Weight: -246
189.33/189.45	c
189.33/189.45	c
189.33/189.45	c ============================[ Search Statistics ]==============================
189.33/189.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.33/189.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.33/189.45	c ===============================================================================
189.33/189.45	c |         0 |    2465    63990   206876 |    21330        0    nan |  0.000 % |
189.33/189.49	c ===============================================================================
189.53/189.61	c core #72
189.53/189.61	c 
189.53/189.61	c 
189.53/189.61	c Core size: 62	Core Weight: 1	Total Weight: -245
189.53/189.61	c
189.53/189.61	c
189.53/189.61	c ============================[ Search Statistics ]==============================
189.53/189.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.53/189.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.53/189.61	c ===============================================================================
189.53/189.61	c |         0 |    2513    63998   206985 |    21332        0    nan |  0.000 % |
189.53/189.64	c ===============================================================================
189.63/189.76	c core #73
189.63/189.76	c 
189.63/189.76	c 
189.63/189.76	c Core size: 40	Core Weight: 1	Total Weight: -244
189.63/189.76	c
189.63/189.76	c
189.63/189.76	c ============================[ Search Statistics ]==============================
189.63/189.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.63/189.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.63/189.76	c ===============================================================================
189.63/189.76	c |         0 |    2536    63999   208012 |    21333        0    nan |  0.000 % |
189.73/189.80	c ===============================================================================
189.83/189.92	c core #74
189.83/189.92	c 
189.83/189.92	c 
189.83/189.92	c Core size: 57	Core Weight: 1	Total Weight: -243
189.83/189.92	c
189.83/189.92	c
189.83/189.92	c ============================[ Search Statistics ]==============================
189.83/189.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.83/189.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.83/189.92	c ===============================================================================
189.83/189.92	c |         0 |    2580    64008   208118 |    21336        0    nan |  0.000 % |
189.83/189.95	c ===============================================================================
189.94/190.07	c core #75
189.94/190.07	c 
189.94/190.07	c 
189.94/190.07	c Core size: 22	Core Weight: 1	Total Weight: -242
189.94/190.07	c
189.94/190.07	c
189.94/190.07	c ============================[ Search Statistics ]==============================
189.94/190.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.94/190.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.94/190.07	c ===============================================================================
189.94/190.07	c |         0 |    2592    64011   208146 |    21337        0    nan |  0.000 % |
190.04/190.12	c ===============================================================================
190.15/190.24	c core #76
190.15/190.24	c 
190.15/190.24	c 
190.15/190.24	c Core size: 83	Core Weight: 1	Total Weight: -241
190.15/190.24	c
190.15/190.24	c
190.15/190.24	c ============================[ Search Statistics ]==============================
190.15/190.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.15/190.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.15/190.24	c ===============================================================================
190.15/190.24	c |         0 |    2660    64012   208282 |    21337        0    nan |  0.000 % |
190.25/190.31	c |       100 |    2651    64012   208282 |    23471      100      8 |  3.180 % |
190.25/190.31	c ===============================================================================
190.34/190.42	c core #77
190.34/190.42	c 
190.34/190.42	c 
190.34/190.42	c Core size: 124	Core Weight: 1	Total Weight: -240
190.34/190.42	c
190.34/190.42	c
190.34/190.42	c ============================[ Search Statistics ]==============================
190.34/190.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.34/190.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.34/190.42	c ===============================================================================
190.34/190.42	c |         0 |    2763    64015   208494 |    21338        0    nan |  0.000 % |
190.34/190.49	c |       100 |    2763    64015   208494 |    23472      100     12 |  0.468 % |
190.44/190.54	c |       250 |    2763    64015   208494 |    25819      250     12 |  0.468 % |
190.44/190.59	c ===============================================================================
190.64/190.71	c core #78
190.64/190.71	c 
190.64/190.71	c 
190.64/190.71	c Core size: 142	Core Weight: 1	Total Weight: -239
190.64/190.71	c
190.64/190.71	c
190.64/190.71	c ============================[ Search Statistics ]==============================
190.64/190.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.64/190.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.64/190.71	c ===============================================================================
190.64/190.71	c |         0 |    2890    64022   208763 |    21340        0    nan |  0.000 % |
190.64/190.73	c ===============================================================================
190.74/190.86	c core #79
190.74/190.86	c 
190.74/190.86	c 
190.74/190.86	c Core size: 31	Core Weight: 1	Total Weight: -238
190.74/190.86	c
190.74/190.86	c
190.74/190.86	c ============================[ Search Statistics ]==============================
190.74/190.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.74/190.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.74/190.86	c ===============================================================================
190.74/190.86	c |         0 |    2916    64026   208822 |    21342        0    nan |  0.000 % |
190.84/190.93	c |       101 |    2916    64026   208822 |    23476      101     25 |  0.444 % |
190.94/191.02	c |       251 |    2916    64026   208822 |    25823      251     22 |  0.546 % |
191.04/191.15	c |       476 |    2914    64026   208822 |    28406      476     17 |  0.580 % |
191.24/191.31	c |       815 |    2912    64026   208822 |    31246      815     15 |  0.615 % |
191.34/191.48	c ===============================================================================
191.54/191.61	c core #80
191.54/191.61	c 
191.54/191.61	c 
191.54/191.61	c Core size: 189	Core Weight: 1	Total Weight: -237
191.54/191.61	c
191.54/191.61	c
191.54/191.61	c ============================[ Search Statistics ]==============================
191.54/191.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.54/191.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.54/191.61	c ===============================================================================
191.54/191.61	c |         0 |    3087    64046   209212 |    21348        0    nan |  0.000 % |
191.54/191.66	c |       104 |    3087    64046   209212 |    23483      104     57 |  0.419 % |
191.63/191.71	c |       260 |    3087    64046   209212 |    25831      260     47 |  0.419 % |
191.63/191.77	c |       486 |    3087    64046   209212 |    28415      486     41 |  0.419 % |
191.74/191.86	c |       823 |    3087    64046   209212 |    31256      823     32 |  0.419 % |
191.84/191.99	c |      1330 |    3087    64046   209212 |    34382     1330     31 |  0.419 % |
192.04/192.19	c |      2090 |    3087    64046   209212 |    37820     2090     29 |  0.419 % |
192.44/192.59	c |      3230 |    3087    64046   209212 |    41602     3230     28 |  0.419 % |
193.14/193.24	c |      4939 |    3087    64046   209212 |    45762     4939     26 |  0.419 % |
194.14/194.27	c |      7501 |    3083    64046   209212 |    50339     6765     25 |  0.581 % |
196.24/196.37	c |     11348 |    3082    64046   209212 |    55372    10612     26 |  0.581 % |
196.85/196.99	c ===============================================================================
197.14/197.27	c core #81
197.14/197.27	c 
197.14/197.27	c 
197.14/197.27	c Core size: 293	Core Weight: 1	Total Weight: -236
197.14/197.27	c
197.14/197.27	c
197.14/197.27	c ============================[ Search Statistics ]==============================
197.14/197.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.14/197.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.14/197.27	c ===============================================================================
197.14/197.27	c |         0 |    3364    64086   209872 |    21362        0    nan |  0.000 % |
197.24/197.32	c |       101 |    3364    64086   209872 |    23498      101     41 |  0.385 % |
197.24/197.37	c |       254 |    3364    64086   209872 |    25848      254     40 |  0.385 % |
197.34/197.45	c |       480 |    3364    64086   209872 |    28432      480     37 |  0.385 % |
197.44/197.53	c |       817 |    3364    64086   209872 |    31276      817     32 |  0.385 % |
197.53/197.61	c |      1323 |    3364    64086   209872 |    34403     1323     27 |  0.385 % |
197.73/197.80	c |      2083 |    3364    64086   209872 |    37844     2083     28 |  0.385 % |
197.95/198.07	c |      3225 |    3364    64086   209872 |    41628     3225     29 |  0.385 % |
198.63/198.73	c |      4933 |    3364    64086   209872 |    45791     4933     31 |  0.385 % |
199.64/199.78	c |      7496 |    3364    64086   209872 |    50370     7496     34 |  0.385 % |
201.54/201.66	c |     11343 |    3360    64086   209872 |    55407     2490     27 |  0.503 % |
203.74/203.85	c |     17109 |    3360    64086   209872 |    60948     8256     37 |  0.503 % |
208.44/208.50	c |     25758 |    3360    64086   209872 |    67043    16905     41 |  0.503 % |
215.44/215.57	c ===============================================================================
216.24/216.37	c core #82
216.24/216.37	c 
216.24/216.37	c 
216.24/216.37	c Core size: 244	Core Weight: 1	Total Weight: -235
216.24/216.37	c
216.24/216.37	c
216.24/216.37	c ============================[ Search Statistics ]==============================
216.24/216.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.24/216.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.24/216.37	c ===============================================================================
216.24/216.37	c |         0 |    3589    64094   210339 |    21364        0    nan |  0.000 % |
216.34/216.45	c |       101 |    3589    64094   210339 |    23501      101     42 |  0.361 % |
216.34/216.48	c |       251 |    3589    64094   210339 |    25851      251     36 |  0.361 % |
216.44/216.53	c |       477 |    3589    64094   210339 |    28436      477     41 |  0.361 % |
216.54/216.62	c |       815 |    3589    64094   210339 |    31280      815     52 |  0.361 % |
216.64/216.79	c |      1322 |    3589    64094   210339 |    34408     1322     51 |  0.361 % |
216.83/216.95	c |      2083 |    3589    64094   210339 |    37848     2083     47 |  0.361 % |
217.04/217.15	c |      3224 |    3589    64094   210339 |    41633     3224     45 |  0.361 % |
217.53/217.63	c |      4933 |    3589    64094   210339 |    45797     4933     49 |  0.361 % |
218.13/218.29	c |      7495 |    3589    64094   210339 |    50376     7495     48 |  0.361 % |
219.63/219.72	c |     11343 |    3589    64094   210339 |    55414    11343     49 |  0.361 % |
222.33/222.44	c |     17109 |    3589    64094   210339 |    60955    17109     51 |  0.361 % |
227.43/227.54	c |     25758 |    3589    64094   210339 |    67051    25758     53 |  0.361 % |
237.43/237.59	c |     38732 |    3589    64094   210339 |    73756    38732     56 |  0.361 % |
260.92/261.07	c |     58194 |    3589    64094   210339 |    81132    58194     58 |  0.361 % |
309.31/309.49	c |     87390 |    3589    64094   210339 |    89245    21995     61 |  0.361 % |
354.70/354.83	c |    131182 |    3589    64094   210339 |    98170    65787     64 |  0.361 % |
458.88/459.05	c |    196866 |    3589    64094   210339 |   107987    48381     73 |  0.361 % |
622.13/622.33	c |    295394 |    3589    64094   210339 |   118785    53473     78 |  0.361 % |
855.78/856.09	c |    443183 |    3589    64094   210339 |   130664    96931     84 |  0.361 % |
1287.38/1287.77	c |    664866 |    3589    64094   210339 |   143730    87177    114 |  0.361 % |

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-2680387-1277460426/watcher-2680387-1277460426 -o /tmp/evaluation-result-2680387-1277460426/solver-2680387-1277460426 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680387-1277460426.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.93 1.01 0.99 3/106 25972
/proc/meminfo: memFree=1851728/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=4920 CPUtime=0
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 362 0 0 0 0 0 0 0 18 0 1 0 87333440 5038080 281 1992294400 134512640 135752675 4289739248 18446744073709551615 134609676 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 1230 281 138 303 0 409 0

[startup+0.0959809 s]
/proc/loadavg: 0.93 1.01 0.99 3/106 25972
/proc/meminfo: memFree=1851728/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=5996 CPUtime=0.09
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 730 0 0 0 9 0 0 0 20 0 1 0 87333440 6139904 649 1992294400 134512640 135752675 4289739248 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 1499 650 276 303 0 678 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5996

[startup+0.10098 s]
/proc/loadavg: 0.93 1.01 0.99 3/106 25972
/proc/meminfo: memFree=1851728/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=5996 CPUtime=0.09
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 739 0 0 0 9 0 0 0 20 0 1 0 87333440 6139904 658 1992294400 134512640 135752675 4289739248 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 1499 658 283 303 0 678 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5996

[startup+0.300998 s]
/proc/loadavg: 0.93 1.01 0.99 3/106 25972
/proc/meminfo: memFree=1851728/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=7956 CPUtime=0.29
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 1563 0 0 0 29 0 0 0 20 0 1 0 87333440 8146944 1482 1992294400 134512640 135752675 4289739248 18446744073709551615 134612615 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 1989 1482 595 303 0 1168 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7956

[startup+0.701032 s]
/proc/loadavg: 0.93 1.01 0.99 3/106 25972
/proc/meminfo: memFree=1851728/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=7332 CPUtime=0.69
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 1997 0 0 0 65 4 0 0 21 0 1 0 87333440 7507968 1367 1992294400 134512640 135752675 4289739248 18446744073709551615 134599067 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 1833 1367 144 303 0 1528 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7332

[startup+1.5011 s]
/proc/loadavg: 0.93 1.01 0.99 2/107 25973
/proc/meminfo: memFree=1846636/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=7464 CPUtime=1.49
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 2032 0 0 0 138 11 0 0 23 0 1 0 87333440 7643136 1402 1992294400 134512640 135752675 4289739248 18446744073709551615 134605368 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 1866 1402 144 303 0 1561 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7464

[startup+3.10124 s]
/proc/loadavg: 0.93 1.01 0.99 2/107 25973
/proc/meminfo: memFree=1845520/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=9980 CPUtime=3.09
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 2641 0 0 0 295 14 0 0 25 0 1 0 87333440 10219520 2011 1992294400 134512640 135752675 4289739248 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 2495 2011 145 303 0 2190 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9980

[startup+6.30152 s]
/proc/loadavg: 0.93 1.01 0.99 2/107 25973
/proc/meminfo: memFree=1840932/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=13840 CPUtime=6.29
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 3606 0 0 0 611 18 0 0 25 0 1 0 87333440 14172160 2976 1992294400 134512640 135752675 4289739248 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 3460 2976 145 303 0 3155 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13840

[startup+12.7011 s]
/proc/loadavg: 0.94 1.01 0.99 2/107 25973
/proc/meminfo: memFree=1834856/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=19176 CPUtime=12.69
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 4950 0 0 0 1247 22 0 0 25 0 1 0 87333440 19636224 4320 1992294400 134512640 135752675 4289739248 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 4794 4320 145 303 0 4489 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19176

[startup+25.5002 s]
/proc/loadavg: 0.95 1.01 0.99 2/107 25975
/proc/meminfo: memFree=1828160/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=25588 CPUtime=25.48
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 6548 0 0 0 2521 27 0 0 25 0 1 0 87333440 26202112 5918 1992294400 134512640 135752675 4289739248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 6397 5918 145 303 0 6092 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25588

[startup+51.1004 s]
/proc/loadavg: 0.97 1.01 0.99 3/107 25975
/proc/meminfo: memFree=1814396/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=39876 CPUtime=51.08
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 10078 0 0 0 5067 41 0 0 25 0 1 0 87333440 40833024 9448 1992294400 134512640 135752675 4289739248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 9969 9448 145 303 0 9664 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 39876

[startup+102.308 s]
/proc/loadavg: 0.98 1.00 0.99 2/107 25977
/proc/meminfo: memFree=1785132/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=68544 CPUtime=102.27
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 17236 0 0 0 10161 66 0 0 25 0 1 0 87333440 70189056 16606 1992294400 134512640 135752675 4289739248 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 17136 16606 145 303 0 16831 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 68544

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 25977
/proc/meminfo: memFree=1753388/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=100648 CPUtime=162.25
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 25230 0 0 0 16131 94 0 0 25 0 1 0 87333440 103063552 24600 1992294400 134512640 135752675 4289739248 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 25162 24600 145 303 0 24857 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 100648

[startup+222.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 25979
/proc/meminfo: memFree=1741980/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=110704 CPUtime=222.23
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 28267 0 0 0 22099 124 0 0 25 0 1 0 87333440 113360896 27212 1992294400 134512640 135752675 4289739248 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 27676 27212 146 303 0 27371 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 110704

[startup+282.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 25981
/proc/meminfo: memFree=1731316/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=121880 CPUtime=282.22
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 31048 0 0 0 28077 145 0 0 25 0 1 0 87333440 124805120 29993 1992294400 134512640 135752675 4289739248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 30470 29993 146 303 0 30165 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 121880

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 25983
/proc/meminfo: memFree=1714328/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=138840 CPUtime=342.2
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 35274 0 0 0 34050 170 0 0 25 0 1 0 87333440 142172160 34219 1992294400 134512640 135752675 4289739248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 34710 34219 146 303 0 34405 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 138840

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 25985
/proc/meminfo: memFree=1699572/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=153680 CPUtime=402.19
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 38984 0 0 0 40029 190 0 0 25 0 1 0 87333440 157368320 37929 1992294400 134512640 135752675 4289739248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 38420 37929 146 303 0 38115 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 153680

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 25985
/proc/meminfo: memFree=1681096/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=172104 CPUtime=462.17
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 43525 0 0 0 46005 212 0 0 25 0 1 0 87333440 176234496 42470 1992294400 134512640 135752675 4289739248 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 43026 42470 146 303 0 42721 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 172104

[startup+522.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 25987
/proc/meminfo: memFree=1667456/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=185984 CPUtime=522.15
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 46917 0 0 0 51987 228 0 0 25 0 1 0 87333440 190447616 45862 1992294400 134512640 135752675 4289739248 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 46496 45862 146 303 0 46191 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 185984

[startup+582.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 25989
/proc/meminfo: memFree=1655304/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=197988 CPUtime=582.14
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 49922 0 0 0 57969 245 0 0 25 0 1 0 87333440 202739712 48867 1992294400 134512640 135752675 4289739248 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 49497 48867 146 303 0 49192 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 197988

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 25991
/proc/meminfo: memFree=1629264/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=224024 CPUtime=642.14
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 56392 0 0 0 63938 276 0 0 25 0 1 0 87333440 229400576 55337 1992294400 134512640 135752675 4289739248 18446744073709551615 134611679 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 56006 55337 146 303 0 55701 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 224024

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 25997
/proc/meminfo: memFree=1565404/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=287904 CPUtime=882.07
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 72293 0 0 0 87855 352 0 0 25 0 1 0 87333440 294813696 71238 1992294400 134512640 135752675 4289739248 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 71976 71238 146 303 0 71671 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 287904

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 25999
/proc/meminfo: memFree=1554492/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=298712 CPUtime=942.05
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 75016 0 0 0 93840 365 0 0 25 0 1 0 87333440 305881088 73961 1992294400 134512640 135752675 4289739248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 74678 73961 146 303 0 74373 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 298712

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 26001
/proc/meminfo: memFree=1531056/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=322040 CPUtime=1002.05
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 80852 0 0 0 99815 390 0 0 25 0 1 0 87333440 329768960 79797 1992294400 134512640 135752675 4289739248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 80510 79797 146 303 0 80205 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 322040

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 26001
/proc/meminfo: memFree=1517168/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=336028 CPUtime=1062.03
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 84312 0 0 0 105795 408 0 0 25 0 1 0 87333440 344092672 83257 1992294400 134512640 135752675 4289739248 18446744073709551615 134604934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 84007 83257 146 303 0 83702 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 336028

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 26003
/proc/meminfo: memFree=1506132/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=347076 CPUtime=1122.02
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 87054 0 0 0 111780 422 0 0 25 0 1 0 87333440 355405824 85999 1992294400 134512640 135752675 4289739248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 86769 85999 146 303 0 86464 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 347076

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 26005
/proc/meminfo: memFree=1486416/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=366852 CPUtime=1181.99
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 92016 0 0 0 117758 441 0 0 25 0 1 0 87333440 375656448 90961 1992294400 134512640 135752675 4289739248 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 91713 90961 146 303 0 91408 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 366852

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 26007
/proc/meminfo: memFree=1468932/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=384792 CPUtime=1241.99
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 96307 0 0 0 123741 458 0 0 25 0 1 0 87333440 394027008 95252 1992294400 134512640 135752675 4289739248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 96198 95252 146 303 0 95893 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 384792

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 26009
/proc/meminfo: memFree=1452068/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=401444 CPUtime=1301.97
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 100491 0 0 0 129723 474 0 0 25 0 1 0 87333440 411078656 99436 1992294400 134512640 135752675 4289739248 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 100361 99436 146 303 0 100056 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 401444

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 26009
/proc/meminfo: memFree=1441156/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=412532 CPUtime=1361.96
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 103238 0 0 0 135705 491 0 0 25 0 1 0 87333440 422432768 102183 1992294400 134512640 135752675 4289739248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 103133 102183 146 303 0 102828 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 412532

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 26011
/proc/meminfo: memFree=1432848/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=420844 CPUtime=1421.95
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 105271 0 0 0 141694 501 0 0 25 0 1 0 87333440 430944256 104216 1992294400 134512640 135752675 4289739248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 105211 104216 146 303 0 104906 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 420844

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 26013
/proc/meminfo: memFree=1417844/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=436424 CPUtime=1481.93
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 109128 0 0 0 147671 522 0 0 25 0 1 0 87333440 446898176 108073 1992294400 134512640 135752675 4289739248 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 109106 108073 146 303 0 108801 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 436424

[startup+1542.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 26018
/proc/meminfo: memFree=1398376/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=455368 CPUtime=1541.92
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 113832 0 0 0 153645 547 0 0 25 0 1 0 87333440 466296832 112777 1992294400 134512640 135752675 4289739248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 113842 112777 146 303 0 113537 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 455368

[startup+1602.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 26020
/proc/meminfo: memFree=1385356/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=468388 CPUtime=1601.9
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 117087 0 0 0 159626 564 0 0 25 0 1 0 87333440 479629312 116032 1992294400 134512640 135752675 4289739248 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 117097 116032 146 303 0 116792 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 468388

[startup+1662.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 26020
/proc/meminfo: memFree=1373204/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=480580 CPUtime=1661.89
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 120112 0 0 0 165609 580 0 0 25 0 1 0 87333440 492113920 119057 1992294400 134512640 135752675 4289739248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 120145 119057 146 303 0 119840 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 480580

[startup+1722.3 s]
/proc/loadavg: 1.15 1.06 1.01 2/107 26022
/proc/meminfo: memFree=1361300/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=492432 CPUtime=1721.87
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 123072 0 0 0 171593 594 0 0 25 0 1 0 87333440 504250368 122017 1992294400 134512640 135752675 4289739248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 123108 122017 146 303 0 122803 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 492432

[startup+1782.3 s]
/proc/loadavg: 1.09 1.06 1.01 2/107 26024
/proc/meminfo: memFree=1333648/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=520180 CPUtime=1781.85
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 130006 0 0 0 177561 624 0 0 25 0 1 0 87333440 532664320 128951 1992294400 134512640 135752675 4289739248 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 130045 128951 146 303 0 129740 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 520180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.07 1.05 1.00 2/107 26024
/proc/meminfo: memFree=1325340/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=528360 CPUtime=1800.06
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 132010 0 0 0 179374 632 0 0 25 0 1 0 87333440 541040640 130955 1992294400 134512640 135752675 4289739248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 132090 130955 146 303 0 131785 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 528360

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

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

[startup+1800.5 s]
/proc/loadavg: 1.07 1.05 1.00 2/107 26024
/proc/meminfo: memFree=1325340/2059040 swapFree=4140544/4192956
[pid=25972] ppid=25970 vsize=528360 CPUtime=1800.06
/proc/25972/stat : 25972 (wbo1.4b) R 25970 25972 25487 0 -1 4202496 132010 0 0 0 179374 632 0 0 25 0 1 0 87333440 541040640 130955 1992294400 134512640 135752675 4289739248 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/25972/statm: 132090 130955 146 303 0 131785 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 528360

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.56
CPU time (s): 1800.12
CPU user time (s): 1793.74
CPU system time (s): 6.38203
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 528360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.74
system time used= 6.38203
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132010
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= 57
involuntary context switches= 1649

runsolver used 2.86356 second user time and 8.65468 second system time

The end

Launcher Data 

Begin job on node057 at 2010-06-25 12:07:06
IDJOB=2680387
IDBENCH=71833
IDSOLVER=1190
FILE ID=node057/2680387-1277460426
PBS_JOBID= 11188112
Free space on /tmp= 62400 MiB

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

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

MD5SUM BENCH= 45bb740026f369f3965355a2a9c7d86d
RANDOM SEED=1228687956

node057.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.247
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.49
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.247
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1852256 kB
Buffers:         26660 kB
Cached:          82720 kB
SwapCached:       5360 kB
Active:          22056 kB
Inactive:       100376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1852256 kB
SwapTotal:     4192956 kB
SwapFree:      4140544 kB
Dirty:            4664 kB
Writeback:           0 kB
AnonPages:       11640 kB
Mapped:          12104 kB
Slab:            62388 kB
PageTables:       4220 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181440 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62396 MiB
End job on node057 at 2010-06-25 12:37:09