Trace number 2680383

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.18 1800.68

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-1000opt.opb
MD5SUMf77d1de307b7db24bfedc4f252c9c297
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-178
Best CPU time to get the best result obtained on this benchmark14.0229
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 constraints62994
Number of constraints which are clauses62994
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 327
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 327
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-2680383-1277460399.opb.
0.00/0.00	c Instance file HOME/instance-2680383-1277460399.opb
0.00/0.00	c File size is 2100313 bytes.
0.29/0.32	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.32         s                                      |
0.29/0.33	c |  Number Variables:      2025                                                |
0.29/0.33	c |  Number Clauses:        62994                                               |
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 |    2015    63004   187812 |    20998        0    nan |  0.000 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c New solution: 0
0.39/0.43	o 0
0.39/0.43	c Elapsed CPU time: 0.421935 s	Remaining CPU time: 179.578 s
0.39/0.43	c ===============================================================================
0.39/0.43	c |         0 |    2015    63005   187947 |    21001        0    nan |  0.000 % |
0.39/0.44	c ===============================================================================
0.39/0.44	c New solution: -1
0.39/0.44	o -1
0.39/0.44	c Elapsed CPU time: 0.427934 s	Remaining CPU time: 179.572 s
0.39/0.44	c ===============================================================================
0.39/0.44	c |         0 |    2015    63006   188082 |    21002        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.437933 s	Remaining CPU time: 179.562 s
0.39/0.45	c ===============================================================================
0.39/0.45	c |         0 |    2015    63007   188217 |    21002        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.447931 s	Remaining CPU time: 179.552 s
0.39/0.46	c ===============================================================================
0.39/0.46	c |         1 |    2015    63008   188352 |    21002        1    133 |  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.45693 s	Remaining CPU time: 179.543 s
0.39/0.47	c ===============================================================================
0.39/0.47	c |         1 |    2015    63009   188487 |    21003        1    133 |  0.000 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c New solution: -8
0.39/0.48	o -8
0.39/0.48	c Elapsed CPU time: 0.466929 s	Remaining CPU time: 179.533 s
0.39/0.48	c ===============================================================================
0.39/0.48	c |         1 |    2015    63010   188622 |    21003        1    133 |  0.000 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c New solution: -9
0.39/0.49	o -9
0.39/0.49	c Elapsed CPU time: 0.477927 s	Remaining CPU time: 179.522 s
0.39/0.49	c ===============================================================================
0.39/0.49	c |         2 |    2015    63011   188757 |    21003        2    132 |  0.000 % |
0.49/0.50	c ===============================================================================
0.49/0.50	c New solution: -10
0.49/0.50	o -10
0.49/0.50	c Elapsed CPU time: 0.488925 s	Remaining CPU time: 179.511 s
0.49/0.50	c ===============================================================================
0.49/0.50	c |         2 |    2015    63012   188892 |    21004        2    132 |  0.000 % |
0.49/0.52	c ===============================================================================
0.49/0.52	c New solution: -11
0.49/0.52	o -11
0.49/0.52	c Elapsed CPU time: 0.497924 s	Remaining CPU time: 179.502 s
0.49/0.52	c ===============================================================================
0.49/0.52	c |         2 |    2015    63013   189027 |    21004        2    132 |  0.000 % |
0.49/0.53	c ===============================================================================
0.49/0.53	c New solution: -12
0.49/0.53	o -12
0.49/0.53	c Elapsed CPU time: 0.507922 s	Remaining CPU time: 179.492 s
0.49/0.53	c ===============================================================================
0.49/0.53	c |         2 |    2015    63014   189162 |    21004        2    132 |  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.513921 s	Remaining CPU time: 179.486 s
0.49/0.53	c ===============================================================================
0.49/0.53	c |         2 |    2015    63015   189297 |    21005        2    132 |  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.518921 s	Remaining CPU time: 179.481 s
0.49/0.54	c ===============================================================================
0.49/0.54	c |         2 |    2015    63016   189432 |    21005        2    132 |  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.529919 s	Remaining CPU time: 179.47 s
0.49/0.55	c ===============================================================================
0.49/0.55	c |         2 |    2015    63017   189567 |    21005        2    132 |  0.000 % |
0.49/0.56	c ===============================================================================
0.49/0.56	c New solution: -16
0.49/0.56	o -16
0.49/0.56	c Elapsed CPU time: 0.537918 s	Remaining CPU time: 179.462 s
0.49/0.56	c ===============================================================================
0.49/0.56	c |         3 |    2015    63018   189702 |    21006        3    130 |  0.000 % |
0.49/0.57	c ===============================================================================
0.49/0.57	c New solution: -17
0.49/0.57	o -17
0.49/0.57	c Elapsed CPU time: 0.547916 s	Remaining CPU time: 179.452 s
0.49/0.57	c ===============================================================================
0.49/0.57	c |         3 |    2015    63019   189837 |    21006        3    130 |  0.000 % |
0.49/0.58	c ===============================================================================
0.49/0.58	c New solution: -18
0.49/0.58	o -18
0.49/0.58	c Elapsed CPU time: 0.556915 s	Remaining CPU time: 179.443 s
0.49/0.58	c ===============================================================================
0.49/0.58	c |         3 |    2015    63020   189972 |    21006        3    130 |  0.000 % |
0.49/0.60	c ===============================================================================
0.49/0.60	c New solution: -19
0.49/0.60	o -19
0.49/0.60	c Elapsed CPU time: 0.566913 s	Remaining CPU time: 179.433 s
0.49/0.60	c ===============================================================================
0.49/0.60	c |         3 |    2015    63021   190107 |    21007        3    130 |  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.575912 s	Remaining CPU time: 179.424 s
0.59/0.61	c ===============================================================================
0.59/0.61	c |         3 |    2015    63022   190242 |    21007        3    130 |  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.58791 s	Remaining CPU time: 179.412 s
0.59/0.62	c ===============================================================================
0.59/0.62	c |         4 |    2015    63023   190377 |    21007        4    128 |  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 |         4 |    2015    63024   190512 |    21008        4    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.605907 s	Remaining CPU time: 179.394 s
0.59/0.64	c ===============================================================================
0.59/0.64	c |         4 |    2015    63025   190647 |    21008        4    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.615906 s	Remaining CPU time: 179.384 s
0.59/0.65	c ===============================================================================
0.59/0.65	c |         4 |    2015    63026   190782 |    21008        4    128 |  0.000 % |
0.59/0.66	c ===============================================================================
0.59/0.66	c New solution: -25
0.59/0.66	o -25
0.59/0.66	c Elapsed CPU time: 0.626904 s	Remaining CPU time: 179.373 s
0.59/0.66	c ===============================================================================
0.59/0.66	c |         5 |    2015    63027   190917 |    21009        5    128 |  0.000 % |
0.59/0.67	c ===============================================================================
0.59/0.67	c New solution: -26
0.59/0.67	o -26
0.59/0.67	c Elapsed CPU time: 0.635903 s	Remaining CPU time: 179.364 s
0.59/0.67	c ===============================================================================
0.59/0.67	c |         5 |    2015    63028   191052 |    21009        5    128 |  0.000 % |
0.59/0.68	c ===============================================================================
0.59/0.68	c New solution: -27
0.59/0.68	o -27
0.59/0.68	c Elapsed CPU time: 0.646901 s	Remaining CPU time: 179.353 s
0.59/0.68	c ===============================================================================
0.59/0.68	c |         5 |    2015    63029   191187 |    21009        5    128 |  0.000 % |
0.59/0.69	c ===============================================================================
0.59/0.69	c New solution: -28
0.59/0.69	o -28
0.59/0.69	c Elapsed CPU time: 0.657899 s	Remaining CPU time: 179.342 s
0.59/0.69	c ===============================================================================
0.59/0.69	c |         5 |    2015    63030   191322 |    21010        5    128 |  0.000 % |
0.69/0.70	c ===============================================================================
0.69/0.70	c New solution: -29
0.69/0.70	o -29
0.69/0.70	c Elapsed CPU time: 0.666898 s	Remaining CPU time: 179.333 s
0.69/0.70	c ===============================================================================
0.69/0.70	c |         6 |    2015    63031   191457 |    21010        6    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.676897 s	Remaining CPU time: 179.323 s
0.69/0.72	c ===============================================================================
0.69/0.72	c |         6 |    2015    63032   191592 |    21010        6    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.686895 s	Remaining CPU time: 179.313 s
0.69/0.73	c ===============================================================================
0.69/0.73	c |         6 |    2015    63033   191727 |    21011        6    127 |  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.696894 s	Remaining CPU time: 179.303 s
0.69/0.74	c ===============================================================================
0.69/0.74	c |         6 |    2015    63034   191862 |    21011        6    127 |  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.707892 s	Remaining CPU time: 179.292 s
0.69/0.75	c ===============================================================================
0.69/0.75	c |         6 |    2015    63035   191997 |    21011        6    127 |  0.000 % |
0.69/0.76	c ===============================================================================
0.69/0.76	c New solution: -34
0.69/0.76	o -34
0.69/0.76	c Elapsed CPU time: 0.71789 s	Remaining CPU time: 179.282 s
0.69/0.76	c ===============================================================================
0.69/0.76	c |         7 |    2015    63036   192132 |    21012        7    126 |  0.000 % |
0.69/0.77	c ===============================================================================
0.69/0.77	c New solution: -35
0.69/0.77	o -35
0.69/0.77	c Elapsed CPU time: 0.727889 s	Remaining CPU time: 179.272 s
0.69/0.77	c ===============================================================================
0.69/0.77	c |         8 |    2015    63037   192267 |    21012        8    126 |  0.000 % |
0.69/0.78	c ===============================================================================
0.69/0.78	c New solution: -36
0.69/0.78	o -36
0.69/0.78	c Elapsed CPU time: 0.736887 s	Remaining CPU time: 179.263 s
0.69/0.78	c ===============================================================================
0.69/0.78	c |         9 |    2015    63038   192402 |    21012        9    125 |  0.000 % |
0.69/0.79	c ===============================================================================
0.69/0.79	c New solution: -37
0.69/0.79	o -37
0.69/0.79	c Elapsed CPU time: 0.745886 s	Remaining CPU time: 179.254 s
0.69/0.79	c ===============================================================================
0.69/0.79	c |         9 |    2015    63039   192537 |    21013        9    125 |  0.000 % |
0.79/0.80	c ===============================================================================
0.79/0.80	c New solution: -38
0.79/0.80	o -38
0.79/0.80	c Elapsed CPU time: 0.753885 s	Remaining CPU time: 179.246 s
0.79/0.80	c ===============================================================================
0.79/0.80	c |         9 |    2015    63040   192672 |    21013        9    125 |  0.000 % |
0.79/0.81	c ===============================================================================
0.79/0.81	c New solution: -39
0.79/0.81	o -39
0.79/0.81	c Elapsed CPU time: 0.763883 s	Remaining CPU time: 179.236 s
0.79/0.81	c ===============================================================================
0.79/0.81	c |        10 |    2015    63041   192807 |    21013       10    125 |  0.000 % |
0.79/0.82	c ===============================================================================
0.79/0.82	c New solution: -40
0.79/0.82	o -40
0.79/0.82	c Elapsed CPU time: 0.773882 s	Remaining CPU time: 179.226 s
0.79/0.82	c ===============================================================================
0.79/0.82	c |        11 |    2015    63042   192942 |    21014       11    124 |  0.000 % |
0.79/0.83	c ===============================================================================
0.79/0.83	c New solution: -41
0.79/0.83	o -41
0.79/0.83	c Elapsed CPU time: 0.78288 s	Remaining CPU time: 179.217 s
0.79/0.83	c ===============================================================================
0.79/0.83	c |        11 |    2015    63043   193077 |    21014       11    124 |  0.000 % |
0.79/0.84	c ===============================================================================
0.79/0.84	c New solution: -42
0.79/0.84	o -42
0.79/0.84	c Elapsed CPU time: 0.793879 s	Remaining CPU time: 179.206 s
0.79/0.84	c ===============================================================================
0.79/0.84	c |        12 |    2015    63044   193212 |    21014       12    124 |  0.000 % |
0.79/0.85	c ===============================================================================
0.79/0.85	c New solution: -43
0.79/0.85	o -43
0.79/0.85	c Elapsed CPU time: 0.802877 s	Remaining CPU time: 179.197 s
0.79/0.85	c ===============================================================================
0.79/0.85	c |        12 |    2015    63045   193347 |    21015       12    124 |  0.000 % |
0.79/0.87	c ===============================================================================
0.79/0.87	c New solution: -44
0.79/0.87	o -44
0.79/0.87	c Elapsed CPU time: 0.812876 s	Remaining CPU time: 179.187 s
0.79/0.87	c ===============================================================================
0.79/0.87	c |        13 |    2015    63046   193482 |    21015       13    123 |  0.000 % |
0.79/0.88	c ===============================================================================
0.79/0.88	c New solution: -45
0.79/0.88	o -45
0.79/0.88	c Elapsed CPU time: 0.821875 s	Remaining CPU time: 179.178 s
0.79/0.88	c ===============================================================================
0.79/0.88	c |        14 |    2015    63047   193617 |    21015       14    123 |  0.000 % |
0.79/0.89	c ===============================================================================
0.79/0.89	c New solution: -46
0.79/0.89	o -46
0.79/0.89	c Elapsed CPU time: 0.831873 s	Remaining CPU time: 179.168 s
0.79/0.89	c ===============================================================================
0.79/0.89	c |        14 |    2015    63048   193752 |    21016       14    123 |  0.000 % |
0.89/0.90	c ===============================================================================
0.89/0.90	c New solution: -47
0.89/0.90	o -47
0.89/0.90	c Elapsed CPU time: 0.842871 s	Remaining CPU time: 179.157 s
0.89/0.90	c ===============================================================================
0.89/0.90	c |        15 |    2015    63049   193887 |    21016       15    123 |  0.000 % |
0.89/0.91	c ===============================================================================
0.89/0.91	c New solution: -48
0.89/0.91	o -48
0.89/0.91	c Elapsed CPU time: 0.85387 s	Remaining CPU time: 179.146 s
0.89/0.91	c ===============================================================================
0.89/0.91	c |        15 |    2015    63050   194022 |    21016       15    123 |  0.000 % |
0.89/0.92	c ===============================================================================
0.89/0.92	c New solution: -49
0.89/0.92	o -49
0.89/0.92	c Elapsed CPU time: 0.863868 s	Remaining CPU time: 179.136 s
0.89/0.92	c ===============================================================================
0.89/0.92	c |        15 |    2015    63051   194157 |    21017       15    123 |  0.000 % |
0.89/0.93	c ===============================================================================
0.89/0.93	c New solution: -50
0.89/0.93	o -50
0.89/0.93	c Elapsed CPU time: 0.873867 s	Remaining CPU time: 179.126 s
0.89/0.93	c ===============================================================================
0.89/0.93	c |        16 |    2015    63052   194292 |    21017       16    122 |  0.000 % |
0.89/0.94	c ===============================================================================
0.89/0.94	c New solution: -51
0.89/0.94	o -51
0.89/0.94	c Elapsed CPU time: 0.884865 s	Remaining CPU time: 179.115 s
0.89/0.94	c ===============================================================================
0.89/0.94	c |        21 |    2015    63053   194427 |    21017       21    115 |  0.000 % |
0.89/0.95	c ===============================================================================
0.89/0.95	c New solution: -52
0.89/0.95	o -52
0.89/0.95	c Elapsed CPU time: 0.893864 s	Remaining CPU time: 179.106 s
0.89/0.95	c ===============================================================================
0.89/0.95	c |        21 |    2015    63054   194562 |    21018       21    115 |  0.000 % |
0.89/0.96	c ===============================================================================
0.89/0.96	c New solution: -53
0.89/0.96	o -53
0.89/0.96	c Elapsed CPU time: 0.902862 s	Remaining CPU time: 179.097 s
0.89/0.96	c ===============================================================================
0.89/0.96	c |        21 |    2015    63055   194697 |    21018       21    115 |  0.000 % |
0.89/0.97	c ===============================================================================
0.89/0.97	c New solution: -54
0.89/0.97	o -54
0.89/0.97	c Elapsed CPU time: 0.912861 s	Remaining CPU time: 179.087 s
0.89/0.97	c ===============================================================================
0.89/0.97	c |        23 |    2015    63056   194832 |    21018       23    115 |  0.000 % |
0.89/0.99	c ===============================================================================
0.89/0.99	c New solution: -55
0.89/0.99	o -55
0.89/0.99	c Elapsed CPU time: 0.923859 s	Remaining CPU time: 179.076 s
0.89/0.99	c ===============================================================================
0.89/0.99	c |        24 |    2015    63057   194967 |    21019       24    115 |  0.000 % |
0.89/1.00	c ===============================================================================
0.89/1.00	c New solution: -56
0.89/1.00	o -56
0.89/1.00	c Elapsed CPU time: 0.934857 s	Remaining CPU time: 179.065 s
0.89/1.00	c ===============================================================================
0.89/1.00	c |        31 |    2015    63058   195102 |    21019       31    114 |  0.000 % |
1.00/1.01	c ===============================================================================
1.00/1.01	c New solution: -57
1.00/1.01	o -57
1.00/1.01	c Elapsed CPU time: 0.943856 s	Remaining CPU time: 179.056 s
1.00/1.01	c ===============================================================================
1.00/1.01	c |        32 |    2015    63059   195237 |    21019       32    114 |  0.000 % |
1.00/1.02	c ===============================================================================
1.00/1.02	c New solution: -58
1.00/1.02	o -58
1.00/1.02	c Elapsed CPU time: 0.953854 s	Remaining CPU time: 179.046 s
1.00/1.02	c ===============================================================================
1.00/1.02	c |        33 |    2015    63060   195372 |    21020       33    110 |  0.000 % |
1.00/1.03	c ===============================================================================
1.00/1.03	c New solution: -59
1.00/1.03	o -59
1.00/1.03	c Elapsed CPU time: 0.963853 s	Remaining CPU time: 179.036 s
1.00/1.03	c ===============================================================================
1.00/1.03	c |        34 |    2015    63061   195507 |    21020       34    110 |  0.000 % |
1.00/1.04	c ===============================================================================
1.00/1.04	c New solution: -60
1.00/1.04	o -60
1.00/1.04	c Elapsed CPU time: 0.975851 s	Remaining CPU time: 179.024 s
1.00/1.04	c ===============================================================================
1.00/1.04	c |        52 |    2015    63062   195642 |    21020       52    107 |  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.986849 s	Remaining CPU time: 179.013 s
1.00/1.06	c ===============================================================================
1.00/1.06	c |        61 |    2015    63063   195777 |    21021       61    106 |  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.998848 s	Remaining CPU time: 179.001 s
1.00/1.07	c ===============================================================================
1.00/1.07	c |        62 |    2015    63064   195912 |    21021       62    106 |  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.00985 s	Remaining CPU time: 178.99 s
1.00/1.08	c ===============================================================================
1.00/1.08	c |        68 |    2015    63065   196047 |    21021       68    103 |  0.000 % |
1.00/1.09	c ===============================================================================
1.00/1.09	c New solution: -64
1.00/1.09	o -64
1.00/1.09	c Elapsed CPU time: 1.01885 s	Remaining CPU time: 178.981 s
1.00/1.09	c ===============================================================================
1.00/1.09	c |        68 |    2015    63066   196182 |    21022       68    103 |  0.000 % |
1.10/1.11	c ===============================================================================
1.10/1.11	c New solution: -65
1.10/1.11	o -65
1.10/1.11	c Elapsed CPU time: 1.03484 s	Remaining CPU time: 178.965 s
1.10/1.11	c ===============================================================================
1.10/1.11	c |       128 |    2015    63067   196317 |    21022      128    105 |  0.000 % |
1.10/1.12	c ===============================================================================
1.10/1.12	c New solution: -66
1.10/1.12	o -66
1.10/1.12	c Elapsed CPU time: 1.04984 s	Remaining CPU time: 178.95 s
1.10/1.12	c ===============================================================================
1.10/1.12	c |       157 |    2015    63068   196452 |    21022      157    103 |  0.000 % |
1.10/1.13	c ===============================================================================
1.10/1.13	c New solution: -67
1.10/1.13	o -67
1.10/1.13	c Elapsed CPU time: 1.05784 s	Remaining CPU time: 178.942 s
1.10/1.13	c ===============================================================================
1.10/1.13	c |       157 |    2015    63069   196587 |    21023      157    103 |  0.000 % |
1.10/1.15	c |       257 |    2015    63069   196587 |    23125      257    103 |  0.494 % |
1.10/1.17	c ===============================================================================
1.10/1.17	c New solution: -68
1.10/1.17	o -68
1.10/1.17	c Elapsed CPU time: 1.09483 s	Remaining CPU time: 178.905 s
1.10/1.17	c ===============================================================================
1.10/1.17	c |       331 |    2015    63070   196722 |    21023      331    103 |  0.494 % |
1.10/1.19	c ===============================================================================
1.10/1.19	c New solution: -69
1.10/1.19	o -69
1.10/1.19	c Elapsed CPU time: 1.10783 s	Remaining CPU time: 178.892 s
1.10/1.19	c ===============================================================================
1.10/1.19	c |       338 |    2015    63071   196857 |    21023      338    103 |  0.494 % |
1.19/1.21	c ===============================================================================
1.19/1.21	c New solution: -70
1.19/1.21	o -70
1.19/1.21	c Elapsed CPU time: 1.13283 s	Remaining CPU time: 178.867 s
1.19/1.21	c ===============================================================================
1.19/1.21	c |       395 |    2015    63072   196992 |    21024      395    103 |  0.494 % |
1.19/1.22	c ===============================================================================
1.19/1.22	c New solution: -71
1.19/1.22	o -71
1.19/1.22	c Elapsed CPU time: 1.14383 s	Remaining CPU time: 178.856 s
1.19/1.22	c ===============================================================================
1.19/1.22	c |       396 |    2015    63073   197127 |    21024      396    103 |  0.494 % |
1.19/1.24	c ===============================================================================
1.19/1.24	c New solution: -72
1.19/1.24	o -72
1.19/1.24	c Elapsed CPU time: 1.16382 s	Remaining CPU time: 178.836 s
1.19/1.24	c ===============================================================================
1.19/1.24	c |       439 |    2015    63074   197262 |    21024      439    103 |  0.494 % |
1.19/1.26	c |       541 |    2015    63074   197262 |    23127      541    103 |  0.494 % |
1.19/1.28	c ===============================================================================
1.19/1.28	c New solution: -73
1.19/1.28	o -73
1.19/1.28	c Elapsed CPU time: 1.19882 s	Remaining CPU time: 178.801 s
1.19/1.28	c ===============================================================================
1.19/1.28	c |       589 |    2015    63075   197397 |    21025      589    103 |  0.494 % |
1.19/1.29	c ===============================================================================
1.19/1.29	c New solution: -74
1.19/1.29	o -74
1.19/1.29	c Elapsed CPU time: 1.20882 s	Remaining CPU time: 178.791 s
1.19/1.29	c ===============================================================================
1.19/1.29	c |       590 |    2015    63076   197532 |    21025      590    103 |  0.494 % |
1.29/1.31	c ===============================================================================
1.29/1.31	c New solution: -75
1.29/1.31	o -75
1.29/1.31	c Elapsed CPU time: 1.22181 s	Remaining CPU time: 178.778 s
1.29/1.31	c ===============================================================================
1.29/1.31	c |       593 |    2015    63077   197667 |    21025      593    103 |  0.494 % |
1.29/1.33	c ===============================================================================
1.29/1.33	c New solution: -76
1.29/1.33	o -76
1.29/1.33	c Elapsed CPU time: 1.24381 s	Remaining CPU time: 178.756 s
1.29/1.33	c ===============================================================================
1.29/1.33	c |       652 |    2015    63078   197802 |    21026      652    103 |  0.494 % |
1.29/1.35	c ===============================================================================
1.29/1.35	c New solution: -77
1.29/1.35	o -77
1.29/1.35	c Elapsed CPU time: 1.26381 s	Remaining CPU time: 178.736 s
1.29/1.35	c ===============================================================================
1.29/1.35	c |       733 |    2015    63079   197937 |    21026      733    103 |  0.494 % |
1.29/1.36	c ===============================================================================
1.29/1.36	c New solution: -78
1.29/1.36	o -78
1.29/1.36	c Elapsed CPU time: 1.2788 s	Remaining CPU time: 178.721 s
1.29/1.36	c ===============================================================================
1.29/1.36	c |       761 |    2015    63080   198072 |    21026      761    103 |  0.494 % |
1.29/1.38	c ===============================================================================
1.29/1.38	c New solution: -79
1.29/1.38	o -79
1.29/1.38	c Elapsed CPU time: 1.2908 s	Remaining CPU time: 178.709 s
1.29/1.38	c ===============================================================================
1.29/1.38	c |       761 |    2015    63081   198207 |    21027      761    103 |  0.494 % |
1.29/1.39	c ===============================================================================
1.29/1.39	c New solution: -80
1.29/1.39	o -80
1.29/1.39	c Elapsed CPU time: 1.3018 s	Remaining CPU time: 178.698 s
1.29/1.39	c ===============================================================================
1.29/1.39	c |       762 |    2015    63082   198342 |    21027      762    103 |  0.494 % |
1.39/1.41	c |       862 |    2015    63082   198342 |    23130      862    102 |  0.494 % |
1.39/1.45	c |      1012 |    2015    63082   198342 |    25443     1012    102 |  0.494 % |
1.39/1.46	c ===============================================================================
1.39/1.46	c New solution: -81
1.39/1.46	o -81
1.39/1.46	c Elapsed CPU time: 1.36979 s	Remaining CPU time: 178.63 s
1.39/1.46	c ===============================================================================
1.39/1.46	c |      1029 |    2015    63083   198477 |    21027     1029    102 |  0.494 % |
1.39/1.47	c ===============================================================================
1.39/1.47	c New solution: -82
1.39/1.47	o -82
1.39/1.47	c Elapsed CPU time: 1.38179 s	Remaining CPU time: 178.618 s
1.39/1.47	c ===============================================================================
1.39/1.47	c |      1029 |    2015    63084   198612 |    21028     1029    102 |  0.494 % |
1.39/1.49	c |      1129 |    2015    63084   198612 |    23130     1129    101 |  0.494 % |
1.49/1.52	c ===============================================================================
1.49/1.52	c New solution: -83
1.49/1.52	o -83
1.49/1.52	c Elapsed CPU time: 1.42478 s	Remaining CPU time: 178.575 s
1.49/1.52	c ===============================================================================
1.49/1.52	c |      1176 |    2015    63085   198747 |    21028     1176    101 |  0.494 % |
1.49/1.54	c |      1276 |    2015    63085   198747 |    23131     1276    101 |  0.494 % |
1.49/1.57	c |      1426 |    2015    63085   198747 |    25444     1426    101 |  0.494 % |
1.59/1.60	c ===============================================================================
1.59/1.60	c New solution: -84
1.59/1.60	o -84
1.59/1.60	c Elapsed CPU time: 1.50377 s	Remaining CPU time: 178.496 s
1.59/1.60	c ===============================================================================
1.59/1.60	c |      1537 |    2015    63086   198882 |    21028     1537    100 |  0.494 % |
1.59/1.61	c ===============================================================================
1.59/1.61	c New solution: -85
1.59/1.61	o -85
1.59/1.61	c Elapsed CPU time: 1.51477 s	Remaining CPU time: 178.485 s
1.59/1.61	c ===============================================================================
1.59/1.61	c |      1537 |    2015    63087   199017 |    21029     1537    100 |  0.494 % |
1.59/1.62	c ===============================================================================
1.59/1.62	c New solution: -86
1.59/1.62	o -86
1.59/1.62	c Elapsed CPU time: 1.52577 s	Remaining CPU time: 178.474 s
1.59/1.62	c ===============================================================================
1.59/1.62	c |      1537 |    2015    63088   199152 |    21029     1537    100 |  0.494 % |
1.59/1.64	c |      1637 |    2015    63088   199152 |    23132     1637    100 |  0.494 % |
1.59/1.68	c ===============================================================================
1.59/1.68	c New solution: -87
1.59/1.68	o -87
1.59/1.68	c Elapsed CPU time: 1.57576 s	Remaining CPU time: 178.424 s
1.59/1.68	c ===============================================================================
1.59/1.68	c |      1763 |    2015    63089   199287 |    21029     1763    100 |  0.494 % |
1.69/1.70	c |      1863 |    2015    63089   199287 |    23132     1863    100 |  0.494 % |
1.69/1.73	c |      2014 |    2015    63089   199287 |    25445     2014     99 |  0.494 % |
1.69/1.76	c ===============================================================================
1.69/1.76	c New solution: -88
1.69/1.76	o -88
1.69/1.76	c Elapsed CPU time: 1.65375 s	Remaining CPU time: 178.346 s
1.69/1.76	c ===============================================================================
1.69/1.76	c |      2105 |    2015    63090   199422 |    21030     2105     99 |  0.494 % |
1.69/1.77	c ===============================================================================
1.69/1.77	c New solution: -89
1.69/1.77	o -89
1.69/1.77	c Elapsed CPU time: 1.66775 s	Remaining CPU time: 178.332 s
1.69/1.77	c ===============================================================================
1.69/1.77	c |      2110 |    2015    63091   199557 |    21030     2110     99 |  0.494 % |
1.79/1.80	c ===============================================================================
1.79/1.80	c New solution: -90
1.79/1.80	o -90
1.79/1.80	c Elapsed CPU time: 1.69374 s	Remaining CPU time: 178.306 s
1.79/1.80	c ===============================================================================
1.79/1.80	c |      2183 |    2015    63092   199692 |    21030     2183     99 |  0.494 % |
1.79/1.81	c ===============================================================================
1.79/1.81	c New solution: -91
1.79/1.81	o -91
1.79/1.81	c Elapsed CPU time: 1.70474 s	Remaining CPU time: 178.295 s
1.79/1.81	c ===============================================================================
1.79/1.81	c |      2183 |    2015    63093   199827 |    21031     2183     99 |  0.494 % |
1.79/1.83	c |      2283 |    2015    63093   199827 |    23134     2283     99 |  0.494 % |
1.79/1.87	c ===============================================================================
1.79/1.87	c New solution: -92
1.79/1.87	o -92
1.79/1.87	c Elapsed CPU time: 1.76573 s	Remaining CPU time: 178.234 s
1.79/1.87	c ===============================================================================
1.79/1.87	c |      2404 |    2015    63094   199962 |    21031     2404     99 |  0.494 % |
1.89/1.90	c |      2504 |    2015    63094   199962 |    23134     2504     98 |  0.494 % |
1.89/1.94	c |      2656 |    2015    63094   199962 |    25447     2656     98 |  0.494 % |
1.89/1.95	c ===============================================================================
1.89/1.95	c New solution: -93
1.89/1.95	o -93
1.89/1.95	c Elapsed CPU time: 1.84372 s	Remaining CPU time: 178.156 s
1.89/1.95	c ===============================================================================
1.89/1.95	c |      2692 |    2015    63095   200097 |    21031     2692     98 |  0.494 % |
1.89/1.99	c |      2792 |    2015    63095   200097 |    23134     2792     98 |  0.494 % |
1.99/2.02	c |      2942 |    2015    63095   200097 |    25448     2942     97 |  0.494 % |
1.99/2.08	c |      3170 |    2015    63095   200097 |    27993     3170     97 |  0.494 % |
2.10/2.16	c |      3508 |    2015    63095   200097 |    30792     3508     96 |  0.494 % |
2.20/2.28	c ===============================================================================
2.20/2.28	c New solution: -94
2.20/2.28	o -94
2.20/2.28	c Elapsed CPU time: 2.16067 s	Remaining CPU time: 177.839 s
2.20/2.28	c ===============================================================================
2.20/2.28	c |      3927 |    2015    63096   200232 |    21032     3927     96 |  0.494 % |
2.29/2.31	c |      4027 |    2015    63096   200232 |    23135     4027     96 |  0.494 % |
2.29/2.35	c |      4177 |    2015    63096   200232 |    25448     4177     96 |  0.494 % |
2.39/2.42	c |      4403 |    2015    63096   200232 |    27993     4403     95 |  0.494 % |
2.49/2.51	c |      4740 |    2015    63096   200232 |    30792     4740     95 |  0.494 % |
2.59/2.63	c |      5248 |    2015    63096   200232 |    33872     5248     95 |  0.494 % |
2.69/2.71	c ===============================================================================
2.69/2.71	c New solution: -95
2.69/2.71	o -95
2.69/2.71	c Elapsed CPU time: 2.58461 s	Remaining CPU time: 177.415 s
2.69/2.71	c ===============================================================================
2.69/2.71	c |      5525 |    2015    63097   200367 |    21032     5525     95 |  0.494 % |
2.69/2.74	c |      5625 |    2015    63097   200367 |    23135     5625     95 |  0.494 % |
2.69/2.78	c |      5778 |    2015    63097   200367 |    25449     5778     95 |  0.494 % |
2.79/2.85	c ===============================================================================
2.79/2.85	c New solution: -96
2.79/2.85	o -96
2.79/2.85	c Elapsed CPU time: 2.72858 s	Remaining CPU time: 177.271 s
2.79/2.85	c ===============================================================================
2.79/2.85	c |      5984 |    2015    63098   200502 |    21032     5984     95 |  0.494 % |
2.79/2.88	c ===============================================================================
2.79/2.88	c New solution: -97
2.79/2.88	o -97
2.79/2.88	c Elapsed CPU time: 2.75258 s	Remaining CPU time: 177.247 s
2.79/2.88	c ===============================================================================
2.79/2.88	c |      6005 |    2015    63099   200637 |    21033     6005     95 |  0.494 % |
2.79/2.90	c ===============================================================================
2.79/2.90	c New solution: -98
2.79/2.90	o -98
2.79/2.90	c Elapsed CPU time: 2.77058 s	Remaining CPU time: 177.229 s
2.79/2.90	c ===============================================================================
2.79/2.90	c |      6013 |    2015    63100   200772 |    21033     6013     95 |  0.494 % |
2.89/2.93	c |      6114 |    2015    63100   200772 |    23136     6114     95 |  0.494 % |
2.89/2.96	c ===============================================================================
2.89/2.96	c New solution: -99
2.89/2.96	o -99
2.89/2.96	c Elapsed CPU time: 2.82857 s	Remaining CPU time: 177.171 s
2.89/2.96	c ===============================================================================
2.89/2.96	c |      6172 |    2015    63101   200907 |    21033     6172     95 |  0.494 % |
2.89/2.98	c |      6272 |    2015    63101   200907 |    23137     6272     95 |  0.494 % |
3.00/3.03	c |      6424 |    2015    63101   200907 |    25450     6424     95 |  0.494 % |
3.00/3.08	c |      6650 |    2015    63101   200907 |    27995     6650     95 |  0.494 % |
3.09/3.18	c |      6987 |    2015    63101   200907 |    30795     6987     94 |  0.494 % |
3.30/3.32	c |      7495 |    2015    63101   200907 |    33874     7495     94 |  0.494 % |
3.49/3.55	c |      8255 |    2015    63101   200907 |    37262     8255     94 |  0.494 % |
3.99/4.00	c |      9394 |    2015    63101   200907 |    40988     9394     94 |  0.494 % |
3.99/4.03	c ===============================================================================
3.99/4.03	c New solution: -100
3.99/4.03	o -100
3.99/4.03	c Elapsed CPU time: 3.89741 s	Remaining CPU time: 176.103 s
3.99/4.03	c ===============================================================================
3.99/4.03	c |      9458 |    2015    63102   201042 |    21034     9458     94 |  0.494 % |
3.99/4.06	c ===============================================================================
3.99/4.06	c New solution: -101
3.99/4.06	o -101
3.99/4.06	c Elapsed CPU time: 3.9234 s	Remaining CPU time: 176.077 s
3.99/4.06	c ===============================================================================
3.99/4.06	c |      9487 |    2015    63103   201177 |    21034     9487     94 |  0.494 % |
4.09/4.12	c |      9587 |    2015    63103   201177 |    23137     9587     94 |  0.494 % |
4.19/4.20	c |      9739 |    2015    63103   201177 |    25451     9739     94 |  0.494 % |
4.30/4.32	c |      9965 |    2015    63103   201177 |    27996     9965     94 |  0.494 % |
4.30/4.38	c ===============================================================================
4.30/4.38	c New solution: -102
4.30/4.38	o -102
4.30/4.38	c Elapsed CPU time: 4.24036 s	Remaining CPU time: 175.76 s
4.30/4.38	c ===============================================================================
4.30/4.38	c |     10052 |    2015    63104   201312 |    21034    10052     94 |  0.494 % |
4.40/4.41	c |     10152 |    2015    63104   201312 |    23138    10152     94 |  0.494 % |
4.49/4.50	c |     10302 |    2015    63104   201312 |    25451    10302     94 |  0.494 % |
4.59/4.64	c |     10529 |    2015    63104   201312 |    27997    10529     94 |  0.494 % |
4.59/4.67	c ===============================================================================
4.59/4.67	c New solution: -103
4.59/4.67	o -103
4.59/4.67	c Elapsed CPU time: 4.53231 s	Remaining CPU time: 175.468 s
4.59/4.67	c ===============================================================================
4.59/4.67	c |     10564 |    2015    63105   201447 |    21035    10564     94 |  0.494 % |
4.69/4.71	c |     10666 |    2015    63105   201447 |    23138    10666     94 |  0.494 % |
4.69/4.76	c ===============================================================================
4.69/4.76	c New solution: -104
4.69/4.76	o -104
4.69/4.76	c Elapsed CPU time: 4.6173 s	Remaining CPU time: 175.383 s
4.69/4.76	c ===============================================================================
4.69/4.76	c |     10767 |    2015    63106   201582 |    21035    10767     93 |  0.494 % |
4.69/4.78	c ===============================================================================
4.69/4.78	c New solution: -105
4.69/4.78	o -105
4.69/4.78	c Elapsed CPU time: 4.63129 s	Remaining CPU time: 175.369 s
4.69/4.78	c ===============================================================================
4.69/4.78	c |     10767 |    2015    63107   201717 |    21035    10767     93 |  0.494 % |
4.79/4.81	c |     10867 |    2015    63107   201717 |    23139    10867     93 |  0.494 % |
4.79/4.88	c |     11019 |    2015    63107   201717 |    25453    11019     93 |  0.494 % |
4.89/4.96	c |     11244 |    2015    63107   201717 |    27998    11244     93 |  0.494 % |
5.09/5.15	c |     11581 |    2015    63107   201717 |    30798    11581     93 |  0.494 % |
5.29/5.36	c |     12087 |    2015    63107   201717 |    33878    12087     93 |  0.494 % |
5.69/5.72	c |     12846 |    2015    63107   201717 |    37265    12846     93 |  0.494 % |
6.39/6.43	c |     13985 |    2015    63107   201717 |    40992    13985     93 |  0.494 % |
7.39/7.45	c |     15694 |    2015    63107   201717 |    45091    15694     92 |  0.494 % |
9.28/9.39	c |     18257 |    2015    63107   201717 |    49601    18257     92 |  0.494 % |
10.59/10.61	c ===============================================================================
10.59/10.61	c New solution: -106
10.59/10.61	o -106
10.59/10.61	c Elapsed CPU time: 10.4294 s	Remaining CPU time: 169.571 s
10.59/10.61	c ===============================================================================
10.59/10.61	c |     19715 |    2015    63108   201852 |    21036    19715     92 |  0.494 % |
10.59/10.66	c ===============================================================================
10.59/10.66	c New solution: -107
10.59/10.66	o -107
10.59/10.66	c Elapsed CPU time: 10.4764 s	Remaining CPU time: 169.524 s
10.59/10.66	c ===============================================================================
10.59/10.66	c |     19768 |    2015    63109   201987 |    21036    19768     92 |  0.494 % |
10.69/10.76	c |     19869 |    2015    63109   201987 |    23139    19869     92 |  0.494 % |
10.89/10.96	c |     20020 |    2015    63109   201987 |    25453    20020     92 |  0.494 % |
11.09/11.13	c |     20246 |    2015    63109   201987 |    27999    20246     92 |  0.494 % |
11.48/11.50	c |     20583 |    2015    63109   201987 |    30799    20583     92 |  0.494 % |
11.89/11.98	c |     21090 |    2015    63109   201987 |    33879    21090     92 |  0.494 % |
12.58/12.64	c |     21850 |    2015    63109   201987 |    37267    21850     92 |  0.494 % |
13.49/13.59	c |     22990 |    2015    63109   201987 |    40993    22990     91 |  0.494 % |
14.89/14.90	c |     24698 |    2015    63109   201987 |    45093    24698     91 |  0.494 % |
17.88/17.95	c |     27260 |    2015    63109   201987 |    49602    27260     91 |  0.494 % |
19.19/19.26	c ===============================================================================
19.19/19.26	c New solution: -108
19.19/19.26	o -108
19.19/19.26	c Elapsed CPU time: 19.0351 s	Remaining CPU time: 160.965 s
19.19/19.26	c ===============================================================================
19.19/19.26	c |     28206 |    2015    63110   202122 |    21036    28206     91 |  0.494 % |
19.49/19.50	c |     28309 |    2015    63110   202122 |    23140    11187     88 |  0.494 % |
19.49/19.59	c |     28462 |    2015    63110   202122 |    25454    11340     88 |  0.494 % |
19.69/19.71	c |     28687 |    2015    63110   202122 |    27999    11565     88 |  0.494 % |
19.89/19.98	c |     29024 |    2015    63110   202122 |    30799    11902     88 |  0.494 % |
20.28/20.35	c |     29531 |    2015    63110   202122 |    33879    12409     88 |  0.494 % |
20.38/20.49	c ===============================================================================
20.38/20.49	c New solution: -109
20.38/20.49	o -109
20.38/20.49	c Elapsed CPU time: 20.2559 s	Remaining CPU time: 159.744 s
20.38/20.49	c ===============================================================================
20.38/20.49	c |     29806 |    2015    63111   202257 |    21037    12684     88 |  0.494 % |
20.48/20.50	c ===============================================================================
20.48/20.50	c New solution: -110
20.48/20.50	o -110
20.48/20.50	c Elapsed CPU time: 20.2699 s	Remaining CPU time: 159.73 s
20.48/20.50	c ===============================================================================
20.48/20.50	c |     29810 |    2015    63112   202392 |    21037    12688     88 |  0.494 % |
20.48/20.52	c ===============================================================================
20.48/20.52	c New solution: -111
20.48/20.52	o -111
20.48/20.52	c Elapsed CPU time: 20.2839 s	Remaining CPU time: 159.716 s
20.48/20.52	c ===============================================================================
20.48/20.52	c |     29810 |    2015    63113   202527 |    21037    12688     88 |  0.494 % |
20.48/20.55	c ===============================================================================
20.48/20.55	c New solution: -112
20.48/20.55	o -112
20.48/20.55	c Elapsed CPU time: 20.3209 s	Remaining CPU time: 159.679 s
20.48/20.55	c ===============================================================================
20.48/20.55	c |     29863 |    2015    63114   202662 |    21038    12741     88 |  0.494 % |
20.59/20.62	c |     29968 |    2015    63114   202662 |    23141    12846     88 |  0.494 % |
20.59/20.69	c |     30118 |    2015    63114   202662 |    25455    12996     88 |  0.494 % |
20.69/20.75	c ===============================================================================
20.69/20.75	c New solution: -113
20.69/20.75	o -113
20.69/20.75	c Elapsed CPU time: 20.5149 s	Remaining CPU time: 159.485 s
20.69/20.75	c ===============================================================================
20.69/20.75	c |     30272 |    2015    63115   202797 |    21038    13150     88 |  0.494 % |
20.69/20.78	c |     30373 |    2015    63115   202797 |    23142    13251     88 |  0.494 % |
20.79/20.80	c ===============================================================================
20.79/20.80	c New solution: -114
20.79/20.80	o -114
20.79/20.80	c Elapsed CPU time: 20.5679 s	Remaining CPU time: 159.432 s
20.79/20.80	c ===============================================================================
20.79/20.80	c |     30387 |    2015    63116   202932 |    21038    13265     88 |  0.494 % |
20.79/20.84	c |     30487 |    2015    63116   202932 |    23142    13365     88 |  0.494 % |
20.79/20.87	c ===============================================================================
20.79/20.87	c New solution: -115
20.79/20.87	o -115
20.79/20.87	c Elapsed CPU time: 20.6319 s	Remaining CPU time: 159.368 s
20.79/20.87	c ===============================================================================
20.79/20.87	c |     30534 |    2015    63117   203067 |    21039    13412     88 |  0.494 % |
20.89/20.92	c |     30638 |    2015    63117   203067 |    23142    13516     88 |  0.494 % |
20.98/21.01	c |     30788 |    2015    63117   203067 |    25457    13666     88 |  0.494 % |
21.08/21.12	c |     31014 |    2015    63117   203067 |    28002    13892     88 |  0.494 % |
21.18/21.23	c ===============================================================================
21.18/21.23	c New solution: -116
21.18/21.23	o -116
21.18/21.23	c Elapsed CPU time: 20.9848 s	Remaining CPU time: 159.015 s
21.18/21.23	c ===============================================================================
21.18/21.23	c |     31338 |    2015    63118   203202 |    21039    14216     88 |  0.494 % |
21.18/21.24	c ===============================================================================
21.18/21.24	c New solution: -117
21.18/21.24	o -117
21.18/21.24	c Elapsed CPU time: 20.9978 s	Remaining CPU time: 159.002 s
21.18/21.24	c ===============================================================================
21.18/21.24	c |     31338 |    2015    63119   203337 |    21039    14216     88 |  0.494 % |
21.18/21.29	c |     31439 |    2015    63119   203337 |    23143    14317     88 |  0.494 % |
21.29/21.38	c |     31589 |    2015    63119   203337 |    25457    14467     88 |  0.494 % |
21.39/21.49	c |     31816 |    2015    63119   203337 |    28003    14694     88 |  0.494 % |
21.59/21.63	c |     32153 |    2015    63119   203337 |    30804    15031     88 |  0.494 % |
21.79/21.86	c |     32660 |    2015    63119   203337 |    33884    15538     88 |  0.494 % |
22.08/22.19	c |     33420 |    2015    63119   203337 |    37273    16298     88 |  0.494 % |
22.79/22.83	c |     34559 |    2015    63119   203337 |    41000    17437     87 |  0.494 % |
23.88/23.97	c |     36268 |    2015    63119   203337 |    45100    19146     87 |  0.494 % |
26.19/26.23	c |     38831 |    2015    63119   203337 |    49610    21709     87 |  0.494 % |
29.78/29.90	c |     42676 |    2015    63119   203337 |    54571    25554     86 |  0.494 % |
32.78/32.83	c |     48442 |    2015    63119   203337 |    60028    31320     87 |  0.494 % |
38.18/38.29	c ===============================================================================
38.18/38.29	c New solution: -118
38.18/38.29	o -118
38.18/38.29	c Elapsed CPU time: 37.9472 s	Remaining CPU time: 142.053 s
38.18/38.29	c ===============================================================================
38.18/38.29	c |     54154 |    2015    63120   203472 |    21040    37032     87 |  0.494 % |
38.98/39.07	c |     54254 |    2015    63120   203472 |    23144    11497     85 |  0.494 % |
39.08/39.17	c |     54404 |    2015    63120   203472 |    25458    11647     85 |  0.494 % |
39.28/39.30	c |     54632 |    2015    63120   203472 |    28004    11875     85 |  0.494 % |
39.38/39.44	c |     54970 |    2015    63120   203472 |    30804    12213     85 |  0.494 % |
39.49/39.53	c ===============================================================================
39.49/39.53	c New solution: -119
39.49/39.53	o -119
39.49/39.53	c Elapsed CPU time: 39.186 s	Remaining CPU time: 140.814 s
39.49/39.53	c ===============================================================================
39.49/39.53	c |     55130 |    2015    63121   203607 |    21040    12373     85 |  0.494 % |
39.49/39.56	c ===============================================================================
39.49/39.56	c New solution: -120
39.49/39.56	o -120
39.49/39.56	c Elapsed CPU time: 39.213 s	Remaining CPU time: 140.787 s
39.49/39.56	c ===============================================================================
39.49/39.56	c |     55151 |    2015    63122   203742 |    21040    12394     85 |  0.494 % |
39.49/39.57	c ===============================================================================
39.49/39.57	c New solution: -121
39.49/39.57	o -121
39.49/39.57	c Elapsed CPU time: 39.229 s	Remaining CPU time: 140.771 s
39.49/39.57	c ===============================================================================
39.49/39.57	c |     55152 |    2015    63123   203877 |    21041    12395     85 |  0.494 % |
39.58/39.62	c |     55252 |    2015    63123   203877 |    23145    12495     85 |  0.494 % |
39.68/39.70	c |     55402 |    2015    63123   203877 |    25459    12645     85 |  0.494 % |
39.78/39.83	c |     55628 |    2015    63123   203877 |    28005    12871     85 |  0.494 % |
39.98/40.05	c |     55967 |    2015    63123   203877 |    30806    13210     85 |  0.494 % |
40.38/40.45	c |     56474 |    2015    63123   203877 |    33886    13717     85 |  0.494 % |
40.78/40.85	c |     57233 |    2015    63123   203877 |    37275    14476     85 |  0.494 % |
41.38/41.47	c |     58372 |    2015    63123   203877 |    41002    15615     85 |  0.494 % |
42.68/42.78	c |     60081 |    2015    63123   203877 |    45103    17324     85 |  0.494 % |
42.78/42.83	c ===============================================================================
42.78/42.83	c New solution: -122
42.78/42.83	o -122
42.78/42.83	c Elapsed CPU time: 42.4585 s	Remaining CPU time: 137.541 s
42.78/42.83	c ===============================================================================
42.78/42.83	c |     60135 |    2015    63124   204012 |    21041    17378     85 |  0.494 % |
42.78/42.84	c ===============================================================================
42.78/42.84	c New solution: -123
42.78/42.84	o -123
42.78/42.84	c Elapsed CPU time: 42.4745 s	Remaining CPU time: 137.525 s
42.78/42.84	c ===============================================================================
42.78/42.84	c |     60137 |    2015    63125   204147 |    21041    17380     85 |  0.494 % |
42.78/42.90	c |     60238 |    2015    63125   204147 |    23145    17481     85 |  0.494 % |
42.89/42.98	c |     60388 |    2015    63125   204147 |    25460    17631     85 |  0.494 % |
43.08/43.18	c |     60617 |    2015    63125   204147 |    28006    17860     85 |  0.494 % |
43.38/43.45	c |     60956 |    2015    63125   204147 |    30807    18199     85 |  0.494 % |
43.78/43.85	c |     61462 |    2015    63125   204147 |    33887    18705     85 |  0.494 % |
44.28/44.35	c |     62222 |    2015    63125   204147 |    37276    19465     85 |  0.494 % |
45.09/45.11	c |     63362 |    2015    63125   204147 |    41004    20605     85 |  0.494 % |
45.87/45.92	c |     65072 |    2015    63125   204147 |    45104    22315     85 |  0.494 % |
47.18/47.21	c |     67635 |    2015    63125   204147 |    49615    24878     85 |  0.494 % |
49.67/49.76	c |     71480 |    2015    63125   204147 |    54576    28723     85 |  0.494 % |
54.28/54.35	c |     77246 |    2015    63125   204147 |    60034    34489     85 |  0.494 % |
62.58/62.62	c |     85895 |    2015    63125   204147 |    66037    43138     85 |  0.494 % |
70.48/70.55	c ===============================================================================
70.48/70.55	c New solution: -124
70.48/70.55	o -124
70.48/70.55	c Elapsed CPU time: 70.0184 s	Remaining CPU time: 109.982 s
70.48/70.55	c ===============================================================================
70.48/70.55	c |     92113 |    2015    63126   204282 |    21042    49356     85 |  0.494 % |
71.17/71.26	c |     92214 |    2015    63126   204282 |    23146    11864     83 |  0.494 % |
71.27/71.32	c |     92365 |    2015    63126   204282 |    25460    12015     83 |  0.494 % |
71.38/71.43	c |     92591 |    2015    63126   204282 |    28006    12241     84 |  0.494 % |
71.57/71.62	c |     92929 |    2015    63126   204282 |    30807    12579     84 |  0.494 % |
71.87/71.93	c |     93435 |    2015    63126   204282 |    33888    13085     84 |  0.494 % |
72.37/72.41	c |     94196 |    2015    63126   204282 |    37277    13846     84 |  0.494 % |
72.97/73.01	c |     95335 |    2015    63126   204282 |    41004    14985     84 |  0.494 % |
73.87/73.96	c |     97043 |    2015    63126   204282 |    45105    16693     84 |  0.494 % |
75.67/75.77	c |     99606 |    2015    63126   204282 |    49615    19256     84 |  0.494 % |
76.07/76.11	c ===============================================================================
76.07/76.11	c New solution: -125
76.07/76.11	o -125
76.07/76.11	c Elapsed CPU time: 75.5515 s	Remaining CPU time: 104.448 s
76.07/76.11	c ===============================================================================
76.07/76.11	c |    100002 |    2015    63127   204417 |    21042    19652     84 |  0.494 % |
76.07/76.17	c |    100104 |    2015    63127   204417 |    23146    19754     84 |  0.494 % |
76.27/76.33	c |    100254 |    2015    63127   204417 |    25461    19904     84 |  0.494 % |
76.47/76.57	c |    100481 |    2015    63127   204417 |    28007    20131     84 |  0.494 % |
76.77/76.81	c |    100819 |    2015    63127   204417 |    30808    20469     84 |  0.494 % |
76.97/77.08	c ===============================================================================
76.97/77.08	c New solution: -126
76.97/77.08	o -126
76.97/77.08	c Elapsed CPU time: 76.5254 s	Remaining CPU time: 103.475 s
76.97/77.08	c ===============================================================================
76.97/77.08	c |    101151 |    2015    63128   204552 |    21042    20801     84 |  0.494 % |
77.07/77.16	c |    101252 |    2015    63128   204552 |    23146    20902     84 |  0.494 % |
77.17/77.22	c ===============================================================================
77.17/77.22	c New solution: -127
77.17/77.22	o -127
77.17/77.22	c Elapsed CPU time: 76.6623 s	Remaining CPU time: 103.338 s
77.17/77.22	c ===============================================================================
77.17/77.22	c |    101373 |    2015    63129   204687 |    21043    21023     84 |  0.494 % |
77.17/77.28	c |    101473 |    2015    63129   204687 |    23147    21123     84 |  0.494 % |
77.37/77.40	c |    101623 |    2015    63129   204687 |    25462    21273     84 |  0.494 % |
77.47/77.51	c |    101848 |    2015    63129   204687 |    28008    21498     84 |  0.494 % |
77.47/77.53	c ===============================================================================
77.47/77.53	c New solution: -128
77.47/77.53	o -128
77.47/77.53	c Elapsed CPU time: 76.9633 s	Remaining CPU time: 103.037 s
77.47/77.53	c ===============================================================================
77.47/77.53	c |    101848 |    2015    63130   204822 |    21043    21498     84 |  0.494 % |
77.57/77.67	c ===============================================================================
77.57/77.67	c New solution: -129
77.57/77.67	o -129
77.57/77.67	c Elapsed CPU time: 77.1033 s	Remaining CPU time: 102.897 s
77.57/77.67	c ===============================================================================
77.57/77.67	c |    101857 |    2015    63131   204957 |    21043    10758     83 |  0.494 % |
77.57/77.68	c ===============================================================================
77.57/77.68	c New solution: -130
77.57/77.68	o -130
77.57/77.68	c Elapsed CPU time: 77.1183 s	Remaining CPU time: 102.882 s
77.57/77.68	c ===============================================================================
77.57/77.68	c |    101857 |    2015    63132   205092 |    21044    10758     83 |  0.494 % |
77.67/77.72	c |    101958 |    2015    63132   205092 |    23148    10859     83 |  0.494 % |
77.77/77.80	c |    102109 |    2015    63132   205092 |    25463    11010     83 |  0.494 % |
77.87/77.91	c |    102334 |    2015    63132   205092 |    28009    11235     83 |  0.494 % |
77.98/78.09	c |    102671 |    2015    63132   205092 |    30810    11572     83 |  0.494 % |
78.27/78.34	c |    103179 |    2015    63132   205092 |    33891    12080     83 |  0.494 % |
78.67/78.78	c |    103938 |    2015    63132   205092 |    37280    12839     83 |  0.494 % |
79.27/79.32	c |    105077 |    2015    63132   205092 |    41008    13978     83 |  0.494 % |
80.27/80.35	c |    106785 |    2015    63132   205092 |    45109    15686     83 |  0.494 % |
80.37/80.43	c ===============================================================================
80.37/80.43	c New solution: -131
80.37/80.43	o -131
80.37/80.43	c Elapsed CPU time: 79.8409 s	Remaining CPU time: 100.159 s
80.37/80.43	c ===============================================================================
80.37/80.43	c |    106935 |    2015    63133   205227 |    21044    15836     83 |  0.494 % |
80.37/80.48	c |    107035 |    2015    63133   205227 |    23148    15936     83 |  0.494 % |
80.46/80.57	c |    107188 |    2015    63133   205227 |    25463    16089     83 |  0.494 % |
80.57/80.69	c |    107414 |    2015    63133   205227 |    28010    16315     83 |  0.494 % |
80.77/80.86	c |    107751 |    2015    63133   205227 |    30811    16652     83 |  0.494 % |
81.07/81.16	c |    108258 |    2015    63133   205227 |    33892    17159     83 |  0.494 % |
81.56/81.64	c |    109018 |    2015    63133   205227 |    37281    17919     83 |  0.494 % |
82.27/82.36	c |    110157 |    2015    63133   205227 |    41009    19058     83 |  0.494 % |
83.58/83.64	c |    111868 |    2015    63133   205227 |    45110    20769     83 |  0.494 % |
85.77/85.85	c |    114434 |    2015    63133   205227 |    49621    23335     83 |  0.494 % |
88.86/89.00	c |    118278 |    2015    63133   205227 |    54583    27179     82 |  0.494 % |
92.17/92.22	c ===============================================================================
92.17/92.22	c New solution: -132
92.17/92.22	o -132
92.17/92.22	c Elapsed CPU time: 91.5531 s	Remaining CPU time: 88.4469 s
92.17/92.22	c ===============================================================================
92.17/92.22	c |    122058 |    2015    63134   205362 |    21044    30959     82 |  0.494 % |
92.37/92.45	c ===============================================================================
92.37/92.45	c New solution: -133
92.37/92.45	o -133
92.37/92.45	c Elapsed CPU time: 91.78 s	Remaining CPU time: 88.22 s
92.37/92.45	c ===============================================================================
92.37/92.45	c |    122064 |    2015    63135   205497 |    21045    11299     79 |  0.494 % |
92.46/92.51	c |    122167 |    2015    63135   205497 |    23149    11402     79 |  0.494 % |
92.46/92.57	c |    122317 |    2015    63135   205497 |    25464    11552     79 |  0.494 % |
92.46/92.59	c ===============================================================================
92.46/92.59	c New solution: -134
92.46/92.59	o -134
92.46/92.59	c Elapsed CPU time: 91.915 s	Remaining CPU time: 88.085 s
92.46/92.59	c ===============================================================================
92.46/92.59	c |    122324 |    2015    63136   205632 |    21045    11559     79 |  0.494 % |
92.56/92.60	c ===============================================================================
92.56/92.60	c New solution: -135
92.56/92.60	o -135
92.56/92.60	c Elapsed CPU time: 91.93 s	Remaining CPU time: 88.07 s
92.56/92.60	c ===============================================================================
92.56/92.60	c |    122324 |    2015    63137   205767 |    21045    11559     79 |  0.494 % |
92.56/92.65	c |    122425 |    2015    63137   205767 |    23150    11660     79 |  0.494 % |
92.66/92.72	c |    122576 |    2015    63137   205767 |    25465    11811     79 |  0.494 % |
92.77/92.81	c |    122801 |    2015    63137   205767 |    28011    12036     79 |  0.494 % |
92.87/92.99	c |    123139 |    2015    63137   205767 |    30812    12374     79 |  0.494 % |
93.16/93.26	c |    123645 |    2015    63137   205767 |    33894    12880     79 |  0.494 % |
93.67/93.70	c |    124407 |    2015    63137   205767 |    37283    13642     79 |  0.494 % |
94.36/94.44	c |    125548 |    2015    63137   205767 |    41012    14783     79 |  0.494 % |
95.57/95.66	c |    127256 |    2015    63137   205767 |    45113    16491     80 |  0.494 % |
96.16/96.20	c ===============================================================================
96.16/96.20	c New solution: -136
96.16/96.20	o -136
96.16/96.20	c Elapsed CPU time: 95.4965 s	Remaining CPU time: 84.5035 s
96.16/96.20	c ===============================================================================
96.16/96.20	c |    128247 |    2015    63138   205902 |    21046    17482     80 |  0.494 % |
96.16/96.27	c |    128348 |    2015    63138   205902 |    23150    17583     80 |  0.494 % |
96.26/96.39	c ===============================================================================
96.26/96.39	c New solution: -137
96.26/96.39	o -137
96.26/96.39	c Elapsed CPU time: 95.6865 s	Remaining CPU time: 84.3135 s
96.26/96.39	c ===============================================================================
96.26/96.39	c |    128479 |    2015    63139   206037 |    21046    17714     80 |  0.494 % |
96.36/96.47	c |    128580 |    2015    63139   206037 |    23150    17815     80 |  0.494 % |
96.47/96.57	c |    128731 |    2015    63139   206037 |    25466    17966     80 |  0.494 % |
96.67/96.75	c |    128960 |    2015    63139   206037 |    28012    18195     80 |  0.494 % |
96.96/97.02	c |    129298 |    2015    63139   206037 |    30813    18533     80 |  0.494 % |
97.36/97.40	c |    129804 |    2015    63139   206037 |    33895    19039     80 |  0.494 % |
97.97/98.02	c |    130564 |    2015    63139   206037 |    37284    19799     80 |  0.494 % |
98.76/98.87	c |    131705 |    2015    63139   206037 |    41013    20940     79 |  0.494 % |
99.76/99.86	c |    133414 |    2015    63139   206037 |    45114    22649     79 |  0.494 % |
101.76/101.81	c |    135978 |    2015    63139   206037 |    49626    25213     79 |  0.494 % |
105.47/105.50	c |    139823 |    2015    63139   206037 |    54588    29058     79 |  0.494 % |
111.56/111.67	c |    145589 |    2015    63139   206037 |    60047    34824     79 |  0.494 % |
119.76/119.88	c |    154241 |    2015    63139   206037 |    66052    43476     79 |  0.494 % |
120.66/120.77	c ===============================================================================
120.66/120.77	c New solution: -138
120.66/120.77	o -138
120.66/120.77	c Elapsed CPU time: 119.939 s	Remaining CPU time: 60.0612 s
120.66/120.77	c ===============================================================================
120.66/120.77	c |    154873 |    2015    63140   206172 |    21046    44108     79 |  0.494 % |
121.06/121.18	c |    154973 |    2015    63140   206172 |    23151    11829     77 |  0.494 % |
121.16/121.25	c |    155123 |    2015    63140   206172 |    25466    11979     77 |  0.494 % |
121.26/121.35	c |    155349 |    2015    63140   206172 |    28013    12205     77 |  0.494 % |
121.46/121.53	c |    155686 |    2015    63140   206172 |    30814    12542     77 |  0.494 % |
121.75/121.87	c |    156193 |    2015    63140   206172 |    33895    13049     77 |  0.494 % |
122.16/122.24	c |    156952 |    2015    63140   206172 |    37285    13808     77 |  0.494 % |
122.76/122.83	c ===============================================================================
122.76/122.83	c New solution: -139
122.76/122.83	o -139
122.76/122.83	c Elapsed CPU time: 121.981 s	Remaining CPU time: 58.0185 s
122.76/122.83	c ===============================================================================
122.76/122.83	c |    157987 |    2015    63141   206307 |    21047    14843     77 |  0.494 % |
122.76/122.87	c ===============================================================================
122.76/122.87	c New solution: -140
122.76/122.87	o -140
122.76/122.87	c Elapsed CPU time: 122.02 s	Remaining CPU time: 57.9796 s
122.76/122.87	c ===============================================================================
122.76/122.87	c |    158027 |    2015    63142   206442 |    21047    14883     77 |  0.494 % |
122.86/122.94	c |    158127 |    2015    63142   206442 |    23152    14983     77 |  0.494 % |
122.96/123.04	c |    158277 |    2015    63142   206442 |    25467    15133     77 |  0.494 % |
123.06/123.19	c |    158502 |    2015    63142   206442 |    28014    15358     77 |  0.494 % |
123.36/123.40	c |    158840 |    2015    63142   206442 |    30815    15696     77 |  0.494 % |
123.66/123.76	c |    159349 |    2015    63142   206442 |    33896    16205     77 |  0.494 % |
124.16/124.26	c |    160109 |    2015    63142   206442 |    37286    16965     77 |  0.494 % |
124.76/124.82	c |    161250 |    2015    63142   206442 |    41015    18106     77 |  0.494 % |
125.56/125.69	c |    162958 |    2015    63142   206442 |    45116    19814     78 |  0.494 % |
126.96/127.08	c |    165523 |    2015    63142   206442 |    49628    22379     78 |  0.494 % |
130.36/130.41	c |    169367 |    2015    63142   206442 |    54591    26223     77 |  0.494 % |
136.26/136.33	c |    175133 |    2015    63142   206442 |    60050    31989     77 |  0.494 % |
142.35/142.48	c |    183783 |    2015    63142   206442 |    66055    40639     78 |  0.494 % |
152.15/152.21	c |    196758 |    2015    63142   206442 |    72661    53614     78 |  0.494 % |
175.44/175.50	c |    216219 |    2015    63142   206442 |    79927    12480     74 |  0.494 % |
177.65/177.72	c ===============================================================================
177.65/177.72	c New solution: -141
177.65/177.72	o -141
177.65/177.72	c Elapsed CPU time: 176.621 s	Remaining CPU time: 3.37885 s
177.65/177.72	c ===============================================================================
177.65/177.72	c |    220656 |    2015    63143   206577 |    21047    16917     74 |  0.494 % |
177.65/177.76	c |    220756 |    2015    63143   206577 |    23152    17017     74 |  0.494 % |
177.75/177.86	c |    220906 |    2015    63143   206577 |    25467    17167     74 |  0.494 % |
177.94/178.02	c |    221132 |    2015    63143   206577 |    28014    17393     75 |  0.494 % |
178.15/178.24	c |    221470 |    2015    63143   206577 |    30815    17731     75 |  0.494 % |
178.54/178.63	c |    221980 |    2015    63143   206577 |    33897    18241     75 |  0.494 % |
179.04/179.10	c |    222741 |    2015    63143   206577 |    37287    19002     75 |  0.494 % |
179.74/179.83	c |    223884 |    2015    63143   206577 |    41015    20145     75 |  0.494 % |
180.74/180.80	c |    225593 |    2015    63143   206577 |    45117    21854     75 |  0.494 % |
181.04/181.11	c There are 10 assigned variables. 10 in cost function.
187.64/187.71	c core #1
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 8	Core Weight: 1	Total Weight: -298
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #2
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 9	Core Weight: 1	Total Weight: -297
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #3
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 9	Core Weight: 2	Total Weight: -295
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #4
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 10	Core Weight: 1	Total Weight: -294
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #5
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 11	Core Weight: 1	Total Weight: -293
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #6
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 8	Core Weight: 1	Total Weight: -292
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #7
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 9	Core Weight: 1	Total Weight: -291
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #8
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 10	Core Weight: 2	Total Weight: -289
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #9
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 7	Core Weight: 1	Total Weight: -288
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #10
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 8	Core Weight: 1	Total Weight: -287
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #11
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 11	Core Weight: 2	Total Weight: -285
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #12
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 9	Core Weight: 1	Total Weight: -284
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #13
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 8	Core Weight: 1	Total Weight: -283
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #14
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 8	Core Weight: 1	Total Weight: -282
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #15
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 9	Core Weight: 1	Total Weight: -281
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #16
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 10	Core Weight: 1	Total Weight: -280
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #17
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 13	Core Weight: 1	Total Weight: -279
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #18
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 15	Core Weight: 1	Total Weight: -278
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #19
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 17	Core Weight: 1	Total Weight: -277
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #20
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 18	Core Weight: 2	Total Weight: -275
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #21
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 12	Core Weight: 1	Total Weight: -274
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #22
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 13	Core Weight: 1	Total Weight: -273
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #23
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 15	Core Weight: 2	Total Weight: -271
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #24
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 15	Core Weight: 1	Total Weight: -270
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #25
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 15	Core Weight: 1	Total Weight: -269
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #26
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 15	Core Weight: 1	Total Weight: -268
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #27
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 15	Core Weight: 1	Total Weight: -267
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #28
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 9	Core Weight: 1	Total Weight: -266
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #29
187.64/187.71	c 
187.64/187.71	c 
187.64/187.71	c Core size: 10	Core Weight: 1	Total Weight: -265
187.64/187.71	c
187.64/187.71	c
187.64/187.71	c core #30
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 10	Core Weight: 1	Total Weight: -264
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #31
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 20	Core Weight: 1	Total Weight: -263
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #32
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 20	Core Weight: 1	Total Weight: -262
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #33
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 8	Core Weight: 1	Total Weight: -261
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #34
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 9	Core Weight: 1	Total Weight: -260
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #35
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 8	Core Weight: 2	Total Weight: -258
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #36
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 11	Core Weight: 1	Total Weight: -257
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #37
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 7	Core Weight: 2	Total Weight: -255
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #38
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 9	Core Weight: 1	Total Weight: -254
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #39
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 16	Core Weight: 1	Total Weight: -253
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #40
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 14	Core Weight: 1	Total Weight: -252
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #41
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 14	Core Weight: 1	Total Weight: -251
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #42
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 19	Core Weight: 1	Total Weight: -250
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #43
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 19	Core Weight: 1	Total Weight: -249
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #44
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 30	Core Weight: 1	Total Weight: -248
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #45
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 7	Core Weight: 3	Total Weight: -245
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #46
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 10	Core Weight: 1	Total Weight: -244
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #47
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 10	Core Weight: 1	Total Weight: -243
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #48
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 12	Core Weight: 1	Total Weight: -242
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #49
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 18	Core Weight: 1	Total Weight: -241
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #50
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 26	Core Weight: 1	Total Weight: -240
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #51
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 16	Core Weight: 2	Total Weight: -238
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #52
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 9	Core Weight: 1	Total Weight: -237
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #53
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 14	Core Weight: 1	Total Weight: -236
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #54
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 18	Core Weight: 1	Total Weight: -235
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #55
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 23	Core Weight: 1	Total Weight: -234
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #56
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 28	Core Weight: 1	Total Weight: -233
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #57
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 8	Core Weight: 1	Total Weight: -232
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #58
187.64/187.72	c 
187.64/187.72	c 
187.64/187.72	c Core size: 8	Core Weight: 2	Total Weight: -230
187.64/187.72	c
187.64/187.72	c
187.64/187.72	c core #59
188.14/188.24	c 
188.14/188.24	c 
188.14/188.24	c Core size: 14	Core Weight: 1	Total Weight: -229
188.14/188.24	c
188.14/188.24	c
188.14/188.24	c core #60
188.14/188.24	c 
188.14/188.24	c 
188.14/188.24	c Core size: 14	Core Weight: 1	Total Weight: -228
188.14/188.24	c
188.14/188.24	c
188.14/188.24	c core #61
188.14/188.24	c 
188.14/188.24	c 
188.14/188.24	c Core size: 16	Core Weight: 1	Total Weight: -227
188.14/188.24	c
188.14/188.24	c
188.14/188.24	c core #62
188.14/188.24	c 
188.14/188.24	c 
188.14/188.24	c Core size: 14	Core Weight: 1	Total Weight: -226
188.14/188.24	c
188.14/188.24	c
188.14/188.24	c ============================[ Search Statistics ]==============================
188.14/188.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.14/188.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.14/188.24	c ===============================================================================
188.14/188.24	c |         0 |    2276    63626   202489 |    21208        0    nan |  0.000 % |
188.14/188.24	c ===============================================================================
188.24/188.37	c core #63
188.24/188.37	c 
188.24/188.37	c 
188.24/188.37	c Core size: 13	Core Weight: 1	Total Weight: -225
188.24/188.37	c
188.24/188.37	c
188.24/188.37	c ============================[ Search Statistics ]==============================
188.24/188.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.24/188.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.24/188.37	c ===============================================================================
188.24/188.37	c |         0 |    2285    63628   202506 |    21209        0    nan |  0.000 % |
188.24/188.38	c ===============================================================================
188.44/188.51	c core #64
188.44/188.51	c 
188.44/188.51	c 
188.44/188.51	c Core size: 12	Core Weight: 1	Total Weight: -224
188.44/188.51	c
188.44/188.51	c
188.44/188.51	c ============================[ Search Statistics ]==============================
188.44/188.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.44/188.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.44/188.51	c ===============================================================================
188.44/188.51	c |         0 |    2291    63629   202518 |    21209        0    nan |  0.000 % |
188.44/188.52	c ===============================================================================
188.54/188.64	c core #65
188.54/188.64	c 
188.54/188.64	c 
188.54/188.64	c Core size: 17	Core Weight: 1	Total Weight: -223
188.54/188.64	c
188.54/188.64	c
188.54/188.64	c ============================[ Search Statistics ]==============================
188.54/188.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.54/188.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.54/188.64	c ===============================================================================
188.54/188.64	c |         0 |    2307    63630   203443 |    21210        0    nan |  0.000 % |
188.54/188.66	c ===============================================================================
188.64/188.78	c core #66
188.64/188.78	c 
188.64/188.78	c 
188.64/188.78	c Core size: 12	Core Weight: 1	Total Weight: -222
188.64/188.78	c
188.64/188.78	c
188.64/188.78	c ============================[ Search Statistics ]==============================
188.64/188.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.64/188.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.64/188.78	c ===============================================================================
188.64/188.78	c |         0 |    2316    63631   203472 |    21210        0    nan |  0.000 % |
188.64/188.79	c ===============================================================================
188.84/188.91	c core #67
188.84/188.91	c 
188.84/188.91	c 
188.84/188.91	c Core size: 21	Core Weight: 1	Total Weight: -221
188.84/188.91	c
188.84/188.91	c
188.84/188.91	c ============================[ Search Statistics ]==============================
188.84/188.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.84/188.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.84/188.91	c ===============================================================================
188.84/188.91	c |         0 |    2332    63635   204149 |    21211        0    nan |  0.000 % |
188.84/188.93	c ===============================================================================
188.94/189.05	c core #68
188.94/189.05	c 
188.94/189.05	c 
188.94/189.05	c Core size: 10	Core Weight: 1	Total Weight: -220
188.94/189.05	c
188.94/189.05	c
188.94/189.05	c ============================[ Search Statistics ]==============================
188.94/189.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.94/189.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.94/189.05	c ===============================================================================
188.94/189.05	c |         0 |    2337    63637   204161 |    21212        0    nan |  0.000 % |
188.94/189.06	c ===============================================================================
189.04/189.19	c core #69
189.04/189.19	c 
189.04/189.19	c 
189.04/189.19	c Core size: 9	Core Weight: 1	Total Weight: -219
189.04/189.19	c
189.04/189.19	c
189.04/189.19	c ============================[ Search Statistics ]==============================
189.04/189.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.04/189.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.04/189.19	c ===============================================================================
189.04/189.19	c |         0 |    2342    63638   204171 |    21212        0    nan |  0.000 % |
189.14/189.21	c ===============================================================================
189.24/189.33	c core #70
189.24/189.33	c 
189.24/189.33	c 
189.24/189.33	c Core size: 18	Core Weight: 1	Total Weight: -218
189.24/189.33	c
189.24/189.33	c
189.24/189.33	c ============================[ Search Statistics ]==============================
189.24/189.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.24/189.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.24/189.33	c ===============================================================================
189.24/189.33	c |         0 |    2365    63644   205227 |    21214        0    nan |  0.000 % |
189.24/189.34	c ===============================================================================
189.34/189.47	c core #71
189.34/189.47	c 
189.34/189.47	c 
189.34/189.47	c Core size: 15	Core Weight: 1	Total Weight: -217
189.34/189.47	c
189.34/189.47	c
189.34/189.47	c ============================[ Search Statistics ]==============================
189.34/189.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.34/189.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.34/189.47	c ===============================================================================
189.34/189.47	c |         0 |    2372    63649   205246 |    21216        0    nan |  0.000 % |
189.34/189.48	c ===============================================================================
189.54/189.61	c core #72
189.54/189.61	c 
189.54/189.61	c 
189.54/189.61	c Core size: 12	Core Weight: 1	Total Weight: -216
189.54/189.61	c
189.54/189.61	c
189.54/189.61	c ============================[ Search Statistics ]==============================
189.54/189.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.54/189.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.54/189.61	c ===============================================================================
189.54/189.61	c |         0 |    2380    63652   205266 |    21217        0    nan |  0.000 % |
189.54/189.63	c ===============================================================================
189.64/189.75	c core #73
189.64/189.75	c 
189.64/189.75	c 
189.64/189.75	c Core size: 19	Core Weight: 1	Total Weight: -215
189.64/189.75	c
189.64/189.75	c
189.64/189.75	c ============================[ Search Statistics ]==============================
189.64/189.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.64/189.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.64/189.75	c ===============================================================================
189.64/189.75	c |         0 |    2390    63654   205285 |    21218        0    nan |  0.000 % |
189.64/189.76	c ===============================================================================
189.74/189.89	c core #74
189.74/189.89	c 
189.74/189.89	c 
189.74/189.89	c Core size: 12	Core Weight: 1	Total Weight: -214
189.74/189.89	c
189.74/189.89	c
189.74/189.89	c ============================[ Search Statistics ]==============================
189.74/189.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.74/189.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.74/189.89	c ===============================================================================
189.74/189.89	c |         0 |    2398    63657   205305 |    21219        0    nan |  0.000 % |
189.84/189.91	c ===============================================================================
189.94/190.04	c core #75
189.94/190.04	c 
189.94/190.04	c 
189.94/190.04	c Core size: 39	Core Weight: 1	Total Weight: -213
189.94/190.04	c
189.94/190.04	c
189.94/190.04	c ============================[ Search Statistics ]==============================
189.94/190.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.94/190.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.94/190.04	c ===============================================================================
189.94/190.04	c |         0 |    2430    63659   205368 |    21219        0    nan |  0.000 % |
189.94/190.07	c ===============================================================================
190.04/190.19	c core #76
190.04/190.19	c 
190.04/190.19	c 
190.04/190.19	c Core size: 30	Core Weight: 1	Total Weight: -212
190.04/190.19	c
190.04/190.19	c
190.04/190.19	c ============================[ Search Statistics ]==============================
190.04/190.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.04/190.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.04/190.19	c ===============================================================================
190.04/190.19	c |         0 |    2446    63663   205406 |    21221        0    nan |  0.000 % |
190.14/190.22	c ===============================================================================
190.24/190.35	c core #77
190.24/190.35	c 
190.24/190.35	c 
190.24/190.35	c Core size: 26	Core Weight: 1	Total Weight: -211
190.24/190.35	c
190.24/190.35	c
190.24/190.35	c ============================[ Search Statistics ]==============================
190.24/190.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.24/190.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.24/190.35	c ===============================================================================
190.24/190.35	c |         0 |    2459    63664   205432 |    21221        0    nan |  0.000 % |
190.24/190.38	c ===============================================================================
190.44/190.50	c core #78
190.44/190.50	c 
190.44/190.50	c 
190.44/190.50	c Core size: 27	Core Weight: 1	Total Weight: -210
190.44/190.50	c
190.44/190.50	c
190.44/190.50	c ============================[ Search Statistics ]==============================
190.44/190.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.44/190.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.44/190.50	c ===============================================================================
190.44/190.50	c |         0 |    2476    63666   205468 |    21222        0    nan |  0.000 % |
190.44/190.55	c ===============================================================================
190.54/190.67	c core #79
190.54/190.67	c 
190.54/190.67	c 
190.54/190.67	c Core size: 50	Core Weight: 1	Total Weight: -209
190.54/190.67	c
190.54/190.67	c
190.54/190.67	c ============================[ Search Statistics ]==============================
190.54/190.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.54/190.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.54/190.67	c ===============================================================================
190.54/190.67	c |         0 |    2517    63667   205550 |    21222        0    nan |  0.000 % |
190.63/190.73	c ===============================================================================
190.73/190.86	c core #80
190.73/190.86	c 
190.73/190.86	c 
190.73/190.86	c Core size: 110	Core Weight: 1	Total Weight: -208
190.73/190.86	c
190.73/190.86	c
190.73/190.86	c ============================[ Search Statistics ]==============================
190.73/190.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.73/190.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.73/190.86	c ===============================================================================
190.73/190.86	c |         0 |    2600    63673   206816 |    21224        0    nan |  0.000 % |
190.83/190.93	c |       100 |    2598    63673   206816 |    23346      100      8 |  0.652 % |
190.83/190.95	c ===============================================================================
190.93/191.08	c core #81
190.93/191.08	c 
190.93/191.08	c 
190.93/191.08	c Core size: 125	Core Weight: 1	Total Weight: -207
190.93/191.08	c
190.93/191.08	c
190.93/191.08	c ============================[ Search Statistics ]==============================
190.93/191.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.93/191.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.93/191.08	c ===============================================================================
190.93/191.08	c |         0 |    2705    63677   207032 |    21225        0    nan |  0.000 % |
191.03/191.15	c ===============================================================================
191.13/191.28	c core #82
191.13/191.28	c 
191.13/191.28	c 
191.13/191.28	c Core size: 101	Core Weight: 1	Total Weight: -206
191.13/191.28	c
191.13/191.28	c
191.13/191.28	c ============================[ Search Statistics ]==============================
191.13/191.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.13/191.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.13/191.28	c ===============================================================================
191.13/191.28	c |         0 |    2791    63683   207216 |    21227        0    nan |  0.000 % |
191.25/191.33	c |       105 |    2789    63683   207216 |    23350      105     10 |  0.428 % |
191.25/191.40	c |       258 |    2787    63683   207216 |    25685      258     12 |  0.821 % |
191.35/191.48	c ===============================================================================
191.54/191.60	c core #83
191.54/191.60	c 
191.54/191.60	c 
191.54/191.60	c Core size: 120	Core Weight: 1	Total Weight: -205
191.54/191.60	c
191.54/191.60	c
191.54/191.60	c ============================[ Search Statistics ]==============================
191.54/191.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.54/191.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.54/191.60	c ===============================================================================
191.54/191.60	c |         0 |    2888    63694   207434 |    21231        0    nan |  0.000 % |
191.54/191.66	c |       100 |    2888    63694   207434 |    23354      100     18 |  0.345 % |
191.64/191.70	c |       250 |    2888    63694   207434 |    25689      250     14 |  0.345 % |
191.74/191.80	c |       475 |    2888    63694   207434 |    28258      475     17 |  0.345 % |
191.84/191.91	c |       812 |    2887    63694   207434 |    31084      812     19 |  0.380 % |
192.04/192.19	c |      1318 |    2887    63694   207434 |    34193     1318     22 |  0.380 % |
192.34/192.49	c ===============================================================================
192.54/192.64	c core #84
192.54/192.64	c 
192.54/192.64	c 
192.54/192.64	c Core size: 173	Core Weight: 1	Total Weight: -204
192.54/192.64	c
192.54/192.64	c
192.54/192.64	c ============================[ Search Statistics ]==============================
192.54/192.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.54/192.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.54/192.64	c ===============================================================================
192.54/192.64	c |         0 |    3037    63711   207777 |    21237        0    nan |  0.000 % |
192.63/192.71	c |       100 |    3036    63711   207777 |    23360      100      8 |  0.361 % |
192.63/192.75	c |       252 |    3036    63711   207777 |    25696      252     14 |  0.361 % |
192.74/192.80	c |       477 |    3036    63711   207777 |    28266      477     18 |  0.361 % |
192.74/192.86	c |       814 |    3036    63711   207777 |    31093      814     18 |  0.525 % |
192.94/193.03	c |      1322 |    3035    63711   207777 |    34202     1322     20 |  0.525 % |
193.14/193.26	c |      2081 |    3031    63711   207777 |    37622     2078     22 |  0.525 % |
193.44/193.60	c |      3221 |    3016    63711   207777 |    41384     2182     20 |  1.017 % |
193.94/194.08	c |      4929 |    3004    63711   207777 |    45523     3890     20 |  2.594 % |
194.04/194.17	c ===============================================================================
194.24/194.34	c core #85
194.24/194.34	c 
194.24/194.34	c 
194.24/194.34	c Core size: 220	Core Weight: 1	Total Weight: -203
194.24/194.34	c
194.24/194.34	c
194.24/194.34	c ============================[ Search Statistics ]==============================
194.24/194.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.24/194.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.24/194.34	c ===============================================================================
194.24/194.34	c |         0 |    3226    63724   208188 |    21241        0    nan |  0.000 % |
194.34/194.40	c |       101 |    3226    63724   208188 |    23365      101     25 |  0.309 % |
194.34/194.41	c |       253 |    3226    63724   208188 |    25702      253     22 |  0.340 % |
194.34/194.44	c |       478 |    3225    63724   208188 |    28272      478     22 |  0.340 % |
194.44/194.52	c |       815 |    3225    63724   208188 |    31099      815     22 |  0.340 % |
194.54/194.62	c |      1323 |    3225    63724   208188 |    34209     1323     23 |  0.340 % |
194.73/194.83	c |      2083 |    3224    63724   208188 |    37630     2082     23 |  0.371 % |
195.14/195.20	c |      3222 |    3224    63724   208188 |    41393     3221     29 |  0.371 % |
195.54/195.66	c |      4930 |    3224    63724   208188 |    45532     4606     28 |  0.371 % |
196.64/196.75	c |      7493 |    3224    63724   208188 |    50085     7169     31 |  0.371 % |
198.14/198.26	c |     11337 |    3224    63724   208188 |    55094    11013     34 |  0.371 % |
200.93/201.09	c |     17104 |    3223    63724   208188 |    60604    16778     36 |  0.402 % |
206.33/206.48	c |     25758 |    3223    63724   208188 |    66664    25432     37 |  0.402 % |
215.03/215.14	c ===============================================================================
215.83/215.96	c core #86
215.83/215.96	c 
215.83/215.96	c 
215.83/215.96	c Core size: 269	Core Weight: 1	Total Weight: -202
215.83/215.96	c
215.83/215.96	c
215.83/215.96	c ============================[ Search Statistics ]==============================
215.83/215.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.83/215.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.83/215.96	c ===============================================================================
215.83/215.96	c |         0 |    3465    63749   208737 |    21249        0    nan |  0.000 % |
215.93/216.03	c |       101 |    3465    63749   208737 |    23374      101     46 |  0.288 % |
215.93/216.06	c |       252 |    3465    63749   208737 |    25712      252     32 |  0.288 % |
216.03/216.11	c |       478 |    3465    63749   208737 |    28283      478     33 |  0.288 % |
216.03/216.17	c |       816 |    3465    63749   208737 |    31111      816     33 |  0.288 % |
216.23/216.30	c |      1322 |    3465    63749   208737 |    34222     1322     33 |  0.288 % |
216.33/216.48	c |      2084 |    3465    63749   208737 |    37645     2084     32 |  0.288 % |
216.64/216.76	c |      3224 |    3463    63749   208737 |    41409     3218     34 |  0.345 % |
217.13/217.25	c |      4933 |    3463    63749   208737 |    45550     4927     35 |  0.345 % |
217.83/217.95	c |      7496 |    3463    63749   208737 |    50105     7488     40 |  0.345 % |
219.53/219.67	c |     11340 |    3463    63749   208737 |    55116    11332     42 |  0.345 % |
223.03/223.10	c |     17111 |    3463    63749   208737 |    60627    17103     50 |  0.345 % |
229.03/229.10	c |     25760 |    3463    63749   208737 |    66690    25752     52 |  0.345 % |
243.03/243.16	c |     38737 |    3463    63749   208737 |    73359    38729     58 |  0.345 % |
253.63/253.75	c ===============================================================================
254.92/255.00	c core #87
254.92/255.00	c 
254.92/255.00	c 
254.92/255.00	c Core size: 220	Core Weight: 1	Total Weight: -201
254.92/255.00	c
254.92/255.00	c
254.92/255.00	c ============================[ Search Statistics ]==============================
254.92/255.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
254.92/255.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
254.92/255.00	c ===============================================================================
254.92/255.00	c |         0 |    3645    63771   209160 |    21257        0    nan |  0.000 % |
254.92/255.09	c |       100 |    3645    63771   209160 |    23382      100     53 |  0.274 % |
255.03/255.11	c |       252 |    3645    63771   209160 |    25720      252     46 |  0.274 % |
255.03/255.17	c |       477 |    3645    63771   209160 |    28293      477     47 |  0.274 % |
255.13/255.23	c |       818 |    3645    63771   209160 |    31122      818     53 |  0.274 % |
255.13/255.30	c |      1328 |    3645    63771   209160 |    34234     1328     44 |  0.274 % |
255.42/255.58	c |      2090 |    3645    63771   209160 |    37658     2090     45 |  0.274 % |
255.72/255.88	c |      3230 |    3645    63771   209160 |    41423     3230     49 |  0.274 % |
256.32/256.43	c |      4939 |    3645    63771   209160 |    45566     4939     48 |  0.274 % |
257.23/257.33	c |      7503 |    3645    63771   209160 |    50122     7503     57 |  0.274 % |
259.02/259.10	c |     11347 |    3645    63771   209160 |    55135    11347     63 |  0.274 % |
262.41/262.52	c |     17113 |    3645    63771   209160 |    60648    17113     70 |  0.274 % |
269.62/269.75	c |     25762 |    3645    63771   209160 |    66713    25762     75 |  0.274 % |
282.91/283.09	c |     38736 |    3645    63771   209160 |    73384    38736     77 |  0.274 % |
310.11/310.28	c |     58200 |    3645    63771   209160 |    80723    58200     82 |  0.274 % |
349.99/350.14	c |     87392 |    3645    63771   209160 |    88795    21921     57 |  0.274 % |
401.18/401.32	c |    131184 |    3645    63771   209160 |    97675    65713     69 |  0.274 % |
499.06/499.27	c |    196870 |    3645    63771   209160 |   107442    47504    110 |  0.274 % |
668.10/668.39	c |    295397 |    3645    63771   209160 |   118187    57535    104 |  0.274 % |
963.12/963.40	c |    443187 |    3645    63771   209160 |   130005   103856    112 |  0.274 % |
1396.21/1396.65	c |    664874 |    3645    63771   209160 |   143006    98419    115 |  0.274 % |

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-2680383-1277460399/watcher-2680383-1277460399 -o /tmp/evaluation-result-2680383-1277460399/solver-2680383-1277460399 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680383-1277460399.opb 

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


