Trace number 2702459

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)? (TO) 1800.18 1800.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_10_4.opb
MD5SUM81ea6ef3f58dd056541f0542171b5402
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-111
Best CPU time to get the best result obtained on this benchmark1800.26
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -112
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint10
Maximum length of a constraint21
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6326
Sum of products size (including duplicates)12652
Number of different products3163
Sum of products size6326

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-2702459-1278568134.opb.
0.00/0.00	c Instance file HOME/instance-2702459-1278568134.opb
0.00/0.00	c File size is 271068 bytes.
0.02/0.04	c Highest Coefficient sum: 21
0.02/0.04	c ============================[ Problem Statistics ]=============================
0.02/0.04	c |                                                                             |
0.02/0.04	c |  Parsing time:          0.05         s                                      |
0.02/0.04	c |  Number Variables:      3663                                                |
0.02/0.04	c |  Number Clauses:        3163                                                |
0.02/0.04	c |  Number Cardinality:    1000                                                |
0.02/0.04	c |  Number PB Constraints: 3163                                                |
0.02/0.06	c ============================[ Search Statistics ]==============================
0.02/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.06	c ===============================================================================
0.02/0.06	c |         0 |     500     7326    15107 |     5000        0    nan |  0.000 % |
0.02/0.06	c ===============================================================================
0.02/0.06	c New solution: 0
0.02/0.06	o 0
0.02/0.06	c Elapsed CPU time: 0.057991 s	Remaining CPU time: 179.942 s
0.02/0.06	c ===============================================================================
0.02/0.06	c |         0 |     500     7327    15607 |     5000        0    nan |  0.000 % |
0.02/0.06	c ===============================================================================
0.02/0.06	c New solution: -1
0.02/0.06	o -1
0.02/0.06	c Elapsed CPU time: 0.05999 s	Remaining CPU time: 179.94 s
0.02/0.06	c ===============================================================================
0.02/0.06	c |         0 |     500     7328    16107 |     5000        0    nan |  0.000 % |
0.02/0.06	c ===============================================================================
0.02/0.06	c New solution: -2
0.02/0.06	o -2
0.02/0.06	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 179.939 s
0.02/0.06	c ===============================================================================
0.02/0.06	c |         0 |     500     7329    16607 |     5000        0    nan |  0.000 % |
0.02/0.06	c ===============================================================================
0.02/0.06	c New solution: -3
0.02/0.06	o -3
0.02/0.06	c Elapsed CPU time: 0.06299 s	Remaining CPU time: 179.937 s
0.02/0.06	c ===============================================================================
0.02/0.06	c |         0 |     500     7330    17107 |     5000        0    nan |  0.000 % |
0.02/0.07	c ===============================================================================
0.02/0.07	c New solution: -4
0.02/0.07	o -4
0.02/0.07	c Elapsed CPU time: 0.06499 s	Remaining CPU time: 179.935 s
0.02/0.07	c ===============================================================================
0.02/0.07	c |         0 |     500     7331    17607 |     5000        0    nan |  0.000 % |
0.02/0.07	c ===============================================================================
0.02/0.07	c New solution: -5
0.02/0.07	o -5
0.02/0.07	c Elapsed CPU time: 0.066989 s	Remaining CPU time: 179.933 s
0.02/0.07	c ===============================================================================
0.02/0.07	c |         0 |     500     7332    18107 |     5000        0    nan |  0.000 % |
0.02/0.07	c ===============================================================================
0.02/0.07	c New solution: -6
0.02/0.07	o -6
0.02/0.07	c Elapsed CPU time: 0.067989 s	Remaining CPU time: 179.932 s
0.02/0.07	c ===============================================================================
0.02/0.07	c |         1 |     500     7333    18607 |     5000        1    495 |  0.000 % |
0.02/0.07	c ===============================================================================
0.02/0.07	c New solution: -7
0.02/0.07	o -7
0.02/0.07	c Elapsed CPU time: 0.069989 s	Remaining CPU time: 179.93 s
0.02/0.07	c ===============================================================================
0.02/0.07	c |         1 |     500     7334    19107 |     5000        1    495 |  0.000 % |
0.02/0.08	c ===============================================================================
0.02/0.08	c New solution: -8
0.02/0.08	o -8
0.02/0.08	c Elapsed CPU time: 0.071989 s	Remaining CPU time: 179.928 s
0.02/0.08	c ===============================================================================
0.02/0.08	c |         7 |     500     7335    19607 |     5000        7    494 |  0.000 % |
0.02/0.08	c ===============================================================================
0.02/0.08	c New solution: -9
0.02/0.08	o -9
0.02/0.08	c Elapsed CPU time: 0.074988 s	Remaining CPU time: 179.925 s
0.02/0.08	c ===============================================================================
0.02/0.08	c |        13 |     500     7336    20107 |     5000       13    493 |  0.000 % |
0.02/0.08	c ===============================================================================
0.02/0.08	c New solution: -10
0.02/0.08	o -10
0.02/0.08	c Elapsed CPU time: 0.076988 s	Remaining CPU time: 179.923 s
0.02/0.08	c ===============================================================================
0.02/0.08	c |        14 |     500     7337    20607 |     5000       14    493 |  0.000 % |
0.02/0.08	c ===============================================================================
0.02/0.08	c New solution: -11
0.02/0.08	o -11
0.02/0.08	c Elapsed CPU time: 0.079987 s	Remaining CPU time: 179.92 s
0.02/0.08	c ===============================================================================
0.02/0.08	c |        16 |     500     7338    21107 |     5000       16    492 |  0.000 % |
0.02/0.09	c ===============================================================================
0.02/0.09	c New solution: -12
0.02/0.09	o -12
0.02/0.09	c Elapsed CPU time: 0.083987 s	Remaining CPU time: 179.916 s
0.02/0.09	c ===============================================================================
0.02/0.09	c |        31 |     500     7339    21607 |     5000       31    491 |  0.000 % |
0.02/0.09	c ===============================================================================
0.02/0.09	c New solution: -13
0.02/0.09	o -13
0.02/0.09	c Elapsed CPU time: 0.087986 s	Remaining CPU time: 179.912 s
0.02/0.09	c ===============================================================================
0.02/0.09	c |        36 |     500     7340    22107 |     5000       36    491 |  0.000 % |
0.02/0.10	c ===============================================================================
0.02/0.10	c New solution: -14
0.02/0.10	o -14
0.02/0.10	c Elapsed CPU time: 0.091986 s	Remaining CPU time: 179.908 s
0.02/0.10	c ===============================================================================
0.02/0.10	c |        40 |     500     7341    22607 |     5000       40    490 |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: -15
0.09/0.10	o -15
0.09/0.10	c Elapsed CPU time: 0.095985 s	Remaining CPU time: 179.904 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |        47 |     500     7342    23107 |     5000       47    490 |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: -16
0.09/0.10	o -16
0.09/0.10	c Elapsed CPU time: 0.098984 s	Remaining CPU time: 179.901 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |        50 |     500     7343    23607 |     5000       50    489 |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: -17
0.09/0.11	o -17
0.09/0.11	c Elapsed CPU time: 0.102984 s	Remaining CPU time: 179.897 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |        54 |     500     7344    24107 |     5000       54    489 |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: -18
0.09/0.11	o -18
0.09/0.11	c Elapsed CPU time: 0.108983 s	Remaining CPU time: 179.891 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |        68 |     500     7345    24607 |     5000       68    488 |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c New solution: -19
0.09/0.12	o -19
0.09/0.12	c Elapsed CPU time: 0.112982 s	Remaining CPU time: 179.887 s
0.09/0.12	c ===============================================================================
0.09/0.12	c |        73 |     500     7346    25107 |     5000       73    488 |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c New solution: -20
0.09/0.12	o -20
0.09/0.12	c Elapsed CPU time: 0.117982 s	Remaining CPU time: 179.882 s
0.09/0.12	c ===============================================================================
0.09/0.12	c |        90 |     500     7347    25607 |     5000       90    486 |  0.000 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c New solution: -21
0.09/0.14	o -21
0.09/0.14	c Elapsed CPU time: 0.12898 s	Remaining CPU time: 179.871 s
0.09/0.14	c ===============================================================================
0.09/0.14	c |       145 |     500     7348    26107 |     5000      145    484 |  0.000 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c New solution: -22
0.09/0.14	o -22
0.09/0.14	c Elapsed CPU time: 0.135979 s	Remaining CPU time: 179.864 s
0.09/0.14	c ===============================================================================
0.09/0.14	c |       171 |     500     7349    26607 |     5000      171    484 |  0.000 % |
0.09/0.16	c |       271 |     500     7349    26607 |     5500      271    482 | 86.350 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c New solution: -23
0.09/0.17	o -23
0.09/0.17	c Elapsed CPU time: 0.159975 s	Remaining CPU time: 179.84 s
0.09/0.17	c ===============================================================================
0.09/0.17	c |       317 |     500     7350    27107 |     5000      317    481 | 86.350 % |
0.09/0.19	c |       417 |     500     7350    27107 |     5500      417    480 | 86.350 % |
0.09/0.19	c ===============================================================================
0.09/0.19	c New solution: -24
0.09/0.19	o -24
0.09/0.19	c Elapsed CPU time: 0.179972 s	Remaining CPU time: 179.82 s
0.09/0.19	c ===============================================================================
0.09/0.19	c |       417 |     500     7351    27607 |     5000      417    480 | 86.350 % |
0.19/0.21	c |       518 |     500     7351    27607 |     5500      518    480 | 86.350 % |
0.19/0.23	c ===============================================================================
0.19/0.23	c New solution: -25
0.19/0.23	o -25
0.19/0.23	c Elapsed CPU time: 0.213967 s	Remaining CPU time: 179.786 s
0.19/0.23	c ===============================================================================
0.19/0.23	c |       612 |     500     7352    28107 |     5000      612    479 | 86.350 % |
0.19/0.24	c ===============================================================================
0.19/0.24	c New solution: -26
0.19/0.24	o -26
0.19/0.24	c Elapsed CPU time: 0.227965 s	Remaining CPU time: 179.772 s
0.19/0.24	c ===============================================================================
0.19/0.24	c |       657 |     500     7353    28607 |     5000      657    479 | 86.350 % |
0.19/0.26	c |       758 |     500     7353    28607 |     5500      758    478 | 86.350 % |
0.19/0.29	c |       909 |     500     7353    28607 |     6050      909    478 | 86.350 % |
0.29/0.33	c |      1134 |     500     7353    28607 |     6655     1134    477 | 86.350 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: -27
0.29/0.35	o -27
0.29/0.35	c Elapsed CPU time: 0.332949 s	Remaining CPU time: 179.667 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |      1222 |     500     7354    29107 |     5000     1222    477 | 86.350 % |
0.29/0.38	c |      1324 |     500     7354    29107 |     5500     1324    477 | 86.350 % |
0.39/0.41	c ===============================================================================
0.39/0.41	c New solution: -28
0.39/0.41	o -28
0.39/0.41	c Elapsed CPU time: 0.385941 s	Remaining CPU time: 179.614 s
0.39/0.41	c ===============================================================================
0.39/0.41	c |      1443 |     500     7355    29607 |     5000     1443    476 | 86.350 % |
0.39/0.43	c |      1545 |     500     7355    29607 |     5500     1545    476 | 86.350 % |
0.39/0.46	c |      1695 |     500     7355    29607 |     6050     1695    476 | 86.350 % |
0.49/0.52	c |      1920 |     500     7355    29607 |     6655     1920    476 | 86.350 % |
0.49/0.57	c ===============================================================================
0.49/0.57	c New solution: -29
0.49/0.57	o -29
0.49/0.57	c Elapsed CPU time: 0.538918 s	Remaining CPU time: 179.461 s
0.49/0.57	c ===============================================================================
0.49/0.57	c |      2103 |     500     7356    30107 |     5000     2103    475 | 86.350 % |
0.59/0.60	c |      2203 |     500     7356    30107 |     5500     2203    475 | 86.350 % |
0.59/0.64	c |      2354 |     500     7356    30107 |     6050     2354    475 | 86.350 % |
0.69/0.70	c |      2580 |     500     7356    30107 |     6655     2580    475 | 86.350 % |
0.69/0.78	c |      2918 |     500     7356    30107 |     7320     2918    474 | 86.350 % |
0.89/0.90	c |      3425 |     500     7356    30107 |     8052     3425    474 | 86.350 % |
1.00/1.08	c |      4186 |     500     7356    30107 |     8857     4186    474 | 86.350 % |
1.00/1.10	c ===============================================================================
1.00/1.10	c New solution: -30
1.00/1.10	o -30
1.00/1.10	c Elapsed CPU time: 1.05784 s	Remaining CPU time: 178.942 s
1.00/1.10	c ===============================================================================
1.00/1.10	c |      4238 |     500     7357    30607 |     5000     4238    474 | 86.350 % |
1.10/1.13	c |      4338 |     500     7357    30607 |     5500     4338    474 | 86.350 % |
1.10/1.17	c |      4489 |     500     7357    30607 |     6050     4489    473 | 86.350 % |
1.19/1.24	c |      4716 |     500     7357    30607 |     6655     4716    473 | 86.350 % |
1.19/1.29	c ===============================================================================
1.19/1.29	c New solution: -31
1.19/1.29	o -31
1.19/1.29	c Elapsed CPU time: 1.24581 s	Remaining CPU time: 178.754 s
1.19/1.29	c ===============================================================================
1.19/1.29	c |      4913 |     500     7358    31107 |     5000     4913    473 | 86.350 % |
1.29/1.34	c |      5014 |     500     7358    31107 |     5500     5014    473 | 86.350 % |
1.29/1.38	c |      5165 |     500     7358    31107 |     6050     5165    473 | 86.350 % |
1.40/1.44	c |      5391 |     500     7358    31107 |     6655     5391    473 | 86.350 % |
1.49/1.52	c |      5728 |     500     7358    31107 |     7320     5728    473 | 86.350 % |
1.59/1.68	c |      6234 |     500     7358    31107 |     8052     6234    472 | 86.350 % |
1.89/1.91	c |      6993 |     500     7358    31107 |     8857     6993    472 | 86.350 % |
2.10/2.17	c |      8133 |     500     7358    31107 |     9743     8133    472 | 86.350 % |
2.39/2.41	c ===============================================================================
2.39/2.41	c New solution: -32
2.39/2.41	o -32
2.39/2.41	c Elapsed CPU time: 2.34064 s	Remaining CPU time: 177.659 s
2.39/2.41	c ===============================================================================
2.39/2.41	c |      9168 |     500     7359    31607 |     5000     9168    472 | 86.350 % |
2.49/2.50	c |      9268 |     500     7359    31607 |     5500     4684    470 | 86.350 % |
2.49/2.54	c |      9419 |     500     7359    31607 |     6050     4835    470 | 86.350 % |
2.59/2.61	c |      9644 |     500     7359    31607 |     6655     5060    470 | 86.350 % |
2.69/2.72	c |      9981 |     500     7359    31607 |     7320     5397    470 | 86.350 % |
2.79/2.86	c |     10487 |     500     7359    31607 |     8052     5903    470 | 86.350 % |
2.99/3.05	c ===============================================================================
2.99/3.05	c New solution: -33
2.99/3.05	o -33
2.99/3.05	c Elapsed CPU time: 2.97555 s	Remaining CPU time: 177.024 s
2.99/3.05	c ===============================================================================
2.99/3.05	c |     11046 |     500     7360    32107 |     5000     6462    470 | 86.350 % |
2.99/3.08	c |     11146 |     500     7360    32107 |     5500     6562    470 | 86.350 % |
3.09/3.14	c |     11296 |     500     7360    32107 |     6050     6712    470 | 86.350 % |
3.20/3.22	c |     11522 |     500     7360    32107 |     6655     6938    470 | 86.350 % |
3.20/3.29	c ===============================================================================
3.20/3.29	c New solution: -34
3.20/3.29	o -34
3.20/3.29	c Elapsed CPU time: 3.20951 s	Remaining CPU time: 176.79 s
3.20/3.29	c ===============================================================================
3.20/3.29	c |     11782 |     500     7361    32607 |     5000     7198    470 | 86.350 % |
3.30/3.34	c |     11884 |     500     7361    32607 |     5500     7300    470 | 86.350 % |
3.39/3.40	c |     12034 |     500     7361    32607 |     6050     7450    470 | 86.350 % |
3.39/3.42	c ===============================================================================
3.39/3.42	c New solution: -35
3.39/3.42	o -35
3.39/3.42	c Elapsed CPU time: 3.34449 s	Remaining CPU time: 176.656 s
3.39/3.42	c ===============================================================================
3.39/3.42	c |     12103 |     500     7362    33107 |     5000     7519    470 | 86.350 % |
3.39/3.46	c |     12203 |     500     7362    33107 |     5500     7619    469 | 86.350 % |
3.49/3.50	c |     12353 |     500     7362    33107 |     6050     7769    469 | 86.350 % |
3.49/3.58	c |     12579 |     500     7362    33107 |     6655     7995    469 | 86.350 % |
3.69/3.70	c |     12916 |     500     7362    33107 |     7320     8332    469 | 86.350 % |
3.69/3.79	c ===============================================================================
3.69/3.79	c New solution: -36
3.69/3.79	o -36
3.69/3.79	c Elapsed CPU time: 3.70344 s	Remaining CPU time: 176.297 s
3.69/3.79	c ===============================================================================
3.69/3.79	c |     13221 |     500     7363    33607 |     5000     8637    469 | 86.350 % |
3.79/3.86	c |     13321 |     500     7363    33607 |     5500     4419    469 | 86.350 % |
3.89/3.91	c |     13473 |     500     7363    33607 |     6050     4571    468 | 86.350 % |
3.89/3.98	c |     13699 |     500     7363    33607 |     6655     4797    468 | 86.350 % |
3.99/4.07	c |     14036 |     500     7363    33607 |     7320     5134    468 | 86.350 % |
4.19/4.24	c |     14543 |     500     7363    33607 |     8052     5641    468 | 86.350 % |
4.19/4.28	c ===============================================================================
4.19/4.28	c New solution: -37
4.19/4.28	o -37
4.19/4.28	c Elapsed CPU time: 4.18336 s	Remaining CPU time: 175.817 s
4.19/4.28	c ===============================================================================
4.19/4.28	c |     14660 |     500     7364    34107 |     5000     5758    468 | 86.350 % |
4.29/4.32	c |     14760 |     500     7364    34107 |     5500     5858    468 | 86.350 % |
4.29/4.37	c |     14911 |     500     7364    34107 |     6050     6009    468 | 86.350 % |
4.40/4.41	c ===============================================================================
4.40/4.42	c New solution: -38
4.40/4.42	o -38
4.40/4.42	c Elapsed CPU time: 4.31334 s	Remaining CPU time: 175.687 s
4.40/4.42	c ===============================================================================
4.40/4.42	c |     15050 |     500     7365    34607 |     5000     6148    467 | 86.350 % |
4.40/4.45	c |     15150 |     500     7365    34607 |     5500     6248    467 | 86.350 % |
4.49/4.50	c ===============================================================================
4.49/4.50	c New solution: -39
4.49/4.50	o -39
4.49/4.50	c Elapsed CPU time: 4.39833 s	Remaining CPU time: 175.602 s
4.49/4.50	c ===============================================================================
4.49/4.50	c |     15299 |     500     7366    35107 |     5000     6397    467 | 86.350 % |
4.49/4.53	c |     15400 |     500     7366    35107 |     5500     6498    467 | 86.350 % |
4.49/4.58	c |     15552 |     500     7366    35107 |     6050     6650    467 | 86.350 % |
4.59/4.64	c |     15777 |     500     7366    35107 |     6655     6875    467 | 86.350 % |
4.79/4.80	c |     16115 |     500     7366    35107 |     7320     7213    467 | 86.350 % |
4.99/5.01	c |     16622 |     500     7366    35107 |     8052     7720    467 | 86.350 % |
5.19/5.26	c |     17383 |     500     7366    35107 |     8857     8481    466 | 86.350 % |
5.79/5.82	c |     18523 |     500     7366    35107 |     9743     9621    466 | 86.350 % |
6.79/6.80	c |     20233 |     500     7366    35107 |    10717    11331    465 | 86.350 % |
8.29/8.31	c |     22797 |     500     7366    35107 |    11789    13895    465 | 86.350 % |
11.59/11.60	c |     26641 |     500     7366    35107 |    12968    10032    462 | 86.350 % |
15.29/15.38	c |     32408 |     500     7366    35107 |    14265    15799    462 | 86.350 % |
18.59/18.60	c ===============================================================================
18.59/18.60	c New solution: -40
18.59/18.60	o -40
18.59/18.60	c Elapsed CPU time: 18.3462 s	Remaining CPU time: 161.654 s
18.59/18.60	c ===============================================================================
18.59/18.60	c |     40885 |     500     7367    35607 |     5000    15333    462 | 86.350 % |
18.69/18.73	c |     40985 |     500     7367    35607 |     5500     7767    461 | 86.350 % |
18.69/18.77	c |     41135 |     500     7367    35607 |     6050     7917    461 | 86.350 % |
18.78/18.83	c |     41360 |     500     7367    35607 |     6655     8142    461 | 86.350 % |
18.99/19.06	c |     41698 |     500     7367    35607 |     7320     8480    461 | 86.350 % |
19.09/19.18	c ===============================================================================
19.09/19.18	c New solution: -41
19.09/19.18	o -41
19.09/19.18	c Elapsed CPU time: 18.9101 s	Remaining CPU time: 161.09 s
19.09/19.18	c ===============================================================================
19.09/19.18	c |     41880 |     500     7368    36107 |     5000     8662    461 | 86.350 % |
19.28/19.30	c |     41982 |     500     7368    36107 |     5500     4433    461 | 86.350 % |
19.28/19.39	c |     42133 |     500     7368    36107 |     6050     4584    461 | 86.350 % |
19.38/19.48	c |     42358 |     500     7368    36107 |     6655     4809    461 | 86.350 % |
19.59/19.63	c |     42695 |     500     7368    36107 |     7320     5146    461 | 86.350 % |
19.79/19.88	c |     43201 |     500     7368    36107 |     8052     5652    461 | 86.350 % |
20.09/20.14	c |     43961 |     500     7368    36107 |     8857     6412    461 | 86.350 % |
20.48/20.54	c |     45100 |     500     7368    36107 |     9743     7551    460 | 86.350 % |
21.09/21.18	c |     46808 |     500     7368    36107 |    10717     9259    460 | 86.350 % |
22.09/22.12	c |     49371 |     500     7368    36107 |    11789    11822    460 | 86.350 % |
23.29/23.39	c |     53215 |     500     7368    36107 |    12968     7959    459 | 86.350 % |
25.08/25.14	c |     58981 |     500     7368    36107 |    14265    13725    459 | 86.350 % |
27.89/27.94	c |     67631 |     500     7368    36107 |    15692    13432    460 | 86.350 % |
29.38/29.42	c ===============================================================================
29.38/29.42	c New solution: -42
29.38/29.42	o -42
29.38/29.42	c Elapsed CPU time: 29.0046 s	Remaining CPU time: 150.995 s
29.38/29.42	c ===============================================================================
29.38/29.42	c |     71372 |     500     7369    36607 |     5000    17173    460 | 86.350 % |
29.59/29.66	c |     71472 |     500     7369    36607 |     5500     4394    460 | 86.350 % |
29.70/29.71	c |     71622 |     500     7369    36607 |     6050     4544    460 | 86.350 % |
29.70/29.77	c |     71848 |     500     7369    36607 |     6655     4770    460 | 86.350 % |
29.78/29.87	c |     72186 |     500     7369    36607 |     7320     5108    460 | 86.350 % |
30.08/30.10	c |     72692 |     500     7369    36607 |     8052     5614    460 | 86.350 % |
30.28/30.38	c |     73451 |     500     7369    36607 |     8857     6373    460 | 86.350 % |
30.79/30.89	c |     74591 |     500     7369    36607 |     9743     7513    460 | 86.350 % |
31.69/31.73	c |     76300 |     500     7369    36607 |    10717     9222    459 | 86.350 % |
32.69/32.72	c |     78863 |     500     7369    36607 |    11789    11785    459 | 86.350 % |
34.09/34.18	c |     82708 |     500     7369    36607 |    12968     7922    459 | 86.350 % |
36.58/36.64	c |     88475 |     500     7369    36607 |    14265    13689    459 | 86.350 % |
39.99/40.07	c ===============================================================================
39.99/40.07	c New solution: -43
39.99/40.07	o -43
39.99/40.07	c Elapsed CPU time: 39.532 s	Remaining CPU time: 140.468 s
39.99/40.07	c ===============================================================================
39.99/40.07	c |     95497 |     500     7370    37107 |     5000    11766    459 | 86.350 % |
40.08/40.16	c |     95599 |     500     7370    37107 |     5500     5985    459 | 86.350 % |
40.18/40.20	c |     95750 |     500     7370    37107 |     6050     6136    459 | 86.350 % |
40.28/40.30	c |     95975 |     500     7370    37107 |     6655     6361    459 | 86.350 % |
40.38/40.41	c |     96313 |     500     7370    37107 |     7320     6699    459 | 86.350 % |
40.59/40.60	c |     96819 |     500     7370    37107 |     8052     7205    458 | 86.350 % |
40.68/40.78	c |     97579 |     500     7370    37107 |     8857     7965    458 | 86.350 % |
41.08/41.10	c |     98718 |     500     7370    37107 |     9743     9104    458 | 86.350 % |
41.79/41.80	c |    100427 |     500     7370    37107 |    10717    10813    458 | 86.350 % |
43.38/43.47	c |    102990 |     500     7370    37107 |    11789    13376    458 | 86.350 % |
44.78/44.81	c |    106834 |     500     7370    37107 |    12968     9515    458 | 86.350 % |
46.58/46.65	c |    112601 |     500     7370    37107 |    14265    15282    457 | 86.350 % |
50.58/50.66	c |    121251 |     500     7370    37107 |    15692    14988    457 | 86.350 % |
55.98/56.10	c |    134225 |     500     7370    37107 |    17261    18304    457 | 86.350 % |
73.58/73.60	c |    153686 |     500     7370    37107 |    18987    16881    458 | 86.350 % |
76.17/76.24	c ===============================================================================
76.17/76.24	c New solution: -44
76.17/76.24	o -44
76.17/76.24	c Elapsed CPU time: 75.3755 s	Remaining CPU time: 104.624 s
76.17/76.24	c ===============================================================================
76.17/76.24	c |    159927 |     500     7371    37607 |     5000    11169    458 | 86.350 % |
76.27/76.37	c |    160028 |     500     7371    37607 |     5500     5686    458 | 86.350 % |
76.38/76.44	c |    160179 |     500     7371    37607 |     6050     5837    458 | 86.350 % |
76.48/76.54	c |    160405 |     500     7371    37607 |     6655     6063    458 | 86.350 % |
76.68/76.72	c |    160743 |     500     7371    37607 |     7320     6401    458 | 86.350 % |
76.68/76.76	c ===============================================================================
76.68/76.76	c New solution: -45
76.68/76.76	o -45
76.68/76.76	c Elapsed CPU time: 75.8945 s	Remaining CPU time: 104.106 s
76.68/76.76	c ===============================================================================
76.68/76.76	c |    160839 |     500     7372    38107 |     5000     6497    458 | 86.350 % |
76.77/76.81	c |    160939 |     500     7372    38107 |     5500     6597    458 | 86.350 % |
76.77/76.87	c |    161089 |     500     7372    38107 |     6050     6747    458 | 86.350 % |
76.98/77.02	c |    161314 |     500     7372    38107 |     6655     6972    457 | 86.350 % |
77.17/77.29	c |    161652 |     500     7372    38107 |     7320     7310    457 | 86.350 % |
77.38/77.47	c |    162159 |     500     7372    38107 |     8052     7817    457 | 86.350 % |
77.78/77.87	c |    162920 |     500     7372    38107 |     8857     8578    457 | 86.350 % |
78.37/78.45	c |    164059 |     500     7372    38107 |     9743     9717    457 | 86.350 % |
79.18/79.25	c |    165769 |     500     7372    38107 |    10717    11427    457 | 86.350 % |
80.37/80.44	c |    168331 |     500     7372    38107 |    11789    13989    457 | 86.350 % |
82.57/82.61	c |    172176 |     500     7372    38107 |    12968    10132    456 | 86.350 % |
86.67/86.75	c |    177943 |     500     7372    38107 |    14265    15899    456 | 86.350 % |
91.17/91.25	c |    186593 |     500     7372    38107 |    15692    15608    456 | 86.350 % |
97.88/97.97	c |    199567 |     500     7372    38107 |    17261    18926    456 | 86.350 % |
107.57/107.64	c |    219028 |     500     7372    38107 |    18987    17505    456 | 86.350 % |
120.06/120.12	c |    248220 |     500     7372    38107 |    20886    10908    456 | 86.350 % |
140.46/140.58	c |    292011 |     500     7372    38107 |    22974    13473    456 | 86.350 % |
181.65/181.79	c There are 3163 assigned variables. 0 in cost function.
182.64/182.78	c core #1
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -499
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #2
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -498
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #3
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -497
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #4
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -496
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #5
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -495
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #6
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -494
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #7
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -493
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #8
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -492
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #9
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -491
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #10
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -490
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #11
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -489
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #12
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -488
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #13
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -487
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #14
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -486
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #15
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -485
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #16
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -484
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #17
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -483
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #18
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -482
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #19
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -481
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #20
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -480
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #21
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -479
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #22
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -478
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #23
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -477
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #24
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -476
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #25
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -475
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #26
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -474
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #27
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -473
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #28
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -472
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #29
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -471
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #30
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -470
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #31
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -469
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #32
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -468
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #33
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -467
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #34
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -466
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #35
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -465
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #36
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -464
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #37
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -463
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #38
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -462
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #39
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -461
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #40
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -460
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #41
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -459
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #42
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -458
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #43
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -457
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #44
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -456
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #45
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -455
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #46
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -454
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #47
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -453
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #48
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -452
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #49
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -451
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #50
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -450
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #51
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -449
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #52
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -448
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #53
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -447
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #54
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -446
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #55
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -445
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #56
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -444
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #57
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -443
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #58
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -442
182.64/182.78	c
182.64/182.78	c
182.64/182.78	c core #59
182.64/182.78	c 
182.64/182.78	c 
182.64/182.78	c Core size: 3	Core Weight: 1	Total Weight: -441
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #60
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -440
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #61
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -439
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #62
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -438
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #63
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -437
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #64
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -436
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #65
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -435
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #66
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -434
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #67
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -433
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #68
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -432
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #69
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -431
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #70
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -430
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #71
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -429
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #72
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -428
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #73
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -427
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #74
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -426
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #75
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -425
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #76
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -424
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #77
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -423
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #78
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -422
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #79
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -421
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #80
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -420
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #81
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -419
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #82
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -418
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #83
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -417
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #84
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -416
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #85
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -415
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #86
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -414
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #87
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -413
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #88
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -412
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #89
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -411
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #90
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -410
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #91
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -409
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #92
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -408
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #93
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -407
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #94
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -406
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #95
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -405
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #96
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -404
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #97
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -403
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #98
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -402
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #99
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -401
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #100
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -400
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #101
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -399
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #102
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -398
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #103
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -397
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #104
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -396
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #105
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -395
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #106
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -394
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #107
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -393
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #108
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -392
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #109
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -391
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #110
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -390
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #111
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -389
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #112
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -388
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #113
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -387
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #114
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -386
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #115
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -385
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #116
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -384
183.25/183.39	c
183.25/183.39	c
183.25/183.39	c core #117
183.25/183.39	c 
183.25/183.39	c 
183.25/183.39	c Core size: 3	Core Weight: 1	Total Weight: -383
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #118
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -382
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #119
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -381
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #120
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -380
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #121
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -379
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #122
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -378
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #123
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -377
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #124
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -376
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #125
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -375
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #126
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -374
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #127
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -373
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #128
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -372
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #129
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -371
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #130
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -370
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #131
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -369
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #132
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -368
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #133
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -367
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #134
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -366
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #135
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -365
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #136
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -364
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #137
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -363
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #138
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -362
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #139
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -361
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #140
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -360
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #141
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -359
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #142
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -358
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #143
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -357
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #144
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -356
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #145
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -355
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #146
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -354
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #147
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -353
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #148
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -352
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #149
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -351
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #150
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -350
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #151
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -349
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #152
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -348
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #153
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -347
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #154
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -346
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #155
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -345
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #156
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -344
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #157
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -343
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #158
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -342
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #159
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -341
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #160
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -340
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #161
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -339
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #162
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -338
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #163
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -337
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #164
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -336
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #165
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -335
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #166
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -334
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #167
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -333
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #168
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -332
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #169
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -331
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #170
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -330
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #171
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -329
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #172
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -328
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #173
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -327
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #174
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -326
183.95/184.07	c
183.95/184.07	c
183.95/184.07	c core #175
183.95/184.07	c 
183.95/184.07	c 
183.95/184.07	c Core size: 3	Core Weight: 1	Total Weight: -325
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #176
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -324
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #177
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -323
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #178
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -322
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #179
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -321
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #180
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -320
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #181
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -319
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #182
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -318
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #183
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -317
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #184
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -316
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #185
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -315
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #186
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -314
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #187
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -313
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #188
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -312
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #189
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -311
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #190
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -310
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #191
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -309
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #192
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -308
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #193
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -307
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #194
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -306
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #195
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -305
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #196
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -304
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #197
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -303
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #198
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -302
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #199
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -301
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #200
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -300
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #201
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -299
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #202
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -298
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #203
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -297
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #204
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -296
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #205
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -295
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #206
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -294
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #207
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -293
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #208
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -292
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #209
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -291
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #210
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -290
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #211
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -289
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #212
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -288
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #213
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -287
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #214
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -286
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #215
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -285
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #216
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -284
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #217
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -283
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #218
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -282
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #219
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -281
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #220
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -280
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #221
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -279
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #222
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -278
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #223
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -277
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #224
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -276
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #225
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -275
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #226
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -274
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #227
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -273
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #228
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -272
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #229
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -271
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #230
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -270
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #231
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 3	Core Weight: 1	Total Weight: -269
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #232
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 7	Core Weight: 1	Total Weight: -268
184.76/184.84	c
184.76/184.84	c
184.76/184.84	c core #233
184.76/184.84	c 
184.76/184.84	c 
184.76/184.84	c Core size: 7	Core Weight: 1	Total Weight: -267
185.25/185.35	c
185.25/185.35	c
185.25/185.35	c core #234
185.25/185.35	c 
185.25/185.35	c 
185.25/185.35	c Core size: 7	Core Weight: 1	Total Weight: -266
185.25/185.35	c
185.25/185.35	c
185.25/185.35	c core #235
185.25/185.35	c 
185.25/185.35	c 
185.25/185.35	c Core size: 7	Core Weight: 1	Total Weight: -265
185.25/185.35	c
185.25/185.35	c
185.25/185.35	c core #236
185.25/185.35	c 
185.25/185.35	c 
185.25/185.35	c Core size: 7	Core Weight: 1	Total Weight: -264
185.25/185.35	c
185.25/185.35	c
185.25/185.35	c core #237
185.25/185.35	c 
185.25/185.35	c 
185.25/185.35	c Core size: 7	Core Weight: 1	Total Weight: -263
185.25/185.35	c
185.25/185.35	c
185.25/185.35	c core #238
185.25/185.35	c 
185.25/185.35	c 
185.25/185.35	c Core size: 11	Core Weight: 1	Total Weight: -262
185.25/185.35	c
185.25/185.35	c
185.25/185.35	c core #239
185.25/185.35	c 
185.25/185.35	c 
185.25/185.35	c Core size: 7	Core Weight: 1	Total Weight: -261
185.25/185.35	c
185.25/185.35	c
185.25/185.35	c core #240
185.25/185.35	c 
185.25/185.35	c 
185.25/185.35	c Core size: 7	Core Weight: 1	Total Weight: -260
185.25/185.35	c
185.25/185.35	c
185.25/185.35	c core #241
185.25/185.35	c 
185.25/185.35	c 
185.25/185.35	c Core size: 7	Core Weight: 1	Total Weight: -259
185.25/185.35	c
185.25/185.35	c
185.25/185.35	c core #242
185.25/185.35	c 
185.25/185.35	c 
185.25/185.35	c Core size: 18	Core Weight: 1	Total Weight: -258
185.25/185.35	c
185.25/185.35	c
185.25/185.35	c core #243
185.25/185.35	c 
185.25/185.35	c 
185.25/185.35	c Core size: 7	Core Weight: 1	Total Weight: -257
185.25/185.35	c
185.25/185.35	c
185.25/185.35	c core #244
185.25/185.35	c 
185.25/185.35	c 
185.25/185.35	c Core size: 7	Core Weight: 1	Total Weight: -256
185.25/185.35	c
185.25/185.35	c
185.25/185.35	c core #245
185.25/185.35	c 
185.25/185.35	c 
185.25/185.35	c Core size: 7	Core Weight: 1	Total Weight: -255
185.25/185.35	c
185.25/185.35	c
185.25/185.35	c core #246
185.25/185.35	c 
185.25/185.35	c 
185.25/185.35	c Core size: 6	Core Weight: 1	Total Weight: -254
185.25/185.35	c
185.25/185.35	c
185.25/185.35	c core #247
185.25/185.35	c 
185.25/185.35	c 
185.25/185.35	c Core size: 7	Core Weight: 1	Total Weight: -253
185.25/185.35	c
185.25/185.35	c
185.25/185.35	c core #248
185.25/185.35	c 
185.25/185.35	c 
185.25/185.35	c Core size: 19	Core Weight: 1	Total Weight: -252
185.25/185.35	c
185.25/185.35	c
185.25/185.35	c core #249
185.25/185.35	c 
185.25/185.35	c 
185.25/185.35	c Core size: 18	Core Weight: 1	Total Weight: -251
185.25/185.35	c
185.25/185.35	c
185.25/185.35	c core #250
185.25/185.35	c 
185.25/185.35	c 
185.25/185.35	c Core size: 27	Core Weight: 1	Total Weight: -250
185.25/185.35	c
185.25/185.35	c
185.25/185.35	c core #251
185.25/185.35	c 
185.25/185.35	c 
185.25/185.35	c Core size: 18	Core Weight: 1	Total Weight: -249
185.25/185.35	c
185.25/185.35	c
185.25/185.35	c core #252
185.25/185.35	c 
185.25/185.35	c 
185.25/185.35	c Core size: 22	Core Weight: 1	Total Weight: -248
185.25/185.35	c
185.25/185.35	c
185.25/185.35	c core #253
185.25/185.35	c 
185.25/185.35	c 
185.25/185.35	c Core size: 14	Core Weight: 1	Total Weight: -247
185.25/185.35	c
185.25/185.35	c
185.25/185.35	c ============================[ Search Statistics ]==============================
185.25/185.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.25/185.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.25/185.35	c ===============================================================================
185.25/185.35	c |         0 |    1092     7125    31010 |     5000        0    nan |  0.000 % |
185.25/185.35	c ===============================================================================
185.25/185.38	c core #254
185.25/185.38	c 
185.25/185.38	c 
185.25/185.38	c Core size: 18	Core Weight: 1	Total Weight: -246
185.25/185.38	c
185.25/185.38	c
185.25/185.38	c ============================[ Search Statistics ]==============================
185.25/185.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.25/185.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.25/185.38	c ===============================================================================
185.25/185.38	c |         0 |    1104     7126    31034 |     5000        0    nan |  0.000 % |
185.25/185.39	c ===============================================================================
185.35/185.41	c core #255
185.35/185.41	c 
185.35/185.41	c 
185.35/185.41	c Core size: 25	Core Weight: 1	Total Weight: -245
185.35/185.41	c
185.35/185.41	c
185.35/185.41	c ============================[ Search Statistics ]==============================
185.35/185.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.35/185.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.35/185.41	c ===============================================================================
185.35/185.41	c |         0 |    1126     7127    31078 |     5000        0    nan |  0.000 % |
185.35/185.42	c ===============================================================================
185.35/185.44	c core #256
185.35/185.44	c 
185.35/185.44	c 
185.35/185.44	c Core size: 14	Core Weight: 1	Total Weight: -244
185.35/185.44	c
185.35/185.44	c
185.35/185.44	c ============================[ Search Statistics ]==============================
185.35/185.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.35/185.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.35/185.44	c ===============================================================================
185.35/185.44	c |         0 |    1134     7128    31094 |     5000        0    nan |  0.000 % |
185.35/185.45	c ===============================================================================
185.35/185.48	c core #257
185.35/185.48	c 
185.35/185.48	c 
185.35/185.48	c Core size: 12	Core Weight: 1	Total Weight: -243
185.35/185.48	c
185.35/185.48	c
185.35/185.48	c ============================[ Search Statistics ]==============================
185.35/185.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.35/185.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.35/185.48	c ===============================================================================
185.35/185.48	c |         0 |    1142     7129    31110 |     5000        0    nan |  0.000 % |
185.35/185.49	c ===============================================================================
185.45/185.51	c core #258
185.45/185.51	c 
185.45/185.51	c 
185.45/185.51	c Core size: 18	Core Weight: 1	Total Weight: -242
185.45/185.51	c
185.45/185.51	c
185.45/185.51	c ============================[ Search Statistics ]==============================
185.45/185.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.45/185.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.45/185.51	c ===============================================================================
185.45/185.51	c |         0 |    1154     7130    31134 |     5000        0    nan |  0.000 % |
185.45/185.52	c ===============================================================================
185.45/185.55	c core #259
185.45/185.55	c 
185.45/185.55	c 
185.45/185.55	c Core size: 16	Core Weight: 1	Total Weight: -241
185.45/185.55	c
185.45/185.55	c
185.45/185.55	c ============================[ Search Statistics ]==============================
185.45/185.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.45/185.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.45/185.55	c ===============================================================================
185.45/185.55	c |         0 |    1164     7131    31154 |     5000        0    nan |  0.000 % |
185.45/185.56	c ===============================================================================
185.45/185.59	c core #260
185.45/185.59	c 
185.45/185.59	c 
185.45/185.59	c Core size: 20	Core Weight: 1	Total Weight: -240
185.45/185.59	c
185.45/185.59	c
185.45/185.59	c ============================[ Search Statistics ]==============================
185.45/185.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.45/185.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.45/185.59	c ===============================================================================
185.45/185.59	c |         0 |    1176     7132    31178 |     5000        0    nan |  0.000 % |
185.45/185.59	c ===============================================================================
185.55/185.62	c core #261
185.55/185.62	c 
185.55/185.62	c 
185.55/185.62	c Core size: 16	Core Weight: 1	Total Weight: -239
185.55/185.62	c
185.55/185.62	c
185.55/185.62	c ============================[ Search Statistics ]==============================
185.55/185.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.55/185.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.55/185.62	c ===============================================================================
185.55/185.62	c |         0 |    1186     7133    31198 |     5000        0    nan |  0.000 % |
185.55/185.63	c ===============================================================================
185.55/185.66	c core #262
185.55/185.66	c 
185.55/185.66	c 
185.55/185.66	c Core size: 26	Core Weight: 1	Total Weight: -238
185.55/185.66	c
185.55/185.66	c
185.55/185.66	c ============================[ Search Statistics ]==============================
185.55/185.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.55/185.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.55/185.66	c ===============================================================================
185.55/185.66	c |         0 |    1202     7134    31230 |     5000        0    nan |  0.000 % |
185.55/185.66	c ===============================================================================
185.55/185.69	c core #263
185.55/185.69	c 
185.55/185.69	c 
185.55/185.69	c Core size: 18	Core Weight: 1	Total Weight: -237
185.55/185.69	c
185.55/185.69	c
185.55/185.69	c ============================[ Search Statistics ]==============================
185.55/185.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.55/185.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.55/185.69	c ===============================================================================
185.55/185.69	c |         0 |    1214     7135    31254 |     5000        0    nan |  0.000 % |
185.55/185.69	c ===============================================================================
185.65/185.72	c core #264
185.65/185.72	c 
185.65/185.72	c 
185.65/185.72	c Core size: 24	Core Weight: 1	Total Weight: -236
185.65/185.72	c
185.65/185.72	c
185.65/185.72	c ============================[ Search Statistics ]==============================
185.65/185.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.65/185.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.65/185.72	c ===============================================================================
185.65/185.72	c |         0 |    1228     7136    31282 |     5000        0    nan |  0.000 % |
185.65/185.73	c ===============================================================================
185.65/185.75	c core #265
185.65/185.75	c 
185.65/185.75	c 
185.65/185.75	c Core size: 16	Core Weight: 1	Total Weight: -235
185.65/185.75	c
185.65/185.75	c
185.65/185.75	c ============================[ Search Statistics ]==============================
185.65/185.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.65/185.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.65/185.75	c ===============================================================================
185.65/185.75	c |         0 |    1238     7137    31302 |     5000        0    nan |  0.000 % |
185.65/185.75	c ===============================================================================
185.65/185.78	c core #266
185.65/185.78	c 
185.65/185.78	c 
185.65/185.78	c Core size: 16	Core Weight: 1	Total Weight: -234
185.65/185.78	c
185.65/185.78	c
185.65/185.78	c ============================[ Search Statistics ]==============================
185.65/185.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.65/185.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.65/185.78	c ===============================================================================
185.65/185.78	c |         0 |    1248     7138    31322 |     5000        0    nan |  0.000 % |
185.65/185.79	c ===============================================================================
185.76/185.81	c core #267
185.76/185.81	c 
185.76/185.81	c 
185.76/185.81	c Core size: 14	Core Weight: 1	Total Weight: -233
185.76/185.81	c
185.76/185.81	c
185.76/185.81	c ============================[ Search Statistics ]==============================
185.76/185.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.76/185.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.76/185.81	c ===============================================================================
185.76/185.81	c |         0 |    1256     7139    31338 |     5000        0    nan |  0.000 % |
185.76/185.82	c ===============================================================================
185.76/185.84	c core #268
185.76/185.84	c 
185.76/185.84	c 
185.76/185.84	c Core size: 18	Core Weight: 1	Total Weight: -232
185.76/185.84	c
185.76/185.84	c
185.76/185.84	c ============================[ Search Statistics ]==============================
185.76/185.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.76/185.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.76/185.84	c ===============================================================================
185.76/185.84	c |         0 |    1266     7140    31358 |     5000        0    nan |  0.000 % |
185.76/185.85	c ===============================================================================
185.76/185.88	c core #269
185.76/185.88	c 
185.76/185.88	c 
185.76/185.88	c Core size: 24	Core Weight: 1	Total Weight: -231
185.76/185.88	c
185.76/185.88	c
185.76/185.88	c ============================[ Search Statistics ]==============================
185.76/185.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.76/185.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.76/185.88	c ===============================================================================
185.76/185.88	c |         0 |    1282     7141    31390 |     5000        0    nan |  0.000 % |
185.76/185.88	c ===============================================================================
185.86/185.91	c core #270
185.86/185.91	c 
185.86/185.91	c 
185.86/185.91	c Core size: 18	Core Weight: 1	Total Weight: -230
185.86/185.91	c
185.86/185.91	c
185.86/185.91	c ============================[ Search Statistics ]==============================
185.86/185.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.86/185.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.86/185.91	c ===============================================================================
185.86/185.91	c |         0 |    1292     7142    31410 |     5000        0    nan |  0.000 % |
185.86/185.91	c ===============================================================================
185.86/185.94	c core #271
185.86/185.94	c 
185.86/185.94	c 
185.86/185.94	c Core size: 14	Core Weight: 1	Total Weight: -229
185.86/185.94	c
185.86/185.94	c
185.86/185.94	c ============================[ Search Statistics ]==============================
185.86/185.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.86/185.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.86/185.94	c ===============================================================================
185.86/185.94	c |         0 |    1300     7143    31426 |     5000        0    nan |  0.000 % |
185.86/185.95	c ===============================================================================
185.86/185.97	c core #272
185.86/185.97	c 
185.86/185.97	c 
185.86/185.97	c Core size: 14	Core Weight: 1	Total Weight: -228
185.86/185.97	c
185.86/185.97	c
185.86/185.97	c ============================[ Search Statistics ]==============================
185.86/185.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.86/185.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.86/185.97	c ===============================================================================
185.86/185.97	c |         0 |    1308     7144    31442 |     5000        0    nan |  0.000 % |
185.86/185.98	c ===============================================================================
185.95/186.01	c core #273
185.95/186.01	c 
185.95/186.01	c 
185.95/186.01	c Core size: 22	Core Weight: 1	Total Weight: -227
185.95/186.01	c
185.95/186.01	c
185.95/186.01	c ============================[ Search Statistics ]==============================
185.95/186.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.95/186.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.95/186.01	c ===============================================================================
185.95/186.01	c |         0 |    1322     7145    31470 |     5000        0    nan |  0.000 % |
185.95/186.02	c ===============================================================================
185.95/186.05	c core #274
185.95/186.05	c 
185.95/186.05	c 
185.95/186.05	c Core size: 39	Core Weight: 1	Total Weight: -226
185.95/186.05	c
185.95/186.05	c
185.95/186.05	c ============================[ Search Statistics ]==============================
185.95/186.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.95/186.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.95/186.05	c ===============================================================================
185.95/186.05	c |         0 |    1354     7146    31534 |     5000        0    nan |  0.000 % |
185.95/186.05	c ===============================================================================
185.95/186.08	c core #275
185.95/186.08	c 
185.95/186.08	c 
185.95/186.08	c Core size: 17	Core Weight: 1	Total Weight: -225
185.95/186.08	c
185.95/186.08	c
185.95/186.08	c ============================[ Search Statistics ]==============================
185.95/186.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.95/186.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.95/186.08	c ===============================================================================
185.95/186.08	c |         0 |    1366     7147    31558 |     5000        0    nan |  0.000 % |
185.95/186.09	c ===============================================================================
186.05/186.12	c core #276
186.05/186.12	c 
186.05/186.12	c 
186.05/186.12	c Core size: 20	Core Weight: 1	Total Weight: -224
186.05/186.12	c
186.05/186.12	c
186.05/186.12	c ============================[ Search Statistics ]==============================
186.05/186.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.05/186.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.05/186.12	c ===============================================================================
186.05/186.12	c |         0 |    1378     7148    31582 |     5000        0    nan |  0.000 % |
186.05/186.13	c ===============================================================================
186.05/186.15	c core #277
186.05/186.15	c 
186.05/186.15	c 
186.05/186.15	c Core size: 28	Core Weight: 1	Total Weight: -223
186.05/186.15	c
186.05/186.15	c
186.05/186.15	c ============================[ Search Statistics ]==============================
186.05/186.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.05/186.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.05/186.15	c ===============================================================================
186.05/186.15	c |         0 |    1394     7149    31614 |     5000        0    nan |  0.000 % |
186.05/186.16	c ===============================================================================
186.05/186.19	c core #278
186.05/186.19	c 
186.05/186.19	c 
186.05/186.19	c Core size: 28	Core Weight: 1	Total Weight: -222
186.05/186.19	c
186.05/186.19	c
186.05/186.19	c ============================[ Search Statistics ]==============================
186.05/186.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.05/186.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.05/186.19	c ===============================================================================
186.05/186.19	c |         0 |    1412     7150    31650 |     5000        0    nan |  0.000 % |
186.05/186.20	c ===============================================================================
186.15/186.22	c core #279
186.15/186.22	c 
186.15/186.22	c 
186.15/186.22	c Core size: 23	Core Weight: 1	Total Weight: -221
186.15/186.22	c
186.15/186.22	c
186.15/186.22	c ============================[ Search Statistics ]==============================
186.15/186.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.15/186.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.15/186.22	c ===============================================================================
186.15/186.22	c |         0 |    1425     7151    31676 |     5000        0    nan |  0.000 % |
186.15/186.23	c ===============================================================================
186.15/186.26	c core #280
186.15/186.26	c 
186.15/186.26	c 
186.15/186.26	c Core size: 31	Core Weight: 1	Total Weight: -220
186.15/186.26	c
186.15/186.26	c
186.15/186.26	c ============================[ Search Statistics ]==============================
186.15/186.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.15/186.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.15/186.26	c ===============================================================================
186.15/186.26	c |         0 |    1450     7152    31726 |     5000        0    nan |  0.000 % |
186.15/186.27	c ===============================================================================
186.25/186.30	c core #281
186.25/186.30	c 
186.25/186.30	c 
186.25/186.30	c Core size: 45	Core Weight: 1	Total Weight: -219
186.25/186.30	c
186.25/186.30	c
186.25/186.30	c ============================[ Search Statistics ]==============================
186.25/186.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.25/186.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.25/186.30	c ===============================================================================
186.25/186.30	c |         0 |    1477     7153    31780 |     5000        0    nan |  0.000 % |
186.25/186.33	c ===============================================================================
186.25/186.36	c core #282
186.25/186.36	c 
186.25/186.36	c 
186.25/186.36	c Core size: 59	Core Weight: 1	Total Weight: -218
186.25/186.36	c
186.25/186.36	c
186.25/186.36	c ============================[ Search Statistics ]==============================
186.25/186.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.25/186.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.25/186.36	c ===============================================================================
186.25/186.36	c |         0 |    1530     7154    31886 |     5000        0    nan |  0.000 % |
186.35/186.41	c |       100 |    1530     7154    31886 |     5500      100      8 | 67.398 % |
186.35/186.43	c ===============================================================================
186.35/186.46	c core #283
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 98	Core Weight: 1	Total Weight: -217
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c ============================[ Search Statistics ]==============================
186.35/186.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.35/186.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.35/186.46	c ===============================================================================
186.35/186.46	c |         0 |    1621     7155    32068 |     5000        0    nan |  0.000 % |
186.45/186.52	c |       103 |    1621     7155    32068 |     5500      103     18 | 66.116 % |
186.54/186.60	c |       253 |    1621     7155    32068 |     6050      253     17 | 66.116 % |
186.54/186.69	c |       478 |    1621     7155    32068 |     6655      478     13 | 66.116 % |
186.74/186.86	c |       817 |    1621     7155    32068 |     7320      817     14 | 66.116 % |
186.74/186.89	c ===============================================================================
186.85/186.92	c core #284
186.85/186.92	c 
186.85/186.92	c 
186.85/186.92	c Core size: 120	Core Weight: 1	Total Weight: -216
186.85/186.92	c
186.85/186.92	c
186.85/186.92	c ============================[ Search Statistics ]==============================
186.85/186.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.85/186.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.85/186.92	c ===============================================================================
186.85/186.92	c |         0 |    1733     7156    32292 |     5000        0    nan |  0.000 % |
186.85/186.98	c |       100 |    1733     7156    32292 |     5500      100     11 | 64.604 % |
186.95/187.05	c |       252 |    1731     7156    32292 |     6050      252      9 | 64.890 % |
186.95/187.08	c ===============================================================================
187.04/187.11	c core #285
187.04/187.11	c 
187.04/187.11	c 
187.04/187.11	c Core size: 78	Core Weight: 1	Total Weight: -215
187.04/187.11	c
187.04/187.11	c
187.04/187.11	c ============================[ Search Statistics ]==============================
187.04/187.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.04/187.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.04/187.11	c ===============================================================================
187.04/187.11	c |         0 |    1806     7157    32438 |     5000        0    nan |  0.000 % |
187.04/187.17	c |       100 |    1806     7157    32438 |     5500      100     48 | 63.655 % |
187.14/187.24	c |       251 |    1806     7157    32438 |     6050      251     29 | 63.655 % |
187.25/187.36	c |       477 |    1806     7157    32438 |     6655      477     23 | 63.655 % |
187.45/187.52	c |       814 |    1806     7157    32438 |     7320      814     25 | 63.655 % |
187.65/187.78	c |      1321 |    1806     7157    32438 |     8052     1321     24 | 63.655 % |
188.15/188.24	c |      2085 |    1806     7157    32438 |     8857     2085     27 | 63.655 % |
188.84/188.94	c |      3228 |    1806     7157    32438 |     9743     3228     27 | 63.655 % |
188.94/189.00	c ===============================================================================
188.94/189.07	c core #286
188.94/189.07	c 
188.94/189.07	c 
188.94/189.07	c Core size: 160	Core Weight: 1	Total Weight: -214
188.94/189.07	c
188.94/189.07	c
188.94/189.07	c ============================[ Search Statistics ]==============================
188.94/189.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.94/189.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.94/189.07	c ===============================================================================
188.94/189.07	c |         0 |    1962     7158    32750 |     5000        0    nan |  0.000 % |
189.05/189.13	c |       103 |    1962     7158    32750 |     5500      103     43 | 61.717 % |
189.05/189.20	c |       254 |    1962     7158    32750 |     6050      254     32 | 61.717 % |
189.15/189.29	c |       479 |    1962     7158    32750 |     6655      479     26 | 61.717 % |
189.35/189.42	c |       818 |    1962     7158    32750 |     7320      818     24 | 61.717 % |
189.54/189.69	c |      1324 |    1962     7158    32750 |     8052     1324     28 | 61.717 % |
189.95/190.08	c |      2083 |    1962     7158    32750 |     8857     2083     30 | 61.717 % |
190.65/190.73	c |      3222 |    1931     7158    32750 |     9743     1329     20 | 62.322 % |
190.74/190.86	c ===============================================================================
190.84/190.93	c core #287
190.84/190.93	c 
190.84/190.93	c 
190.84/190.93	c Core size: 196	Core Weight: 1	Total Weight: -213
190.84/190.93	c
190.84/190.93	c
190.84/190.93	c ============================[ Search Statistics ]==============================
190.84/190.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.84/190.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.84/190.93	c ===============================================================================
190.84/190.93	c |         0 |    2144     7159    33114 |     5000        0    nan |  0.000 % |
190.84/190.99	c |       100 |    2144     7159    33114 |     5500      100     34 | 59.601 % |
190.94/191.03	c |       253 |    2144     7159    33114 |     6050      253     37 | 59.601 % |
191.04/191.13	c |       478 |    2144     7159    33114 |     6655      478     50 | 59.601 % |
191.25/191.31	c |       815 |    2144     7159    33114 |     7320      815     53 | 59.601 % |
191.45/191.54	c |      1321 |    2144     7159    33114 |     8052     1321     48 | 59.601 % |
191.74/191.89	c |      2080 |    2144     7159    33114 |     8857     2080     46 | 59.601 % |
192.36/192.44	c |      3221 |    2144     7159    33114 |     9743     3221     46 | 59.601 % |
193.35/193.45	c |      4929 |    2144     7159    33114 |    10717     4929     48 | 59.601 % |
195.05/195.15	c |      7493 |    2144     7159    33114 |    11789     7493     50 | 59.601 % |
198.15/198.27	c |     11339 |    2144     7159    33114 |    12968    11339     51 | 59.601 % |
204.24/204.38	c |     17106 |    2133     7159    33114 |    14265     8909     50 | 59.808 % |
206.14/206.23	c ===============================================================================
206.44/206.57	c core #288
206.44/206.57	c 
206.44/206.57	c 
206.44/206.57	c Core size: 223	Core Weight: 1	Total Weight: -212
206.44/206.57	c
206.44/206.57	c
206.44/206.57	c ============================[ Search Statistics ]==============================
206.44/206.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
206.44/206.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
206.44/206.57	c ===============================================================================
206.44/206.57	c |         0 |    2366     7160    33558 |     5000        0    nan |  0.000 % |
206.54/206.62	c |       100 |    2366     7160    33558 |     5500      100     37 | 57.207 % |
206.54/206.67	c |       250 |    2366     7160    33558 |     6050      250     25 | 57.207 % |
206.65/206.71	c |       477 |    2366     7160    33558 |     6655      477     27 | 57.207 % |
206.65/206.80	c |       814 |    2366     7160    33558 |     7320      814     26 | 57.207 % |
206.75/206.88	c |      1321 |    2366     7160    33558 |     8052     1321     35 | 57.207 % |
207.04/207.14	c |      2082 |    2366     7160    33558 |     8857     2082     31 | 57.207 % |
207.24/207.37	c |      3221 |    2366     7160    33558 |     9743     3221     33 | 57.207 % |
208.04/208.15	c |      4929 |    2366     7160    33558 |    10717     4929     35 | 57.207 % |
209.24/209.32	c |      7491 |    2366     7160    33558 |    11789     7491     36 | 57.207 % |
211.84/211.98	c |     11335 |    2366     7160    33558 |    12968    11335     47 | 57.207 % |
216.24/216.36	c |     17103 |    2366     7160    33558 |    14265     8946     56 | 57.207 % |
224.54/224.68	c |     25754 |    2366     7160    33558 |    15692    17597     59 | 57.207 % |
238.93/239.04	c |     38729 |    2366     7160    33558 |    17261    11558     60 | 57.207 % |
259.44/259.57	c |     58191 |    2366     7160    33558 |    18987    10468     58 | 57.207 % |
298.42/298.53	c |     87383 |    2366     7160    33558 |    20886    17294     66 | 57.207 % |
312.62/312.75	c ===============================================================================
315.22/315.36	c core #289
315.22/315.36	c 
315.22/315.36	c 
315.22/315.36	c Core size: 279	Core Weight: 1	Total Weight: -211
315.22/315.36	c
315.22/315.36	c
315.22/315.36	c ============================[ Search Statistics ]==============================
315.22/315.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
315.22/315.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
315.22/315.36	c ===============================================================================
315.22/315.36	c |         0 |    2629     7161    34084 |     5000        0    nan |  0.000 % |
315.32/315.48	c |       100 |    2629     7161    34084 |     5500      100     49 | 54.610 % |
315.42/315.52	c |       250 |    2629     7161    34084 |     6050      250     31 | 54.610 % |
315.53/315.64	c |       476 |    2629     7161    34084 |     6655      476     38 | 54.610 % |
315.63/315.77	c |       813 |    2629     7161    34084 |     7320      813     37 | 54.610 % |
315.92/316.03	c |      1319 |    2629     7161    34084 |     8052     1319     47 | 54.610 % |
316.31/316.44	c |      2082 |    2629     7161    34084 |     8857     2082     46 | 54.610 % |
317.12/317.24	c |      3221 |    2629     7161    34084 |     9743     3221     63 | 54.610 % |
318.22/318.36	c |      4931 |    2629     7161    34084 |    10717     4931     75 | 54.610 % |
320.31/320.48	c |      7495 |    2629     7161    34084 |    11789     7495     82 | 54.610 % |
323.23/323.31	c |     11343 |    2629     7161    34084 |    12968    11343     88 | 54.610 % |
328.62/328.78	c |     17109 |    2629     7161    34084 |    14265     8947     92 | 54.610 % |
339.41/339.50	c |     25759 |    2629     7161    34084 |    15692    17597    101 | 54.610 % |
357.32/357.44	c |     38733 |    2629     7161    34084 |    17261    11362    105 | 54.610 % |
383.60/383.73	c |     58194 |    2629     7161    34084 |    18987    20439    120 | 54.610 % |
417.99/418.17	c |     87387 |    2629     7161    34084 |    20886    16067    107 | 54.610 % |
475.58/475.79	c |    131176 |    2629     7161    34084 |    22974    23394    106 | 54.610 % |
558.36/558.51	c |    196860 |    2629     7161    34084 |    25272    22964    114 | 54.610 % |
698.33/698.51	c |    295387 |    2629     7161    34084 |    27799    17439    125 | 54.610 % |
920.05/920.31	c |    443178 |    2629     7161    34084 |    30579    24999    150 | 54.610 % |
1285.77/1286.17	c |    664863 |    2628     7161    34084 |    33637    27614    141 | 54.627 % |
1532.21/1532.69	c ===============================================================================
1554.31/1554.76	c core #290
1554.31/1554.76	c 
1554.31/1554.76	c 
1554.31/1554.76	c Core size: 227	Core Weight: 1	Total Weight: -210
1554.31/1554.76	c
1554.31/1554.76	c
1554.31/1554.76	c ============================[ Search Statistics ]==============================
1554.31/1554.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1554.31/1554.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1554.31/1554.76	c ===============================================================================
1554.31/1554.76	c |         0 |    2852     7162    34530 |     5000        0    nan |  0.000 % |
1554.60/1555.06	c |       100 |    2852     7162    34530 |     5500      100    164 | 52.585 % |
1554.70/1555.12	c |       251 |    2852     7162    34530 |     6050      251     80 | 52.585 % |
1554.81/1555.21	c |       478 |    2852     7162    34530 |     6655      478     72 | 52.585 % |
1554.91/1555.39	c |       815 |    2852     7162    34530 |     7320      815     68 | 52.585 % |
1555.30/1555.71	c |      1322 |    2852     7162    34530 |     8052     1322     72 | 52.585 % |
1555.70/1556.12	c |      2082 |    2852     7162    34530 |     8857     2082     67 | 52.585 % |
1556.40/1556.89	c |      3221 |    2852     7162    34530 |     9743     3221     80 | 52.585 % |
1557.80/1558.23	c |      4931 |    2852     7162    34530 |    10717     4931     95 | 52.585 % |
1560.30/1560.76	c |      7494 |    2852     7162    34530 |    11789     7494    107 | 52.585 % |
1564.31/1564.71	c |     11338 |    2852     7162    34530 |    12968    11338    117 | 52.585 % |
1568.90/1569.30	c |     17109 |    2852     7162    34530 |    14265     8953    108 | 52.585 % |
1576.30/1576.70	c |     25758 |    2852     7162    34530 |    15692    17602    111 | 52.585 % |
1587.80/1588.20	c |     38732 |    2852     7162    34530 |    17261    11514     79 | 52.585 % |
1610.49/1610.97	c |     58194 |    2852     7162    34530 |    18987    10379     87 | 52.585 % |
1643.08/1643.56	c |     87387 |    2852     7162    34530 |    20886    17261     81 | 52.585 % |
1701.77/1702.28	c |    131191 |    2852     7162    34530 |    22974    12340     94 | 52.585 % |

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

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


