Trace number 2680388

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

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-5000opt.opb
MD5SUM657f6825a6ae32adb885bdc3b57c624e
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-169
Best CPU time to get the best result obtained on this benchmark22.3826
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 constraints63342
Number of constraints which are clauses63342
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 317
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 317
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-2680388-1277460430.opb.
0.00/0.00	c Instance file HOME/instance-2680388-1277460430.opb
0.00/0.00	c File size is 2113677 bytes.
0.29/0.33	c Highest Coefficient sum: 4
0.29/0.33	c ============================[ Problem Statistics ]=============================
0.29/0.33	c |                                                                             |
0.29/0.33	c |  Parsing time:          0.32         s                                      |
0.29/0.33	c |  Number Variables:      2025                                                |
0.29/0.33	c |  Number Clauses:        63342                                               |
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 |    2016    63351   188856 |    21114        0    nan |  0.000 % |
0.39/0.44	c ===============================================================================
0.39/0.44	c New solution: 0
0.39/0.44	o 0
0.39/0.44	c Elapsed CPU time: 0.428934 s	Remaining CPU time: 179.571 s
0.39/0.44	c ===============================================================================
0.39/0.44	c |         0 |    2016    63352   188991 |    21117        0    nan |  0.000 % |
0.39/0.45	c ===============================================================================
0.39/0.45	c New solution: -3
0.39/0.45	o -3
0.39/0.45	c Elapsed CPU time: 0.438933 s	Remaining CPU time: 179.561 s
0.39/0.45	c ===============================================================================
0.39/0.45	c |         0 |    2016    63353   189126 |    21117        0    nan |  0.000 % |
0.39/0.46	c ===============================================================================
0.39/0.46	c New solution: -4
0.39/0.46	o -4
0.39/0.46	c Elapsed CPU time: 0.448931 s	Remaining CPU time: 179.551 s
0.39/0.46	c ===============================================================================
0.39/0.46	c |         0 |    2016    63354   189261 |    21118        0    nan |  0.000 % |
0.39/0.47	c ===============================================================================
0.39/0.47	c New solution: -6
0.39/0.47	o -6
0.39/0.47	c Elapsed CPU time: 0.45993 s	Remaining CPU time: 179.54 s
0.39/0.47	c ===============================================================================
0.39/0.47	c |         0 |    2016    63355   189396 |    21118        0    nan |  0.000 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c New solution: -7
0.39/0.48	o -7
0.39/0.48	c Elapsed CPU time: 0.469928 s	Remaining CPU time: 179.53 s
0.39/0.48	c ===============================================================================
0.39/0.48	c |         0 |    2016    63356   189531 |    21118        0    nan |  0.000 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c New solution: -8
0.39/0.49	o -8
0.39/0.49	c Elapsed CPU time: 0.480926 s	Remaining CPU time: 179.519 s
0.39/0.49	c ===============================================================================
0.39/0.49	c |         1 |    2016    63357   189666 |    21119        1    132 |  0.000 % |
0.49/0.51	c ===============================================================================
0.49/0.51	c New solution: -9
0.49/0.51	o -9
0.49/0.51	c Elapsed CPU time: 0.492925 s	Remaining CPU time: 179.507 s
0.49/0.51	c ===============================================================================
0.49/0.51	c |         1 |    2016    63358   189801 |    21119        1    132 |  0.000 % |
0.49/0.52	c ===============================================================================
0.49/0.52	c New solution: -10
0.49/0.52	o -10
0.49/0.52	c Elapsed CPU time: 0.504923 s	Remaining CPU time: 179.495 s
0.49/0.52	c ===============================================================================
0.49/0.52	c |         1 |    2016    63359   189936 |    21119        1    132 |  0.000 % |
0.49/0.53	c ===============================================================================
0.49/0.53	c New solution: -11
0.49/0.53	o -11
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 |         1 |    2016    63360   190071 |    21120        1    132 |  0.000 % |
0.49/0.54	c ===============================================================================
0.49/0.54	c New solution: -12
0.49/0.54	o -12
0.49/0.54	c Elapsed CPU time: 0.52392 s	Remaining CPU time: 179.476 s
0.49/0.54	c ===============================================================================
0.49/0.54	c |         2 |    2016    63361   190206 |    21120        2    130 |  0.000 % |
0.49/0.55	c ===============================================================================
0.49/0.55	c New solution: -13
0.49/0.55	o -13
0.49/0.55	c Elapsed CPU time: 0.533918 s	Remaining CPU time: 179.466 s
0.49/0.55	c ===============================================================================
0.49/0.55	c |         2 |    2016    63362   190341 |    21120        2    130 |  0.000 % |
0.49/0.56	c ===============================================================================
0.49/0.56	c New solution: -14
0.49/0.56	o -14
0.49/0.56	c Elapsed CPU time: 0.540917 s	Remaining CPU time: 179.459 s
0.49/0.56	c ===============================================================================
0.49/0.56	c |         2 |    2016    63363   190476 |    21121        2    130 |  0.000 % |
0.49/0.57	c ===============================================================================
0.49/0.57	c New solution: -15
0.49/0.57	o -15
0.49/0.57	c Elapsed CPU time: 0.550916 s	Remaining CPU time: 179.449 s
0.49/0.57	c ===============================================================================
0.49/0.57	c |         4 |    2016    63364   190611 |    21121        4    128 |  0.000 % |
0.49/0.58	c ===============================================================================
0.49/0.58	c New solution: -16
0.49/0.58	o -16
0.49/0.58	c Elapsed CPU time: 0.562914 s	Remaining CPU time: 179.437 s
0.49/0.58	c ===============================================================================
0.49/0.58	c |         4 |    2016    63365   190746 |    21121        4    128 |  0.000 % |
0.49/0.59	c ===============================================================================
0.49/0.59	c New solution: -17
0.49/0.59	o -17
0.49/0.59	c Elapsed CPU time: 0.572912 s	Remaining CPU time: 179.427 s
0.49/0.59	c ===============================================================================
0.49/0.59	c |         4 |    2016    63366   190881 |    21122        4    128 |  0.000 % |
0.59/0.60	c ===============================================================================
0.59/0.60	c New solution: -18
0.59/0.60	o -18
0.59/0.60	c Elapsed CPU time: 0.581911 s	Remaining CPU time: 179.418 s
0.59/0.60	c ===============================================================================
0.59/0.60	c |         6 |    2016    63367   191016 |    21122        6    127 |  0.000 % |
0.59/0.61	c ===============================================================================
0.59/0.61	c New solution: -19
0.59/0.61	o -19
0.59/0.61	c Elapsed CPU time: 0.59191 s	Remaining CPU time: 179.408 s
0.59/0.61	c ===============================================================================
0.59/0.61	c |         7 |    2016    63368   191151 |    21122        7    127 |  0.000 % |
0.59/0.63	c ===============================================================================
0.59/0.63	c New solution: -20
0.59/0.63	o -20
0.59/0.63	c Elapsed CPU time: 0.602908 s	Remaining CPU time: 179.397 s
0.59/0.63	c ===============================================================================
0.59/0.63	c |         8 |    2016    63369   191286 |    21123        8    126 |  0.000 % |
0.59/0.64	c ===============================================================================
0.59/0.64	c New solution: -21
0.59/0.64	o -21
0.59/0.64	c Elapsed CPU time: 0.612906 s	Remaining CPU time: 179.387 s
0.59/0.64	c ===============================================================================
0.59/0.64	c |         8 |    2016    63370   191421 |    21123        8    126 |  0.000 % |
0.59/0.65	c ===============================================================================
0.59/0.65	c New solution: -22
0.59/0.65	o -22
0.59/0.65	c Elapsed CPU time: 0.623905 s	Remaining CPU time: 179.376 s
0.59/0.65	c ===============================================================================
0.59/0.65	c |        10 |    2016    63371   191556 |    21123       10    126 |  0.000 % |
0.59/0.66	c ===============================================================================
0.59/0.66	c New solution: -23
0.59/0.66	o -23
0.59/0.66	c Elapsed CPU time: 0.633903 s	Remaining CPU time: 179.366 s
0.59/0.66	c ===============================================================================
0.59/0.66	c |        10 |    2016    63372   191691 |    21124       10    126 |  0.000 % |
0.59/0.67	c ===============================================================================
0.59/0.67	c New solution: -24
0.59/0.67	o -24
0.59/0.67	c Elapsed CPU time: 0.642902 s	Remaining CPU time: 179.357 s
0.59/0.67	c ===============================================================================
0.59/0.67	c |        10 |    2016    63373   191826 |    21124       10    126 |  0.000 % |
0.59/0.68	c ===============================================================================
0.59/0.68	c New solution: -25
0.59/0.68	o -25
0.59/0.68	c Elapsed CPU time: 0.6519 s	Remaining CPU time: 179.348 s
0.59/0.68	c ===============================================================================
0.59/0.68	c |        10 |    2016    63374   191961 |    21124       10    126 |  0.000 % |
0.59/0.69	c ===============================================================================
0.59/0.69	c New solution: -26
0.59/0.69	o -26
0.59/0.69	c Elapsed CPU time: 0.661899 s	Remaining CPU time: 179.338 s
0.59/0.69	c ===============================================================================
0.59/0.69	c |        16 |    2016    63375   192096 |    21125       16    124 |  0.000 % |
0.69/0.70	c ===============================================================================
0.69/0.70	c New solution: -27
0.69/0.70	o -27
0.69/0.70	c Elapsed CPU time: 0.667898 s	Remaining CPU time: 179.332 s
0.69/0.70	c ===============================================================================
0.69/0.70	c |        16 |    2016    63376   192231 |    21125       16    124 |  0.000 % |
0.69/0.71	c ===============================================================================
0.69/0.71	c New solution: -28
0.69/0.71	o -28
0.69/0.71	c Elapsed CPU time: 0.676897 s	Remaining CPU time: 179.323 s
0.69/0.71	c ===============================================================================
0.69/0.71	c |        19 |    2016    63377   192366 |    21125       19    124 |  0.000 % |
0.69/0.72	c ===============================================================================
0.69/0.72	c New solution: -29
0.69/0.72	o -29
0.69/0.72	c Elapsed CPU time: 0.685895 s	Remaining CPU time: 179.314 s
0.69/0.72	c ===============================================================================
0.69/0.72	c |        24 |    2016    63378   192501 |    21126       24    118 |  0.000 % |
0.69/0.73	c ===============================================================================
0.69/0.73	c New solution: -30
0.69/0.73	o -30
0.69/0.73	c Elapsed CPU time: 0.696894 s	Remaining CPU time: 179.303 s
0.69/0.73	c ===============================================================================
0.69/0.73	c |        27 |    2016    63379   192636 |    21126       27    119 |  0.000 % |
0.69/0.74	c ===============================================================================
0.69/0.74	c New solution: -31
0.69/0.74	o -31
0.69/0.74	c Elapsed CPU time: 0.706892 s	Remaining CPU time: 179.293 s
0.69/0.74	c ===============================================================================
0.69/0.74	c |        27 |    2016    63380   192771 |    21126       27    119 |  0.000 % |
0.69/0.76	c ===============================================================================
0.69/0.76	c New solution: -32
0.69/0.76	o -32
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 |        27 |    2016    63381   192906 |    21127       27    119 |  0.000 % |
0.69/0.77	c ===============================================================================
0.69/0.77	c New solution: -33
0.69/0.77	o -33
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 |        27 |    2016    63382   193041 |    21127       27    119 |  0.000 % |
0.69/0.78	c ===============================================================================
0.69/0.78	c New solution: -34
0.69/0.78	o -34
0.69/0.78	c Elapsed CPU time: 0.737887 s	Remaining CPU time: 179.262 s
0.69/0.78	c ===============================================================================
0.69/0.78	c |        27 |    2016    63383   193176 |    21127       27    119 |  0.000 % |
0.69/0.79	c ===============================================================================
0.69/0.79	c New solution: -35
0.69/0.79	o -35
0.69/0.79	c Elapsed CPU time: 0.746886 s	Remaining CPU time: 179.253 s
0.69/0.79	c ===============================================================================
0.69/0.79	c |        30 |    2016    63384   193311 |    21128       30    118 |  0.000 % |
0.79/0.80	c ===============================================================================
0.79/0.80	c New solution: -36
0.79/0.80	o -36
0.79/0.80	c Elapsed CPU time: 0.755885 s	Remaining CPU time: 179.244 s
0.79/0.80	c ===============================================================================
0.79/0.80	c |        33 |    2016    63385   193446 |    21128       33    118 |  0.000 % |
0.79/0.81	c ===============================================================================
0.79/0.81	c New solution: -37
0.79/0.81	o -37
0.79/0.81	c Elapsed CPU time: 0.764883 s	Remaining CPU time: 179.235 s
0.79/0.81	c ===============================================================================
0.79/0.81	c |        33 |    2016    63386   193581 |    21128       33    118 |  0.000 % |
0.79/0.82	c ===============================================================================
0.79/0.82	c New solution: -38
0.79/0.82	o -38
0.79/0.82	c Elapsed CPU time: 0.776881 s	Remaining CPU time: 179.223 s
0.79/0.82	c ===============================================================================
0.79/0.82	c |        38 |    2016    63387   193716 |    21129       38    118 |  0.000 % |
0.79/0.83	c ===============================================================================
0.79/0.83	c New solution: -39
0.79/0.83	o -39
0.79/0.83	c Elapsed CPU time: 0.78788 s	Remaining CPU time: 179.212 s
0.79/0.83	c ===============================================================================
0.79/0.83	c |        40 |    2016    63388   193851 |    21129       40    118 |  0.000 % |
0.79/0.84	c ===============================================================================
0.79/0.84	c New solution: -40
0.79/0.84	o -40
0.79/0.84	c Elapsed CPU time: 0.796878 s	Remaining CPU time: 179.203 s
0.79/0.84	c ===============================================================================
0.79/0.84	c |        45 |    2016    63389   193986 |    21129       45    118 |  0.000 % |
0.79/0.86	c ===============================================================================
0.79/0.86	c New solution: -41
0.79/0.86	o -41
0.79/0.86	c Elapsed CPU time: 0.806877 s	Remaining CPU time: 179.193 s
0.79/0.86	c ===============================================================================
0.79/0.86	c |        45 |    2016    63390   194121 |    21130       45    118 |  0.000 % |
0.79/0.87	c ===============================================================================
0.79/0.87	c New solution: -42
0.79/0.87	o -42
0.79/0.87	c Elapsed CPU time: 0.816875 s	Remaining CPU time: 179.183 s
0.79/0.87	c ===============================================================================
0.79/0.87	c |        45 |    2016    63391   194256 |    21130       45    118 |  0.000 % |
0.79/0.88	c ===============================================================================
0.79/0.88	c New solution: -43
0.79/0.88	o -43
0.79/0.88	c Elapsed CPU time: 0.825874 s	Remaining CPU time: 179.174 s
0.79/0.88	c ===============================================================================
0.79/0.88	c |        45 |    2016    63392   194391 |    21130       45    118 |  0.000 % |
0.79/0.89	c ===============================================================================
0.79/0.89	c New solution: -44
0.79/0.89	o -44
0.79/0.89	c Elapsed CPU time: 0.834873 s	Remaining CPU time: 179.165 s
0.79/0.89	c ===============================================================================
0.79/0.89	c |        45 |    2016    63393   194526 |    21131       45    118 |  0.000 % |
0.89/0.90	c ===============================================================================
0.89/0.90	c New solution: -45
0.89/0.90	o -45
0.89/0.90	c Elapsed CPU time: 0.846871 s	Remaining CPU time: 179.153 s
0.89/0.90	c ===============================================================================
0.89/0.90	c |        48 |    2016    63394   194661 |    21131       48    117 |  0.000 % |
0.89/0.91	c ===============================================================================
0.89/0.91	c New solution: -46
0.89/0.91	o -46
0.89/0.91	c Elapsed CPU time: 0.857869 s	Remaining CPU time: 179.142 s
0.89/0.91	c ===============================================================================
0.89/0.91	c |        51 |    2016    63395   194796 |    21131       51    117 |  0.000 % |
0.89/0.92	c ===============================================================================
0.89/0.92	c New solution: -47
0.89/0.92	o -47
0.89/0.92	c Elapsed CPU time: 0.866868 s	Remaining CPU time: 179.133 s
0.89/0.92	c ===============================================================================
0.89/0.92	c |        51 |    2016    63396   194931 |    21132       51    117 |  0.000 % |
0.89/0.93	c ===============================================================================
0.89/0.93	c New solution: -48
0.89/0.93	o -48
0.89/0.93	c Elapsed CPU time: 0.878866 s	Remaining CPU time: 179.121 s
0.89/0.93	c ===============================================================================
0.89/0.93	c |        55 |    2016    63397   195066 |    21132       55    117 |  0.000 % |
0.89/0.94	c ===============================================================================
0.89/0.94	c New solution: -49
0.89/0.94	o -49
0.89/0.94	c Elapsed CPU time: 0.888864 s	Remaining CPU time: 179.111 s
0.89/0.94	c ===============================================================================
0.89/0.94	c |        55 |    2016    63398   195201 |    21132       55    117 |  0.000 % |
0.89/0.96	c ===============================================================================
0.89/0.96	c New solution: -50
0.89/0.96	o -50
0.89/0.96	c Elapsed CPU time: 0.899863 s	Remaining CPU time: 179.1 s
0.89/0.96	c ===============================================================================
0.89/0.96	c |        55 |    2016    63399   195336 |    21133       55    117 |  0.000 % |
0.89/0.97	c ===============================================================================
0.89/0.97	c New solution: -51
0.89/0.97	o -51
0.89/0.97	c Elapsed CPU time: 0.910861 s	Remaining CPU time: 179.089 s
0.89/0.97	c ===============================================================================
0.89/0.97	c |        62 |    2016    63400   195471 |    21133       62    114 |  0.000 % |
0.89/0.98	c ===============================================================================
0.89/0.98	c New solution: -52
0.89/0.98	o -52
0.89/0.98	c Elapsed CPU time: 0.92086 s	Remaining CPU time: 179.079 s
0.89/0.98	c ===============================================================================
0.89/0.98	c |        68 |    2016    63401   195606 |    21133       68    114 |  0.000 % |
0.89/0.99	c ===============================================================================
0.89/0.99	c New solution: -53
0.89/0.99	o -53
0.89/0.99	c Elapsed CPU time: 0.932858 s	Remaining CPU time: 179.067 s
0.89/0.99	c ===============================================================================
0.89/0.99	c |        68 |    2016    63402   195741 |    21134       68    114 |  0.000 % |
1.00/1.00	c ===============================================================================
1.00/1.00	c New solution: -54
1.00/1.00	o -54
1.00/1.00	c Elapsed CPU time: 0.942856 s	Remaining CPU time: 179.057 s
1.00/1.00	c ===============================================================================
1.00/1.00	c |        68 |    2016    63403   195876 |    21134       68    114 |  0.000 % |
1.00/1.01	c ===============================================================================
1.00/1.01	c New solution: -55
1.00/1.01	o -55
1.00/1.01	c Elapsed CPU time: 0.954854 s	Remaining CPU time: 179.045 s
1.00/1.01	c ===============================================================================
1.00/1.01	c |        71 |    2016    63404   196011 |    21134       71    114 |  0.000 % |
1.00/1.03	c ===============================================================================
1.00/1.03	c New solution: -56
1.00/1.03	o -56
1.00/1.03	c Elapsed CPU time: 0.964853 s	Remaining CPU time: 179.035 s
1.00/1.03	c ===============================================================================
1.00/1.03	c |        71 |    2016    63405   196146 |    21135       71    114 |  0.000 % |
1.00/1.04	c ===============================================================================
1.00/1.04	c New solution: -57
1.00/1.04	o -57
1.00/1.04	c Elapsed CPU time: 0.974851 s	Remaining CPU time: 179.025 s
1.00/1.04	c ===============================================================================
1.00/1.04	c |        71 |    2016    63406   196281 |    21135       71    114 |  0.000 % |
1.00/1.05	c ===============================================================================
1.00/1.05	c New solution: -58
1.00/1.05	o -58
1.00/1.05	c Elapsed CPU time: 0.98585 s	Remaining CPU time: 179.014 s
1.00/1.05	c ===============================================================================
1.00/1.05	c |        97 |    2016    63407   196416 |    21135       97    110 |  0.000 % |
1.00/1.06	c ===============================================================================
1.00/1.06	c New solution: -59
1.00/1.06	o -59
1.00/1.06	c Elapsed CPU time: 0.998848 s	Remaining CPU time: 179.001 s
1.00/1.06	c ===============================================================================
1.00/1.06	c |       105 |    2016    63408   196551 |    21136      105    110 |  0.000 % |
1.00/1.07	c ===============================================================================
1.00/1.07	c New solution: -60
1.00/1.07	o -60
1.00/1.07	c Elapsed CPU time: 1.00785 s	Remaining CPU time: 178.992 s
1.00/1.07	c ===============================================================================
1.00/1.07	c |       105 |    2016    63409   196686 |    21136      105    110 |  0.000 % |
1.00/1.08	c ===============================================================================
1.00/1.08	c New solution: -61
1.00/1.08	o -61
1.00/1.08	c Elapsed CPU time: 1.01885 s	Remaining CPU time: 178.981 s
1.00/1.08	c ===============================================================================
1.00/1.08	c |       105 |    2016    63410   196821 |    21136      105    110 |  0.000 % |
1.00/1.10	c ===============================================================================
1.00/1.10	c New solution: -62
1.00/1.10	o -62
1.00/1.10	c Elapsed CPU time: 1.03084 s	Remaining CPU time: 178.969 s
1.00/1.10	c ===============================================================================
1.00/1.10	c |       109 |    2016    63411   196956 |    21137      109    109 |  0.000 % |
1.10/1.11	c ===============================================================================
1.10/1.11	c New solution: -63
1.10/1.11	o -63
1.10/1.11	c Elapsed CPU time: 1.04184 s	Remaining CPU time: 178.958 s
1.10/1.11	c ===============================================================================
1.10/1.11	c |       121 |    2016    63412   197091 |    21137      121    108 |  0.000 % |
1.10/1.13	c |       222 |    2016    63412   197091 |    23251      222    105 |  0.444 % |
1.10/1.15	c |       372 |    2016    63412   197091 |    25576      372    104 |  0.444 % |
1.10/1.17	c ===============================================================================
1.10/1.17	c New solution: -64
1.10/1.17	o -64
1.10/1.17	c Elapsed CPU time: 1.09683 s	Remaining CPU time: 178.903 s
1.10/1.17	c ===============================================================================
1.10/1.17	c |       407 |    2016    63413   197226 |    21137      407    105 |  0.444 % |
1.10/1.18	c ===============================================================================
1.10/1.18	c New solution: -65
1.10/1.18	o -65
1.10/1.18	c Elapsed CPU time: 1.10783 s	Remaining CPU time: 178.892 s
1.10/1.18	c ===============================================================================
1.10/1.18	c |       407 |    2016    63414   197361 |    21138      407    105 |  0.444 % |
1.10/1.19	c |       509 |    2016    63414   197361 |    23251      509    104 |  0.444 % |
1.19/1.23	c |       659 |    2016    63414   197361 |    25576      659    104 |  0.444 % |
1.19/1.24	c ===============================================================================
1.19/1.24	c New solution: -66
1.19/1.24	o -66
1.19/1.24	c Elapsed CPU time: 1.17082 s	Remaining CPU time: 178.829 s
1.19/1.24	c ===============================================================================
1.19/1.24	c |       662 |    2016    63415   197496 |    21138      662    104 |  0.444 % |
1.19/1.26	c |       762 |    2016    63415   197496 |    23252      762    104 |  0.444 % |
1.19/1.28	c ===============================================================================
1.19/1.28	c New solution: -67
1.19/1.28	o -67
1.19/1.28	c Elapsed CPU time: 1.20882 s	Remaining CPU time: 178.791 s
1.19/1.28	c ===============================================================================
1.19/1.28	c |       812 |    2016    63416   197631 |    21138      812    104 |  0.444 % |
1.29/1.31	c ===============================================================================
1.29/1.31	c New solution: -68
1.29/1.31	o -68
1.29/1.31	c Elapsed CPU time: 1.23481 s	Remaining CPU time: 178.765 s
1.29/1.31	c ===============================================================================
1.29/1.31	c |       866 |    2016    63417   197766 |    21139      866    104 |  0.444 % |
1.29/1.33	c |       966 |    2016    63417   197766 |    23252      966    104 |  0.444 % |
1.29/1.36	c |      1116 |    2016    63417   197766 |    25578     1116    104 |  0.444 % |
1.29/1.37	c ===============================================================================
1.29/1.37	c New solution: -69
1.29/1.37	o -69
1.29/1.37	c Elapsed CPU time: 1.2968 s	Remaining CPU time: 178.703 s
1.29/1.37	c ===============================================================================
1.29/1.37	c |      1123 |    2016    63418   197901 |    21139     1123    104 |  0.444 % |
1.29/1.38	c ===============================================================================
1.29/1.38	c New solution: -70
1.29/1.38	o -70
1.29/1.38	c Elapsed CPU time: 1.3088 s	Remaining CPU time: 178.691 s
1.29/1.38	c ===============================================================================
1.29/1.38	c |      1125 |    2016    63419   198036 |    21139     1125    104 |  0.444 % |
1.39/1.41	c |      1227 |    2016    63419   198036 |    23253     1227    104 |  0.444 % |
1.39/1.43	c ===============================================================================
1.39/1.43	c New solution: -71
1.39/1.43	o -71
1.39/1.43	c Elapsed CPU time: 1.35179 s	Remaining CPU time: 178.648 s
1.39/1.43	c ===============================================================================
1.39/1.43	c |      1262 |    2016    63420   198171 |    21140     1262    104 |  0.444 % |
1.39/1.45	c ===============================================================================
1.39/1.45	c New solution: -72
1.39/1.45	o -72
1.39/1.45	c Elapsed CPU time: 1.36979 s	Remaining CPU time: 178.63 s
1.39/1.45	c ===============================================================================
1.39/1.45	c |      1289 |    2016    63421   198306 |    21140     1289    104 |  0.444 % |
1.39/1.47	c |      1389 |    2016    63421   198306 |    23254     1389    104 |  0.444 % |
1.49/1.50	c |      1539 |    2016    63421   198306 |    25579     1539    103 |  0.444 % |
1.49/1.53	c ===============================================================================
1.49/1.53	c New solution: -73
1.49/1.53	o -73
1.49/1.53	c Elapsed CPU time: 1.45278 s	Remaining CPU time: 178.547 s
1.49/1.53	c ===============================================================================
1.49/1.53	c |      1589 |    2016    63422   198441 |    21140     1589    103 |  0.444 % |
1.49/1.54	c ===============================================================================
1.49/1.54	c New solution: -74
1.49/1.54	o -74
1.49/1.54	c Elapsed CPU time: 1.46678 s	Remaining CPU time: 178.533 s
1.49/1.54	c ===============================================================================
1.49/1.54	c |      1594 |    2016    63423   198576 |    21141     1594    103 |  0.444 % |
1.49/1.57	c ===============================================================================
1.49/1.57	c New solution: -75
1.49/1.57	o -75
1.49/1.57	c Elapsed CPU time: 1.49077 s	Remaining CPU time: 178.509 s
1.49/1.57	c ===============================================================================
1.49/1.57	c |      1656 |    2016    63424   198711 |    21141     1656    103 |  0.444 % |
1.49/1.59	c ===============================================================================
1.49/1.59	c New solution: -76
1.49/1.59	o -76
1.49/1.59	c Elapsed CPU time: 1.50877 s	Remaining CPU time: 178.491 s
1.49/1.59	c ===============================================================================
1.49/1.59	c |      1683 |    2016    63425   198846 |    21141     1683    103 |  0.444 % |
1.59/1.62	c ===============================================================================
1.59/1.62	c New solution: -77
1.59/1.62	o -77
1.59/1.62	c Elapsed CPU time: 1.53577 s	Remaining CPU time: 178.464 s
1.59/1.62	c ===============================================================================
1.59/1.62	c |      1760 |    2016    63426   198981 |    21142     1760    103 |  0.444 % |
1.59/1.63	c ===============================================================================
1.59/1.63	c New solution: -78
1.59/1.63	o -78
1.59/1.63	c Elapsed CPU time: 1.54776 s	Remaining CPU time: 178.452 s
1.59/1.63	c ===============================================================================
1.59/1.63	c |      1761 |    2016    63427   199116 |    21142     1761    103 |  0.444 % |
1.59/1.64	c ===============================================================================
1.59/1.64	c New solution: -79
1.59/1.64	o -79
1.59/1.64	c Elapsed CPU time: 1.55876 s	Remaining CPU time: 178.441 s
1.59/1.64	c ===============================================================================
1.59/1.64	c |      1761 |    2016    63428   199251 |    21142     1761    103 |  0.444 % |
1.59/1.66	c |      1861 |    2016    63428   199251 |    23256     1861    103 |  0.444 % |
1.59/1.70	c |      2011 |    2016    63428   199251 |    25582     2011    103 |  0.444 % |
1.69/1.71	c ===============================================================================
1.69/1.71	c New solution: -80
1.69/1.71	o -80
1.69/1.71	c Elapsed CPU time: 1.62475 s	Remaining CPU time: 178.375 s
1.69/1.71	c ===============================================================================
1.69/1.71	c |      2019 |    2016    63429   199386 |    21143     2019    103 |  0.444 % |
1.69/1.73	c |      2121 |    2016    63429   199386 |    23257     2121    103 |  0.444 % |
1.69/1.76	c |      2272 |    2016    63429   199386 |    25583     2272    102 |  0.444 % |
1.69/1.79	c ===============================================================================
1.69/1.79	c New solution: -81
1.69/1.79	o -81
1.69/1.79	c Elapsed CPU time: 1.70574 s	Remaining CPU time: 178.294 s
1.69/1.79	c ===============================================================================
1.69/1.79	c |      2337 |    2016    63430   199521 |    21143     2337    102 |  0.444 % |
1.79/1.80	c ===============================================================================
1.79/1.80	c New solution: -82
1.79/1.80	o -82
1.79/1.80	c Elapsed CPU time: 1.71874 s	Remaining CPU time: 178.281 s
1.79/1.80	c ===============================================================================
1.79/1.80	c |      2343 |    2016    63431   199656 |    21143     2343    102 |  0.444 % |
1.79/1.82	c ===============================================================================
1.79/1.82	c New solution: -83
1.79/1.82	o -83
1.79/1.82	c Elapsed CPU time: 1.73074 s	Remaining CPU time: 178.269 s
1.79/1.82	c ===============================================================================
1.79/1.82	c |      2343 |    2016    63432   199791 |    21144     2343    102 |  0.444 % |
1.79/1.83	c ===============================================================================
1.79/1.83	c New solution: -84
1.79/1.83	o -84
1.79/1.83	c Elapsed CPU time: 1.74174 s	Remaining CPU time: 178.258 s
1.79/1.83	c ===============================================================================
1.79/1.83	c |      2343 |    2016    63433   199926 |    21144     2343    102 |  0.444 % |
1.79/1.84	c ===============================================================================
1.79/1.84	c New solution: -85
1.79/1.84	o -85
1.79/1.84	c Elapsed CPU time: 1.75473 s	Remaining CPU time: 178.245 s
1.79/1.84	c ===============================================================================
1.79/1.84	c |      2343 |    2016    63434   200061 |    21144     2343    102 |  0.444 % |
1.79/1.86	c ===============================================================================
1.79/1.86	c New solution: -86
1.79/1.86	o -86
1.79/1.86	c Elapsed CPU time: 1.76673 s	Remaining CPU time: 178.233 s
1.79/1.86	c ===============================================================================
1.79/1.86	c |      2343 |    2016    63435   200196 |    21145     2343    102 |  0.444 % |
1.79/1.87	c ===============================================================================
1.79/1.87	c New solution: -87
1.79/1.87	o -87
1.79/1.87	c Elapsed CPU time: 1.77973 s	Remaining CPU time: 178.22 s
1.79/1.87	c ===============================================================================
1.79/1.87	c |      2345 |    2016    63436   200331 |    21145     2345    102 |  0.444 % |
1.79/1.88	c ===============================================================================
1.79/1.88	c New solution: -88
1.79/1.88	o -88
1.79/1.88	c Elapsed CPU time: 1.79273 s	Remaining CPU time: 178.207 s
1.79/1.88	c ===============================================================================
1.79/1.88	c |      2345 |    2016    63437   200466 |    21145     2345    102 |  0.444 % |
1.89/1.91	c |      2445 |    2016    63437   200466 |    23260     2445    102 |  0.444 % |
1.89/1.92	c ===============================================================================
1.89/1.92	c New solution: -89
1.89/1.92	o -89
1.89/1.92	c Elapsed CPU time: 1.82672 s	Remaining CPU time: 178.173 s
1.89/1.92	c ===============================================================================
1.89/1.92	c |      2451 |    2016    63438   200601 |    21146     2451    102 |  0.444 % |
1.89/1.93	c ===============================================================================
1.89/1.93	c New solution: -90
1.89/1.93	o -90
1.89/1.93	c Elapsed CPU time: 1.83972 s	Remaining CPU time: 178.16 s
1.89/1.93	c ===============================================================================
1.89/1.93	c |      2452 |    2016    63439   200736 |    21146     2452    102 |  0.444 % |
1.89/1.94	c ===============================================================================
1.89/1.94	c New solution: -91
1.89/1.94	o -91
1.89/1.94	c Elapsed CPU time: 1.85072 s	Remaining CPU time: 178.149 s
1.89/1.94	c ===============================================================================
1.89/1.94	c |      2462 |    2016    63440   200871 |    21146     2462    102 |  0.444 % |
1.89/1.97	c |      2564 |    2016    63440   200871 |    23261     2564    102 |  0.444 % |
1.99/2.01	c ===============================================================================
1.99/2.01	c New solution: -92
1.99/2.01	o -92
1.99/2.01	c Elapsed CPU time: 1.91671 s	Remaining CPU time: 178.083 s
1.99/2.01	c ===============================================================================
1.99/2.01	c |      2708 |    2016    63441   201006 |    21147     2708    101 |  0.444 % |
1.99/2.04	c |      2810 |    2016    63441   201006 |    23261     2810    101 |  0.444 % |
1.99/2.07	c ===============================================================================
1.99/2.07	c New solution: -93
1.99/2.07	o -93
1.99/2.07	c Elapsed CPU time: 1.9747 s	Remaining CPU time: 178.025 s
1.99/2.07	c ===============================================================================
1.99/2.07	c |      2882 |    2016    63442   201141 |    21147     2882    101 |  0.444 % |
1.99/2.08	c ===============================================================================
1.99/2.08	c New solution: -94
1.99/2.08	o -94
1.99/2.08	c Elapsed CPU time: 1.9857 s	Remaining CPU time: 178.014 s
1.99/2.08	c ===============================================================================
1.99/2.08	c |      2882 |    2016    63443   201276 |    21147     2882    101 |  0.444 % |
2.10/2.11	c ===============================================================================
2.10/2.11	c New solution: -95
2.10/2.11	o -95
2.10/2.11	c Elapsed CPU time: 2.01369 s	Remaining CPU time: 177.986 s
2.10/2.11	c ===============================================================================
2.10/2.11	c |      2927 |    2016    63444   201411 |    21148     2927    101 |  0.444 % |
2.10/2.13	c ===============================================================================
2.10/2.13	c New solution: -96
2.10/2.13	o -96
2.10/2.13	c Elapsed CPU time: 2.02569 s	Remaining CPU time: 177.974 s
2.10/2.13	c ===============================================================================
2.10/2.13	c |      2928 |    2016    63445   201546 |    21148     2928    101 |  0.444 % |
2.10/2.14	c ===============================================================================
2.10/2.14	c New solution: -97
2.10/2.14	o -97
2.10/2.14	c Elapsed CPU time: 2.03869 s	Remaining CPU time: 177.961 s
2.10/2.14	c ===============================================================================
2.10/2.14	c |      2928 |    2016    63446   201681 |    21148     2928    101 |  0.444 % |
2.10/2.16	c |      3029 |    2016    63446   201681 |    23263     3029    101 |  0.444 % |
2.10/2.20	c |      3179 |    2016    63446   201681 |    25589     3179    100 |  0.444 % |
2.20/2.26	c |      3404 |    2016    63446   201681 |    28148     3404    100 |  0.444 % |
2.29/2.35	c |      3742 |    2016    63446   201681 |    30963     3742     99 |  0.444 % |
2.39/2.47	c |      4248 |    2016    63446   201681 |    34060     4248     98 |  0.444 % |
2.49/2.52	c ===============================================================================
2.49/2.52	c New solution: -98
2.49/2.52	o -98
2.49/2.52	c Elapsed CPU time: 2.41863 s	Remaining CPU time: 177.581 s
2.49/2.52	c ===============================================================================
2.49/2.52	c |      4392 |    2016    63447   201816 |    21149     4392     98 |  0.444 % |
2.49/2.56	c |      4492 |    2016    63447   201816 |    23263     4492     98 |  0.444 % |
2.59/2.60	c ===============================================================================
2.59/2.60	c New solution: -99
2.59/2.60	o -99
2.59/2.60	c Elapsed CPU time: 2.49362 s	Remaining CPU time: 177.506 s
2.59/2.60	c ===============================================================================
2.59/2.60	c |      4598 |    2016    63448   201951 |    21149     4598     98 |  0.444 % |
2.59/2.63	c |      4699 |    2016    63448   201951 |    23264     4699     98 |  0.444 % |
2.59/2.67	c |      4849 |    2016    63448   201951 |    25590     4849     98 |  0.444 % |
2.69/2.74	c ===============================================================================
2.69/2.74	c New solution: -100
2.69/2.74	o -100
2.69/2.74	c Elapsed CPU time: 2.6386 s	Remaining CPU time: 177.361 s
2.69/2.74	c ===============================================================================
2.69/2.74	c |      5063 |    2016    63449   202086 |    21149     5063     98 |  0.444 % |
2.69/2.76	c ===============================================================================
2.69/2.76	c New solution: -101
2.69/2.76	o -101
2.69/2.76	c Elapsed CPU time: 2.6566 s	Remaining CPU time: 177.343 s
2.69/2.76	c ===============================================================================
2.69/2.76	c |      5072 |    2016    63450   202221 |    21150     5072     98 |  0.444 % |
2.69/2.79	c |      5173 |    2016    63450   202221 |    23265     5173     98 |  0.444 % |
2.79/2.84	c |      5323 |    2016    63450   202221 |    25591     5323     97 |  0.444 % |
2.89/2.90	c |      5549 |    2016    63450   202221 |    28150     5549     97 |  0.444 % |
2.89/2.98	c ===============================================================================
2.89/2.98	c New solution: -102
2.89/2.98	o -102
2.89/2.98	c Elapsed CPU time: 2.87256 s	Remaining CPU time: 177.127 s
2.89/2.98	c ===============================================================================
2.89/2.98	c |      5727 |    2016    63451   202356 |    21150     5727     97 |  0.444 % |
2.89/2.99	c ===============================================================================
2.89/2.99	c New solution: -103
2.89/2.99	o -103
2.89/2.99	c Elapsed CPU time: 2.88656 s	Remaining CPU time: 177.113 s
2.89/2.99	c ===============================================================================
2.89/2.99	c |      5729 |    2016    63452   202491 |    21150     5729     97 |  0.444 % |
2.99/3.03	c |      5829 |    2016    63452   202491 |    23265     5829     97 |  0.444 % |
2.99/3.10	c |      5979 |    2016    63452   202491 |    25592     5979     97 |  0.444 % |
3.09/3.19	c |      6204 |    2016    63452   202491 |    28151     6204     97 |  0.444 % |
3.20/3.30	c |      6544 |    2016    63452   202491 |    30966     6544     97 |  0.444 % |
3.39/3.45	c |      7052 |    2016    63452   202491 |    34063     7052     96 |  0.444 % |
3.59/3.64	c ===============================================================================
3.59/3.64	c New solution: -104
3.59/3.64	o -104
3.59/3.64	c Elapsed CPU time: 3.52946 s	Remaining CPU time: 176.471 s
3.59/3.64	c ===============================================================================
3.59/3.64	c |      7629 |    2016    63453   202626 |    21151     7629     96 |  0.444 % |
3.59/3.69	c |      7729 |    2016    63453   202626 |    23266     7729     96 |  0.444 % |
3.69/3.74	c |      7880 |    2016    63453   202626 |    25592     7880     96 |  0.444 % |
3.79/3.84	c |      8106 |    2016    63453   202626 |    28151     8106     96 |  0.444 % |
3.89/3.96	c |      8445 |    2016    63453   202626 |    30967     8445     96 |  0.444 % |
4.09/4.14	c |      8951 |    2016    63453   202626 |    34063     8951     95 |  0.444 % |
4.29/4.36	c |      9710 |    2016    63453   202626 |    37470     9710     95 |  0.444 % |
4.69/4.75	c |     10853 |    2016    63453   202626 |    41217    10853     95 |  0.444 % |
4.89/4.97	c ===============================================================================
4.89/4.97	c New solution: -105
4.89/4.97	o -105
4.89/4.97	c Elapsed CPU time: 4.84526 s	Remaining CPU time: 175.155 s
4.89/4.97	c ===============================================================================
4.89/4.97	c |     11442 |    2016    63454   202761 |    21151    11442     95 |  0.444 % |
4.89/4.99	c ===============================================================================
4.89/4.99	c New solution: -106
4.89/4.99	o -106
4.89/4.99	c Elapsed CPU time: 4.86426 s	Remaining CPU time: 175.136 s
4.89/4.99	c ===============================================================================
4.89/4.99	c |     11450 |    2016    63455   202896 |    21151    11450     95 |  0.444 % |
4.99/5.00	c ===============================================================================
4.99/5.00	c New solution: -107
4.99/5.00	o -107
4.99/5.00	c Elapsed CPU time: 4.87926 s	Remaining CPU time: 175.121 s
4.99/5.00	c ===============================================================================
4.99/5.00	c |     11450 |    2016    63456   203031 |    21152    11450     95 |  0.444 % |
4.99/5.05	c |     11551 |    2016    63456   203031 |    23267    11551     95 |  0.444 % |
4.99/5.08	c ===============================================================================
4.99/5.08	c New solution: -108
4.99/5.08	o -108
4.99/5.08	c Elapsed CPU time: 4.95325 s	Remaining CPU time: 175.047 s
4.99/5.08	c ===============================================================================
4.99/5.08	c |     11609 |    2016    63457   203166 |    21152    11609     95 |  0.444 % |
4.99/5.09	c ===============================================================================
4.99/5.09	c New solution: -109
4.99/5.09	o -109
4.99/5.09	c Elapsed CPU time: 4.96824 s	Remaining CPU time: 175.032 s
4.99/5.09	c ===============================================================================
4.99/5.09	c |     11610 |    2016    63458   203301 |    21152    11610     95 |  0.444 % |
5.09/5.14	c |     11711 |    2016    63458   203301 |    23267    11711     95 |  0.445 % |
5.19/5.20	c |     11863 |    2016    63458   203301 |    25594    11863     95 |  0.444 % |
5.29/5.30	c |     12088 |    2016    63458   203301 |    28154    12088     95 |  0.445 % |
5.39/5.45	c |     12426 |    2016    63458   203301 |    30969    12426     95 |  0.444 % |
5.69/5.71	c |     12932 |    2016    63458   203301 |    34066    12932     94 |  0.444 % |
6.19/6.20	c |     13692 |    2016    63458   203301 |    37473    13692     94 |  0.444 % |
6.79/6.88	c |     14831 |    2016    63458   203301 |    41220    14831     94 |  0.444 % |
7.70/7.78	c |     16539 |    2016    63458   203301 |    45342    16539     93 |  0.444 % |
8.29/8.31	c ===============================================================================
8.29/8.31	c New solution: -110
8.29/8.31	o -110
8.29/8.31	c Elapsed CPU time: 8.15776 s	Remaining CPU time: 171.842 s
8.29/8.31	c ===============================================================================
8.29/8.31	c |     17522 |    2016    63459   203436 |    21153    17522     93 |  0.444 % |
8.29/8.32	c ===============================================================================
8.29/8.32	c New solution: -111
8.29/8.32	o -111
8.29/8.32	c Elapsed CPU time: 8.17476 s	Remaining CPU time: 171.825 s
8.29/8.32	c ===============================================================================
8.29/8.32	c |     17525 |    2016    63460   203571 |    21153    17525     93 |  0.444 % |
8.29/8.37	c |     17625 |    2016    63460   203571 |    23268    17625     93 |  0.444 % |
8.39/8.43	c |     17775 |    2016    63460   203571 |    25595    17775     93 |  0.444 % |
8.49/8.55	c |     18000 |    2016    63460   203571 |    28155    18000     93 |  0.444 % |
8.70/8.77	c |     18337 |    2016    63460   203571 |    30970    18337     93 |  0.444 % |
9.09/9.11	c |     18844 |    2016    63460   203571 |    34067    18844     93 |  0.444 % |
9.49/9.58	c |     19605 |    2016    63460   203571 |    37474    19605     93 |  0.444 % |
10.28/10.33	c |     20745 |    2016    63460   203571 |    41221    20745     92 |  0.444 % |
11.49/11.56	c |     22454 |    2016    63460   203571 |    45344    22454     92 |  0.444 % |
13.29/13.36	c |     25016 |    2016    63460   203571 |    49878    25016     92 |  0.444 % |
16.29/16.36	c |     28862 |    2016    63460   203571 |    54866    28862     91 |  0.444 % |
19.58/19.69	c ===============================================================================
19.58/19.69	c New solution: -112
19.58/19.69	o -112
19.58/19.69	c Elapsed CPU time: 19.479 s	Remaining CPU time: 160.521 s
19.58/19.69	c ===============================================================================
19.58/19.69	c |     31818 |    2016    63461   203706 |    21153    31818     91 |  0.444 % |
19.89/19.98	c |     31918 |    2016    63461   203706 |    23269    11278     88 |  0.444 % |
19.99/20.07	c |     32073 |    2016    63461   203706 |    25595    11433     88 |  0.444 % |
20.09/20.19	c |     32300 |    2016    63461   203706 |    28155    11660     88 |  0.444 % |
20.29/20.37	c |     32637 |    2016    63461   203706 |    30971    11997     88 |  0.444 % |
20.58/20.68	c |     33143 |    2016    63461   203706 |    34068    12503     88 |  0.444 % |
20.68/20.75	c ===============================================================================
20.68/20.75	c New solution: -113
20.68/20.75	o -113
20.68/20.75	c Elapsed CPU time: 20.5239 s	Remaining CPU time: 159.476 s
20.68/20.75	c ===============================================================================
20.68/20.75	c |     33231 |    2016    63462   203841 |    21154    12591     88 |  0.444 % |
20.68/20.76	c ===============================================================================
20.68/20.76	c New solution: -114
20.68/20.76	o -114
20.68/20.76	c Elapsed CPU time: 20.5389 s	Remaining CPU time: 159.461 s
20.68/20.76	c ===============================================================================
20.68/20.76	c |     33231 |    2016    63463   203976 |    21154    12591     88 |  0.444 % |
20.68/20.78	c ===============================================================================
20.68/20.78	c New solution: -115
20.68/20.78	o -115
20.68/20.78	c Elapsed CPU time: 20.5539 s	Remaining CPU time: 159.446 s
20.68/20.78	c ===============================================================================
20.68/20.78	c |     33233 |    2016    63464   204111 |    21154    12593     88 |  0.444 % |
20.68/20.79	c ===============================================================================
20.68/20.79	c New solution: -116
20.68/20.79	o -116
20.68/20.79	c Elapsed CPU time: 20.5679 s	Remaining CPU time: 159.432 s
20.68/20.79	c ===============================================================================
20.68/20.79	c |     33233 |    2016    63465   204246 |    21155    12593     88 |  0.444 % |
20.80/20.84	c |     33333 |    2016    63465   204246 |    23270    12693     88 |  0.444 % |
20.89/20.92	c |     33484 |    2016    63465   204246 |    25597    12844     88 |  0.444 % |
20.99/21.03	c |     33709 |    2016    63465   204246 |    28157    13069     88 |  0.444 % |
21.18/21.24	c |     34047 |    2016    63465   204246 |    30973    13407     88 |  0.444 % |
21.48/21.54	c |     34553 |    2016    63465   204246 |    34070    13913     88 |  0.444 % |
21.89/21.95	c |     35313 |    2016    63465   204246 |    37477    14673     88 |  0.444 % |
22.59/22.63	c |     36454 |    2016    63465   204246 |    41225    15814     88 |  0.444 % |
23.79/23.84	c |     38162 |    2016    63465   204246 |    45347    17522     87 |  0.444 % |
25.58/25.66	c |     40724 |    2016    63465   204246 |    49882    20084     87 |  0.444 % |
28.59/28.64	c |     44568 |    2016    63465   204246 |    54870    23928     87 |  0.444 % |
34.58/34.63	c |     50336 |    2016    63465   204246 |    60357    29696     87 |  0.444 % |
45.78/45.89	c |     58985 |    2016    63465   204246 |    66393    38345     86 |  0.444 % |
65.78/65.83	c |     71960 |    2016    63465   204246 |    73032    51320     86 |  0.445 % |
93.17/93.22	c ===============================================================================
93.17/93.22	c New solution: -117
93.17/93.22	o -117
93.17/93.22	c Elapsed CPU time: 92.7029 s	Remaining CPU time: 87.2971 s
93.17/93.22	c ===============================================================================
93.17/93.22	c |     87243 |    2016    63466   204381 |    21155    66603     86 |  0.445 % |
94.37/94.45	c ===============================================================================
94.37/94.45	c New solution: -118
94.37/94.45	o -118
94.37/94.45	c Elapsed CPU time: 93.9387 s	Remaining CPU time: 86.0613 s
94.37/94.45	c ===============================================================================
94.37/94.45	c |     87268 |    2016    63467   204516 |    21155    12251     83 |  0.445 % |
94.37/94.49	c |     87368 |    2016    63467   204516 |    23271    12351     83 |  0.445 % |
94.47/94.55	c |     87519 |    2016    63467   204516 |    25598    12502     83 |  0.444 % |
94.57/94.64	c |     87744 |    2016    63467   204516 |    28158    12727     83 |  0.445 % |
94.66/94.78	c |     88081 |    2016    63467   204516 |    30974    13064     83 |  0.444 % |
94.96/95.04	c |     88588 |    2016    63467   204516 |    34071    13571     84 |  0.444 % |
95.36/95.48	c |     89347 |    2016    63467   204516 |    37478    14330     84 |  0.444 % |
96.06/96.14	c |     90490 |    2016    63467   204516 |    41226    15473     84 |  0.444 % |
97.06/97.13	c |     92198 |    2016    63467   204516 |    45349    17181     84 |  0.444 % |
98.97/99.01	c |     94762 |    2016    63467   204516 |    49883    19745     84 |  0.444 % |
101.36/101.41	c |     98606 |    2016    63467   204516 |    54872    23589     84 |  0.445 % |
105.16/105.25	c |    104372 |    2016    63467   204516 |    60359    29355     84 |  0.444 % |
111.86/111.96	c |    113022 |    2016    63467   204516 |    66395    38005     84 |  0.444 % |
128.85/128.96	c |    126000 |    2016    63467   204516 |    73035    50983     84 |  0.444 % |
162.44/162.53	c |    145463 |    2016    63467   204516 |    80338    70446     84 |  0.444 % |
180.73/180.86	c There are 9 assigned variables. 9 in cost function.
185.54/185.68	c core #1
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 11	Core Weight: 1	Total Weight: -294
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #2
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 8	Core Weight: 1	Total Weight: -293
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #3
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 9	Core Weight: 2	Total Weight: -291
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #4
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 11	Core Weight: 1	Total Weight: -290
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #5
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 14	Core Weight: 1	Total Weight: -289
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #6
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 16	Core Weight: 1	Total Weight: -288
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #7
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 12	Core Weight: 1	Total Weight: -287
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #8
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 13	Core Weight: 1	Total Weight: -286
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #9
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 14	Core Weight: 1	Total Weight: -285
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #10
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 21	Core Weight: 1	Total Weight: -284
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #11
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 12	Core Weight: 1	Total Weight: -283
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #12
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 13	Core Weight: 1	Total Weight: -282
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #13
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 20	Core Weight: 1	Total Weight: -281
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #14
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 21	Core Weight: 1	Total Weight: -280
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #15
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 20	Core Weight: 1	Total Weight: -279
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #16
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 8	Core Weight: 1	Total Weight: -278
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #17
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 9	Core Weight: 1	Total Weight: -277
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #18
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 10	Core Weight: 1	Total Weight: -276
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #19
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 10	Core Weight: 1	Total Weight: -275
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #20
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 9	Core Weight: 1	Total Weight: -274
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #21
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 10	Core Weight: 1	Total Weight: -273
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #22
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 10	Core Weight: 1	Total Weight: -272
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #23
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 10	Core Weight: 1	Total Weight: -271
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #24
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 8	Core Weight: 1	Total Weight: -270
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #25
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 9	Core Weight: 1	Total Weight: -269
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #26
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 10	Core Weight: 1	Total Weight: -268
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #27
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 11	Core Weight: 2	Total Weight: -266
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #28
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 11	Core Weight: 1	Total Weight: -265
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #29
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 11	Core Weight: 1	Total Weight: -264
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #30
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 11	Core Weight: 1	Total Weight: -263
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #31
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 11	Core Weight: 1	Total Weight: -262
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #32
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 11	Core Weight: 2	Total Weight: -260
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #33
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 12	Core Weight: 1	Total Weight: -259
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #34
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 11	Core Weight: 1	Total Weight: -258
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #35
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 10	Core Weight: 2	Total Weight: -256
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #36
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 11	Core Weight: 1	Total Weight: -255
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #37
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 14	Core Weight: 1	Total Weight: -254
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #38
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 10	Core Weight: 2	Total Weight: -252
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #39
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 9	Core Weight: 1	Total Weight: -251
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #40
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 7	Core Weight: 2	Total Weight: -249
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #41
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 8	Core Weight: 1	Total Weight: -248
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #42
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 8	Core Weight: 1	Total Weight: -247
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #43
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 9	Core Weight: 1	Total Weight: -246
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #44
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 10	Core Weight: 1	Total Weight: -245
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #45
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 10	Core Weight: 1	Total Weight: -244
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #46
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 11	Core Weight: 1	Total Weight: -243
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #47
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 13	Core Weight: 1	Total Weight: -242
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #48
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 12	Core Weight: 1	Total Weight: -241
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #49
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 13	Core Weight: 2	Total Weight: -239
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #50
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 15	Core Weight: 1	Total Weight: -238
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #51
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 10	Core Weight: 1	Total Weight: -237
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #52
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 20	Core Weight: 1	Total Weight: -236
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #53
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 20	Core Weight: 1	Total Weight: -235
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #54
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 13	Core Weight: 1	Total Weight: -234
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #55
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 16	Core Weight: 1	Total Weight: -233
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #56
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 17	Core Weight: 1	Total Weight: -232
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #57
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 17	Core Weight: 1	Total Weight: -231
185.54/185.68	c
185.54/185.68	c
185.54/185.68	c core #58
185.54/185.68	c 
185.54/185.68	c 
185.54/185.68	c Core size: 18	Core Weight: 1	Total Weight: -230
185.54/185.68	c
185.54/185.68	c
186.64/186.78	c core #59
186.64/186.78	c 
186.64/186.78	c 
186.64/186.78	c Core size: 12	Core Weight: 1	Total Weight: -229
186.64/186.78	c
186.64/186.78	c
186.64/186.78	c core #60
186.64/186.78	c 
186.64/186.78	c 
186.64/186.78	c Core size: 13	Core Weight: 1	Total Weight: -228
186.64/186.78	c
186.64/186.78	c
186.64/186.78	c core #61
186.64/186.78	c 
186.64/186.78	c 
186.64/186.78	c Core size: 8	Core Weight: 1	Total Weight: -227
186.64/186.78	c
186.64/186.78	c
186.64/186.78	c core #62
186.64/186.78	c 
186.64/186.78	c 
186.64/186.78	c Core size: 9	Core Weight: 1	Total Weight: -226
186.64/186.78	c
186.64/186.78	c
186.64/186.78	c core #63
186.64/186.78	c 
186.64/186.78	c 
186.64/186.78	c Core size: 11	Core Weight: 1	Total Weight: -225
186.64/186.78	c
186.64/186.78	c
186.64/186.78	c core #64
186.64/186.78	c 
186.64/186.78	c 
186.64/186.78	c Core size: 34	Core Weight: 1	Total Weight: -224
186.64/186.78	c
186.64/186.78	c
186.64/186.78	c core #65
186.64/186.78	c 
186.64/186.78	c 
186.64/186.78	c Core size: 10	Core Weight: 1	Total Weight: -223
186.64/186.78	c
186.64/186.78	c
186.64/186.78	c core #66
186.64/186.78	c 
186.64/186.78	c 
186.64/186.78	c Core size: 9	Core Weight: 1	Total Weight: -222
186.64/186.78	c
186.64/186.78	c
186.64/186.78	c core #67
186.64/186.78	c 
186.64/186.78	c 
186.64/186.78	c Core size: 21	Core Weight: 1	Total Weight: -221
186.64/186.78	c
186.64/186.78	c
186.64/186.78	c core #68
186.64/186.78	c 
186.64/186.78	c 
186.64/186.78	c Core size: 11	Core Weight: 1	Total Weight: -220
186.64/186.78	c
186.64/186.78	c
186.64/186.78	c ============================[ Search Statistics ]==============================
186.64/186.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.64/186.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.64/186.78	c ===============================================================================
186.64/186.78	c |         0 |    2279    63991   201745 |    21330        0    nan |  0.000 % |
186.74/186.80	c ===============================================================================
186.74/186.90	c core #69
186.74/186.90	c 
186.74/186.90	c 
186.74/186.90	c Core size: 19	Core Weight: 1	Total Weight: -219
186.74/186.90	c
186.74/186.90	c
186.74/186.90	c ============================[ Search Statistics ]==============================
186.74/186.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.74/186.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.74/186.90	c ===============================================================================
186.74/186.90	c |         0 |    2294    63996   202481 |    21332        0    nan |  0.000 % |
186.84/186.91	c ===============================================================================
186.94/187.01	c core #70
186.94/187.01	c 
186.94/187.01	c 
186.94/187.01	c Core size: 27	Core Weight: 1	Total Weight: -218
186.94/187.01	c
186.94/187.01	c
186.94/187.01	c ============================[ Search Statistics ]==============================
186.94/187.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.94/187.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.94/187.01	c ===============================================================================
186.94/187.01	c |         0 |    2314    63997   202521 |    21332        0    nan |  0.000 % |
186.94/187.03	c ===============================================================================
187.03/187.13	c core #71
187.03/187.13	c 
187.03/187.13	c 
187.03/187.13	c Core size: 25	Core Weight: 1	Total Weight: -217
187.03/187.13	c
187.03/187.13	c
187.03/187.13	c ============================[ Search Statistics ]==============================
187.03/187.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.03/187.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.03/187.13	c ===============================================================================
187.03/187.13	c |         0 |    2335    64000   203089 |    21333        0    nan |  0.000 % |
187.03/187.14	c ===============================================================================
187.13/187.25	c core #72
187.13/187.25	c 
187.13/187.25	c 
187.13/187.25	c Core size: 18	Core Weight: 1	Total Weight: -216
187.13/187.25	c
187.13/187.25	c
187.13/187.25	c ============================[ Search Statistics ]==============================
187.13/187.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.13/187.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.13/187.25	c ===============================================================================
187.13/187.25	c |         0 |    2353    64003   203387 |    21334        0    nan |  0.000 % |
187.13/187.25	c ===============================================================================
187.23/187.36	c core #73
187.23/187.36	c 
187.23/187.36	c 
187.23/187.36	c Core size: 12	Core Weight: 1	Total Weight: -215
187.23/187.36	c
187.23/187.36	c
187.23/187.36	c ============================[ Search Statistics ]==============================
187.23/187.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.23/187.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.23/187.36	c ===============================================================================
187.23/187.36	c |         0 |    2359    64004   203399 |    21334        0    nan |  0.000 % |
187.23/187.37	c ===============================================================================
187.33/187.47	c core #74
187.33/187.47	c 
187.33/187.47	c 
187.33/187.47	c Core size: 22	Core Weight: 1	Total Weight: -214
187.33/187.47	c
187.33/187.47	c
187.33/187.47	c ============================[ Search Statistics ]==============================
187.33/187.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.33/187.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.33/187.47	c ===============================================================================
187.33/187.47	c |         0 |    2380    64007   204593 |    21335        0    nan |  0.000 % |
187.33/187.48	c ===============================================================================
187.43/187.58	c core #75
187.43/187.58	c 
187.43/187.58	c 
187.43/187.58	c Core size: 14	Core Weight: 1	Total Weight: -213
187.43/187.58	c
187.43/187.58	c
187.43/187.58	c ============================[ Search Statistics ]==============================
187.43/187.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.43/187.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.43/187.58	c ===============================================================================
187.43/187.58	c |         0 |    2389    64008   204611 |    21336        0    nan |  0.000 % |
187.43/187.59	c ===============================================================================
187.63/187.70	c core #76
187.63/187.70	c 
187.63/187.70	c 
187.63/187.70	c Core size: 29	Core Weight: 1	Total Weight: -212
187.63/187.70	c
187.63/187.70	c
187.63/187.70	c ============================[ Search Statistics ]==============================
187.63/187.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.63/187.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.63/187.70	c ===============================================================================
187.63/187.70	c |         0 |    2408    64011   204653 |    21337        0    nan |  0.000 % |
187.63/187.71	c ===============================================================================
187.73/187.81	c core #77
187.73/187.81	c 
187.73/187.81	c 
187.73/187.81	c Core size: 25	Core Weight: 1	Total Weight: -211
187.73/187.81	c
187.73/187.81	c
187.73/187.81	c ============================[ Search Statistics ]==============================
187.73/187.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.73/187.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.73/187.81	c ===============================================================================
187.73/187.81	c |         0 |    2420    64012   204677 |    21337        0    nan |  0.000 % |
187.73/187.82	c ===============================================================================
187.83/187.92	c core #78
187.83/187.92	c 
187.83/187.92	c 
187.83/187.92	c Core size: 17	Core Weight: 1	Total Weight: -210
187.83/187.92	c
187.83/187.92	c
187.83/187.92	c ============================[ Search Statistics ]==============================
187.83/187.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.83/187.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.83/187.92	c ===============================================================================
187.83/187.92	c |         0 |    2428    64013   204828 |    21337        0    nan |  0.000 % |
187.83/187.94	c ===============================================================================
187.94/188.03	c core #79
187.94/188.03	c 
187.94/188.03	c 
187.94/188.03	c Core size: 20	Core Weight: 1	Total Weight: -209
187.94/188.03	c
187.94/188.03	c
187.94/188.03	c ============================[ Search Statistics ]==============================
187.94/188.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.94/188.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.94/188.03	c ===============================================================================
187.94/188.03	c |         0 |    2441    64014   204854 |    21338        0    nan |  0.000 % |
187.94/188.04	c ===============================================================================
188.04/188.15	c core #80
188.04/188.15	c 
188.04/188.15	c 
188.04/188.15	c Core size: 25	Core Weight: 1	Total Weight: -208
188.04/188.15	c
188.04/188.15	c
188.04/188.15	c ============================[ Search Statistics ]==============================
188.04/188.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.04/188.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.04/188.15	c ===============================================================================
188.04/188.15	c |         0 |    2456    64021   204897 |    21340        0    nan |  0.000 % |
188.04/188.17	c ===============================================================================
188.13/188.26	c core #81
188.13/188.26	c 
188.13/188.26	c 
188.13/188.26	c Core size: 22	Core Weight: 1	Total Weight: -207
188.13/188.26	c
188.13/188.26	c
188.13/188.26	c ============================[ Search Statistics ]==============================
188.13/188.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.13/188.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.13/188.26	c ===============================================================================
188.13/188.26	c |         0 |    2470    64022   204925 |    21340        0    nan |  0.000 % |
188.13/188.28	c ===============================================================================
188.23/188.38	c core #82
188.23/188.38	c 
188.23/188.38	c 
188.23/188.38	c Core size: 29	Core Weight: 1	Total Weight: -206
188.23/188.38	c
188.23/188.38	c
188.23/188.38	c ============================[ Search Statistics ]==============================
188.23/188.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.23/188.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.23/188.38	c ===============================================================================
188.23/188.38	c |         0 |    2493    64024   204974 |    21341        0    nan |  0.000 % |
188.33/188.41	c ===============================================================================
188.43/188.50	c core #83
188.43/188.50	c 
188.43/188.50	c 
188.43/188.50	c Core size: 21	Core Weight: 1	Total Weight: -205
188.43/188.50	c
188.43/188.50	c
188.43/188.50	c ============================[ Search Statistics ]==============================
188.43/188.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.43/188.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.43/188.50	c ===============================================================================
188.43/188.50	c |         0 |    2503    64025   204994 |    21341        0    nan |  0.000 % |
188.43/188.53	c ===============================================================================
188.53/188.63	c core #84
188.53/188.63	c 
188.53/188.63	c 
188.53/188.63	c Core size: 59	Core Weight: 1	Total Weight: -204
188.53/188.63	c
188.53/188.63	c
188.53/188.63	c ============================[ Search Statistics ]==============================
188.53/188.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.53/188.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.53/188.63	c ===============================================================================
188.53/188.63	c |         0 |    2545    64026   205078 |    21342        0    nan |  0.000 % |
188.53/188.68	c |       101 |    2544    64026   205078 |    23476      101     12 |  0.392 % |
188.63/188.70	c ===============================================================================
188.73/188.80	c core #85
188.73/188.80	c 
188.73/188.80	c 
188.73/188.80	c Core size: 87	Core Weight: 1	Total Weight: -203
188.73/188.80	c
188.73/188.80	c
188.73/188.80	c ============================[ Search Statistics ]==============================
188.73/188.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.73/188.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.73/188.80	c ===============================================================================
188.73/188.80	c |         0 |    2626    64029   205244 |    21343        0    nan |  0.000 % |
188.73/188.84	c |       102 |    2625    64029   205244 |    23477      102     13 |  0.380 % |
188.73/188.88	c ===============================================================================
188.83/188.99	c core #86
188.83/188.99	c 
188.83/188.99	c 
188.83/188.99	c Core size: 135	Core Weight: 1	Total Weight: -202
188.83/188.99	c
188.83/188.99	c
188.83/188.99	c ============================[ Search Statistics ]==============================
188.83/188.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.83/188.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.83/188.99	c ===============================================================================
188.83/188.99	c |         0 |    2746    64033   205490 |    21344        0    nan |  0.000 % |
188.93/189.03	c |       100 |    2746    64033   205490 |    23478      100     11 |  0.327 % |
188.93/189.07	c |       251 |    2746    64033   205490 |    25826      251     11 |  0.327 % |
189.04/189.15	c |       477 |    2746    64033   205490 |    28409      477     13 |  0.327 % |
189.15/189.21	c ===============================================================================
189.24/189.31	c core #87
189.24/189.31	c 
189.24/189.31	c 
189.24/189.31	c Core size: 180	Core Weight: 1	Total Weight: -201
189.24/189.31	c
189.24/189.31	c
189.24/189.31	c ============================[ Search Statistics ]==============================
189.24/189.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.24/189.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.24/189.31	c ===============================================================================
189.24/189.31	c |         0 |    2908    64041   205834 |    21347        0    nan |  0.000 % |
189.24/189.36	c |       102 |    2908    64041   205834 |    23481      102     27 |  0.309 % |
189.33/189.42	c |       252 |    2908    64041   205834 |    25829      252     15 |  0.343 % |
189.43/189.51	c |       477 |    2905    64041   205834 |    28412      477     12 |  0.480 % |
189.53/189.63	c |       814 |    2901    64041   205834 |    31254      814     11 |  0.652 % |
189.53/189.65	c ===============================================================================
189.63/189.76	c core #88
189.63/189.76	c 
189.63/189.76	c 
189.63/189.76	c Core size: 221	Core Weight: 1	Total Weight: -200
189.63/189.76	c
189.63/189.76	c
189.63/189.76	c ============================[ Search Statistics ]==============================
189.63/189.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.63/189.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.63/189.76	c ===============================================================================
189.63/189.76	c |         0 |    3092    64046   206213 |    21348        0    nan |  0.000 % |
189.73/189.82	c |       100 |    3092    64046   206213 |    23483      100     51 |  0.290 % |
189.73/189.87	c |       252 |    3092    64046   206213 |    25831      252     47 |  0.290 % |
189.83/189.94	c |       477 |    3092    64046   206213 |    28415      477     34 |  0.290 % |
189.93/190.07	c |       816 |    3092    64046   206213 |    31256      816     30 |  0.290 % |
190.14/190.25	c |      1325 |    3092    64046   206213 |    34382     1325     27 |  0.290 % |
190.33/190.44	c |      2085 |    3092    64046   206213 |    37820     2085     25 |  0.290 % |
190.73/190.85	c ===============================================================================
190.84/190.98	c core #89
190.84/190.98	c 
190.84/190.98	c 
190.84/190.98	c Core size: 197	Core Weight: 1	Total Weight: -199
190.84/190.98	c
190.84/190.98	c
190.84/190.98	c ============================[ Search Statistics ]==============================
190.84/190.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.84/190.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.84/190.98	c ===============================================================================
190.84/190.98	c |         0 |    3272    64071   206645 |    21357        0    nan |  0.000 % |
190.94/191.04	c |       101 |    3272    64071   206645 |    23492      101     27 |  0.274 % |
190.94/191.09	c |       251 |    3272    64071   206645 |    25841      251     29 |  0.274 % |
191.04/191.13	c |       477 |    3272    64071   206645 |    28426      477     32 |  0.274 % |
191.13/191.20	c |       814 |    3272    64071   206645 |    31268      814     33 |  0.274 % |
191.24/191.30	c |      1322 |    3272    64071   206645 |    34395     1322     33 |  0.274 % |
191.34/191.49	c |      2085 |    3272    64071   206645 |    37835     2085     33 |  0.274 % |
191.74/191.81	c |      3226 |    3272    64071   206645 |    41618     3226     39 |  0.274 % |
192.23/192.38	c |      4934 |    3272    64071   206645 |    45780     4934     40 |  0.274 % |
193.04/193.16	c |      7501 |    3272    64071   206645 |    50358     7501     40 |  0.274 % |
194.54/194.66	c |     11345 |    3272    64071   206645 |    55394    11345     39 |  0.274 % |
197.53/197.60	c |     17111 |    3272    64071   206645 |    60934    17111     41 |  0.274 % |
202.23/202.36	c |     25762 |    3272    64071   206645 |    67027    25762     41 |  0.274 % |
212.32/212.41	c |     38737 |    3271    64071   206645 |    73730    32913     45 |  0.305 % |
238.42/238.60	c |     58201 |    3271    64071   206645 |    81103    52377     54 |  0.305 % |
253.92/254.03	c ===============================================================================
255.12/255.22	c core #90
255.12/255.22	c 
255.12/255.22	c 
255.12/255.22	c Core size: 257	Core Weight: 1	Total Weight: -198
255.12/255.22	c
255.12/255.22	c
255.12/255.22	c ============================[ Search Statistics ]==============================
255.12/255.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
255.12/255.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
255.12/255.22	c ===============================================================================
255.12/255.22	c |         0 |    3502    64099   207184 |    21366        0    nan |  0.000 % |
255.12/255.29	c |       103 |    3502    64099   207184 |    23502      103     76 |  0.256 % |
255.21/255.30	c |       253 |    3502    64099   207184 |    25853      253     52 |  0.256 % |
255.21/255.33	c |       481 |    3502    64099   207184 |    28438      481     45 |  0.256 % |
255.31/255.40	c |       824 |    3502    64099   207184 |    31282      824     43 |  0.256 % |
255.41/255.51	c |      1332 |    3502    64099   207184 |    34410     1332     47 |  0.256 % |
255.61/255.78	c |      2091 |    3502    64099   207184 |    37851     2091     49 |  0.256 % |
256.02/256.10	c |      3230 |    3502    64099   207184 |    41636     3230     49 |  0.256 % |
256.51/256.61	c |      4939 |    3502    64099   207184 |    45800     4939     52 |  0.256 % |
257.42/257.55	c |      7501 |    3502    64099   207184 |    50380     7501     55 |  0.256 % |
259.02/259.11	c |     11345 |    3502    64099   207184 |    55418    11345     56 |  0.256 % |
261.72/261.89	c |     17121 |    3502    64099   207184 |    60960    17121     61 |  0.256 % |
265.41/265.58	c |     25770 |    3502    64099   207184 |    67056    25770     59 |  0.256 % |
275.01/275.15	c |     38745 |    3502    64099   207184 |    73762    38745     67 |  0.256 % |
293.00/293.15	c |     58207 |    3502    64099   207184 |    81138    58207     69 |  0.256 % |
324.90/325.00	c |     87402 |    3502    64099   207184 |    89252    21055     64 |  0.256 % |
387.37/387.54	c |    131191 |    3502    64099   207184 |    98177    64844     70 |  0.256 % |
490.45/490.61	c |    196876 |    3502    64099   207184 |   107995    47231     94 |  0.256 % |
618.60/618.88	c |    295402 |    3498    64099   207184 |   118795    14189     50 |  0.370 % |
818.55/818.80	c |    443196 |    3493    64099   207184 |   130674    92840     86 |  0.513 % |
984.60/984.99	c ===============================================================================
994.00/994.32	c core #91
994.00/994.32	c 
994.00/994.32	c 
994.00/994.32	c Core size: 282	Core Weight: 1	Total Weight: -197
994.00/994.32	c
994.00/994.32	c
994.00/994.32	c ============================[ Search Statistics ]==============================
994.00/994.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
994.00/994.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
994.00/994.32	c ===============================================================================
994.00/994.32	c |         0 |    3762    64113   207738 |    21371        0    nan |  0.000 % |
994.19/994.52	c |       102 |    3762    64113   207738 |    23508      102     81 |  0.239 % |
994.19/994.58	c |       253 |    3762    64113   207738 |    25858      253     84 |  0.239 % |
994.29/994.64	c |       480 |    3762    64113   207738 |    28444      480     84 |  0.239 % |
994.39/994.74	c |       817 |    3762    64113   207738 |    31289      817     74 |  0.239 % |
994.50/994.82	c |      1323 |    3762    64113   207738 |    34418     1323     68 |  0.239 % |
994.60/994.92	c |      2082 |    3762    64113   207738 |    37860     2082     56 |  0.239 % |
994.79/995.11	c |      3221 |    3762    64113   207738 |    41646     3221     48 |  0.239 % |
995.10/995.44	c |      4931 |    3762    64113   207738 |    45810     4931     43 |  0.239 % |
995.89/996.26	c |      7493 |    3762    64113   207738 |    50391     7493     41 |  0.239 % |
997.40/997.76	c |     11338 |    3762    64113   207738 |    55430    11338     44 |  0.239 % |
1000.90/1001.20	c |     17105 |    3762    64113   207738 |    60973    17105     60 |  0.239 % |
1007.30/1007.69	c |     25756 |    3762    64113   207738 |    67071    25756     63 |  0.239 % |
1026.28/1026.67	c |     38732 |    3762    64113   207738 |    73778    38732     67 |  0.239 % |
1055.37/1055.75	c |     58193 |    3762    64113   207738 |    81156    58193     70 |  0.239 % |
1114.05/1114.44	c |     87387 |    3762    64113   207738 |    89271    20583     93 |  0.239 % |
1171.64/1172.02	c |    131177 |    3762    64113   207738 |    98199    64373     89 |  0.239 % |
1302.30/1302.71	c |    196864 |    3762    64113   207738 |   108019    46928    125 |  0.239 % |
1494.14/1494.68	c |    295395 |    3762    64113   207738 |   118820    52006    115 |  0.239 % |

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-2680388-1277460430/watcher-2680388-1277460430 -o /tmp/evaluation-result-2680388-1277460430/solver-2680388-1277460430 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680388-1277460430.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.00 1.00 1.00 3/106 27437
/proc/meminfo: memFree=1851824/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=5060 CPUtime=0
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 87334012 5181440 282 1992294400 134512640 135752675 4288788256 18446744073709551615 134609676 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 1265 283 138 303 0 443 0