[startup+0 s]
/proc/loadavg: 1.03 1.00 0.92 3/105 29454
/proc/meminfo: memFree=1850224/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=5040 CPUtime=0
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 87331295 5160960 281 1992294400 134512640 135752675 4290488528 18446744073709551615 134564867 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 1260 282 138 303 0 442 0

[startup+0.0294169 s]
/proc/loadavg: 1.03 1.00 0.92 3/105 29454
/proc/meminfo: memFree=1850224/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=5172 CPUtime=0.02
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 438 0 0 0 2 0 0 0 20 0 1 0 87331295 5296128 356 1992294400 134512640 135752675 4290488528 18446744073709551615 134634107 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 1293 356 172 303 0 475 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5172

[startup+0.101425 s]
/proc/loadavg: 1.03 1.00 0.92 3/105 29454
/proc/meminfo: memFree=1850224/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=5872 CPUtime=0.09
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 739 0 0 0 9 0 0 0 20 0 1 0 87331295 6012928 657 1992294400 134512640 135752675 4290488528 18446744073709551615 134574328 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 1468 658 285 303 0 650 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5872

[startup+0.301449 s]
/proc/loadavg: 1.03 1.00 0.92 3/105 29454
/proc/meminfo: memFree=1850224/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=7964 CPUtime=0.29
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 1572 0 0 0 29 0 0 0 20 0 1 0 87331295 8155136 1490 1992294400 134512640 135752675 4290488528 18446744073709551615 135225961 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 1991 1490 599 303 0 1173 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7964