[startup+0 s]
/proc/loadavg: 0.92 1.00 0.99 3/106 31030
/proc/meminfo: memFree=1758236/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=3264 CPUtime=0
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 383 0 0 0 0 0 0 0 15 0 1 0 25019851 3342336 302 1992294400 134512640 135752675 4294880224 18446744073709551615 134564908 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 816 302 136 303 0 444 0

[startup+0.023201 s]
/proc/loadavg: 0.92 1.00 0.99 3/106 31030
/proc/meminfo: memFree=1758236/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=3684 CPUtime=0.02
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 501 0 0 0 2 0 0 0 17 0 1 0 25019851 3772416 420 1992294400 134512640 135752675 4294880224 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 921 421 158 303 0 549 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3684

[startup+0.101209 s]
/proc/loadavg: 0.92 1.00 0.99 3/106 31030
/proc/meminfo: memFree=1758236/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=4536 CPUtime=0.09
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 833 0 0 0 9 0 0 0 17 0 1 0 25019851 4644864 685 1992294400 134512640 135752675 4294880224 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 1134 685 144 303 0 829 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4536

[startup+0.301226 s]
/proc/loadavg: 0.92 1.00 0.99 3/106 31030
/proc/meminfo: memFree=1758236/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=6072 CPUtime=0.29
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 1219 0 0 0 27 2 0 0 17 0 1 0 25019851 6217728 1071 1992294400 134512640 135752675 4294880224 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 1518 1072 145 303 0 1213 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6072

