Trace number 2702485

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.15 1800.79

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_25_4.opb
MD5SUMd847cf1d914db0ec942abd195c5092c7
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-124
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -124
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
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 constraints1000
Minimum length of a constraint25
Maximum length of a constraint50
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31592
Sum of products size (including duplicates)63184
Number of different products15796
Sum of products size31592

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-2702485-1278568419.opb.
0.00/0.00	c Instance file HOME/instance-2702485-1278568419.opb
0.00/0.00	c File size is 1376326 bytes.
0.18/0.23	c Highest Coefficient sum: 50
0.18/0.23	c ============================[ Problem Statistics ]=============================
0.18/0.23	c |                                                                             |
0.18/0.23	c |  Parsing time:          0.22         s                                      |
0.18/0.23	c |  Number Variables:      16796                                               |
0.18/0.23	c |  Number Clauses:        15796                                               |
0.18/0.23	c |  Number Cardinality:    2000                                                |
0.18/0.23	c |  Number PB Constraints: 15796                                               |
0.18/0.29	c ============================[ Search Statistics ]==============================
0.18/0.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.18/0.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.18/0.29	c ===============================================================================
0.18/0.29	c |         0 |    1000    33592    77755 |    11197        0    nan |  0.000 % |
0.29/0.30	c ===============================================================================
0.29/0.30	c New solution: 0
0.29/0.30	o 0
0.29/0.30	c Elapsed CPU time: 0.285956 s	Remaining CPU time: 179.714 s
0.29/0.30	c ===============================================================================
0.29/0.30	c |         0 |    1000    33593    78755 |    11197        0    nan |  0.000 % |
0.29/0.31	c ===============================================================================
0.29/0.31	c New solution: -1
0.29/0.31	o -1
0.29/0.31	c Elapsed CPU time: 0.292955 s	Remaining CPU time: 179.707 s
0.29/0.31	c ===============================================================================
0.29/0.31	c |         0 |    1000    33594    79755 |    11198        0    nan |  0.000 % |
0.29/0.31	c ===============================================================================
0.29/0.31	c New solution: -2
0.29/0.31	o -2
0.29/0.31	c Elapsed CPU time: 0.298954 s	Remaining CPU time: 179.701 s
0.29/0.31	c ===============================================================================
0.29/0.31	c |         0 |    1000    33595    80755 |    11198        0    nan |  0.000 % |
0.29/0.32	c ===============================================================================
0.29/0.32	c New solution: -3
0.29/0.32	o -3
0.29/0.32	c Elapsed CPU time: 0.304953 s	Remaining CPU time: 179.695 s
0.29/0.32	c ===============================================================================
0.29/0.32	c |         0 |    1000    33596    81755 |    11198        0    nan |  0.000 % |
0.29/0.33	c ===============================================================================
0.29/0.33	c New solution: -4
0.29/0.33	o -4
0.29/0.33	c Elapsed CPU time: 0.312952 s	Remaining CPU time: 179.687 s
0.29/0.33	c ===============================================================================
0.29/0.33	c |         0 |    1000    33597    82755 |    11199        0    nan |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: -5
0.29/0.34	o -5
0.29/0.34	c Elapsed CPU time: 0.320951 s	Remaining CPU time: 179.679 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |         0 |    1000    33598    83755 |    11199        0    nan |  0.000 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: -6
0.29/0.35	o -6
0.29/0.35	c Elapsed CPU time: 0.32795 s	Remaining CPU time: 179.672 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |         0 |    1000    33599    84755 |    11199        0    nan |  0.000 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: -7
0.29/0.35	o -7
0.29/0.35	c Elapsed CPU time: 0.335948 s	Remaining CPU time: 179.664 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |         0 |    1000    33600    85755 |    11200        0    nan |  0.000 % |
0.29/0.36	c ===============================================================================
0.29/0.36	c New solution: -8
0.29/0.36	o -8
0.29/0.36	c Elapsed CPU time: 0.343947 s	Remaining CPU time: 179.656 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |         3 |    1000    33601    86755 |    11200        3    993 |  0.000 % |
0.29/0.37	c ===============================================================================
0.29/0.37	c New solution: -9
0.29/0.37	o -9
0.29/0.37	c Elapsed CPU time: 0.351946 s	Remaining CPU time: 179.648 s
0.29/0.37	c ===============================================================================
0.29/0.37	c |         4 |    1000    33602    87755 |    11200        4    993 |  0.000 % |
0.29/0.38	c ===============================================================================
0.29/0.38	c New solution: -10
0.29/0.38	o -10
0.29/0.38	c Elapsed CPU time: 0.360945 s	Remaining CPU time: 179.639 s
0.29/0.38	c ===============================================================================
0.29/0.38	c |         5 |    1000    33603    88755 |    11201        5    992 |  0.000 % |
0.29/0.39	c ===============================================================================
0.29/0.39	c New solution: -11
0.29/0.39	o -11
0.29/0.39	c Elapsed CPU time: 0.369943 s	Remaining CPU time: 179.63 s
0.29/0.39	c ===============================================================================
0.29/0.39	c |        10 |    1000    33604    89755 |    11201       10    991 |  0.000 % |
0.39/0.40	c ===============================================================================
0.39/0.40	c New solution: -12
0.39/0.40	o -12
0.39/0.40	c Elapsed CPU time: 0.379942 s	Remaining CPU time: 179.62 s
0.39/0.40	c ===============================================================================
0.39/0.40	c |        10 |    1000    33605    90755 |    11201       10    991 |  0.000 % |
0.39/0.41	c ===============================================================================
0.39/0.41	c New solution: -13
0.39/0.41	o -13
0.39/0.41	c Elapsed CPU time: 0.38894 s	Remaining CPU time: 179.611 s
0.39/0.41	c ===============================================================================
0.39/0.41	c |        10 |    1000    33606    91755 |    11202       10    991 |  0.000 % |
0.39/0.42	c ===============================================================================
0.39/0.42	c New solution: -14
0.39/0.42	o -14
0.39/0.42	c Elapsed CPU time: 0.397939 s	Remaining CPU time: 179.602 s
0.39/0.42	c ===============================================================================
0.39/0.42	c |        13 |    1000    33607    92755 |    11202       13    990 |  0.000 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c New solution: -15
0.39/0.43	o -15
0.39/0.43	c Elapsed CPU time: 0.408937 s	Remaining CPU time: 179.591 s
0.39/0.43	c ===============================================================================
0.39/0.43	c |        15 |    1000    33608    93755 |    11202       15    990 |  0.000 % |
0.39/0.44	c ===============================================================================
0.39/0.44	c New solution: -16
0.39/0.44	o -16
0.39/0.44	c Elapsed CPU time: 0.420936 s	Remaining CPU time: 179.579 s
0.39/0.44	c ===============================================================================
0.39/0.44	c |        19 |    1000    33609    94755 |    11203       19    989 |  0.000 % |
0.39/0.46	c ===============================================================================
0.39/0.46	c New solution: -17
0.39/0.46	o -17
0.39/0.46	c Elapsed CPU time: 0.431934 s	Remaining CPU time: 179.568 s
0.39/0.46	c ===============================================================================
0.39/0.46	c |        23 |    1000    33610    95755 |    11203       23    988 |  0.000 % |
0.39/0.47	c ===============================================================================
0.39/0.47	c New solution: -18
0.39/0.47	o -18
0.39/0.47	c Elapsed CPU time: 0.445932 s	Remaining CPU time: 179.554 s
0.39/0.47	c ===============================================================================
0.39/0.47	c |        41 |    1000    33611    96755 |    11203       41    986 |  0.000 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c New solution: -19
0.39/0.49	o -19
0.39/0.49	c Elapsed CPU time: 0.45593 s	Remaining CPU time: 179.544 s
0.39/0.49	c ===============================================================================
0.39/0.49	c |        46 |    1000    33612    97755 |    11204       46    985 |  0.000 % |
0.49/0.50	c ===============================================================================
0.49/0.50	c New solution: -20
0.49/0.50	o -20
0.49/0.50	c Elapsed CPU time: 0.467928 s	Remaining CPU time: 179.532 s
0.49/0.50	c ===============================================================================
0.49/0.50	c |        49 |    1000    33613    98755 |    11204       49    985 |  0.000 % |
0.49/0.52	c ===============================================================================
0.49/0.52	c New solution: -21
0.49/0.52	o -21
0.49/0.52	c Elapsed CPU time: 0.483926 s	Remaining CPU time: 179.516 s
0.49/0.52	c ===============================================================================
0.49/0.52	c |        67 |    1000    33614    99755 |    11204       67    984 |  0.000 % |
0.49/0.54	c |       167 |    1000    33614    99755 |    12325      167    981 | 94.046 % |
0.49/0.56	c ===============================================================================
0.49/0.56	c New solution: -22
0.49/0.56	o -22
0.49/0.56	c Elapsed CPU time: 0.52592 s	Remaining CPU time: 179.474 s
0.49/0.56	c ===============================================================================
0.49/0.56	c |       177 |    1000    33615   100755 |    11205      177    981 | 94.046 % |
0.49/0.59	c |       277 |    1000    33615   100755 |    12325      277    980 | 94.046 % |
0.59/0.64	c ===============================================================================
0.59/0.64	c New solution: -23
0.59/0.64	o -23
0.59/0.64	c Elapsed CPU time: 0.602908 s	Remaining CPU time: 179.397 s
0.59/0.64	c ===============================================================================
0.59/0.64	c |       416 |    1000    33616   101755 |    11205      416    980 | 94.046 % |
0.59/0.66	c ===============================================================================
0.59/0.66	c New solution: -24
0.59/0.66	o -24
0.59/0.66	c Elapsed CPU time: 0.627904 s	Remaining CPU time: 179.372 s
0.59/0.66	c ===============================================================================
0.59/0.66	c |       463 |    1000    33617   102755 |    11205      463    980 | 94.046 % |
0.59/0.69	c ===============================================================================
0.59/0.69	c New solution: -25
0.59/0.69	o -25
0.59/0.69	c Elapsed CPU time: 0.6549 s	Remaining CPU time: 179.345 s
0.59/0.69	c ===============================================================================
0.59/0.69	c |       523 |    1000    33618   103755 |    11206      523    979 | 94.046 % |
0.68/0.72	c |       623 |    1000    33618   103755 |    12326      623    979 | 94.046 % |
0.68/0.77	c |       773 |    1000    33618   103755 |    13559      773    978 | 94.046 % |
0.79/0.86	c |       998 |    1000    33618   103755 |    14915      998    978 | 94.046 % |
0.79/0.89	c ===============================================================================
0.79/0.89	c New solution: -26
0.79/0.89	o -26
0.79/0.89	c Elapsed CPU time: 0.842871 s	Remaining CPU time: 179.157 s
0.79/0.89	c ===============================================================================
0.79/0.89	c |      1034 |    1000    33619   104755 |    11206     1034    977 | 94.046 % |
0.89/0.93	c |      1134 |    1000    33619   104755 |    12326     1134    977 | 94.046 % |
0.89/0.98	c ===============================================================================
0.89/0.98	c New solution: -27
0.89/0.98	o -27
0.89/0.98	c Elapsed CPU time: 0.926859 s	Remaining CPU time: 179.073 s
0.89/0.98	c ===============================================================================
0.89/0.98	c |      1220 |    1000    33620   105755 |    11206     1220    977 | 94.046 % |
0.99/1.03	c |      1321 |    1000    33620   105755 |    12327     1321    977 | 94.046 % |
0.99/1.10	c |      1472 |    1000    33620   105755 |    13560     1472    977 | 94.046 % |
1.18/1.20	c |      1698 |    1000    33620   105755 |    14916     1698    976 | 94.046 % |
1.29/1.36	c |      2037 |    1000    33620   105755 |    16407     2037    976 | 94.046 % |
1.49/1.55	c ===============================================================================
1.49/1.55	c New solution: -28
1.49/1.55	o -28
1.49/1.55	c Elapsed CPU time: 1.48977 s	Remaining CPU time: 178.51 s
1.49/1.55	c ===============================================================================
1.49/1.55	c |      2448 |    1000    33621   106755 |    11207     2448    975 | 94.046 % |
1.58/1.61	c |      2550 |    1000    33621   106755 |    12327     2550    975 | 94.046 % |
1.68/1.71	c |      2701 |    1000    33621   106755 |    13560     2701    975 | 94.046 % |
1.78/1.84	c |      2926 |    1000    33621   106755 |    14916     2926    975 | 94.046 % |
1.99/2.02	c |      3263 |    1000    33621   106755 |    16408     3263    975 | 94.046 % |
2.19/2.27	c |      3770 |    1000    33621   106755 |    18048     3770    975 | 94.046 % |
2.69/2.70	c |      4530 |    1000    33621   106755 |    19853     4530    974 | 94.046 % |
2.79/2.88	c ===============================================================================
2.79/2.88	c New solution: -29
2.79/2.88	o -29
2.79/2.88	c Elapsed CPU time: 2.79657 s	Remaining CPU time: 177.203 s
2.79/2.88	c ===============================================================================
2.79/2.88	c |      4736 |    1000    33622   107755 |    11207     4736    974 | 94.046 % |
2.89/2.97	c |      4837 |    1000    33622   107755 |    12328     4837    974 | 94.046 % |
2.98/3.06	c |      4989 |    1000    33622   107755 |    13560     4989    974 | 94.046 % |
3.20/3.22	c |      5214 |    1000    33622   107755 |    14916     5214    974 | 94.046 % |
3.39/3.42	c |      5551 |    1000    33622   107755 |    16408     5551    974 | 94.046 % |
3.69/3.73	c |      6058 |    1000    33622   107755 |    18049     6058    974 | 94.046 % |
3.99/4.07	c |      6817 |    1000    33622   107755 |    19854     6817    974 | 94.046 % |
4.68/4.76	c |      7957 |    1000    33622   107755 |    21839     7957    973 | 94.046 % |
5.68/5.70	c ===============================================================================
5.68/5.70	c New solution: -30
5.68/5.70	o -30
5.68/5.70	c Elapsed CPU time: 5.58715 s	Remaining CPU time: 174.413 s
5.68/5.70	c ===============================================================================
5.68/5.70	c |      9559 |    1000    33623   108755 |    11207     9559    973 | 94.046 % |
5.68/5.78	c |      9659 |    1000    33623   108755 |    12328     9659    973 | 94.046 % |
5.79/5.86	c |      9809 |    1000    33623   108755 |    13561     9809    973 | 94.046 % |
5.88/5.98	c |     10034 |    1000    33623   108755 |    14917    10034    973 | 94.046 % |
6.18/6.26	c |     10372 |    1000    33623   108755 |    16409    10372    973 | 94.046 % |
6.59/6.61	c |     10880 |    1000    33623   108755 |    18050    10880    973 | 94.046 % |
6.78/6.81	c ===============================================================================
6.78/6.81	c New solution: -31
6.78/6.81	o -31
6.78/6.81	c Elapsed CPU time: 6.67399 s	Remaining CPU time: 173.326 s
6.78/6.81	c ===============================================================================
6.78/6.81	c |     11183 |    1000    33624   109755 |    11208    11183    973 | 94.046 % |
6.88/6.91	c |     11283 |    1000    33624   109755 |    12328    11283    973 | 94.046 % |
6.99/7.03	c |     11434 |    1000    33624   109755 |    13561    11434    973 | 94.046 % |
7.09/7.19	c |     11659 |    1000    33624   109755 |    14917    11659    973 | 94.046 % |
7.38/7.42	c |     11996 |    1000    33624   109755 |    16409    11996    973 | 94.046 % |
7.59/7.63	c |     12502 |    1000    33624   109755 |    18050    12502    972 | 94.046 % |
7.98/8.05	c |     13261 |    1000    33624   109755 |    19855    13261    972 | 94.046 % |
8.19/8.22	c ===============================================================================
8.19/8.22	c New solution: -32
8.19/8.22	o -32
8.19/8.22	c Elapsed CPU time: 8.06077 s	Remaining CPU time: 171.939 s
8.19/8.22	c ===============================================================================
8.19/8.22	c |     13527 |    1000    33625   110755 |    11208    13527    972 | 94.046 % |
8.19/8.28	c |     13628 |    1000    33625   110755 |    12329    13628    972 | 94.046 % |
8.29/8.37	c |     13780 |    1000    33625   110755 |    13562    13780    972 | 94.046 % |
8.48/8.58	c |     14005 |    1000    33625   110755 |    14918    14005    972 | 94.046 % |
8.79/8.81	c |     14343 |    1000    33625   110755 |    16410    14343    972 | 94.046 % |
9.19/9.22	c |     14849 |    1000    33625   110755 |    18051    14849    972 | 94.046 % |
9.59/9.61	c |     15609 |    1000    33625   110755 |    19856    15609    972 | 94.046 % |
10.58/10.63	c |     16749 |    1000    33625   110755 |    21841    16749    972 | 94.046 % |
11.89/11.93	c |     18457 |    1000    33625   110755 |    24026    18457    971 | 94.046 % |
14.19/14.28	c |     21019 |    1000    33625   110755 |    26428    21019    971 | 94.046 % |
17.68/17.74	c ===============================================================================
17.68/17.74	c New solution: -33
17.68/17.74	o -33
17.68/17.74	c Elapsed CPU time: 17.4893 s	Remaining CPU time: 162.511 s
17.68/17.74	c ===============================================================================
17.68/17.74	c |     22495 |    1000    33626   111755 |    11208    22495    971 | 94.046 % |
17.88/17.91	c |     22595 |    1000    33626   111755 |    12329    22595    971 | 94.046 % |
18.38/18.44	c |     22746 |    1000    33626   111755 |    13562    22746    971 | 94.046 % |
18.98/19.01	c |     22972 |    1000    33626   111755 |    14918    22972    971 | 94.046 % |
19.88/19.92	c |     23310 |    1000    33626   111755 |    16410    23310    971 | 94.046 % |
21.28/21.36	c |     23817 |    1000    33626   111755 |    18051    23817    971 | 94.046 % |
22.99/23.01	c |     24577 |    1000    33626   111755 |    19856    24577    971 | 94.046 % |
24.48/24.56	c |     25718 |    1000    33626   111755 |    21842    25718    970 | 94.046 % |
24.78/24.88	c ===============================================================================
24.78/24.88	c New solution: -34
24.78/24.88	o -34
24.78/24.88	c Elapsed CPU time: 24.5953 s	Remaining CPU time: 155.405 s
24.78/24.88	c ===============================================================================
24.78/24.88	c |     25782 |    1000    33627   112755 |    11209    25782    970 | 94.046 % |
24.88/24.95	c ===============================================================================
24.88/24.95	c New solution: -35
24.88/24.95	o -35
24.88/24.95	c Elapsed CPU time: 24.6682 s	Remaining CPU time: 155.332 s
24.88/24.95	c ===============================================================================
24.88/24.95	c |     25809 |    1000    33628   113755 |    11209    25809    970 | 94.046 % |
25.58/25.60	c |     25909 |    1000    33628   113755 |    12330    25909    970 | 94.046 % |
26.08/26.11	c |     26060 |    1000    33628   113755 |    13563    26060    970 | 94.046 % |
26.48/26.52	c |     26285 |    1000    33628   113755 |    14919    26285    970 | 94.046 % |
27.49/27.60	c |     26622 |    1000    33628   113755 |    16411    26622    970 | 94.046 % |
28.49/28.52	c |     27129 |    1000    33628   113755 |    18052    27129    970 | 94.046 % |
30.57/30.60	c |     27888 |    1000    33628   113755 |    19858    27888    970 | 94.046 % |
32.77/32.88	c |     29028 |    1000    33628   113755 |    21843    29028    970 | 94.046 % |
34.87/34.99	c ===============================================================================
34.87/34.99	c New solution: -36
34.87/34.99	o -36
34.87/34.99	c Elapsed CPU time: 34.6617 s	Remaining CPU time: 145.338 s
34.87/34.99	c ===============================================================================
34.87/34.99	c |     30053 |    1000    33629   114755 |    11209    30053    970 | 94.046 % |
35.57/35.64	c |     30155 |    1000    33629   114755 |    12330    11058    967 | 94.046 % |
35.77/35.83	c |     30305 |    1000    33629   114755 |    13563    11208    967 | 94.046 % |
36.07/36.14	c |     30531 |    1000    33629   114755 |    14920    11434    967 | 94.046 % |
36.68/36.72	c |     30869 |    1000    33629   114755 |    16412    11772    967 | 94.046 % |
37.29/37.32	c |     31375 |    1000    33629   114755 |    18053    12278    967 | 94.046 % |
38.48/38.53	c |     32134 |    1000    33629   114755 |    19858    13037    967 | 94.046 % |
39.17/39.27	c ===============================================================================
39.17/39.27	c New solution: -37
39.17/39.27	o -37
39.17/39.27	c Elapsed CPU time: 38.9091 s	Remaining CPU time: 141.091 s
39.17/39.27	c ===============================================================================
39.17/39.27	c |     32794 |    1000    33630   115755 |    11210    13697    967 | 94.046 % |
39.37/39.49	c |     32894 |    1000    33630   115755 |    12331    13797    967 | 94.046 % |
39.68/39.77	c |     33046 |    1000    33630   115755 |    13564    13949    967 | 94.046 % |
39.97/40.00	c |     33272 |    1000    33630   115755 |    14920    14175    967 | 94.046 % |
40.27/40.32	c |     33609 |    1000    33630   115755 |    16412    14512    967 | 94.046 % |
41.07/41.10	c |     34116 |    1000    33630   115755 |    18053    15019    967 | 94.046 % |
41.98/42.03	c |     34875 |    1000    33630   115755 |    19859    15778    967 | 94.046 % |
43.88/43.96	c |     36014 |    1000    33630   115755 |    21845    16917    967 | 94.046 % |
45.37/45.49	c |     37723 |    1000    33630   115755 |    24029    18626    966 | 94.046 % |
45.97/46.09	c ===============================================================================
45.97/46.09	c New solution: -38
45.97/46.09	o -38
45.97/46.09	c Elapsed CPU time: 45.6721 s	Remaining CPU time: 134.328 s
45.97/46.09	c ===============================================================================
45.97/46.09	c |     38906 |    1000    33631   116755 |    11210    19809    966 | 94.046 % |
46.08/46.18	c |     39006 |    1000    33631   116755 |    12331    19909    966 | 94.046 % |
46.27/46.30	c |     39158 |    1000    33631   116755 |    13564    20061    966 | 94.046 % |
46.57/46.69	c |     39384 |    1000    33631   116755 |    14920    20287    966 | 94.046 % |
47.07/47.18	c |     39723 |    1000    33631   116755 |    16413    20626    966 | 94.046 % |
47.67/47.78	c |     40229 |    1000    33631   116755 |    18054    21132    966 | 94.046 % |
48.97/49.05	c ===============================================================================
48.97/49.05	c New solution: -39
48.97/49.05	o -39
48.97/49.05	c Elapsed CPU time: 48.6156 s	Remaining CPU time: 131.384 s
48.97/49.05	c ===============================================================================
48.97/49.05	c |     40677 |    1000    33632   117755 |    11210    21580    966 | 94.046 % |
49.28/49.31	c |     40777 |    1000    33632   117755 |    12331    21680    966 | 94.046 % |
49.48/49.57	c |     40929 |    1000    33632   117755 |    13564    21832    966 | 94.046 % |
50.07/50.10	c |     41156 |    1000    33632   117755 |    14921    22059    966 | 94.046 % |
50.48/50.57	c |     41493 |    1000    33632   117755 |    16413    22396    966 | 94.046 % |
51.07/51.15	c |     41999 |    1000    33632   117755 |    18054    22902    966 | 94.046 % |
51.77/51.82	c ===============================================================================
51.77/51.82	c New solution: -40
51.77/51.82	o -40
51.77/51.82	c Elapsed CPU time: 51.3672 s	Remaining CPU time: 128.633 s
51.77/51.82	c ===============================================================================
51.77/51.82	c |     42406 |    1000    33633   118755 |    11211    23309    966 | 94.046 % |
51.87/51.97	c |     42507 |    1000    33633   118755 |    12332    23410    966 | 94.046 % |
52.17/52.28	c |     42657 |    1000    33633   118755 |    13565    23560    966 | 94.046 % |
52.68/52.76	c |     42883 |    1000    33633   118755 |    14921    23786    965 | 94.046 % |
53.27/53.38	c |     43221 |    1000    33633   118755 |    16414    24124    965 | 94.046 % |
53.97/54.08	c |     43728 |    1000    33633   118755 |    18055    24631    965 | 94.046 % |
54.97/55.08	c |     44488 |    1000    33633   118755 |    19860    25391    965 | 94.046 % |
56.57/56.64	c |     45627 |    1000    33633   118755 |    21847    26530    965 | 94.046 % |
58.87/58.95	c |     47335 |    1000    33633   118755 |    24031    28238    965 | 94.046 % |
61.57/61.61	c |     49897 |    1000    33633   118755 |    26434    30800    964 | 94.046 % |
64.27/64.35	c |     53742 |    1000    33633   118755 |    29078    34645    964 | 94.046 % |
78.66/78.76	c |     59508 |    1000    33633   118755 |    31986    40411    964 | 94.046 % |
96.25/96.35	c |     68158 |    1000    33633   118755 |    35184    11732    961 | 94.046 % |
123.54/123.69	c |     81133 |    1000    33633   118755 |    38703    24707    961 | 94.046 % |
148.23/148.35	c |    100595 |    1000    33633   118755 |    42573    44169    961 | 94.046 % |
181.13/181.22	c There are 15796 assigned variables. 0 in cost function.
183.82/183.96	c core #1
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -999
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #2
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -998
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #3
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -997
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #4
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -996
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #5
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -995
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #6
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -994
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #7
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -993
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #8
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -992
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #9
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -991
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #10
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -990
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #11
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -989
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #12
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -988
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #13
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -987
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #14
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -986
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #15
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -985
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #16
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -984
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #17
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -983
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #18
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -982
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #19
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -981
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #20
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -980
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #21
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -979
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #22
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -978
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #23
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -977
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #24
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -976
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #25
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -975
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #26
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -974
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #27
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -973
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #28
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -972
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #29
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -971
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #30
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -970
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #31
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -969
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #32
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -968
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #33
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -967
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #34
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -966
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #35
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -965
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #36
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -964
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #37
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -963
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #38
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -962
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #39
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -961
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #40
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -960
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #41
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -959
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #42
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -958
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #43
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -957
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #44
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -956
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #45
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -955
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #46
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -954
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #47
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -953
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #48
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -952
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #49
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -951
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #50
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -950
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #51
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -949
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #52
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -948
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #53
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -947
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #54
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -946
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #55
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -945
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #56
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -944
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #57
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -943
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #58
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -942
183.82/183.96	c
183.82/183.96	c
183.82/183.96	c core #59
183.82/183.96	c 
183.82/183.96	c 
183.82/183.96	c Core size: 3	Core Weight: 1	Total Weight: -941
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #60
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -940
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #61
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -939
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #62
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -938
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #63
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -937
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #64
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -936
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #65
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -935
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #66
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -934
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #67
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -933
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #68
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -932
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #69
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -931
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #70
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -930
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #71
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -929
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #72
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -928
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #73
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -927
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #74
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -926
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #75
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -925
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #76
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -924
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #77
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -923
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #78
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -922
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #79
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -921
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #80
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -920
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #81
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -919
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #82
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -918
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #83
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -917
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #84
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -916
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #85
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -915
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #86
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -914
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #87
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -913
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #88
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -912
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #89
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -911
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #90
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -910
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #91
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -909
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #92
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -908
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #93
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -907
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #94
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -906
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #95
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -905
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #96
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -904
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #97
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -903
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #98
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -902
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #99
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -901
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #100
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -900
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #101
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -899
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #102
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -898
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #103
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -897
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #104
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -896
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #105
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -895
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #106
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -894
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #107
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -893
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #108
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -892
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #109
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -891
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #110
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -890
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #111
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -889
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #112
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -888
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #113
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -887
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #114
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -886
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #115
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -885
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #116
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -884
186.52/186.61	c
186.52/186.61	c
186.52/186.61	c core #117
186.52/186.61	c 
186.52/186.61	c 
186.52/186.61	c Core size: 3	Core Weight: 1	Total Weight: -883
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #118
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -882
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #119
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -881
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #120
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -880
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #121
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -879
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #122
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -878
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #123
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -877
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #124
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -876
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #125
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -875
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #126
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -874
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #127
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -873
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #128
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -872
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #129
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -871
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #130
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -870
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #131
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -869
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #132
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -868
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #133
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -867
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #134
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -866
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #135
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -865
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #136
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -864
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #137
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -863
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #138
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -862
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #139
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -861
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #140
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -860
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #141
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -859
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #142
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -858
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #143
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -857
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #144
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -856
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #145
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -855
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #146
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -854
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #147
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -853
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #148
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -852
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #149
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -851
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #150
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -850
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #151
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -849
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #152
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -848
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #153
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -847
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #154
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -846
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #155
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -845
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #156
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -844
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #157
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -843
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #158
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -842
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #159
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -841
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #160
189.42/189.51	c 
189.42/189.51	c 
189.42/189.51	c Core size: 3	Core Weight: 1	Total Weight: -840
189.42/189.51	c
189.42/189.51	c
189.42/189.51	c core #161
189.42/189.52	c 
189.42/189.52	c 
189.42/189.52	c Core size: 3	Core Weight: 1	Total Weight: -839
189.42/189.52	c
189.42/189.52	c
189.42/189.52	c core #162
189.42/189.52	c 
189.42/189.52	c 
189.42/189.52	c Core size: 3	Core Weight: 1	Total Weight: -838
189.42/189.52	c
189.42/189.52	c
189.42/189.52	c core #163
189.42/189.52	c 
189.42/189.52	c 
189.42/189.52	c Core size: 3	Core Weight: 1	Total Weight: -837
189.42/189.52	c
189.42/189.52	c
189.42/189.52	c core #164
189.42/189.52	c 
189.42/189.52	c 
189.42/189.52	c Core size: 3	Core Weight: 1	Total Weight: -836
189.42/189.52	c
189.42/189.52	c
189.42/189.52	c core #165
189.42/189.52	c 
189.42/189.52	c 
189.42/189.52	c Core size: 3	Core Weight: 1	Total Weight: -835
189.42/189.52	c
189.42/189.52	c
189.42/189.52	c core #166
189.42/189.52	c 
189.42/189.52	c 
189.42/189.52	c Core size: 3	Core Weight: 1	Total Weight: -834
189.42/189.52	c
189.42/189.52	c
189.42/189.52	c core #167
189.42/189.52	c 
189.42/189.52	c 
189.42/189.52	c Core size: 3	Core Weight: 1	Total Weight: -833
189.42/189.52	c
189.42/189.52	c
189.42/189.52	c core #168
189.42/189.52	c 
189.42/189.52	c 
189.42/189.52	c Core size: 3	Core Weight: 1	Total Weight: -832
189.42/189.52	c
189.42/189.52	c
189.42/189.52	c core #169
189.42/189.52	c 
189.42/189.52	c 
189.42/189.52	c Core size: 3	Core Weight: 1	Total Weight: -831
189.42/189.52	c
189.42/189.52	c
189.42/189.52	c core #170
189.42/189.52	c 
189.42/189.52	c 
189.42/189.52	c Core size: 3	Core Weight: 1	Total Weight: -830
189.42/189.52	c
189.42/189.52	c
189.42/189.52	c core #171
189.42/189.52	c 
189.42/189.52	c 
189.42/189.52	c Core size: 3	Core Weight: 1	Total Weight: -829
189.42/189.52	c
189.42/189.52	c
189.42/189.52	c core #172
189.42/189.52	c 
189.42/189.52	c 
189.42/189.52	c Core size: 3	Core Weight: 1	Total Weight: -828
189.42/189.52	c
189.42/189.52	c
189.42/189.52	c core #173
189.42/189.52	c 
189.42/189.52	c 
189.42/189.52	c Core size: 3	Core Weight: 1	Total Weight: -827
189.42/189.52	c
189.42/189.52	c
189.42/189.52	c core #174
189.42/189.52	c 
189.42/189.52	c 
189.42/189.52	c Core size: 3	Core Weight: 1	Total Weight: -826
189.42/189.52	c
189.42/189.52	c
189.42/189.52	c core #175
189.42/189.52	c 
189.42/189.52	c 
189.42/189.52	c Core size: 3	Core Weight: 1	Total Weight: -825
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #176
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -824
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #177
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -823
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #178
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -822
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #179
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -821
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #180
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -820
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #181
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -819
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #182
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -818
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #183
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -817
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #184
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -816
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #185
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -815
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #186
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -814
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #187
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -813
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #188
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -812
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #189
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -811
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #190
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -810
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #191
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -809
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #192
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -808
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #193
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -807
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #194
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -806
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #195
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -805
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #196
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -804
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #197
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -803
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #198
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -802
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #199
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -801
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #200
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -800
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #201
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -799
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #202
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -798
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #203
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -797
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #204
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -796
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #205
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -795
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #206
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -794
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #207
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -793
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #208
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -792
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #209
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -791
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #210
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -790
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #211
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -789
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #212
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -788
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #213
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -787
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #214
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -786
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #215
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -785
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #216
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -784
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #217
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -783
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #218
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -782
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #219
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -781
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #220
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -780
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #221
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -779
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #222
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -778
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #223
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -777
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #224
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -776
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #225
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -775
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #226
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -774
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #227
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -773
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #228
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -772
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #229
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -771
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #230
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -770
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #231
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -769
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #232
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -768
192.62/192.70	c
192.62/192.70	c
192.62/192.70	c core #233
192.62/192.70	c 
192.62/192.70	c 
192.62/192.70	c Core size: 3	Core Weight: 1	Total Weight: -767
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #234
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -766
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #235
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -765
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #236
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -764
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #237
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -763
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #238
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -762
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #239
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -761
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #240
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -760
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #241
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -759
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #242
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -758
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #243
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -757
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #244
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -756
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #245
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -755
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #246
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -754
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #247
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -753
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #248
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -752
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #249
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -751
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #250
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -750
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #251
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -749
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #252
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -748
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #253
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -747
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #254
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -746
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #255
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -745
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #256
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -744
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #257
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -743
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #258
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -742
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #259
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -741
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #260
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -740
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #261
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -739
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #262
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -738
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #263
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -737
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #264
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -736
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #265
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -735
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #266
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -734
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #267
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -733
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #268
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -732
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #269
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -731
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #270
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -730
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #271
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -729
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #272
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -728
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #273
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -727
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #274
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -726
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #275
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -725
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #276
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -724
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #277
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -723
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #278
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -722
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #279
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -721
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #280
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -720
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #281
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -719
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #282
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -718
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #283
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -717
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #284
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -716
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #285
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -715
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #286
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -714
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #287
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -713
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #288
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -712
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #289
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -711
195.92/196.05	c
195.92/196.05	c
195.92/196.05	c core #290
195.92/196.05	c 
195.92/196.05	c 
195.92/196.05	c Core size: 3	Core Weight: 1	Total Weight: -710
195.92/196.05	c
199.52/199.64	c
199.52/199.64	c core #291
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -709
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #292
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -708
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #293
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -707
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #294
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -706
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #295
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -705
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #296
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -704
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #297
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -703
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #298
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -702
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #299
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -701
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #300
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -700
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #301
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -699
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #302
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -698
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #303
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -697
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #304
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -696
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #305
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -695
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #306
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -694
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #307
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -693
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #308
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -692
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #309
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -691
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #310
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -690
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #311
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -689
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #312
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -688
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #313
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -687
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #314
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -686
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #315
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -685
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #316
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -684
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #317
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -683
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #318
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -682
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #319
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -681
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #320
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -680
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #321
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -679
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #322
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -678
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #323
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -677
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #324
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -676
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #325
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -675
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #326
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -674
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #327
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -673
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #328
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -672
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #329
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -671
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #330
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -670
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #331
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -669
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #332
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -668
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #333
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -667
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #334
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -666
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #335
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -665
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #336
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -664
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #337
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -663
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #338
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -662
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #339
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -661
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #340
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -660
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #341
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -659
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #342
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -658
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #343
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -657
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #344
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -656
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #345
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -655
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #346
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -654
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #347
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -653
199.52/199.64	c
199.52/199.64	c
199.52/199.64	c core #348
199.52/199.64	c 
199.52/199.64	c 
199.52/199.64	c Core size: 3	Core Weight: 1	Total Weight: -652
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #349
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -651
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #350
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -650
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #351
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -649
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #352
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -648
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #353
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -647
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #354
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -646
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #355
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -645
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #356
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -644
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #357
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -643
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #358
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -642
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #359
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -641
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #360
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -640
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #361
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -639
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #362
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -638
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #363
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -637
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #364
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -636
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #365
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -635
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #366
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -634
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #367
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -633
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #368
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -632
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #369
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -631
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #370
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -630
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #371
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -629
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #372
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -628
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #373
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -627
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #374
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -626
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #375
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -625
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #376
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -624
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #377
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -623
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #378
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -622
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #379
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -621
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #380
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -620
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #381
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -619
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #382
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -618
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #383
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -617
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #384
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -616
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #385
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -615
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #386
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -614
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #387
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -613
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #388
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -612
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #389
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -611
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #390
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -610
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #391
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -609
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #392
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -608
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #393
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -607
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #394
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -606
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #395
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -605
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #396
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -604
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #397
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -603
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #398
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -602
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #399
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -601
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #400
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -600
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #401
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -599
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #402
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -598
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #403
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -597
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #404
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -596
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #405
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -595
203.32/203.41	c
203.32/203.41	c
203.32/203.41	c core #406
203.32/203.41	c 
203.32/203.41	c 
203.32/203.41	c Core size: 3	Core Weight: 1	Total Weight: -594
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #407
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -593
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #408
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -592
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #409
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -591
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #410
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -590
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #411
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -589
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #412
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -588
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #413
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -587
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #414
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -586
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #415
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -585
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #416
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -584
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #417
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -583
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #418
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -582
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #419
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -581
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #420
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -580
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #421
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -579
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #422
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -578
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #423
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -577
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #424
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -576
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #425
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -575
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #426
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -574
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #427
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -573
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #428
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -572
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #429
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -571
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #430
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -570
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #431
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -569
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #432
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -568
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #433
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -567
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #434
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -566
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #435
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -565
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #436
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -564
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #437
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -563
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #438
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -562
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #439
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -561
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #440
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -560
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #441
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -559
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #442
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -558
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #443
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -557
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #444
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -556
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #445
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -555
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #446
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -554
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #447
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -553
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #448
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -552
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #449
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -551
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #450
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -550
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #451
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -549
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #452
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -548
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #453
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -547
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #454
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -546
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #455
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -545
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #456
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -544
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #457
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -543
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #458
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -542
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #459
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -541
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #460
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -540
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #461
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -539
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #462
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -538
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #463
207.22/207.33	c 
207.22/207.33	c 
207.22/207.33	c Core size: 3	Core Weight: 1	Total Weight: -537
207.22/207.33	c
207.22/207.33	c
207.22/207.33	c core #464
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 3	Core Weight: 1	Total Weight: -536
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #465
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 3	Core Weight: 1	Total Weight: -535
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #466
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 3	Core Weight: 1	Total Weight: -534
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #467
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 3	Core Weight: 1	Total Weight: -533
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #468
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 3	Core Weight: 1	Total Weight: -532
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #469
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 3	Core Weight: 1	Total Weight: -531
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #470
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 3	Core Weight: 1	Total Weight: -530
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #471
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 3	Core Weight: 1	Total Weight: -529
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #472
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 3	Core Weight: 1	Total Weight: -528
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #473
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 3	Core Weight: 1	Total Weight: -527
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #474
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 3	Core Weight: 1	Total Weight: -526
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #475
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 3	Core Weight: 1	Total Weight: -525
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #476
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 3	Core Weight: 1	Total Weight: -524
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #477
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 3	Core Weight: 1	Total Weight: -523
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #478
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 3	Core Weight: 1	Total Weight: -522
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #479
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 3	Core Weight: 1	Total Weight: -521
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #480
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 3	Core Weight: 1	Total Weight: -520
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #481
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 3	Core Weight: 1	Total Weight: -519
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #482
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 3	Core Weight: 1	Total Weight: -518
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #483
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 3	Core Weight: 1	Total Weight: -517
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #484
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 3	Core Weight: 1	Total Weight: -516
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #485
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 7	Core Weight: 1	Total Weight: -515
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #486
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 7	Core Weight: 1	Total Weight: -514
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #487
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 7	Core Weight: 1	Total Weight: -513
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #488
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 7	Core Weight: 1	Total Weight: -512
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #489
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 7	Core Weight: 1	Total Weight: -511
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #490
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 7	Core Weight: 1	Total Weight: -510
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #491
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 7	Core Weight: 1	Total Weight: -509
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #492
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 18	Core Weight: 1	Total Weight: -508
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #493
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 7	Core Weight: 1	Total Weight: -507
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #494
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 7	Core Weight: 1	Total Weight: -506
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #495
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 14	Core Weight: 1	Total Weight: -505
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #496
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 7	Core Weight: 1	Total Weight: -504
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #497
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 23	Core Weight: 1	Total Weight: -503
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #498
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 11	Core Weight: 1	Total Weight: -502
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #499
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 11	Core Weight: 1	Total Weight: -501
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #500
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 6	Core Weight: 1	Total Weight: -500
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #501
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 22	Core Weight: 1	Total Weight: -499
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #502
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 18	Core Weight: 1	Total Weight: -498
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c core #503
210.41/210.53	c 
210.41/210.53	c 
210.41/210.53	c Core size: 14	Core Weight: 1	Total Weight: -497
210.41/210.53	c
210.41/210.53	c
210.41/210.53	c ============================[ Search Statistics ]==============================
210.41/210.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.41/210.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.41/210.53	c ===============================================================================
210.41/210.53	c |         0 |    2078    33136    75748 |    11045        0    nan |  0.000 % |
210.41/210.53	c ===============================================================================
210.51/210.63	c core #504
210.51/210.63	c 
210.51/210.63	c 
210.51/210.63	c Core size: 10	Core Weight: 1	Total Weight: -496
210.51/210.63	c
210.51/210.63	c
210.51/210.63	c ============================[ Search Statistics ]==============================
210.51/210.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.51/210.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.51/210.63	c ===============================================================================
210.51/210.63	c |         0 |    2084    33137    75760 |    11045        0    nan |  0.000 % |
210.51/210.64	c ===============================================================================
210.61/210.73	c core #505
210.61/210.73	c 
210.61/210.73	c 
210.61/210.73	c Core size: 12	Core Weight: 1	Total Weight: -495
210.61/210.73	c
210.61/210.73	c
210.61/210.73	c ============================[ Search Statistics ]==============================
210.61/210.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.61/210.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.61/210.73	c ===============================================================================
210.61/210.73	c |         0 |    2092    33138    75776 |    11046        0    nan |  0.000 % |
210.61/210.75	c ===============================================================================
210.71/210.84	c core #506
210.71/210.84	c 
210.71/210.84	c 
210.71/210.84	c Core size: 16	Core Weight: 1	Total Weight: -494
210.71/210.84	c
210.71/210.84	c
210.71/210.84	c ============================[ Search Statistics ]==============================
210.71/210.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.71/210.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.71/210.84	c ===============================================================================
210.71/210.84	c |         0 |    2102    33139    75796 |    11046        0    nan |  0.000 % |
210.71/210.85	c ===============================================================================
210.81/210.94	c core #507
210.81/210.94	c 
210.81/210.94	c 
210.81/210.94	c Core size: 16	Core Weight: 1	Total Weight: -493
210.81/210.94	c
210.81/210.94	c
210.81/210.94	c ============================[ Search Statistics ]==============================
210.81/210.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.81/210.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.81/210.94	c ===============================================================================
210.81/210.94	c |         0 |    2112    33140    75816 |    11046        0    nan |  0.000 % |
210.81/210.96	c ===============================================================================
210.91/211.05	c core #508
210.91/211.05	c 
210.91/211.05	c 
210.91/211.05	c Core size: 16	Core Weight: 1	Total Weight: -492
210.91/211.05	c
210.91/211.05	c
210.91/211.05	c ============================[ Search Statistics ]==============================
210.91/211.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
210.91/211.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
210.91/211.05	c ===============================================================================
210.91/211.05	c |         0 |    2122    33141    75836 |    11047        0    nan |  0.000 % |
210.91/211.06	c ===============================================================================
211.02/211.15	c core #509
211.02/211.15	c 
211.02/211.15	c 
211.02/211.15	c Core size: 26	Core Weight: 1	Total Weight: -491
211.02/211.15	c
211.02/211.15	c
211.02/211.15	c ============================[ Search Statistics ]==============================
211.02/211.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.02/211.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.02/211.15	c ===============================================================================
211.02/211.15	c |         0 |    2142    33142    75876 |    11047        0    nan |  0.000 % |
211.02/211.17	c ===============================================================================
211.12/211.26	c core #510
211.12/211.26	c 
211.12/211.26	c 
211.12/211.26	c Core size: 12	Core Weight: 1	Total Weight: -490
211.12/211.26	c
211.12/211.26	c
211.12/211.26	c ============================[ Search Statistics ]==============================
211.12/211.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.12/211.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.12/211.26	c ===============================================================================
211.12/211.26	c |         0 |    2150    33143    75892 |    11047        0    nan |  0.000 % |
211.12/211.27	c ===============================================================================
211.21/211.37	c core #511
211.21/211.37	c 
211.21/211.37	c 
211.21/211.37	c Core size: 12	Core Weight: 1	Total Weight: -489
211.21/211.37	c
211.21/211.37	c
211.21/211.37	c ============================[ Search Statistics ]==============================
211.21/211.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.21/211.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.21/211.37	c ===============================================================================
211.21/211.37	c |         0 |    2158    33144    75908 |    11048        0    nan |  0.000 % |
211.21/211.38	c ===============================================================================
211.31/211.47	c core #512
211.31/211.47	c 
211.31/211.47	c 
211.31/211.47	c Core size: 14	Core Weight: 1	Total Weight: -488
211.31/211.47	c
211.31/211.47	c
211.31/211.47	c ============================[ Search Statistics ]==============================
211.31/211.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.31/211.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.31/211.47	c ===============================================================================
211.31/211.47	c |         0 |    2166    33145    75924 |    11048        0    nan |  0.000 % |
211.31/211.49	c ===============================================================================
211.41/211.58	c core #513
211.41/211.58	c 
211.41/211.58	c 
211.41/211.58	c Core size: 10	Core Weight: 1	Total Weight: -487
211.41/211.58	c
211.41/211.58	c
211.41/211.58	c ============================[ Search Statistics ]==============================
211.41/211.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.41/211.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.41/211.58	c ===============================================================================
211.41/211.58	c |         0 |    2172    33146    75936 |    11048        0    nan |  0.000 % |
211.41/211.59	c ===============================================================================
211.51/211.68	c core #514
211.51/211.68	c 
211.51/211.68	c 
211.51/211.68	c Core size: 14	Core Weight: 1	Total Weight: -486
211.51/211.68	c
211.51/211.68	c
211.51/211.68	c ============================[ Search Statistics ]==============================
211.51/211.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.51/211.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.51/211.68	c ===============================================================================
211.51/211.68	c |         0 |    2180    33147    75952 |    11049        0    nan |  0.000 % |
211.51/211.70	c ===============================================================================
211.61/211.79	c core #515
211.61/211.79	c 
211.61/211.79	c 
211.61/211.79	c Core size: 16	Core Weight: 1	Total Weight: -485
211.61/211.79	c
211.61/211.79	c
211.61/211.79	c ============================[ Search Statistics ]==============================
211.61/211.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.61/211.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.61/211.79	c ===============================================================================
211.61/211.79	c |         0 |    2190    33148    75972 |    11049        0    nan |  0.000 % |
211.71/211.80	c ===============================================================================
211.71/211.89	c core #516
211.71/211.89	c 
211.71/211.89	c 
211.71/211.89	c Core size: 12	Core Weight: 1	Total Weight: -484
211.71/211.89	c
211.71/211.89	c
211.71/211.89	c ============================[ Search Statistics ]==============================
211.71/211.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.71/211.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.71/211.89	c ===============================================================================
211.71/211.89	c |         0 |    2198    33149    75988 |    11049        0    nan |  0.000 % |
211.81/211.90	c ===============================================================================
211.81/211.99	c core #517
211.81/211.99	c 
211.81/211.99	c 
211.81/211.99	c Core size: 12	Core Weight: 1	Total Weight: -483
211.81/211.99	c
211.81/211.99	c
211.81/211.99	c ============================[ Search Statistics ]==============================
211.81/211.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
211.81/211.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
211.81/211.99	c ===============================================================================
211.81/211.99	c |         0 |    2206    33150    76004 |    11050        0    nan |  0.000 % |
211.91/212.01	c ===============================================================================
212.01/212.10	c core #518
212.01/212.10	c 
212.01/212.10	c 
212.01/212.10	c Core size: 12	Core Weight: 1	Total Weight: -482
212.01/212.10	c
212.01/212.10	c
212.01/212.10	c ============================[ Search Statistics ]==============================
212.01/212.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.01/212.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.01/212.10	c ===============================================================================
212.01/212.10	c |         0 |    2214    33151    76020 |    11050        0    nan |  0.000 % |
212.01/212.11	c ===============================================================================
212.12/212.20	c core #519
212.12/212.20	c 
212.12/212.20	c 
212.12/212.20	c Core size: 16	Core Weight: 1	Total Weight: -481
212.12/212.20	c
212.12/212.20	c
212.12/212.20	c ============================[ Search Statistics ]==============================
212.12/212.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.12/212.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.12/212.20	c ===============================================================================
212.12/212.20	c |         0 |    2224    33152    76040 |    11050        0    nan |  0.000 % |
212.12/212.22	c ===============================================================================
212.22/212.31	c core #520
212.22/212.31	c 
212.22/212.31	c 
212.22/212.31	c Core size: 14	Core Weight: 1	Total Weight: -480
212.22/212.31	c
212.22/212.31	c
212.22/212.31	c ============================[ Search Statistics ]==============================
212.22/212.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.22/212.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.22/212.31	c ===============================================================================
212.22/212.31	c |         0 |    2232    33153    76056 |    11051        0    nan |  0.000 % |
212.22/212.32	c ===============================================================================
212.32/212.41	c core #521
212.32/212.41	c 
212.32/212.41	c 
212.32/212.41	c Core size: 12	Core Weight: 1	Total Weight: -479
212.32/212.41	c
212.32/212.41	c
212.32/212.41	c ============================[ Search Statistics ]==============================
212.32/212.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.32/212.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.32/212.41	c ===============================================================================
212.32/212.41	c |         0 |    2240    33154    76072 |    11051        0    nan |  0.000 % |
212.32/212.42	c ===============================================================================
212.42/212.51	c core #522
212.42/212.51	c 
212.42/212.51	c 
212.42/212.51	c Core size: 16	Core Weight: 1	Total Weight: -478
212.42/212.51	c
212.42/212.51	c
212.42/212.51	c ============================[ Search Statistics ]==============================
212.42/212.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.42/212.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.42/212.51	c ===============================================================================
212.42/212.51	c |         0 |    2250    33155    76092 |    11051        0    nan |  0.000 % |
212.42/212.53	c ===============================================================================
212.52/212.62	c core #523
212.52/212.62	c 
212.52/212.62	c 
212.52/212.62	c Core size: 16	Core Weight: 1	Total Weight: -477
212.52/212.62	c
212.52/212.62	c
212.52/212.62	c ============================[ Search Statistics ]==============================
212.52/212.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.52/212.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.52/212.62	c ===============================================================================
212.52/212.62	c |         0 |    2260    33156    76112 |    11052        0    nan |  0.000 % |
212.52/212.63	c ===============================================================================
212.62/212.73	c core #524
212.62/212.73	c 
212.62/212.73	c 
212.62/212.73	c Core size: 15	Core Weight: 1	Total Weight: -476
212.62/212.73	c
212.62/212.73	c
212.62/212.73	c ============================[ Search Statistics ]==============================
212.62/212.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.62/212.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.62/212.73	c ===============================================================================
212.62/212.73	c |         0 |    2270    33157    76132 |    11052        0    nan |  0.000 % |
212.62/212.74	c ===============================================================================
212.72/212.83	c core #525
212.72/212.83	c 
212.72/212.83	c 
212.72/212.83	c Core size: 12	Core Weight: 1	Total Weight: -475
212.72/212.83	c
212.72/212.83	c
212.72/212.83	c ============================[ Search Statistics ]==============================
212.72/212.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.72/212.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.72/212.83	c ===============================================================================
212.72/212.83	c |         0 |    2278    33158    76148 |    11052        0    nan |  0.000 % |
212.72/212.84	c ===============================================================================
212.82/212.93	c core #526
212.82/212.93	c 
212.82/212.93	c 
212.82/212.93	c Core size: 14	Core Weight: 1	Total Weight: -474
212.82/212.93	c
212.82/212.93	c
212.82/212.93	c ============================[ Search Statistics ]==============================
212.82/212.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.82/212.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.82/212.93	c ===============================================================================
212.82/212.93	c |         0 |    2286    33159    76164 |    11053        0    nan |  0.000 % |
212.82/212.94	c ===============================================================================
212.92/213.03	c core #527
212.92/213.03	c 
212.92/213.03	c 
212.92/213.03	c Core size: 14	Core Weight: 1	Total Weight: -473
212.92/213.03	c
212.92/213.03	c
212.92/213.03	c ============================[ Search Statistics ]==============================
212.92/213.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
212.92/213.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
212.92/213.03	c ===============================================================================
212.92/213.03	c |         0 |    2294    33160    76180 |    11053        0    nan |  0.000 % |
212.92/213.05	c ===============================================================================
213.02/213.14	c core #528
213.02/213.14	c 
213.02/213.14	c 
213.02/213.14	c Core size: 16	Core Weight: 1	Total Weight: -472
213.02/213.14	c
213.02/213.14	c
213.02/213.14	c ============================[ Search Statistics ]==============================
213.02/213.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.02/213.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.02/213.14	c ===============================================================================
213.02/213.14	c |         0 |    2304    33161    76200 |    11053        0    nan |  0.000 % |
213.02/213.15	c ===============================================================================
213.12/213.24	c core #529
213.12/213.24	c 
213.12/213.24	c 
213.12/213.24	c Core size: 16	Core Weight: 1	Total Weight: -471
213.12/213.24	c
213.12/213.24	c
213.12/213.24	c ============================[ Search Statistics ]==============================
213.12/213.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.12/213.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.12/213.24	c ===============================================================================
213.12/213.24	c |         0 |    2314    33162    76220 |    11054        0    nan |  0.000 % |
213.12/213.26	c ===============================================================================
213.22/213.35	c core #530
213.22/213.35	c 
213.22/213.35	c 
213.22/213.35	c Core size: 14	Core Weight: 1	Total Weight: -470
213.22/213.35	c
213.22/213.35	c
213.22/213.35	c ============================[ Search Statistics ]==============================
213.22/213.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.22/213.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.22/213.35	c ===============================================================================
213.22/213.35	c |         0 |    2322    33163    76236 |    11054        0    nan |  0.000 % |
213.22/213.36	c ===============================================================================
213.32/213.45	c core #531
213.32/213.45	c 
213.32/213.45	c 
213.32/213.45	c Core size: 10	Core Weight: 1	Total Weight: -469
213.32/213.45	c
213.32/213.45	c
213.32/213.45	c ============================[ Search Statistics ]==============================
213.32/213.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.32/213.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.32/213.45	c ===============================================================================
213.32/213.45	c |         0 |    2328    33164    76248 |    11054        0    nan |  0.000 % |
213.32/213.47	c ===============================================================================
213.42/213.56	c core #532
213.42/213.56	c 
213.42/213.56	c 
213.42/213.56	c Core size: 14	Core Weight: 1	Total Weight: -468
213.42/213.56	c
213.42/213.56	c
213.42/213.56	c ============================[ Search Statistics ]==============================
213.42/213.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.42/213.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.42/213.56	c ===============================================================================
213.42/213.56	c |         0 |    2336    33165    76264 |    11055        0    nan |  0.000 % |
213.42/213.57	c ===============================================================================
213.52/213.66	c core #533
213.52/213.66	c 
213.52/213.66	c 
213.52/213.66	c Core size: 16	Core Weight: 1	Total Weight: -467
213.52/213.66	c
213.52/213.66	c
213.52/213.66	c ============================[ Search Statistics ]==============================
213.52/213.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.52/213.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.52/213.67	c ===============================================================================
213.52/213.67	c |         0 |    2346    33166    76284 |    11055        0    nan |  0.000 % |
213.52/213.68	c ===============================================================================
213.62/213.77	c core #534
213.62/213.77	c 
213.62/213.77	c 
213.62/213.77	c Core size: 10	Core Weight: 1	Total Weight: -466
213.62/213.77	c
213.62/213.77	c
213.62/213.77	c ============================[ Search Statistics ]==============================
213.62/213.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.62/213.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.62/213.77	c ===============================================================================
213.62/213.77	c |         0 |    2352    33167    76296 |    11055        0    nan |  0.000 % |
213.62/213.78	c ===============================================================================
213.72/213.87	c core #535
213.72/213.87	c 
213.72/213.87	c 
213.72/213.87	c Core size: 12	Core Weight: 1	Total Weight: -465
213.72/213.87	c
213.72/213.87	c
213.72/213.87	c ============================[ Search Statistics ]==============================
213.72/213.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.72/213.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.72/213.87	c ===============================================================================
213.72/213.87	c |         0 |    2360    33168    76312 |    11056        0    nan |  0.000 % |
213.72/213.89	c ===============================================================================
213.82/213.98	c core #536
213.82/213.98	c 
213.82/213.98	c 
213.82/213.98	c Core size: 16	Core Weight: 1	Total Weight: -464
213.82/213.98	c
213.82/213.98	c
213.82/213.98	c ============================[ Search Statistics ]==============================
213.82/213.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.82/213.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.82/213.98	c ===============================================================================
213.82/213.98	c |         0 |    2370    33169    76332 |    11056        0    nan |  0.000 % |
213.82/213.99	c ===============================================================================
213.92/214.08	c core #537
213.92/214.08	c 
213.92/214.08	c 
213.92/214.08	c Core size: 14	Core Weight: 1	Total Weight: -463
213.92/214.08	c
213.92/214.08	c
213.92/214.08	c ============================[ Search Statistics ]==============================
213.92/214.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
213.92/214.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
213.92/214.08	c ===============================================================================
213.92/214.08	c |         0 |    2378    33170    76348 |    11056        0    nan |  0.000 % |
213.92/214.09	c ===============================================================================
214.01/214.18	c core #538
214.01/214.18	c 
214.01/214.18	c 
214.01/214.18	c Core size: 12	Core Weight: 1	Total Weight: -462
214.01/214.18	c
214.01/214.18	c
214.01/214.18	c ============================[ Search Statistics ]==============================
214.01/214.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.01/214.18	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.01/214.18	c ===============================================================================
214.01/214.18	c |         0 |    2386    33171    76364 |    11057        0    nan |  0.000 % |
214.01/214.19	c ===============================================================================
214.11/214.28	c core #539
214.11/214.28	c 
214.11/214.28	c 
214.11/214.28	c Core size: 16	Core Weight: 1	Total Weight: -461
214.11/214.28	c
214.11/214.28	c
214.11/214.28	c ============================[ Search Statistics ]==============================
214.11/214.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.11/214.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.11/214.28	c ===============================================================================
214.11/214.28	c |         0 |    2396    33172    76384 |    11057        0    nan |  0.000 % |
214.21/214.30	c ===============================================================================
214.21/214.39	c core #540
214.21/214.39	c 
214.21/214.39	c 
214.21/214.39	c Core size: 16	Core Weight: 1	Total Weight: -460
214.21/214.39	c
214.21/214.39	c
214.21/214.39	c ============================[ Search Statistics ]==============================
214.21/214.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.21/214.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.21/214.39	c ===============================================================================
214.21/214.39	c |         0 |    2406    33173    76404 |    11057        0    nan |  0.000 % |
214.21/214.40	c ===============================================================================
214.32/214.49	c core #541
214.32/214.49	c 
214.32/214.49	c 
214.32/214.49	c Core size: 14	Core Weight: 1	Total Weight: -459
214.32/214.49	c
214.32/214.49	c
214.32/214.49	c ============================[ Search Statistics ]==============================
214.32/214.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.32/214.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.32/214.49	c ===============================================================================
214.32/214.49	c |         0 |    2414    33174    76420 |    11058        0    nan |  0.000 % |
214.42/214.50	c ===============================================================================
214.51/214.60	c core #542
214.51/214.60	c 
214.51/214.60	c 
214.51/214.60	c Core size: 14	Core Weight: 1	Total Weight: -458
214.51/214.60	c
214.51/214.60	c
214.51/214.60	c ============================[ Search Statistics ]==============================
214.51/214.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.51/214.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.51/214.60	c ===============================================================================
214.51/214.60	c |         0 |    2422    33175    76436 |    11058        0    nan |  0.000 % |
214.51/214.61	c ===============================================================================
214.61/214.70	c core #543
214.61/214.70	c 
214.61/214.70	c 
214.61/214.70	c Core size: 16	Core Weight: 1	Total Weight: -457
214.61/214.70	c
214.61/214.70	c
214.61/214.70	c ============================[ Search Statistics ]==============================
214.61/214.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.61/214.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.61/214.70	c ===============================================================================
214.61/214.70	c |         0 |    2432    33176    76456 |    11058        0    nan |  0.000 % |
214.61/214.71	c ===============================================================================
214.71/214.81	c core #544
214.71/214.81	c 
214.71/214.81	c 
214.71/214.81	c Core size: 14	Core Weight: 1	Total Weight: -456
214.71/214.81	c
214.71/214.81	c
214.71/214.81	c ============================[ Search Statistics ]==============================
214.71/214.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.71/214.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.71/214.81	c ===============================================================================
214.71/214.81	c |         0 |    2440    33177    76472 |    11059        0    nan |  0.000 % |
214.71/214.82	c ===============================================================================
214.81/214.91	c core #545
214.81/214.91	c 
214.81/214.91	c 
214.81/214.91	c Core size: 16	Core Weight: 1	Total Weight: -455
214.81/214.91	c
214.81/214.91	c
214.81/214.91	c ============================[ Search Statistics ]==============================
214.81/214.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.81/214.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.81/214.91	c ===============================================================================
214.81/214.91	c |         0 |    2450    33178    76492 |    11059        0    nan |  0.000 % |
214.81/214.93	c ===============================================================================
214.91/215.03	c core #546
214.91/215.03	c 
214.91/215.03	c 
214.91/215.03	c Core size: 19	Core Weight: 1	Total Weight: -454
214.91/215.03	c
214.91/215.03	c
214.91/215.03	c ============================[ Search Statistics ]==============================
214.91/215.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
214.91/215.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
214.91/215.03	c ===============================================================================
214.91/215.03	c |         0 |    2463    33179    76518 |    11059        0    nan |  0.000 % |
214.91/215.04	c ===============================================================================
215.01/215.13	c core #547
215.01/215.13	c 
215.01/215.13	c 
215.01/215.13	c Core size: 16	Core Weight: 1	Total Weight: -453
215.01/215.13	c
215.01/215.13	c
215.01/215.13	c ============================[ Search Statistics ]==============================
215.01/215.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.01/215.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.01/215.13	c ===============================================================================
215.01/215.13	c |         0 |    2473    33180    76538 |    11060        0    nan |  0.000 % |
215.01/215.14	c ===============================================================================
215.11/215.24	c core #548
215.11/215.24	c 
215.11/215.24	c 
215.11/215.24	c Core size: 14	Core Weight: 1	Total Weight: -452
215.11/215.24	c
215.11/215.24	c
215.11/215.24	c ============================[ Search Statistics ]==============================
215.11/215.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.11/215.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.11/215.24	c ===============================================================================
215.11/215.24	c |         0 |    2481    33181    76554 |    11060        0    nan |  0.000 % |
215.11/215.25	c ===============================================================================
215.21/215.35	c core #549
215.21/215.35	c 
215.21/215.35	c 
215.21/215.35	c Core size: 14	Core Weight: 1	Total Weight: -451
215.21/215.35	c
215.21/215.35	c
215.21/215.35	c ============================[ Search Statistics ]==============================
215.21/215.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.21/215.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.21/215.35	c ===============================================================================
215.21/215.35	c |         0 |    2489    33182    76570 |    11060        0    nan |  0.000 % |
215.21/215.36	c ===============================================================================
215.31/215.45	c core #550
215.31/215.45	c 
215.31/215.45	c 
215.31/215.45	c Core size: 16	Core Weight: 1	Total Weight: -450
215.31/215.45	c
215.31/215.45	c
215.31/215.45	c ============================[ Search Statistics ]==============================
215.31/215.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.31/215.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.31/215.45	c ===============================================================================
215.31/215.45	c |         0 |    2499    33183    76590 |    11061        0    nan |  0.000 % |
215.31/215.47	c ===============================================================================
215.42/215.56	c core #551
215.42/215.56	c 
215.42/215.56	c 
215.42/215.56	c Core size: 14	Core Weight: 1	Total Weight: -449
215.42/215.56	c
215.42/215.56	c
215.42/215.56	c ============================[ Search Statistics ]==============================
215.42/215.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.42/215.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.42/215.56	c ===============================================================================
215.42/215.56	c |         0 |    2507    33184    76606 |    11061        0    nan |  0.000 % |
215.42/215.58	c ===============================================================================
215.52/215.67	c core #552
215.52/215.67	c 
215.52/215.67	c 
215.52/215.67	c Core size: 16	Core Weight: 1	Total Weight: -448
215.52/215.67	c
215.52/215.67	c
215.52/215.67	c ============================[ Search Statistics ]==============================
215.52/215.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.52/215.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.52/215.67	c ===============================================================================
215.52/215.67	c |         0 |    2517    33185    76626 |    11061        0    nan |  0.000 % |
215.52/215.68	c ===============================================================================
215.61/215.77	c core #553
215.61/215.77	c 
215.61/215.77	c 
215.61/215.77	c Core size: 16	Core Weight: 1	Total Weight: -447
215.61/215.77	c
215.61/215.77	c
215.61/215.77	c ============================[ Search Statistics ]==============================
215.61/215.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.61/215.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.61/215.77	c ===============================================================================
215.61/215.77	c |         0 |    2527    33186    76646 |    11062        0    nan |  0.000 % |
215.61/215.79	c ===============================================================================
215.71/215.88	c core #554
215.71/215.88	c 
215.71/215.88	c 
215.71/215.88	c Core size: 14	Core Weight: 1	Total Weight: -446
215.71/215.88	c
215.71/215.88	c
215.71/215.88	c ============================[ Search Statistics ]==============================
215.71/215.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.71/215.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.71/215.88	c ===============================================================================
215.71/215.88	c |         0 |    2535    33187    76662 |    11062        0    nan |  0.000 % |
215.71/215.90	c ===============================================================================
215.81/215.99	c core #555
215.81/215.99	c 
215.81/215.99	c 
215.81/215.99	c Core size: 16	Core Weight: 1	Total Weight: -445
215.81/215.99	c
215.81/215.99	c
215.81/215.99	c ============================[ Search Statistics ]==============================
215.81/215.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.81/215.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.81/215.99	c ===============================================================================
215.81/215.99	c |         0 |    2545    33188    76682 |    11062        0    nan |  0.000 % |
215.91/216.00	c ===============================================================================
215.91/216.09	c core #556
215.91/216.09	c 
215.91/216.09	c 
215.91/216.09	c Core size: 16	Core Weight: 1	Total Weight: -444
215.91/216.09	c
215.91/216.09	c
215.91/216.09	c ============================[ Search Statistics ]==============================
215.91/216.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
215.91/216.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
215.91/216.09	c ===============================================================================
215.91/216.09	c |         0 |    2555    33189    76702 |    11063        0    nan |  0.000 % |
216.01/216.11	c ===============================================================================
216.11/216.20	c core #557
216.11/216.20	c 
216.11/216.20	c 
216.11/216.20	c Core size: 16	Core Weight: 1	Total Weight: -443
216.11/216.20	c
216.11/216.20	c
216.11/216.20	c ============================[ Search Statistics ]==============================
216.11/216.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.11/216.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.11/216.20	c ===============================================================================
216.11/216.20	c |         0 |    2565    33190    76722 |    11063        0    nan |  0.000 % |
216.11/216.21	c ===============================================================================
216.21/216.31	c core #558
216.21/216.31	c 
216.21/216.31	c 
216.21/216.31	c Core size: 20	Core Weight: 1	Total Weight: -442
216.21/216.31	c
216.21/216.31	c
216.21/216.31	c ============================[ Search Statistics ]==============================
216.21/216.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.21/216.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.21/216.31	c ===============================================================================
216.21/216.31	c |         0 |    2577    33191    76746 |    11063        0    nan |  0.000 % |
216.21/216.33	c ===============================================================================
216.31/216.42	c core #559
216.31/216.42	c 
216.31/216.42	c 
216.31/216.42	c Core size: 20	Core Weight: 1	Total Weight: -441
216.31/216.42	c
216.31/216.42	c
216.31/216.42	c ============================[ Search Statistics ]==============================
216.31/216.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.31/216.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.31/216.42	c ===============================================================================
216.31/216.42	c |         0 |    2589    33192    76770 |    11064        0    nan |  0.000 % |
216.31/216.44	c ===============================================================================
216.41/216.54	c core #560
216.41/216.54	c 
216.41/216.54	c 
216.41/216.54	c Core size: 18	Core Weight: 1	Total Weight: -440
216.41/216.54	c
216.41/216.54	c
216.41/216.54	c ============================[ Search Statistics ]==============================
216.41/216.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.41/216.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.41/216.54	c ===============================================================================
216.41/216.54	c |         0 |    2601    33193    76794 |    11064        0    nan |  0.000 % |
216.41/216.55	c ===============================================================================
216.52/216.65	c core #561
216.52/216.65	c 
216.52/216.65	c 
216.52/216.65	c Core size: 16	Core Weight: 1	Total Weight: -439
216.52/216.65	c
216.52/216.65	c
216.52/216.65	c ============================[ Search Statistics ]==============================
216.52/216.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.52/216.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.52/216.65	c ===============================================================================
216.52/216.65	c |         0 |    2611    33194    76814 |    11064        0    nan |  0.000 % |
216.52/216.65	c ===============================================================================
216.62/216.75	c core #562
216.62/216.75	c 
216.62/216.75	c 
216.62/216.75	c Core size: 16	Core Weight: 1	Total Weight: -438
216.62/216.75	c
216.62/216.75	c
216.62/216.75	c ============================[ Search Statistics ]==============================
216.62/216.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.62/216.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.62/216.75	c ===============================================================================
216.62/216.75	c |         0 |    2621    33195    76834 |    11065        0    nan |  0.000 % |
216.62/216.78	c ===============================================================================
216.71/216.87	c core #563
216.71/216.87	c 
216.71/216.87	c 
216.71/216.87	c Core size: 18	Core Weight: 1	Total Weight: -437
216.71/216.87	c
216.71/216.87	c
216.71/216.87	c ============================[ Search Statistics ]==============================
216.71/216.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.71/216.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.71/216.87	c ===============================================================================
216.71/216.87	c |         0 |    2631    33196    76854 |    11065        0    nan |  0.000 % |
216.71/216.88	c ===============================================================================
216.81/216.98	c core #564
216.81/216.98	c 
216.81/216.98	c 
216.81/216.98	c Core size: 20	Core Weight: 1	Total Weight: -436
216.81/216.98	c
216.81/216.98	c
216.81/216.98	c ============================[ Search Statistics ]==============================
216.81/216.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.81/216.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.81/216.98	c ===============================================================================
216.81/216.98	c |         0 |    2643    33197    76878 |    11065        0    nan |  0.000 % |
216.91/217.00	c ===============================================================================
216.91/217.09	c core #565
216.91/217.09	c 
216.91/217.09	c 
216.91/217.09	c Core size: 18	Core Weight: 1	Total Weight: -435
216.91/217.09	c
216.91/217.09	c
216.91/217.09	c ============================[ Search Statistics ]==============================
216.91/217.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
216.91/217.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
216.91/217.09	c ===============================================================================
216.91/217.09	c |         0 |    2653    33198    76898 |    11066        0    nan |  0.000 % |
217.01/217.11	c ===============================================================================
217.11/217.20	c core #566
217.11/217.20	c 
217.11/217.20	c 
217.11/217.20	c Core size: 20	Core Weight: 1	Total Weight: -434
217.11/217.20	c
217.11/217.20	c
217.11/217.20	c ============================[ Search Statistics ]==============================
217.11/217.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.11/217.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.11/217.20	c ===============================================================================
217.11/217.20	c |         0 |    2665    33199    76922 |    11066        0    nan |  0.000 % |
217.11/217.22	c ===============================================================================
217.21/217.31	c core #567
217.21/217.31	c 
217.21/217.31	c 
217.21/217.31	c Core size: 16	Core Weight: 1	Total Weight: -433
217.21/217.31	c
217.21/217.31	c
217.21/217.31	c ============================[ Search Statistics ]==============================
217.21/217.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.21/217.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.21/217.31	c ===============================================================================
217.21/217.31	c |         0 |    2675    33200    76942 |    11066        0    nan |  0.000 % |
217.21/217.32	c ===============================================================================
217.31/217.42	c core #568
217.31/217.42	c 
217.31/217.42	c 
217.31/217.42	c Core size: 16	Core Weight: 1	Total Weight: -432
217.31/217.42	c
217.31/217.42	c
217.31/217.42	c ============================[ Search Statistics ]==============================
217.31/217.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.31/217.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.31/217.42	c ===============================================================================
217.31/217.42	c |         0 |    2685    33201    76962 |    11067        0    nan |  0.000 % |
217.31/217.44	c ===============================================================================
217.41/217.54	c core #569
217.41/217.54	c 
217.41/217.54	c 
217.41/217.54	c Core size: 12	Core Weight: 1	Total Weight: -431
217.41/217.54	c
217.41/217.54	c
217.41/217.54	c ============================[ Search Statistics ]==============================
217.41/217.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.41/217.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.41/217.54	c ===============================================================================
217.41/217.54	c |         0 |    2693    33202    76978 |    11067        0    nan |  0.000 % |
217.41/217.56	c ===============================================================================
217.51/217.66	c core #570
217.51/217.66	c 
217.51/217.66	c 
217.51/217.66	c Core size: 18	Core Weight: 1	Total Weight: -430
217.51/217.66	c
217.51/217.66	c
217.51/217.66	c ============================[ Search Statistics ]==============================
217.51/217.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.51/217.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.51/217.66	c ===============================================================================
217.51/217.66	c |         0 |    2705    33203    77002 |    11067        0    nan |  0.000 % |
217.51/217.68	c ===============================================================================
217.62/217.77	c core #571
217.62/217.77	c 
217.62/217.77	c 
217.62/217.77	c Core size: 16	Core Weight: 1	Total Weight: -429
217.62/217.77	c
217.62/217.77	c
217.62/217.77	c ============================[ Search Statistics ]==============================
217.62/217.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.62/217.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.62/217.77	c ===============================================================================
217.62/217.77	c |         0 |    2715    33204    77022 |    11068        0    nan |  0.000 % |
217.62/217.79	c ===============================================================================
217.72/217.88	c core #572
217.72/217.88	c 
217.72/217.88	c 
217.72/217.88	c Core size: 20	Core Weight: 1	Total Weight: -428
217.72/217.88	c
217.72/217.88	c
217.72/217.88	c ============================[ Search Statistics ]==============================
217.72/217.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.72/217.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.72/217.88	c ===============================================================================
217.72/217.88	c |         0 |    2727    33205    77046 |    11068        0    nan |  0.000 % |
217.81/217.90	c ===============================================================================
217.91/218.00	c core #573
217.91/218.00	c 
217.91/218.00	c 
217.91/218.00	c Core size: 20	Core Weight: 1	Total Weight: -427
217.91/218.00	c
217.91/218.00	c
217.91/218.00	c ============================[ Search Statistics ]==============================
217.91/218.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
217.91/218.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
217.91/218.00	c ===============================================================================
217.91/218.00	c |         0 |    2739    33206    77070 |    11068        0    nan |  0.000 % |
217.91/218.02	c ===============================================================================
218.01/218.12	c core #574
218.01/218.12	c 
218.01/218.12	c 
218.01/218.12	c Core size: 20	Core Weight: 1	Total Weight: -426
218.01/218.12	c
218.01/218.12	c
218.01/218.12	c ============================[ Search Statistics ]==============================
218.01/218.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.01/218.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.01/218.12	c ===============================================================================
218.01/218.12	c |         0 |    2751    33207    77094 |    11069        0    nan |  0.000 % |
218.01/218.13	c ===============================================================================
218.11/218.23	c core #575
218.11/218.23	c 
218.11/218.23	c 
218.11/218.23	c Core size: 14	Core Weight: 1	Total Weight: -425
218.11/218.23	c
218.11/218.23	c
218.11/218.23	c ============================[ Search Statistics ]==============================
218.11/218.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.11/218.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.11/218.23	c ===============================================================================
218.11/218.23	c |         0 |    2759    33208    77110 |    11069        0    nan |  0.000 % |
218.11/218.25	c ===============================================================================
218.21/218.35	c core #576
218.21/218.35	c 
218.21/218.35	c 
218.21/218.35	c Core size: 22	Core Weight: 1	Total Weight: -424
218.21/218.35	c
218.21/218.35	c
218.21/218.35	c ============================[ Search Statistics ]==============================
218.21/218.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.21/218.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.21/218.35	c ===============================================================================
218.21/218.35	c |         0 |    2773    33209    77138 |    11069        0    nan |  0.000 % |
218.21/218.37	c ===============================================================================
218.31/218.47	c core #577
218.31/218.47	c 
218.31/218.47	c 
218.31/218.47	c Core size: 22	Core Weight: 1	Total Weight: -423
218.31/218.47	c
218.31/218.47	c
218.31/218.47	c ============================[ Search Statistics ]==============================
218.31/218.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.31/218.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.31/218.47	c ===============================================================================
218.31/218.47	c |         0 |    2787    33210    77166 |    11070        0    nan |  0.000 % |
218.31/218.49	c ===============================================================================
218.41/218.58	c core #578
218.41/218.58	c 
218.41/218.58	c 
218.41/218.58	c Core size: 20	Core Weight: 1	Total Weight: -422
218.41/218.58	c
218.41/218.58	c
218.41/218.58	c ============================[ Search Statistics ]==============================
218.41/218.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.41/218.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.41/218.58	c ===============================================================================
218.41/218.58	c |         0 |    2799    33211    77190 |    11070        0    nan |  0.000 % |
218.51/218.61	c ===============================================================================
218.61/218.70	c core #579
218.61/218.70	c 
218.61/218.70	c 
218.61/218.70	c Core size: 18	Core Weight: 1	Total Weight: -421
218.61/218.70	c
218.61/218.70	c
218.61/218.70	c ============================[ Search Statistics ]==============================
218.61/218.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.61/218.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.61/218.70	c ===============================================================================
218.61/218.70	c |         0 |    2809    33212    77210 |    11070        0    nan |  0.000 % |
218.61/218.72	c ===============================================================================
218.72/218.82	c core #580
218.72/218.82	c 
218.72/218.82	c 
218.72/218.82	c Core size: 29	Core Weight: 1	Total Weight: -420
218.72/218.82	c
218.72/218.82	c
218.72/218.82	c ============================[ Search Statistics ]==============================
218.72/218.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.72/218.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.72/218.82	c ===============================================================================
218.72/218.82	c |         0 |    2826    33213    77244 |    11071        0    nan |  0.000 % |
218.72/218.83	c ===============================================================================
218.82/218.93	c core #581
218.82/218.93	c 
218.82/218.93	c 
218.82/218.93	c Core size: 14	Core Weight: 1	Total Weight: -419
218.82/218.93	c
218.82/218.93	c
218.82/218.93	c ============================[ Search Statistics ]==============================
218.82/218.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.82/218.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.82/218.93	c ===============================================================================
218.82/218.93	c |         0 |    2834    33214    77260 |    11071        0    nan |  0.000 % |
218.82/218.94	c ===============================================================================
218.91/219.04	c core #582
218.91/219.04	c 
218.91/219.04	c 
218.91/219.04	c Core size: 20	Core Weight: 1	Total Weight: -418
218.91/219.04	c
218.91/219.04	c
218.91/219.04	c ============================[ Search Statistics ]==============================
218.91/219.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
218.91/219.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
218.91/219.04	c ===============================================================================
218.91/219.04	c |         0 |    2846    33215    77284 |    11071        0    nan |  0.000 % |
218.91/219.05	c ===============================================================================
219.01/219.15	c core #583
219.01/219.15	c 
219.01/219.15	c 
219.01/219.15	c Core size: 16	Core Weight: 1	Total Weight: -417
219.01/219.15	c
219.01/219.15	c
219.01/219.15	c ============================[ Search Statistics ]==============================
219.01/219.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
219.01/219.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
219.01/219.15	c ===============================================================================
219.01/219.15	c |         0 |    2856    33216    77304 |    11072        0    nan |  0.000 % |
219.01/219.18	c ===============================================================================
219.11/219.28	c core #584
219.11/219.28	c 
219.11/219.28	c 
219.11/219.28	c Core size: 28	Core Weight: 1	Total Weight: -416
219.11/219.28	c
219.11/219.28	c
219.11/219.28	c ============================[ Search Statistics ]==============================
219.11/219.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
219.11/219.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
219.11/219.28	c ===============================================================================
219.11/219.28	c |         0 |    2872    33217    77336 |    11072        0    nan |  0.000 % |
219.21/219.30	c ===============================================================================
219.31/219.40	c core #585
219.31/219.40	c 
219.31/219.40	c 
219.31/219.40	c Core size: 30	Core Weight: 1	Total Weight: -415
219.31/219.40	c
219.31/219.40	c
219.31/219.40	c ============================[ Search Statistics ]==============================
219.31/219.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
219.31/219.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
219.31/219.40	c ===============================================================================
219.31/219.40	c |         0 |    2890    33218    77372 |    11072        0    nan |  0.000 % |
219.31/219.42	c ===============================================================================
219.41/219.52	c core #586
219.41/219.52	c 
219.41/219.52	c 
219.41/219.52	c Core size: 37	Core Weight: 1	Total Weight: -414
219.41/219.52	c
219.41/219.52	c
219.41/219.52	c ============================[ Search Statistics ]==============================
219.41/219.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
219.41/219.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
219.41/219.52	c ===============================================================================
219.41/219.52	c |         0 |    2912    33219    77416 |    11073        0    nan |  0.000 % |
219.41/219.55	c ===============================================================================
219.51/219.65	c core #587
219.51/219.65	c 
219.51/219.65	c 
219.51/219.65	c Core size: 44	Core Weight: 1	Total Weight: -413
219.51/219.65	c
219.51/219.65	c
219.51/219.65	c ============================[ Search Statistics ]==============================
219.51/219.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
219.51/219.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
219.51/219.65	c ===============================================================================
219.51/219.65	c |         0 |    2942    33220    77476 |    11073        0    nan |  0.000 % |
219.51/219.68	c ===============================================================================
219.61/219.78	c core #588
219.61/219.78	c 
219.61/219.78	c 
219.61/219.78	c Core size: 56	Core Weight: 1	Total Weight: -412
219.61/219.78	c
219.61/219.78	c
219.61/219.78	c ============================[ Search Statistics ]==============================
219.61/219.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
219.61/219.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
219.61/219.78	c ===============================================================================
219.61/219.78	c |         0 |    2970    33221    77532 |    11073        0    nan |  0.000 % |
219.91/220.04	c |       100 |    2969    33221    77532 |    12181      100      5 | 84.179 % |
220.01/220.12	c ===============================================================================
220.11/220.22	c core #589
220.11/220.22	c 
220.11/220.22	c 
220.11/220.22	c Core size: 139	Core Weight: 1	Total Weight: -411
220.11/220.22	c
220.11/220.22	c
220.11/220.22	c ============================[ Search Statistics ]==============================
220.11/220.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
220.11/220.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
220.11/220.22	c ===============================================================================
220.11/220.22	c |         0 |    3078    33222    77748 |    11074        0    nan |  0.000 % |
220.21/220.35	c ===============================================================================
220.31/220.45	c core #590
220.31/220.45	c 
220.31/220.45	c 
220.31/220.45	c Core size: 79	Core Weight: 1	Total Weight: -410
220.31/220.45	c
220.31/220.45	c
220.31/220.45	c ============================[ Search Statistics ]==============================
220.31/220.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
220.31/220.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
220.31/220.45	c ===============================================================================
220.31/220.45	c |         0 |    3156    33223    77904 |    11074        0    nan |  0.000 % |
220.61/220.78	c |       101 |    3156    33223    77904 |    12181      101     24 | 83.347 % |
220.91/221.02	c |       251 |    3156    33223    77904 |    13399      251     18 | 83.347 % |
221.21/221.38	c |       477 |    3156    33223    77904 |    14739      477     19 | 83.347 % |
221.81/221.96	c |       816 |    3156    33223    77904 |    16213      816     20 | 83.347 % |
222.61/222.71	c |      1324 |    3127    33223    77904 |    17835     1214     18 | 83.500 % |
222.71/222.81	c ===============================================================================
222.81/222.92	c core #591
222.81/222.92	c 
222.81/222.92	c 
222.81/222.92	c Core size: 185	Core Weight: 1	Total Weight: -409
222.81/222.92	c
222.81/222.92	c
222.81/222.92	c ============================[ Search Statistics ]==============================
222.81/222.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
222.81/222.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
222.81/222.92	c ===============================================================================
222.81/222.92	c |         0 |    3328    33224    78248 |    11074        0    nan |  0.000 % |
223.01/223.12	c |       101 |    3328    33224    78248 |    12182      101     28 | 82.598 % |
223.11/223.25	c |       252 |    3328    33224    78248 |    13400      252     21 | 82.598 % |
223.40/223.53	c |       478 |    3328    33224    78248 |    14740      478     18 | 82.598 % |
223.71/223.88	c |       815 |    3328    33224    78248 |    16214      815     17 | 82.598 % |
224.71/224.90	c |      1321 |    3328    33224    78248 |    17835     1321     18 | 82.598 % |
225.71/225.88	c ===============================================================================
225.81/226.00	c core #592
225.81/226.00	c 
225.81/226.00	c 
225.81/226.00	c Core size: 130	Core Weight: 1	Total Weight: -408
225.81/226.00	c
225.81/226.00	c
225.81/226.00	c ============================[ Search Statistics ]==============================
225.81/226.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
225.81/226.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
225.81/226.00	c ===============================================================================
225.81/226.00	c |         0 |    3449    33225    78490 |    11075        0    nan |  0.000 % |
226.01/226.10	c |       101 |    3449    33225    78490 |    12182      101     17 | 82.078 % |
226.10/226.23	c |       251 |    3449    33225    78490 |    13400      251     16 | 82.078 % |
226.52/226.67	c |       476 |    3449    33225    78490 |    14740      476     24 | 82.078 % |
226.81/226.99	c |       817 |    3449    33225    78490 |    16214      817     27 | 82.078 % |
227.61/227.77	c |      1323 |    3449    33225    78490 |    17836     1323     30 | 82.078 % |
229.00/229.14	c |      2083 |    3449    33225    78490 |    19620     2083     30 | 82.078 % |
231.01/231.14	c |      3222 |    3449    33225    78490 |    21582     3222     30 | 82.078 % |
234.70/234.88	c |      4930 |    3418    33225    78490 |    23740     1760     19 | 82.240 % |
236.01/236.12	c ===============================================================================
236.11/236.29	c core #593
236.11/236.29	c 
236.11/236.29	c 
236.11/236.29	c Core size: 229	Core Weight: 1	Total Weight: -407
236.11/236.29	c
236.11/236.29	c
236.11/236.29	c ============================[ Search Statistics ]==============================
236.11/236.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
236.11/236.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
236.11/236.29	c ===============================================================================
236.11/236.29	c |         0 |    3662    33226    78916 |    11075        0    nan |  0.000 % |
236.32/236.42	c |       100 |    3662    33226    78916 |    12182      100     98 | 81.180 % |
236.51/236.66	c |       251 |    3662    33226    78916 |    13401      251     59 | 81.180 % |
236.80/236.93	c |       478 |    3662    33226    78916 |    14741      478     43 | 81.180 % |
237.10/237.28	c |       815 |    3662    33226    78916 |    16215      815     37 | 81.180 % |
237.90/238.05	c |      1322 |    3662    33226    78916 |    17836     1322     35 | 81.180 % |
239.01/239.15	c |      2082 |    3661    33226    78916 |    19620     2078     34 | 81.185 % |
240.90/241.02	c |      3221 |    3661    33226    78916 |    21582     3217     34 | 81.185 % |
244.01/244.17	c ===============================================================================
244.20/244.33	c core #594
244.20/244.33	c 
244.20/244.33	c 
244.20/244.33	c Core size: 257	Core Weight: 1	Total Weight: -406
244.20/244.33	c
244.20/244.33	c
244.20/244.33	c ============================[ Search Statistics ]==============================
244.20/244.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
244.20/244.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
244.20/244.33	c ===============================================================================
244.20/244.33	c |         0 |    3883    33227    79358 |    11075        0    nan |  0.000 % |
244.40/244.53	c |       100 |    3883    33227    79358 |    12183      100     27 | 80.268 % |
244.50/244.68	c |       252 |    3883    33227    79358 |    13401      252     23 | 80.268 % |
244.70/244.89	c |       482 |    3883    33227    79358 |    14741      482     16 | 80.268 % |
245.21/245.31	c |       821 |    3883    33227    79358 |    16215      821     18 | 80.268 % |
246.00/246.19	c |      1328 |    3883    33227    79358 |    17837     1328     18 | 80.268 % |
247.50/247.70	c |      2088 |    3882    33227    79358 |    19621     2086     19 | 80.273 % |
249.50/249.65	c ===============================================================================
249.60/249.79	c core #595
249.60/249.79	c 
249.60/249.79	c 
249.60/249.79	c Core size: 174	Core Weight: 1	Total Weight: -405
249.60/249.79	c
249.60/249.79	c
249.60/249.79	c ============================[ Search Statistics ]==============================
249.60/249.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
249.60/249.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
249.60/249.79	c ===============================================================================
249.60/249.79	c |         0 |    4037    33228    79666 |    11076        0    nan |  0.000 % |
249.70/249.89	c |       100 |    4037    33228    79666 |    12183      100     41 | 79.645 % |
249.90/250.08	c |       251 |    4037    33228    79666 |    13401      251     32 | 79.645 % |
250.10/250.23	c |       478 |    4037    33228    79666 |    14742      478     30 | 79.645 % |
250.40/250.58	c |       815 |    4037    33228    79666 |    16216      815     35 | 79.645 % |
251.10/251.28	c |      1321 |    4037    33228    79666 |    17838     1321     38 | 79.645 % |
252.50/252.62	c |      2080 |    4037    33228    79666 |    19621     2080     48 | 79.645 % |
254.20/254.39	c |      3222 |    4037    33228    79666 |    21583     3222     46 | 79.645 % |
257.21/257.31	c |      4932 |    4037    33228    79666 |    23742     4932     43 | 79.645 % |
262.81/262.95	c |      7495 |    4037    33228    79666 |    26116     7495     43 | 79.645 % |
269.40/269.50	c ===============================================================================
269.49/269.69	c core #596
269.49/269.69	c 
269.49/269.69	c 
269.49/269.69	c Core size: 290	Core Weight: 1	Total Weight: -404
269.49/269.69	c
269.49/269.69	c
269.49/269.69	c ============================[ Search Statistics ]==============================
269.49/269.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
269.49/269.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
269.49/269.69	c ===============================================================================
269.49/269.69	c |         0 |    4293    33229    80178 |    11076        0    nan |  0.000 % |
269.70/269.83	c |       101 |    4293    33229    80178 |    12183      101     10 | 78.630 % |
269.80/269.97	c |       252 |    4293    33229    80178 |    13402      252     10 | 78.630 % |
269.99/270.15	c |       478 |    4293    33229    80178 |    14742      478     12 | 78.630 % |
270.40/270.56	c |       816 |    4293    33229    80178 |    16216      816     14 | 78.630 % |
270.99/271.16	c |      1322 |    4293    33229    80178 |    17838     1322     14 | 78.630 % |
272.19/272.39	c |      2081 |    4293    33229    80178 |    19622     2081     15 | 78.630 % |
273.30/273.44	c ===============================================================================
273.40/273.57	c core #597
273.40/273.57	c 
273.40/273.57	c 
273.40/273.57	c Core size: 164	Core Weight: 1	Total Weight: -403
273.40/273.57	c
273.40/273.57	c
273.40/273.57	c ============================[ Search Statistics ]==============================
273.40/273.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
273.40/273.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
273.40/273.57	c ===============================================================================
273.40/273.57	c |         0 |    4426    33230    80444 |    11076        0    nan |  0.000 % |
273.59/273.73	c |       100 |    4426    33230    80444 |    12184      100     27 | 78.113 % |
273.70/273.90	c |       250 |    4426    33230    80444 |    13402      250     18 | 78.113 % |
273.89/274.09	c |       475 |    4426    33230    80444 |    14743      475     18 | 78.113 % |
274.49/274.63	c |       812 |    4426    33230    80444 |    16217      812     24 | 78.113 % |
275.50/275.67	c |      1319 |    4426    33230    80444 |    17839     1319     29 | 78.113 % |
276.89/277.10	c |      2079 |    4426    33230    80444 |    19622     2079     34 | 78.113 % |
279.30/279.48	c |      3218 |    4426    33230    80444 |    21585     3218     35 | 78.113 % |
282.49/282.60	c |      4926 |    4426    33230    80444 |    23743     4926     34 | 78.113 % |
287.89/288.01	c |      7488 |    4426    33230    80444 |    26118     7488     34 | 78.113 % |
292.98/293.17	c ===============================================================================
293.28/293.46	c core #598
293.28/293.46	c 
293.28/293.46	c 
293.28/293.46	c Core size: 120	Core Weight: 1	Total Weight: -402
293.28/293.46	c
293.28/293.46	c
293.28/293.46	c ============================[ Search Statistics ]==============================
293.28/293.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
293.28/293.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
293.28/293.46	c ===============================================================================
293.28/293.46	c |         0 |    4537    33231    80666 |    11077        0    nan |  0.000 % |
293.38/293.59	c |       102 |    4537    33231    80666 |    12184      102     28 | 77.687 % |
293.59/293.71	c |       252 |    4537    33231    80666 |    13403      252     23 | 77.687 % |
293.68/293.87	c |       479 |    4537    33231    80666 |    14743      479     31 | 77.687 % |
293.99/294.17	c |       817 |    4537    33231    80666 |    16217      817     36 | 77.687 % |
294.59/294.72	c |      1323 |    4537    33231    80666 |    17839     1323     45 | 77.687 % |
295.59/295.76	c |      2084 |    4537    33231    80666 |    19623     2084     57 | 77.687 % |
297.28/297.40	c |      3223 |    4537    33231    80666 |    21585     3223     67 | 77.687 % |
299.58/299.71	c |      4931 |    4537    33231    80666 |    23744     4931     73 | 77.687 % |
303.58/303.74	c |      7493 |    4537    33231    80666 |    26118     7493     78 | 77.687 % |
311.88/312.03	c |     11338 |    4537    33231    80666 |    28730    11338     85 | 77.687 % |
322.77/322.98	c |     17106 |    4537    33231    80666 |    31603    17106     85 | 77.687 % |
341.26/341.40	c |     25756 |    4537    33231    80666 |    34764    25756     85 | 77.687 % |
379.75/379.94	c |     38730 |    4537    33231    80666 |    38240    38730     86 | 77.687 % |
449.73/449.92	c |     58191 |    4537    33231    80666 |    42064    18988     77 | 77.687 % |
527.80/528.05	c |     87387 |    4537    33231    80666 |    46271    48184     73 | 77.687 % |
650.05/650.34	c |    131178 |    4537    33231    80666 |    50898    45173     58 | 77.687 % |
705.03/705.39	c ===============================================================================
706.53/706.80	c core #599
706.53/706.80	c 
706.53/706.80	c 
706.53/706.80	c Core size: 250	Core Weight: 1	Total Weight: -401
706.53/706.80	c
706.53/706.80	c
706.53/706.80	c ============================[ Search Statistics ]==============================
706.53/706.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
706.53/706.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
706.53/706.80	c ===============================================================================
706.53/706.80	c |         0 |    4755    33232    81102 |    11077        0    nan |  0.000 % |
706.63/706.92	c |       100 |    4755    33232    81102 |    12185      100     26 | 76.862 % |
706.63/706.98	c |       250 |    4755    33232    81102 |    13403      250     30 | 76.862 % |
706.83/707.13	c |       475 |    4755    33232    81102 |    14743      475     36 | 76.862 % |
706.93/707.29	c |       814 |    4755    33232    81102 |    16218      814     30 | 76.862 % |
707.33/707.67	c |      1320 |    4755    33232    81102 |    17840     1320     29 | 76.862 % |
708.04/708.31	c |      2079 |    4755    33232    81102 |    19624     2079     30 | 76.862 % |
708.83/709.11	c |      3218 |    4755    33232    81102 |    21586     3218     34 | 76.862 % |
710.53/710.90	c |      4926 |    4755    33232    81102 |    23745     4926     40 | 76.862 % |
713.13/713.50	c |      7488 |    4755    33232    81102 |    26119     7488     40 | 76.862 % |
718.12/718.46	c |     11337 |    4755    33232    81102 |    28731    11337     41 | 76.862 % |
726.02/726.31	c |     17106 |    4755    33232    81102 |    31604    17106     41 | 76.862 % |
741.42/741.71	c |     25755 |    4755    33232    81102 |    34765    25755     46 | 76.862 % |
770.31/770.69	c |     38729 |    4755    33232    81102 |    38241    38729     52 | 76.862 % |
803.90/804.27	c ===============================================================================
805.39/805.78	c core #600
805.39/805.78	c 
805.39/805.78	c 
805.39/805.78	c Core size: 196	Core Weight: 1	Total Weight: -400
805.39/805.78	c
805.39/805.78	c
805.39/805.78	c ============================[ Search Statistics ]==============================
805.39/805.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
805.39/805.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
805.39/805.79	c ===============================================================================
805.39/805.79	c |         0 |    4937    33233    81466 |    11077        0    nan |  0.000 % |
805.59/805.95	c |       103 |    4937    33233    81466 |    12185      103     39 | 76.188 % |
805.70/806.03	c |       253 |    4937    33233    81466 |    13403      253     28 | 76.188 % |
805.80/806.19	c |       479 |    4937    33233    81466 |    14744      479     26 | 76.188 % |
806.00/806.38	c |       817 |    4937    33233    81466 |    16218      817     29 | 76.188 % |
806.39/806.77	c |      1325 |    4937    33233    81466 |    17840     1325     40 | 76.188 % |
807.29/807.67	c |      2085 |    4937    33233    81466 |    19624     2085     48 | 76.188 % |
808.99/809.39	c |      3225 |    4937    33233    81466 |    21587     3225     56 | 76.188 % |
811.79/812.15	c |      4937 |    4937    33233    81466 |    23745     4937     66 | 76.188 % |
816.29/816.69	c |      7499 |    4937    33233    81466 |    26120     7499     68 | 76.188 % |
823.39/823.74	c |     11343 |    4937    33233    81466 |    28732    11343     74 | 76.188 % |
834.38/834.75	c |     17109 |    4937    33233    81466 |    31605    17109     74 | 76.188 % |
850.58/850.94	c |     25758 |    4937    33233    81466 |    34766    25758     72 | 76.188 % |
887.96/888.33	c |     38732 |    4937    33233    81466 |    38243    38732     78 | 76.188 % |
950.44/950.81	c |     58193 |    4937    33233    81466 |    42067    18357     89 | 76.188 % |
1048.31/1048.77	c |     87386 |    4937    33233    81466 |    46274    47550    103 | 76.188 % |
1206.85/1207.32	c |    131178 |    4937    33233    81466 |    50901    44042    100 | 76.188 % |
1457.67/1458.20	c |    196862 |    4937    33233    81466 |    55991    59184    109 | 76.188 % |
1778.96/1779.64	c |    295389 |    4937    33233    81466 |    61590    47206     93 | 76.188 % |

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-2702485-1278568419/watcher-2702485-1278568419 -o /tmp/evaluation-result-2702485-1278568419/solver-2702485-1278568419 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702485-1278568419.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.99 0.97 0.91 2/106 27632
/proc/meminfo: memFree=1676984/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=4236 CPUtime=0
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 351 0 0 0 0 0 0 0 19 0 1 0 25055512 4337664 269 1992294400 134512640 135752675 4289296592 18446744073709551615 134609568 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 1059 270 134 303 0 417 0