[startup+0.7015 s]
/proc/loadavg: 1.03 1.00 0.92 3/105 29454
/proc/meminfo: memFree=1850224/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=7328 CPUtime=0.69
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 1990 0 0 0 65 4 0 0 21 0 1 0 87331295 7503872 1362 1992294400 134512640 135752675 4290488528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 1832 1362 144 303 0 1527 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7328

[startup+1.5016 s]
/proc/loadavg: 1.03 1.00 0.92 2/106 29455
/proc/meminfo: memFree=1845256/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=7856 CPUtime=1.49
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 2115 0 0 0 140 9 0 0 23 0 1 0 87331295 8044544 1487 1992294400 134512640 135752675 4290488528 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 1964 1487 145 303 0 1659 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7856

[startup+3.1018 s]
/proc/loadavg: 1.03 1.00 0.92 2/106 29455
/proc/meminfo: memFree=1843520/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=10500 CPUtime=3.09
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 2791 0 0 0 296 13 0 0 25 0 1 0 87331295 10752000 2163 1992294400 134512640 135752675 4290488528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 2625 2163 145 303 0 2320 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10500

[startup+6.3012 s]
/proc/loadavg: 1.03 1.00 0.92 2/106 29455
/proc/meminfo: memFree=1838932/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=14028 CPUtime=6.29
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 3650 0 0 0 614 15 0 0 25 0 1 0 87331295 14364672 3022 1992294400 134512640 135752675 4290488528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 3507 3022 145 303 0 3202 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14028

