Trace number 2702489

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.11 1800.65

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_60_2.opb
MD5SUMfecc1e3404707b1609ea9647c91fc73f
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-36
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -36
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint60
Maximum length of a constraint105
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)37488
Sum of products size (including duplicates)74976
Number of different products18744
Sum of products size37488

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-2702489-1278568438.opb.
0.00/0.00	c Instance file HOME/instance-2702489-1278568438.opb
0.00/0.00	c File size is 1616311 bytes.
0.19/0.26	c Highest Coefficient sum: 105
0.19/0.26	c ============================[ Problem Statistics ]=============================
0.19/0.26	c |                                                                             |
0.19/0.26	c |  Parsing time:          0.26         s                                      |
0.19/0.26	c |  Number Variables:      19244                                               |
0.19/0.26	c |  Number Clauses:        18744                                               |
0.19/0.26	c |  Number Cardinality:    1000                                                |
0.19/0.26	c |  Number PB Constraints: 18744                                               |
0.29/0.33	c ============================[ Search Statistics ]==============================
0.29/0.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.33	c ===============================================================================
0.29/0.33	c |         0 |     500    38488    93120 |    12829        0    nan |  0.000 % |
0.29/0.34	c ===============================================================================
0.29/0.34	c New solution: 0
0.29/0.34	o 0
0.29/0.34	c Elapsed CPU time: 0.32595 s	Remaining CPU time: 179.674 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |         0 |     500    38489    93620 |    12829        0    nan |  0.000 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: -1
0.29/0.35	o -1
0.29/0.35	c Elapsed CPU time: 0.333949 s	Remaining CPU time: 179.666 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |         0 |     500    38490    94120 |    12830        0    nan |  0.000 % |
0.29/0.35	c ===============================================================================
0.29/0.35	c New solution: -2
0.29/0.35	o -2
0.29/0.35	c Elapsed CPU time: 0.340948 s	Remaining CPU time: 179.659 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |         1 |     500    38491    94620 |    12830        1    499 |  0.000 % |
0.29/0.36	c ===============================================================================
0.29/0.36	c New solution: -3
0.29/0.36	o -3
0.29/0.36	c Elapsed CPU time: 0.348946 s	Remaining CPU time: 179.651 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |         2 |     500    38492    95120 |    12830        2    498 |  0.000 % |
0.29/0.37	c ===============================================================================
0.29/0.37	c New solution: -4
0.29/0.37	o -4
0.29/0.37	c Elapsed CPU time: 0.355945 s	Remaining CPU time: 179.644 s
0.29/0.37	c ===============================================================================
0.29/0.37	c |         3 |     500    38493    95620 |    12831        3    498 |  0.000 % |
0.29/0.38	c ===============================================================================
0.29/0.38	c New solution: -5
0.29/0.38	o -5
0.29/0.38	c Elapsed CPU time: 0.362944 s	Remaining CPU time: 179.637 s
0.29/0.38	c ===============================================================================
0.29/0.38	c |         4 |     500    38494    96120 |    12831        4    498 |  0.000 % |
0.29/0.39	c ===============================================================================
0.29/0.39	c New solution: -6
0.29/0.39	o -6
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 |         5 |     500    38495    96620 |    12831        5    497 |  0.000 % |
0.29/0.39	c ===============================================================================
0.29/0.39	c New solution: -7
0.29/0.39	o -7
0.29/0.39	c Elapsed CPU time: 0.377942 s	Remaining CPU time: 179.622 s
0.29/0.39	c ===============================================================================
0.29/0.39	c |         7 |     500    38496    97120 |    12832        7    496 |  0.000 % |
0.39/0.40	c ===============================================================================
0.39/0.40	c New solution: -8
0.39/0.40	o -8
0.39/0.40	c Elapsed CPU time: 0.384941 s	Remaining CPU time: 179.615 s
0.39/0.40	c ===============================================================================
0.39/0.40	c |         8 |     500    38497    97620 |    12832        8    496 |  0.000 % |
0.39/0.41	c ===============================================================================
0.39/0.41	c New solution: -9
0.39/0.41	o -9
0.39/0.41	c Elapsed CPU time: 0.39394 s	Remaining CPU time: 179.606 s
0.39/0.41	c ===============================================================================
0.39/0.41	c |        23 |     500    38498    98120 |    12832       23    495 |  0.000 % |
0.39/0.43	c ===============================================================================
0.39/0.43	c New solution: -10
0.39/0.43	o -10
0.39/0.43	c Elapsed CPU time: 0.407937 s	Remaining CPU time: 179.592 s
0.39/0.43	c ===============================================================================
0.39/0.43	c |        57 |     500    38499    98620 |    12833       57    496 |  0.000 % |
0.39/0.45	c |       158 |     500    38499    98620 |    14116      158    497 | 97.402 % |
0.39/0.47	c |       308 |     500    38499    98620 |    15527      308    496 | 97.402 % |
0.49/0.52	c |       534 |     500    38499    98620 |    17080      534    496 | 97.402 % |
0.49/0.53	c ===============================================================================
0.49/0.53	c New solution: -11
0.49/0.53	o -11
0.49/0.53	c Elapsed CPU time: 0.509922 s	Remaining CPU time: 179.49 s
0.49/0.53	c ===============================================================================
0.49/0.53	c |       558 |     500    38500    99120 |    12833      558    496 | 97.402 % |
0.49/0.56	c |       659 |     500    38500    99120 |    14116      659    498 | 97.402 % |
0.59/0.61	c |       809 |     500    38500    99120 |    15528      809    497 | 97.402 % |
0.59/0.69	c |      1037 |     500    38500    99120 |    17081     1037    497 | 97.402 % |
0.79/0.80	c |      1376 |     500    38500    99120 |    18789     1376    498 | 97.402 % |
0.89/0.99	c |      1883 |     500    38500    99120 |    20668     1883    497 | 97.402 % |
1.39/1.43	c |      2642 |     500    38500    99120 |    22735     2642    496 | 97.402 % |
1.69/1.74	c ===============================================================================
1.69/1.74	c New solution: -12
1.69/1.74	o -12
1.69/1.74	c Elapsed CPU time: 1.70674 s	Remaining CPU time: 178.293 s
1.69/1.74	c ===============================================================================
1.69/1.74	c |      2949 |     500    38501    99620 |    12833     2949    496 | 97.402 % |
1.79/1.82	c |      3050 |     500    38501    99620 |    14117     3050    496 | 97.402 % |
1.89/1.92	c |      3202 |     500    38501    99620 |    15528     3202    496 | 97.402 % |
1.99/2.09	c |      3431 |     500    38501    99620 |    17081     3431    497 | 97.402 % |
2.20/2.25	c ===============================================================================
2.20/2.25	c New solution: -13
2.20/2.25	o -13
2.20/2.25	c Elapsed CPU time: 2.21066 s	Remaining CPU time: 177.789 s
2.20/2.25	c ===============================================================================
2.20/2.25	c |      3601 |     500    38502   100120 |    12834     3601    497 | 97.402 % |
2.29/2.36	c |      3703 |     500    38502   100120 |    14117     3703    497 | 97.402 % |
2.49/2.54	c |      3855 |     500    38502   100120 |    15529     3855    498 | 97.402 % |
2.79/2.80	c |      4080 |     500    38502   100120 |    17082     4080    501 | 97.402 % |
3.19/3.26	c |      4419 |     500    38502   100120 |    18790     4419    505 | 97.402 % |
3.79/3.82	c |      4927 |     500    38502   100120 |    20669     4927    504 | 97.402 % |
4.89/4.90	c |      5686 |     500    38502   100120 |    22736     5686    504 | 97.402 % |
6.79/6.84	c |      6825 |     500    38502   100120 |    25009     6825    502 | 97.402 % |
9.49/9.52	c |      8535 |     500    38502   100120 |    27510     8535    501 | 97.402 % |
12.89/12.92	c ===============================================================================
12.89/12.92	c New solution: -14
12.89/12.92	o -14
12.89/12.92	c Elapsed CPU time: 12.83 s	Remaining CPU time: 167.17 s
12.89/12.92	c ===============================================================================
12.89/12.92	c |     11017 |     500    38503   100620 |    12834    11017    501 | 97.402 % |
13.09/13.12	c |     11117 |     500    38503   100620 |    14117    11117    500 | 97.402 % |
13.29/13.34	c |     11268 |     500    38503   100620 |    15529    11268    500 | 97.402 % |
14.20/14.24	c |     11494 |     500    38503   100620 |    17082    11494    500 | 97.402 % |
14.89/14.93	c |     11833 |     500    38503   100620 |    18790    11833    503 | 97.402 % |
16.19/16.28	c |     12339 |     500    38503   100620 |    20669    12339    505 | 97.402 % |
17.69/17.74	c |     13098 |     500    38503   100620 |    22736    13098    504 | 97.402 % |
19.58/19.64	c |     14237 |     500    38503   100620 |    25010    14237    504 | 97.402 % |
23.98/24.00	c |     15946 |     500    38503   100620 |    27511    15946    502 | 97.402 % |
25.19/25.26	c ===============================================================================
25.19/25.26	c New solution: -15
25.19/25.26	o -15
25.19/25.26	c Elapsed CPU time: 25.1172 s	Remaining CPU time: 154.883 s
25.19/25.26	c ===============================================================================
25.19/25.26	c |     16565 |     500    38504   101120 |    12834    16565    502 | 97.402 % |
25.29/25.33	c |     16666 |     500    38504   101120 |    14118    16666    502 | 97.402 % |
25.68/25.71	c |     16818 |     500    38504   101120 |    15529    16818    502 | 97.402 % |
26.18/26.21	c |     17043 |     500    38504   101120 |    17082    17043    502 | 97.402 % |
26.98/27.09	c |     17383 |     500    38504   101120 |    18791    17383    503 | 97.402 % |
28.38/28.47	c |     17892 |     500    38504   101120 |    20670    17892    504 | 97.402 % |
29.69/29.75	c |     18652 |     500    38504   101120 |    22737    18652    504 | 97.402 % |
32.08/32.12	c |     19791 |     500    38504   101120 |    25011    19791    504 | 97.402 % |
41.17/41.26	c |     21499 |     500    38504   101120 |    27512    21499    503 | 97.402 % |
58.18/58.27	c |     24061 |     500    38504   101120 |    30263    24061    502 | 97.402 % |
63.27/63.36	c ===============================================================================
63.27/63.36	c New solution: -16
63.27/63.36	o -16
63.27/63.36	c Elapsed CPU time: 63.1084 s	Remaining CPU time: 116.892 s
63.27/63.36	c ===============================================================================
63.27/63.36	c |     24691 |     500    38505   101620 |    12835    24691    502 | 97.402 % |
64.27/64.39	c |     24791 |     500    38505   101620 |    14118    24791    501 | 97.402 % |
65.97/66.03	c |     24943 |     500    38505   101620 |    15530    24943    502 | 97.402 % |
67.56/67.65	c |     25168 |     500    38505   101620 |    17083    25168    502 | 97.402 % |
71.27/71.33	c |     25505 |     500    38505   101620 |    18791    25505    502 | 97.402 % |
74.77/74.85	c |     26011 |     500    38505   101620 |    20670    26011    504 | 97.402 % |
79.17/79.22	c |     26770 |     500    38505   101620 |    22737    26770    506 | 97.402 % |
79.86/79.93	c ===============================================================================
79.86/79.93	c New solution: -17
79.86/79.93	o -17
79.86/79.93	c Elapsed CPU time: 79.6499 s	Remaining CPU time: 100.35 s
79.86/79.93	c ===============================================================================
79.86/79.93	c |     26961 |     500    38506   102120 |    12835    26961    506 | 97.402 % |
80.57/80.61	c |     27062 |     500    38506   102120 |    14118    27062    507 | 97.402 % |
81.46/81.52	c |     27212 |     500    38506   102120 |    15530    27212    507 | 97.402 % |
83.66/83.73	c |     27440 |     500    38506   102120 |    17083    27440    508 | 97.402 % |
86.36/86.47	c |     27777 |     500    38506   102120 |    18792    27777    508 | 97.402 % |
89.86/89.96	c |     28284 |     500    38506   102120 |    20671    28284    509 | 97.402 % |
95.96/96.08	c |     29043 |     500    38506   102120 |    22738    29043    508 | 97.402 % |
100.06/100.11	c ===============================================================================
100.06/100.11	c New solution: -18
100.06/100.11	o -18
100.06/100.11	c Elapsed CPU time: 99.7658 s	Remaining CPU time: 80.2342 s
100.06/100.11	c ===============================================================================
100.06/100.11	c |     29906 |     500    38507   102620 |    12835    29906    508 | 97.402 % |
100.15/100.27	c |     30007 |     500    38507   102620 |    14119    30007    508 | 97.402 % |
100.55/100.63	c |     30157 |     500    38507   102620 |    15531    30157    508 | 97.402 % |
102.06/102.17	c |     30382 |     500    38507   102620 |    17084    30382    507 | 97.402 % |
104.95/105.04	c |     30720 |     500    38507   102620 |    18792    30720    508 | 97.402 % |
107.86/107.98	c |     31230 |     500    38507   102620 |    20671    31230    508 | 97.402 % |
114.05/114.18	c |     31989 |     500    38507   102620 |    22739    31989    507 | 97.402 % |
116.15/116.23	c ===============================================================================
116.15/116.23	c New solution: -19
116.15/116.23	o -19
116.15/116.23	c Elapsed CPU time: 115.858 s	Remaining CPU time: 64.1416 s
116.15/116.23	c ===============================================================================
116.15/116.23	c |     32316 |     500    38508   103120 |    12836    32316    507 | 97.402 % |
117.25/117.37	c |     32416 |     500    38508   103120 |    14119    11165    515 | 97.402 % |
117.75/117.87	c |     32568 |     500    38508   103120 |    15531    11317    514 | 97.402 % |
118.45/118.55	c |     32795 |     500    38508   103120 |    17084    11544    514 | 97.402 % |
119.35/119.40	c |     33132 |     500    38508   103120 |    18793    11881    513 | 97.402 % |
120.55/120.61	c |     33641 |     500    38508   103120 |    20672    12390    512 | 97.402 % |
124.26/124.33	c |     34401 |     500    38508   103120 |    22739    13150    511 | 97.402 % |
128.25/128.33	c |     35540 |     500    38508   103120 |    25013    14289    509 | 97.402 % |
134.94/135.00	c |     37251 |     500    38508   103120 |    27515    16000    506 | 97.402 % |
149.24/149.33	c |     39813 |     500    38508   103120 |    30266    18562    504 | 97.402 % |
152.74/152.86	c ===============================================================================
152.74/152.86	c New solution: -20
152.74/152.86	o -20
152.74/152.86	c Elapsed CPU time: 152.396 s	Remaining CPU time: 27.6042 s
152.74/152.86	c ===============================================================================
152.74/152.86	c |     42423 |     500    38509   103620 |    12836    21172    501 | 97.402 % |
153.14/153.29	c |     42524 |     500    38509   103620 |    14119    21273    501 | 97.402 % |
153.85/153.97	c |     42676 |     500    38509   103620 |    15531    21425    501 | 97.402 % |
154.24/154.34	c |     42901 |     500    38509   103620 |    17085    21650    501 | 97.402 % |
154.64/154.71	c |     43238 |     500    38509   103620 |    18793    21987    501 | 97.402 % |
155.05/155.18	c |     43744 |     500    38509   103620 |    20673    22493    501 | 97.402 % |
158.64/158.79	c |     44503 |     500    38509   103620 |    22740    23252    501 | 97.402 % |
165.44/165.57	c |     45644 |     500    38509   103620 |    25014    24393    500 | 97.402 % |
172.74/172.85	c |     47352 |     500    38509   103620 |    27515    26101    499 | 97.402 % |
180.43/180.55	c There are 18744 assigned variables. 0 in cost function.
182.64/182.77	c core #1
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -499
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #2
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -498
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #3
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -497
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #4
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -496
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #5
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -495
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #6
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -494
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #7
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -493
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #8
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -492
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #9
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -491
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #10
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -490
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #11
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -489
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #12
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -488
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #13
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -487
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #14
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -486
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #15
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -485
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #16
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -484
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #17
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -483
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #18
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -482
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #19
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -481
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #20
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -480
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #21
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -479
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #22
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -478
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #23
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -477
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #24
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -476
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #25
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -475
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #26
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -474
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #27
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -473
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #28
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -472
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #29
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -471
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #30
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -470
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #31
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -469
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #32
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -468
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #33
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -467
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #34
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -466
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #35
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -465
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #36
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -464
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #37
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -463
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #38
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -462
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #39
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -461
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #40
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -460
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #41
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -459
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #42
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -458
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #43
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -457
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #44
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -456
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #45
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -455
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #46
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -454
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #47
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -453
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #48
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -452
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #49
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -451
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #50
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -450
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #51
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -449
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #52
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -448
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #53
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -447
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #54
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -446
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #55
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -445
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #56
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -444
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #57
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -443
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #58
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -442
182.64/182.77	c
182.64/182.77	c
182.64/182.77	c core #59
182.64/182.77	c 
182.64/182.77	c 
182.64/182.77	c Core size: 3	Core Weight: 1	Total Weight: -441
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #60
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -440
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #61
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -439
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #62
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -438
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #63
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -437
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #64
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -436
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #65
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -435
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #66
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -434
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #67
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -433
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #68
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -432
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #69
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -431
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #70
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -430
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #71
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -429
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #72
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -428
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #73
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -427
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #74
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -426
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #75
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -425
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #76
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -424
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #77
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -423
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #78
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -422
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #79
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -421
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #80
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -420
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #81
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -419
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #82
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -418
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #83
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -417
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #84
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -416
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #85
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -415
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #86
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -414
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #87
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -413
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #88
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -412
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #89
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -411
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #90
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -410
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #91
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -409
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #92
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -408
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #93
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -407
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #94
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -406
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #95
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -405
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #96
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -404
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #97
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -403
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #98
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -402
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #99
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -401
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #100
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -400
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #101
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -399
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #102
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -398
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #103
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -397
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #104
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -396
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #105
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -395
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #106
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -394
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #107
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -393
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #108
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -392
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #109
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -391
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #110
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -390
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #111
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -389
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #112
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -388
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #113
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -387
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #114
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -386
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #115
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -385
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #116
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -384
184.93/185.06	c
184.93/185.06	c
184.93/185.06	c core #117
184.93/185.06	c 
184.93/185.06	c 
184.93/185.06	c Core size: 3	Core Weight: 1	Total Weight: -383
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #118
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -382
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #119
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -381
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #120
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -380
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #121
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -379
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #122
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -378
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #123
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -377
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #124
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -376
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #125
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -375
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #126
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -374
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #127
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -373
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #128
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -372
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #129
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -371
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #130
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -370
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #131
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -369
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #132
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -368
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #133
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -367
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #134
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -366
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #135
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -365
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #136
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -364
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #137
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -363
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #138
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -362
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #139
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -361
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #140
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -360
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #141
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -359
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #142
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -358
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #143
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -357
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #144
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -356
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #145
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -355
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #146
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -354
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #147
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -353
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #148
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -352
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #149
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -351
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #150
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -350
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #151
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -349
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #152
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -348
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #153
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -347
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #154
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -346
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #155
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -345
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #156
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -344
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #157
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -343
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #158
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -342
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #159
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -341
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #160
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -340
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #161
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -339
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #162
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -338
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #163
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -337
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #164
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -336
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #165
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -335
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #166
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -334
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #167
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -333
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #168
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -332
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #169
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -331
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #170
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -330
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #171
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -329
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #172
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -328
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #173
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -327
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #174
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -326
187.43/187.56	c
187.43/187.56	c
187.43/187.56	c core #175
187.43/187.56	c 
187.43/187.56	c 
187.43/187.56	c Core size: 3	Core Weight: 1	Total Weight: -325
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #176
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -324
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #177
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -323
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #178
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -322
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #179
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -321
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #180
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -320
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #181
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -319
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #182
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -318
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #183
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -317
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #184
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -316
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #185
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -315
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #186
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -314
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #187
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -313
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #188
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -312
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #189
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -311
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #190
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -310
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #191
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -309
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #192
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -308
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #193
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -307
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #194
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -306
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #195
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -305
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #196
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -304
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #197
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -303
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #198
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -302
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #199
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -301
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #200
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -300
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #201
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -299
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #202
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -298
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #203
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -297
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #204
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -296
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #205
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -295
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #206
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -294
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #207
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -293
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #208
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -292
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #209
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -291
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #210
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -290
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #211
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -289
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #212
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -288
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #213
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -287
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #214
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -286
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #215
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -285
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #216
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -284
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #217
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -283
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #218
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -282
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #219
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -281
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #220
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -280
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #221
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -279
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #222
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -278
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #223
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -277
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #224
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -276
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #225
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -275
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #226
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -274
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #227
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -273
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #228
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -272
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #229
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -271
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #230
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -270
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #231
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -269
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #232
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -268
190.14/190.28	c
190.14/190.28	c
190.14/190.28	c core #233
190.14/190.28	c 
190.14/190.28	c 
190.14/190.28	c Core size: 3	Core Weight: 1	Total Weight: -267
191.13/191.24	c
191.13/191.24	c
191.13/191.24	c core #234
191.13/191.24	c 
191.13/191.24	c 
191.13/191.24	c Core size: 3	Core Weight: 1	Total Weight: -266
191.13/191.24	c
191.13/191.24	c
191.13/191.24	c core #235
191.13/191.24	c 
191.13/191.24	c 
191.13/191.24	c Core size: 3	Core Weight: 1	Total Weight: -265
191.13/191.24	c
191.13/191.24	c
191.13/191.24	c core #236
191.13/191.24	c 
191.13/191.24	c 
191.13/191.24	c Core size: 3	Core Weight: 1	Total Weight: -264
191.13/191.24	c
191.13/191.24	c
191.13/191.24	c core #237
191.13/191.24	c 
191.13/191.24	c 
191.13/191.24	c Core size: 3	Core Weight: 1	Total Weight: -263
191.13/191.24	c
191.13/191.24	c
191.13/191.24	c core #238
191.13/191.24	c 
191.13/191.24	c 
191.13/191.24	c Core size: 3	Core Weight: 1	Total Weight: -262
191.13/191.24	c
191.13/191.24	c
191.13/191.24	c core #239
191.13/191.24	c 
191.13/191.24	c 
191.13/191.24	c Core size: 3	Core Weight: 1	Total Weight: -261
191.13/191.24	c
191.13/191.24	c
191.13/191.24	c core #240
191.13/191.24	c 
191.13/191.24	c 
191.13/191.24	c Core size: 3	Core Weight: 1	Total Weight: -260
191.13/191.24	c
191.13/191.24	c
191.13/191.24	c core #241
191.13/191.24	c 
191.13/191.24	c 
191.13/191.24	c Core size: 3	Core Weight: 1	Total Weight: -259
191.13/191.24	c
191.13/191.24	c
191.13/191.24	c core #242
191.13/191.24	c 
191.13/191.24	c 
191.13/191.24	c Core size: 3	Core Weight: 1	Total Weight: -258
191.13/191.24	c
191.13/191.24	c
191.13/191.24	c core #243
191.13/191.24	c 
191.13/191.24	c 
191.13/191.24	c Core size: 3	Core Weight: 1	Total Weight: -257
191.13/191.24	c
191.13/191.24	c
191.13/191.24	c core #244
191.13/191.24	c 
191.13/191.24	c 
191.13/191.24	c Core size: 3	Core Weight: 1	Total Weight: -256
191.13/191.24	c
191.13/191.24	c
191.13/191.24	c core #245
191.13/191.24	c 
191.13/191.24	c 
191.13/191.24	c Core size: 3	Core Weight: 1	Total Weight: -255
191.13/191.24	c
191.13/191.24	c
191.13/191.24	c core #246
191.13/191.24	c 
191.13/191.24	c 
191.13/191.24	c Core size: 3	Core Weight: 1	Total Weight: -254
191.13/191.24	c
191.13/191.24	c
191.13/191.24	c core #247
191.13/191.24	c 
191.13/191.24	c 
191.13/191.24	c Core size: 3	Core Weight: 1	Total Weight: -253
191.13/191.24	c
191.13/191.24	c
191.13/191.24	c core #248
191.13/191.24	c 
191.13/191.24	c 
191.13/191.24	c Core size: 10	Core Weight: 1	Total Weight: -252
191.13/191.24	c
191.13/191.24	c
191.13/191.24	c core #249
191.13/191.24	c 
191.13/191.24	c 
191.13/191.24	c Core size: 7	Core Weight: 1	Total Weight: -251
191.13/191.24	c
191.13/191.24	c
191.13/191.24	c core #250
191.13/191.24	c 
191.13/191.24	c 
191.13/191.24	c Core size: 7	Core Weight: 1	Total Weight: -250
191.13/191.24	c
191.13/191.24	c
191.13/191.24	c core #251
191.13/191.24	c 
191.13/191.24	c 
191.13/191.24	c Core size: 14	Core Weight: 1	Total Weight: -249
191.13/191.24	c
191.13/191.24	c
191.13/191.24	c ============================[ Search Statistics ]==============================
191.13/191.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.13/191.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.13/191.24	c ===============================================================================
191.13/191.24	c |         0 |    1014    38260    49516 |    12753        0    nan |  0.000 % |
191.13/191.24	c ===============================================================================
191.13/191.29	c core #252
191.13/191.29	c 
191.13/191.29	c 
191.13/191.29	c Core size: 10	Core Weight: 1	Total Weight: -248
191.13/191.29	c
191.13/191.29	c
191.13/191.29	c ============================[ Search Statistics ]==============================
191.13/191.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.13/191.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.13/191.29	c ===============================================================================
191.13/191.29	c |         0 |    1020    38261    49528 |    12753        0    nan |  0.000 % |
191.24/191.30	c ===============================================================================
191.24/191.35	c core #253
191.24/191.35	c 
191.24/191.35	c 
191.24/191.35	c Core size: 10	Core Weight: 1	Total Weight: -247
191.24/191.35	c
191.24/191.35	c
191.24/191.35	c ============================[ Search Statistics ]==============================
191.24/191.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.24/191.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.24/191.35	c ===============================================================================
191.24/191.35	c |         0 |    1026    38262    49540 |    12754        0    nan |  0.000 % |
191.24/191.35	c ===============================================================================
191.34/191.40	c core #254
191.34/191.40	c 
191.34/191.40	c 
191.34/191.40	c Core size: 10	Core Weight: 1	Total Weight: -246
191.34/191.40	c
191.34/191.40	c
191.34/191.40	c ============================[ Search Statistics ]==============================
191.34/191.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.34/191.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.34/191.40	c ===============================================================================
191.34/191.40	c |         0 |    1032    38263    49552 |    12754        0    nan |  0.000 % |
191.34/191.41	c ===============================================================================
191.34/191.46	c core #255
191.34/191.46	c 
191.34/191.46	c 
191.34/191.46	c Core size: 10	Core Weight: 1	Total Weight: -245
191.34/191.46	c
191.34/191.46	c
191.34/191.46	c ============================[ Search Statistics ]==============================
191.34/191.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.34/191.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.34/191.46	c ===============================================================================
191.34/191.46	c |         0 |    1038    38264    49564 |    12754        0    nan |  0.000 % |
191.34/191.47	c ===============================================================================
191.43/191.52	c core #256
191.43/191.52	c 
191.43/191.52	c 
191.43/191.52	c Core size: 10	Core Weight: 1	Total Weight: -244
191.43/191.52	c
191.43/191.52	c
191.43/191.52	c ============================[ Search Statistics ]==============================
191.43/191.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.43/191.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.43/191.52	c ===============================================================================
191.43/191.52	c |         0 |    1044    38265    49576 |    12755        0    nan |  0.000 % |
191.43/191.53	c ===============================================================================
191.43/191.58	c core #257
191.43/191.58	c 
191.43/191.58	c 
191.43/191.58	c Core size: 10	Core Weight: 1	Total Weight: -243
191.43/191.58	c
191.43/191.58	c
191.43/191.58	c ============================[ Search Statistics ]==============================
191.43/191.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.43/191.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.43/191.58	c ===============================================================================
191.43/191.58	c |         0 |    1050    38266    49588 |    12755        0    nan |  0.000 % |
191.43/191.59	c ===============================================================================
191.53/191.64	c core #258
191.53/191.64	c 
191.53/191.64	c 
191.53/191.64	c Core size: 10	Core Weight: 1	Total Weight: -242
191.53/191.64	c
191.53/191.64	c
191.53/191.64	c ============================[ Search Statistics ]==============================
191.53/191.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.53/191.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.53/191.64	c ===============================================================================
191.53/191.64	c |         0 |    1056    38267    49600 |    12755        0    nan |  0.000 % |
191.53/191.65	c ===============================================================================
191.53/191.69	c core #259
191.53/191.69	c 
191.53/191.69	c 
191.53/191.69	c Core size: 10	Core Weight: 1	Total Weight: -241
191.53/191.69	c
191.53/191.69	c
191.53/191.69	c ============================[ Search Statistics ]==============================
191.53/191.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.53/191.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.53/191.69	c ===============================================================================
191.53/191.69	c |         0 |    1062    38268    49612 |    12756        0    nan |  0.000 % |
191.63/191.70	c ===============================================================================
191.63/191.76	c core #260
191.63/191.76	c 
191.63/191.76	c 
191.63/191.76	c Core size: 10	Core Weight: 1	Total Weight: -240
191.63/191.76	c
191.63/191.76	c
191.63/191.76	c ============================[ Search Statistics ]==============================
191.63/191.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.63/191.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.63/191.76	c ===============================================================================
191.63/191.76	c |         0 |    1068    38269    49624 |    12756        0    nan |  0.000 % |
191.63/191.77	c ===============================================================================
191.73/191.81	c core #261
191.73/191.81	c 
191.73/191.81	c 
191.73/191.81	c Core size: 10	Core Weight: 1	Total Weight: -239
191.73/191.81	c
191.73/191.81	c
191.73/191.81	c ============================[ Search Statistics ]==============================
191.73/191.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.73/191.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.73/191.81	c ===============================================================================
191.73/191.81	c |         0 |    1074    38270    49636 |    12756        0    nan |  0.000 % |
191.73/191.82	c ===============================================================================
191.73/191.88	c core #262
191.73/191.88	c 
191.73/191.88	c 
191.73/191.88	c Core size: 10	Core Weight: 1	Total Weight: -238
191.73/191.88	c
191.73/191.88	c
191.73/191.88	c ============================[ Search Statistics ]==============================
191.73/191.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.73/191.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.73/191.88	c ===============================================================================
191.73/191.88	c |         0 |    1080    38271    49648 |    12757        0    nan |  0.000 % |
191.73/191.89	c ===============================================================================
191.83/191.94	c core #263
191.83/191.94	c 
191.83/191.94	c 
191.83/191.94	c Core size: 10	Core Weight: 1	Total Weight: -237
191.83/191.94	c
191.83/191.94	c
191.83/191.94	c ============================[ Search Statistics ]==============================
191.83/191.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.83/191.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.83/191.94	c ===============================================================================
191.83/191.94	c |         0 |    1086    38272    49660 |    12757        0    nan |  0.000 % |
191.83/191.94	c ===============================================================================
191.93/192.00	c core #264
191.93/192.00	c 
191.93/192.00	c 
191.93/192.00	c Core size: 10	Core Weight: 1	Total Weight: -236
191.93/192.00	c
191.93/192.00	c
191.93/192.00	c ============================[ Search Statistics ]==============================
191.93/192.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.93/192.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.93/192.00	c ===============================================================================
191.93/192.00	c |         0 |    1092    38273    49672 |    12757        0    nan |  0.000 % |
191.93/192.01	c ===============================================================================
191.93/192.06	c core #265
191.93/192.06	c 
191.93/192.06	c 
191.93/192.06	c Core size: 10	Core Weight: 1	Total Weight: -235
191.93/192.06	c
191.93/192.06	c
191.93/192.06	c ============================[ Search Statistics ]==============================
191.93/192.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.93/192.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.93/192.06	c ===============================================================================
191.93/192.06	c |         0 |    1098    38274    49684 |    12758        0    nan |  0.000 % |
191.93/192.06	c ===============================================================================
192.03/192.11	c core #266
192.03/192.11	c 
192.03/192.11	c 
192.03/192.11	c Core size: 10	Core Weight: 1	Total Weight: -234
192.03/192.11	c
192.03/192.11	c
192.03/192.11	c ============================[ Search Statistics ]==============================
192.03/192.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.03/192.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.03/192.12	c ===============================================================================
192.03/192.12	c |         0 |    1104    38275    49696 |    12758        0    nan |  0.000 % |
192.03/192.12	c ===============================================================================
192.03/192.17	c core #267
192.03/192.17	c 
192.03/192.17	c 
192.03/192.17	c Core size: 14	Core Weight: 1	Total Weight: -233
192.03/192.17	c
192.03/192.17	c
192.03/192.17	c ============================[ Search Statistics ]==============================
192.03/192.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.03/192.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.03/192.17	c ===============================================================================
192.03/192.17	c |         0 |    1112    38276    49712 |    12758        0    nan |  0.000 % |
192.03/192.18	c ===============================================================================
192.13/192.23	c core #268
192.13/192.23	c 
192.13/192.23	c 
192.13/192.23	c Core size: 10	Core Weight: 1	Total Weight: -232
192.13/192.23	c
192.13/192.23	c
192.13/192.23	c ============================[ Search Statistics ]==============================
192.13/192.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.13/192.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.13/192.23	c ===============================================================================
192.13/192.23	c |         0 |    1118    38277    49724 |    12759        0    nan |  0.000 % |
192.13/192.24	c ===============================================================================
192.13/192.29	c core #269
192.13/192.29	c 
192.13/192.29	c 
192.13/192.29	c Core size: 10	Core Weight: 1	Total Weight: -231
192.13/192.29	c
192.13/192.29	c
192.13/192.29	c ============================[ Search Statistics ]==============================
192.13/192.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.13/192.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.13/192.29	c ===============================================================================
192.13/192.29	c |         0 |    1124    38278    49736 |    12759        0    nan |  0.000 % |
192.13/192.30	c ===============================================================================
192.23/192.35	c core #270
192.23/192.35	c 
192.23/192.35	c 
192.23/192.35	c Core size: 10	Core Weight: 1	Total Weight: -230
192.23/192.35	c
192.23/192.35	c
192.23/192.35	c ============================[ Search Statistics ]==============================
192.23/192.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.23/192.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.23/192.35	c ===============================================================================
192.23/192.35	c |         0 |    1130    38279    49748 |    12759        0    nan |  0.000 % |
192.23/192.36	c ===============================================================================
192.34/192.41	c core #271
192.34/192.41	c 
192.34/192.41	c 
192.34/192.41	c Core size: 10	Core Weight: 1	Total Weight: -229
192.34/192.41	c
192.34/192.41	c
192.34/192.41	c ============================[ Search Statistics ]==============================
192.34/192.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.34/192.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.34/192.41	c ===============================================================================
192.34/192.41	c |         0 |    1136    38280    49760 |    12760        0    nan |  0.000 % |
192.34/192.41	c ===============================================================================
192.34/192.46	c core #272
192.34/192.46	c 
192.34/192.46	c 
192.34/192.46	c Core size: 10	Core Weight: 1	Total Weight: -228
192.34/192.46	c
192.34/192.46	c
192.34/192.46	c ============================[ Search Statistics ]==============================
192.34/192.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.34/192.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.34/192.46	c ===============================================================================
192.34/192.46	c |         0 |    1142    38281    49772 |    12760        0    nan |  0.000 % |
192.34/192.47	c ===============================================================================
192.44/192.52	c core #273
192.44/192.52	c 
192.44/192.52	c 
192.44/192.52	c Core size: 10	Core Weight: 1	Total Weight: -227
192.44/192.52	c
192.44/192.52	c
192.44/192.52	c ============================[ Search Statistics ]==============================
192.44/192.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.44/192.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.44/192.52	c ===============================================================================
192.44/192.52	c |         0 |    1148    38282    49784 |    12760        0    nan |  0.000 % |
192.44/192.53	c ===============================================================================
192.44/192.58	c core #274
192.44/192.58	c 
192.44/192.58	c 
192.44/192.58	c Core size: 10	Core Weight: 1	Total Weight: -226
192.44/192.58	c
192.44/192.58	c
192.44/192.58	c ============================[ Search Statistics ]==============================
192.44/192.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.44/192.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.44/192.58	c ===============================================================================
192.44/192.58	c |         0 |    1154    38283    49796 |    12761        0    nan |  0.000 % |
192.44/192.59	c ===============================================================================
192.53/192.64	c core #275
192.53/192.64	c 
192.53/192.64	c 
192.53/192.64	c Core size: 8	Core Weight: 1	Total Weight: -225
192.53/192.64	c
192.53/192.64	c
192.53/192.64	c ============================[ Search Statistics ]==============================
192.53/192.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.53/192.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.53/192.64	c ===============================================================================
192.53/192.64	c |         0 |    1158    38284    49804 |    12761        0    nan |  0.000 % |
192.53/192.65	c ===============================================================================
192.63/192.70	c core #276
192.63/192.70	c 
192.63/192.70	c 
192.63/192.70	c Core size: 10	Core Weight: 1	Total Weight: -224
192.63/192.70	c
192.63/192.70	c
192.63/192.70	c ============================[ Search Statistics ]==============================
192.63/192.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.63/192.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.63/192.70	c ===============================================================================
192.63/192.70	c |         0 |    1164    38285    49816 |    12761        0    nan |  0.000 % |
192.63/192.71	c ===============================================================================
192.63/192.76	c core #277
192.63/192.76	c 
192.63/192.76	c 
192.63/192.76	c Core size: 10	Core Weight: 1	Total Weight: -223
192.63/192.76	c
192.63/192.76	c
192.63/192.76	c ============================[ Search Statistics ]==============================
192.63/192.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.63/192.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.63/192.76	c ===============================================================================
192.63/192.76	c |         0 |    1170    38286    49828 |    12762        0    nan |  0.000 % |
192.63/192.76	c ===============================================================================
192.73/192.81	c core #278
192.73/192.81	c 
192.73/192.81	c 
192.73/192.81	c Core size: 10	Core Weight: 1	Total Weight: -222
192.73/192.81	c
192.73/192.81	c
192.73/192.81	c ============================[ Search Statistics ]==============================
192.73/192.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.73/192.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.73/192.82	c ===============================================================================
192.73/192.82	c |         0 |    1176    38287    49840 |    12762        0    nan |  0.000 % |
192.73/192.82	c ===============================================================================
192.73/192.87	c core #279
192.73/192.87	c 
192.73/192.87	c 
192.73/192.87	c Core size: 10	Core Weight: 1	Total Weight: -221
192.73/192.87	c
192.73/192.87	c
192.73/192.87	c ============================[ Search Statistics ]==============================
192.73/192.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.73/192.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.73/192.87	c ===============================================================================
192.73/192.87	c |         0 |    1182    38288    49852 |    12762        0    nan |  0.000 % |
192.73/192.88	c ===============================================================================
192.83/192.93	c core #280
192.83/192.93	c 
192.83/192.93	c 
192.83/192.93	c Core size: 10	Core Weight: 1	Total Weight: -220
192.83/192.93	c
192.83/192.93	c
192.83/192.93	c ============================[ Search Statistics ]==============================
192.83/192.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.83/192.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.83/192.93	c ===============================================================================
192.83/192.93	c |         0 |    1188    38289    49864 |    12763        0    nan |  0.000 % |
192.83/192.94	c ===============================================================================
192.83/192.99	c core #281
192.83/192.99	c 
192.83/192.99	c 
192.83/192.99	c Core size: 10	Core Weight: 1	Total Weight: -219
192.83/192.99	c
192.83/192.99	c
192.83/192.99	c ============================[ Search Statistics ]==============================
192.83/192.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.83/192.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.83/192.99	c ===============================================================================
192.83/192.99	c |         0 |    1194    38290    49876 |    12763        0    nan |  0.000 % |
192.83/193.00	c ===============================================================================
192.93/193.05	c core #282
192.93/193.05	c 
192.93/193.05	c 
192.93/193.05	c Core size: 10	Core Weight: 1	Total Weight: -218
192.93/193.05	c
192.93/193.05	c
192.93/193.05	c ============================[ Search Statistics ]==============================
192.93/193.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.93/193.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.93/193.05	c ===============================================================================
192.93/193.05	c |         0 |    1200    38291    49888 |    12763        0    nan |  0.000 % |
192.93/193.05	c ===============================================================================
193.03/193.10	c core #283
193.03/193.10	c 
193.03/193.10	c 
193.03/193.10	c Core size: 10	Core Weight: 1	Total Weight: -217
193.03/193.10	c
193.03/193.10	c
193.03/193.10	c ============================[ Search Statistics ]==============================
193.03/193.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.03/193.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.03/193.10	c ===============================================================================
193.03/193.10	c |         0 |    1206    38292    49900 |    12764        0    nan |  0.000 % |
193.03/193.11	c ===============================================================================
193.03/193.16	c core #284
193.03/193.16	c 
193.03/193.16	c 
193.03/193.16	c Core size: 10	Core Weight: 1	Total Weight: -216
193.03/193.16	c
193.03/193.16	c
193.03/193.16	c ============================[ Search Statistics ]==============================
193.03/193.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.03/193.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.03/193.16	c ===============================================================================
193.03/193.16	c |         0 |    1212    38293    49912 |    12764        0    nan |  0.000 % |
193.03/193.17	c ===============================================================================
193.13/193.22	c core #285
193.13/193.22	c 
193.13/193.22	c 
193.13/193.22	c Core size: 10	Core Weight: 1	Total Weight: -215
193.13/193.22	c
193.13/193.22	c
193.13/193.22	c ============================[ Search Statistics ]==============================
193.13/193.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.13/193.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.13/193.22	c ===============================================================================
193.13/193.22	c |         0 |    1218    38294    49924 |    12764        0    nan |  0.000 % |
193.13/193.23	c ===============================================================================
193.13/193.28	c core #286
193.13/193.28	c 
193.13/193.28	c 
193.13/193.28	c Core size: 14	Core Weight: 1	Total Weight: -214
193.13/193.28	c
193.13/193.28	c
193.13/193.28	c ============================[ Search Statistics ]==============================
193.13/193.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.13/193.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.13/193.28	c ===============================================================================
193.13/193.28	c |         0 |    1226    38295    49940 |    12765        0    nan |  0.000 % |
193.13/193.29	c ===============================================================================
193.23/193.34	c core #287
193.23/193.34	c 
193.23/193.34	c 
193.23/193.34	c Core size: 10	Core Weight: 1	Total Weight: -213
193.23/193.34	c
193.23/193.34	c
193.23/193.34	c ============================[ Search Statistics ]==============================
193.23/193.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.23/193.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.23/193.34	c ===============================================================================
193.23/193.34	c |         0 |    1232    38296    49952 |    12765        0    nan |  0.000 % |
193.23/193.34	c ===============================================================================
193.33/193.40	c core #288
193.33/193.40	c 
193.33/193.40	c 
193.33/193.40	c Core size: 10	Core Weight: 1	Total Weight: -212
193.33/193.40	c
193.33/193.40	c
193.33/193.40	c ============================[ Search Statistics ]==============================
193.33/193.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.33/193.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.33/193.40	c ===============================================================================
193.33/193.40	c |         0 |    1238    38297    49964 |    12765        0    nan |  0.000 % |
193.33/193.41	c ===============================================================================
193.33/193.46	c core #289
193.33/193.46	c 
193.33/193.46	c 
193.33/193.46	c Core size: 15	Core Weight: 1	Total Weight: -211
193.33/193.46	c
193.33/193.46	c
193.33/193.46	c ============================[ Search Statistics ]==============================
193.33/193.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.33/193.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.33/193.46	c ===============================================================================
193.33/193.46	c |         0 |    1250    38298    49988 |    12766        0    nan |  0.000 % |
193.33/193.46	c ===============================================================================
193.43/193.52	c core #290
193.43/193.52	c 
193.43/193.52	c 
193.43/193.52	c Core size: 10	Core Weight: 1	Total Weight: -210
193.43/193.52	c
193.43/193.52	c
193.43/193.52	c ============================[ Search Statistics ]==============================
193.43/193.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.43/193.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.43/193.52	c ===============================================================================
193.43/193.52	c |         0 |    1256    38299    50000 |    12766        0    nan |  0.000 % |
193.43/193.52	c ===============================================================================
193.43/193.58	c core #291
193.43/193.58	c 
193.43/193.58	c 
193.43/193.58	c Core size: 10	Core Weight: 1	Total Weight: -209
193.43/193.58	c
193.43/193.58	c
193.43/193.58	c ============================[ Search Statistics ]==============================
193.43/193.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.43/193.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.43/193.58	c ===============================================================================
193.43/193.58	c |         0 |    1262    38300    50012 |    12766        0    nan |  0.000 % |
193.43/193.58	c ===============================================================================
193.53/193.64	c core #292
193.53/193.64	c 
193.53/193.64	c 
193.53/193.64	c Core size: 14	Core Weight: 1	Total Weight: -208
193.53/193.64	c
193.53/193.64	c
193.53/193.64	c ============================[ Search Statistics ]==============================
193.53/193.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.53/193.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.53/193.64	c ===============================================================================
193.53/193.64	c |         0 |    1270    38301    50028 |    12767        0    nan |  0.000 % |
193.53/193.64	c ===============================================================================
193.53/193.69	c core #293
193.53/193.69	c 
193.53/193.69	c 
193.53/193.69	c Core size: 10	Core Weight: 1	Total Weight: -207
193.53/193.69	c
193.53/193.69	c
193.53/193.69	c ============================[ Search Statistics ]==============================
193.53/193.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.53/193.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.53/193.69	c ===============================================================================
193.53/193.69	c |         0 |    1276    38302    50040 |    12767        0    nan |  0.000 % |
193.63/193.70	c ===============================================================================
193.63/193.75	c core #294
193.63/193.75	c 
193.63/193.75	c 
193.63/193.75	c Core size: 10	Core Weight: 1	Total Weight: -206
193.63/193.75	c
193.63/193.75	c
193.63/193.75	c ============================[ Search Statistics ]==============================
193.63/193.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.63/193.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.63/193.75	c ===============================================================================
193.63/193.75	c |         0 |    1282    38303    50052 |    12767        0    nan |  0.000 % |
193.63/193.76	c ===============================================================================
193.73/193.81	c core #295
193.73/193.81	c 
193.73/193.81	c 
193.73/193.81	c Core size: 10	Core Weight: 1	Total Weight: -205
193.73/193.81	c
193.73/193.81	c
193.73/193.81	c ============================[ Search Statistics ]==============================
193.73/193.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.73/193.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.73/193.81	c ===============================================================================
193.73/193.81	c |         0 |    1288    38304    50064 |    12768        0    nan |  0.000 % |
193.73/193.82	c ===============================================================================
193.73/193.87	c core #296
193.73/193.87	c 
193.73/193.87	c 
193.73/193.87	c Core size: 12	Core Weight: 1	Total Weight: -204
193.73/193.87	c
193.73/193.87	c
193.73/193.87	c ============================[ Search Statistics ]==============================
193.73/193.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.73/193.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.73/193.87	c ===============================================================================
193.73/193.87	c |         0 |    1296    38305    50080 |    12768        0    nan |  0.000 % |
193.73/193.88	c ===============================================================================
193.83/193.93	c core #297
193.83/193.93	c 
193.83/193.93	c 
193.83/193.93	c Core size: 10	Core Weight: 1	Total Weight: -203
193.83/193.93	c
193.83/193.93	c
193.83/193.93	c ============================[ Search Statistics ]==============================
193.83/193.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.83/193.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.83/193.93	c ===============================================================================
193.83/193.93	c |         0 |    1302    38306    50092 |    12768        0    nan |  0.000 % |
193.83/193.94	c ===============================================================================
193.83/193.99	c core #298
193.83/193.99	c 
193.83/193.99	c 
193.83/193.99	c Core size: 10	Core Weight: 1	Total Weight: -202
193.83/193.99	c
193.83/193.99	c
193.83/193.99	c ============================[ Search Statistics ]==============================
193.83/193.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.83/193.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.83/193.99	c ===============================================================================
193.83/193.99	c |         0 |    1308    38307    50104 |    12769        0    nan |  0.000 % |
193.93/194.00	c ===============================================================================
193.93/194.05	c core #299
193.93/194.05	c 
193.93/194.05	c 
193.93/194.05	c Core size: 10	Core Weight: 1	Total Weight: -201
193.93/194.05	c
193.93/194.05	c
193.93/194.05	c ============================[ Search Statistics ]==============================
193.93/194.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.93/194.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.93/194.05	c ===============================================================================
193.93/194.05	c |         0 |    1314    38308    50116 |    12769        0    nan |  0.000 % |
193.93/194.06	c ===============================================================================
194.03/194.11	c core #300
194.03/194.11	c 
194.03/194.11	c 
194.03/194.11	c Core size: 10	Core Weight: 1	Total Weight: -200
194.03/194.11	c
194.03/194.11	c
194.03/194.11	c ============================[ Search Statistics ]==============================
194.03/194.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.03/194.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.03/194.11	c ===============================================================================
194.03/194.11	c |         0 |    1320    38309    50128 |    12769        0    nan |  0.000 % |
194.03/194.12	c ===============================================================================
194.03/194.17	c core #301
194.03/194.17	c 
194.03/194.17	c 
194.03/194.17	c Core size: 14	Core Weight: 1	Total Weight: -199
194.03/194.17	c
194.03/194.17	c
194.03/194.17	c ============================[ Search Statistics ]==============================
194.03/194.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.03/194.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.03/194.17	c ===============================================================================
194.03/194.17	c |         0 |    1328    38310    50144 |    12770        0    nan |  0.000 % |
194.03/194.18	c ===============================================================================
194.13/194.23	c core #302
194.13/194.23	c 
194.13/194.23	c 
194.13/194.23	c Core size: 10	Core Weight: 1	Total Weight: -198
194.13/194.23	c
194.13/194.23	c
194.13/194.23	c ============================[ Search Statistics ]==============================
194.13/194.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.13/194.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.13/194.23	c ===============================================================================
194.13/194.23	c |         0 |    1334    38311    50156 |    12770        0    nan |  0.000 % |
194.13/194.24	c ===============================================================================
194.13/194.29	c core #303
194.13/194.29	c 
194.13/194.29	c 
194.13/194.29	c Core size: 12	Core Weight: 1	Total Weight: -197
194.13/194.29	c
194.13/194.29	c
194.13/194.29	c ============================[ Search Statistics ]==============================
194.13/194.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.13/194.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.13/194.29	c ===============================================================================
194.13/194.29	c |         0 |    1342    38312    50172 |    12770        0    nan |  0.000 % |
194.23/194.30	c ===============================================================================
194.23/194.35	c core #304
194.23/194.35	c 
194.23/194.35	c 
194.23/194.35	c Core size: 14	Core Weight: 1	Total Weight: -196
194.23/194.35	c
194.23/194.35	c
194.23/194.35	c ============================[ Search Statistics ]==============================
194.23/194.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.23/194.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.23/194.35	c ===============================================================================
194.23/194.35	c |         0 |    1350    38313    50188 |    12771        0    nan |  0.000 % |
194.23/194.36	c ===============================================================================
194.33/194.41	c core #305
194.33/194.41	c 
194.33/194.41	c 
194.33/194.41	c Core size: 14	Core Weight: 1	Total Weight: -195
194.33/194.41	c
194.33/194.41	c
194.33/194.41	c ============================[ Search Statistics ]==============================
194.33/194.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.33/194.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.33/194.41	c ===============================================================================
194.33/194.41	c |         0 |    1358    38314    50204 |    12771        0    nan |  0.000 % |
194.33/194.42	c ===============================================================================
194.33/194.47	c core #306
194.33/194.47	c 
194.33/194.47	c 
194.33/194.47	c Core size: 14	Core Weight: 1	Total Weight: -194
194.33/194.47	c
194.33/194.47	c
194.33/194.47	c ============================[ Search Statistics ]==============================
194.33/194.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.33/194.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.33/194.47	c ===============================================================================
194.33/194.47	c |         0 |    1366    38315    50220 |    12771        0    nan |  0.000 % |
194.33/194.48	c ===============================================================================
194.43/194.53	c core #307
194.43/194.53	c 
194.43/194.53	c 
194.43/194.53	c Core size: 12	Core Weight: 1	Total Weight: -193
194.43/194.53	c
194.43/194.53	c
194.43/194.53	c ============================[ Search Statistics ]==============================
194.43/194.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.43/194.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.43/194.53	c ===============================================================================
194.43/194.53	c |         0 |    1374    38316    50236 |    12772        0    nan |  0.000 % |
194.43/194.54	c ===============================================================================
194.53/194.60	c core #308
194.53/194.60	c 
194.53/194.60	c 
194.53/194.60	c Core size: 10	Core Weight: 1	Total Weight: -192
194.53/194.60	c
194.53/194.60	c
194.53/194.60	c ============================[ Search Statistics ]==============================
194.53/194.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.53/194.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.53/194.60	c ===============================================================================
194.53/194.60	c |         0 |    1380    38317    50248 |    12772        0    nan |  0.000 % |
194.53/194.60	c ===============================================================================
194.53/194.66	c core #309
194.53/194.66	c 
194.53/194.66	c 
194.53/194.66	c Core size: 10	Core Weight: 1	Total Weight: -191
194.53/194.66	c
194.53/194.66	c
194.53/194.66	c ============================[ Search Statistics ]==============================
194.53/194.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.53/194.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.53/194.66	c ===============================================================================
194.53/194.66	c |         0 |    1386    38318    50260 |    12772        0    nan |  0.000 % |
194.53/194.66	c ===============================================================================
194.63/194.72	c core #310
194.63/194.72	c 
194.63/194.72	c 
194.63/194.72	c Core size: 16	Core Weight: 1	Total Weight: -190
194.63/194.72	c
194.63/194.72	c
194.63/194.72	c ============================[ Search Statistics ]==============================
194.63/194.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.63/194.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.63/194.72	c ===============================================================================
194.63/194.72	c |         0 |    1396    38319    50280 |    12773        0    nan |  0.000 % |
194.63/194.73	c ===============================================================================
194.63/194.78	c core #311
194.63/194.78	c 
194.63/194.78	c 
194.63/194.78	c Core size: 12	Core Weight: 1	Total Weight: -189
194.63/194.78	c
194.63/194.78	c
194.63/194.78	c ============================[ Search Statistics ]==============================
194.63/194.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.63/194.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.63/194.78	c ===============================================================================
194.63/194.78	c |         0 |    1402    38320    50292 |    12773        0    nan |  0.000 % |
194.63/194.79	c ===============================================================================
194.73/194.84	c core #312
194.73/194.84	c 
194.73/194.84	c 
194.73/194.84	c Core size: 10	Core Weight: 1	Total Weight: -188
194.73/194.84	c
194.73/194.84	c
194.73/194.84	c ============================[ Search Statistics ]==============================
194.73/194.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.73/194.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.73/194.84	c ===============================================================================
194.73/194.84	c |         0 |    1408    38321    50304 |    12773        0    nan |  0.000 % |
194.73/194.85	c ===============================================================================
194.83/194.90	c core #313
194.83/194.90	c 
194.83/194.90	c 
194.83/194.90	c Core size: 14	Core Weight: 1	Total Weight: -187
194.83/194.90	c
194.83/194.90	c
194.83/194.90	c ============================[ Search Statistics ]==============================
194.83/194.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.83/194.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.83/194.90	c ===============================================================================
194.83/194.90	c |         0 |    1416    38322    50320 |    12774        0    nan |  0.000 % |
194.83/194.91	c ===============================================================================
194.83/194.97	c core #314
194.83/194.97	c 
194.83/194.97	c 
194.83/194.97	c Core size: 14	Core Weight: 1	Total Weight: -186
194.83/194.97	c
194.83/194.97	c
194.83/194.97	c ============================[ Search Statistics ]==============================
194.83/194.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.83/194.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.83/194.97	c ===============================================================================
194.83/194.97	c |         0 |    1424    38323    50336 |    12774        0    nan |  0.000 % |
194.83/194.98	c ===============================================================================
194.92/195.03	c core #315
194.92/195.03	c 
194.92/195.03	c 
194.92/195.03	c Core size: 16	Core Weight: 1	Total Weight: -185
194.92/195.03	c
194.92/195.03	c
194.92/195.03	c ============================[ Search Statistics ]==============================
194.92/195.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.92/195.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.92/195.03	c ===============================================================================
194.92/195.03	c |         0 |    1434    38324    50356 |    12774        0    nan |  0.000 % |
194.92/195.03	c ===============================================================================
194.92/195.09	c core #316
194.92/195.09	c 
194.92/195.09	c 
194.92/195.09	c Core size: 14	Core Weight: 1	Total Weight: -184
194.92/195.09	c
194.92/195.09	c
194.92/195.09	c ============================[ Search Statistics ]==============================
194.92/195.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.92/195.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.92/195.09	c ===============================================================================
194.92/195.09	c |         0 |    1442    38325    50372 |    12775        0    nan |  0.000 % |
195.02/195.10	c ===============================================================================
195.02/195.15	c core #317
195.02/195.15	c 
195.02/195.15	c 
195.02/195.15	c Core size: 14	Core Weight: 1	Total Weight: -183
195.02/195.15	c
195.02/195.15	c
195.02/195.15	c ============================[ Search Statistics ]==============================
195.02/195.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.02/195.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.02/195.15	c ===============================================================================
195.02/195.15	c |         0 |    1452    38326    50392 |    12775        0    nan |  0.000 % |
195.02/195.17	c ===============================================================================
195.13/195.22	c core #318
195.13/195.22	c 
195.13/195.22	c 
195.13/195.22	c Core size: 20	Core Weight: 1	Total Weight: -182
195.13/195.22	c
195.13/195.22	c
195.13/195.22	c ============================[ Search Statistics ]==============================
195.13/195.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.13/195.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.13/195.22	c ===============================================================================
195.13/195.22	c |         0 |    1464    38327    50416 |    12775        0    nan |  0.000 % |
195.13/195.23	c ===============================================================================
195.13/195.29	c core #319
195.13/195.29	c 
195.13/195.29	c 
195.13/195.29	c Core size: 16	Core Weight: 1	Total Weight: -181
195.13/195.29	c
195.13/195.29	c
195.13/195.29	c ============================[ Search Statistics ]==============================
195.13/195.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.13/195.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.13/195.29	c ===============================================================================
195.13/195.29	c |         0 |    1474    38328    50436 |    12776        0    nan |  0.000 % |
195.23/195.30	c ===============================================================================
195.23/195.36	c core #320
195.23/195.36	c 
195.23/195.36	c 
195.23/195.36	c Core size: 42	Core Weight: 1	Total Weight: -180
195.23/195.36	c
195.23/195.36	c
195.23/195.36	c ============================[ Search Statistics ]==============================
195.23/195.36	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.23/195.36	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.23/195.36	c ===============================================================================
195.23/195.36	c |         0 |    1503    38329    50494 |    12776        0    nan |  0.000 % |
195.23/195.38	c ===============================================================================
195.33/195.43	c core #321
195.33/195.43	c 
195.33/195.43	c 
195.33/195.43	c Core size: 22	Core Weight: 1	Total Weight: -179
195.33/195.43	c
195.33/195.43	c
195.33/195.43	c ============================[ Search Statistics ]==============================
195.33/195.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.33/195.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.33/195.43	c ===============================================================================
195.33/195.43	c |         0 |    1516    38330    50520 |    12776        0    nan |  0.000 % |
195.33/195.46	c ===============================================================================
195.43/195.52	c core #322
195.43/195.52	c 
195.43/195.52	c 
195.43/195.52	c Core size: 33	Core Weight: 1	Total Weight: -178
195.43/195.52	c
195.43/195.52	c
195.43/195.52	c ============================[ Search Statistics ]==============================
195.43/195.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.43/195.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.43/195.52	c ===============================================================================
195.43/195.52	c |         0 |    1545    38331    50578 |    12777        0    nan |  0.000 % |
195.43/195.58	c |       100 |    1545    38331    50578 |    14054      100      7 | 92.385 % |
195.53/195.62	c ===============================================================================
195.53/195.67	c core #323
195.53/195.67	c 
195.53/195.67	c 
195.53/195.67	c Core size: 57	Core Weight: 1	Total Weight: -177
195.53/195.67	c
195.53/195.67	c
195.53/195.67	c ============================[ Search Statistics ]==============================
195.53/195.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.53/195.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.53/195.67	c ===============================================================================
195.53/195.67	c |         0 |    1591    38332    50670 |    12777        0    nan |  0.000 % |
195.64/195.75	c |       100 |    1591    38332    50670 |    14055      100     19 | 92.176 % |
195.74/195.81	c |       251 |    1591    38332    50670 |    15460      251     15 | 92.176 % |
195.83/195.93	c |       476 |    1524    38332    50670 |    17006      360     14 | 92.545 % |
195.83/195.93	c ===============================================================================
195.83/195.99	c core #324
195.83/195.99	c 
195.83/195.99	c 
195.83/195.99	c Core size: 78	Core Weight: 1	Total Weight: -176
195.83/195.99	c
195.83/195.99	c
195.83/195.99	c ============================[ Search Statistics ]==============================
195.83/195.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.83/195.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.83/195.99	c ===============================================================================
195.83/195.99	c |         0 |    1655    38333    50798 |    12777        0    nan |  0.000 % |
195.93/196.04	c |       100 |    1655    38333    50798 |    14055      100     32 | 91.887 % |
195.93/196.06	c |       250 |    1655    38333    50798 |    15460      250     27 | 91.887 % |
196.03/196.19	c |       479 |    1655    38333    50798 |    17007      479     23 | 91.887 % |
196.23/196.36	c |       816 |    1655    38333    50798 |    18707      816     21 | 91.887 % |
196.23/196.39	c ===============================================================================
196.33/196.45	c core #325
196.33/196.45	c 
196.33/196.45	c 
196.33/196.45	c Core size: 105	Core Weight: 1	Total Weight: -175
196.33/196.45	c
196.33/196.45	c
196.33/196.45	c ============================[ Search Statistics ]==============================
196.33/196.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.33/196.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.33/196.45	c ===============================================================================
196.33/196.45	c |         0 |    1729    38334    50946 |    12778        0    nan |  0.000 % |
196.43/196.51	c |       102 |    1729    38334    50946 |    14055      102     30 | 91.555 % |
196.43/196.56	c |       252 |    1729    38334    50946 |    15461      252     23 | 91.555 % |
196.53/196.64	c |       477 |    1729    38334    50946 |    17007      477     21 | 91.555 % |
196.53/196.67	c ===============================================================================
196.63/196.73	c core #326
196.63/196.73	c 
196.63/196.73	c 
196.63/196.73	c Core size: 111	Core Weight: 1	Total Weight: -174
196.63/196.73	c
196.63/196.73	c
196.63/196.73	c ============================[ Search Statistics ]==============================
196.63/196.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.63/196.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.63/196.73	c ===============================================================================
196.63/196.73	c |         0 |    1808    38335    51104 |    12778        0    nan |  0.000 % |
196.63/196.79	c |       103 |    1808    38335    51104 |    14056      103     42 | 91.203 % |
196.74/196.85	c |       257 |    1807    38335    51104 |    15461      257     30 | 91.208 % |
196.74/196.89	c |       482 |    1793    38335    51104 |    17007      472     25 | 91.680 % |
196.74/196.90	c ===============================================================================
196.84/196.95	c core #327
196.84/196.95	c 
196.84/196.95	c 
196.84/196.95	c Core size: 92	Core Weight: 1	Total Weight: -173
196.84/196.95	c
196.84/196.95	c
196.84/196.95	c ============================[ Search Statistics ]==============================
196.84/196.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.84/196.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.84/196.95	c ===============================================================================
196.84/196.95	c |         0 |    1869    38336    51226 |    12778        0    nan |  0.000 % |
196.93/197.00	c |       100 |    1869    38336    51226 |    14056      100     15 | 90.933 % |
196.93/197.06	c |       250 |    1869    38336    51226 |    15462      250     16 | 90.933 % |
197.03/197.16	c ===============================================================================
197.13/197.21	c core #328
197.13/197.21	c 
197.13/197.21	c 
197.13/197.21	c Core size: 61	Core Weight: 1	Total Weight: -172
197.13/197.21	c
197.13/197.21	c
197.13/197.21	c ============================[ Search Statistics ]==============================
197.13/197.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.13/197.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.13/197.21	c ===============================================================================
197.13/197.21	c |         0 |    1917    38337    51322 |    12779        0    nan |  0.000 % |
197.13/197.26	c |       103 |    1917    38337    51322 |    14056      103     17 | 90.722 % |
197.13/197.29	c |       254 |    1917    38337    51322 |    15462      254     19 | 90.722 % |
197.23/197.37	c |       479 |    1915    38337    51322 |    17008      479     16 | 90.736 % |
197.33/197.40	c ===============================================================================
197.33/197.45	c core #329
197.33/197.45	c 
197.33/197.45	c 
197.33/197.45	c Core size: 96	Core Weight: 1	Total Weight: -171
197.33/197.45	c
197.33/197.45	c
197.33/197.45	c ============================[ Search Statistics ]==============================
197.33/197.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.33/197.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.33/197.45	c ===============================================================================
197.33/197.45	c |         0 |    1979    38338    51446 |    12779        0    nan |  0.000 % |
197.43/197.51	c |       103 |    1979    38338    51446 |    14057      103      7 | 90.450 % |
197.43/197.53	c ===============================================================================
197.43/197.59	c core #330
197.43/197.59	c 
197.43/197.59	c 
197.43/197.59	c Core size: 53	Core Weight: 1	Total Weight: -170
197.43/197.59	c
197.43/197.59	c
197.43/197.59	c ============================[ Search Statistics ]==============================
197.43/197.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.43/197.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.43/197.59	c ===============================================================================
197.43/197.59	c |         0 |    2019    38339    51526 |    12779        0    nan |  0.000 % |
197.53/197.65	c |       103 |    2019    38339    51526 |    14057      103      7 | 90.276 % |
197.53/197.67	c ===============================================================================
197.63/197.73	c core #331
197.63/197.73	c 
197.63/197.73	c 
197.63/197.73	c Core size: 66	Core Weight: 1	Total Weight: -169
197.63/197.73	c
197.63/197.73	c
197.63/197.73	c ============================[ Search Statistics ]==============================
197.63/197.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.63/197.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.63/197.73	c ===============================================================================
197.63/197.73	c |         0 |    2065    38340    51618 |    12780        0    nan |  0.000 % |
197.72/197.82	c |       100 |    2065    38340    51618 |    14058      100     15 | 90.076 % |
197.72/197.88	c ===============================================================================
197.83/197.94	c core #332
197.83/197.94	c 
197.83/197.94	c 
197.83/197.94	c Core size: 49	Core Weight: 1	Total Weight: -168
197.83/197.94	c
197.83/197.94	c
197.83/197.94	c ============================[ Search Statistics ]==============================
197.83/197.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.83/197.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.83/197.94	c ===============================================================================
197.83/197.94	c |         0 |    2113    38341    51714 |    12780        0    nan |  0.000 % |
197.83/197.99	c |       100 |    2113    38341    51714 |    14058      100     14 | 89.869 % |
197.93/198.03	c |       251 |    2113    38341    51714 |    15464      251     11 | 89.869 % |
197.93/198.09	c ===============================================================================
198.03/198.15	c core #333
198.03/198.15	c 
198.03/198.15	c 
198.03/198.15	c Core size: 69	Core Weight: 1	Total Weight: -167
198.03/198.15	c
198.03/198.15	c
198.03/198.15	c ============================[ Search Statistics ]==============================
198.03/198.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.03/198.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.03/198.15	c ===============================================================================
198.03/198.15	c |         0 |    2171    38342    51830 |    12780        0    nan |  0.000 % |
198.03/198.18	c |       100 |    2171    38342    51830 |    14058      100     26 | 89.620 % |
198.13/198.21	c |       251 |    2171    38342    51830 |    15464      251     24 | 89.620 % |
198.13/198.28	c ===============================================================================
198.23/198.33	c core #334
198.23/198.33	c 
198.23/198.33	c 
198.23/198.33	c Core size: 36	Core Weight: 1	Total Weight: -166
198.23/198.33	c
198.23/198.33	c
198.23/198.33	c ============================[ Search Statistics ]==============================
198.23/198.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.23/198.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.23/198.33	c ===============================================================================
198.23/198.33	c |         0 |    2197    38343    51882 |    12781        0    nan |  0.000 % |
198.23/198.39	c |       100 |    2197    38343    51882 |    14059      100     14 | 89.509 % |
198.33/198.45	c |       251 |    2197    38343    51882 |    15465      251     16 | 89.509 % |
198.42/198.54	c |       478 |    2197    38343    51882 |    17011      478     14 | 89.509 % |
198.52/198.67	c |       817 |    2196    38343    51882 |    18712      814     14 | 89.513 % |
198.62/198.75	c ===============================================================================
198.73/198.81	c core #335
198.73/198.81	c 
198.73/198.81	c 
198.73/198.81	c Core size: 94	Core Weight: 1	Total Weight: -165
198.73/198.81	c
198.73/198.81	c
198.73/198.81	c ============================[ Search Statistics ]==============================
198.73/198.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
198.73/198.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
198.73/198.81	c ===============================================================================
198.73/198.81	c |         0 |    2271    38344    52030 |    12781        0    nan |  0.000 % |
198.73/198.84	c |       100 |    2271    38344    52030 |    14059      100     13 | 89.193 % |
198.73/198.88	c |       252 |    2271    38344    52030 |    15465      252     14 | 89.193 % |
198.83/198.95	c |       477 |    2271    38344    52030 |    17011      477     18 | 89.193 % |
198.94/199.08	c |       816 |    2271    38344    52030 |    18713      816     20 | 89.193 % |
199.13/199.26	c |      1325 |    2271    38344    52030 |    20584     1325     22 | 89.193 % |
199.42/199.52	c |      2085 |    2271    38344    52030 |    22642     2085     22 | 89.193 % |
199.72/199.87	c ===============================================================================
199.83/199.95	c core #336
199.83/199.95	c 
199.83/199.95	c 
199.83/199.95	c Core size: 76	Core Weight: 1	Total Weight: -164
199.83/199.95	c
199.83/199.95	c
199.83/199.95	c ============================[ Search Statistics ]==============================
199.83/199.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.83/199.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.83/199.95	c ===============================================================================
199.83/199.95	c |         0 |    2327    38345    52142 |    12781        0    nan |  0.000 % |
199.83/199.98	c |       100 |    2327    38345    52142 |    14059      100     16 | 88.956 % |
199.93/200.01	c |       252 |    2327    38345    52142 |    15465      252     15 | 88.956 % |
199.93/200.05	c |       477 |    2327    38345    52142 |    17012      477     20 | 88.956 % |
200.03/200.15	c |       816 |    2327    38345    52142 |    18713      816     23 | 88.956 % |
200.22/200.36	c |      1323 |    2327    38345    52142 |    20585     1323     34 | 88.956 % |
200.52/200.64	c |      2087 |    2327    38345    52142 |    22643     2087     40 | 88.956 % |
201.02/201.17	c |      3230 |    2326    38345    52142 |    24907     3199     42 | 88.961 % |
201.33/201.42	c ===============================================================================
201.33/201.49	c core #337
201.33/201.49	c 
201.33/201.49	c 
201.33/201.49	c Core size: 110	Core Weight: 1	Total Weight: -163
201.33/201.49	c
201.33/201.49	c
201.33/201.49	c ============================[ Search Statistics ]==============================
201.33/201.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.33/201.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.33/201.49	c ===============================================================================
201.33/201.49	c |         0 |    2410    38346    52308 |    12782        0    nan |  0.000 % |
201.43/201.54	c |       101 |    2410    38346    52308 |    14060      101     23 | 88.607 % |
201.43/201.59	c |       253 |    2410    38346    52308 |    15466      253     19 | 88.607 % |
201.53/201.65	c |       478 |    2410    38346    52308 |    17012      478     18 | 88.607 % |
201.63/201.75	c |       818 |    2410    38346    52308 |    18714      818     18 | 88.607 % |
201.82/201.91	c |      1325 |    2410    38346    52308 |    20585     1325     18 | 88.607 % |
201.92/202.05	c ===============================================================================
202.02/202.12	c core #338
202.02/202.12	c 
202.02/202.12	c 
202.02/202.12	c Core size: 83	Core Weight: 1	Total Weight: -162
202.02/202.12	c
202.02/202.12	c
202.02/202.12	c ============================[ Search Statistics ]==============================
202.02/202.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
202.02/202.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
202.02/202.12	c ===============================================================================
202.02/202.12	c |         0 |    2482    38347    52452 |    12782        0    nan |  0.000 % |
202.02/202.15	c |       100 |    2482    38347    52452 |    14060      100     20 | 88.307 % |
202.02/202.18	c |       250 |    2482    38347    52452 |    15466      250     23 | 88.307 % |
202.13/202.27	c |       477 |    2482    38347    52452 |    17013      477     29 | 88.307 % |
202.24/202.38	c |       814 |    2482    38347    52452 |    18714      814     38 | 88.307 % |
202.43/202.59	c |      1320 |    2482    38347    52452 |    20586     1320     50 | 88.307 % |
202.73/202.89	c |      2079 |    2482    38347    52452 |    22644     2079     59 | 88.307 % |
203.33/203.41	c |      3218 |    2482    38347    52452 |    24909     3218     58 | 88.307 % |
204.02/204.14	c |      4927 |    2482    38347    52452 |    27400     4927     57 | 88.307 % |
205.82/205.99	c |      7489 |    2482    38347    52452 |    30140     7489     60 | 88.307 % |
209.02/209.16	c |     11334 |    2482    38347    52452 |    33154    11334     59 | 88.307 % |
214.12/214.29	c |     17100 |    2482    38347    52452 |    36469    17100     56 | 88.307 % |
222.22/222.30	c ===============================================================================
222.52/222.65	c core #339
222.52/222.65	c 
222.52/222.65	c 
222.52/222.65	c Core size: 140	Core Weight: 1	Total Weight: -161
222.52/222.65	c
222.52/222.65	c
222.52/222.65	c ============================[ Search Statistics ]==============================
222.52/222.65	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
222.52/222.65	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
222.52/222.65	c ===============================================================================
222.52/222.65	c |         0 |    2573    38348    52634 |    12782        0    nan |  0.000 % |
222.62/222.71	c |       100 |    2573    38348    52634 |    14060      100     23 | 87.930 % |
222.62/222.72	c |       250 |    2573    38348    52634 |    15467      250     21 | 87.930 % |
222.62/222.76	c |       475 |    2573    38348    52634 |    17013      475     24 | 87.930 % |
222.72/222.86	c |       812 |    2573    38348    52634 |    18715      812     25 | 87.930 % |
222.92/223.01	c |      1318 |    2573    38348    52634 |    20586     1318     26 | 87.930 % |
223.12/223.24	c |      2077 |    2573    38348    52634 |    22645     2077     29 | 87.930 % |
223.62/223.75	c |      3217 |    2573    38348    52634 |    24909     3217     31 | 87.930 % |
224.42/224.59	c |      4925 |    2573    38348    52634 |    27400     4925     32 | 87.930 % |
226.02/226.18	c |      7487 |    2573    38348    52634 |    30140     7487     33 | 87.930 % |
228.51/228.70	c ===============================================================================
228.81/228.90	c core #340
228.81/228.90	c 
228.81/228.90	c 
228.81/228.90	c Core size: 141	Core Weight: 1	Total Weight: -160
228.81/228.90	c
228.81/228.90	c
228.81/228.90	c ============================[ Search Statistics ]==============================
228.81/228.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
228.81/228.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
228.81/228.90	c ===============================================================================
228.81/228.90	c |         0 |    2671    38349    52830 |    12783        0    nan |  0.000 % |
228.81/228.98	c |       100 |    2671    38349    52830 |    14061      100     29 | 87.527 % |
228.81/228.99	c |       250 |    2671    38349    52830 |    15467      250     21 | 87.527 % |
228.92/229.05	c |       476 |    2671    38349    52830 |    17014      476     22 | 87.527 % |
229.02/229.19	c |       813 |    2671    38349    52830 |    18715      813     27 | 87.527 % |
229.22/229.37	c |      1319 |    2671    38349    52830 |    20587     1319     30 | 87.527 % |
229.62/229.73	c |      2080 |    2671    38349    52830 |    22645     2080     37 | 87.527 % |
230.12/230.26	c |      3219 |    2671    38349    52830 |    24910     3219     39 | 87.527 % |
231.01/231.16	c |      4928 |    2671    38349    52830 |    27401     4928     39 | 87.527 % |
232.31/232.46	c |      7492 |    2671    38349    52830 |    30141     7492     41 | 87.527 % |
235.23/235.38	c |     11336 |    2671    38349    52830 |    33155    11336     41 | 87.527 % |
240.51/240.69	c |     17104 |    2671    38349    52830 |    36471    17104     42 | 87.527 % |
245.51/245.68	c ===============================================================================
245.91/246.07	c core #341
245.91/246.07	c 
245.91/246.07	c 
245.91/246.07	c Core size: 108	Core Weight: 1	Total Weight: -159
245.91/246.07	c
245.91/246.07	c
245.91/246.07	c ============================[ Search Statistics ]==============================
245.91/246.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
245.91/246.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
245.91/246.07	c ===============================================================================
245.91/246.07	c |         0 |    2761    38350    53010 |    12783        0    nan |  0.000 % |
246.01/246.12	c |       100 |    2761    38350    53010 |    14061      100     19 | 87.161 % |
246.01/246.14	c |       252 |    2761    38350    53010 |    15467      252     15 | 87.161 % |
246.01/246.16	c |       479 |    2761    38350    53010 |    17014      479     23 | 87.161 % |
246.12/246.21	c |       816 |    2761    38350    53010 |    18716      816     22 | 87.161 % |
246.22/246.31	c |      1322 |    2761    38350    53010 |    20587     1322     27 | 87.161 % |
246.41/246.56	c |      2081 |    2761    38350    53010 |    22646     2081     35 | 87.161 % |
246.92/247.03	c |      3223 |    2761    38350    53010 |    24911     3223     41 | 87.161 % |
247.61/247.76	c |      4933 |    2761    38350    53010 |    27402     4933     45 | 87.161 % |
249.11/249.27	c |      7495 |    2761    38350    53010 |    30142     7495     50 | 87.161 % |
250.92/251.03	c |     11340 |    2761    38350    53010 |    33156    11340     45 | 87.161 % |
255.51/255.63	c |     17114 |    2761    38350    53010 |    36472    17114     43 | 87.161 % |
260.21/260.38	c ===============================================================================
260.62/260.74	c core #342
260.62/260.74	c 
260.62/260.74	c 
260.62/260.74	c Core size: 141	Core Weight: 1	Total Weight: -158
260.62/260.74	c
260.62/260.74	c
260.62/260.74	c ============================[ Search Statistics ]==============================
260.62/260.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
260.62/260.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
260.62/260.74	c ===============================================================================
260.62/260.74	c |         0 |    2855    38351    53198 |    12783        0    nan |  0.000 % |
260.62/260.77	c |       100 |    2855    38351    53198 |    14062      100     34 | 86.782 % |
260.71/260.82	c |       251 |    2855    38351    53198 |    15468      251     26 | 86.782 % |
260.71/260.85	c |       476 |    2855    38351    53198 |    17015      476     30 | 86.782 % |
260.71/260.89	c |       814 |    2855    38351    53198 |    18716      814     44 | 86.782 % |
260.81/260.98	c |      1321 |    2855    38351    53198 |    20588     1321     43 | 86.782 % |
261.11/261.21	c |      2080 |    2855    38351    53198 |    22647     2080     51 | 86.782 % |
261.71/261.89	c |      3220 |    2855    38351    53198 |    24911     3220     59 | 86.782 % |
262.81/262.95	c |      4928 |    2855    38351    53198 |    27402     4928     66 | 86.782 % |
264.11/264.29	c |      7490 |    2855    38351    53198 |    30143     7490     66 | 86.782 % |
267.31/267.42	c |     11334 |    2855    38351    53198 |    33157    11334     73 | 86.782 % |
273.10/273.24	c |     17101 |    2855    38351    53198 |    36473    17101     76 | 86.782 % |
280.90/281.04	c |     25750 |    2855    38351    53198 |    40120    25750     75 | 86.782 % |
302.20/302.33	c |     38725 |    2855    38351    53198 |    44132    38725     79 | 86.782 % |
344.09/344.26	c |     58186 |    2855    38351    53198 |    48545    58186     82 | 86.782 % |
413.07/413.25	c |     87378 |    2855    38351    53198 |    53400    35933     92 | 86.782 % |
489.14/489.31	c |    131167 |    2855    38351    53198 |    58740    23465     93 | 86.782 % |
664.49/664.71	c |    196853 |    2855    38351    53198 |    64614    30150     95 | 86.782 % |
910.11/910.48	c |    295380 |    2855    38351    53198 |    71076    62450     87 | 86.782 % |
1259.61/1260.05	c |    443173 |    2855    38351    53198 |    78183    66008     73 | 86.782 % |

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 29395
/proc/meminfo: memFree=1789712/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=4784 CPUtime=0
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 415 0 0 0 0 0 0 0 20 0 1 0 25055404 4898816 334 1992294400 134512640 135752675 4287350960 18446744073709551615 134564867 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 1196 335 137 303 0 496 0