[startup+0.70126 s]
/proc/loadavg: 0.92 1.00 0.99 3/106 31030
/proc/meminfo: memFree=1758236/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=9424 CPUtime=0.69
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 2046 0 0 0 66 3 0 0 17 0 1 0 25019851 9650176 1898 1992294400 134512640 135752675 4294880224 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 2356 1898 145 303 0 2051 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9424

[startup+1.50033 s]
/proc/loadavg: 0.92 1.00 0.99 2/107 31031
/proc/meminfo: memFree=1748928/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=15348 CPUtime=1.49
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 3542 0 0 0 144 5 0 0 18 0 1 0 25019851 15716352 3394 1992294400 134512640 135752675 4294880224 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 3837 3394 145 303 0 3532 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15348

[startup+3.10047 s]
/proc/loadavg: 0.92 1.00 0.99 2/107 31031
/proc/meminfo: memFree=1740992/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=26272 CPUtime=3.09
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 6277 0 0 0 302 7 0 0 21 0 1 0 25019851 26902528 6129 1992294400 134512640 135752675 4294880224 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 6568 6129 145 303 0 6263 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26272

[startup+6.30075 s]
/proc/loadavg: 0.93 1.00 0.99 2/107 31031
/proc/meminfo: memFree=1721524/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=42188 CPUtime=6.29
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 10248 0 0 0 617 12 0 0 25 0 1 0 25019851 43200512 10100 1992294400 134512640 135752675 4294880224 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 10547 10100 145 303 0 10242 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42188

