Trace number 2702499

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.4b (fixed)? (TO) 1800.13 1800.54

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_500_60_3.opb
MD5SUM2917e00f55986a046b103b08aa2aecc1
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-38
Best CPU time to get the best result obtained on this benchmark1800.31
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 constraint110
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)37460
Sum of products size (including duplicates)74920
Number of different products18730
Sum of products size37460

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-2702499-1278568532.opb.
0.00/0.00	c Instance file HOME/instance-2702499-1278568532.opb
0.00/0.00	c File size is 1614967 bytes.
0.19/0.26	c Highest Coefficient sum: 110
0.19/0.27	c ============================[ Problem Statistics ]=============================
0.19/0.27	c |                                                                             |
0.19/0.27	c |  Parsing time:          0.26         s                                      |
0.19/0.27	c |  Number Variables:      19230                                               |
0.19/0.27	c |  Number Clauses:        18730                                               |
0.19/0.27	c |  Number Cardinality:    1000                                                |
0.19/0.27	c |  Number PB Constraints: 18730                                               |
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    38460    92810 |    12820        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.331949 s	Remaining CPU time: 179.668 s
0.29/0.34	c ===============================================================================
0.29/0.34	c |         0 |     500    38461    93310 |    12820        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.338948 s	Remaining CPU time: 179.661 s
0.29/0.35	c ===============================================================================
0.29/0.35	c |         0 |     500    38462    93810 |    12820        0    nan |  0.000 % |
0.29/0.36	c ===============================================================================
0.29/0.36	c New solution: -2
0.29/0.36	o -2
0.29/0.36	c Elapsed CPU time: 0.346947 s	Remaining CPU time: 179.653 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |         0 |     500    38463    94310 |    12821        0    nan |  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.353946 s	Remaining CPU time: 179.646 s
0.29/0.36	c ===============================================================================
0.29/0.36	c |         0 |     500    38464    94810 |    12821        0    nan |  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.360945 s	Remaining CPU time: 179.639 s
0.29/0.37	c ===============================================================================
0.29/0.37	c |         0 |     500    38465    95310 |    12821        0    nan |  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.368943 s	Remaining CPU time: 179.631 s
0.29/0.38	c ===============================================================================
0.29/0.38	c |         0 |     500    38466    95810 |    12822        0    nan |  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.376942 s	Remaining CPU time: 179.623 s
0.29/0.39	c ===============================================================================
0.29/0.39	c |         0 |     500    38467    96310 |    12822        0    nan |  0.000 % |
0.29/0.40	c ===============================================================================
0.29/0.40	c New solution: -7
0.29/0.40	o -7
0.29/0.40	c Elapsed CPU time: 0.384941 s	Remaining CPU time: 179.615 s
0.29/0.40	c ===============================================================================
0.29/0.40	c |         1 |     500    38468    96810 |    12822        1    494 |  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.39394 s	Remaining CPU time: 179.606 s
0.39/0.40	c ===============================================================================
0.39/0.40	c |         9 |     500    38469    97310 |    12823        9    494 |  0.000 % |
0.39/0.42	c |       111 |     500    38469    97310 |    14105      111    496 | 97.400 % |
0.39/0.44	c ===============================================================================
0.39/0.44	c New solution: -9
0.39/0.44	o -9
0.39/0.44	c Elapsed CPU time: 0.422935 s	Remaining CPU time: 179.577 s
0.39/0.44	c ===============================================================================
0.39/0.44	c |       168 |     500    38470    97810 |    12823      168    496 | 97.400 % |
0.39/0.45	c |       270 |     500    38470    97810 |    14105      270    497 | 97.400 % |
0.39/0.48	c |       421 |     500    38470    97810 |    15516      421    497 | 97.400 % |
0.39/0.49	c ===============================================================================
0.39/0.49	c New solution: -10
0.39/0.49	o -10
0.39/0.49	c Elapsed CPU time: 0.476927 s	Remaining CPU time: 179.523 s
0.39/0.49	c ===============================================================================
0.39/0.49	c |       428 |     500    38471    98310 |    12823      428    497 | 97.400 % |
0.49/0.52	c |       530 |     500    38471    98310 |    14106      530    496 | 97.400 % |
0.49/0.55	c ===============================================================================
0.49/0.55	c New solution: -11
0.49/0.55	o -11
0.49/0.55	c Elapsed CPU time: 0.531919 s	Remaining CPU time: 179.468 s
0.49/0.55	c ===============================================================================
0.49/0.55	c |       618 |     500    38472    98810 |    12824      618    498 | 97.400 % |
0.49/0.58	c |       718 |     500    38472    98810 |    14106      718    498 | 97.400 % |
0.59/0.62	c |       869 |     500    38472    98810 |    15517      869    500 | 97.400 % |
0.59/0.69	c |      1094 |     500    38472    98810 |    17068     1094    504 | 97.400 % |
0.79/0.81	c ===============================================================================
0.79/0.81	c New solution: -12
0.79/0.81	o -12
0.79/0.81	c Elapsed CPU time: 0.790879 s	Remaining CPU time: 179.209 s
0.79/0.81	c ===============================================================================
0.79/0.81	c |      1418 |     500    38473    99310 |    12824     1418    505 | 97.400 % |
0.79/0.86	c |      1518 |     500    38473    99310 |    14106     1518    504 | 97.400 % |
0.89/0.92	c |      1670 |     500    38473    99310 |    15517     1670    504 | 97.400 % |
1.00/1.00	c |      1899 |     500    38473    99310 |    17069     1899    504 | 97.400 % |
1.10/1.14	c |      2237 |     500    38473    99310 |    18776     2237    503 | 97.400 % |
1.30/1.34	c ===============================================================================
1.30/1.34	c New solution: -13
1.30/1.34	o -13
1.30/1.34	c Elapsed CPU time: 1.3038 s	Remaining CPU time: 178.696 s
1.30/1.34	c ===============================================================================
1.30/1.34	c |      2723 |     500    38474    99810 |    12824     2723    502 | 97.400 % |
1.30/1.39	c |      2825 |     500    38474    99810 |    14107     2825    502 | 97.400 % |
1.39/1.42	c ===============================================================================
1.39/1.42	c New solution: -14
1.39/1.42	o -14
1.39/1.42	c Elapsed CPU time: 1.37279 s	Remaining CPU time: 178.627 s
1.39/1.42	c ===============================================================================
1.39/1.42	c |      2888 |     500    38475   100310 |    12825     2888    502 | 97.400 % |
1.39/1.46	c |      2991 |     500    38475   100310 |    14107     2991    502 | 97.400 % |
1.49/1.53	c |      3143 |     500    38475   100310 |    15518     3143    503 | 97.400 % |
1.59/1.66	c |      3369 |     500    38475   100310 |    17070     3369    504 | 97.400 % |
1.80/1.86	c |      3707 |     500    38475   100310 |    18777     3707    508 | 97.400 % |
2.20/2.24	c |      4214 |     500    38475   100310 |    20654     4214    508 | 97.400 % |
2.80/2.80	c |      4973 |     500    38475   100310 |    22720     4973    510 | 97.400 % |
3.39/3.43	c |      6112 |     500    38475   100310 |    24992     6112    511 | 97.400 % |
4.40/4.41	c ===============================================================================
4.40/4.41	c New solution: -15
4.40/4.41	o -15
4.40/4.41	c Elapsed CPU time: 4.34534 s	Remaining CPU time: 175.655 s
4.40/4.41	c ===============================================================================
4.40/4.41	c |      7457 |     500    38476   100810 |    12825     7457    508 | 97.400 % |
4.49/4.51	c |      7559 |     500    38476   100810 |    14107     7559    508 | 97.400 % |
4.60/4.66	c |      7709 |     500    38476   100810 |    15518     7709    508 | 97.400 % |
4.79/4.84	c |      7934 |     500    38476   100810 |    17070     7934    507 | 97.400 % |
5.09/5.16	c |      8272 |     500    38476   100810 |    18777     8272    507 | 97.400 % |
5.40/5.50	c |      8778 |     500    38476   100810 |    20655     8778    506 | 97.400 % |
6.09/6.18	c |      9537 |     500    38476   100810 |    22720     9537    507 | 97.400 % |
7.39/7.50	c |     10676 |     500    38476   100810 |    24992    10676    506 | 97.400 % |
9.29/9.31	c |     12386 |     500    38476   100810 |    27492    12386    504 | 97.400 % |
10.89/10.92	c ===============================================================================
10.89/10.92	c New solution: -16
10.89/10.92	o -16
10.89/10.92	c Elapsed CPU time: 10.8014 s	Remaining CPU time: 169.199 s
10.89/10.92	c ===============================================================================
10.89/10.92	c |     13566 |     500    38477   101310 |    12825    13566    504 | 97.400 % |
11.00/11.02	c |     13666 |     500    38477   101310 |    14108    13666    504 | 97.400 % |
11.09/11.18	c |     13816 |     500    38477   101310 |    15519    13816    504 | 97.400 % |
11.39/11.45	c |     14042 |     500    38477   101310 |    17070    14042    505 | 97.400 % |
11.89/11.96	c |     14381 |     500    38477   101310 |    18778    14381    505 | 97.400 % |
12.19/12.20	c |     14890 |     500    38477   101310 |    20655    14890    505 | 97.400 % |
13.49/13.59	c |     15649 |     500    38477   101310 |    22721    15649    504 | 97.400 % |
16.59/16.69	c |     16788 |     500    38477   101310 |    24993    16788    504 | 97.400 % |
21.28/21.35	c |     18499 |     500    38477   101310 |    27492    18499    504 | 97.400 % |
31.89/31.92	c |     21061 |     500    38477   101310 |    30242    21061    503 | 97.400 % |
42.08/42.11	c ===============================================================================
42.08/42.11	c New solution: -17
42.08/42.11	o -17
42.08/42.11	c Elapsed CPU time: 41.8966 s	Remaining CPU time: 138.103 s
42.08/42.11	c ===============================================================================
42.08/42.11	c |     23567 |     500    38478   101810 |    12826    23567    501 | 97.400 % |
42.38/42.43	c |     23669 |     500    38478   101810 |    14108    23669    501 | 97.400 % |
42.98/43.09	c |     23821 |     500    38478   101810 |    15519    23821    501 | 97.400 % |
44.09/44.18	c |     24046 |     500    38478   101810 |    17071    24046    501 | 97.400 % |
45.98/46.08	c |     24383 |     500    38478   101810 |    18778    24383    501 | 97.400 % |
47.98/48.01	c |     24890 |     500    38478   101810 |    20656    24890    501 | 97.400 % |
50.38/50.49	c |     25649 |     500    38478   101810 |    22722    25649    501 | 97.400 % |
56.98/57.02	c |     26790 |     500    38478   101810 |    24994    26790    501 | 97.400 % |
66.48/66.53	c |     28499 |     500    38478   101810 |    27493    28499    501 | 97.400 % |
81.77/81.86	c |     31061 |     500    38478   101810 |    30243    31061    500 | 97.400 % |
114.86/114.94	c |     34906 |     500    38478   101810 |    33267    34906    499 | 97.400 % |
146.86/146.99	c |     40673 |     500    38478   101810 |    36594    40673    497 | 97.400 % |
180.45/180.50	c There are 18730 assigned variables. 0 in cost function.
182.25/182.31	c core #1
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -499
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #2
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -498
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #3
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -497
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #4
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -496
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #5
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -495
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #6
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -494
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #7
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -493
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #8
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -492
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #9
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -491
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #10
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -490
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #11
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -489
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #12
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -488
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #13
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -487
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #14
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -486
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #15
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -485
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #16
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -484
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #17
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -483
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #18
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -482
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #19
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -481
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #20
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -480
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #21
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -479
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #22
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -478
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #23
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -477
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #24
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -476
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #25
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -475
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #26
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -474
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #27
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -473
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #28
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -472
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #29
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -471
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #30
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -470
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #31
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -469
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #32
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -468
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #33
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -467
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #34
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -466
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #35
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -465
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #36
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -464
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #37
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -463
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #38
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -462
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #39
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -461
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #40
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -460
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #41
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -459
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #42
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -458
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #43
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -457
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #44
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -456
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #45
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -455
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #46
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -454
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #47
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -453
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #48
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -452
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #49
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -451
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #50
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -450
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #51
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -449
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #52
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -448
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #53
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -447
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #54
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -446
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #55
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -445
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #56
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -444
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #57
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -443
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #58
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -442
182.25/182.31	c
182.25/182.31	c
182.25/182.31	c core #59
182.25/182.31	c 
182.25/182.31	c 
182.25/182.31	c Core size: 3	Core Weight: 1	Total Weight: -441
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #60
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -440
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #61
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -439
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #62
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -438
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #63
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -437
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #64
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -436
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #65
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -435
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #66
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -434
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #67
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -433
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #68
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -432
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #69
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -431
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #70
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -430
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #71
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -429
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #72
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -428
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #73
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -427
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #74
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -426
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #75
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -425
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #76
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -424
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #77
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -423
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #78
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -422
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #79
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -421
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #80
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -420
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #81
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -419
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #82
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -418
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #83
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -417
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #84
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -416
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #85
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -415
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #86
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -414
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #87
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -413
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #88
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -412
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #89
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -411
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #90
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -410
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #91
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -409
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #92
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -408
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #93
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -407
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #94
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -406
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #95
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -405
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #96
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -404
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #97
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -403
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #98
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -402
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #99
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -401
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #100
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -400
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #101
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -399
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #102
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -398
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #103
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -397
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #104
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -396
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #105
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -395
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #106
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -394
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #107
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -393
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #108
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -392
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #109
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -391
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #110
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -390
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #111
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -389
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #112
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -388
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #113
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -387
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #114
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -386
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #115
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -385
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #116
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -384
184.15/184.24	c
184.15/184.24	c
184.15/184.24	c core #117
184.15/184.24	c 
184.15/184.24	c 
184.15/184.24	c Core size: 3	Core Weight: 1	Total Weight: -383
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #118
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -382
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #119
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -381
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #120
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -380
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #121
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -379
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #122
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -378
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #123
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -377
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #124
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -376
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #125
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -375
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #126
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -374
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #127
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -373
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #128
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -372
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #129
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -371
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #130
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -370
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #131
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -369
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #132
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -368
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #133
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -367
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #134
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -366
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #135
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -365
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #136
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -364
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #137
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -363
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #138
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -362
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #139
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -361
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #140
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -360
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #141
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -359
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #142
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -358
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #143
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -357
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #144
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -356
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #145
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -355
186.35/186.45	c
186.35/186.45	c
186.35/186.45	c core #146
186.35/186.45	c 
186.35/186.45	c 
186.35/186.45	c Core size: 3	Core Weight: 1	Total Weight: -354
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #147
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -353
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #148
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -352
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #149
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -351
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #150
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -350
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #151
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -349
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #152
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -348
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #153
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -347
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #154
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -346
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #155
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -345
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #156
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -344
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #157
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -343
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #158
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -342
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #159
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -341
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #160
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -340
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #161
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -339
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #162
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -338
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #163
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -337
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #164
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -336
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #165
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -335
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #166
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -334
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #167
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -333
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #168
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -332
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #169
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -331
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #170
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -330
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #171
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -329
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #172
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -328
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #173
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -327
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #174
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -326
186.35/186.46	c
186.35/186.46	c
186.35/186.46	c core #175
186.35/186.46	c 
186.35/186.46	c 
186.35/186.46	c Core size: 3	Core Weight: 1	Total Weight: -325
188.85/188.97	c
188.85/188.97	c
188.85/188.97	c core #176
188.85/188.97	c 
188.85/188.97	c 
188.85/188.97	c Core size: 3	Core Weight: 1	Total Weight: -324
188.85/188.97	c
188.85/188.97	c
188.85/188.97	c core #177
188.85/188.97	c 
188.85/188.97	c 
188.85/188.97	c Core size: 3	Core Weight: 1	Total Weight: -323
188.85/188.97	c
188.85/188.97	c
188.85/188.97	c core #178
188.85/188.97	c 
188.85/188.97	c 
188.85/188.97	c Core size: 3	Core Weight: 1	Total Weight: -322
188.85/188.97	c
188.85/188.97	c
188.85/188.97	c core #179
188.85/188.97	c 
188.85/188.97	c 
188.85/188.97	c Core size: 3	Core Weight: 1	Total Weight: -321
188.85/188.97	c
188.85/188.97	c
188.85/188.97	c core #180
188.85/188.97	c 
188.85/188.97	c 
188.85/188.97	c Core size: 3	Core Weight: 1	Total Weight: -320
188.85/188.97	c
188.85/188.97	c
188.85/188.97	c core #181
188.85/188.97	c 
188.85/188.97	c 
188.85/188.97	c Core size: 3	Core Weight: 1	Total Weight: -319
188.85/188.97	c
188.85/188.97	c
188.85/188.97	c core #182
188.85/188.97	c 
188.85/188.97	c 
188.85/188.97	c Core size: 3	Core Weight: 1	Total Weight: -318
188.85/188.97	c
188.85/188.97	c
188.85/188.97	c core #183
188.85/188.97	c 
188.85/188.97	c 
188.85/188.97	c Core size: 3	Core Weight: 1	Total Weight: -317
188.85/188.97	c
188.85/188.97	c
188.85/188.97	c core #184
188.85/188.97	c 
188.85/188.97	c 
188.85/188.97	c Core size: 3	Core Weight: 1	Total Weight: -316
188.85/188.97	c
188.85/188.97	c
188.85/188.97	c core #185
188.85/188.97	c 
188.85/188.97	c 
188.85/188.97	c Core size: 3	Core Weight: 1	Total Weight: -315
188.85/188.97	c
188.85/188.97	c
188.85/188.97	c core #186
188.85/188.97	c 
188.85/188.97	c 
188.85/188.97	c Core size: 3	Core Weight: 1	Total Weight: -314
188.85/188.97	c
188.85/188.97	c
188.85/188.97	c core #187
188.85/188.97	c 
188.85/188.97	c 
188.85/188.97	c Core size: 3	Core Weight: 1	Total Weight: -313
188.85/188.97	c
188.85/188.97	c
188.85/188.97	c core #188
188.85/188.97	c 
188.85/188.97	c 
188.85/188.97	c Core size: 3	Core Weight: 1	Total Weight: -312
188.85/188.97	c
188.85/188.97	c
188.85/188.97	c core #189
188.85/188.97	c 
188.85/188.97	c 
188.85/188.97	c Core size: 3	Core Weight: 1	Total Weight: -311
188.85/188.97	c
188.85/188.97	c
188.85/188.97	c core #190
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -310
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #191
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -309
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #192
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -308
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #193
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -307
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #194
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -306
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #195
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -305
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #196
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -304
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #197
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -303
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #198
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -302
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #199
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -301
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #200
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -300
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #201
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -299
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #202
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -298
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #203
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -297
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #204
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -296
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #205
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -295
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #206
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -294
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #207
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -293
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #208
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -292
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #209
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -291
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #210
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -290
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #211
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -289
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #212
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -288
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #213
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -287
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #214
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -286
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #215
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -285
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #216
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -284
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #217
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -283
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #218
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -282
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #219
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -281
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #220
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -280
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #221
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -279
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #222
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -278
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #223
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -277
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #224
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -276
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #225
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -275
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #226
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -274
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #227
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -273
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #228
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -272
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #229
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -271
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #230
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -270
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #231
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -269
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #232
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -268
188.85/188.98	c
188.85/188.98	c
188.85/188.98	c core #233
188.85/188.98	c 
188.85/188.98	c 
188.85/188.98	c Core size: 3	Core Weight: 1	Total Weight: -267
189.75/189.87	c
189.75/189.87	c
189.75/189.87	c core #234
189.75/189.87	c 
189.75/189.87	c 
189.75/189.87	c Core size: 3	Core Weight: 1	Total Weight: -266
189.75/189.87	c
189.75/189.87	c
189.75/189.87	c core #235
189.75/189.87	c 
189.75/189.87	c 
189.75/189.87	c Core size: 3	Core Weight: 1	Total Weight: -265
189.75/189.87	c
189.75/189.87	c
189.75/189.87	c core #236
189.75/189.87	c 
189.75/189.87	c 
189.75/189.87	c Core size: 3	Core Weight: 1	Total Weight: -264
189.75/189.87	c
189.75/189.87	c
189.75/189.87	c core #237
189.75/189.87	c 
189.75/189.87	c 
189.75/189.87	c Core size: 3	Core Weight: 1	Total Weight: -263
189.75/189.87	c
189.75/189.87	c
189.75/189.87	c core #238
189.75/189.87	c 
189.75/189.87	c 
189.75/189.87	c Core size: 3	Core Weight: 1	Total Weight: -262
189.75/189.87	c
189.75/189.87	c
189.75/189.87	c core #239
189.75/189.87	c 
189.75/189.87	c 
189.75/189.87	c Core size: 3	Core Weight: 1	Total Weight: -261
189.75/189.87	c
189.75/189.87	c
189.75/189.87	c core #240
189.75/189.87	c 
189.75/189.87	c 
189.75/189.87	c Core size: 3	Core Weight: 1	Total Weight: -260
189.75/189.87	c
189.75/189.87	c
189.75/189.87	c core #241
189.75/189.87	c 
189.75/189.87	c 
189.75/189.87	c Core size: 3	Core Weight: 1	Total Weight: -259
189.75/189.87	c
189.75/189.87	c
189.75/189.87	c core #242
189.75/189.87	c 
189.75/189.87	c 
189.75/189.87	c Core size: 3	Core Weight: 1	Total Weight: -258
189.75/189.87	c
189.75/189.87	c
189.75/189.87	c core #243
189.75/189.87	c 
189.75/189.87	c 
189.75/189.87	c Core size: 3	Core Weight: 1	Total Weight: -257
189.75/189.87	c
189.75/189.87	c
189.75/189.87	c core #244
189.75/189.87	c 
189.75/189.87	c 
189.75/189.87	c Core size: 3	Core Weight: 1	Total Weight: -256
189.75/189.87	c
189.75/189.87	c
189.75/189.87	c core #245
189.75/189.87	c 
189.75/189.87	c 
189.75/189.87	c Core size: 3	Core Weight: 1	Total Weight: -255
189.75/189.87	c
189.75/189.87	c
189.75/189.87	c core #246
189.75/189.87	c 
189.75/189.87	c 
189.75/189.87	c Core size: 7	Core Weight: 1	Total Weight: -254
189.75/189.87	c
189.75/189.87	c
189.75/189.87	c core #247
189.75/189.87	c 
189.75/189.87	c 
189.75/189.87	c Core size: 7	Core Weight: 1	Total Weight: -253
189.75/189.87	c
189.75/189.87	c
189.75/189.87	c core #248
189.75/189.87	c 
189.75/189.87	c 
189.75/189.87	c Core size: 11	Core Weight: 1	Total Weight: -252
189.75/189.87	c
189.75/189.87	c
189.75/189.87	c core #249
189.75/189.87	c 
189.75/189.87	c 
189.75/189.87	c Core size: 7	Core Weight: 1	Total Weight: -251
189.75/189.87	c
189.75/189.87	c
189.75/189.87	c core #250
189.75/189.87	c 
189.75/189.87	c 
189.75/189.87	c Core size: 10	Core Weight: 1	Total Weight: -250
189.75/189.87	c
189.75/189.87	c
189.75/189.87	c core #251
189.75/189.87	c 
189.75/189.87	c 
189.75/189.87	c Core size: 18	Core Weight: 1	Total Weight: -249
189.75/189.87	c
189.75/189.87	c
189.75/189.87	c ============================[ Search Statistics ]==============================
189.75/189.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.75/189.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.75/189.87	c ===============================================================================
189.75/189.87	c |         0 |    1022    38229    48004 |    12743        0    nan |  0.000 % |
189.75/189.87	c ===============================================================================
189.85/189.92	c core #252
189.85/189.92	c 
189.85/189.92	c 
189.85/189.92	c Core size: 12	Core Weight: 1	Total Weight: -248
189.85/189.92	c
189.85/189.92	c
189.85/189.92	c ============================[ Search Statistics ]==============================
189.85/189.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.85/189.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.85/189.92	c ===============================================================================
189.85/189.92	c |         0 |    1029    38230    48018 |    12743        0    nan |  0.000 % |
189.85/189.93	c ===============================================================================
189.85/189.98	c core #253
189.85/189.98	c 
189.85/189.98	c 
189.85/189.98	c Core size: 10	Core Weight: 1	Total Weight: -247
189.85/189.98	c
189.85/189.98	c
189.85/189.98	c ============================[ Search Statistics ]==============================
189.85/189.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.85/189.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.85/189.98	c ===============================================================================
189.85/189.98	c |         0 |    1035    38231    48030 |    12743        0    nan |  0.000 % |
189.85/189.98	c ===============================================================================
189.95/190.03	c core #254
189.95/190.03	c 
189.95/190.03	c 
189.95/190.03	c Core size: 10	Core Weight: 1	Total Weight: -246
189.95/190.03	c
189.95/190.03	c
189.95/190.03	c ============================[ Search Statistics ]==============================
189.95/190.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.95/190.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.95/190.03	c ===============================================================================
189.95/190.03	c |         0 |    1041    38232    48042 |    12744        0    nan |  0.000 % |
189.95/190.03	c ===============================================================================
189.95/190.08	c core #255
189.95/190.08	c 
189.95/190.08	c 
189.95/190.08	c Core size: 10	Core Weight: 1	Total Weight: -245
189.95/190.08	c
189.95/190.08	c
189.95/190.08	c ============================[ Search Statistics ]==============================
189.95/190.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.95/190.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.95/190.08	c ===============================================================================
189.95/190.08	c |         0 |    1047    38233    48054 |    12744        0    nan |  0.000 % |
189.95/190.09	c ===============================================================================
190.05/190.13	c core #256
190.05/190.13	c 
190.05/190.13	c 
190.05/190.13	c Core size: 10	Core Weight: 1	Total Weight: -244
190.05/190.13	c
190.05/190.13	c
190.05/190.13	c ============================[ Search Statistics ]==============================
190.05/190.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.05/190.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.05/190.13	c ===============================================================================
190.05/190.13	c |         0 |    1053    38234    48066 |    12744        0    nan |  0.000 % |
190.05/190.14	c ===============================================================================
190.05/190.19	c core #257
190.05/190.19	c 
190.05/190.19	c 
190.05/190.19	c Core size: 10	Core Weight: 1	Total Weight: -243
190.05/190.19	c
190.05/190.19	c
190.05/190.19	c ============================[ Search Statistics ]==============================
190.05/190.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.05/190.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.05/190.19	c ===============================================================================
190.05/190.19	c |         0 |    1059    38235    48078 |    12745        0    nan |  0.000 % |
190.05/190.19	c ===============================================================================
190.16/190.24	c core #258
190.16/190.24	c 
190.16/190.24	c 
190.16/190.24	c Core size: 10	Core Weight: 1	Total Weight: -242
190.16/190.24	c
190.16/190.24	c
190.16/190.24	c ============================[ Search Statistics ]==============================
190.16/190.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.16/190.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.16/190.24	c ===============================================================================
190.16/190.24	c |         0 |    1065    38236    48090 |    12745        0    nan |  0.000 % |
190.16/190.25	c ===============================================================================
190.16/190.30	c core #259
190.16/190.30	c 
190.16/190.30	c 
190.16/190.30	c Core size: 10	Core Weight: 1	Total Weight: -241
190.16/190.30	c
190.16/190.30	c
190.16/190.30	c ============================[ Search Statistics ]==============================
190.16/190.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.16/190.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.16/190.30	c ===============================================================================
190.16/190.30	c |         0 |    1071    38237    48102 |    12745        0    nan |  0.000 % |
190.26/190.30	c ===============================================================================
190.26/190.35	c core #260
190.26/190.35	c 
190.26/190.35	c 
190.26/190.35	c Core size: 10	Core Weight: 1	Total Weight: -240
190.26/190.35	c
190.26/190.35	c
190.26/190.35	c ============================[ Search Statistics ]==============================
190.26/190.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.26/190.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.26/190.35	c ===============================================================================
190.26/190.35	c |         0 |    1077    38238    48114 |    12746        0    nan |  0.000 % |
190.26/190.36	c ===============================================================================
190.35/190.41	c core #261
190.35/190.41	c 
190.35/190.41	c 
190.35/190.41	c Core size: 10	Core Weight: 1	Total Weight: -239
190.35/190.41	c
190.35/190.41	c
190.35/190.41	c ============================[ Search Statistics ]==============================
190.35/190.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.35/190.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.35/190.41	c ===============================================================================
190.35/190.41	c |         0 |    1083    38239    48126 |    12746        0    nan |  0.000 % |
190.35/190.42	c ===============================================================================
190.35/190.46	c core #262
190.35/190.46	c 
190.35/190.46	c 
190.35/190.46	c Core size: 10	Core Weight: 1	Total Weight: -238
190.35/190.46	c
190.35/190.46	c
190.35/190.46	c ============================[ Search Statistics ]==============================
190.35/190.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.35/190.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.35/190.46	c ===============================================================================
190.35/190.46	c |         0 |    1089    38240    48138 |    12746        0    nan |  0.000 % |
190.35/190.47	c ===============================================================================
190.45/190.52	c core #263
190.45/190.52	c 
190.45/190.52	c 
190.45/190.52	c Core size: 10	Core Weight: 1	Total Weight: -237
190.45/190.52	c
190.45/190.52	c
190.45/190.52	c ============================[ Search Statistics ]==============================
190.45/190.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.45/190.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.45/190.52	c ===============================================================================
190.45/190.52	c |         0 |    1095    38241    48150 |    12747        0    nan |  0.000 % |
190.45/190.52	c ===============================================================================
190.45/190.57	c core #264
190.45/190.57	c 
190.45/190.57	c 
190.45/190.57	c Core size: 10	Core Weight: 1	Total Weight: -236
190.45/190.57	c
190.45/190.57	c
190.45/190.57	c ============================[ Search Statistics ]==============================
190.45/190.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.45/190.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.45/190.57	c ===============================================================================
190.45/190.57	c |         0 |    1101    38242    48162 |    12747        0    nan |  0.000 % |
190.45/190.58	c ===============================================================================
190.55/190.63	c core #265
190.55/190.63	c 
190.55/190.63	c 
190.55/190.63	c Core size: 10	Core Weight: 1	Total Weight: -235
190.55/190.63	c
190.55/190.63	c
190.55/190.63	c ============================[ Search Statistics ]==============================
190.55/190.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.55/190.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.55/190.63	c ===============================================================================
190.55/190.63	c |         0 |    1107    38243    48174 |    12747        0    nan |  0.000 % |
190.55/190.63	c ===============================================================================
190.55/190.68	c core #266
190.55/190.68	c 
190.55/190.68	c 
190.55/190.68	c Core size: 10	Core Weight: 1	Total Weight: -234
190.55/190.68	c
190.55/190.68	c
190.55/190.68	c ============================[ Search Statistics ]==============================
190.55/190.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.55/190.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.55/190.68	c ===============================================================================
190.55/190.68	c |         0 |    1113    38244    48186 |    12748        0    nan |  0.000 % |
190.55/190.69	c ===============================================================================
190.65/190.74	c core #267
190.65/190.74	c 
190.65/190.74	c 
190.65/190.74	c Core size: 10	Core Weight: 1	Total Weight: -233
190.65/190.74	c
190.65/190.74	c
190.65/190.74	c ============================[ Search Statistics ]==============================
190.65/190.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.65/190.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.65/190.74	c ===============================================================================
190.65/190.74	c |         0 |    1119    38245    48198 |    12748        0    nan |  0.000 % |
190.65/190.74	c ===============================================================================
190.65/190.79	c core #268
190.65/190.79	c 
190.65/190.79	c 
190.65/190.79	c Core size: 10	Core Weight: 1	Total Weight: -232
190.65/190.79	c
190.65/190.79	c
190.65/190.79	c ============================[ Search Statistics ]==============================
190.65/190.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.65/190.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.65/190.79	c ===============================================================================
190.65/190.79	c |         0 |    1125    38246    48210 |    12748        0    nan |  0.000 % |
190.65/190.79	c ===============================================================================
190.75/190.84	c core #269
190.75/190.84	c 
190.75/190.84	c 
190.75/190.84	c Core size: 10	Core Weight: 1	Total Weight: -231
190.75/190.84	c
190.75/190.84	c
190.75/190.84	c ============================[ Search Statistics ]==============================
190.75/190.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.75/190.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.75/190.84	c ===============================================================================
190.75/190.84	c |         0 |    1131    38247    48222 |    12749        0    nan |  0.000 % |
190.75/190.85	c ===============================================================================
190.85/190.90	c core #270
190.85/190.90	c 
190.85/190.90	c 
190.85/190.90	c Core size: 10	Core Weight: 1	Total Weight: -230
190.85/190.90	c
190.85/190.90	c
190.85/190.90	c ============================[ Search Statistics ]==============================
190.85/190.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.85/190.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.85/190.90	c ===============================================================================
190.85/190.90	c |         0 |    1137    38248    48234 |    12749        0    nan |  0.000 % |
190.85/190.90	c ===============================================================================
190.85/190.95	c core #271
190.85/190.95	c 
190.85/190.95	c 
190.85/190.95	c Core size: 10	Core Weight: 1	Total Weight: -229
190.85/190.95	c
190.85/190.95	c
190.85/190.95	c ============================[ Search Statistics ]==============================
190.85/190.95	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.85/190.95	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.85/190.95	c ===============================================================================
190.85/190.95	c |         0 |    1143    38249    48246 |    12749        0    nan |  0.000 % |
190.85/190.96	c ===============================================================================
190.95/191.00	c core #272
190.95/191.00	c 
190.95/191.00	c 
190.95/191.00	c Core size: 10	Core Weight: 1	Total Weight: -228
190.95/191.00	c
190.95/191.00	c
190.95/191.00	c ============================[ Search Statistics ]==============================
190.95/191.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.95/191.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.95/191.00	c ===============================================================================
190.95/191.00	c |         0 |    1149    38250    48258 |    12750        0    nan |  0.000 % |
190.95/191.01	c ===============================================================================
190.95/191.06	c core #273
190.95/191.06	c 
190.95/191.06	c 
190.95/191.06	c Core size: 10	Core Weight: 1	Total Weight: -227
190.95/191.06	c
190.95/191.06	c
190.95/191.06	c ============================[ Search Statistics ]==============================
190.95/191.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.95/191.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.95/191.06	c ===============================================================================
190.95/191.06	c |         0 |    1155    38251    48270 |    12750        0    nan |  0.000 % |
190.95/191.07	c ===============================================================================
191.05/191.11	c core #274
191.05/191.11	c 
191.05/191.11	c 
191.05/191.11	c Core size: 10	Core Weight: 1	Total Weight: -226
191.05/191.11	c
191.05/191.11	c
191.05/191.11	c ============================[ Search Statistics ]==============================
191.05/191.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.05/191.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.05/191.11	c ===============================================================================
191.05/191.11	c |         0 |    1161    38252    48282 |    12750        0    nan |  0.000 % |
191.05/191.12	c ===============================================================================
191.05/191.17	c core #275
191.05/191.17	c 
191.05/191.17	c 
191.05/191.17	c Core size: 10	Core Weight: 1	Total Weight: -225
191.05/191.17	c
191.05/191.17	c
191.05/191.17	c ============================[ Search Statistics ]==============================
191.05/191.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.05/191.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.05/191.17	c ===============================================================================
191.05/191.17	c |         0 |    1167    38253    48294 |    12751        0    nan |  0.000 % |
191.05/191.17	c ===============================================================================
191.15/191.22	c core #276
191.15/191.22	c 
191.15/191.22	c 
191.15/191.22	c Core size: 10	Core Weight: 1	Total Weight: -224
191.15/191.22	c
191.15/191.22	c
191.15/191.22	c ============================[ Search Statistics ]==============================
191.15/191.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.15/191.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.15/191.22	c ===============================================================================
191.15/191.22	c |         0 |    1173    38254    48306 |    12751        0    nan |  0.000 % |
191.15/191.23	c ===============================================================================
191.15/191.27	c core #277
191.15/191.27	c 
191.15/191.27	c 
191.15/191.27	c Core size: 10	Core Weight: 1	Total Weight: -223
191.15/191.27	c
191.15/191.27	c
191.15/191.27	c ============================[ Search Statistics ]==============================
191.15/191.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.15/191.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.15/191.27	c ===============================================================================
191.15/191.27	c |         0 |    1179    38255    48318 |    12751        0    nan |  0.000 % |
191.15/191.28	c ===============================================================================
191.25/191.33	c core #278
191.25/191.33	c 
191.25/191.33	c 
191.25/191.33	c Core size: 10	Core Weight: 1	Total Weight: -222
191.25/191.33	c
191.25/191.33	c
191.25/191.33	c ============================[ Search Statistics ]==============================
191.25/191.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.25/191.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.25/191.33	c ===============================================================================
191.25/191.33	c |         0 |    1185    38256    48330 |    12752        0    nan |  0.000 % |
191.25/191.34	c ===============================================================================
191.25/191.38	c core #279
191.25/191.38	c 
191.25/191.38	c 
191.25/191.38	c Core size: 10	Core Weight: 1	Total Weight: -221
191.25/191.38	c
191.25/191.38	c
191.25/191.38	c ============================[ Search Statistics ]==============================
191.25/191.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.25/191.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.25/191.38	c ===============================================================================
191.25/191.38	c |         0 |    1191    38257    48342 |    12752        0    nan |  0.000 % |
191.25/191.39	c ===============================================================================
191.35/191.44	c core #280
191.35/191.44	c 
191.35/191.44	c 
191.35/191.44	c Core size: 10	Core Weight: 1	Total Weight: -220
191.35/191.44	c
191.35/191.44	c
191.35/191.44	c ============================[ Search Statistics ]==============================
191.35/191.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.35/191.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.35/191.44	c ===============================================================================
191.35/191.44	c |         0 |    1197    38258    48354 |    12752        0    nan |  0.000 % |
191.35/191.44	c ===============================================================================
191.35/191.49	c core #281
191.35/191.49	c 
191.35/191.49	c 
191.35/191.49	c Core size: 10	Core Weight: 1	Total Weight: -219
191.35/191.49	c
191.35/191.49	c
191.35/191.49	c ============================[ Search Statistics ]==============================
191.35/191.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.35/191.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.35/191.49	c ===============================================================================
191.35/191.49	c |         0 |    1203    38259    48366 |    12753        0    nan |  0.000 % |
191.35/191.50	c ===============================================================================
191.44/191.55	c core #282
191.44/191.55	c 
191.44/191.55	c 
191.44/191.55	c Core size: 10	Core Weight: 1	Total Weight: -218
191.44/191.55	c
191.44/191.55	c
191.44/191.55	c ============================[ Search Statistics ]==============================
191.44/191.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.44/191.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.44/191.55	c ===============================================================================
191.44/191.55	c |         0 |    1209    38260    48378 |    12753        0    nan |  0.000 % |
191.44/191.55	c ===============================================================================
191.54/191.60	c core #283
191.54/191.60	c 
191.54/191.60	c 
191.54/191.60	c Core size: 10	Core Weight: 1	Total Weight: -217
191.54/191.60	c
191.54/191.60	c
191.54/191.60	c ============================[ Search Statistics ]==============================
191.54/191.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.54/191.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.54/191.60	c ===============================================================================
191.54/191.60	c |         0 |    1215    38261    48390 |    12753        0    nan |  0.000 % |
191.54/191.61	c ===============================================================================
191.54/191.66	c core #284
191.54/191.66	c 
191.54/191.66	c 
191.54/191.66	c Core size: 10	Core Weight: 1	Total Weight: -216
191.54/191.66	c
191.54/191.66	c
191.54/191.66	c ============================[ Search Statistics ]==============================
191.54/191.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.54/191.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.54/191.66	c ===============================================================================
191.54/191.66	c |         0 |    1221    38262    48402 |    12754        0    nan |  0.000 % |
191.54/191.66	c ===============================================================================
191.64/191.71	c core #285
191.64/191.71	c 
191.64/191.71	c 
191.64/191.71	c Core size: 10	Core Weight: 1	Total Weight: -215
191.64/191.71	c
191.64/191.71	c
191.64/191.71	c ============================[ Search Statistics ]==============================
191.64/191.71	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.64/191.71	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.64/191.71	c ===============================================================================
191.64/191.71	c |         0 |    1227    38263    48414 |    12754        0    nan |  0.000 % |
191.64/191.72	c ===============================================================================
191.64/191.77	c core #286
191.64/191.77	c 
191.64/191.77	c 
191.64/191.77	c Core size: 10	Core Weight: 1	Total Weight: -214
191.64/191.77	c
191.64/191.77	c
191.64/191.77	c ============================[ Search Statistics ]==============================
191.64/191.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.64/191.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.64/191.77	c ===============================================================================
191.64/191.77	c |         0 |    1233    38264    48426 |    12754        0    nan |  0.000 % |
191.64/191.77	c ===============================================================================
191.75/191.82	c core #287
191.75/191.82	c 
191.75/191.82	c 
191.75/191.82	c Core size: 10	Core Weight: 1	Total Weight: -213
191.75/191.82	c
191.75/191.82	c
191.75/191.82	c ============================[ Search Statistics ]==============================
191.75/191.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.75/191.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.75/191.82	c ===============================================================================
191.75/191.82	c |         0 |    1239    38265    48438 |    12755        0    nan |  0.000 % |
191.75/191.83	c ===============================================================================
191.75/191.88	c core #288
191.75/191.88	c 
191.75/191.88	c 
191.75/191.88	c Core size: 10	Core Weight: 1	Total Weight: -212
191.75/191.88	c
191.75/191.88	c
191.75/191.88	c ============================[ Search Statistics ]==============================
191.75/191.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.75/191.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.75/191.88	c ===============================================================================
191.75/191.88	c |         0 |    1245    38266    48450 |    12755        0    nan |  0.000 % |
191.75/191.88	c ===============================================================================
191.85/191.93	c core #289
191.85/191.93	c 
191.85/191.93	c 
191.85/191.93	c Core size: 10	Core Weight: 1	Total Weight: -211
191.85/191.93	c
191.85/191.93	c
191.85/191.93	c ============================[ Search Statistics ]==============================
191.85/191.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.85/191.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.85/191.93	c ===============================================================================
191.85/191.93	c |         0 |    1251    38267    48462 |    12755        0    nan |  0.000 % |
191.85/191.94	c ===============================================================================
191.85/191.99	c core #290
191.85/191.99	c 
191.85/191.99	c 
191.85/191.99	c Core size: 12	Core Weight: 1	Total Weight: -210
191.85/191.99	c
191.85/191.99	c
191.85/191.99	c ============================[ Search Statistics ]==============================
191.85/191.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.85/191.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.85/191.99	c ===============================================================================
191.85/191.99	c |         0 |    1259    38268    48478 |    12756        0    nan |  0.000 % |
191.85/191.99	c ===============================================================================
191.95/192.04	c core #291
191.95/192.04	c 
191.95/192.04	c 
191.95/192.04	c Core size: 10	Core Weight: 1	Total Weight: -209
191.95/192.04	c
191.95/192.04	c
191.95/192.04	c ============================[ Search Statistics ]==============================
191.95/192.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
191.95/192.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
191.95/192.04	c ===============================================================================
191.95/192.04	c |         0 |    1265    38269    48490 |    12756        0    nan |  0.000 % |
191.95/192.05	c ===============================================================================
192.05/192.10	c core #292
192.05/192.10	c 
192.05/192.10	c 
192.05/192.10	c Core size: 12	Core Weight: 1	Total Weight: -208
192.05/192.10	c
192.05/192.10	c
192.05/192.10	c ============================[ Search Statistics ]==============================
192.05/192.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.05/192.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.05/192.10	c ===============================================================================
192.05/192.10	c |         0 |    1273    38270    48506 |    12756        0    nan |  0.000 % |
192.05/192.11	c ===============================================================================
192.05/192.16	c core #293
192.05/192.16	c 
192.05/192.16	c 
192.05/192.16	c Core size: 10	Core Weight: 1	Total Weight: -207
192.05/192.16	c
192.05/192.16	c
192.05/192.16	c ============================[ Search Statistics ]==============================
192.05/192.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.05/192.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.05/192.16	c ===============================================================================
192.05/192.16	c |         0 |    1279    38271    48518 |    12757        0    nan |  0.000 % |
192.05/192.16	c ===============================================================================
192.15/192.21	c core #294
192.15/192.21	c 
192.15/192.21	c 
192.15/192.21	c Core size: 10	Core Weight: 1	Total Weight: -206
192.15/192.21	c
192.15/192.21	c
192.15/192.21	c ============================[ Search Statistics ]==============================
192.15/192.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.15/192.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.15/192.21	c ===============================================================================
192.15/192.21	c |         0 |    1285    38272    48530 |    12757        0    nan |  0.000 % |
192.15/192.22	c ===============================================================================
192.15/192.27	c core #295
192.15/192.27	c 
192.15/192.27	c 
192.15/192.27	c Core size: 10	Core Weight: 1	Total Weight: -205
192.15/192.27	c
192.15/192.27	c
192.15/192.27	c ============================[ Search Statistics ]==============================
192.15/192.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.15/192.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.15/192.27	c ===============================================================================
192.15/192.27	c |         0 |    1291    38273    48542 |    12757        0    nan |  0.000 % |
192.15/192.28	c ===============================================================================
192.25/192.32	c core #296
192.25/192.32	c 
192.25/192.32	c 
192.25/192.32	c Core size: 10	Core Weight: 1	Total Weight: -204
192.25/192.32	c
192.25/192.32	c
192.25/192.32	c ============================[ Search Statistics ]==============================
192.25/192.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.25/192.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.25/192.32	c ===============================================================================
192.25/192.32	c |         0 |    1297    38274    48554 |    12758        0    nan |  0.000 % |
192.25/192.33	c ===============================================================================
192.25/192.38	c core #297
192.25/192.38	c 
192.25/192.38	c 
192.25/192.38	c Core size: 14	Core Weight: 1	Total Weight: -203
192.25/192.38	c
192.25/192.38	c
192.25/192.38	c ============================[ Search Statistics ]==============================
192.25/192.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.25/192.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.25/192.38	c ===============================================================================
192.25/192.38	c |         0 |    1305    38275    48570 |    12758        0    nan |  0.000 % |
192.25/192.39	c ===============================================================================
192.36/192.44	c core #298
192.36/192.44	c 
192.36/192.44	c 
192.36/192.44	c Core size: 10	Core Weight: 1	Total Weight: -202
192.36/192.44	c
192.36/192.44	c
192.36/192.44	c ============================[ Search Statistics ]==============================
192.36/192.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.36/192.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.36/192.44	c ===============================================================================
192.36/192.44	c |         0 |    1311    38276    48582 |    12758        0    nan |  0.000 % |
192.36/192.44	c ===============================================================================
192.36/192.49	c core #299
192.36/192.49	c 
192.36/192.49	c 
192.36/192.49	c Core size: 10	Core Weight: 1	Total Weight: -201
192.36/192.49	c
192.36/192.49	c
192.36/192.49	c ============================[ Search Statistics ]==============================
192.36/192.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.36/192.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.36/192.49	c ===============================================================================
192.36/192.49	c |         0 |    1317    38277    48594 |    12759        0    nan |  0.000 % |
192.36/192.50	c ===============================================================================
192.46/192.55	c core #300
192.46/192.55	c 
192.46/192.55	c 
192.46/192.55	c Core size: 14	Core Weight: 1	Total Weight: -200
192.46/192.55	c
192.46/192.55	c
192.46/192.55	c ============================[ Search Statistics ]==============================
192.46/192.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.46/192.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.46/192.55	c ===============================================================================
192.46/192.55	c |         0 |    1325    38278    48610 |    12759        0    nan |  0.000 % |
192.46/192.55	c ===============================================================================
192.55/192.60	c core #301
192.55/192.60	c 
192.55/192.60	c 
192.55/192.60	c Core size: 12	Core Weight: 1	Total Weight: -199
192.55/192.60	c
192.55/192.60	c
192.55/192.60	c ============================[ Search Statistics ]==============================
192.55/192.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.55/192.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.55/192.60	c ===============================================================================
192.55/192.60	c |         0 |    1333    38279    48626 |    12759        0    nan |  0.000 % |
192.55/192.61	c ===============================================================================
192.55/192.66	c core #302
192.55/192.66	c 
192.55/192.66	c 
192.55/192.66	c Core size: 10	Core Weight: 1	Total Weight: -198
192.55/192.66	c
192.55/192.66	c
192.55/192.66	c ============================[ Search Statistics ]==============================
192.55/192.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.55/192.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.55/192.66	c ===============================================================================
192.55/192.66	c |         0 |    1339    38280    48638 |    12760        0    nan |  0.000 % |
192.55/192.66	c ===============================================================================
192.65/192.71	c core #303
192.65/192.71	c 
192.65/192.71	c 
192.65/192.71	c Core size: 12	Core Weight: 1	Total Weight: -197
192.65/192.71	c
192.65/192.71	c
192.65/192.71	c ============================[ Search Statistics ]==============================
192.65/192.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.65/192.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.65/192.72	c ===============================================================================
192.65/192.72	c |         0 |    1347    38281    48654 |    12760        0    nan |  0.000 % |
192.65/192.72	c ===============================================================================
192.65/192.77	c core #304
192.65/192.77	c 
192.65/192.77	c 
192.65/192.77	c Core size: 14	Core Weight: 1	Total Weight: -196
192.65/192.77	c
192.65/192.77	c
192.65/192.77	c ============================[ Search Statistics ]==============================
192.65/192.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.65/192.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.65/192.77	c ===============================================================================
192.65/192.77	c |         0 |    1355    38282    48670 |    12760        0    nan |  0.000 % |
192.65/192.78	c ===============================================================================
192.75/192.83	c core #305
192.75/192.83	c 
192.75/192.83	c 
192.75/192.83	c Core size: 16	Core Weight: 1	Total Weight: -195
192.75/192.83	c
192.75/192.83	c
192.75/192.83	c ============================[ Search Statistics ]==============================
192.75/192.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.75/192.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.75/192.83	c ===============================================================================
192.75/192.83	c |         0 |    1365    38283    48690 |    12761        0    nan |  0.000 % |
192.75/192.83	c ===============================================================================
192.75/192.88	c core #306
192.75/192.88	c 
192.75/192.88	c 
192.75/192.88	c Core size: 10	Core Weight: 1	Total Weight: -194
192.75/192.88	c
192.75/192.88	c
192.75/192.88	c ============================[ Search Statistics ]==============================
192.75/192.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.75/192.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.75/192.88	c ===============================================================================
192.75/192.88	c |         0 |    1371    38284    48702 |    12761        0    nan |  0.000 % |
192.75/192.89	c ===============================================================================
192.85/192.94	c core #307
192.85/192.94	c 
192.85/192.94	c 
192.85/192.94	c Core size: 10	Core Weight: 1	Total Weight: -193
192.85/192.94	c
192.85/192.94	c
192.85/192.94	c ============================[ Search Statistics ]==============================
192.85/192.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.85/192.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.85/192.94	c ===============================================================================
192.85/192.94	c |         0 |    1377    38285    48714 |    12761        0    nan |  0.000 % |
192.85/192.95	c ===============================================================================
192.95/193.00	c core #308
192.95/193.00	c 
192.95/193.00	c 
192.95/193.00	c Core size: 14	Core Weight: 1	Total Weight: -192
192.95/193.00	c
192.95/193.00	c
192.95/193.00	c ============================[ Search Statistics ]==============================
192.95/193.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.95/193.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.95/193.00	c ===============================================================================
192.95/193.00	c |         0 |    1385    38286    48730 |    12762        0    nan |  0.000 % |
192.95/193.00	c ===============================================================================
192.95/193.06	c core #309
192.95/193.06	c 
192.95/193.06	c 
192.95/193.06	c Core size: 10	Core Weight: 1	Total Weight: -191
192.95/193.06	c
192.95/193.06	c
192.95/193.06	c ============================[ Search Statistics ]==============================
192.95/193.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
192.95/193.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
192.95/193.06	c ===============================================================================
192.95/193.06	c |         0 |    1391    38287    48742 |    12762        0    nan |  0.000 % |
192.95/193.06	c ===============================================================================
193.05/193.11	c core #310
193.05/193.11	c 
193.05/193.11	c 
193.05/193.11	c Core size: 16	Core Weight: 1	Total Weight: -190
193.05/193.11	c
193.05/193.11	c
193.05/193.11	c ============================[ Search Statistics ]==============================
193.05/193.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.05/193.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.05/193.11	c ===============================================================================
193.05/193.11	c |         0 |    1401    38288    48762 |    12762        0    nan |  0.000 % |
193.05/193.12	c ===============================================================================
193.05/193.17	c core #311
193.05/193.17	c 
193.05/193.17	c 
193.05/193.17	c Core size: 10	Core Weight: 1	Total Weight: -189
193.05/193.17	c
193.05/193.17	c
193.05/193.17	c ============================[ Search Statistics ]==============================
193.05/193.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.05/193.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.05/193.17	c ===============================================================================
193.05/193.17	c |         0 |    1407    38289    48774 |    12763        0    nan |  0.000 % |
193.05/193.18	c ===============================================================================
193.15/193.23	c core #312
193.15/193.23	c 
193.15/193.23	c 
193.15/193.23	c Core size: 12	Core Weight: 1	Total Weight: -188
193.15/193.23	c
193.15/193.23	c
193.15/193.23	c ============================[ Search Statistics ]==============================
193.15/193.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.15/193.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.15/193.23	c ===============================================================================
193.15/193.23	c |         0 |    1415    38290    48790 |    12763        0    nan |  0.000 % |
193.15/193.23	c ===============================================================================
193.15/193.29	c core #313
193.15/193.29	c 
193.15/193.29	c 
193.15/193.29	c Core size: 14	Core Weight: 1	Total Weight: -187
193.15/193.29	c
193.15/193.29	c
193.15/193.29	c ============================[ Search Statistics ]==============================
193.15/193.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.15/193.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.15/193.29	c ===============================================================================
193.15/193.29	c |         0 |    1423    38291    48806 |    12763        0    nan |  0.000 % |
193.15/193.29	c ===============================================================================
193.25/193.34	c core #314
193.25/193.34	c 
193.25/193.34	c 
193.25/193.34	c Core size: 12	Core Weight: 1	Total Weight: -186
193.25/193.34	c
193.25/193.34	c
193.25/193.34	c ============================[ Search Statistics ]==============================
193.25/193.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.25/193.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.25/193.34	c ===============================================================================
193.25/193.34	c |         0 |    1431    38292    48822 |    12764        0    nan |  0.000 % |
193.25/193.35	c ===============================================================================
193.35/193.40	c core #315
193.35/193.40	c 
193.35/193.40	c 
193.35/193.40	c Core size: 16	Core Weight: 1	Total Weight: -185
193.35/193.40	c
193.35/193.40	c
193.35/193.40	c ============================[ Search Statistics ]==============================
193.35/193.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.35/193.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.35/193.40	c ===============================================================================
193.35/193.40	c |         0 |    1441    38293    48842 |    12764        0    nan |  0.000 % |
193.35/193.41	c ===============================================================================
193.35/193.46	c core #316
193.35/193.46	c 
193.35/193.46	c 
193.35/193.46	c Core size: 14	Core Weight: 1	Total Weight: -184
193.35/193.46	c
193.35/193.46	c
193.35/193.46	c ============================[ Search Statistics ]==============================
193.35/193.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.35/193.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.35/193.46	c ===============================================================================
193.35/193.46	c |         0 |    1449    38294    48858 |    12764        0    nan |  0.000 % |
193.35/193.47	c ===============================================================================
193.45/193.52	c core #317
193.45/193.52	c 
193.45/193.52	c 
193.45/193.52	c Core size: 20	Core Weight: 1	Total Weight: -183
193.45/193.52	c
193.45/193.52	c
193.45/193.52	c ============================[ Search Statistics ]==============================
193.45/193.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.45/193.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.45/193.52	c ===============================================================================
193.45/193.52	c |         0 |    1461    38295    48882 |    12765        0    nan |  0.000 % |
193.45/193.52	c ===============================================================================
193.45/193.58	c core #318
193.45/193.58	c 
193.45/193.58	c 
193.45/193.58	c Core size: 16	Core Weight: 1	Total Weight: -182
193.45/193.58	c
193.45/193.58	c
193.45/193.58	c ============================[ Search Statistics ]==============================
193.45/193.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.45/193.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.45/193.58	c ===============================================================================
193.45/193.58	c |         0 |    1471    38296    48902 |    12765        0    nan |  0.000 % |
193.45/193.58	c ===============================================================================
193.55/193.64	c core #319
193.55/193.64	c 
193.55/193.64	c 
193.55/193.64	c Core size: 21	Core Weight: 1	Total Weight: -181
193.55/193.64	c
193.55/193.64	c
193.55/193.64	c ============================[ Search Statistics ]==============================
193.55/193.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.55/193.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.55/193.64	c ===============================================================================
193.55/193.64	c |         0 |    1484    38297    48928 |    12765        0    nan |  0.000 % |
193.55/193.65	c ===============================================================================
193.65/193.70	c core #320
193.65/193.70	c 
193.65/193.70	c 
193.65/193.70	c Core size: 32	Core Weight: 1	Total Weight: -180
193.65/193.70	c
193.65/193.70	c
193.65/193.70	c ============================[ Search Statistics ]==============================
193.65/193.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.65/193.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.65/193.70	c ===============================================================================
193.65/193.70	c |         0 |    1504    38298    48968 |    12766        0    nan |  0.000 % |
193.65/193.72	c ===============================================================================
193.65/193.77	c core #321
193.65/193.77	c 
193.65/193.77	c 
193.65/193.77	c Core size: 41	Core Weight: 1	Total Weight: -179
193.65/193.77	c
193.65/193.77	c
193.65/193.77	c ============================[ Search Statistics ]==============================
193.65/193.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.65/193.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.65/193.77	c ===============================================================================
193.65/193.77	c |         0 |    1533    38299    49026 |    12766        0    nan |  0.000 % |
193.75/193.82	c |       101 |    1532    38299    49026 |    14042      101      9 | 92.918 % |
193.75/193.82	c ===============================================================================
193.75/193.87	c core #322
193.75/193.87	c 
193.75/193.87	c 
193.75/193.87	c Core size: 46	Core Weight: 1	Total Weight: -178
193.75/193.87	c
193.75/193.87	c
193.75/193.87	c ============================[ Search Statistics ]==============================
193.75/193.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.75/193.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.75/193.87	c ===============================================================================
193.75/193.87	c |         0 |    1569    38300    49098 |    12766        0    nan |  0.000 % |
193.84/193.91	c |       101 |    1569    38300    49098 |    14043      101      7 | 92.271 % |
193.84/193.92	c ===============================================================================
193.84/193.97	c core #323
193.84/193.97	c 
193.84/193.97	c 
193.84/193.97	c Core size: 32	Core Weight: 1	Total Weight: -177
193.84/193.97	c
193.84/193.97	c
193.84/193.97	c ============================[ Search Statistics ]==============================
193.84/193.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.84/193.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.84/193.97	c ===============================================================================
193.84/193.97	c |         0 |    1593    38301    49146 |    12767        0    nan |  0.000 % |
193.94/194.02	c |       103 |    1593    38301    49146 |    14043      103     22 | 92.162 % |
193.94/194.06	c |       255 |    1593    38301    49146 |    15448      255     23 | 92.162 % |
194.04/194.13	c |       485 |    1591    38301    49146 |    16992      485     26 | 92.171 % |
194.14/194.25	c |       823 |    1590    38301    49146 |    18692      809     24 | 92.176 % |
194.14/194.27	c ===============================================================================
194.24/194.33	c core #324
194.24/194.33	c 
194.24/194.33	c 
194.24/194.33	c Core size: 82	Core Weight: 1	Total Weight: -176
194.24/194.33	c
194.24/194.33	c
194.24/194.33	c ============================[ Search Statistics ]==============================
194.24/194.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.24/194.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.24/194.33	c ===============================================================================
194.24/194.33	c |         0 |    1667    38302    49294 |    12767        0    nan |  0.000 % |
194.24/194.37	c |       100 |    1667    38302    49294 |    14044      100     18 | 91.827 % |
194.35/194.41	c |       250 |    1667    38302    49294 |    15448      250     22 | 91.827 % |
194.35/194.46	c |       477 |    1667    38302    49294 |    16993      477     22 | 91.827 % |
194.45/194.51	c ===============================================================================
194.45/194.57	c core #325
194.45/194.57	c 
194.45/194.57	c 
194.45/194.57	c Core size: 83	Core Weight: 1	Total Weight: -175
194.45/194.57	c
194.45/194.57	c
194.45/194.57	c ============================[ Search Statistics ]==============================
194.45/194.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.45/194.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.45/194.57	c ===============================================================================
194.45/194.57	c |         0 |    1741    38303    49442 |    12767        0    nan |  0.000 % |
194.56/194.61	c |       101 |    1741    38303    49442 |    14044      101     13 | 91.495 % |
194.56/194.64	c |       253 |    1741    38303    49442 |    15448      253     18 | 91.495 % |
194.66/194.71	c |       480 |    1741    38303    49442 |    16993      480     22 | 91.495 % |
194.75/194.80	c ===============================================================================
194.75/194.86	c core #326
194.75/194.86	c 
194.75/194.86	c 
194.75/194.86	c Core size: 73	Core Weight: 1	Total Weight: -174
194.75/194.86	c
194.75/194.86	c
194.75/194.86	c ============================[ Search Statistics ]==============================
194.75/194.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.75/194.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.75/194.86	c ===============================================================================
194.75/194.86	c |         0 |    1798    38304    49556 |    12768        0    nan |  0.000 % |
194.75/194.89	c |       102 |    1798    38304    49556 |    14044      102      8 | 91.241 % |
194.85/194.92	c |       254 |    1798    38304    49556 |    15449      254     18 | 91.241 % |
194.85/194.99	c |       479 |    1798    38304    49556 |    16994      479     21 | 91.241 % |
194.95/195.08	c |       816 |    1797    38304    49556 |    18693      813     22 | 91.246 % |
195.15/195.23	c ===============================================================================
195.15/195.29	c core #327
195.15/195.29	c 
195.15/195.29	c 
195.15/195.29	c Core size: 98	Core Weight: 1	Total Weight: -173
195.15/195.29	c
195.15/195.29	c
195.15/195.29	c ============================[ Search Statistics ]==============================
195.15/195.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.15/195.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.15/195.29	c ===============================================================================
195.15/195.29	c |         0 |    1876    38305    49712 |    12768        0    nan |  0.000 % |
195.25/195.33	c |       100 |    1876    38305    49712 |    14045      100     18 | 90.896 % |
195.25/195.37	c |       251 |    1875    38305    49712 |    15449      251     15 | 90.901 % |
195.35/195.40	c |       477 |    1874    38305    49712 |    16994      477     20 | 90.906 % |
195.35/195.48	c |       816 |    1872    38305    49712 |    18694      809     26 | 90.915 % |
195.54/195.60	c |      1323 |    1872    38305    49712 |    20563     1316     30 | 90.915 % |
195.54/195.67	c ===============================================================================
195.66/195.72	c core #328
195.66/195.72	c 
195.66/195.72	c 
195.66/195.72	c Core size: 68	Core Weight: 1	Total Weight: -172
195.66/195.72	c
195.66/195.72	c
195.66/195.72	c ============================[ Search Statistics ]==============================
195.66/195.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.66/195.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.66/195.72	c ===============================================================================
195.66/195.72	c |         0 |    1928    38306    49816 |    12768        0    nan |  0.000 % |
195.66/195.77	c |       100 |    1928    38306    49816 |    14045      100      9 | 90.667 % |
195.76/195.81	c ===============================================================================
195.76/195.86	c core #329
195.76/195.86	c 
195.76/195.86	c 
195.76/195.86	c Core size: 50	Core Weight: 1	Total Weight: -171
195.76/195.86	c
195.76/195.86	c
195.76/195.86	c ============================[ Search Statistics ]==============================
195.76/195.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.76/195.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.76/195.86	c ===============================================================================
195.76/195.86	c |         0 |    1974    38307    49908 |    12769        0    nan |  0.000 % |
195.85/195.92	c |       101 |    1974    38307    49908 |    14045      101     14 | 90.466 % |
195.85/195.93	c ===============================================================================
195.85/195.98	c core #330
195.85/195.98	c 
195.85/195.98	c 
195.85/195.98	c Core size: 38	Core Weight: 1	Total Weight: -170
195.85/195.98	c
195.85/195.98	c
195.85/195.98	c ============================[ Search Statistics ]==============================
195.85/195.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.85/195.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.85/195.98	c ===============================================================================
195.85/195.98	c |         0 |    2010    38308    49980 |    12769        0    nan |  0.000 % |
195.95/196.03	c |       100 |    2010    38308    49980 |    14046      100     24 | 90.309 % |
195.95/196.08	c |       250 |    2010    38308    49980 |    15450      250     20 | 90.309 % |
196.05/196.15	c |       477 |    2010    38308    49980 |    16995      477     18 | 90.309 % |
196.15/196.24	c |       817 |    2010    38308    49980 |    18695      817     17 | 90.309 % |
196.15/196.28	c ===============================================================================
196.25/196.34	c core #331
196.25/196.34	c 
196.25/196.34	c 
196.25/196.34	c Core size: 48	Core Weight: 1	Total Weight: -169
196.25/196.34	c
196.25/196.34	c
196.25/196.34	c ============================[ Search Statistics ]==============================
196.25/196.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.25/196.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.25/196.34	c ===============================================================================
196.25/196.34	c |         0 |    2050    38309    50060 |    12769        0    nan |  0.000 % |
196.25/196.38	c |       102 |    2050    38309    50060 |    14046      102     15 | 90.135 % |
196.35/196.43	c |       255 |    2049    38309    50060 |    15451      255     13 | 90.140 % |
196.35/196.46	c ===============================================================================
196.44/196.52	c core #332
196.44/196.52	c 
196.44/196.52	c 
196.44/196.52	c Core size: 68	Core Weight: 1	Total Weight: -168
196.44/196.52	c
196.44/196.52	c
196.44/196.52	c ============================[ Search Statistics ]==============================
196.44/196.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.44/196.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.44/196.52	c ===============================================================================
196.44/196.52	c |         0 |    2095    38310    50150 |    12770        0    nan |  0.000 % |
196.44/196.56	c |       100 |    2095    38310    50150 |    14047      100     15 | 89.940 % |
196.44/196.57	c |       250 |    2095    38310    50150 |    15451      250     19 | 89.940 % |
196.54/196.64	c |       476 |    2092    38310    50150 |    16996      474     21 | 89.954 % |
196.64/196.71	c |       815 |    2092    38310    50150 |    18696      813     33 | 89.954 % |
196.76/196.82	c |      1322 |    2090    38310    50150 |    20566     1317     38 | 89.964 % |
196.86/196.91	c ===============================================================================
196.86/196.97	c core #333
196.86/196.97	c 
196.86/196.97	c 
196.86/196.97	c Core size: 46	Core Weight: 1	Total Weight: -167
196.86/196.97	c
196.86/196.97	c
196.86/196.97	c ============================[ Search Statistics ]==============================
196.86/196.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
196.86/196.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
196.86/196.97	c ===============================================================================
196.86/196.97	c |         0 |    2133    38311    50226 |    12770        0    nan |  0.000 % |
196.95/197.01	c |       100 |    2133    38311    50226 |    14047      100     22 | 89.776 % |
196.95/197.02	c |       253 |    2133    38311    50226 |    15452      253     22 | 89.776 % |
196.95/197.04	c |       478 |    2133    38311    50226 |    16997      478     21 | 89.776 % |
196.95/197.06	c |       817 |    2133    38311    50226 |    18697      817     20 | 89.776 % |
197.05/197.10	c |      1323 |    2133    38311    50226 |    20566     1323     24 | 89.776 % |
197.15/197.20	c |      2085 |    2132    38311    50226 |    22623     2084     25 | 89.781 % |
197.35/197.43	c ===============================================================================
197.35/197.49	c core #334
197.35/197.49	c 
197.35/197.49	c 
197.35/197.49	c Core size: 97	Core Weight: 1	Total Weight: -166
197.35/197.49	c
197.35/197.49	c
197.35/197.49	c ============================[ Search Statistics ]==============================
197.35/197.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
197.35/197.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
197.35/197.49	c ===============================================================================
197.35/197.49	c |         0 |    2201    38312    50362 |    12770        0    nan |  0.000 % |
197.45/197.53	c |       100 |    2201    38312    50362 |    14047      100     15 | 89.484 % |
197.45/197.55	c |       251 |    2201    38312    50362 |    15452      251     21 | 89.484 % |
197.55/197.64	c |       476 |    2201    38312    50362 |    16997      476     35 | 89.484 % |
197.65/197.77	c |       814 |    2201    38312    50362 |    18697      814     38 | 89.484 % |
197.85/197.96	c |      1323 |    2201    38312    50362 |    20567     1323     42 | 89.484 % |
198.15/198.24	c |      2083 |    2201    38312    50362 |    22624     2083     44 | 89.484 % |
198.65/198.75	c |      3222 |    2200    38312    50362 |    24886     3218     44 | 89.489 % |
198.95/199.06	c ===============================================================================
199.05/199.14	c core #335
199.05/199.14	c 
199.05/199.14	c 
199.05/199.14	c Core size: 105	Core Weight: 1	Total Weight: -165
199.05/199.14	c
199.05/199.14	c
199.05/199.14	c ============================[ Search Statistics ]==============================
199.05/199.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.05/199.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.05/199.14	c ===============================================================================
199.05/199.14	c |         0 |    2285    38313    50530 |    12771        0    nan |  0.000 % |
199.05/199.18	c |       100 |    2285    38313    50530 |    14048      100     45 | 89.127 % |
199.14/199.21	c |       251 |    2285    38313    50530 |    15452      251     27 | 89.127 % |
199.14/199.28	c |       476 |    2284    38313    50530 |    16998      475     24 | 89.132 % |
199.24/199.39	c ===============================================================================
199.35/199.44	c core #336
199.35/199.44	c 
199.35/199.44	c 
199.35/199.44	c Core size: 77	Core Weight: 1	Total Weight: -164
199.35/199.44	c
199.35/199.44	c
199.35/199.44	c ============================[ Search Statistics ]==============================
199.35/199.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
199.35/199.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
199.35/199.44	c ===============================================================================
199.35/199.44	c |         0 |    2345    38314    50650 |    12771        0    nan |  0.000 % |
199.35/199.49	c |       100 |    2345    38314    50650 |    14048      100     19 | 88.873 % |
199.45/199.53	c |       251 |    2345    38314    50650 |    15453      251     18 | 88.873 % |
199.55/199.60	c |       476 |    2345    38314    50650 |    16998      476     20 | 88.873 % |
199.55/199.70	c |       813 |    2345    38314    50650 |    18698      813     18 | 88.873 % |
199.74/199.84	c |      1319 |    2345    38314    50650 |    20568     1319     17 | 88.873 % |
200.05/200.10	c ===============================================================================
200.05/200.17	c core #337
200.05/200.17	c 
200.05/200.17	c 
200.05/200.17	c Core size: 90	Core Weight: 1	Total Weight: -163
200.05/200.17	c
200.05/200.17	c
200.05/200.17	c ============================[ Search Statistics ]==============================
200.05/200.17	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
200.05/200.17	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
200.05/200.17	c ===============================================================================
200.05/200.17	c |         0 |    2413    38315    50786 |    12771        0    nan |  0.000 % |
200.05/200.20	c |       100 |    2413    38315    50786 |    14048      100     27 | 88.587 % |
200.16/200.22	c |       250 |    2413    38315    50786 |    15453      250     18 | 88.587 % |
200.16/200.25	c |       475 |    2413    38315    50786 |    16999      475     19 | 88.587 % |
200.25/200.32	c |       814 |    2413    38315    50786 |    18698      814     20 | 88.587 % |
200.34/200.47	c |      1320 |    2413    38315    50786 |    20568     1320     24 | 88.587 % |
200.54/200.69	c |      2079 |    2413    38315    50786 |    22625     2079     25 | 88.587 % |
200.95/201.09	c |      3218 |    2413    38315    50786 |    24888     3218     25 | 88.587 % |
201.64/201.77	c |      4926 |    2413    38315    50786 |    27377     4926     27 | 88.587 % |
202.65/202.74	c ===============================================================================
202.75/202.87	c core #338
202.75/202.87	c 
202.75/202.87	c 
202.75/202.87	c Core size: 103	Core Weight: 1	Total Weight: -162
202.75/202.87	c
202.75/202.87	c
202.75/202.87	c ============================[ Search Statistics ]==============================
202.75/202.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
202.75/202.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
202.75/202.87	c ===============================================================================
202.75/202.87	c |         0 |    2487    38316    50934 |    12772        0    nan |  0.000 % |
202.85/202.90	c |       100 |    2487    38316    50934 |    14049      100     12 | 88.278 % |
202.85/202.92	c |       250 |    2487    38316    50934 |    15454      250     15 | 88.278 % |
202.85/202.94	c |       476 |    2487    38316    50934 |    16999      476     14 | 88.278 % |
202.85/202.97	c |       813 |    2487    38316    50934 |    18699      813     18 | 88.278 % |
202.94/203.07	c |      1321 |    2487    38316    50934 |    20569     1321     20 | 88.278 % |
203.25/203.35	c |      2080 |    2487    38316    50934 |    22626     2080     23 | 88.278 % |
203.36/203.50	c ===============================================================================
203.46/203.56	c core #339
203.46/203.56	c 
203.46/203.56	c 
203.46/203.56	c Core size: 120	Core Weight: 1	Total Weight: -161
203.46/203.56	c
203.46/203.56	c
203.46/203.56	c ============================[ Search Statistics ]==============================
203.46/203.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.46/203.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.46/203.56	c ===============================================================================
203.46/203.56	c |         0 |    2576    38317    51112 |    12772        0    nan |  0.000 % |
203.55/203.62	c |       102 |    2576    38317    51112 |    14049      102     22 | 87.910 % |
203.55/203.63	c |       253 |    2576    38317    51112 |    15454      253     16 | 87.910 % |
203.55/203.67	c |       478 |    2576    38317    51112 |    16999      478     17 | 87.910 % |
203.65/203.75	c |       815 |    2576    38317    51112 |    18699      815     19 | 87.910 % |
203.74/203.89	c |      1322 |    2576    38317    51112 |    20569     1322     21 | 87.910 % |
204.04/204.17	c |      2084 |    2576    38317    51112 |    22626     2084     25 | 87.910 % |
204.55/204.69	c |      3224 |    2576    38317    51112 |    24889     3224     30 | 87.910 % |
205.45/205.54	c |      4932 |    2576    38317    51112 |    27378     4932     32 | 87.910 % |
206.85/206.99	c |      7494 |    2576    38317    51112 |    30116     7494     36 | 87.910 % |
208.14/208.24	c ===============================================================================
208.24/208.39	c core #340
208.24/208.39	c 
208.24/208.39	c 
208.24/208.39	c Core size: 103	Core Weight: 1	Total Weight: -160
208.24/208.39	c
208.24/208.39	c
208.24/208.39	c ============================[ Search Statistics ]==============================
208.24/208.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
208.24/208.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
208.24/208.39	c ===============================================================================
208.24/208.39	c |         0 |    2659    38318    51278 |    12772        0    nan |  0.000 % |
208.34/208.43	c |       101 |    2659    38318    51278 |    14049      101     25 | 87.568 % |
208.34/208.45	c |       252 |    2659    38318    51278 |    15454      252     27 | 87.568 % |
208.34/208.49	c |       479 |    2659    38318    51278 |    17000      479     25 | 87.568 % |
208.45/208.58	c |       816 |    2659    38318    51278 |    18700      816     33 | 87.568 % |
208.65/208.71	c |      1324 |    2659    38318    51278 |    20570     1324     44 | 87.568 % |
208.74/208.83	c |      2084 |    2659    38318    51278 |    22627     2084     47 | 87.568 % |
209.25/209.35	c |      3225 |    2659    38318    51278 |    24890     3225     56 | 87.568 % |
210.24/210.34	c |      4934 |    2659    38318    51278 |    27379     4934     67 | 87.568 % |
211.55/211.70	c |      7498 |    2659    38318    51278 |    30117     7498     76 | 87.568 % |
214.35/214.44	c |     11346 |    2659    38318    51278 |    33129    11346     83 | 87.568 % |
220.74/220.88	c |     17114 |    2659    38318    51278 |    36441    17114     88 | 87.568 % |
234.54/234.65	c |     25763 |    2659    38318    51278 |    40086    25763     93 | 87.568 % |
261.84/261.95	c |     38741 |    2659    38318    51278 |    44094    38741     94 | 87.568 % |
284.63/284.70	c |     58206 |    2657    38318    51278 |    48504    58011     86 | 87.578 % |
294.92/295.09	c ===============================================================================
295.22/295.39	c core #341
295.22/295.39	c 
295.22/295.39	c 
295.22/295.39	c Core size: 153	Core Weight: 1	Total Weight: -159
295.22/295.39	c
295.22/295.39	c
295.22/295.39	c ============================[ Search Statistics ]==============================
295.22/295.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
295.22/295.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
295.22/295.39	c ===============================================================================
295.22/295.39	c |         0 |    2765    38319    51490 |    12773        0    nan |  0.000 % |
295.32/295.41	c |       101 |    2765    38319    51490 |    14050      101     39 | 87.137 % |
295.32/295.44	c |       254 |    2765    38319    51490 |    15455      254     31 | 87.137 % |
295.32/295.47	c |       479 |    2765    38319    51490 |    17000      479     40 | 87.137 % |
295.43/295.51	c |       816 |    2765    38319    51490 |    18700      816     35 | 87.137 % |
295.43/295.58	c |      1323 |    2765    38319    51490 |    20571     1323     42 | 87.137 % |
295.62/295.70	c |      2084 |    2765    38319    51490 |    22628     2084     53 | 87.137 % |
295.84/295.96	c |      3224 |    2765    38319    51490 |    24890     3224     69 | 87.137 % |
296.23/296.33	c |      4933 |    2765    38319    51490 |    27380     4933     86 | 87.137 % |
297.02/297.11	c |      7495 |    2765    38319    51490 |    30118     7495     97 | 87.137 % |
298.43/298.52	c |     11339 |    2765    38319    51490 |    33129    11339    106 | 87.137 % |
301.23/301.33	c |     17105 |    2765    38319    51490 |    36442    17105    109 | 87.137 % |
305.73/305.83	c |     25755 |    2765    38319    51490 |    40087    25755     96 | 87.137 % |
317.83/317.99	c |     38731 |    2765    38319    51490 |    44095    38731     89 | 87.137 % |
343.01/343.14	c |     58194 |    2765    38319    51490 |    48505    58194     89 | 87.137 % |
382.29/382.44	c |     87387 |    2765    38319    51490 |    53355    35139     83 | 87.137 % |
485.67/485.80	c |    131176 |    2765    38319    51490 |    58691    23572     74 | 87.137 % |
652.73/652.92	c |    196860 |    2765    38319    51490 |    64560    30240     71 | 87.137 % |
855.39/855.63	c ===============================================================================
862.89/863.11	c core #342
862.89/863.11	c 
862.89/863.11	c 
862.89/863.11	c Core size: 110	Core Weight: 1	Total Weight: -158
862.89/863.11	c
862.89/863.11	c
862.89/863.11	c ============================[ Search Statistics ]==============================
862.89/863.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
862.89/863.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
862.89/863.11	c ===============================================================================
862.89/863.11	c |         0 |    2855    38320    51670 |    12773        0    nan |  0.000 % |
862.89/863.19	c |       100 |    2855    38320    51670 |    14050      100     25 | 86.773 % |
862.99/863.22	c |       250 |    2855    38320    51670 |    15455      250     20 | 86.773 % |
862.99/863.28	c |       476 |    2855    38320    51670 |    17001      476     21 | 86.773 % |
863.19/863.40	c |       819 |    2855    38320    51670 |    18701      819     22 | 86.773 % |
863.30/863.54	c |      1326 |    2855    38320    51670 |    20571     1326     24 | 86.773 % |
863.59/863.83	c |      2086 |    2855    38320    51670 |    22628     2086     28 | 86.773 % |
863.79/864.03	c |      3226 |    2855    38320    51670 |    24891     3226     28 | 86.773 % |
864.49/864.76	c |      4934 |    2855    38320    51670 |    27380     4934     28 | 86.773 % |
865.69/865.97	c |      7497 |    2855    38320    51670 |    30118     7497     28 | 86.773 % |
866.19/866.42	c ===============================================================================
866.29/866.55	c core #343
866.29/866.55	c 
866.29/866.55	c 
866.29/866.55	c Core size: 140	Core Weight: 1	Total Weight: -157
866.29/866.55	c
866.29/866.55	c
866.29/866.55	c ============================[ Search Statistics ]==============================
866.29/866.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
866.29/866.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
866.29/866.55	c ===============================================================================
866.29/866.55	c |         0 |    2956    38321    51872 |    12773        0    nan |  0.000 % |
866.39/866.60	c |       104 |    2956    38321    51872 |    14051      104     31 | 86.369 % |
866.39/866.63	c |       254 |    2956    38321    51872 |    15456      254     27 | 86.369 % |
866.39/866.67	c |       480 |    2956    38321    51872 |    17001      480     29 | 86.369 % |
866.49/866.70	c |       817 |    2956    38321    51872 |    18701      817     30 | 86.369 % |
866.49/866.77	c |      1325 |    2956    38321    51872 |    20572     1325     32 | 86.369 % |
866.60/866.89	c |      2085 |    2956    38321    51872 |    22629     2085     31 | 86.369 % |
866.88/867.19	c |      3224 |    2956    38321    51872 |    24892     3224     37 | 86.369 % |
867.28/867.52	c |      4934 |    2956    38321    51872 |    27381     4934     35 | 86.369 % |
868.59/868.80	c |      7499 |    2956    38321    51872 |    30119     7499     47 | 86.369 % |
870.58/870.90	c |     11344 |    2956    38321    51872 |    33131    11344     54 | 86.369 % |
873.98/874.20	c |     17112 |    2956    38321    51872 |    36444    17112     56 | 86.369 % |
884.98/885.23	c |     25761 |    2956    38321    51872 |    40089    25761     60 | 86.369 % |
911.59/911.84	c |     38735 |    2956    38321    51872 |    44098    38735     65 | 86.369 % |
966.46/966.79	c |     58198 |    2956    38321    51872 |    48507    58198     69 | 86.369 % |
1024.35/1024.68	c |     87390 |    2956    38321    51872 |    53358    35302     78 | 86.369 % |
1156.43/1156.71	c |    131180 |    2956    38321    51872 |    58694    23994     73 | 86.369 % |
1300.90/1301.20	c |    196866 |    2956    38321    51872 |    64564    30366     67 | 86.369 % |
1531.45/1531.83	c |    295395 |    2956    38321    51872 |    71020    62681     84 | 86.369 % |

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-2702499-1278568532/watcher-2702499-1278568532 -o /tmp/evaluation-result-2702499-1278568532/solver-2702499-1278568532 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702499-1278568532.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.04 1.03 1.00 3/106 28494
/proc/meminfo: memFree=1582380/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=4784 CPUtime=0
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 415 0 0 0 0 0 0 0 18 0 1 0 25060816 4898816 333 1992294400 134512640 135752675 4292609536 18446744073709551615 134609663 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 1196 333 136 303 0 496 0