[startup+0.040688 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27437
/proc/meminfo: memFree=1851824/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=5220 CPUtime=0.03
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 481 0 0 0 3 0 0 0 20 0 1 0 87334012 5345280 399 1992294400 134512640 135752675 4288788256 18446744073709551615 135211771 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 1305 399 190 303 0 483 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5220

[startup+0.101697 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27437
/proc/meminfo: memFree=1851824/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=6004 CPUtime=0.09
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 741 0 0 0 9 0 0 0 20 0 1 0 87334012 6148096 659 1992294400 134512640 135752675 4288788256 18446744073709551615 135398690 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 1501 659 285 303 0 679 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6004

[startup+0.301726 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27437
/proc/meminfo: memFree=1851824/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=7964 CPUtime=0.29
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 1571 0 0 0 29 0 0 0 20 0 1 0 87334012 8155136 1489 1992294400 134512640 135752675 4288788256 18446744073709551615 134564369 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 1991 1489 598 303 0 1169 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7964

[startup+0.700785 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27437
/proc/meminfo: memFree=1851824/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=7320 CPUtime=0.69
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 1999 0 0 0 66 3 0 0 18 0 1 0 87334012 7495680 1367 1992294400 134512640 135752675 4288788256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 1830 1367 144 303 0 1525 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7320

[startup+1.5009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27438
/proc/meminfo: memFree=1846732/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=8112 CPUtime=1.49
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 2171 0 0 0 142 7 0 0 18 0 1 0 87334012 8306688 1539 1992294400 134512640 135752675 4288788256 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 2028 1539 145 303 0 1723 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8112

[startup+3.10114 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27438
/proc/meminfo: memFree=1845120/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=10232 CPUtime=3.09
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 2730 0 0 0 298 11 0 0 19 0 1 0 87334012 10477568 2098 1992294400 134512640 135752675 4288788256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 2558 2098 145 303 0 2253 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10232

[startup+6.3006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27438
/proc/meminfo: memFree=1840408/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=14132 CPUtime=6.29
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 3700 0 0 0 616 13 0 0 25 0 1 0 87334012 14471168 3068 1992294400 134512640 135752675 4288788256 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 3533 3068 145 303 0 3228 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14132

[startup+12.7005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27438
/proc/meminfo: memFree=1834960/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=19200 CPUtime=12.69
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 4947 0 0 0 1252 17 0 0 25 0 1 0 87334012 19660800 4315 1992294400 134512640 135752675 4288788256 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 4800 4315 145 303 0 4495 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19200

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27438
/proc/meminfo: memFree=1827148/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=26688 CPUtime=25.48
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 6813 0 0 0 2523 25 0 0 25 0 1 0 87334012 27328512 6181 1992294400 134512640 135752675 4288788256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 6672 6181 145 303 0 6367 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26688

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27438
/proc/meminfo: memFree=1817104/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=36856 CPUtime=51.08
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 9311 0 0 0 5073 35 0 0 25 0 1 0 87334012 37740544 8679 1992294400 134512640 135752675 4288788256 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 9214 8679 145 303 0 8909 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36856

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27440
/proc/meminfo: memFree=1800116/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=53676 CPUtime=102.27
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 13502 0 0 0 10174 53 0 0 25 0 1 0 87334012 54964224 12870 1992294400 134512640 135752675 4288788256 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 13419 12870 145 303 0 13114 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 53676

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27442
/proc/meminfo: memFree=1780276/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=73704 CPUtime=162.24
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 18457 0 0 0 16149 75 0 0 25 0 1 0 87334012 75472896 17825 1992294400 134512640 135752675 4288788256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 18426 17825 145 303 0 18121 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 73704

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27444
/proc/meminfo: memFree=1773580/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=79192 CPUtime=222.22
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 20308 0 0 0 22123 99 0 0 25 0 1 0 87334012 81092608 19334 1992294400 134512640 135752675 4288788256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 19798 19334 146 303 0 19493 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 79192

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27446
/proc/meminfo: memFree=1773580/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=79192 CPUtime=282.2
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 20320 0 0 0 28096 124 0 0 25 0 1 0 87334012 81092608 19346 1992294400 134512640 135752675 4288788256 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 19798 19346 146 303 0 19493 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 79192

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27446
/proc/meminfo: memFree=1759072/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=94004 CPUtime=342.18
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 24023 0 0 0 34066 152 0 0 25 0 1 0 87334012 96260096 23049 1992294400 134512640 135752675 4288788256 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 23501 23049 146 303 0 23196 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 94004

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27448
/proc/meminfo: memFree=1742952/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=110468 CPUtime=402.17
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 28093 0 0 0 40047 170 0 0 25 0 1 0 87334012 113119232 27119 1992294400 134512640 135752675 4288788256 18446744073709551615 134611724 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 27617 27119 146 303 0 27312 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 110468

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27450
/proc/meminfo: memFree=1726956/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=126640 CPUtime=462.15
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 32095 0 0 0 46026 189 0 0 25 0 1 0 87334012 129679360 31121 1992294400 134512640 135752675 4288788256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 31660 31121 146 303 0 31355 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 126640

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27452
/proc/meminfo: memFree=1703024/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=150844 CPUtime=522.13
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 38108 0 0 0 51996 217 0 0 25 0 1 0 87334012 154464256 37134 1992294400 134512640 135752675 4288788256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 37711 37134 146 303 0 37406 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 150844

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27454
/proc/meminfo: memFree=1688888/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=164604 CPUtime=582.11
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 41502 0 0 0 57975 236 0 0 25 0 1 0 87334012 168554496 40528 1992294400 134512640 135752675 4288788256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 41151 40528 146 303 0 40846 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 164604

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27454
/proc/meminfo: memFree=1657392/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=195912 CPUtime=642.11
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 49342 0 0 0 63940 271 0 0 25 0 1 0 87334012 200613888 48368 1992294400 134512640 135752675 4288788256 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 48978 48368 146 303 0 48673 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 195912

[startup+702.3 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27460
/proc/meminfo: memFree=1591672/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=261808 CPUtime=822.04
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 65720 0 0 0 81862 342 0 0 25 0 1 0 87334012 268091392 64746 1992294400 134512640 135752675 4288788256 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 65452 64746 146 303 0 65147 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 261808

[startup+882.301 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 27462
/proc/meminfo: memFree=1576544/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=276888 CPUtime=882.02
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 69483 0 0 0 87843 359 0 0 25 0 1 0 87334012 283533312 68509 1992294400 134512640 135752675 4288788256 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 69222 68509 146 303 0 68917 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 276888

[startup+942.301 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 27462
/proc/meminfo: memFree=1550628/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=303028 CPUtime=942.01
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 76020 0 0 0 93817 384 0 0 25 0 1 0 87334012 310300672 75046 1992294400 134512640 135752675 4288788256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 75757 75046 146 303 0 75452 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 303028

[startup+1002.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/107 27464
/proc/meminfo: memFree=1519256/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=333680 CPUtime=1001.99
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 83764 0 0 0 99790 409 0 0 25 0 1 0 87334012 341688320 82662 1992294400 134512640 135752675 4288788256 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 83420 82662 146 303 0 83115 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 333680

[startup+1062.3 s]
/proc/loadavg: 1.02 1.03 1.00 2/107 27466
/proc/meminfo: memFree=1519132/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=333680 CPUtime=1061.98
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 83788 0 0 0 105771 427 0 0 25 0 1 0 87334012 341688320 82686 1992294400 134512640 135752675 4288788256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 83420 82686 146 303 0 83115 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 333680

[startup+1122.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 27468
/proc/meminfo: memFree=1518636/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=333680 CPUtime=1121.96
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 84026 0 0 0 111754 442 0 0 25 0 1 0 87334012 341688320 82924 1992294400 134512640 135752675 4288788256 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 83420 82924 146 303 0 83115 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 333680

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 27470
/proc/meminfo: memFree=1513304/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=339096 CPUtime=1181.94
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 85380 0 0 0 117731 463 0 0 25 0 1 0 87334012 347234304 84278 1992294400 134512640 135752675 4288788256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 84774 84278 146 303 0 84469 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 339096

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 27470
/proc/meminfo: memFree=1501028/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=351312 CPUtime=1241.92
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 88383 0 0 0 123713 479 0 0 25 0 1 0 87334012 359743488 87281 1992294400 134512640 135752675 4288788256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 87828 87281 146 303 0 87523 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 351312

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27472
/proc/meminfo: memFree=1480072/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=372164 CPUtime=1301.91
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 93581 0 0 0 129692 499 0 0 25 0 1 0 87334012 381095936 92479 1992294400 134512640 135752675 4288788256 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 93041 92479 146 303 0 92736 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 372164

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27474
/proc/meminfo: memFree=1468168/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=384496 CPUtime=1361.88
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 96605 0 0 0 135670 518 0 0 25 0 1 0 87334012 393723904 95503 1992294400 134512640 135752675 4288788256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 96124 95503 146 303 0 95819 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 384496

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27476
/proc/meminfo: memFree=1454156/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=398424 CPUtime=1421.88
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 100084 0 0 0 141651 537 0 0 25 0 1 0 87334012 407986176 98982 1992294400 134512640 135752675 4288788256 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 99606 98982 146 303 0 99301 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 398424

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27478
/proc/meminfo: memFree=1434564/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=418300 CPUtime=1481.85
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 105005 0 0 0 147625 560 0 0 25 0 1 0 87334012 428339200 103903 1992294400 134512640 135752675 4288788256 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 104575 103903 146 303 0 104270 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 418300

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27478
/proc/meminfo: memFree=1421172/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=431608 CPUtime=1541.83
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 108290 0 0 0 153608 575 0 0 25 0 1 0 87334012 441966592 107188 1992294400 134512640 135752675 4288788256 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 107902 107188 146 303 0 107597 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 431608

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27480
/proc/meminfo: memFree=1410756/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=442200 CPUtime=1601.81
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 110900 0 0 0 159593 588 0 0 25 0 1 0 87334012 452812800 109798 1992294400 134512640 135752675 4288788256 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 110550 109798 146 303 0 110245 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 442200

[startup+1662.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 27485
/proc/meminfo: memFree=1400588/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=451948 CPUtime=1661.79
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 113326 0 0 0 165580 599 0 0 25 0 1 0 87334012 462794752 112224 1992294400 134512640 135752675 4288788256 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 112987 112224 146 303 0 112682 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 451948

[startup+1722.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 27487
/proc/meminfo: memFree=1392652/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=460012 CPUtime=1721.77
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 115318 0 0 0 171568 609 0 0 25 0 1 0 87334012 471052288 114216 1992294400 134512640 135752675 4288788256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 115003 114216 146 303 0 114698 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 460012

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27489
/proc/meminfo: memFree=1371200/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=481576 CPUtime=1781.76
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 120681 0 0 0 177545 631 0 0 25 0 1 0 87334012 493133824 119579 1992294400 134512640 135752675 4288788256 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 120394 119579 146 303 0 120089 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 481576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27489
/proc/meminfo: memFree=1365372/2059040 swapFree=4140520/4192956
[pid=27437] ppid=27435 vsize=487220 CPUtime=1800.07
/proc/27437/stat : 27437 (wbo1.4b) R 27435 27437 26951 0 -1 4202496 122106 0 0 0 179368 639 0 0 25 0 1 0 87334012 498913280 121004 1992294400 134512640 135752675 4288788256 18446744073709551615 134640110 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27437/statm: 121805 121004 146 303 0 121500 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 487220

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.67
CPU time (s): 1800.13
CPU user time (s): 1793.69
CPU system time (s): 6.44302
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 487220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.69
system time used= 6.44302
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122106
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= 60
involuntary context switches= 21386

runsolver used 2.90456 second user time and 8.60269 second system time

The end

Launcher Data 

Begin job on node052 at 2010-06-25 12:07:10
IDJOB=2680388
IDBENCH=71834
IDSOLVER=1190
FILE ID=node052/2680388-1277460430
PBS_JOBID= 11188116
Free space on /tmp= 62252 MiB

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

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

MD5SUM BENCH= 657f6825a6ae32adb885bdc3b57c624e
RANDOM SEED=1228687956

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1852228 kB
Buffers:         16984 kB
Cached:          93184 kB
SwapCached:       5528 kB
Active:          29628 kB
Inactive:        93572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1852228 kB
SwapTotal:     4192956 kB
SwapFree:      4140520 kB
Dirty:            4764 kB
Writeback:           0 kB
AnonPages:       11684 kB
Mapped:          11928 kB
Slab:            61620 kB
PageTables:       4228 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181256 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62248 MiB
End job on node052 at 2010-06-25 12:37:13