[startup+0.0311031 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 29395
/proc/meminfo: memFree=1789712/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=6308 CPUtime=0.02
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 826 0 0 0 2 0 0 0 20 0 1 0 25055404 6459392 745 1992294400 134512640 135752675 4287350960 18446744073709551615 134635776 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 1577 745 160 303 0 877 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 6308

[startup+0.101113 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 29395
/proc/meminfo: memFree=1789712/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=8876 CPUtime=0.09
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 1476 0 0 0 9 0 0 0 20 0 1 0 25055404 9089024 1395 1992294400 134512640 135752675 4287350960 18446744073709551615 134564534 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 2219 1395 247 303 0 1519 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8876

[startup+0.301141 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 29395
/proc/meminfo: memFree=1789712/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=13948 CPUtime=0.29
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 3400 0 0 0 28 1 0 0 20 0 1 0 25055404 14282752 2891 1992294400 134512640 135752675 4287350960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 3487 2891 142 303 0 3182 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13948

[startup+0.701199 s]
/proc/loadavg: 1.00 1.02 1.00 3/106 29395
/proc/meminfo: memFree=1789712/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=12356 CPUtime=0.69
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 3954 0 0 0 67 2 0 0 18 0 1 0 25055404 12652544 2545 1992294400 134512640 135752675 4287350960 18446744073709551615 134605394 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 3089 2546 145 303 0 2784 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12356

[startup+1.50131 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 29396
/proc/meminfo: memFree=1778668/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=15920 CPUtime=1.49
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 4848 0 0 0 146 3 0 0 19 0 1 0 25055404 16302080 3439 1992294400 134512640 135752675 4287350960 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 3980 3439 145 303 0 3675 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15920

[startup+3.10054 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 29396
/proc/meminfo: memFree=1775320/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=19356 CPUtime=3.09
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 5700 0 0 0 305 4 0 0 22 0 1 0 25055404 19820544 4291 1992294400 134512640 135752675 4287350960 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 4839 4291 145 303 0 4534 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19356

[startup+6.30099 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 29396
/proc/meminfo: memFree=1769740/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=23992 CPUtime=6.29
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 6854 0 0 0 624 5 0 0 25 0 1 0 25055404 24567808 5445 1992294400 134512640 135752675 4287350960 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 5998 5445 145 303 0 5693 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23992

[startup+12.7009 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 29396
/proc/meminfo: memFree=1761432/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=32868 CPUtime=12.69
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 9075 0 0 0 1261 8 0 0 25 0 1 0 25055404 33656832 7666 1992294400 134512640 135752675 4287350960 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 8217 7666 145 303 0 7912 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32868

[startup+25.5007 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 29396
/proc/meminfo: memFree=1747296/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=45912 CPUtime=25.48
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 12317 0 0 0 2535 13 0 0 25 0 1 0 25055404 47013888 10908 1992294400 134512640 135752675 4287350960 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 11478 10908 145 303 0 11173 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45912

[startup+51.1014 s]
/proc/loadavg: 1.08 1.03 1.01 2/107 29398
/proc/meminfo: memFree=1733408/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=59724 CPUtime=51.08
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 15724 0 0 0 5087 21 0 0 25 0 1 0 25055404 61157376 14315 1992294400 134512640 135752675 4287350960 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 14931 14315 145 303 0 14626 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 59724

[startup+102.309 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 29398
/proc/meminfo: memFree=1716048/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=76848 CPUtime=102.26
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 19954 0 0 0 10195 31 0 0 25 0 1 0 25055404 78692352 18545 1992294400 134512640 135752675 4287350960 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 19212 18545 145 303 0 18907 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 76848

[startup+162.301 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 29400
/proc/meminfo: memFree=1685792/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=107324 CPUtime=162.24
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 27533 0 0 0 16179 45 0 0 25 0 1 0 25055404 109899776 26124 1992294400 134512640 135752675 4287350960 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 26831 26124 145 303 0 26526 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 107324

[startup+222.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/107 29402
/proc/meminfo: memFree=1675376/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=116268 CPUtime=222.22
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 30732 0 0 0 22157 65 0 0 25 0 1 0 25055404 119058432 28526 1992294400 134512640 135752675 4287350960 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 29067 28526 146 303 0 28762 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 116268

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 29404
/proc/meminfo: memFree=1675252/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=116268 CPUtime=282.21
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 30744 0 0 0 28125 96 0 0 25 0 1 0 25055404 119058432 28538 1992294400 134512640 135752675 4287350960 18446744073709551615 134605368 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 29067 28538 146 303 0 28762 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 116268

[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 29406
/proc/meminfo: memFree=1675252/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=116268 CPUtime=342.19
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 30756 0 0 0 34111 108 0 0 25 0 1 0 25055404 119058432 28550 1992294400 134512640 135752675 4287350960 18446744073709551615 134612133 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 29067 28550 146 303 0 28762 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 116268

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 29406
/proc/meminfo: memFree=1675004/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=116796 CPUtime=402.17
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 30915 0 0 0 40099 118 0 0 25 0 1 0 25055404 119599104 28709 1992294400 134512640 135752675 4287350960 18446744073709551615 134605286 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 29199 28709 146 303 0 28894 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 116796

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29417
/proc/meminfo: memFree=1655164/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=135800 CPUtime=462.15
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 35666 0 0 0 46077 138 0 0 25 0 1 0 25055404 139059200 33460 1992294400 134512640 135752675 4287350960 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 33950 33460 146 303 0 33645 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 135800

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29419
/proc/meminfo: memFree=1638424/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=152604 CPUtime=522.12
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 39868 0 0 0 52056 156 0 0 25 0 1 0 25055404 156266496 37662 1992294400 134512640 135752675 4287350960 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 38151 37662 146 303 0 37846 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 152604

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29421
/proc/meminfo: memFree=1626396/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=164688 CPUtime=582.1
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 42847 0 0 0 58040 170 0 0 25 0 1 0 25055404 168640512 40641 1992294400 134512640 135752675 4287350960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 41172 40641 146 303 0 40867 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 164688

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29423
/proc/meminfo: memFree=1616724/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=174228 CPUtime=642.09
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 45240 0 0 0 64026 183 0 0 25 0 1 0 25055404 178409472 43034 1992294400 134512640 135752675 4287350960 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 43557 43034 146 303 0 43252 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 174228

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29427
/proc/meminfo: memFree=1582748/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=208540 CPUtime=822.03
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 53775 0 0 0 81974 229 0 0 25 0 1 0 25055404 213544960 51569 1992294400 134512640 135752675 4287350960 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 52135 51569 146 303 0 51830 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 208540

[startup+882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29429
/proc/meminfo: memFree=1565760/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=225212 CPUtime=882.01
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 57944 0 0 0 87954 247 0 0 25 0 1 0 25055404 230617088 55738 1992294400 134512640 135752675 4287350960 18446744073709551615 134605275 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 56303 55738 146 303 0 55998 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 225212

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29431
/proc/meminfo: memFree=1554600/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=236532 CPUtime=942.01
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 60743 0 0 0 93939 262 0 0 25 0 1 0 25055404 242208768 58537 1992294400 134512640 135752675 4287350960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 59133 58537 146 303 0 58828 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 236532

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29431
/proc/meminfo: memFree=1547036/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=244004 CPUtime=1001.98
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 62593 0 0 0 99927 271 0 0 25 0 1 0 25055404 249860096 60387 1992294400 134512640 135752675 4287350960 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 61001 60387 146 303 0 60696 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 244004

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29433
/proc/meminfo: memFree=1534636/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=256684 CPUtime=1061.96
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 65753 0 0 0 105911 285 0 0 25 0 1 0 25055404 262844416 63547 1992294400 134512640 135752675 4287350960 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 64171 63547 146 303 0 63866 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 256684

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29435
/proc/meminfo: memFree=1520872/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=270296 CPUtime=1121.95
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 69155 0 0 0 111891 304 0 0 25 0 1 0 25055404 276783104 66949 1992294400 134512640 135752675 4287350960 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 67574 66949 146 303 0 67269 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 270296

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29437
/proc/meminfo: memFree=1508348/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=283144 CPUtime=1181.93
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 72346 0 0 0 117874 319 0 0 25 0 1 0 25055404 289939456 70140 1992294400 134512640 135752675 4287350960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 70786 70140 146 303 0 70481 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 283144

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29439
/proc/meminfo: memFree=1492600/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=298636 CPUtime=1241.91
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 76195 0 0 0 123852 339 0 0 25 0 1 0 25055404 305803264 73989 1992294400 134512640 135752675 4287350960 18446744073709551615 134605234 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 74659 73989 146 303 0 74354 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 298636

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29439
/proc/meminfo: memFree=1484416/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=306760 CPUtime=1301.9
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 78198 0 0 0 129841 349 0 0 25 0 1 0 25055404 314122240 75992 1992294400 134512640 135752675 4287350960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 76690 75992 146 303 0 76385 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 306760

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29441
/proc/meminfo: memFree=1476356/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=315120 CPUtime=1361.88
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 80234 0 0 0 135827 361 0 0 25 0 1 0 25055404 322682880 78028 1992294400 134512640 135752675 4287350960 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 78780 78028 146 303 0 78475 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 315120

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29443
/proc/meminfo: memFree=1462344/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=328904 CPUtime=1421.87
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 83689 0 0 0 141807 380 0 0 25 0 1 0 25055404 336797696 81483 1992294400 134512640 135752675 4287350960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 82226 81483 146 303 0 81921 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 328904

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29445
/proc/meminfo: memFree=1452672/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=338672 CPUtime=1481.84
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 86107 0 0 0 147792 392 0 0 25 0 1 0 25055404 346800128 83901 1992294400 134512640 135752675 4287350960 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 84668 83901 146 303 0 84363 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 338672

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29450
/proc/meminfo: memFree=1443868/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=346708 CPUtime=1541.83
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 88126 0 0 0 153779 404 0 0 25 0 1 0 25055404 355028992 85920 1992294400 134512640 135752675 4287350960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 86677 85920 146 303 0 86372 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 346708

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29450
/proc/meminfo: memFree=1437296/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=353636 CPUtime=1601.8
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 89837 0 0 0 159767 413 0 0 25 0 1 0 25055404 362123264 87631 1992294400 134512640 135752675 4287350960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 88409 87631 146 303 0 88104 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 353636

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29452
/proc/meminfo: memFree=1424400/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=366448 CPUtime=1661.79
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 93038 0 0 0 165751 428 0 0 25 0 1 0 25055404 375242752 90832 1992294400 134512640 135752675 4287350960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 91612 90832 146 303 0 91307 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 366448

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29454
/proc/meminfo: memFree=1411752/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=379260 CPUtime=1721.77
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 96241 0 0 0 171734 443 0 0 25 0 1 0 25055404 388362240 94035 1992294400 134512640 135752675 4287350960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 94815 94035 146 303 0 94510 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 379260

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29456
/proc/meminfo: memFree=1401584/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=389300 CPUtime=1781.76
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 98732 0 0 0 177720 456 0 0 25 0 1 0 25055404 398643200 96526 1992294400 134512640 135752675 4287350960 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 97325 96526 146 303 0 97020 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 389300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29456
/proc/meminfo: memFree=1398856/2059040 swapFree=4082496/4192956
[pid=29395] ppid=29393 vsize=391952 CPUtime=1800.06
/proc/29395/stat : 29395 (wbo1.4b) R 29393 29395 28921 0 -1 4202496 99398 0 0 0 179547 459 0 0 25 0 1 0 25055404 401358848 97192 1992294400 134512640 135752675 4287350960 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29395/statm: 97988 97192 146 303 0 97683 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 391952

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.65
CPU time (s): 1800.11
CPU user time (s): 1795.48
CPU system time (s): 4.63329
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 391952

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

runsolver used 2.87556 second user time and 8.64368 second system time

The end

Launcher Data 

Begin job on node029 at 2010-07-08 07:53:58
IDJOB=2702489
IDBENCH=48179
IDSOLVER=1190
FILE ID=node029/2702489-1278568438
PBS_JOBID= 11239554
Free space on /tmp= 62560 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_500_60_2.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-2702489-1278568438/watcher-2702489-1278568438 -o /tmp/evaluation-result-2702489-1278568438/solver-2702489-1278568438 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702489-1278568438.opb

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

MD5SUM BENCH= fecc1e3404707b1609ea9647c91fc73f
RANDOM SEED=2101394839

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1791852 kB
Buffers:         42564 kB
Cached:          94024 kB
SwapCached:      64844 kB
Active:          88312 kB
Inactive:       115404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1791852 kB
SwapTotal:     4192956 kB
SwapFree:      4082496 kB
Dirty:            3348 kB
Writeback:           0 kB
AnonPages:       11248 kB
Mapped:           8428 kB
Slab:            41652 kB
PageTables:       4080 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181828 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-2702489-1278568438.opb

Free space on /tmp at the end= 62556 MiB
End job on node029 at 2010-07-08 08:24:01