[startup+0.0683041 s]
/proc/loadavg: 1.04 1.03 1.00 3/106 28494
/proc/meminfo: memFree=1582380/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=8480 CPUtime=0.06
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 1315 0 0 0 6 0 0 0 20 0 1 0 25060816 8683520 1233 1992294400 134512640 135752675 4292609536 18446744073709551615 135225902 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 2120 1233 199 303 0 1420 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8480

[startup+0.101305 s]
/proc/loadavg: 1.04 1.03 1.00 3/106 28494
/proc/meminfo: memFree=1582380/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=8876 CPUtime=0.09
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 1475 0 0 0 9 0 0 0 20 0 1 0 25060816 9089024 1393 1992294400 134512640 135752675 4292609536 18446744073709551615 134573775 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 2219 1393 246 303 0 1519 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8876

[startup+0.301318 s]
/proc/loadavg: 1.04 1.03 1.00 3/106 28494
/proc/meminfo: memFree=1582380/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=13940 CPUtime=0.29
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 3387 0 0 0 28 1 0 0 20 0 1 0 25060816 14274560 2877 1992294400 134512640 135752675 4292609536 18446744073709551615 134588593 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 3485 2880 142 303 0 3180 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13940

[startup+0.701343 s]
/proc/loadavg: 1.04 1.03 1.00 3/106 28494
/proc/meminfo: memFree=1582380/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=12548 CPUtime=0.69
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 3976 0 0 0 67 2 0 0 20 0 1 0 25060816 12849152 2583 1992294400 134512640 135752675 4292609536 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 3137 2583 145 303 0 2832 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12548