[startup+12.701 s]
/proc/loadavg: 1.02 1.00 0.92 2/106 29455
/proc/meminfo: memFree=1834592/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=18104 CPUtime=12.69
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 4651 0 0 0 1249 20 0 0 25 0 1 0 87331295 18538496 4023 1992294400 134512640 135752675 4290488528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 4526 4023 145 303 0 4221 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18104

[startup+25.5016 s]
/proc/loadavg: 1.02 1.00 0.92 2/106 29455
/proc/meminfo: memFree=1827028/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=25480 CPUtime=25.48
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 6499 0 0 0 2522 26 0 0 25 0 1 0 87331295 26091520 5871 1992294400 134512640 135752675 4290488528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 6370 5871 145 303 0 6065 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25480

[startup+51.1008 s]
/proc/loadavg: 1.01 1.00 0.92 2/106 29455
/proc/meminfo: memFree=1811404/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=41236 CPUtime=51.07
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 10416 0 0 0 5066 41 0 0 25 0 1 0 87331295 42225664 9788 1992294400 134512640 135752675 4290488528 18446744073709551615 134612033 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 10309 9788 145 303 0 10004 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 41236

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29457
/proc/meminfo: memFree=1783256/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=69060 CPUtime=102.27
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 17313 0 0 0 10155 72 0 0 25 0 1 0 87331295 70717440 16685 1992294400 134512640 135752675 4290488528 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 17265 16685 145 303 0 16960 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 69060

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29459
/proc/meminfo: memFree=1754860/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=97736 CPUtime=162.25
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 24438 0 0 0 16125 100 0 0 25 0 1 0 87331295 100081664 23810 1992294400 134512640 135752675 4290488528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 24434 23810 145 303 0 24129 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 97736

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29461
/proc/meminfo: memFree=1744196/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=107100 CPUtime=222.23
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 27280 0 0 0 22093 130 0 0 25 0 1 0 87331295 109670400 26334 1992294400 134512640 135752675 4290488528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 26775 26334 146 303 0 26470 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 107100

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29461
/proc/meminfo: memFree=1721876/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=130080 CPUtime=282.22
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 32972 0 0 0 28060 162 0 0 25 0 1 0 87331295 133201920 32026 1992294400 134512640 135752675 4290488528 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 32520 32026 146 303 0 32215 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 130080

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29463
/proc/meminfo: memFree=1704144/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=147740 CPUtime=342.2
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 37306 0 0 0 34035 185 0 0 25 0 1 0 87331295 151285760 36360 1992294400 134512640 135752675 4290488528 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 36935 36360 146 303 0 36630 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 147740

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29465
/proc/meminfo: memFree=1685544/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=166400 CPUtime=402.18
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 41967 0 0 0 40007 211 0 0 25 0 1 0 87331295 170393600 41021 1992294400 134512640 135752675 4290488528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 41600 41021 146 303 0 41295 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 166400

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29467
/proc/meminfo: memFree=1667068/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=185164 CPUtime=462.17
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 46597 0 0 0 45984 233 0 0 25 0 1 0 87331295 189607936 45651 1992294400 134512640 135752675 4290488528 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 46291 45651 146 303 0 45986 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 185164

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29469
/proc/meminfo: memFree=1638920/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=213596 CPUtime=522.14
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 53674 0 0 0 51953 261 0 0 25 0 1 0 87331295 218722304 52728 1992294400 134512640 135752675 4290488528 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 53399 52728 146 303 0 53094 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 213596

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29469
/proc/meminfo: memFree=1622304/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=229760 CPUtime=582.13
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 57695 0 0 0 57930 283 0 0 25 0 1 0 87331295 235274240 56749 1992294400 134512640 135752675 4290488528 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 57440 56749 146 303 0 57135 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 229760

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29471
/proc/meminfo: memFree=1601596/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=250296 CPUtime=642.12
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 62839 0 0 0 63909 303 0 0 25 0 1 0 87331295 256303104 61893 1992294400 134512640 135752675 4290488528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 62574 61893 146 303 0 62269 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 250296

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29477
/proc/meminfo: memFree=1550756/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=301472 CPUtime=822.06
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 75588 0 0 0 81848 358 0 0 25 0 1 0 87331295 308707328 74642 1992294400 134512640 135752675 4290488528 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 75368 74642 146 303 0 75063 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 301472

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29477
/proc/meminfo: memFree=1524840/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=327008 CPUtime=882.05
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 81946 0 0 0 87820 385 0 0 25 0 1 0 87331295 334856192 81000 1992294400 134512640 135752675 4290488528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 81752 81000 146 303 0 81447 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 327008

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29479
/proc/meminfo: memFree=1507232/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=344776 CPUtime=942.03
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 86379 0 0 0 93798 405 0 0 25 0 1 0 87331295 353050624 85433 1992294400 134512640 135752675 4290488528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 86194 85433 146 303 0 85889 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 344776

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29481
/proc/meminfo: memFree=1494584/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=357232 CPUtime=1002.01
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 89498 0 0 0 99781 420 0 0 25 0 1 0 87331295 365805568 88552 1992294400 134512640 135752675 4290488528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 89308 88552 146 303 0 89003 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 357232

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/106 29483
/proc/meminfo: memFree=1473504/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=378708 CPUtime=1062
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 94873 0 0 0 105757 443 0 0 25 0 1 0 87331295 387796992 93927 1992294400 134512640 135752675 4290488528 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 94677 93927 146 303 0 94372 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 378708