[startup+12.7013 s]
/proc/loadavg: 0.93 1.00 0.99 2/107 31031
/proc/meminfo: memFree=1703048/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=59260 CPUtime=12.69
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 14501 0 0 0 1250 19 0 0 25 0 1 0 25019851 60682240 14353 1992294400 134512640 135752675 4294880224 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 14815 14353 145 303 0 14510 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59260

[startup+25.5014 s]
/proc/loadavg: 0.95 1.00 0.99 2/107 31031
/proc/meminfo: memFree=1641792/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=120052 CPUtime=25.49
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 29720 0 0 0 2513 36 0 0 25 0 1 0 25019851 122933248 29572 1992294400 134512640 135752675 4294880224 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 30013 29573 145 303 0 29708 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 120052

[startup+51.1016 s]
/proc/loadavg: 0.96 1.00 0.99 2/107 31033
/proc/meminfo: memFree=1524116/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=238256 CPUtime=51.08
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 59229 0 0 0 5043 65 0 0 25 0 1 0 25019851 243974144 59081 1992294400 134512640 135752675 4294880224 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 59564 59081 145 303 0 59259 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 238256

[startup+102.309 s]
/proc/loadavg: 0.98 1.00 0.99 2/107 31033
/proc/meminfo: memFree=1357336/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=402676 CPUtime=102.27
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 100320 0 0 0 10122 105 0 0 25 0 1 0 25019851 412340224 100172 1992294400 134512640 135752675 4294880224 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 100669 100172 145 303 0 100364 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 402676

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31035
/proc/meminfo: memFree=1147652/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=613348 CPUtime=162.25
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 152943 0 0 0 16067 158 0 0 25 0 1 0 25019851 628068352 152795 1992294400 134512640 135752675 4294880224 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 153337 152795 145 303 0 153032 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 613348

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31037
/proc/meminfo: memFree=1076352/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=682288 CPUtime=222.24
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 170291 0 0 0 22030 194 0 0 25 0 1 0 25019851 698662912 170143 1992294400 134512640 135752675 4294880224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 170572 170143 146 303 0 170267 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 682288

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31039
/proc/meminfo: memFree=1058372/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=700596 CPUtime=282.23
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 174842 0 0 0 28001 222 0 0 25 0 1 0 25019851 717410304 174694 1992294400 134512640 135752675 4294880224 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 175149 174694 146 303 0 174844 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 700596

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31041
/proc/meminfo: memFree=1044980/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=713688 CPUtime=342.21
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 178113 0 0 0 33973 248 0 0 25 0 1 0 25019851 730816512 177965 1992294400 134512640 135752675 4294880224 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 178422 177965 146 303 0 178117 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 713688

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31041
/proc/meminfo: memFree=1020800/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=738072 CPUtime=402.19
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 184213 0 0 0 39947 272 0 0 25 0 1 0 25019851 755785728 184065 1992294400 134512640 135752675 4294880224 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 184518 184065 146 303 0 184213 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 738072

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31043
/proc/meminfo: memFree=996000/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=762584 CPUtime=462.18
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 190312 0 0 0 45918 300 0 0 25 0 1 0 25019851 780886016 190164 1992294400 134512640 135752675 4294880224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 190646 190164 146 303 0 190341 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 762584

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31045
/proc/meminfo: memFree=971076/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=787676 CPUtime=522.17
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 196575 0 0 0 51889 328 0 0 25 0 1 0 25019851 806580224 196427 1992294400 134512640 135752675 4294880224 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 196919 196427 146 303 0 196614 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 787676

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31047
/proc/meminfo: memFree=947268/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=811372 CPUtime=582.15
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 202492 0 0 0 57862 353 0 0 25 0 1 0 25019851 830844928 202344 1992294400 134512640 135752675 4294880224 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 202843 202344 146 303 0 202538 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 811372

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31049
/proc/meminfo: memFree=921352/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=836932 CPUtime=642.14
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 208880 0 0 0 63835 379 0 0 25 0 1 0 25019851 857018368 208732 1992294400 134512640 135752675 4294880224 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 209233 208732 146 303 0 208928 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 836932

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31064
/proc/meminfo: memFree=801320/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=956752 CPUtime=882.07
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 238784 0 0 0 87731 476 0 0 25 0 1 0 25019851 979714048 238636 1992294400 134512640 135752675 4294880224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 239188 238636 146 303 0 238883 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 956752

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31066
/proc/meminfo: memFree=776644/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=981708 CPUtime=942.05
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 245013 0 0 0 93705 500 0 0 25 0 1 0 25019851 1005268992 244865 1992294400 134512640 135752675 4294880224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 245427 244865 146 303 0 245122 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 981708

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31066
/proc/meminfo: memFree=745520/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=1012500 CPUtime=1002.04
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 252689 0 0 0 99681 523 0 0 25 0 1 0 25019851 1036800000 252541 1992294400 134512640 135752675 4294880224 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 253125 252541 146 303 0 252820 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1012500

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31068
/proc/meminfo: memFree=716752/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=1041728 CPUtime=1062.02
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 259947 0 0 0 105657 545 0 0 25 0 1 0 25019851 1066729472 259799 1992294400 134512640 135752675 4294880224 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 260432 259799 146 303 0 260127 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1041728

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31070
/proc/meminfo: memFree=691084/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=1066960 CPUtime=1122.01
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 266254 0 0 0 111633 568 0 0 25 0 1 0 25019851 1092567040 266106 1992294400 134512640 135752675 4294880224 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 266740 266106 146 303 0 266435 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1066960

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31072
/proc/meminfo: memFree=663928/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=1094692 CPUtime=1181.99
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 273165 0 0 0 117607 592 0 0 25 0 1 0 25019851 1120964608 273017 1992294400 134512640 135752675 4294880224 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 273673 273017 146 303 0 273368 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1094692

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31074
/proc/meminfo: memFree=634416/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=1123652 CPUtime=1241.98
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 280405 0 0 0 123585 613 0 0 25 0 1 0 25019851 1150619648 280257 1992294400 134512640 135752675 4294880224 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 280913 280257 146 303 0 280608 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1123652

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31074
/proc/meminfo: memFree=613212/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=1144580 CPUtime=1301.97
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 285597 0 0 0 129567 630 0 0 25 0 1 0 25019851 1172049920 285449 1992294400 134512640 135752675 4294880224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 286145 285449 146 303 0 285840 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1144580

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31076
/proc/meminfo: memFree=591388/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=1166592 CPUtime=1361.95
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 291120 0 0 0 135546 649 0 0 25 0 1 0 25019851 1194590208 290972 1992294400 134512640 135752675 4294880224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 291648 290972 146 303 0 291343 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1166592

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31078
/proc/meminfo: memFree=567084/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=1190704 CPUtime=1421.95
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 297128 0 0 0 141524 671 0 0 25 0 1 0 25019851 1219280896 296980 1992294400 134512640 135752675 4294880224 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 297676 296980 146 303 0 297371 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1190704

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31080
/proc/meminfo: memFree=543648/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=1214448 CPUtime=1481.92
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 303055 0 0 0 147500 692 0 0 25 0 1 0 25019851 1243594752 302907 1992294400 134512640 135752675 4294880224 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 303612 302907 146 303 0 303307 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1214448

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31082
/proc/meminfo: memFree=505952/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=1252160 CPUtime=1541.9
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 312460 0 0 0 153477 713 0 0 25 0 1 0 25019851 1282211840 312312 1992294400 134512640 135752675 4294880224 18446744073709551615 134516330 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 313040 312312 146 303 0 312735 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1252160

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31082
/proc/meminfo: memFree=501364/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=1255532 CPUtime=1601.89
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 313550 0 0 0 159451 738 0 0 25 0 1 0 25019851 1285664768 313331 1992294400 134512640 135752675 4294880224 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 313883 313331 146 303 0 313578 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1255532

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31084
/proc/meminfo: memFree=500992/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=1255532 CPUtime=1661.87
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 313659 0 0 0 165429 758 0 0 25 0 1 0 25019851 1285664768 313440 1992294400 134512640 135752675 4294880224 18446744073709551615 134605284 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 313883 313440 146 303 0 313578 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1255532

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31086
/proc/meminfo: memFree=500744/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=1255532 CPUtime=1721.86
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 313676 0 0 0 171409 777 0 0 25 0 1 0 25019851 1285664768 313457 1992294400 134512640 135752675 4294880224 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 313883 313457 146 303 0 313578 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1255532

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31088
/proc/meminfo: memFree=491940/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=1264228 CPUtime=1781.85
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 315830 0 0 0 177391 794 0 0 25 0 1 0 25019851 1294569472 315611 1992294400 134512640 135752675 4294880224 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 316057 315611 146 303 0 315752 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1264228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 1.00 0.99 2/107 31088
/proc/meminfo: memFree=487848/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=1268488 CPUtime=1800.05
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4202496 316864 0 0 0 179204 801 0 0 25 0 1 0 25019851 1298931712 316645 1992294400 134512640 135752675 4294880224 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31030/statm: 317122 316645 146 303 0 316817 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1268488

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

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

