Trace number 2680392

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)? (TO) 1800.08 1800.67

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-6000opt.opb
MD5SUM41920bbbb40277697ec2dd9f115c2d3f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-175
Best CPU time to get the best result obtained on this benchmark21.2418
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 constraints62145
Number of constraints which are clauses62145
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 352
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 352
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-2680392-1277460477.opb.
0.00/0.00	c Instance file HOME/instance-2680392-1277460477.opb
0.00/0.00	c File size is 2073867 bytes.
0.29/0.32	c Highest Coefficient sum: 4
0.29/0.32	c ============================[ Problem Statistics ]=============================
0.29/0.32	c |                                                                             |
0.29/0.32	c |  Parsing time:          0.32         s                                      |
0.29/0.32	c |  Number Variables:      2025                                                |
0.29/0.32	c |  Number Clauses:        62145                                               |
0.29/0.32	c |  Number Cardinality:    0                                                   |
0.29/0.32	c |  Number PB Constraints: 0                                                   |
0.39/0.41	c ============================[ Search Statistics ]==============================
0.39/0.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.41	c ===============================================================================
0.39/0.41	c |         0 |    2017    62153   185265 |    20715        0    nan |  0.000 % |
0.39/0.42	c ===============================================================================
0.39/0.42	c New solution: 0
0.39/0.42	o 0
0.39/0.42	c Elapsed CPU time: 0.417936 s	Remaining CPU time: 179.582 s
0.39/0.42	c ===============================================================================
0.39/0.42	c |         0 |    2017    62154   185400 |    20718        0    nan |  0.000 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c New solution: -3
0.39/0.43	o -3
0.39/0.43	c Elapsed CPU time: 0.423935 s	Remaining CPU time: 179.576 s
0.39/0.43	c ===============================================================================
0.39/0.43	c |         0 |    2017    62155   185535 |    20718        0    nan |  0.000 % |
0.39/0.44	c ===============================================================================
0.39/0.44	c New solution: -4
0.39/0.44	o -4
0.39/0.44	c Elapsed CPU time: 0.434933 s	Remaining CPU time: 179.565 s
0.39/0.44	c ===============================================================================
0.39/0.44	c |         1 |    2017    62156   185670 |    20718        1    134 |  0.000 % |
0.39/0.46	c ===============================================================================
0.39/0.46	c New solution: -5
0.39/0.46	o -5
0.39/0.46	c Elapsed CPU time: 0.445932 s	Remaining CPU time: 179.554 s
0.39/0.46	c ===============================================================================
0.39/0.46	c |         1 |    2017    62157   185805 |    20719        1    134 |  0.000 % |
0.39/0.47	c ===============================================================================
0.39/0.47	c New solution: -7
0.39/0.47	o -7
0.39/0.47	c Elapsed CPU time: 0.45693 s	Remaining CPU time: 179.543 s
0.39/0.47	c ===============================================================================
0.39/0.47	c |         1 |    2017    62158   185940 |    20719        1    134 |  0.000 % |
0.39/0.48	c ===============================================================================
0.39/0.48	c New solution: -9
0.39/0.48	o -9
0.39/0.48	c Elapsed CPU time: 0.466929 s	Remaining CPU time: 179.533 s
0.39/0.48	c ===============================================================================
0.39/0.48	c |         1 |    2017    62159   186075 |    20719        1    134 |  0.000 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c New solution: -10
0.39/0.49	o -10
0.39/0.49	c Elapsed CPU time: 0.476927 s	Remaining CPU time: 179.523 s
0.39/0.49	c ===============================================================================
0.39/0.49	c |         1 |    2017    62160   186210 |    20720        1    134 |  0.000 % |
0.49/0.50	c ===============================================================================
0.49/0.50	c New solution: -11
0.49/0.50	o -11
0.49/0.50	c Elapsed CPU time: 0.487925 s	Remaining CPU time: 179.512 s
0.49/0.50	c ===============================================================================
0.49/0.50	c |         1 |    2017    62161   186345 |    20720        1    134 |  0.000 % |
0.49/0.51	c ===============================================================================
0.49/0.51	c New solution: -12
0.49/0.51	o -12
0.49/0.51	c Elapsed CPU time: 0.497924 s	Remaining CPU time: 179.502 s
0.49/0.51	c ===============================================================================
0.49/0.51	c |         2 |    2017    62162   186480 |    20720        2    132 |  0.000 % |
0.49/0.52	c ===============================================================================
0.49/0.52	c New solution: -13
0.49/0.52	o -13
0.49/0.52	c Elapsed CPU time: 0.507922 s	Remaining CPU time: 179.492 s
0.49/0.52	c ===============================================================================
0.49/0.52	c |         2 |    2017    62163   186615 |    20721        2    132 |  0.000 % |
0.49/0.53	c ===============================================================================
0.49/0.53	c New solution: -14
0.49/0.53	o -14
0.49/0.53	c Elapsed CPU time: 0.517921 s	Remaining CPU time: 179.482 s
0.49/0.53	c ===============================================================================
0.49/0.53	c |         2 |    2017    62164   186750 |    20721        2    132 |  0.000 % |
0.49/0.54	c ===============================================================================
0.49/0.54	c New solution: -15
0.49/0.54	o -15
0.49/0.54	c Elapsed CPU time: 0.527919 s	Remaining CPU time: 179.472 s
0.49/0.54	c ===============================================================================
0.49/0.54	c |         2 |    2017    62165   186885 |    20721        2    132 |  0.000 % |
0.49/0.56	c ===============================================================================
0.49/0.56	c New solution: -16
0.49/0.56	o -16
0.49/0.56	c Elapsed CPU time: 0.536918 s	Remaining CPU time: 179.463 s
0.49/0.56	c ===============================================================================
0.49/0.56	c |         3 |    2017    62166   187020 |    20722        3    131 |  0.000 % |
0.49/0.57	c ===============================================================================
0.49/0.57	c New solution: -17
0.49/0.57	o -17
0.49/0.57	c Elapsed CPU time: 0.546916 s	Remaining CPU time: 179.453 s
0.49/0.57	c ===============================================================================
0.49/0.57	c |         3 |    2017    62167   187155 |    20722        3    131 |  0.000 % |
0.49/0.58	c ===============================================================================
0.49/0.58	c New solution: -18
0.49/0.58	o -18
0.49/0.58	c Elapsed CPU time: 0.553915 s	Remaining CPU time: 179.446 s
0.49/0.58	c ===============================================================================
0.49/0.58	c |         3 |    2017    62168   187290 |    20722        3    131 |  0.000 % |
0.49/0.59	c ===============================================================================
0.49/0.59	c New solution: -19
0.49/0.59	o -19
0.49/0.59	c Elapsed CPU time: 0.564914 s	Remaining CPU time: 179.435 s
0.49/0.59	c ===============================================================================
0.49/0.59	c |         3 |    2017    62169   187425 |    20723        3    131 |  0.000 % |
0.59/0.60	c ===============================================================================
0.59/0.60	c New solution: -20
0.59/0.60	o -20
0.59/0.60	c Elapsed CPU time: 0.575912 s	Remaining CPU time: 179.424 s
0.59/0.60	c ===============================================================================
0.59/0.60	c |         3 |    2017    62170   187560 |    20723        3    131 |  0.000 % |
0.59/0.61	c ===============================================================================
0.59/0.61	c New solution: -21
0.59/0.61	o -21
0.59/0.61	c Elapsed CPU time: 0.584911 s	Remaining CPU time: 179.415 s
0.59/0.61	c ===============================================================================
0.59/0.61	c |         3 |    2017    62171   187695 |    20723        3    131 |  0.000 % |
0.59/0.62	c ===============================================================================
0.59/0.62	c New solution: -22
0.59/0.62	o -22
0.59/0.62	c Elapsed CPU time: 0.594909 s	Remaining CPU time: 179.405 s
0.59/0.62	c ===============================================================================
0.59/0.62	c |         4 |    2017    62172   187830 |    20724        4    130 |  0.000 % |
0.59/0.63	c ===============================================================================
0.59/0.63	c New solution: -23
0.59/0.63	o -23
0.59/0.63	c Elapsed CPU time: 0.603908 s	Remaining CPU time: 179.396 s
0.59/0.63	c ===============================================================================
0.59/0.63	c |         4 |    2017    62173   187965 |    20724        4    130 |  0.000 % |
0.59/0.64	c ===============================================================================
0.59/0.64	c New solution: -24
0.59/0.64	o -24
0.59/0.64	c Elapsed CPU time: 0.614906 s	Remaining CPU time: 179.385 s
0.59/0.64	c ===============================================================================
0.59/0.64	c |         5 |    2017    62174   188100 |    20724        5    129 |  0.000 % |
0.59/0.66	c ===============================================================================
0.59/0.66	c New solution: -25
0.59/0.66	o -25
0.59/0.66	c Elapsed CPU time: 0.623905 s	Remaining CPU time: 179.376 s
0.59/0.66	c ===============================================================================
0.59/0.66	c |         5 |    2017    62175   188235 |    20725        5    129 |  0.000 % |
0.59/0.67	c ===============================================================================
0.59/0.67	c New solution: -26
0.59/0.67	o -26
0.59/0.67	c Elapsed CPU time: 0.633903 s	Remaining CPU time: 179.366 s
0.59/0.67	c ===============================================================================
0.59/0.67	c |         5 |    2017    62176   188370 |    20725        5    129 |  0.000 % |
0.59/0.68	c ===============================================================================
0.59/0.68	c New solution: -27
0.59/0.68	o -27
0.59/0.68	c Elapsed CPU time: 0.643902 s	Remaining CPU time: 179.356 s
0.59/0.68	c ===============================================================================
0.59/0.68	c |         5 |    2017    62177   188505 |    20725        5    129 |  0.000 % |
0.59/0.69	c ===============================================================================
0.59/0.69	c New solution: -28
0.59/0.69	o -28
0.59/0.69	c Elapsed CPU time: 0.6529 s	Remaining CPU time: 179.347 s
0.59/0.69	c ===============================================================================
0.59/0.69	c |         5 |    2017    62178   188640 |    20726        5    129 |  0.000 % |
0.69/0.70	c ===============================================================================
0.69/0.70	c New solution: -29
0.69/0.70	o -29
0.69/0.70	c Elapsed CPU time: 0.661899 s	Remaining CPU time: 179.338 s
0.69/0.70	c ===============================================================================
0.69/0.70	c |         6 |    2017    62179   188775 |    20726        6    128 |  0.000 % |
0.69/0.71	c ===============================================================================
0.69/0.71	c New solution: -30
0.69/0.71	o -30
0.69/0.71	c Elapsed CPU time: 0.670898 s	Remaining CPU time: 179.329 s
0.69/0.71	c ===============================================================================
0.69/0.71	c |         8 |    2017    62180   188910 |    20726        8    127 |  0.000 % |
0.69/0.72	c ===============================================================================
0.69/0.72	c New solution: -31
0.69/0.72	o -31
0.69/0.72	c Elapsed CPU time: 0.681896 s	Remaining CPU time: 179.318 s
0.69/0.72	c ===============================================================================
0.69/0.72	c |         8 |    2017    62181   189045 |    20727        8    127 |  0.000 % |
0.69/0.73	c ===============================================================================
0.69/0.73	c New solution: -32
0.69/0.73	o -32
0.69/0.73	c Elapsed CPU time: 0.689895 s	Remaining CPU time: 179.31 s
0.69/0.73	c ===============================================================================
0.69/0.73	c |         8 |    2017    62182   189180 |    20727        8    127 |  0.000 % |
0.69/0.74	c ===============================================================================
0.69/0.74	c New solution: -33
0.69/0.74	o -33
0.69/0.74	c Elapsed CPU time: 0.700893 s	Remaining CPU time: 179.299 s
0.69/0.74	c ===============================================================================
0.69/0.74	c |         8 |    2017    62183   189315 |    20727        8    127 |  0.000 % |
0.69/0.75	c ===============================================================================
0.69/0.75	c New solution: -34
0.69/0.75	o -34
0.69/0.75	c Elapsed CPU time: 0.710891 s	Remaining CPU time: 179.289 s
0.69/0.75	c ===============================================================================
0.69/0.75	c |         8 |    2017    62184   189450 |    20728        8    127 |  0.000 % |
0.69/0.76	c ===============================================================================
0.69/0.76	c New solution: -35
0.69/0.76	o -35
0.69/0.76	c Elapsed CPU time: 0.71989 s	Remaining CPU time: 179.28 s
0.69/0.76	c ===============================================================================
0.69/0.76	c |         8 |    2017    62185   189585 |    20728        8    127 |  0.000 % |
0.69/0.78	c ===============================================================================
0.69/0.78	c New solution: -36
0.69/0.78	o -36
0.69/0.78	c Elapsed CPU time: 0.729889 s	Remaining CPU time: 179.27 s
0.69/0.78	c ===============================================================================
0.69/0.78	c |         8 |    2017    62186   189720 |    20728        8    127 |  0.000 % |
0.69/0.79	c ===============================================================================
0.69/0.79	c New solution: -37
0.69/0.79	o -37
0.69/0.79	c Elapsed CPU time: 0.739887 s	Remaining CPU time: 179.26 s
0.69/0.79	c ===============================================================================
0.69/0.79	c |        14 |    2017    62187   189855 |    20729       14    116 |  0.000 % |
0.79/0.80	c ===============================================================================
0.79/0.80	c New solution: -38
0.79/0.80	o -38
0.79/0.80	c Elapsed CPU time: 0.749886 s	Remaining CPU time: 179.25 s
0.79/0.80	c ===============================================================================
0.79/0.80	c |        15 |    2017    62188   189990 |    20729       15    116 |  0.000 % |
0.79/0.81	c ===============================================================================
0.79/0.81	c New solution: -39
0.79/0.81	o -39
0.79/0.81	c Elapsed CPU time: 0.759884 s	Remaining CPU time: 179.24 s
0.79/0.81	c ===============================================================================
0.79/0.81	c |        16 |    2017    62189   190125 |    20729       16    116 |  0.000 % |
0.79/0.82	c ===============================================================================
0.79/0.82	c New solution: -40
0.79/0.82	o -40
0.79/0.82	c Elapsed CPU time: 0.770882 s	Remaining CPU time: 179.229 s
0.79/0.82	c ===============================================================================
0.79/0.82	c |        16 |    2017    62190   190260 |    20730       16    116 |  0.000 % |
0.79/0.83	c ===============================================================================
0.79/0.83	c New solution: -41
0.79/0.83	o -41
0.79/0.83	c Elapsed CPU time: 0.781881 s	Remaining CPU time: 179.218 s
0.79/0.83	c ===============================================================================
0.79/0.83	c |        18 |    2017    62191   190395 |    20730       18    116 |  0.000 % |
0.79/0.84	c ===============================================================================
0.79/0.84	c New solution: -42
0.79/0.84	o -42
0.79/0.84	c Elapsed CPU time: 0.790879 s	Remaining CPU time: 179.209 s
0.79/0.84	c ===============================================================================
0.79/0.84	c |        18 |    2017    62192   190530 |    20730       18    116 |  0.000 % |
0.79/0.85	c ===============================================================================
0.79/0.85	c New solution: -43
0.79/0.85	o -43
0.79/0.85	c Elapsed CPU time: 0.800878 s	Remaining CPU time: 179.199 s
0.79/0.85	c ===============================================================================
0.79/0.85	c |        22 |    2017    62193   190665 |    20731       22    117 |  0.000 % |
0.79/0.86	c ===============================================================================
0.79/0.86	c New solution: -44
0.79/0.86	o -44
0.79/0.86	c Elapsed CPU time: 0.811876 s	Remaining CPU time: 179.188 s
0.79/0.86	c ===============================================================================
0.79/0.86	c |        22 |    2017    62194   190800 |    20731       22    117 |  0.000 % |
0.79/0.88	c ===============================================================================
0.79/0.88	c New solution: -45
0.79/0.88	o -45
0.79/0.88	c Elapsed CPU time: 0.821875 s	Remaining CPU time: 179.178 s
0.79/0.88	c ===============================================================================
0.79/0.88	c |        22 |    2017    62195   190935 |    20731       22    117 |  0.000 % |
0.79/0.89	c ===============================================================================
0.79/0.89	c New solution: -46
0.79/0.89	o -46
0.79/0.89	c Elapsed CPU time: 0.832873 s	Remaining CPU time: 179.167 s
0.79/0.89	c ===============================================================================
0.79/0.89	c |        22 |    2017    62196   191070 |    20732       22    117 |  0.000 % |
0.89/0.90	c ===============================================================================
0.89/0.90	c New solution: -47
0.89/0.90	o -47
0.89/0.90	c Elapsed CPU time: 0.843871 s	Remaining CPU time: 179.156 s
0.89/0.90	c ===============================================================================
0.89/0.90	c |        25 |    2017    62197   191205 |    20732       25    117 |  0.000 % |
0.89/0.91	c ===============================================================================
0.89/0.91	c New solution: -48
0.89/0.91	o -48
0.89/0.91	c Elapsed CPU time: 0.85287 s	Remaining CPU time: 179.147 s
0.89/0.91	c ===============================================================================
0.89/0.91	c |        25 |    2017    62198   191340 |    20732       25    117 |  0.000 % |
0.89/0.92	c ===============================================================================
0.89/0.92	c New solution: -49
0.89/0.92	o -49
0.89/0.92	c Elapsed CPU time: 0.862868 s	Remaining CPU time: 179.137 s
0.89/0.92	c ===============================================================================
0.89/0.92	c |        25 |    2017    62199   191475 |    20733       25    117 |  0.000 % |
0.89/0.93	c ===============================================================================
0.89/0.93	c New solution: -50
0.89/0.93	o -50
0.89/0.93	c Elapsed CPU time: 0.872867 s	Remaining CPU time: 179.127 s
0.89/0.93	c ===============================================================================
0.89/0.93	c |        25 |    2017    62200   191610 |    20733       25    117 |  0.000 % |
0.89/0.94	c ===============================================================================
0.89/0.94	c New solution: -51
0.89/0.94	o -51
0.89/0.94	c Elapsed CPU time: 0.883865 s	Remaining CPU time: 179.116 s
0.89/0.94	c ===============================================================================
0.89/0.94	c |        27 |    2017    62201   191745 |    20733       27    117 |  0.000 % |
0.89/0.95	c ===============================================================================
0.89/0.95	c New solution: -52
0.89/0.95	o -52
0.89/0.95	c Elapsed CPU time: 0.894863 s	Remaining CPU time: 179.105 s
0.89/0.95	c ===============================================================================
0.89/0.95	c |        27 |    2017    62202   191880 |    20734       27    117 |  0.000 % |
0.89/0.96	c ===============================================================================
0.89/0.96	c New solution: -53
0.89/0.96	o -53
0.89/0.96	c Elapsed CPU time: 0.904862 s	Remaining CPU time: 179.095 s
0.89/0.96	c ===============================================================================
0.89/0.96	c |        27 |    2017    62203   192015 |    20734       27    117 |  0.000 % |
0.89/0.97	c ===============================================================================
0.89/0.97	c New solution: -54
0.89/0.97	o -54
0.89/0.97	c Elapsed CPU time: 0.91586 s	Remaining CPU time: 179.084 s
0.89/0.97	c ===============================================================================
0.89/0.97	c |        27 |    2017    62204   192150 |    20734       27    117 |  0.000 % |
0.89/0.99	c ===============================================================================
0.89/0.99	c New solution: -55
0.89/0.99	o -55
0.89/0.99	c Elapsed CPU time: 0.926859 s	Remaining CPU time: 179.073 s
0.89/0.99	c ===============================================================================
0.89/0.99	c |        30 |    2017    62205   192285 |    20735       30    117 |  0.000 % |
0.89/1.00	c ===============================================================================
0.89/1.00	c New solution: -56
0.89/1.00	o -56
0.89/1.00	c Elapsed CPU time: 0.938857 s	Remaining CPU time: 179.061 s
0.89/1.00	c ===============================================================================
0.89/1.00	c |        37 |    2017    62206   192420 |    20735       37    113 |  0.000 % |
1.00/1.01	c ===============================================================================
1.00/1.01	c New solution: -57
1.00/1.01	o -57
1.00/1.01	c Elapsed CPU time: 0.950855 s	Remaining CPU time: 179.049 s
1.00/1.01	c ===============================================================================
1.00/1.01	c |        40 |    2017    62207   192555 |    20735       40    114 |  0.000 % |
1.00/1.02	c ===============================================================================
1.00/1.02	c New solution: -58
1.00/1.02	o -58
1.00/1.02	c Elapsed CPU time: 0.960853 s	Remaining CPU time: 179.039 s
1.00/1.02	c ===============================================================================
1.00/1.02	c |        40 |    2017    62208   192690 |    20736       40    114 |  0.000 % |
1.00/1.03	c ===============================================================================
1.00/1.03	c New solution: -59
1.00/1.03	o -59
1.00/1.03	c Elapsed CPU time: 0.971852 s	Remaining CPU time: 179.028 s
1.00/1.03	c ===============================================================================
1.00/1.03	c |        41 |    2017    62209   192825 |    20736       41    114 |  0.000 % |
1.00/1.04	c ===============================================================================
1.00/1.04	c New solution: -60
1.00/1.04	o -60
1.00/1.04	c Elapsed CPU time: 0.98385 s	Remaining CPU time: 179.016 s
1.00/1.04	c ===============================================================================
1.00/1.04	c |        43 |    2017    62210   192960 |    20736       43    114 |  0.000 % |
1.00/1.05	c ===============================================================================
1.00/1.05	c New solution: -61
1.00/1.05	o -61
1.00/1.05	c Elapsed CPU time: 0.992849 s	Remaining CPU time: 179.007 s
1.00/1.05	c ===============================================================================
1.00/1.05	c |        43 |    2017    62211   193095 |    20737       43    114 |  0.000 % |
1.00/1.07	c ===============================================================================
1.00/1.07	c New solution: -62
1.00/1.07	o -62
1.00/1.07	c Elapsed CPU time: 1.00385 s	Remaining CPU time: 178.996 s
1.00/1.07	c ===============================================================================
1.00/1.07	c |        44 |    2017    62212   193230 |    20737       44    114 |  0.000 % |
1.00/1.08	c ===============================================================================
1.00/1.08	c New solution: -63
1.00/1.08	o -63
1.00/1.08	c Elapsed CPU time: 1.01585 s	Remaining CPU time: 178.984 s
1.00/1.08	c ===============================================================================
1.00/1.08	c |        48 |    2017    62213   193365 |    20737       48    114 |  0.000 % |
1.00/1.09	c ===============================================================================
1.00/1.09	c New solution: -64
1.00/1.09	o -64
1.00/1.09	c Elapsed CPU time: 1.02684 s	Remaining CPU time: 178.973 s
1.00/1.09	c ===============================================================================
1.00/1.09	c |        50 |    2017    62214   193500 |    20738       50    113 |  0.000 % |
1.00/1.10	c ===============================================================================
1.00/1.10	c New solution: -65
1.00/1.10	o -65
1.00/1.10	c Elapsed CPU time: 1.03784 s	Remaining CPU time: 178.962 s
1.00/1.10	c ===============================================================================
1.00/1.10	c |        50 |    2017    62215   193635 |    20738       50    113 |  0.000 % |
1.10/1.11	c ===============================================================================
1.10/1.11	c New solution: -66
1.10/1.11	o -66
1.10/1.11	c Elapsed CPU time: 1.04884 s	Remaining CPU time: 178.951 s
1.10/1.11	c ===============================================================================
1.10/1.11	c |        51 |    2017    62216   193770 |    20738       51    113 |  0.000 % |
1.10/1.12	c ===============================================================================
1.10/1.12	c New solution: -67
1.10/1.12	o -67
1.10/1.12	c Elapsed CPU time: 1.05884 s	Remaining CPU time: 178.941 s
1.10/1.12	c ===============================================================================
1.10/1.12	c |        57 |    2017    62217   193905 |    20739       57    113 |  0.000 % |
1.10/1.14	c ===============================================================================
1.10/1.14	c New solution: -68
1.10/1.14	o -68
1.10/1.14	c Elapsed CPU time: 1.06884 s	Remaining CPU time: 178.931 s
1.10/1.14	c ===============================================================================
1.10/1.14	c |        59 |    2017    62218   194040 |    20739       59    113 |  0.000 % |
1.10/1.15	c ===============================================================================
1.10/1.15	c New solution: -69
1.10/1.15	o -69
1.10/1.15	c Elapsed CPU time: 1.07984 s	Remaining CPU time: 178.92 s
1.10/1.15	c ===============================================================================
1.10/1.15	c |        59 |    2017    62219   194175 |    20739       59    113 |  0.000 % |
1.10/1.16	c ===============================================================================
1.10/1.16	c New solution: -70
1.10/1.16	o -70
1.10/1.16	c Elapsed CPU time: 1.08983 s	Remaining CPU time: 178.91 s
1.10/1.16	c ===============================================================================
1.10/1.16	c |        59 |    2017    62220   194310 |    20740       59    113 |  0.000 % |
1.10/1.17	c ===============================================================================
1.10/1.18	c New solution: -71
1.10/1.18	o -71
1.10/1.18	c Elapsed CPU time: 1.10483 s	Remaining CPU time: 178.895 s
1.10/1.18	c ===============================================================================
1.10/1.18	c |        93 |    2017    62221   194445 |    20740       93    110 |  0.000 % |
1.10/1.19	c ===============================================================================
1.10/1.19	c New solution: -72
1.10/1.19	o -72
1.10/1.19	c Elapsed CPU time: 1.11583 s	Remaining CPU time: 178.884 s
1.10/1.19	c ===============================================================================
1.10/1.19	c |       100 |    2017    62222   194580 |    20740      100    110 |  0.000 % |
1.19/1.20	c ===============================================================================
1.19/1.20	c New solution: -73
1.19/1.20	o -73
1.19/1.20	c Elapsed CPU time: 1.12683 s	Remaining CPU time: 178.873 s
1.19/1.20	c ===============================================================================
1.19/1.20	c |       100 |    2017    62223   194715 |    20741      100    110 |  0.000 % |
1.19/1.21	c ===============================================================================
1.19/1.21	c New solution: -74
1.19/1.21	o -74
1.19/1.21	c Elapsed CPU time: 1.13783 s	Remaining CPU time: 178.862 s
1.19/1.21	c ===============================================================================
1.19/1.21	c |       100 |    2017    62224   194850 |    20741      100    110 |  0.000 % |
1.19/1.22	c ===============================================================================
1.19/1.22	c New solution: -75
1.19/1.22	o -75
1.19/1.22	c Elapsed CPU time: 1.14983 s	Remaining CPU time: 178.85 s
1.19/1.22	c ===============================================================================
1.19/1.22	c |       104 |    2017    62225   194985 |    20741      104    110 |  0.000 % |
1.19/1.24	c ===============================================================================
1.19/1.24	c New solution: -76
1.19/1.24	o -76
1.19/1.24	c Elapsed CPU time: 1.16182 s	Remaining CPU time: 178.838 s
1.19/1.24	c ===============================================================================
1.19/1.24	c |       105 |    2017    62226   195120 |    20742      105    110 |  0.000 % |
1.19/1.25	c ===============================================================================
1.19/1.25	c New solution: -77
1.19/1.25	o -77
1.19/1.25	c Elapsed CPU time: 1.17282 s	Remaining CPU time: 178.827 s
1.19/1.25	c ===============================================================================
1.19/1.25	c |       105 |    2017    62227   195255 |    20742      105    110 |  0.000 % |
1.19/1.26	c ===============================================================================
1.19/1.26	c New solution: -78
1.19/1.26	o -78
1.19/1.26	c Elapsed CPU time: 1.18382 s	Remaining CPU time: 178.816 s
1.19/1.26	c ===============================================================================
1.19/1.26	c |       105 |    2017    62228   195390 |    20742      105    110 |  0.000 % |
1.19/1.27	c ===============================================================================
1.19/1.27	c New solution: -79
1.19/1.27	o -79
1.19/1.27	c Elapsed CPU time: 1.19482 s	Remaining CPU time: 178.805 s
1.19/1.27	c ===============================================================================
1.19/1.27	c |       107 |    2017    62229   195525 |    20743      107    110 |  0.000 % |
1.19/1.29	c ===============================================================================
1.19/1.29	c New solution: -80
1.19/1.29	o -80
1.19/1.29	c Elapsed CPU time: 1.20782 s	Remaining CPU time: 178.792 s
1.19/1.29	c ===============================================================================
1.19/1.29	c |       127 |    2017    62230   195660 |    20743      127    109 |  0.000 % |
1.29/1.30	c ===============================================================================
1.29/1.30	c New solution: -81
1.29/1.30	o -81
1.29/1.30	c Elapsed CPU time: 1.21681 s	Remaining CPU time: 178.783 s
1.29/1.30	c ===============================================================================
1.29/1.30	c |       127 |    2017    62231   195795 |    20743      127    109 |  0.000 % |
1.29/1.31	c ===============================================================================
1.29/1.31	c New solution: -82
1.29/1.31	o -82
1.29/1.31	c Elapsed CPU time: 1.23081 s	Remaining CPU time: 178.769 s
1.29/1.31	c ===============================================================================
1.29/1.31	c |       144 |    2017    62232   195930 |    20744      144    107 |  0.000 % |
1.29/1.32	c ===============================================================================
1.29/1.32	c New solution: -83
1.29/1.32	o -83
1.29/1.32	c Elapsed CPU time: 1.24181 s	Remaining CPU time: 178.758 s
1.29/1.32	c ===============================================================================
1.29/1.32	c |       144 |    2017    62233   196065 |    20744      144    107 |  0.000 % |
1.29/1.34	c |       245 |    2017    62233   196065 |    22818      245    105 |  0.395 % |
1.29/1.37	c ===============================================================================
1.29/1.37	c New solution: -84
1.29/1.37	o -84
1.29/1.37	c Elapsed CPU time: 1.2908 s	Remaining CPU time: 178.709 s
1.29/1.37	c ===============================================================================
1.29/1.37	c |       352 |    2017    62234   196200 |    20744      352    102 |  0.395 % |
1.39/1.40	c |       453 |    2017    62234   196200 |    22819      453    100 |  0.395 % |
1.39/1.42	c ===============================================================================
1.39/1.42	c New solution: -85
1.39/1.42	o -85
1.39/1.42	c Elapsed CPU time: 1.3398 s	Remaining CPU time: 178.66 s
1.39/1.42	c ===============================================================================
1.39/1.42	c |       556 |    2017    62235   196335 |    20745      556    100 |  0.395 % |
1.39/1.44	c ===============================================================================
1.39/1.44	c New solution: -86
1.39/1.44	o -86
1.39/1.44	c Elapsed CPU time: 1.35179 s	Remaining CPU time: 178.648 s
1.39/1.44	c ===============================================================================
1.39/1.44	c |       556 |    2017    62236   196470 |    20745      556    100 |  0.395 % |
1.39/1.47	c |       656 |    2017    62236   196470 |    22819      656     99 |  0.395 % |
1.39/1.47	c ===============================================================================
1.39/1.47	c New solution: -88
1.39/1.47	o -88
1.39/1.47	c Elapsed CPU time: 1.38979 s	Remaining CPU time: 178.61 s
1.39/1.47	c ===============================================================================
1.39/1.47	c |       657 |    2017    62237   196605 |    20745      657     99 |  0.395 % |
1.39/1.49	c ===============================================================================
1.39/1.49	c New solution: -89
1.39/1.49	o -89
1.39/1.49	c Elapsed CPU time: 1.40779 s	Remaining CPU time: 178.592 s
1.39/1.49	c ===============================================================================
1.39/1.49	c |       682 |    2017    62238   196740 |    20746      682     99 |  0.395 % |
1.49/1.52	c |       782 |    2017    62238   196740 |    22820      782     99 |  0.395 % |
1.49/1.53	c ===============================================================================
1.49/1.53	c New solution: -90
1.49/1.53	o -90
1.49/1.53	c Elapsed CPU time: 1.44278 s	Remaining CPU time: 178.557 s
1.49/1.53	c ===============================================================================
1.49/1.53	c |       790 |    2017    62239   196875 |    20746      790     99 |  0.395 % |
1.49/1.54	c ===============================================================================
1.49/1.54	c New solution: -91
1.49/1.54	o -91
1.49/1.54	c Elapsed CPU time: 1.45678 s	Remaining CPU time: 178.543 s
1.49/1.54	c ===============================================================================
1.49/1.54	c |       801 |    2017    62240   197010 |    20746      801     99 |  0.395 % |
1.49/1.56	c ===============================================================================
1.49/1.56	c New solution: -92
1.49/1.56	o -92
1.49/1.56	c Elapsed CPU time: 1.46978 s	Remaining CPU time: 178.53 s
1.49/1.56	c ===============================================================================
1.49/1.56	c |       816 |    2017    62241   197145 |    20747      816     99 |  0.395 % |
1.49/1.57	c ===============================================================================
1.49/1.57	c New solution: -93
1.49/1.57	o -93
1.49/1.57	c Elapsed CPU time: 1.48477 s	Remaining CPU time: 178.515 s
1.49/1.57	c ===============================================================================
1.49/1.57	c |       828 |    2017    62242   197280 |    20747      828     99 |  0.395 % |
1.59/1.60	c |       929 |    2017    62242   197280 |    22822      929     99 |  0.395 % |
1.59/1.63	c ===============================================================================
1.59/1.63	c New solution: -94
1.59/1.63	o -94
1.59/1.63	c Elapsed CPU time: 1.54476 s	Remaining CPU time: 178.455 s
1.59/1.63	c ===============================================================================
1.59/1.63	c |      1068 |    2017    62243   197415 |    20747     1068     99 |  0.395 % |
1.59/1.65	c ===============================================================================
1.59/1.65	c New solution: -95
1.59/1.65	o -95
1.59/1.65	c Elapsed CPU time: 1.55776 s	Remaining CPU time: 178.442 s
1.59/1.65	c ===============================================================================
1.59/1.65	c |      1080 |    2017    62244   197550 |    20748     1080     99 |  0.395 % |
1.59/1.66	c ===============================================================================
1.59/1.66	c New solution: -96
1.59/1.66	o -96
1.59/1.66	c Elapsed CPU time: 1.56976 s	Remaining CPU time: 178.43 s
1.59/1.66	c ===============================================================================
1.59/1.66	c |      1081 |    2017    62245   197685 |    20748     1081     99 |  0.395 % |
1.59/1.69	c |      1181 |    2017    62245   197685 |    22823     1181     99 |  0.395 % |
1.69/1.72	c ===============================================================================
1.69/1.72	c New solution: -97
1.69/1.72	o -97
1.69/1.72	c Elapsed CPU time: 1.62775 s	Remaining CPU time: 178.372 s
1.69/1.72	c ===============================================================================
1.69/1.72	c |      1299 |    2017    62246   197820 |    20748     1299     99 |  0.395 % |
1.69/1.74	c |      1401 |    2017    62246   197820 |    22823     1401     99 |  0.395 % |
1.69/1.78	c ===============================================================================
1.69/1.78	c New solution: -98
1.69/1.78	o -98
1.69/1.78	c Elapsed CPU time: 1.67974 s	Remaining CPU time: 178.32 s
1.69/1.78	c ===============================================================================
1.69/1.78	c |      1467 |    2017    62247   197955 |    20749     1467     99 |  0.395 % |
1.79/1.80	c |      1567 |    2017    62247   197955 |    22823     1567     98 |  0.395 % |
1.79/1.84	c |      1717 |    2017    62247   197955 |    25106     1717     98 |  0.395 % |
1.89/1.90	c |      1944 |    2017    62247   197955 |    27616     1944     98 |  0.395 % |
1.89/1.99	c |      2281 |    2017    62247   197955 |    30378     2281     98 |  0.395 % |
2.10/2.12	c |      2787 |    2017    62247   197955 |    33416     2787     97 |  0.395 % |
2.29/2.35	c |      3547 |    2017    62247   197955 |    36758     3547     97 |  0.395 % |
2.69/2.73	c |      4686 |    2017    62247   197955 |    40433     4686     97 |  0.395 % |
3.30/3.31	c |      6394 |    2017    62247   197955 |    44477     6394     96 |  0.395 % |
4.40/4.43	c |      8957 |    2017    62247   197955 |    48925     8957     96 |  0.395 % |
4.49/4.54	c ===============================================================================
4.49/4.54	c New solution: -99
4.49/4.54	o -99
4.49/4.54	c Elapsed CPU time: 4.42433 s	Remaining CPU time: 175.576 s
4.49/4.54	c ===============================================================================
4.49/4.54	c |      9200 |    2017    62248   198090 |    20749     9200     96 |  0.395 % |
4.49/4.58	c |      9300 |    2017    62248   198090 |    22824     9300     96 |  0.395 % |
4.59/4.62	c ===============================================================================
4.59/4.62	c New solution: -100
4.59/4.62	o -100
4.59/4.62	c Elapsed CPU time: 4.50131 s	Remaining CPU time: 175.499 s
4.59/4.62	c ===============================================================================
4.59/4.62	c |      9429 |    2017    62249   198225 |    20749     9429     96 |  0.395 % |
4.59/4.65	c ===============================================================================
4.59/4.65	c New solution: -101
4.59/4.65	o -101
4.59/4.65	c Elapsed CPU time: 4.53231 s	Remaining CPU time: 175.468 s
4.59/4.65	c ===============================================================================
4.59/4.65	c |      9489 |    2017    62250   198360 |    20750     9489     96 |  0.395 % |
4.59/4.69	c |      9589 |    2017    62250   198360 |    22825     9589     96 |  0.395 % |
4.69/4.71	c ===============================================================================
4.69/4.71	c New solution: -102
4.69/4.71	o -102
4.69/4.71	c Elapsed CPU time: 4.5853 s	Remaining CPU time: 175.415 s
4.69/4.71	c ===============================================================================
4.69/4.71	c |      9622 |    2017    62251   198495 |    20750     9622     96 |  0.395 % |
4.69/4.72	c ===============================================================================
4.69/4.72	c New solution: -103
4.69/4.72	o -103
4.69/4.72	c Elapsed CPU time: 4.6003 s	Remaining CPU time: 175.4 s
4.69/4.72	c ===============================================================================
4.69/4.72	c |      9623 |    2017    62252   198630 |    20750     9623     96 |  0.395 % |
4.69/4.76	c |      9725 |    2017    62252   198630 |    22825     9725     96 |  0.395 % |
4.79/4.82	c ===============================================================================
4.79/4.82	c New solution: -104
4.79/4.82	o -104
4.79/4.82	c Elapsed CPU time: 4.69728 s	Remaining CPU time: 175.303 s
4.79/4.82	c ===============================================================================
4.79/4.82	c |      9855 |    2017    62253   198765 |    20751     9855     96 |  0.395 % |
4.79/4.84	c ===============================================================================
4.79/4.84	c New solution: -105
4.79/4.84	o -105
4.79/4.84	c Elapsed CPU time: 4.71228 s	Remaining CPU time: 175.288 s
4.79/4.84	c ===============================================================================
4.79/4.84	c |      9856 |    2017    62254   198900 |    20751     9856     96 |  0.395 % |
4.79/4.85	c ===============================================================================
4.79/4.85	c New solution: -106
4.79/4.85	o -106
4.79/4.85	c Elapsed CPU time: 4.72528 s	Remaining CPU time: 175.275 s
4.79/4.85	c ===============================================================================
4.79/4.85	c |      9856 |    2017    62255   199035 |    20751     9856     96 |  0.395 % |
4.79/4.89	c |      9957 |    2017    62255   199035 |    22826     9957     96 |  0.395 % |
4.89/4.95	c |     10107 |    2017    62255   199035 |    25109    10107     96 |  0.395 % |
4.98/5.03	c |     10332 |    2017    62255   199035 |    27620    10332     96 |  0.395 % |
5.09/5.15	c |     10671 |    2017    62255   199035 |    30382    10671     96 |  0.395 % |
5.40/5.40	c |     11177 |    2017    62255   199035 |    33420    11177     96 |  0.395 % |
5.69/5.75	c |     11936 |    2017    62255   199035 |    36762    11936     96 |  0.395 % |
6.19/6.26	c |     13075 |    2017    62255   199035 |    40439    13075     95 |  0.395 % |
7.19/7.23	c |     14785 |    2017    62255   199035 |    44483    14785     95 |  0.395 % |
8.59/8.62	c |     17348 |    2017    62255   199035 |    48931    17348     94 |  0.395 % |
9.59/9.63	c ===============================================================================
9.59/9.63	c New solution: -107
9.59/9.63	o -107
9.59/9.63	c Elapsed CPU time: 9.48056 s	Remaining CPU time: 170.519 s
9.59/9.63	c ===============================================================================
9.59/9.63	c |     18836 |    2017    62256   199170 |    20752    18836     94 |  0.395 % |
9.69/9.72	c |     18937 |    2017    62256   199170 |    22827    18937     94 |  0.395 % |
9.79/9.86	c |     19088 |    2017    62256   199170 |    25109    19088     94 |  0.395 % |
10.09/10.13	c |     19315 |    2017    62256   199170 |    27620    19315     94 |  0.395 % |
10.49/10.58	c |     19652 |    2017    62256   199170 |    30383    19652     94 |  0.395 % |
11.00/11.03	c |     20158 |    2017    62256   199170 |    33421    20158     94 |  0.395 % |
11.09/11.14	c ===============================================================================
11.09/11.14	c New solution: -108
11.09/11.14	o -108
11.09/11.14	c Elapsed CPU time: 10.9763 s	Remaining CPU time: 169.024 s
11.09/11.14	c ===============================================================================
11.09/11.14	c |     20371 |    2017    62257   199305 |    20752    20371     94 |  0.395 % |
11.19/11.25	c |     20473 |    2017    62257   199305 |    22827    20473     94 |  0.395 % |
11.19/11.27	c ===============================================================================
11.19/11.27	c New solution: -109
11.19/11.27	o -109
11.19/11.27	c Elapsed CPU time: 11.1103 s	Remaining CPU time: 168.89 s
11.19/11.27	c ===============================================================================
11.19/11.27	c |     20491 |    2017    62258   199440 |    20752    20491     94 |  0.395 % |
11.19/11.29	c ===============================================================================
11.19/11.29	c New solution: -110
11.19/11.29	o -110
11.19/11.29	c Elapsed CPU time: 11.1253 s	Remaining CPU time: 168.875 s
11.19/11.29	c ===============================================================================
11.19/11.29	c |     20491 |    2017    62259   199575 |    20753    20491     94 |  0.395 % |
11.39/11.40	c |     20591 |    2017    62259   199575 |    22828    20591     94 |  0.395 % |
11.39/11.48	c |     20741 |    2017    62259   199575 |    25111    20741     94 |  0.395 % |
11.58/11.66	c |     20966 |    2017    62259   199575 |    27622    20966     94 |  0.395 % |
11.89/11.95	c |     21304 |    2017    62259   199575 |    30384    21304     94 |  0.395 % |
12.29/12.31	c ===============================================================================
12.29/12.31	c New solution: -111
12.29/12.31	o -111
12.29/12.31	c Elapsed CPU time: 12.1332 s	Remaining CPU time: 167.867 s
12.29/12.31	c ===============================================================================
12.29/12.31	c |     21558 |    2017    62260   199710 |    20753    21558     94 |  0.395 % |
12.39/12.46	c |     21659 |    2017    62260   199710 |    22828    10880     91 |  0.395 % |
12.49/12.57	c |     21810 |    2017    62260   199710 |    25111    11031     91 |  0.395 % |
12.69/12.75	c |     22035 |    2017    62260   199710 |    27622    11256     91 |  0.395 % |
12.99/13.00	c |     22373 |    2017    62260   199710 |    30384    11594     91 |  0.395 % |
13.29/13.32	c |     22880 |    2017    62260   199710 |    33423    12101     91 |  0.395 % |
13.58/13.66	c |     23642 |    2017    62260   199710 |    36765    12863     91 |  0.395 % |
13.98/14.07	c |     24783 |    2017    62260   199710 |    40442    14004     91 |  0.395 % |
14.79/14.84	c |     26491 |    2017    62260   199710 |    44486    15712     91 |  0.395 % |
15.89/15.98	c |     29054 |    2017    62260   199710 |    48935    18275     91 |  0.395 % |
18.18/18.23	c ===============================================================================
18.18/18.23	c New solution: -112
18.18/18.23	o -112
18.18/18.23	c Elapsed CPU time: 18.0163 s	Remaining CPU time: 161.984 s
18.18/18.23	c ===============================================================================
18.18/18.23	c |     32603 |    2017    62261   199845 |    20753    21824     91 |  0.395 % |
18.39/18.43	c |     32703 |    2017    62261   199845 |    22829    11012     89 |  0.395 % |
18.49/18.53	c |     32853 |    2017    62261   199845 |    25111    11162     89 |  0.395 % |
18.60/18.64	c ===============================================================================
18.60/18.64	c New solution: -113
18.60/18.64	o -113
18.60/18.64	c Elapsed CPU time: 18.4282 s	Remaining CPU time: 161.572 s
18.60/18.64	c ===============================================================================
18.60/18.64	c |     33015 |    2017    62262   199980 |    20754    11324     89 |  0.395 % |
18.60/18.68	c |     33116 |    2017    62262   199980 |    22829    11425     89 |  0.395 % |
18.70/18.73	c |     33266 |    2017    62262   199980 |    25112    11575     89 |  0.395 % |
18.79/18.82	c |     33495 |    2017    62262   199980 |    27623    11804     89 |  0.395 % |
18.99/19.03	c |     33834 |    2017    62262   199980 |    30385    12143     89 |  0.395 % |
19.29/19.32	c |     34341 |    2017    62262   199980 |    33424    12650     89 |  0.395 % |
19.69/19.73	c |     35100 |    2017    62262   199980 |    36766    13409     89 |  0.395 % |
20.38/20.46	c |     36240 |    2017    62262   199980 |    40443    14549     89 |  0.395 % |
21.28/21.38	c |     37949 |    2017    62262   199980 |    44488    16258     89 |  0.395 % |
21.89/21.96	c ===============================================================================
21.89/21.96	c New solution: -114
21.89/21.96	o -114
21.89/21.96	c Elapsed CPU time: 21.7177 s	Remaining CPU time: 158.282 s
21.89/21.96	c ===============================================================================
21.89/21.96	c |     38883 |    2017    62263   200115 |    20754    17192     89 |  0.395 % |
21.99/22.01	c |     38984 |    2017    62263   200115 |    22829    17293     89 |  0.395 % |
21.99/22.09	c |     39139 |    2017    62263   200115 |    25112    17448     89 |  0.395 % |
22.18/22.23	c |     39365 |    2017    62263   200115 |    27624    17674     89 |  0.395 % |
22.49/22.54	c |     39704 |    2017    62263   200115 |    30386    18013     89 |  0.395 % |
22.68/22.74	c |     40212 |    2017    62263   200115 |    33425    18521     89 |  0.395 % |
23.00/23.02	c |     40974 |    2017    62263   200115 |    36767    19283     89 |  0.395 % |
23.78/23.83	c |     42115 |    2017    62263   200115 |    40444    20424     90 |  0.395 % |
25.29/25.31	c |     43824 |    2017    62263   200115 |    44488    22133     90 |  0.395 % |
27.49/27.56	c |     46388 |    2017    62263   200115 |    48937    24697     90 |  0.395 % |
31.18/31.25	c |     50233 |    2017    62263   200115 |    53831    28542     90 |  0.395 % |
37.88/37.99	c |     55999 |    2017    62263   200115 |    59214    34308     90 |  0.395 % |
46.28/46.32	c |     64650 |    2017    62263   200115 |    65135    42959     90 |  0.395 % |
52.68/52.80	c ===============================================================================
52.68/52.80	c New solution: -115
52.68/52.80	o -115
52.68/52.80	c Elapsed CPU time: 52.397 s	Remaining CPU time: 127.603 s
52.68/52.80	c ===============================================================================
52.68/52.80	c |     70269 |    2017    62264   200250 |    20754    48578     90 |  0.395 % |
53.98/54.09	c |     70371 |    2017    62264   200250 |    22830    11865     89 |  0.395 % |
54.08/54.13	c ===============================================================================
54.08/54.13	c New solution: -116
54.08/54.13	o -116
54.08/54.13	c Elapsed CPU time: 53.7298 s	Remaining CPU time: 126.27 s
54.08/54.13	c ===============================================================================
54.08/54.13	c |     70428 |    2017    62265   200385 |    20755    11922     89 |  0.395 % |
54.08/54.19	c |     70528 |    2017    62265   200385 |    22830    12022     89 |  0.395 % |
54.18/54.29	c |     70678 |    2017    62265   200385 |    25113    12172     89 |  0.395 % |
54.38/54.42	c |     70904 |    2017    62265   200385 |    27624    12398     89 |  0.395 % |
54.57/54.63	c |     71241 |    2017    62265   200385 |    30387    12735     89 |  0.395 % |
54.88/54.94	c |     71747 |    2017    62265   200385 |    33426    13241     89 |  0.395 % |
55.37/55.42	c |     72508 |    2017    62265   200385 |    36768    14002     89 |  0.395 % |
55.98/56.06	c |     73649 |    2017    62265   200385 |    40445    15143     89 |  0.395 % |
56.97/57.02	c |     75358 |    2017    62265   200385 |    44490    16852     89 |  0.395 % |
58.47/58.52	c |     77920 |    2017    62265   200385 |    48939    19414     89 |  0.395 % |
60.67/60.79	c |     81766 |    2017    62265   200385 |    53833    23260     89 |  0.395 % |
64.97/65.02	c |     87532 |    2017    62265   200385 |    59216    29026     89 |  0.395 % |
72.17/72.28	c |     96181 |    2017    62265   200385 |    65138    37675     89 |  0.395 % |
75.37/75.49	c ===============================================================================
75.37/75.49	c New solution: -117
75.37/75.49	o -117
75.37/75.49	c Elapsed CPU time: 74.9726 s	Remaining CPU time: 105.027 s
75.37/75.49	c ===============================================================================
75.37/75.49	c |     98773 |    2017    62266   200520 |    20755    40267     89 |  0.395 % |
75.78/75.89	c |     98874 |    2017    62266   200520 |    22830    11672     88 |  0.395 % |
75.88/75.96	c |     99025 |    2017    62266   200520 |    25113    11823     88 |  0.395 % |
75.97/76.06	c |     99250 |    2017    62266   200520 |    27625    12048     88 |  0.395 % |
76.17/76.22	c |     99587 |    2017    62266   200520 |    30387    12385     88 |  0.395 % |
76.36/76.47	c ===============================================================================
76.36/76.47	c New solution: -118
76.36/76.47	o -118
76.36/76.47	c Elapsed CPU time: 75.9405 s	Remaining CPU time: 104.06 s
76.36/76.47	c ===============================================================================
76.36/76.47	c |     99995 |    2017    62267   200655 |    20755    12793     88 |  0.395 % |
76.36/76.49	c ===============================================================================
76.36/76.49	c New solution: -119
76.36/76.49	o -119
76.36/76.49	c Elapsed CPU time: 75.9565 s	Remaining CPU time: 104.044 s
76.36/76.49	c ===============================================================================
76.36/76.49	c |     99999 |    2017    62268   200790 |    20756    12797     88 |  0.395 % |
76.46/76.54	c |    100100 |    2017    62268   200790 |    22831    12898     88 |  0.395 % |
76.57/76.63	c |    100250 |    2017    62268   200790 |    25114    13048     88 |  0.395 % |
76.67/76.76	c |    100477 |    2017    62268   200790 |    27626    13275     88 |  0.395 % |
76.88/76.98	c |    100816 |    2017    62268   200790 |    30388    13614     88 |  0.395 % |
77.17/77.22	c |    101323 |    2017    62268   200790 |    33427    14121     88 |  0.395 % |
77.36/77.47	c ===============================================================================
77.36/77.47	c New solution: -120
77.36/77.47	o -120
77.36/77.47	c Elapsed CPU time: 76.9333 s	Remaining CPU time: 103.067 s
77.36/77.47	c ===============================================================================
77.36/77.47	c |    101809 |    2017    62269   200925 |    20756    14607     88 |  0.395 % |
77.46/77.54	c |    101910 |    2017    62269   200925 |    22831    14708     88 |  0.395 % |
77.56/77.64	c |    102060 |    2017    62269   200925 |    25115    14858     88 |  0.395 % |
77.76/77.80	c |    102286 |    2017    62269   200925 |    27626    15084     88 |  0.395 % |
77.98/78.01	c |    102623 |    2017    62269   200925 |    30389    15421     88 |  0.395 % |
78.27/78.35	c |    103131 |    2017    62269   200925 |    33428    15929     88 |  0.395 % |
78.67/78.75	c |    103890 |    2017    62269   200925 |    36771    16688     88 |  0.395 % |
79.36/79.43	c |    105029 |    2017    62269   200925 |    40448    17827     87 |  0.395 % |
80.67/80.71	c |    106738 |    2017    62269   200925 |    44493    19536     87 |  0.395 % |
81.76/81.83	c |    109301 |    2017    62269   200925 |    48942    22099     87 |  0.395 % |
82.47/82.58	c ===============================================================================
82.47/82.58	c New solution: -121
82.47/82.58	o -121
82.47/82.58	c Elapsed CPU time: 82.0045 s	Remaining CPU time: 97.9955 s
82.47/82.58	c ===============================================================================
82.47/82.58	c |    110824 |    2017    62270   201060 |    20756    23622     87 |  0.395 % |
82.97/83.00	c ===============================================================================
82.97/83.00	c New solution: -122
82.97/83.00	o -122
82.97/83.00	c Elapsed CPU time: 82.4235 s	Remaining CPU time: 97.5765 s
82.97/83.00	c ===============================================================================
82.97/83.00	c |    110825 |    2017    62271   201195 |    20757    11100     85 |  0.395 % |
82.97/83.02	c ===============================================================================
82.97/83.02	c New solution: -123
82.97/83.02	o -123
82.97/83.02	c Elapsed CPU time: 82.4385 s	Remaining CPU time: 97.5615 s
82.97/83.02	c ===============================================================================
82.97/83.02	c |    110828 |    2017    62272   201330 |    20757    11103     85 |  0.395 % |
82.97/83.06	c |    110928 |    2017    62272   201330 |    22833    11203     85 |  0.395 % |
83.06/83.13	c |    111078 |    2017    62272   201330 |    25116    11353     85 |  0.395 % |
83.16/83.23	c |    111305 |    2017    62272   201330 |    27628    11580     85 |  0.395 % |
83.26/83.36	c |    111643 |    2017    62272   201330 |    30390    11918     85 |  0.395 % |
83.48/83.55	c |    112150 |    2017    62272   201330 |    33429    12425     85 |  0.395 % |
83.76/83.88	c |    112911 |    2017    62272   201330 |    36772    13186     85 |  0.395 % |
84.36/84.48	c |    114050 |    2017    62272   201330 |    40450    14325     85 |  0.395 % |
85.26/85.32	c |    115758 |    2017    62272   201330 |    44495    16033     85 |  0.395 % |
86.16/86.24	c ===============================================================================
86.16/86.25	c New solution: -124
86.16/86.25	o -124
86.16/86.25	c Elapsed CPU time: 85.642 s	Remaining CPU time: 94.358 s
86.16/86.25	c ===============================================================================
86.16/86.25	c |    117195 |    2017    62273   201465 |    20757    17470     85 |  0.395 % |
86.16/86.26	c ===============================================================================
86.16/86.26	c New solution: -125
86.16/86.26	o -125
86.16/86.26	c Elapsed CPU time: 85.657 s	Remaining CPU time: 94.343 s
86.16/86.26	c ===============================================================================
86.16/86.26	c |    117195 |    2017    62274   201600 |    20758    17470     85 |  0.395 % |
86.27/86.31	c |    117295 |    2017    62274   201600 |    22833    17570     85 |  0.395 % |
86.37/86.41	c |    117445 |    2017    62274   201600 |    25117    17720     85 |  0.395 % |
86.47/86.57	c |    117671 |    2017    62274   201600 |    27628    17946     85 |  0.395 % |
86.66/86.77	c |    118008 |    2017    62274   201600 |    30391    18283     85 |  0.395 % |
86.96/87.06	c |    118515 |    2017    62274   201600 |    33430    18790     85 |  0.395 % |
87.56/87.60	c |    119275 |    2017    62274   201600 |    36774    19550     85 |  0.395 % |
88.46/88.58	c |    120416 |    2017    62274   201600 |    40451    20691     85 |  0.395 % |
89.86/89.98	c |    122126 |    2017    62274   201600 |    44496    22401     85 |  0.395 % |
92.16/92.22	c |    124690 |    2017    62274   201600 |    48946    24965     85 |  0.395 % |
95.57/95.63	c |    128535 |    2017    62274   201600 |    53840    28810     85 |  0.395 % |
101.56/101.61	c |    134302 |    2017    62274   201600 |    59224    34577     85 |  0.395 % |
106.86/106.96	c ===============================================================================
106.86/106.96	c New solution: -126
106.86/106.96	o -126
106.86/106.96	c Elapsed CPU time: 106.242 s	Remaining CPU time: 73.7582 s
106.86/106.96	c ===============================================================================
106.86/106.96	c |    140589 |    2017    62275   201735 |    20758    40864     85 |  0.395 % |
107.66/107.75	c ===============================================================================
107.66/107.75	c New solution: -127
107.66/107.75	o -127
107.66/107.75	c Elapsed CPU time: 107.03 s	Remaining CPU time: 72.9703 s
107.66/107.75	c ===============================================================================
107.66/107.75	c |    140591 |    2017    62276   201870 |    20758    11604     83 |  0.395 % |
107.66/107.76	c ===============================================================================
107.66/107.76	c New solution: -128
107.66/107.76	o -128
107.66/107.76	c Elapsed CPU time: 107.046 s	Remaining CPU time: 72.9543 s
107.66/107.76	c ===============================================================================
107.66/107.76	c |    140593 |    2017    62277   202005 |    20759    11606     83 |  0.395 % |
107.66/107.78	c ===============================================================================
107.66/107.78	c New solution: -129
107.66/107.78	o -129
107.66/107.78	c Elapsed CPU time: 107.059 s	Remaining CPU time: 72.9413 s
107.66/107.78	c ===============================================================================
107.66/107.78	c |    140593 |    2017    62278   202140 |    20759    11606     83 |  0.395 % |
107.76/107.83	c |    140694 |    2017    62278   202140 |    22835    11707     83 |  0.395 % |
107.76/107.89	c |    140845 |    2017    62278   202140 |    25118    11858     84 |  0.395 % |
107.85/107.98	c |    141070 |    2017    62278   202140 |    27630    12083     84 |  0.395 % |
108.05/108.13	c |    141407 |    2017    62278   202140 |    30393    12420     84 |  0.395 % |
108.25/108.37	c |    141914 |    2017    62278   202140 |    33433    12927     84 |  0.395 % |
108.75/108.80	c |    142673 |    2017    62278   202140 |    36776    13686     84 |  0.395 % |
109.25/109.37	c ===============================================================================
109.25/109.37	c New solution: -130
109.25/109.37	o -130
109.25/109.37	c Elapsed CPU time: 108.637 s	Remaining CPU time: 71.3625 s
109.25/109.37	c ===============================================================================
109.25/109.37	c |    143792 |    2017    62279   202275 |    20759    14805     84 |  0.395 % |
109.25/109.39	c ===============================================================================
109.25/109.39	c New solution: -131
109.25/109.39	o -131
109.25/109.39	c Elapsed CPU time: 108.653 s	Remaining CPU time: 71.3465 s
109.25/109.39	c ===============================================================================
109.25/109.39	c |    143792 |    2017    62280   202410 |    20760    14805     84 |  0.395 % |
109.35/109.40	c ===============================================================================
109.35/109.40	c New solution: -132
109.35/109.40	o -132
109.35/109.40	c Elapsed CPU time: 108.668 s	Remaining CPU time: 71.3315 s
109.35/109.40	c ===============================================================================
109.35/109.40	c |    143792 |    2017    62281   202545 |    20760    14805     84 |  0.395 % |
109.35/109.46	c |    143892 |    2017    62281   202545 |    22836    14905     84 |  0.395 % |
109.45/109.54	c |    144043 |    2017    62281   202545 |    25120    15056     84 |  0.395 % |
109.55/109.69	c |    144270 |    2017    62281   202545 |    27632    15283     84 |  0.395 % |
109.75/109.89	c |    144607 |    2017    62281   202545 |    30395    15620     84 |  0.395 % |
110.05/110.18	c |    145113 |    2017    62281   202545 |    33434    16126     84 |  0.395 % |
110.55/110.66	c |    145873 |    2017    62281   202545 |    36778    16886     84 |  0.395 % |
111.45/111.52	c |    147015 |    2017    62281   202545 |    40456    18028     84 |  0.395 % |
112.75/112.86	c |    148723 |    2017    62281   202545 |    44501    19736     84 |  0.395 % |
114.36/114.42	c |    151285 |    2017    62281   202545 |    48951    22298     84 |  0.395 % |
116.56/116.68	c ===============================================================================
116.56/116.68	c New solution: -133
116.56/116.68	o -133
116.56/116.68	c Elapsed CPU time: 115.903 s	Remaining CPU time: 64.0966 s
116.56/116.68	c ===============================================================================
116.56/116.68	c |    154795 |    2017    62282   202680 |    20760    25808     84 |  0.395 % |
116.85/116.94	c ===============================================================================
116.85/116.94	c New solution: -134
116.85/116.94	o -134
116.85/116.94	c Elapsed CPU time: 116.163 s	Remaining CPU time: 63.8367 s
116.85/116.94	c ===============================================================================
116.85/116.94	c |    154795 |    2017    62283   202815 |    20761    11117     82 |  0.395 % |
116.85/116.98	c |    154895 |    2017    62283   202815 |    22837    11217     82 |  0.395 % |
116.95/117.05	c |    155045 |    2017    62283   202815 |    25120    11367     82 |  0.395 % |
117.05/117.17	c |    155273 |    2017    62283   202815 |    27632    11595     82 |  0.395 % |
117.25/117.35	c |    155610 |    2017    62283   202815 |    30396    11932     82 |  0.395 % |
117.45/117.55	c |    156117 |    2017    62283   202815 |    33435    12439     82 |  0.395 % |
117.75/117.88	c |    156878 |    2017    62283   202815 |    36779    13200     82 |  0.395 % |
118.35/118.44	c |    158019 |    2017    62283   202815 |    40457    14341     82 |  0.395 % |
119.34/119.44	c |    159728 |    2017    62283   202815 |    44503    16050     82 |  0.395 % |
121.05/121.10	c |    162291 |    2017    62283   202815 |    48953    18613     82 |  0.395 % |
123.45/123.51	c |    166135 |    2017    62283   202815 |    53848    22457     82 |  0.395 % |
126.95/127.07	c |    171902 |    2017    62283   202815 |    59233    28224     82 |  0.395 % |
130.64/130.76	c ===============================================================================
130.64/130.76	c New solution: -135
130.64/130.76	o -135
130.64/130.76	c Elapsed CPU time: 129.907 s	Remaining CPU time: 50.0927 s
130.64/130.76	c ===============================================================================
130.64/130.76	c |    176751 |    2017    62284   202950 |    20761    33073     82 |  0.395 % |
131.04/131.15	c |    176851 |    2017    62284   202950 |    22837    11480     81 |  0.395 % |
131.14/131.21	c |    177001 |    2017    62284   202950 |    25121    11630     81 |  0.395 % |
131.14/131.23	c ===============================================================================
131.14/131.23	c New solution: -136
131.14/131.23	o -136
131.14/131.23	c Elapsed CPU time: 130.38 s	Remaining CPU time: 49.6198 s
131.14/131.23	c ===============================================================================
131.14/131.23	c |    177033 |    2017    62285   203085 |    20761    11662     81 |  0.395 % |
131.14/131.27	c |    177134 |    2017    62285   203085 |    22837    11763     81 |  0.395 % |
131.25/131.34	c ===============================================================================
131.25/131.34	c New solution: -137
131.25/131.34	o -137
131.25/131.34	c Elapsed CPU time: 130.483 s	Remaining CPU time: 49.5168 s
131.25/131.34	c ===============================================================================
131.25/131.34	c |    177275 |    2017    62286   203220 |    20762    11904     81 |  0.395 % |
131.25/131.38	c |    177376 |    2017    62286   203220 |    22838    12005     81 |  0.395 % |
131.35/131.45	c |    177526 |    2017    62286   203220 |    25122    12155     81 |  0.395 % |
131.45/131.55	c |    177754 |    2017    62286   203220 |    27634    12383     81 |  0.395 % |
131.55/131.68	c |    178092 |    2017    62286   203220 |    30397    12721     81 |  0.395 % |
131.85/131.91	c |    178602 |    2017    62286   203220 |    33437    13231     81 |  0.395 % |
132.25/132.39	c |    179364 |    2017    62286   203220 |    36781    13993     81 |  0.395 % |
132.95/133.01	c |    180504 |    2017    62286   203220 |    40459    15133     82 |  0.395 % |
134.05/134.10	c |    182212 |    2017    62286   203220 |    44505    16841     82 |  0.395 % |
135.64/135.76	c |    184774 |    2017    62286   203220 |    48955    19403     82 |  0.395 % |
138.24/138.31	c |    188618 |    2017    62286   203220 |    53851    23247     82 |  0.395 % |
142.44/142.56	c |    194385 |    2017    62286   203220 |    59236    29014     82 |  0.395 % |
149.94/150.05	c ===============================================================================
149.94/150.05	c New solution: -138
149.94/150.05	o -138
149.94/150.05	c Elapsed CPU time: 149.09 s	Remaining CPU time: 30.9097 s
149.94/150.05	c ===============================================================================
149.94/150.05	c |    201854 |    2017    62287   203355 |    20762    36483     82 |  0.395 % |
150.24/150.35	c |    201954 |    2017    62287   203355 |    22838    11575     80 |  0.395 % |
150.34/150.42	c |    202105 |    2017    62287   203355 |    25122    11726     80 |  0.395 % |
150.44/150.54	c |    202331 |    2017    62287   203355 |    27634    11952     80 |  0.395 % |
150.65/150.76	c |    202668 |    2017    62287   203355 |    30398    12289     80 |  0.395 % |
150.94/151.05	c |    203175 |    2017    62287   203355 |    33437    12796     80 |  0.395 % |
151.34/151.49	c |    203935 |    2017    62287   203355 |    36781    13556     80 |  0.395 % |
152.14/152.20	c |    205077 |    2017    62287   203355 |    40459    14698     80 |  0.395 % |
153.24/153.35	c |    206785 |    2017    62287   203355 |    44505    16406     80 |  0.395 % |
153.95/154.01	c ===============================================================================
153.95/154.01	c New solution: -139
153.95/154.01	o -139
153.95/154.01	c Elapsed CPU time: 153.03 s	Remaining CPU time: 26.9703 s
153.95/154.01	c ===============================================================================
153.95/154.01	c |    207865 |    2017    62288   203490 |    20762    17486     80 |  0.395 % |
153.95/154.06	c |    207966 |    2017    62288   203490 |    22838    17587     80 |  0.395 % |
154.04/154.16	c |    208116 |    2017    62288   203490 |    25122    17737     80 |  0.395 % |
154.24/154.30	c |    208341 |    2017    62288   203490 |    27635    17962     80 |  0.395 % |
154.54/154.64	c |    208678 |    2017    62288   203490 |    30398    18299     80 |  0.395 % |
154.83/154.98	c |    209185 |    2017    62288   203490 |    33438    18806     80 |  0.395 % |
155.34/155.43	c |    209944 |    2017    62288   203490 |    36782    19565     80 |  0.395 % |
156.15/156.22	c |    211084 |    2017    62288   203490 |    40460    20705     80 |  0.395 % |
157.34/157.44	c |    212792 |    2017    62288   203490 |    44506    22413     80 |  0.395 % |
159.34/159.47	c |    215357 |    2017    62288   203490 |    48957    24978     81 |  0.395 % |
162.34/162.42	c |    219203 |    2017    62288   203490 |    53853    28824     81 |  0.395 % |
167.73/167.87	c |    224969 |    2017    62288   203490 |    59238    34590     81 |  0.395 % |
168.14/168.25	c ===============================================================================
168.14/168.25	c New solution: -140
168.14/168.25	o -140
168.14/168.25	c Elapsed CPU time: 167.197 s	Remaining CPU time: 12.8034 s
168.14/168.25	c ===============================================================================
168.14/168.25	c |    225285 |    2017    62289   203625 |    20763    34906     81 |  0.395 % |
168.54/168.60	c |    225386 |    2017    62289   203625 |    22839    11537     79 |  0.395 % |
168.54/168.67	c |    225537 |    2017    62289   203625 |    25123    11688     79 |  0.395 % |
168.64/168.78	c |    225767 |    2017    62289   203625 |    27635    11918     79 |  0.395 % |
168.84/168.96	c |    226104 |    2017    62289   203625 |    30399    12255     79 |  0.395 % |
169.14/169.27	c |    226611 |    2017    62289   203625 |    33439    12762     79 |  0.395 % |
169.53/169.68	c |    227370 |    2017    62289   203625 |    36782    13521     79 |  0.395 % |
170.23/170.35	c |    228509 |    2017    62289   203625 |    40461    14660     79 |  0.395 % |
171.45/171.51	c |    230217 |    2017    62289   203625 |    44507    16368     79 |  0.395 % |
172.94/173.05	c |    232783 |    2017    62289   203625 |    48958    18934     79 |  0.395 % |
175.63/175.78	c |    236627 |    2017    62289   203625 |    53853    22778     79 |  0.395 % |
180.23/180.35	c |    242394 |    2017    62289   203625 |    59239    28545     80 |  0.395 % |
181.03/181.14	c There are 8 assigned variables. 8 in cost function.
187.42/187.51	c core #1
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 11	Core Weight: 1	Total Weight: -329
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #2
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 20	Core Weight: 1	Total Weight: -328
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #3
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 20	Core Weight: 1	Total Weight: -327
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #4
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 19	Core Weight: 1	Total Weight: -326
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #5
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 20	Core Weight: 1	Total Weight: -325
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #6
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 8	Core Weight: 2	Total Weight: -323
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #7
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 9	Core Weight: 2	Total Weight: -321
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #8
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 11	Core Weight: 3	Total Weight: -318
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #9
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 10	Core Weight: 1	Total Weight: -317
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #10
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 11	Core Weight: 1	Total Weight: -316
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #11
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 22	Core Weight: 1	Total Weight: -315
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #12
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 23	Core Weight: 1	Total Weight: -314
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #13
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 23	Core Weight: 1	Total Weight: -313
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #14
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 7	Core Weight: 2	Total Weight: -311
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #15
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 9	Core Weight: 3	Total Weight: -308
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #16
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 10	Core Weight: 1	Total Weight: -307
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #17
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 11	Core Weight: 2	Total Weight: -305
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #18
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 11	Core Weight: 1	Total Weight: -304
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #19
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 15	Core Weight: 1	Total Weight: -303
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #20
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 16	Core Weight: 1	Total Weight: -302
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #21
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 10	Core Weight: 1	Total Weight: -301
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #22
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 9	Core Weight: 2	Total Weight: -299
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #23
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 19	Core Weight: 1	Total Weight: -298
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #24
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 20	Core Weight: 1	Total Weight: -297
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #25
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 8	Core Weight: 2	Total Weight: -295
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #26
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 9	Core Weight: 1	Total Weight: -294
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #27
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 11	Core Weight: 1	Total Weight: -293
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #28
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 11	Core Weight: 1	Total Weight: -292
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #29
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 12	Core Weight: 1	Total Weight: -291
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #30
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 9	Core Weight: 2	Total Weight: -289
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #31
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 17	Core Weight: 2	Total Weight: -287
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #32
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 18	Core Weight: 1	Total Weight: -286
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #33
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 18	Core Weight: 1	Total Weight: -285
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #34
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 12	Core Weight: 1	Total Weight: -284
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #35
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 13	Core Weight: 1	Total Weight: -283
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #36
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 14	Core Weight: 1	Total Weight: -282
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #37
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 15	Core Weight: 1	Total Weight: -281
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #38
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 15	Core Weight: 1	Total Weight: -280
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #39
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 17	Core Weight: 1	Total Weight: -279
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #40
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 17	Core Weight: 1	Total Weight: -278
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #41
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 14	Core Weight: 1	Total Weight: -277
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #42
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 16	Core Weight: 1	Total Weight: -276
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #43
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 13	Core Weight: 1	Total Weight: -275
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #44
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 8	Core Weight: 1	Total Weight: -274
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #45
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 11	Core Weight: 2	Total Weight: -272
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #46
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 13	Core Weight: 2	Total Weight: -270
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #47
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 13	Core Weight: 1	Total Weight: -269
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #48
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 8	Core Weight: 1	Total Weight: -268
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #49
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 9	Core Weight: 1	Total Weight: -267
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #50
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 9	Core Weight: 1	Total Weight: -266
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #51
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 16	Core Weight: 1	Total Weight: -265
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #52
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 23	Core Weight: 1	Total Weight: -264
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #53
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 28	Core Weight: 1	Total Weight: -263
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #54
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 13	Core Weight: 1	Total Weight: -262
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #55
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 18	Core Weight: 1	Total Weight: -261
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #56
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 19	Core Weight: 1	Total Weight: -260
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #57
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 16	Core Weight: 1	Total Weight: -259
187.42/187.51	c
187.42/187.51	c
187.42/187.51	c core #58
187.42/187.51	c 
187.42/187.51	c 
187.42/187.51	c Core size: 29	Core Weight: 1	Total Weight: -258
187.42/187.51	c
187.42/187.51	c
188.03/188.17	c core #59
188.03/188.17	c 
188.03/188.17	c 
188.03/188.17	c Core size: 14	Core Weight: 1	Total Weight: -257
188.03/188.17	c
188.03/188.17	c
188.03/188.17	c core #60
188.03/188.17	c 
188.03/188.17	c 
188.03/188.17	c Core size: 15	Core Weight: 1	Total Weight: -256
188.03/188.17	c
188.03/188.17	c
188.03/188.17	c core #61
188.03/188.17	c 
188.03/188.17	c 
188.03/188.17	c Core size: 15	Core Weight: 1	Total Weight: -255
188.03/188.17	c
188.03/188.17	c
188.03/188.17	c core #62
188.03/188.17	c 
188.03/188.17	c 
188.03/188.17	c Core size: 15	Core Weight: 1	Total Weight: -254
188.03/188.17	c
188.03/188.17	c
188.03/188.17	c ============================[ Search Statistics ]==============================
188.03/188.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.03/188.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.03/188.17	c ===============================================================================
188.03/188.17	c |         0 |    2296    62750   200433 |    20916        0    nan |  0.000 % |
188.03/188.18	c ===============================================================================
188.22/188.30	c core #63
188.22/188.30	c 
188.22/188.30	c 
188.22/188.30	c Core size: 23	Core Weight: 1	Total Weight: -253
188.22/188.30	c
188.22/188.30	c
188.22/188.30	c ============================[ Search Statistics ]==============================
188.22/188.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.22/188.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.22/188.30	c ===============================================================================
188.22/188.30	c |         0 |    2306    62754   200456 |    20918        0    nan |  0.000 % |
188.22/188.31	c ===============================================================================
188.32/188.44	c core #64
188.32/188.44	c 
188.32/188.44	c 
188.32/188.44	c Core size: 13	Core Weight: 1	Total Weight: -252
188.32/188.44	c
188.32/188.44	c
188.32/188.44	c ============================[ Search Statistics ]==============================
188.32/188.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.32/188.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.32/188.44	c ===============================================================================
188.32/188.44	c |         0 |    2315    62758   200480 |    20919        0    nan |  0.000 % |
188.32/188.45	c ===============================================================================
188.42/188.57	c core #65
188.42/188.57	c 
188.42/188.57	c 
188.42/188.57	c Core size: 10	Core Weight: 1	Total Weight: -251
188.42/188.57	c
188.42/188.57	c
188.42/188.57	c ============================[ Search Statistics ]==============================
188.42/188.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.42/188.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.42/188.57	c ===============================================================================
188.42/188.57	c |         0 |    2321    62760   200494 |    20920        0    nan |  0.000 % |
188.42/188.59	c ===============================================================================
188.62/188.71	c core #66
188.62/188.71	c 
188.62/188.71	c 
188.62/188.71	c Core size: 15	Core Weight: 1	Total Weight: -250
188.62/188.71	c
188.62/188.71	c
188.62/188.71	c ============================[ Search Statistics ]==============================
188.62/188.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.62/188.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.62/188.71	c ===============================================================================
188.62/188.71	c |         0 |    2332    62766   200520 |    20922        0    nan |  0.000 % |
188.62/188.72	c ===============================================================================
188.72/188.84	c core #67
188.72/188.84	c 
188.72/188.84	c 
188.72/188.84	c Core size: 24	Core Weight: 1	Total Weight: -249
188.72/188.84	c
188.72/188.84	c
188.72/188.84	c ============================[ Search Statistics ]==============================
188.72/188.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.72/188.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.72/188.84	c ===============================================================================
188.72/188.84	c |         0 |    2345    62771   200551 |    20923        0    nan |  0.000 % |
188.72/188.85	c ===============================================================================
188.82/188.98	c core #68
188.82/188.98	c 
188.82/188.98	c 
188.82/188.98	c Core size: 17	Core Weight: 1	Total Weight: -248
188.82/188.98	c
188.82/188.98	c
188.82/188.98	c ============================[ Search Statistics ]==============================
188.82/188.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.82/188.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.82/188.98	c ===============================================================================
188.82/188.98	c |         0 |    2356    62775   200576 |    20925        0    nan |  0.000 % |
188.93/189.00	c ===============================================================================
189.04/189.12	c core #69
189.04/189.12	c 
189.04/189.12	c 
189.04/189.12	c Core size: 26	Core Weight: 1	Total Weight: -247
189.04/189.12	c
189.04/189.12	c
189.04/189.12	c ============================[ Search Statistics ]==============================
189.04/189.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.04/189.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.04/189.12	c ===============================================================================
189.04/189.12	c |         0 |    2374    62784   200630 |    20928        0    nan |  0.000 % |
189.04/189.15	c ===============================================================================
189.14/189.27	c core #70
189.14/189.27	c 
189.14/189.27	c 
189.14/189.27	c Core size: 21	Core Weight: 1	Total Weight: -246
189.14/189.27	c
189.14/189.27	c
189.14/189.27	c ============================[ Search Statistics ]==============================
189.14/189.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.14/189.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.14/189.27	c ===============================================================================
189.14/189.27	c |         0 |    2384    62788   200653 |    20929        0    nan |  0.000 % |
189.14/189.29	c ===============================================================================
189.33/189.43	c core #71
189.33/189.43	c 
189.33/189.43	c 
189.33/189.43	c Core size: 16	Core Weight: 1	Total Weight: -245
189.33/189.43	c
189.33/189.43	c
189.33/189.43	c ============================[ Search Statistics ]==============================
189.33/189.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.33/189.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.33/189.43	c ===============================================================================
189.33/189.43	c |         0 |    2393    62789   200671 |    20929        0    nan |  0.000 % |
189.33/189.45	c ===============================================================================
189.43/189.57	c core #72
189.43/189.57	c 
189.43/189.57	c 
189.43/189.57	c Core size: 18	Core Weight: 1	Total Weight: -244
189.43/189.57	c
189.43/189.57	c
189.43/189.57	c ============================[ Search Statistics ]==============================
189.43/189.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.43/189.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.43/189.57	c ===============================================================================
189.43/189.57	c |         0 |    2405    62792   200699 |    20930        0    nan |  0.000 % |
189.43/189.60	c ===============================================================================
189.63/189.73	c core #73
189.63/189.73	c 
189.63/189.73	c 
189.63/189.73	c Core size: 14	Core Weight: 1	Total Weight: -243
189.63/189.73	c
189.63/189.73	c
189.63/189.73	c ============================[ Search Statistics ]==============================
189.63/189.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.63/189.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.63/189.73	c ===============================================================================
189.63/189.73	c |         0 |    2426    62793   202744 |    20931        0    nan |  0.000 % |
189.63/189.76	c ===============================================================================
189.73/189.88	c core #74
189.73/189.88	c 
189.73/189.88	c 
189.73/189.88	c Core size: 32	Core Weight: 1	Total Weight: -242
189.73/189.88	c
189.73/189.88	c
189.73/189.88	c ============================[ Search Statistics ]==============================
189.73/189.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.73/189.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.73/189.88	c ===============================================================================
189.73/189.88	c |         0 |    2447    62800   202799 |    20933        0    nan |  0.000 % |
189.83/189.91	c ===============================================================================
189.93/190.04	c core #75
189.93/190.04	c 
189.93/190.04	c 
189.93/190.04	c Core size: 31	Core Weight: 1	Total Weight: -241
189.93/190.04	c
189.93/190.04	c
189.93/190.04	c ============================[ Search Statistics ]==============================
189.93/190.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.93/190.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.93/190.04	c ===============================================================================
189.93/190.04	c |         0 |    2470    62804   202845 |    20934        0    nan |  0.000 % |
189.93/190.07	c ===============================================================================
190.03/190.19	c core #76
190.03/190.19	c 
190.03/190.19	c 
190.03/190.19	c Core size: 20	Core Weight: 1	Total Weight: -240
190.03/190.19	c
190.03/190.19	c
190.03/190.19	c ============================[ Search Statistics ]==============================
190.03/190.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.03/190.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.03/190.19	c ===============================================================================
190.03/190.19	c |         0 |    2484    62807   202877 |    20935        0    nan |  0.000 % |
190.14/190.22	c ===============================================================================
190.24/190.35	c core #77
190.24/190.35	c 
190.24/190.35	c 
190.24/190.35	c Core size: 47	Core Weight: 1	Total Weight: -239
190.24/190.35	c
190.24/190.35	c
190.24/190.35	c ============================[ Search Statistics ]==============================
190.24/190.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.24/190.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.24/190.35	c ===============================================================================
190.24/190.35	c |         0 |    2519    62810   203737 |    20936        0    nan |  0.000 % |
190.24/190.36	c ===============================================================================
190.43/190.50	c core #78
190.43/190.50	c 
190.43/190.50	c 
190.43/190.50	c Core size: 37	Core Weight: 1	Total Weight: -238
190.43/190.50	c
190.43/190.50	c
190.43/190.50	c ============================[ Search Statistics ]==============================
190.43/190.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.43/190.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.43/190.50	c ===============================================================================
190.43/190.50	c |         0 |    2531    62812   203763 |    20937        0    nan |  0.000 % |
190.43/190.52	c ===============================================================================
190.53/190.65	c core #79
190.53/190.65	c 
190.53/190.65	c 
190.53/190.65	c Core size: 27	Core Weight: 1	Total Weight: -237
190.53/190.65	c
190.53/190.65	c
190.53/190.65	c ============================[ Search Statistics ]==============================
190.53/190.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.53/190.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.53/190.65	c ===============================================================================
190.53/190.65	c |         0 |    2542    62815   203789 |    20938        0    nan |  0.000 % |
190.53/190.68	c ===============================================================================
190.73/190.80	c core #80
190.73/190.80	c 
190.73/190.80	c 
190.73/190.80	c Core size: 25	Core Weight: 1	Total Weight: -236
190.73/190.80	c
190.73/190.80	c
190.73/190.80	c ============================[ Search Statistics ]==============================
190.73/190.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.73/190.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.73/190.80	c ===============================================================================
190.73/190.80	c |         0 |    2554    62817   203816 |    20939        0    nan |  0.000 % |
190.73/190.82	c ===============================================================================
190.83/190.95	c core #81
190.83/190.95	c 
190.83/190.95	c 
190.83/190.95	c Core size: 34	Core Weight: 1	Total Weight: -235
190.83/190.95	c
190.83/190.95	c
190.83/190.95	c ============================[ Search Statistics ]==============================
190.83/190.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.83/190.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.83/190.95	c ===============================================================================
190.83/190.95	c |         0 |    2574    62818   203856 |    20939        0    nan |  0.000 % |
190.83/190.99	c ===============================================================================
191.03/191.11	c core #82
191.03/191.11	c 
191.03/191.11	c 
191.03/191.11	c Core size: 63	Core Weight: 1	Total Weight: -234
191.03/191.11	c
191.03/191.11	c
191.03/191.11	c ============================[ Search Statistics ]==============================
191.03/191.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.03/191.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.03/191.11	c ===============================================================================
191.03/191.11	c |         0 |    2620    62825   203958 |    20941        0    nan |  0.000 % |
191.03/191.14	c ===============================================================================
191.13/191.27	c core #83
191.13/191.27	c 
191.13/191.27	c 
191.13/191.27	c Core size: 31	Core Weight: 1	Total Weight: -233
191.13/191.27	c
191.13/191.27	c
191.13/191.27	c ============================[ Search Statistics ]==============================
191.13/191.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.13/191.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.13/191.27	c ===============================================================================
191.13/191.27	c |         0 |    2642    62828   204006 |    20942        0    nan |  0.000 % |
191.24/191.30	c ===============================================================================
191.34/191.42	c core #84
191.34/191.42	c 
191.34/191.42	c 
191.34/191.42	c Core size: 36	Core Weight: 1	Total Weight: -232
191.34/191.42	c
191.34/191.42	c
191.34/191.42	c ============================[ Search Statistics ]==============================
191.34/191.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.34/191.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.34/191.42	c ===============================================================================
191.34/191.42	c |         0 |    2657    62835   204311 |    20945        0    nan |  0.000 % |
191.34/191.46	c ===============================================================================
191.43/191.60	c core #85
191.43/191.60	c 
191.43/191.60	c 
191.43/191.60	c Core size: 57	Core Weight: 1	Total Weight: -231
191.43/191.60	c
191.43/191.60	c
191.43/191.60	c ============================[ Search Statistics ]==============================
191.43/191.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.43/191.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.43/191.60	c ===============================================================================
191.43/191.60	c |         0 |    2701    62837   204402 |    20945        0    nan |  0.000 % |
191.53/191.63	c ===============================================================================
191.63/191.76	c core #86
191.63/191.76	c 
191.63/191.76	c 
191.63/191.76	c Core size: 45	Core Weight: 1	Total Weight: -230
191.63/191.76	c
191.63/191.76	c
191.63/191.76	c ============================[ Search Statistics ]==============================
191.63/191.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.63/191.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.63/191.76	c ===============================================================================
191.63/191.76	c |         0 |    2734    62842   204477 |    20947        0    nan |  0.000 % |
191.73/191.83	c ===============================================================================
191.83/191.95	c core #87
191.83/191.95	c 
191.83/191.95	c 
191.83/191.95	c Core size: 110	Core Weight: 1	Total Weight: -229
191.83/191.95	c
191.83/191.95	c
191.83/191.95	c ============================[ Search Statistics ]==============================
191.83/191.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.83/191.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.83/191.95	c ===============================================================================
191.83/191.95	c |         0 |    2821    62845   204657 |    20948        0    nan |  0.000 % |
191.93/192.02	c |       101 |    2820    62845   204657 |    23043      101      9 |  0.318 % |
192.03/192.11	c |       252 |    2817    62845   204657 |    25347      252      8 |  0.672 % |
192.03/192.15	c ===============================================================================
192.13/192.29	c core #88
192.13/192.29	c 
192.13/192.29	c 
192.13/192.29	c Core size: 119	Core Weight: 1	Total Weight: -228
192.13/192.29	c
192.13/192.29	c
192.13/192.29	c ============================[ Search Statistics ]==============================
192.13/192.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.13/192.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.13/192.29	c ===============================================================================
192.13/192.29	c |         0 |    2907    62852   204846 |    20950        0    nan |  0.000 % |
192.23/192.36	c |       100 |    2906    62852   204846 |    23045      100     24 |  0.309 % |
192.33/192.45	c |       250 |    2906    62852   204846 |    25350      250     22 |  0.309 % |
192.43/192.51	c |       475 |    2906    62852   204846 |    27885      475     22 |  0.309 % |
192.52/192.60	c |       813 |    2906    62852   204846 |    30673      813     21 |  0.309 % |
192.72/192.83	c |      1321 |    2906    62852   204846 |    33741     1321     19 |  0.309 % |
192.93/193.08	c ===============================================================================
193.13/193.22	c core #89
193.13/193.22	c 
193.13/193.22	c 
193.13/193.22	c Core size: 177	Core Weight: 1	Total Weight: -227
193.13/193.22	c
193.13/193.22	c
193.13/193.22	c ============================[ Search Statistics ]==============================
193.13/193.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.13/193.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.13/193.22	c ===============================================================================
193.13/193.22	c |         0 |    3065    62864   205195 |    20954        0    nan |  0.000 % |
193.13/193.29	c |       103 |    3065    62864   205195 |    23050      103     31 |  0.260 % |
193.23/193.35	c |       253 |    3065    62864   205195 |    25355      253     26 |  0.260 % |
193.23/193.39	c |       478 |    3065    62864   205195 |    27890      478     29 |  0.260 % |
193.32/193.46	c |       815 |    3065    62864   205195 |    30679      815     28 |  0.260 % |
193.43/193.57	c |      1322 |    3065    62864   205195 |    33747     1322     29 |  0.260 % |
193.63/193.78	c |      2082 |    3065    62864   205195 |    37122     2082     31 |  0.260 % |
193.92/194.02	c |      3222 |    3065    62864   205195 |    40834     3222     29 |  0.260 % |
194.43/194.50	c |      4931 |    3065    62864   205195 |    44918     4931     28 |  0.260 % |
195.53/195.60	c |      7493 |    3064    62864   205195 |    49410     6791     29 |  0.293 % |
197.62/197.71	c |     11337 |    2978    62864   205195 |    54351     5213     26 |  3.091 % |
197.72/197.84	c ===============================================================================
198.02/198.10	c core #90
198.02/198.10	c 
198.02/198.10	c 
198.02/198.10	c Core size: 193	Core Weight: 1	Total Weight: -226
198.02/198.10	c
198.02/198.10	c
198.02/198.10	c ============================[ Search Statistics ]==============================
198.02/198.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.02/198.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.02/198.10	c ===============================================================================
198.02/198.10	c |         0 |    3233    62883   205583 |    20961        0    nan |  0.000 % |
198.02/198.17	c |       102 |    3233    62883   205583 |    23057      102     79 |  0.247 % |
198.12/198.25	c |       255 |    3233    62883   205583 |    25362      255     86 |  0.247 % |
198.23/198.32	c |       483 |    3233    62883   205583 |    27899      483     70 |  0.247 % |
198.23/198.39	c |       821 |    3233    62883   205583 |    30689      821     55 |  0.247 % |
198.33/198.47	c |      1330 |    3233    62883   205583 |    33757     1330     48 |  0.247 % |
198.52/198.64	c |      2090 |    3233    62883   205583 |    37133     2090     46 |  0.247 % |
198.93/199.08	c |      3229 |    3233    62883   205583 |    40847     3229     47 |  0.247 % |
199.62/199.74	c |      4941 |    3233    62883   205583 |    44931     4941     48 |  0.247 % |
200.73/200.82	c |      7505 |    3233    62883   205583 |    49424     7505     47 |  0.247 % |
202.42/202.57	c |     11350 |    3233    62883   205583 |    54367    11350     46 |  0.247 % |
204.22/204.34	c |     17117 |    3233    62883   205583 |    59804    17117     44 |  0.247 % |
209.52/209.62	c |     25766 |    3233    62883   205583 |    65784    25766     44 |  0.247 % |
220.12/220.25	c |     38740 |    3233    62883   205583 |    72363    38740     44 |  0.247 % |
224.72/224.87	c ===============================================================================
225.52/225.69	c core #91
225.52/225.69	c 
225.52/225.69	c 
225.52/225.69	c Core size: 328	Core Weight: 1	Total Weight: -225
225.52/225.69	c
225.52/225.69	c
225.52/225.69	c ============================[ Search Statistics ]==============================
225.52/225.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
225.52/225.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
225.52/225.69	c ===============================================================================
225.52/225.69	c |         0 |    3533    62955   206390 |    20985        0    nan |  0.000 % |
225.62/225.77	c |       100 |    3533    62955   206390 |    23083      100    102 |  0.226 % |
225.72/225.85	c |       252 |    3533    62955   206390 |    25391      252     75 |  0.226 % |
225.81/225.90	c |       477 |    3533    62955   206390 |    27931      477     48 |  0.226 % |
225.91/226.01	c |       814 |    3533    62955   206390 |    30724      814     35 |  0.226 % |
226.01/226.16	c |      1320 |    3533    62955   206390 |    33796     1320     29 |  0.226 % |
226.32/226.43	c |      2080 |    3533    62955   206390 |    37176     2080     27 |  0.226 % |
226.72/226.80	c |      3219 |    3533    62955   206390 |    40893     3219     27 |  0.226 % |
227.32/227.49	c |      4927 |    3533    62955   206390 |    44983     4927     27 |  0.226 % |
228.62/228.74	c |      7489 |    3533    62955   206390 |    49481     7489     29 |  0.226 % |
229.51/229.67	c ===============================================================================
229.82/229.92	c core #92
229.82/229.92	c 
229.82/229.92	c 
229.82/229.92	c Core size: 164	Core Weight: 1	Total Weight: -224
229.82/229.92	c
229.82/229.92	c
229.82/229.92	c ============================[ Search Statistics ]==============================
229.82/229.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
229.82/229.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
229.82/229.92	c ===============================================================================
229.82/229.92	c |         0 |    3675    62976   206729 |    20992        0    nan |  0.000 % |
229.91/230.01	c |       101 |    3675    62976   206729 |    23091      101     67 |  0.217 % |
229.91/230.05	c |       253 |    3675    62976   206729 |    25400      253     62 |  0.217 % |
229.91/230.09	c |       479 |    3675    62976   206729 |    27940      479     71 |  0.217 % |
230.01/230.15	c |       819 |    3675    62976   206729 |    30734      819     75 |  0.217 % |
230.11/230.25	c |      1326 |    3675    62976   206729 |    33807     1326     74 |  0.217 % |
230.31/230.40	c |      2085 |    3675    62976   206729 |    37188     2085     76 |  0.217 % |
230.71/230.85	c |      3227 |    3675    62976   206729 |    40907     3227     78 |  0.217 % |
231.21/231.39	c |      4937 |    3675    62976   206729 |    44998     4937     78 |  0.217 % |
232.21/232.33	c |      7503 |    3675    62976   206729 |    49498     7503     73 |  0.217 % |
234.12/234.20	c |     11354 |    3675    62976   206729 |    54447    11354     72 |  0.217 % |
238.61/238.74	c |     17122 |    3675    62976   206729 |    59892    17122     74 |  0.217 % |
248.20/248.36	c |     25771 |    3675    62976   206729 |    65881    25771     72 |  0.217 % |
267.60/267.75	c |     38746 |    3675    62976   206729 |    72470    38746     77 |  0.217 % |
302.79/302.94	c |     58213 |    3675    62976   206729 |    79717    58213     82 |  0.217 % |
346.38/346.55	c |     87406 |    3675    62976   206729 |    87688    20790     82 |  0.217 % |
405.45/405.67	c |    131196 |    3675    62976   206729 |    96457    64580     85 |  0.217 % |
513.53/513.72	c |    196883 |    3675    62976   206729 |   106103    48041     93 |  0.217 % |
700.37/700.61	c |    295409 |    3675    62976   206729 |   116713    55479    104 |  0.217 % |
1083.34/1083.72	c |    443198 |    3675    62976   206729 |   128385   102258    107 |  0.217 % |
1604.97/1605.59	c |    664882 |    3675    62976   206729 |   141223   100549    115 |  0.217 % |

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-2680392-1277460477/watcher-2680392-1277460477 -o /tmp/evaluation-result-2680392-1277460477/solver-2680392-1277460477 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680392-1277460477.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 0.98 3/106 22705
/proc/meminfo: memFree=1851984/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=4888 CPUtime=0
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 121649201 5005312 283 1992294400 134512640 135752675 4289011680 18446744073709551615 134609676 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 1222 283 138 303 0 410 0