[startup+1122.3 s]
/proc/loadavg: 1.03 1.01 0.93 2/106 29485
/proc/meminfo: memFree=1451804/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=400200 CPUtime=1121.98
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 100196 0 0 0 111734 464 0 0 25 0 1 0 87331295 409804800 99250 1992294400 134512640 135752675 4290488528 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 100050 99250 146 303 0 99745 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 400200

[startup+1182.3 s]
/proc/loadavg: 1.01 1.00 0.93 2/106 29485
/proc/meminfo: memFree=1435684/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=416284 CPUtime=1181.96
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 104220 0 0 0 117714 482 0 0 25 0 1 0 87331295 426274816 103274 1992294400 134512640 135752675 4290488528 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 104071 103274 146 303 0 103766 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 416284

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29487
/proc/meminfo: memFree=1420804/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=430864 CPUtime=1241.95
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 107803 0 0 0 123695 500 0 0 25 0 1 0 87331295 441204736 106857 1992294400 134512640 135752675 4290488528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 107716 106857 146 303 0 107411 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 430864

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29489
/proc/meminfo: memFree=1398236/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=453428 CPUtime=1301.94
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 113432 0 0 0 129668 526 0 0 25 0 1 0 87331295 464310272 112486 1992294400 134512640 135752675 4290488528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 113357 112486 146 303 0 113052 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 453428

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29491
/proc/meminfo: memFree=1377156/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=474588 CPUtime=1361.91
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 118732 0 0 0 135644 547 0 0 25 0 1 0 87331295 485978112 117786 1992294400 134512640 135752675 4290488528 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 118647 117786 146 303 0 118342 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 474588

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29493
/proc/meminfo: memFree=1360416/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=491144 CPUtime=1421.9
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 122843 0 0 0 141621 569 0 0 25 0 1 0 87331295 502931456 121897 1992294400 134512640 135752675 4290488528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 122786 121897 146 303 0 122481 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 491144

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29493
/proc/meminfo: memFree=1348140/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=503508 CPUtime=1481.88
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 125933 0 0 0 147606 582 0 0 25 0 1 0 87331295 515592192 124987 1992294400 134512640 135752675 4290488528 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 125877 124987 146 303 0 125572 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 503508

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29497
/proc/meminfo: memFree=1335492/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=516116 CPUtime=1541.87
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 129006 0 0 0 153590 597 0 0 25 0 1 0 87331295 528502784 128060 1992294400 134512640 135752675 4290488528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 129029 128060 146 303 0 128724 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 516116