[startup+1800.61 s]
/proc/loadavg: 0.99 1.00 0.99 2/108 31089
/proc/meminfo: memFree=1553620/2059040 swapFree=4139820/4192956
[pid=31030] ppid=31028 vsize=0 CPUtime=1800.16
/proc/31030/stat : 31030 (wbo1.4b) R 31028 31030 30682 0 -1 4203524 316864 0 0 0 179204 812 0 0 25 0 1 0 25019851 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/31030/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.63
CPU time (s): 1800.18
CPU user time (s): 1792.05
CPU system time (s): 8.13176
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 1268488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.05
system time used= 8.13176
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316864
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= 29
involuntary context switches= 1500

runsolver used 2.85057 second user time and 8.66368 second system time

The end

Launcher Data 

Begin job on node055 at 2010-07-08 07:48:54
IDJOB=2702459
IDBENCH=48164
IDSOLVER=1190
FILE ID=node055/2702459-1278568134
PBS_JOBID= 11239576
Free space on /tmp= 62580 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_10_4.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702459-1278568134/watcher-2702459-1278568134 -o /tmp/evaluation-result-2702459-1278568134/solver-2702459-1278568134 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702459-1278568134.opb

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

MD5SUM BENCH= 81ea6ef3f58dd056541f0542171b5402
RANDOM SEED=1389065276

node055.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.224
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.44
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.224
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:       1759260 kB
Buffers:         17448 kB
Cached:         194228 kB
SwapCached:       6984 kB
Active:          82776 kB
Inactive:       142684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1759260 kB
SwapTotal:     4192956 kB
SwapFree:      4139820 kB
Dirty:            2740 kB
Writeback:           0 kB
AnonPages:       11560 kB
Mapped:          12068 kB
Slab:            52412 kB
PageTables:       4172 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   178500 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702459-1278568134.opb

Free space on /tmp at the end= 62580 MiB
End job on node055 at 2010-07-08 08:18:57