[startup+0.084346 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 27632
/proc/meminfo: memFree=1676984/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=7888 CPUtime=0.07
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 1268 0 0 0 7 0 0 0 19 0 1 0 25055512 8077312 1186 1992294400 134512640 135752675 4289296592 18446744073709551615 134559911 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 1972 1186 217 303 0 1330 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7888

[startup+0.100349 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 27632
/proc/meminfo: memFree=1676984/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=8020 CPUtime=0.08
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 1337 0 0 0 8 0 0 0 19 0 1 0 25055512 8212480 1255 1992294400 134512640 135752675 4289296592 18446744073709551615 134569823 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 2005 1256 240 303 0 1363 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8020

[startup+0.300389 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 27632
/proc/meminfo: memFree=1676984/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=12432 CPUtime=0.29
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 2965 0 0 0 28 1 0 0 20 0 1 0 25055512 12730368 2513 1992294400 134512640 135752675 4289296592 18446744073709551615 134599262 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 3108 2513 143 303 0 2803 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12432

[startup+0.700467 s]
/proc/loadavg: 0.99 0.97 0.91 2/106 27632
/proc/meminfo: memFree=1676984/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=12432 CPUtime=0.68
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 2967 0 0 0 65 3 0 0 18 0 1 0 25055512 12730368 2515 1992294400 134512640 135752675 4289296592 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 3108 2515 145 303 0 2803 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12432

[startup+1.50062 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27633
/proc/meminfo: memFree=1665196/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=19040 CPUtime=1.49
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 4653 0 0 0 143 6 0 0 19 0 1 0 25055512 19496960 4201 1992294400 134512640 135752675 4289296592 18446744073709551615 134638319 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 4760 4201 145 303 0 4455 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19040

[startup+3.10094 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27633
/proc/meminfo: memFree=1656392/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=29624 CPUtime=3.08
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 7321 0 0 0 300 8 0 0 22 0 1 0 25055512 30334976 6869 1992294400 134512640 135752675 4289296592 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 7406 6869 145 303 0 7101 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 29624

[startup+6.30056 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27633
/proc/meminfo: memFree=1634816/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=50804 CPUtime=6.29
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 12608 0 0 0 616 13 0 0 25 0 1 0 25055512 52023296 12156 1992294400 134512640 135752675 4289296592 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 12701 12156 145 303 0 12396 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50804

[startup+12.7008 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27633
/proc/meminfo: memFree=1596632/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=85620 CPUtime=12.68
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 21305 0 0 0 1248 20 0 0 25 0 1 0 25055512 87674880 20853 1992294400 134512640 135752675 4289296592 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 21405 20853 145 303 0 21100 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85620

[startup+25.5003 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27633
/proc/meminfo: memFree=1567616/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=111944 CPUtime=25.47
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 27874 0 0 0 2520 27 0 0 25 0 1 0 25055512 114630656 27422 1992294400 134512640 135752675 4289296592 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 27986 27422 145 303 0 27681 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 111944

[startup+51.1003 s]
/proc/loadavg: 1.05 0.99 0.91 2/107 27633
/proc/meminfo: memFree=1506608/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=175028 CPUtime=51.07
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 43625 0 0 0 5064 43 0 0 25 0 1 0 25055512 179228672 43173 1992294400 134512640 135752675 4289296592 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 43757 43173 145 303 0 43452 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 175028

[startup+102.308 s]
/proc/loadavg: 1.08 1.00 0.92 2/107 27635
/proc/meminfo: memFree=1388436/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=291096 CPUtime=102.26
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 72582 0 0 0 10158 68 0 0 25 0 1 0 25055512 298082304 72130 1992294400 134512640 135752675 4289296592 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 72774 72130 145 303 0 72469 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 291096

[startup+162.301 s]
/proc/loadavg: 1.09 1.01 0.93 2/107 27637
/proc/meminfo: memFree=1250300/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=429640 CPUtime=162.24
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 107190 0 0 0 16125 99 0 0 25 0 1 0 25055512 439951360 106738 1992294400 134512640 135752675 4289296592 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 107410 106738 145 303 0 107105 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 429640

[startup+222.302 s]
/proc/loadavg: 1.08 1.03 0.93 2/107 27639
/proc/meminfo: memFree=1164864/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=512772 CPUtime=222.21
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 128901 0 0 0 22103 118 0 0 25 0 1 0 25055512 525078528 127696 1992294400 134512640 135752675 4289296592 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 128193 127696 146 303 0 127888 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 512772

[startup+282.302 s]
/proc/loadavg: 1.08 1.03 0.94 2/107 27641
/proc/meminfo: memFree=1164120/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=513736 CPUtime=282.18
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 129141 0 0 0 28082 136 0 0 25 0 1 0 25055512 526065664 127936 1992294400 134512640 135752675 4289296592 18446744073709551615 134605498 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 128434 127936 146 303 0 128129 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 513736

[startup+342.301 s]
/proc/loadavg: 1.07 1.04 0.94 2/107 27641
/proc/meminfo: memFree=1156804/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=520856 CPUtime=342.16
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 131153 0 0 0 34062 154 0 0 25 0 1 0 25055512 533356544 129740 1992294400 134512640 135752675 4289296592 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 130214 129740 146 303 0 129909 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 520856

[startup+402.301 s]
/proc/loadavg: 1.07 1.04 0.95 2/107 27643
/proc/meminfo: memFree=1147628/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=530332 CPUtime=402.15
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 133484 0 0 0 40047 168 0 0 25 0 1 0 25055512 543059968 132071 1992294400 134512640 135752675 4289296592 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 132583 132071 146 303 0 132278 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 530332

[startup+462.301 s]
/proc/loadavg: 1.06 1.05 0.95 2/107 27654
/proc/meminfo: memFree=1137584/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=539576 CPUtime=462.11
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 135804 0 0 0 46031 180 0 0 25 0 1 0 25055512 552525824 134391 1992294400 134512640 135752675 4289296592 18446744073709551615 134605515 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 134894 134391 146 303 0 134589 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 539576

[startup+522.302 s]
/proc/loadavg: 1.06 1.05 0.96 2/107 27656
/proc/meminfo: memFree=1128160/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=549152 CPUtime=522.1
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 138179 0 0 0 52016 194 0 0 25 0 1 0 25055512 562331648 136766 1992294400 134512640 135752675 4289296592 18446744073709551615 134605234 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 137288 136766 146 303 0 136983 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 549152

[startup+582.301 s]
/proc/loadavg: 1.13 1.07 0.97 2/107 27658
/proc/meminfo: memFree=1119356/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=558060 CPUtime=582.07
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 140362 0 0 0 58001 206 0 0 25 0 1 0 25055512 571453440 138949 1992294400 134512640 135752675 4289296592 18446744073709551615 134605292 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 139515 138949 146 303 0 139210 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 558060

[startup+642.301 s]
/proc/loadavg: 1.12 1.07 0.97 2/107 27658
/proc/meminfo: memFree=1110304/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=566976 CPUtime=642.06
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 142601 0 0 0 63986 220 0 0 25 0 1 0 25055512 580583424 141188 1992294400 134512640 135752675 4289296592 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 141744 141188 146 303 0 141439 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 566976

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.08 1.07 1.00 2/107 27666
/proc/meminfo: memFree=1096540/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=580388 CPUtime=881.97
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 146401 0 0 0 87925 272 0 0 25 0 1 0 25055512 594317312 144538 1992294400 134512640 135752675 4289296592 18446744073709551615 134616153 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 145097 144538 146 303 0 144792 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 580388

[startup+942.301 s]
/proc/loadavg: 1.08 1.07 1.00 3/107 27666
/proc/meminfo: memFree=1089968/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=587484 CPUtime=941.95
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 148161 0 0 0 93913 282 0 0 25 0 1 0 25055512 601583616 146298 1992294400 134512640 135752675 4289296592 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 146871 146298 146 303 0 146566 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 587484

[startup+1002.3 s]
/proc/loadavg: 1.07 1.07 1.00 2/107 27668
/proc/meminfo: memFree=1079924/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=597404 CPUtime=1001.93
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 150642 0 0 0 99897 296 0 0 25 0 1 0 25055512 611741696 148779 1992294400 134512640 135752675 4289296592 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 149351 148779 146 303 0 149046 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 597404

[startup+1062.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 27670
/proc/meminfo: memFree=1070252/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=607312 CPUtime=1061.9
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 153095 0 0 0 105884 306 0 0 25 0 1 0 25055512 621887488 151232 1992294400 134512640 135752675 4289296592 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 151828 151232 146 303 0 151523 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 607312

[startup+1122.3 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 27672
/proc/meminfo: memFree=1062316/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=615244 CPUtime=1121.89
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 155019 0 0 0 111873 316 0 0 25 0 1 0 25055512 630009856 153156 1992294400 134512640 135752675 4289296592 18446744073709551615 134518816 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 153811 153156 146 303 0 153506 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 615244

[startup+1182.3 s]
/proc/loadavg: 1.06 1.06 1.00 2/107 27674
/proc/meminfo: memFree=1050784/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=626976 CPUtime=1181.87
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 157956 0 0 0 117858 329 0 0 25 0 1 0 25055512 642023424 156093 1992294400 134512640 135752675 4289296592 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 156744 156093 146 303 0 156439 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 626976

[startup+1242.3 s]
/proc/loadavg: 1.13 1.08 1.01 2/107 27674
/proc/meminfo: memFree=1040616/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=636784 CPUtime=1241.84
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 160396 0 0 0 123842 342 0 0 25 0 1 0 25055512 652066816 158533 1992294400 134512640 135752675 4289296592 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 159196 158533 146 303 0 158891 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 636784

[startup+1302.3 s]
/proc/loadavg: 1.12 1.08 1.00 2/107 27676
/proc/meminfo: memFree=1033920/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=643420 CPUtime=1301.83
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 162024 0 0 0 129832 351 0 0 25 0 1 0 25055512 658862080 160161 1992294400 134512640 135752675 4289296592 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 160855 160161 146 303 0 160550 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 643420

[startup+1362.3 s]
/proc/loadavg: 1.11 1.08 1.00 2/107 27678
/proc/meminfo: memFree=1022264/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=655132 CPUtime=1361.8
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 164970 0 0 0 135817 363 0 0 25 0 1 0 25055512 670855168 163107 1992294400 134512640 135752675 4289296592 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 163783 163107 146 303 0 163478 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 655132

[startup+1422.31 s]
/proc/loadavg: 1.10 1.08 1.00 2/107 27680
/proc/meminfo: memFree=1011600/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=665824 CPUtime=1421.78
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 167622 0 0 0 141800 378 0 0 25 0 1 0 25055512 681803776 165759 1992294400 134512640 135752675 4289296592 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 166456 165759 146 303 0 166151 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 665824

[startup+1482.3 s]
/proc/loadavg: 1.09 1.07 1.00 2/107 27682
/proc/meminfo: memFree=1001556/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=676076 CPUtime=1481.76
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 170145 0 0 0 147787 389 0 0 25 0 1 0 25055512 692301824 168282 1992294400 134512640 135752675 4289296592 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 169019 168282 146 303 0 168714 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 676076

[startup+1542.3 s]
/proc/loadavg: 1.08 1.07 1.00 2/107 27685
/proc/meminfo: memFree=990520/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=686488 CPUtime=1541.75
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 172758 0 0 0 153774 401 0 0 25 0 1 0 25055512 702963712 170895 1992294400 134512640 135752675 4289296592 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 171622 170895 146 303 0 171317 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 686488

[startup+1602.3 s]
/proc/loadavg: 1.08 1.07 1.00 2/107 27687
/proc/meminfo: memFree=978616/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=698640 CPUtime=1601.72
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 175792 0 0 0 159757 415 0 0 25 0 1 0 25055512 715407360 173929 1992294400 134512640 135752675 4289296592 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 174660 173929 146 303 0 174355 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 698640

[startup+1662.3 s]
/proc/loadavg: 1.12 1.09 1.01 2/107 27689
/proc/meminfo: memFree=967952/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=709292 CPUtime=1661.7
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 178431 0 0 0 165742 428 0 0 25 0 1 0 25055512 726315008 176568 1992294400 134512640 135752675 4289296592 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 177323 176568 146 303 0 177018 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 709292

[startup+1722.3 s]
/proc/loadavg: 1.08 1.08 1.01 2/107 27691
/proc/meminfo: memFree=956668/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=720856 CPUtime=1721.68
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 181282 0 0 0 171726 442 0 0 25 0 1 0 25055512 738156544 179419 1992294400 134512640 135752675 4289296592 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 180214 179419 146 303 0 179909 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 720856

[startup+1782.3 s]
/proc/loadavg: 1.07 1.08 1.01 2/107 27693
/proc/meminfo: memFree=944392/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=732924 CPUtime=1781.66
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 184309 0 0 0 177711 455 0 0 25 0 1 0 25055512 750514176 182446 1992294400 134512640 135752675 4289296592 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 183231 182446 146 303 0 182926 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 732924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.11 1.09 1.01 2/107 27693
/proc/meminfo: memFree=941292/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=736012 CPUtime=1800.06
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 185066 0 0 0 179547 459 0 0 25 0 1 0 25055512 753676288 183203 1992294400 134512640 135752675 4289296592 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 184003 183203 146 303 0 183698 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 736012

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

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

[startup+1800.71 s]
/proc/loadavg: 1.11 1.09 1.01 2/107 27693
/proc/meminfo: memFree=941292/2059040 swapFree=4147384/4192956
[pid=27632] ppid=27630 vsize=736012 CPUtime=1800.06
/proc/27632/stat : 27632 (wbo1.4b) R 27630 27632 27223 0 -1 4202496 185066 0 0 0 179547 459 0 0 25 0 1 0 25055512 753676288 183203 1992294400 134512640 135752675 4289296592 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27632/statm: 184003 183203 146 303 0 183698 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 736012

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.79
CPU time (s): 1800.15
CPU user time (s): 1795.48
CPU system time (s): 4.66829
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (KiB): 736012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.48
system time used= 4.66829
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185066
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= 83
involuntary context switches= 1563

runsolver used 3.10153 second user time and 8.42672 second system time

The end

Launcher Data 

Begin job on node006 at 2010-07-08 07:53:39
IDJOB=2702485
IDBENCH=48177
IDSOLVER=1190
FILE ID=node006/2702485-1278568419
PBS_JOBID= 11239552
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_1000_25_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-2702485-1278568419/watcher-2702485-1278568419 -o /tmp/evaluation-result-2702485-1278568419/solver-2702485-1278568419 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702485-1278568419.opb

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

MD5SUM BENCH= d847cf1d914db0ec942abd195c5092c7
RANDOM SEED=767507959

node006.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.269
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.53
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.269
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1678876 kB
Buffers:         71780 kB
Cached:         215424 kB
SwapCached:       4204 kB
Active:         141124 kB
Inactive:       164980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1678876 kB
SwapTotal:     4192956 kB
SwapFree:      4147384 kB
Dirty:            3008 kB
Writeback:           0 kB
AnonPages:       15832 kB
Mapped:          12204 kB
Slab:            52132 kB
PageTables:       4212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179140 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-2702485-1278568419.opb

Free space on /tmp at the end= 62576 MiB
End job on node006 at 2010-07-08 08:23:42