[startup+1.50139 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 28495
/proc/meminfo: memFree=1571212/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=16640 CPUtime=1.49
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 5016 0 0 0 145 4 0 0 23 0 1 0 25060816 17039360 3623 1992294400 134512640 135752675 4292609536 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 4160 3623 145 303 0 3855 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16640

[startup+3.10149 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 28495
/proc/meminfo: memFree=1566252/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=22052 CPUtime=3.09
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 6353 0 0 0 303 6 0 0 25 0 1 0 25060816 22581248 4960 1992294400 134512640 135752675 4292609536 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 5513 4960 145 303 0 5208 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22052

[startup+6.30069 s]
/proc/loadavg: 1.04 1.03 1.00 2/107 28495
/proc/meminfo: memFree=1556704/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=30828 CPUtime=6.29
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 8550 0 0 0 621 8 0 0 25 0 1 0 25060816 31567872 7157 1992294400 134512640 135752675 4292609536 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 7707 7158 145 303 0 7402 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30828

[startup+12.7011 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 28495
/proc/meminfo: memFree=1544056/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=42676 CPUtime=12.69
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 11491 0 0 0 1257 12 0 0 25 0 1 0 25060816 43700224 10098 1992294400 134512640 135752675 4292609536 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 10669 10098 145 303 0 10364 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42676

[startup+25.5009 s]
/proc/loadavg: 1.03 1.03 1.00 2/107 28497
/proc/meminfo: memFree=1533020/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=52408 CPUtime=25.48
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 13918 0 0 0 2532 16 0 0 25 0 1 0 25060816 53665792 12525 1992294400 134512640 135752675 4292609536 18446744073709551615 134611746 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 13102 12525 145 303 0 12797 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52408

[startup+51.1005 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 28497
/proc/meminfo: memFree=1520000/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=65304 CPUtime=51.08
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 17143 0 0 0 5085 23 0 0 25 0 1 0 25060816 66871296 15750 1992294400 134512640 135752675 4292609536 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 16326 15750 145 303 0 16021 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 65304

[startup+102.309 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 28499
/proc/meminfo: memFree=1503384/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=81684 CPUtime=102.28
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 21190 0 0 0 10196 32 0 0 25 0 1 0 25060816 83644416 19797 1992294400 134512640 135752675 4292609536 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 20421 19797 145 303 0 20116 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 81684

[startup+162.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 28499
/proc/meminfo: memFree=1483792/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=101708 CPUtime=162.26
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 26102 0 0 0 16184 42 0 0 25 0 1 0 25060816 104148992 24709 1992294400 134512640 135752675 4292609536 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 25427 24709 145 303 0 25122 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 101708

[startup+222.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 28501
/proc/meminfo: memFree=1478088/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=106128 CPUtime=222.24
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 28303 0 0 0 22157 67 0 0 25 0 1 0 25060816 108675072 25951 1992294400 134512640 135752675 4292609536 18446744073709551615 134605055 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 26532 25951 146 303 0 26227 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 106128

[startup+282.301 s]
/proc/loadavg: 1.11 1.03 1.01 2/107 28503
/proc/meminfo: memFree=1478088/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=106128 CPUtime=282.23
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 28313 0 0 0 28142 81 0 0 25 0 1 0 25060816 108675072 25961 1992294400 134512640 135752675 4292609536 18446744073709551615 134612083 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 26532 25961 146 303 0 26227 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 106128

[startup+342.301 s]
/proc/loadavg: 1.19 1.06 1.01 2/107 28514
/proc/meminfo: memFree=1477344/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=106128 CPUtime=342.21
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 28317 0 0 0 34114 107 0 0 25 0 1 0 25060816 108675072 25965 1992294400 134512640 135752675 4292609536 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 26532 25965 146 303 0 26227 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 106128

[startup+402.301 s]
/proc/loadavg: 1.07 1.05 1.00 2/107 28516
/proc/meminfo: memFree=1477344/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=106128 CPUtime=402.19
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 28344 0 0 0 40095 124 0 0 25 0 1 0 25060816 108675072 25992 1992294400 134512640 135752675 4292609536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 26532 25992 146 303 0 26227 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 106128

[startup+462.301 s]
/proc/loadavg: 1.02 1.04 1.00 2/107 28516
/proc/meminfo: memFree=1477344/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=106128 CPUtime=462.17
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 28379 0 0 0 46082 135 0 0 25 0 1 0 25060816 108675072 26027 1992294400 134512640 135752675 4292609536 18446744073709551615 134611642 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 26532 26027 146 303 0 26227 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 106128

[startup+522.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 28518
/proc/meminfo: memFree=1477344/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=106128 CPUtime=522.16
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 28395 0 0 0 52066 150 0 0 25 0 1 0 25060816 108675072 26043 1992294400 134512640 135752675 4292609536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 26532 26043 146 303 0 26227 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 106128

[startup+582.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 28520
/proc/meminfo: memFree=1470152/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=113612 CPUtime=582.15
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 30241 0 0 0 58054 161 0 0 25 0 1 0 25060816 116338688 27889 1992294400 134512640 135752675 4292609536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 28403 27889 146 303 0 28098 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 113612

[startup+642.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 28522
/proc/meminfo: memFree=1460604/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=123236 CPUtime=642.14
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 32589 0 0 0 64040 174 0 0 25 0 1 0 25060816 126193664 30237 1992294400 134512640 135752675 4292609536 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 30809 30237 146 303 0 30504 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 123236

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28528
/proc/meminfo: memFree=1411624/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=171540 CPUtime=882.09
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 45112 0 0 0 87974 235 0 0 25 0 1 0 25060816 175656960 42282 1992294400 134512640 135752675 4292609536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 42885 42282 146 303 0 42580 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 171540

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28530
/proc/meminfo: memFree=1411624/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=171540 CPUtime=942.07
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 45130 0 0 0 93960 247 0 0 25 0 1 0 25060816 175656960 42300 1992294400 134512640 135752675 4292609536 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 42885 42300 146 303 0 42580 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 171540

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28532
/proc/meminfo: memFree=1411624/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=171540 CPUtime=1002.06
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 45195 0 0 0 99945 261 0 0 25 0 1 0 25060816 175656960 42365 1992294400 134512640 135752675 4292609536 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 42885 42365 146 303 0 42580 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 171540

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28532
/proc/meminfo: memFree=1411624/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=171540 CPUtime=1062.05
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 45223 0 0 0 105932 273 0 0 25 0 1 0 25060816 175656960 42393 1992294400 134512640 135752675 4292609536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 42885 42393 146 303 0 42580 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 171540

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28534
/proc/meminfo: memFree=1411624/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=171540 CPUtime=1122.03
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 45223 0 0 0 111921 282 0 0 25 0 1 0 25060816 175656960 42393 1992294400 134512640 135752675 4292609536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 42885 42393 146 303 0 42580 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 171540

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28536
/proc/meminfo: memFree=1402324/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=181084 CPUtime=1182.02
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 47574 0 0 0 117903 299 0 0 25 0 1 0 25060816 185430016 44744 1992294400 134512640 135752675 4292609536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 45271 44744 146 303 0 44966 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 181084

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28538
/proc/meminfo: memFree=1391784/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=191616 CPUtime=1242
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 50170 0 0 0 123886 314 0 0 25 0 1 0 25060816 196214784 47340 1992294400 134512640 135752675 4292609536 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 47904 47340 146 303 0 47599 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 191616

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28540
/proc/meminfo: memFree=1380376/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=202876 CPUtime=1302
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 53009 0 0 0 129868 332 0 0 25 0 1 0 25060816 207745024 50179 1992294400 134512640 135752675 4292609536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 50719 50179 146 303 0 50414 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 202876

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28540
/proc/meminfo: memFree=1366364/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=216904 CPUtime=1361.98
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 56506 0 0 0 135850 348 0 0 25 0 1 0 25060816 222109696 53676 1992294400 134512640 135752675 4292609536 18446744073709551615 134611978 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 54226 53676 146 303 0 53921 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 216904

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28542
/proc/meminfo: memFree=1356692/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=226604 CPUtime=1421.98
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 58905 0 0 0 141839 359 0 0 25 0 1 0 25060816 232042496 56075 1992294400 134512640 135752675 4292609536 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 56651 56075 146 303 0 56346 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 226604

[startup+1482.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 28547
/proc/meminfo: memFree=1341936/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=241020 CPUtime=1481.95
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 62467 0 0 0 147817 378 0 0 25 0 1 0 25060816 246804480 59637 1992294400 134512640 135752675 4292609536 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 60255 59637 146 303 0 59950 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 241020

[startup+1542.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 28549
/proc/meminfo: memFree=1328048/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=254768 CPUtime=1541.94
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 65888 0 0 0 153796 398 0 0 25 0 1 0 25060816 260882432 63058 1992294400 134512640 135752675 4292609536 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 63692 63058 146 303 0 63387 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 254768

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28551
/proc/meminfo: memFree=1320732/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=262152 CPUtime=1601.93
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 67739 0 0 0 159784 409 0 0 25 0 1 0 25060816 268443648 64909 1992294400 134512640 135752675 4292609536 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 65538 64909 146 303 0 65233 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 262152

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 28551
/proc/meminfo: memFree=1309076/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=273696 CPUtime=1661.91
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 70612 0 0 0 165766 425 0 0 25 0 1 0 25060816 280264704 67782 1992294400 134512640 135752675 4292609536 18446744073709551615 134611597 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 68424 67782 146 303 0 68119 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 273696

[startup+1722.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 28553
/proc/meminfo: memFree=1296304/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=286604 CPUtime=1721.9
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 73826 0 0 0 171747 443 0 0 25 0 1 0 25060816 293482496 70996 1992294400 134512640 135752675 4292609536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 71651 70996 146 303 0 71346 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 286604

[startup+1782.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 28555
/proc/meminfo: memFree=1286384/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=296464 CPUtime=1781.89
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 76301 0 0 0 177733 456 0 0 25 0 1 0 25060816 303579136 73471 1992294400 134512640 135752675 4292609536 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 74116 73471 146 303 0 73811 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 296464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 28555
/proc/meminfo: memFree=1284400/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=298540 CPUtime=1800.09
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 76787 0 0 0 179551 458 0 0 25 0 1 0 25060816 305704960 73957 1992294400 134512640 135752675 4292609536 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 74635 73957 146 303 0 74330 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 298540

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

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

[startup+1800.5 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 28555
/proc/meminfo: memFree=1284400/2059040 swapFree=4139744/4192956
[pid=28494] ppid=28492 vsize=298540 CPUtime=1800.09
/proc/28494/stat : 28494 (wbo1.4b) R 28492 28494 27827 0 -1 4202496 76787 0 0 0 179551 458 0 0 25 0 1 0 25060816 305704960 73957 1992294400 134512640 135752675 4292609536 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28494/statm: 74635 73957 146 303 0 74330 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 298540

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.54
CPU time (s): 1800.13
CPU user time (s): 1795.51
CPU system time (s): 4.6163
CPU usage (%): 99.9774
Max. virtual memory (cumulated for all children) (KiB): 298540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.51
system time used= 4.6163
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76787
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= 56
involuntary context switches= 3864

runsolver used 2.83157 second user time and 8.69668 second system time

The end

Launcher Data 

Begin job on node039 at 2010-07-08 07:55:32
IDJOB=2702499
IDBENCH=48184
IDSOLVER=1190
FILE ID=node039/2702499-1278568532
PBS_JOBID= 11239545
Free space on /tmp= 62552 MiB

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

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

MD5SUM BENCH= 2917e00f55986a046b103b08aa2aecc1
RANDOM SEED=1291542367

node039.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.242
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.48
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.242
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1584520 kB
Buffers:         75880 kB
Cached:         295884 kB
SwapCached:       7768 kB
Active:         157024 kB
Inactive:       229388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1584520 kB
SwapTotal:     4192956 kB
SwapFree:      4139744 kB
Dirty:            3120 kB
Writeback:           0 kB
AnonPages:       11748 kB
Mapped:          12100 kB
Slab:            66268 kB
PageTables:       4084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182524 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-2702499-1278568532.opb

Free space on /tmp at the end= 62548 MiB
End job on node039 at 2010-07-08 08:25:35