[startup+1602.3 s]
/proc/loadavg: 1.07 1.02 0.93 2/106 29500
/proc/meminfo: memFree=1308832/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=542940 CPUtime=1601.84
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 135722 0 0 0 159558 626 0 0 25 0 1 0 87331295 555970560 134776 1992294400 134512640 135752675 4290488528 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 135735 134776 146 303 0 135430 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 542940

[startup+1662.3 s]
/proc/loadavg: 1.02 1.01 0.93 2/106 29502
/proc/meminfo: memFree=1290604/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=561008 CPUtime=1661.83
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 140212 0 0 0 165539 644 0 0 25 0 1 0 87331295 574472192 139266 1992294400 134512640 135752675 4290488528 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 140252 139266 146 303 0 139947 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 561008

[startup+1722.3 s]
/proc/loadavg: 1.01 1.00 0.93 3/106 29504
/proc/meminfo: memFree=1274856/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=576852 CPUtime=1721.81
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 144193 0 0 0 171518 663 0 0 25 0 1 0 87331295 590696448 143247 1992294400 134512640 135752675 4290488528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 144213 143247 146 303 0 143908 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 576852

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29504
/proc/meminfo: memFree=1262952/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=588568 CPUtime=1781.8
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 147120 0 0 0 177501 679 0 0 25 0 1 0 87331295 602693632 146174 1992294400 134512640 135752675 4290488528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 147142 146174 146 303 0 146837 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 588568



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.93 3/106 29506
/proc/meminfo: memFree=1259728/2059040 swapFree=4140268/4192956
[pid=29454] ppid=29452 vsize=591800 CPUtime=1800.1
/proc/29454/stat : 29454 (wbo1.4b) R 29452 29454 28970 0 -1 4202496 147903 0 0 0 179328 682 0 0 25 0 1 0 87331295 606003200 146957 1992294400 134512640 135752675 4290488528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29454/statm: 147950 146957 146 303 0 147645 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 591800

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.68
CPU time (s): 1800.18
CPU user time (s): 1793.28
CPU system time (s): 6.89395
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 591800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.28
system time used= 6.89395
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 147903
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= 50
involuntary context switches= 4812

runsolver used 3.04854 second user time and 8.46971 second system time

The end

Launcher Data 

Begin job on node054 at 2010-06-25 12:06:39
IDJOB=2680383
IDBENCH=71829
IDSOLVER=1190
FILE ID=node054/2680383-1277460399
PBS_JOBID= 11188115
Free space on /tmp= 62500 MiB

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

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

MD5SUM BENCH= f77d1de307b7db24bfedc4f252c9c297
RANDOM SEED=1228687956

node054.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.217
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.43
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.217
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:       1850752 kB
Buffers:         28016 kB
Cached:          79424 kB
SwapCached:       5568 kB
Active:          52156 kB
Inactive:        68264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1850752 kB
SwapTotal:     4192956 kB
SwapFree:      4140268 kB
Dirty:            4744 kB
Writeback:           0 kB
AnonPages:       11624 kB
Mapped:          11952 kB
Slab:            66140 kB
PageTables:       4116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181340 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62500 MiB
End job on node054 at 2010-06-25 12:36:42