[startup+0.032022 s]
/proc/loadavg: 1.00 1.00 0.98 3/106 22705
/proc/meminfo: memFree=1851984/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=5180 CPUtime=0.03
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 445 0 0 0 3 0 0 0 20 0 1 0 121649201 5304320 364 1992294400 134512640 135752675 4289011680 18446744073709551615 135196160 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 1295 364 176 303 0 483 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5180

[startup+0.10103 s]
/proc/loadavg: 1.00 1.00 0.98 3/106 22705
/proc/meminfo: memFree=1851984/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=5968 CPUtime=0.09
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 741 0 0 0 9 0 0 0 20 0 1 0 121649201 6111232 660 1992294400 134512640 135752675 4289011680 18446744073709551615 134564621 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 1492 660 284 303 0 680 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5968

[startup+0.301056 s]
/proc/loadavg: 1.00 1.00 0.98 3/106 22705
/proc/meminfo: memFree=1851984/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=7928 CPUtime=0.29
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 1562 0 0 0 29 0 0 0 20 0 1 0 121649201 8118272 1481 1992294400 134512640 135752675 4289011680 18446744073709551615 134560794 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 1982 1481 595 303 0 1170 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7928

[startup+0.701109 s]
/proc/loadavg: 1.00 1.00 0.98 3/106 22705
/proc/meminfo: memFree=1851984/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=7260 CPUtime=0.69
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 1974 0 0 0 65 4 0 0 21 0 1 0 121649201 7434240 1354 1992294400 134512640 135752675 4289011680 18446744073709551615 134599103 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 1815 1354 144 303 0 1510 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7260

[startup+1.50121 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22706
/proc/meminfo: memFree=1847016/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=7652 CPUtime=1.49
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 2046 0 0 0 141 8 0 0 23 0 1 0 121649201 7835648 1426 1992294400 134512640 135752675 4289011680 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 1913 1426 145 303 0 1608 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7652

[startup+3.10142 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22706
/proc/meminfo: memFree=1845280/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=10116 CPUtime=3.09
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 2670 0 0 0 299 10 0 0 25 0 1 0 121649201 10358784 2050 1992294400 134512640 135752675 4289011680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 2529 2050 145 303 0 2224 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10116

[startup+6.30085 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22706
/proc/meminfo: memFree=1841064/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=13844 CPUtime=6.29
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 3605 0 0 0 616 13 0 0 25 0 1 0 121649201 14176256 2985 1992294400 134512640 135752675 4289011680 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 3461 2985 145 303 0 3156 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13844

[startup+12.7007 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22708
/proc/meminfo: memFree=1835980/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=18212 CPUtime=12.69
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 4683 0 0 0 1252 17 0 0 25 0 1 0 121649201 18649088 4063 1992294400 134512640 135752675 4289011680 18446744073709551615 134611628 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 4553 4063 145 303 0 4248 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18212

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22708
/proc/meminfo: memFree=1825564/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=28448 CPUtime=25.48
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 7251 0 0 0 2522 26 0 0 25 0 1 0 121649201 29130752 6631 1992294400 134512640 135752675 4289011680 18446744073709551615 134518720 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 7112 6631 145 303 0 6807 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28448

[startup+51.1007 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22708
/proc/meminfo: memFree=1813908/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=40440 CPUtime=51.07
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 10211 0 0 0 5070 37 0 0 25 0 1 0 121649201 41410560 9591 1992294400 134512640 135752675 4289011680 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 10110 9591 145 303 0 9805 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40440

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22710
/proc/meminfo: memFree=1783652/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=70276 CPUtime=102.27
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 17634 0 0 0 10162 65 0 0 25 0 1 0 121649201 71962624 17014 1992294400 134512640 135752675 4289011680 18446744073709551615 134612056 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 17569 17014 145 303 0 17264 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 70276

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22712
/proc/meminfo: memFree=1748436/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=105876 CPUtime=162.24
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 26514 0 0 0 16127 97 0 0 25 0 1 0 121649201 108417024 25894 1992294400 134512640 135752675 4289011680 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 26469 25894 145 303 0 26164 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 105876

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22712
/proc/meminfo: memFree=1734920/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=117820 CPUtime=222.21
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 29851 0 0 0 22092 129 0 0 25 0 1 0 121649201 120647680 29026 1992294400 134512640 135752675 4289011680 18446744073709551615 134605426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 29455 29026 146 303 0 29150 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 117820

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22714
/proc/meminfo: memFree=1727356/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=126080 CPUtime=282.19
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 31871 0 0 0 28069 150 0 0 25 0 1 0 121649201 129105920 31046 1992294400 134512640 135752675 4289011680 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 31520 31046 146 303 0 31215 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 126080

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22716
/proc/meminfo: memFree=1712724/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=140692 CPUtime=342.18
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 35509 0 0 0 34048 170 0 0 25 0 1 0 121649201 144068608 34684 1992294400 134512640 135752675 4289011680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 35173 34684 146 303 0 34868 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 140692

[startup+402.301 s]
/proc/loadavg: 1.06 1.01 0.98 2/107 22721
/proc/meminfo: memFree=1692328/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=160368 CPUtime=402.15
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 40420 0 0 0 40022 193 0 0 25 0 1 0 121649201 164216832 39595 1992294400 134512640 135752675 4289011680 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 40092 39595 146 303 0 39787 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 160368

[startup+462.301 s]
/proc/loadavg: 1.02 1.01 0.98 2/107 22723
/proc/meminfo: memFree=1674720/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=178132 CPUtime=462.13
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 44784 0 0 0 45998 215 0 0 25 0 1 0 121649201 182407168 43959 1992294400 134512640 135752675 4289011680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 44533 43959 146 303 0 44228 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 178132

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22723
/proc/meminfo: memFree=1656244/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=196776 CPUtime=522.12
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 49391 0 0 0 51977 235 0 0 25 0 1 0 121649201 201498624 48566 1992294400 134512640 135752675 4289011680 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 49194 48566 146 303 0 48889 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 196776

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22725
/proc/meminfo: memFree=1636280/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=216900 CPUtime=582.09
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 54369 0 0 0 57954 255 0 0 25 0 1 0 121649201 222105600 53544 1992294400 134512640 135752675 4289011680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 54225 53544 146 303 0 53920 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 216900

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22727
/proc/meminfo: memFree=1621896/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=231300 CPUtime=642.08
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 57904 0 0 0 63936 272 0 0 25 0 1 0 121649201 236851200 57079 1992294400 134512640 135752675 4289011680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 57825 57079 146 303 0 57520 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 231300

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22731
/proc/meminfo: memFree=1573288/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=280008 CPUtime=822.02
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 70017 0 0 0 81875 327 0 0 25 0 1 0 121649201 286728192 69192 1992294400 134512640 135752675 4289011680 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 70002 69192 146 303 0 69697 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 280008

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22733
/proc/meminfo: memFree=1566344/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=287084 CPUtime=882
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 71738 0 0 0 87865 335 0 0 25 0 1 0 121649201 293974016 70913 1992294400 134512640 135752675 4289011680 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 71771 70913 146 303 0 71466 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 287084

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22735
/proc/meminfo: memFree=1552332/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=301332 CPUtime=941.99
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 75294 0 0 0 93852 347 0 0 25 0 1 0 121649201 308563968 74469 1992294400 134512640 135752675 4289011680 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 75333 74469 146 303 0 75028 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 301332

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22737
/proc/meminfo: memFree=1532244/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=321052 CPUtime=1001.97
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 80226 0 0 0 99828 369 0 0 25 0 1 0 121649201 328757248 79401 1992294400 134512640 135752675 4289011680 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 80263 79401 146 303 0 79958 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 321052

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22739
/proc/meminfo: memFree=1517984/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=335716 CPUtime=1061.94
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 83846 0 0 0 105807 387 0 0 25 0 1 0 121649201 343773184 83021 1992294400 134512640 135752675 4289011680 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 83929 83021 146 303 0 83624 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 335716

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22739
/proc/meminfo: memFree=1504344/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=349056 CPUtime=1121.93
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 87201 0 0 0 111788 405 0 0 25 0 1 0 121649201 357433344 86376 1992294400 134512640 135752675 4289011680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 87264 86376 146 303 0 86959 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 349056

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22741
/proc/meminfo: memFree=1485248/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=368464 CPUtime=1181.9
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 92038 0 0 0 117763 427 0 0 25 0 1 0 121649201 377307136 91213 1992294400 134512640 135752675 4289011680 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 92116 91213 146 303 0 91811 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 368464

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22743
/proc/meminfo: memFree=1470244/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=383032 CPUtime=1241.89
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 95683 0 0 0 123743 446 0 0 25 0 1 0 121649201 392224768 94858 1992294400 134512640 135752675 4289011680 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 95758 94858 146 303 0 95453 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 383032

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22745
/proc/meminfo: memFree=1457224/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=395988 CPUtime=1301.88
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 98903 0 0 0 129725 463 0 0 25 0 1 0 121649201 405491712 98078 1992294400 134512640 135752675 4289011680 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 98997 98078 146 303 0 98692 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 395988

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22747
/proc/meminfo: memFree=1446808/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=406524 CPUtime=1361.86
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 101523 0 0 0 135712 474 0 0 25 0 1 0 121649201 416280576 100698 1992294400 134512640 135752675 4289011680 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 101631 100698 146 303 0 101326 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 406524

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22747
/proc/meminfo: memFree=1436020/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=417352 CPUtime=1421.84
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 104197 0 0 0 141698 486 0 0 25 0 1 0 121649201 427368448 103372 1992294400 134512640 135752675 4289011680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 104338 103372 146 303 0 104033 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 417352

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22749
/proc/meminfo: memFree=1417420/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=436016 CPUtime=1481.81
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 108850 0 0 0 147674 507 0 0 25 0 1 0 121649201 446480384 108025 1992294400 134512640 135752675 4289011680 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 109004 108025 146 303 0 108699 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 436016

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22751
/proc/meminfo: memFree=1403656/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=449808 CPUtime=1541.79
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 112306 0 0 0 153655 524 0 0 25 0 1 0 121649201 460603392 111481 1992294400 134512640 135752675 4289011680 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 112452 111481 146 303 0 112147 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 449808

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22753
/proc/meminfo: memFree=1390512/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=463080 CPUtime=1601.77
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 115599 0 0 0 159639 538 0 0 25 0 1 0 121649201 474193920 114774 1992294400 134512640 135752675 4289011680 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 115770 114774 146 303 0 115465 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 463080

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22755
/proc/meminfo: memFree=1383320/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=470076 CPUtime=1661.76
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 117341 0 0 0 165627 549 0 0 25 0 1 0 121649201 481357824 116516 1992294400 134512640 135752675 4289011680 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 117519 116516 146 303 0 117214 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 470076

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22755
/proc/meminfo: memFree=1375508/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=478380 CPUtime=1721.73
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 119349 0 0 0 171614 559 0 0 25 0 1 0 121649201 489861120 118524 1992294400 134512640 135752675 4289011680 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 119595 118524 146 303 0 119290 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 478380

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22757
/proc/meminfo: memFree=1365960/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=488196 CPUtime=1781.72
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 121727 0 0 0 177600 572 0 0 25 0 1 0 121649201 499912704 120902 1992294400 134512640 135752675 4289011680 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 122049 120902 146 303 0 121744 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 488196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 22757
/proc/meminfo: memFree=1357404/2059040 swapFree=4139492/4192956
[pid=22705] ppid=22703 vsize=496384 CPUtime=1800.01
/proc/22705/stat : 22705 (wbo1.4b) R 22703 22705 22192 0 -1 4202496 123807 0 0 0 179420 581 0 0 25 0 1 0 121649201 508297216 122982 1992294400 134512640 135752675 4289011680 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22705/statm: 124096 122982 146 303 0 123791 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 496384

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.08
CPU user time (s): 1794.21
CPU system time (s): 5.87411
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (KiB): 496384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.21
system time used= 5.87411
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123807
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= 72
involuntary context switches= 4390

runsolver used 2.69759 second user time and 8.81966 second system time

The end

Launcher Data 

Begin job on node013 at 2010-06-25 12:07:57
IDJOB=2680392
IDBENCH=71838
IDSOLVER=1190
FILE ID=node013/2680392-1277460477
PBS_JOBID= 11188145
Free space on /tmp= 62400 MiB

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

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

MD5SUM BENCH= 41920bbbb40277697ec2dd9f115c2d3f
RANDOM SEED=786188696

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1852512 kB
Buffers:         31612 kB
Cached:          73420 kB
SwapCached:       5972 kB
Active:          26856 kB
Inactive:        91748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1852512 kB
SwapTotal:     4192956 kB
SwapFree:      4139492 kB
Dirty:            4592 kB
Writeback:           0 kB
AnonPages:       12264 kB
Mapped:          11904 kB
Slab:            65768 kB
PageTables:       4180 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183548 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= 62400 MiB
End job on node013 at 2010-06-25 12:38:00