Trace number 2680859

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.26 1800.87

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
MD5SUM885184c694263ba985a0dc2cd49b3440
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.375942
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables776
Total number of constraints867
Number of constraints which are clauses701
Number of constraints which are cardinality constraints (but not clauses)166
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20
Number of terms in the objective function 776
Biggest coefficient in the objective function 474
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 2127
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 474
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2127
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680859-1277454928.opb.
0.00/0.00	c Instance file HOME/instance-2680859-1277454928.opb
0.00/0.00	c File size is 36242 bytes.
0.00/0.00	c Highest Coefficient sum: 23
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      776                                                 |
0.00/0.00	c |  Number Clauses:        702                                                 |
0.00/0.00	c |  Number Cardinality:    165                                                 |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     775      867     3034 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 56
0.00/0.01	o 56
0.00/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 179.986 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     775      868     3810 |     5000        0    nan |  0.000 % |
0.01/0.01	c ===============================================================================
0.01/0.01	c New solution: 55
0.01/0.01	o 55
0.01/0.01	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 179.985 s
0.01/0.01	c ===============================================================================
0.01/0.01	c |         3 |     775      869     4586 |     5000        3    259 |  0.000 % |
0.01/0.02	c ===============================================================================
0.01/0.02	c New solution: 53
0.01/0.02	o 53
0.01/0.02	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 179.982 s
0.01/0.02	c ===============================================================================
0.01/0.02	c |         7 |     775      870     5362 |     5000        7    266 |  0.000 % |
0.01/0.02	c ===============================================================================
0.01/0.02	c New solution: 45
0.01/0.02	o 45
0.01/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 179.979 s
0.01/0.02	c ===============================================================================
0.01/0.02	c |         7 |     775      871     6138 |     5000        7    266 |  0.000 % |
0.01/0.02	c ===============================================================================
0.01/0.02	c New solution: 44
0.01/0.02	o 44
0.01/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 179.977 s
0.01/0.02	c ===============================================================================
0.01/0.02	c |         7 |     775      872     6914 |     5000        7    266 |  0.000 % |
0.01/0.03	c ===============================================================================
0.01/0.03	c New solution: 43
0.01/0.03	o 43
0.01/0.03	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 179.974 s
0.01/0.03	c ===============================================================================
0.01/0.03	c |        12 |     775      873     7690 |     5000       12    268 |  0.000 % |
0.01/0.04	c |       113 |     775      873     7690 |     5500      113    283 |  0.130 % |
0.01/0.06	c |       263 |     775      873     7690 |     6050      263    275 |  0.132 % |
0.01/0.07	c ===============================================================================
0.01/0.07	c New solution: 41
0.01/0.07	o 41
0.01/0.07	c Elapsed CPU time: 0.06299 s	Remaining CPU time: 179.937 s
0.01/0.07	c ===============================================================================
0.01/0.07	c |       263 |     775      874     8466 |     5000      263    275 |  0.132 % |
0.01/0.07	c ===============================================================================
0.01/0.07	c New solution: 37
0.01/0.07	o 37
0.01/0.07	c Elapsed CPU time: 0.066989 s	Remaining CPU time: 179.933 s
0.01/0.07	c ===============================================================================
0.01/0.07	c |       263 |     775      875     9242 |     5000      263    275 |  0.132 % |
0.01/0.09	c |       363 |     775      875     9242 |     5500      363    278 |  0.131 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 36
0.09/0.10	o 36
0.09/0.10	c Elapsed CPU time: 0.101984 s	Remaining CPU time: 179.898 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |       416 |     775      876    10018 |     5000      416    280 |  0.131 % |
0.09/0.13	c |       516 |     775      876    10018 |     5500      516    280 |  0.132 % |
0.09/0.16	c |       668 |     775      876    10018 |     6050      668    278 |  0.132 % |
0.09/0.19	c |       894 |     775      876    10018 |     6655      894    275 |  0.133 % |
0.19/0.29	c |      1231 |     775      876    10018 |     7320     1231    276 |  0.132 % |
0.29/0.39	c |      1738 |     775      876    10018 |     8052     1738    278 |  0.132 % |
0.40/0.40	c ===============================================================================
0.40/0.40	c New solution: 35
0.40/0.40	o 35
0.40/0.40	c Elapsed CPU time: 0.39394 s	Remaining CPU time: 179.606 s
0.40/0.40	c ===============================================================================
0.40/0.40	c |      1787 |     775      877    10794 |     5000     1787    277 |  0.132 % |
0.40/0.42	c |      1888 |     775      877    10794 |     5500     1888    278 |  0.131 % |
0.40/0.45	c |      2039 |     775      877    10794 |     6050     2039    277 |  0.131 % |
0.50/0.50	c |      2264 |     775      877    10794 |     6655     2264    278 |  0.131 % |
0.50/0.56	c |      2601 |     775      877    10794 |     7320     2601    278 |  0.132 % |
0.59/0.68	c |      3108 |     775      877    10794 |     8052     3108    279 |  0.132 % |
0.59/0.68	c ===============================================================================
0.59/0.68	c New solution: 32
0.59/0.68	o 32
0.59/0.68	c Elapsed CPU time: 0.676897 s	Remaining CPU time: 179.323 s
0.59/0.68	c ===============================================================================
0.59/0.68	c |      3108 |     775      878    11570 |     5000     3108    279 |  0.132 % |
0.69/0.70	c ===============================================================================
0.69/0.70	c New solution: 31
0.69/0.70	o 31
0.69/0.70	c Elapsed CPU time: 0.694894 s	Remaining CPU time: 179.305 s
0.69/0.70	c ===============================================================================
0.69/0.70	c |      3173 |     775      879    12346 |     5000     3173    279 |  0.132 % |
0.69/0.73	c |      3273 |     775      879    12346 |     5500     3273    280 |  0.132 % |
0.69/0.75	c |      3424 |     775      879    12346 |     6050     3424    279 |  0.132 % |
0.79/0.80	c |      3650 |     775      879    12346 |     6655     3650    279 |  0.132 % |
0.79/0.86	c |      3987 |     775      879    12346 |     7320     3987    279 |  0.131 % |
0.89/0.98	c |      4494 |     775      879    12346 |     8052     4494    278 |  0.130 % |
1.10/1.15	c |      5253 |     775      879    12346 |     8857     5253    276 |  0.130 % |
1.39/1.43	c |      6394 |     775      879    12346 |     9743     6394    275 |  0.132 % |
1.79/1.83	c |      8103 |     775      879    12346 |    10717     8103    275 |  0.129 % |
1.89/1.95	c ===============================================================================
1.89/1.95	c New solution: 30
1.89/1.95	o 30
1.89/1.95	c Elapsed CPU time: 1.91871 s	Remaining CPU time: 178.081 s
1.89/1.95	c ===============================================================================
1.89/1.95	c |      8507 |     775      880    13122 |     5000     8507    276 |  0.129 % |
1.89/1.98	c |      8607 |     775      880    13122 |     5500     4354    274 |  0.130 % |
1.99/2.01	c |      8757 |     775      880    13122 |     6050     4504    273 |  0.132 % |
1.99/2.06	c |      8982 |     775      880    13122 |     6655     4729    274 |  0.131 % |
2.10/2.14	c |      9319 |     775      880    13122 |     7320     5066    273 |  0.129 % |
2.20/2.27	c |      9825 |     775      880    13122 |     8052     5572    273 |  0.130 % |
2.39/2.45	c |     10585 |     775      880    13122 |     8857     6332    272 |  0.129 % |
2.39/2.46	c ===============================================================================
2.39/2.46	c New solution: 25
2.39/2.46	o 25
2.39/2.46	c Elapsed CPU time: 2.42263 s	Remaining CPU time: 177.577 s
2.39/2.46	c ===============================================================================
2.39/2.46	c |     10585 |     775      881    13898 |     5000     6332    272 |  0.129 % |
2.39/2.49	c |     10685 |     775      881    13898 |     5500     3266    274 |  0.129 % |
2.49/2.53	c |     10836 |     775      881    13898 |     6050     3417    274 |  0.130 % |
2.49/2.58	c |     11062 |     775      881    13898 |     6655     3643    274 |  0.132 % |
2.59/2.66	c |     11400 |     775      881    13898 |     7320     3981    274 |  0.133 % |
2.69/2.79	c |     11906 |     775      881    13898 |     8052     4487    274 |  0.132 % |
2.89/2.97	c |     12666 |     775      881    13898 |     8857     5247    276 |  0.130 % |
3.19/3.20	c |     13805 |     775      881    13898 |     9743     6386    275 |  0.129 % |
3.49/3.60	c |     15514 |     775      881    13898 |    10717     8095    276 |  0.132 % |
4.29/4.39	c |     18076 |     775      881    13898 |    11789    10657    279 |  0.130 % |
5.50/5.52	c |     21920 |     775      881    13898 |    12968     8237    282 |  0.129 % |
7.19/7.22	c |     27686 |     775      881    13898 |    14265     7171    276 |  0.129 % |
9.79/9.81	c |     36336 |     775      881    13898 |    15692     8325    280 |  0.129 % |
13.98/14.07	c |     49310 |     775      881    13898 |    17261    13105    281 |  0.130 % |
22.88/23.00	c |     68772 |     775      881    13898 |    18987    14578    307 |  0.130 % |
36.18/36.26	c |     97965 |     775      881    13898 |    20886    14203    297 |  0.130 % |
60.87/60.96	c |    141754 |     775      881    13898 |    22974    14797    283 |  0.129 % |
95.56/95.64	c |    207440 |     775      881    13898 |    25272    18498    280 |  0.129 % |
160.24/160.33	c |    305966 |     775      881    13898 |    27799    13891    284 |  0.129 % |
181.44/181.54	c There are 1 assigned variables. 1 in cost function.
182.14/182.22	c core #1
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 8	Core Weight: 1	Total Weight: -473
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #2
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 7	Core Weight: 1	Total Weight: -472
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #3
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 9	Core Weight: 1	Total Weight: -471
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #4
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 10	Core Weight: 1	Total Weight: -470
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #5
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 10	Core Weight: 1	Total Weight: -469
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #6
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 11	Core Weight: 1	Total Weight: -468
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #7
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 11	Core Weight: 1	Total Weight: -467
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #8
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 12	Core Weight: 1	Total Weight: -466
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #9
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 13	Core Weight: 1	Total Weight: -465
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #10
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 12	Core Weight: 1	Total Weight: -464
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #11
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 13	Core Weight: 1	Total Weight: -463
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #12
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 16	Core Weight: 1	Total Weight: -462
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #13
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 14	Core Weight: 1	Total Weight: -461
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #14
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 18	Core Weight: 1	Total Weight: -460
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #15
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 18	Core Weight: 1	Total Weight: -459
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #16
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 18	Core Weight: 1	Total Weight: -458
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #17
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 20	Core Weight: 1	Total Weight: -457
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #18
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 18	Core Weight: 1	Total Weight: -456
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #19
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 19	Core Weight: 1	Total Weight: -455
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #20
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 18	Core Weight: 1	Total Weight: -454
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #21
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 23	Core Weight: 1	Total Weight: -453
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #22
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 19	Core Weight: 1	Total Weight: -452
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #23
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 22	Core Weight: 1	Total Weight: -451
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #24
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 15	Core Weight: 1	Total Weight: -450
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #25
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 15	Core Weight: 1	Total Weight: -449
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #26
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 11	Core Weight: 1	Total Weight: -448
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #27
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 10	Core Weight: 1	Total Weight: -447
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #28
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 7	Core Weight: 1	Total Weight: -446
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #29
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 11	Core Weight: 1	Total Weight: -445
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #30
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 11	Core Weight: 1	Total Weight: -444
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #31
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 9	Core Weight: 1	Total Weight: -443
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #32
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 8	Core Weight: 1	Total Weight: -442
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #33
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 9	Core Weight: 1	Total Weight: -441
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #34
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 10	Core Weight: 1	Total Weight: -440
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #35
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 11	Core Weight: 1	Total Weight: -439
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #36
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 11	Core Weight: 1	Total Weight: -438
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #37
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 14	Core Weight: 1	Total Weight: -437
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #38
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 18	Core Weight: 1	Total Weight: -436
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #39
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 19	Core Weight: 1	Total Weight: -435
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #40
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 19	Core Weight: 1	Total Weight: -434
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #41
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 20	Core Weight: 1	Total Weight: -433
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #42
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 22	Core Weight: 1	Total Weight: -432
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #43
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 21	Core Weight: 1	Total Weight: -431
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #44
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 12	Core Weight: 1	Total Weight: -430
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #45
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 8	Core Weight: 1	Total Weight: -429
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #46
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 9	Core Weight: 1	Total Weight: -428
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #47
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 8	Core Weight: 1	Total Weight: -427
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #48
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 11	Core Weight: 1	Total Weight: -426
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #49
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 10	Core Weight: 1	Total Weight: -425
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #50
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 9	Core Weight: 1	Total Weight: -424
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #51
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 12	Core Weight: 1	Total Weight: -423
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #52
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 12	Core Weight: 1	Total Weight: -422
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #53
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 11	Core Weight: 1	Total Weight: -421
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #54
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 15	Core Weight: 1	Total Weight: -420
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #55
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 14	Core Weight: 1	Total Weight: -419
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #56
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 15	Core Weight: 1	Total Weight: -418
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #57
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 16	Core Weight: 1	Total Weight: -417
182.14/182.22	c
182.14/182.22	c
182.14/182.22	c core #58
182.14/182.22	c 
182.14/182.22	c 
182.14/182.22	c Core size: 15	Core Weight: 1	Total Weight: -416
182.14/182.22	c
182.44/182.58	c
182.44/182.58	c core #59
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 19	Core Weight: 1	Total Weight: -415
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #60
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 18	Core Weight: 1	Total Weight: -414
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #61
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 20	Core Weight: 1	Total Weight: -413
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #62
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 21	Core Weight: 1	Total Weight: -412
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #63
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 21	Core Weight: 1	Total Weight: -411
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #64
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 18	Core Weight: 1	Total Weight: -410
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #65
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 17	Core Weight: 1	Total Weight: -409
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #66
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 14	Core Weight: 1	Total Weight: -408
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #67
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 10	Core Weight: 1	Total Weight: -407
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #68
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 8	Core Weight: 1	Total Weight: -406
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #69
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 7	Core Weight: 1	Total Weight: -405
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #70
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 12	Core Weight: 1	Total Weight: -404
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #71
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 10	Core Weight: 2	Total Weight: -402
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #72
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 15	Core Weight: 1	Total Weight: -401
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #73
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 11	Core Weight: 1	Total Weight: -400
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #74
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 14	Core Weight: 1	Total Weight: -399
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #75
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 15	Core Weight: 1	Total Weight: -398
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #76
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 17	Core Weight: 1	Total Weight: -397
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #77
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 17	Core Weight: 1	Total Weight: -396
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #78
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 19	Core Weight: 1	Total Weight: -395
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #79
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 21	Core Weight: 1	Total Weight: -394
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #80
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 18	Core Weight: 1	Total Weight: -393
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #81
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 16	Core Weight: 1	Total Weight: -392
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #82
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 18	Core Weight: 1	Total Weight: -391
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #83
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 17	Core Weight: 1	Total Weight: -390
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #84
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 14	Core Weight: 1	Total Weight: -389
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #85
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 12	Core Weight: 1	Total Weight: -388
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #86
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 12	Core Weight: 1	Total Weight: -387
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #87
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 5	Core Weight: 1	Total Weight: -386
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #88
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 4	Core Weight: 1	Total Weight: -385
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #89
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 10	Core Weight: 1	Total Weight: -384
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #90
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 8	Core Weight: 1	Total Weight: -383
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #91
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 8	Core Weight: 1	Total Weight: -382
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #92
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 6	Core Weight: 2	Total Weight: -380
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #93
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 6	Core Weight: 1	Total Weight: -379
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #94
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 5	Core Weight: 1	Total Weight: -378
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #95
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 9	Core Weight: 1	Total Weight: -377
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #96
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 12	Core Weight: 1	Total Weight: -376
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #97
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 10	Core Weight: 1	Total Weight: -375
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #98
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 8	Core Weight: 1	Total Weight: -374
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #99
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 12	Core Weight: 1	Total Weight: -373
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #100
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 14	Core Weight: 1	Total Weight: -372
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #101
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 14	Core Weight: 1	Total Weight: -371
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #102
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 14	Core Weight: 1	Total Weight: -370
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #103
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 19	Core Weight: 1	Total Weight: -369
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #104
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 17	Core Weight: 1	Total Weight: -368
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #105
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 14	Core Weight: 1	Total Weight: -367
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #106
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 13	Core Weight: 1	Total Weight: -366
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #107
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 13	Core Weight: 1	Total Weight: -365
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #108
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 11	Core Weight: 1	Total Weight: -364
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #109
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 13	Core Weight: 1	Total Weight: -363
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #110
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 9	Core Weight: 1	Total Weight: -362
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #111
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 4	Core Weight: 1	Total Weight: -361
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #112
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 5	Core Weight: 2	Total Weight: -359
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #113
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 7	Core Weight: 1	Total Weight: -358
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #114
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 5	Core Weight: 1	Total Weight: -357
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #115
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 6	Core Weight: 1	Total Weight: -356
182.44/182.58	c
182.44/182.58	c
182.44/182.58	c core #116
182.44/182.58	c 
182.44/182.58	c 
182.44/182.58	c Core size: 5	Core Weight: 1	Total Weight: -355
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #117
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 7	Core Weight: 1	Total Weight: -354
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #118
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 5	Core Weight: 1	Total Weight: -353
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #119
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 4	Core Weight: 2	Total Weight: -351
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #120
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 5	Core Weight: 1	Total Weight: -350
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #121
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 10	Core Weight: 2	Total Weight: -348
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #122
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 11	Core Weight: 1	Total Weight: -347
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #123
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 8	Core Weight: 1	Total Weight: -346
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #124
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 10	Core Weight: 1	Total Weight: -345
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #125
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 10	Core Weight: 1	Total Weight: -344
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #126
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 11	Core Weight: 1	Total Weight: -343
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #127
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 13	Core Weight: 1	Total Weight: -342
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #128
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 11	Core Weight: 1	Total Weight: -341
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #129
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 12	Core Weight: 1	Total Weight: -340
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #130
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 8	Core Weight: 1	Total Weight: -339
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #131
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 8	Core Weight: 1	Total Weight: -338
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #132
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 5	Core Weight: 1	Total Weight: -337
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #133
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 6	Core Weight: 1	Total Weight: -336
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #134
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 8	Core Weight: 1	Total Weight: -335
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #135
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 7	Core Weight: 1	Total Weight: -334
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #136
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 10	Core Weight: 1	Total Weight: -333
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #137
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 10	Core Weight: 1	Total Weight: -332
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #138
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 11	Core Weight: 1	Total Weight: -331
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #139
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 3	Core Weight: 1	Total Weight: -330
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #140
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 4	Core Weight: 1	Total Weight: -329
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #141
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 5	Core Weight: 2	Total Weight: -327
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #142
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 6	Core Weight: 1	Total Weight: -326
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #143
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 6	Core Weight: 1	Total Weight: -325
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #144
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 7	Core Weight: 1	Total Weight: -324
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #145
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 4	Core Weight: 1	Total Weight: -323
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #146
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 4	Core Weight: 2	Total Weight: -321
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #147
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 5	Core Weight: 2	Total Weight: -319
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #148
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 6	Core Weight: 1	Total Weight: -318
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #149
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 8	Core Weight: 1	Total Weight: -317
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #150
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 7	Core Weight: 1	Total Weight: -316
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #151
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 7	Core Weight: 1	Total Weight: -315
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #152
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 6	Core Weight: 1	Total Weight: -314
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #153
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 5	Core Weight: 1	Total Weight: -313
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #154
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 6	Core Weight: 1	Total Weight: -312
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #155
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 7	Core Weight: 1	Total Weight: -311
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #156
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 7	Core Weight: 1	Total Weight: -310
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #157
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 5	Core Weight: 1	Total Weight: -309
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #158
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 4	Core Weight: 1	Total Weight: -308
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #159
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 4	Core Weight: 1	Total Weight: -307
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #160
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 4	Core Weight: 1	Total Weight: -306
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #161
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 3	Core Weight: 1	Total Weight: -305
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #162
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 4	Core Weight: 2	Total Weight: -303
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #163
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 6	Core Weight: 1	Total Weight: -302
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #164
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 5	Core Weight: 1	Total Weight: -301
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #165
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 6	Core Weight: 1	Total Weight: -300
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #166
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 4	Core Weight: 2	Total Weight: -298
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #167
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 5	Core Weight: 1	Total Weight: -297
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #168
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 5	Core Weight: 1	Total Weight: -296
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #169
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 3	Core Weight: 1	Total Weight: -295
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #170
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 4	Core Weight: 1	Total Weight: -294
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #171
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 3	Core Weight: 2	Total Weight: -292
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #172
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 4	Core Weight: 2	Total Weight: -290
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #173
182.93/183.06	c 
182.93/183.06	c 
182.93/183.06	c Core size: 3	Core Weight: 1	Total Weight: -289
182.93/183.06	c
182.93/183.06	c
182.93/183.06	c core #174
182.93/183.06	c 
183.23/183.34	c 
183.23/183.34	c Core size: 5	Core Weight: 1	Total Weight: -288
183.23/183.34	c
183.23/183.34	c
183.23/183.34	c core #175
183.23/183.34	c 
183.23/183.34	c 
183.23/183.34	c Core size: 5	Core Weight: 1	Total Weight: -287
183.23/183.34	c
183.23/183.34	c
183.23/183.34	c core #176
183.23/183.34	c 
183.23/183.34	c 
183.23/183.34	c Core size: 3	Core Weight: 1	Total Weight: -286
183.23/183.34	c
183.23/183.34	c
183.23/183.34	c core #177
183.23/183.34	c 
183.23/183.34	c 
183.23/183.34	c Core size: 4	Core Weight: 1	Total Weight: -285
183.23/183.34	c
183.23/183.34	c
183.23/183.34	c core #178
183.23/183.34	c 
183.23/183.34	c 
183.23/183.34	c Core size: 5	Core Weight: 1	Total Weight: -284
183.23/183.34	c
183.23/183.34	c
183.23/183.34	c core #179
183.23/183.34	c 
183.23/183.34	c 
183.23/183.34	c Core size: 3	Core Weight: 1	Total Weight: -283
183.23/183.34	c
183.23/183.34	c
183.23/183.34	c core #180
183.23/183.34	c 
183.23/183.34	c 
183.23/183.34	c Core size: 3	Core Weight: 1	Total Weight: -282
183.23/183.34	c
183.23/183.34	c
183.23/183.34	c core #181
183.23/183.34	c 
183.23/183.34	c 
183.23/183.34	c Core size: 3	Core Weight: 1	Total Weight: -281
183.23/183.34	c
183.23/183.34	c
183.23/183.34	c core #182
183.23/183.34	c 
183.23/183.34	c 
183.23/183.34	c Core size: 21	Core Weight: 1	Total Weight: -280
183.23/183.34	c
183.23/183.34	c
183.23/183.34	c core #183
183.23/183.34	c 
183.23/183.34	c 
183.23/183.34	c Core size: 21	Core Weight: 1	Total Weight: -279
183.23/183.34	c
183.23/183.34	c
183.23/183.34	c core #184
183.23/183.34	c 
183.23/183.34	c 
183.23/183.34	c Core size: 11	Core Weight: 1	Total Weight: -278
183.23/183.34	c
183.23/183.34	c
183.23/183.34	c core #185
183.23/183.34	c 
183.23/183.34	c 
183.23/183.34	c Core size: 8	Core Weight: 1	Total Weight: -277
183.23/183.34	c
183.23/183.34	c
183.23/183.34	c core #186
183.23/183.34	c 
183.23/183.34	c 
183.23/183.34	c Core size: 11	Core Weight: 1	Total Weight: -276
183.23/183.34	c
183.23/183.34	c
183.23/183.34	c core #187
183.23/183.34	c 
183.23/183.34	c 
183.23/183.34	c Core size: 9	Core Weight: 1	Total Weight: -275
183.23/183.34	c
183.23/183.34	c
183.23/183.34	c core #188
183.23/183.34	c 
183.23/183.34	c 
183.23/183.34	c Core size: 6	Core Weight: 1	Total Weight: -274
183.23/183.34	c
183.23/183.34	c
183.23/183.34	c core #189
183.23/183.34	c 
183.23/183.34	c 
183.23/183.34	c Core size: 6	Core Weight: 1	Total Weight: -273
183.23/183.34	c
183.23/183.34	c
183.23/183.34	c core #190
183.23/183.34	c 
183.23/183.34	c 
183.23/183.34	c Core size: 5	Core Weight: 1	Total Weight: -272
183.23/183.34	c
183.23/183.34	c
183.23/183.34	c ============================[ Search Statistics ]==============================
183.23/183.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.23/183.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.23/183.34	c ===============================================================================
183.23/183.34	c |         0 |    2275     2670    18144 |     5000        0    nan |  0.000 % |
183.23/183.34	c ===============================================================================
183.23/183.37	c core #191
183.23/183.37	c 
183.23/183.37	c 
183.23/183.37	c Core size: 5	Core Weight: 1	Total Weight: -271
183.23/183.37	c
183.23/183.37	c
183.23/183.37	c ============================[ Search Statistics ]==============================
183.23/183.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.23/183.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.23/183.37	c ===============================================================================
183.23/183.37	c |         0 |    2278     2672    18152 |     5000        0    nan |  0.000 % |
183.23/183.37	c ===============================================================================
183.23/183.39	c core #192
183.23/183.39	c 
183.23/183.39	c 
183.23/183.39	c Core size: 10	Core Weight: 1	Total Weight: -270
183.23/183.39	c
183.23/183.39	c
183.23/183.39	c ============================[ Search Statistics ]==============================
183.23/183.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.23/183.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.23/183.39	c ===============================================================================
183.23/183.39	c |         0 |    2285     2675    18170 |     5000        0    nan |  0.000 % |
183.23/183.39	c ===============================================================================
183.33/183.41	c core #193
183.33/183.41	c 
183.33/183.41	c 
183.33/183.41	c Core size: 25	Core Weight: 1	Total Weight: -269
183.33/183.41	c
183.33/183.41	c
183.33/183.41	c ============================[ Search Statistics ]==============================
183.33/183.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.33/183.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.33/183.41	c ===============================================================================
183.33/183.41	c |         0 |    2307     2682    18229 |     5000        0    nan |  0.000 % |
183.33/183.42	c ===============================================================================
183.33/183.44	c core #194
183.33/183.44	c 
183.33/183.44	c 
183.33/183.44	c Core size: 10	Core Weight: 1	Total Weight: -268
183.33/183.44	c
183.33/183.44	c
183.33/183.44	c ============================[ Search Statistics ]==============================
183.33/183.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.33/183.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.33/183.44	c ===============================================================================
183.33/183.44	c |         0 |    2313     2683    18241 |     5000        0    nan |  0.000 % |
183.33/183.44	c ===============================================================================
183.33/183.46	c core #195
183.33/183.46	c 
183.33/183.46	c 
183.33/183.46	c Core size: 11	Core Weight: 1	Total Weight: -267
183.33/183.46	c
183.33/183.46	c
183.33/183.46	c ============================[ Search Statistics ]==============================
183.33/183.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.33/183.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.33/183.46	c ===============================================================================
183.33/183.46	c |         0 |    2319     2684    18253 |     5000        0    nan |  0.000 % |
183.33/183.47	c ===============================================================================
183.33/183.48	c core #196
183.33/183.48	c 
183.33/183.48	c 
183.33/183.48	c Core size: 9	Core Weight: 1	Total Weight: -266
183.33/183.48	c
183.33/183.48	c
183.33/183.48	c ============================[ Search Statistics ]==============================
183.33/183.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.33/183.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.33/183.48	c ===============================================================================
183.33/183.48	c |         0 |    2324     2687    18267 |     5000        0    nan |  0.000 % |
183.33/183.49	c ===============================================================================
183.43/183.51	c core #197
183.43/183.51	c 
183.43/183.51	c 
183.43/183.51	c Core size: 6	Core Weight: 1	Total Weight: -265
183.43/183.51	c
183.43/183.51	c
183.43/183.51	c ============================[ Search Statistics ]==============================
183.43/183.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.43/183.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.43/183.51	c ===============================================================================
183.43/183.51	c |         0 |    2327     2689    18275 |     5000        0    nan |  0.000 % |
183.43/183.52	c ===============================================================================
183.43/183.54	c core #198
183.43/183.54	c 
183.43/183.54	c 
183.43/183.54	c Core size: 7	Core Weight: 2	Total Weight: -263
183.43/183.54	c
183.43/183.54	c
183.43/183.54	c ============================[ Search Statistics ]==============================
183.43/183.54	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.43/183.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.43/183.54	c ===============================================================================
183.43/183.54	c |         0 |    2330     2690    18281 |     5000        0    nan |  0.000 % |
183.43/183.54	c ===============================================================================
183.43/183.56	c core #199
183.43/183.56	c 
183.43/183.56	c 
183.43/183.56	c Core size: 12	Core Weight: 1	Total Weight: -262
183.43/183.56	c
183.43/183.56	c
183.43/183.56	c ============================[ Search Statistics ]==============================
183.43/183.56	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.43/183.56	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.43/183.56	c ===============================================================================
183.43/183.56	c |         0 |    2336     2691    18293 |     5000        0    nan |  0.000 % |
183.43/183.57	c ===============================================================================
183.43/183.59	c core #200
183.43/183.59	c 
183.43/183.59	c 
183.43/183.59	c Core size: 16	Core Weight: 1	Total Weight: -261
183.43/183.59	c
183.43/183.59	c
183.43/183.59	c ============================[ Search Statistics ]==============================
183.43/183.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.43/183.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.43/183.59	c ===============================================================================
183.43/183.59	c |         0 |    2344     2692    18309 |     5000        0    nan |  0.000 % |
183.43/183.59	c ===============================================================================
183.54/183.61	c core #201
183.54/183.61	c 
183.54/183.61	c 
183.54/183.61	c Core size: 17	Core Weight: 1	Total Weight: -260
183.54/183.61	c
183.54/183.61	c
183.54/183.61	c ============================[ Search Statistics ]==============================
183.54/183.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.54/183.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.54/183.61	c ===============================================================================
183.54/183.61	c |         0 |    2357     2693    18335 |     5000        0    nan |  0.000 % |
183.54/183.62	c ===============================================================================
183.54/183.64	c core #202
183.54/183.64	c 
183.54/183.64	c 
183.54/183.64	c Core size: 10	Core Weight: 1	Total Weight: -259
183.54/183.64	c
183.54/183.64	c
183.54/183.64	c ============================[ Search Statistics ]==============================
183.54/183.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.54/183.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.54/183.64	c ===============================================================================
183.54/183.64	c |         0 |    2362     2694    18345 |     5000        0    nan |  0.000 % |
183.54/183.64	c ===============================================================================
183.54/183.66	c core #203
183.54/183.66	c 
183.54/183.66	c 
183.54/183.66	c Core size: 21	Core Weight: 1	Total Weight: -258
183.54/183.66	c
183.54/183.66	c
183.54/183.66	c ============================[ Search Statistics ]==============================
183.54/183.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.54/183.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.54/183.66	c ===============================================================================
183.54/183.66	c |         0 |    2379     2695    18379 |     5000        0    nan |  0.000 % |
183.54/183.67	c ===============================================================================
183.54/183.69	c core #204
183.54/183.69	c 
183.54/183.69	c 
183.54/183.69	c Core size: 24	Core Weight: 1	Total Weight: -257
183.54/183.69	c
183.54/183.69	c
183.54/183.69	c ============================[ Search Statistics ]==============================
183.54/183.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.54/183.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.54/183.69	c ===============================================================================
183.54/183.69	c |         0 |    2397     2696    18415 |     5000        0    nan |  0.000 % |
183.54/183.69	c ===============================================================================
183.64/183.72	c core #205
183.64/183.72	c 
183.64/183.72	c 
183.64/183.72	c Core size: 40	Core Weight: 1	Total Weight: -256
183.64/183.72	c
183.64/183.72	c
183.64/183.72	c ============================[ Search Statistics ]==============================
183.64/183.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.64/183.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.64/183.72	c ===============================================================================
183.64/183.72	c |         0 |    2420     2697    18461 |     5000        0    nan |  0.000 % |
183.64/183.72	c ===============================================================================
183.64/183.74	c core #206
183.64/183.74	c 
183.64/183.74	c 
183.64/183.74	c Core size: 23	Core Weight: 1	Total Weight: -255
183.64/183.74	c
183.64/183.74	c
183.64/183.74	c ============================[ Search Statistics ]==============================
183.64/183.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.64/183.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.64/183.74	c ===============================================================================
183.64/183.74	c |         0 |    2438     2698    18497 |     5000        0    nan |  0.000 % |
183.64/183.75	c ===============================================================================
183.64/183.77	c core #207
183.64/183.77	c 
183.64/183.77	c 
183.64/183.77	c Core size: 54	Core Weight: 1	Total Weight: -254
183.64/183.77	c
183.64/183.77	c
183.64/183.77	c ============================[ Search Statistics ]==============================
183.64/183.77	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.64/183.77	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.64/183.77	c ===============================================================================
183.64/183.77	c |         0 |    2487     2699    18595 |     5000        0    nan |  0.000 % |
183.64/183.78	c ===============================================================================
183.73/183.80	c core #208
183.73/183.80	c 
183.73/183.80	c 
183.73/183.80	c Core size: 74	Core Weight: 1	Total Weight: -253
183.73/183.80	c
183.73/183.80	c
183.73/183.80	c ============================[ Search Statistics ]==============================
183.73/183.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.73/183.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.73/183.80	c ===============================================================================
183.73/183.80	c |         0 |    2555     2705    18741 |     5000        0    nan |  0.000 % |
183.73/183.81	c ===============================================================================
183.73/183.83	c core #209
183.73/183.83	c 
183.73/183.83	c 
183.73/183.83	c Core size: 10	Core Weight: 1	Total Weight: -252
183.73/183.83	c
183.73/183.83	c
183.73/183.83	c ============================[ Search Statistics ]==============================
183.73/183.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.73/183.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.73/183.83	c ===============================================================================
183.73/183.83	c |         0 |    2567     2706    18765 |     5000        0    nan |  0.000 % |
183.73/183.83	c ===============================================================================
183.73/183.85	c core #210
183.73/183.85	c 
183.73/183.85	c 
183.73/183.85	c Core size: 16	Core Weight: 1	Total Weight: -251
183.73/183.85	c
183.73/183.85	c
183.73/183.85	c ============================[ Search Statistics ]==============================
183.73/183.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.73/183.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.73/183.85	c ===============================================================================
183.73/183.85	c |         0 |    2579     2707    18789 |     5000        0    nan |  0.000 % |
183.73/183.86	c ===============================================================================
183.73/183.88	c core #211
183.73/183.88	c 
183.73/183.88	c 
183.73/183.88	c Core size: 7	Core Weight: 1	Total Weight: -250
183.73/183.88	c
183.73/183.88	c
183.73/183.88	c ============================[ Search Statistics ]==============================
183.73/183.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.73/183.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.73/183.88	c ===============================================================================
183.73/183.88	c |         0 |    2584     2708    18799 |     5000        0    nan |  0.000 % |
183.73/183.90	c ===============================================================================
183.83/183.92	c core #212
183.83/183.92	c 
183.83/183.92	c 
183.83/183.92	c Core size: 56	Core Weight: 1	Total Weight: -249
183.83/183.92	c
183.83/183.92	c
183.83/183.92	c ============================[ Search Statistics ]==============================
183.83/183.92	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.83/183.92	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.83/183.92	c ===============================================================================
183.83/183.92	c |         0 |    2630     2709    18898 |     5000        0    nan |  0.000 % |
183.83/183.92	c ===============================================================================
183.83/183.94	c core #213
183.83/183.94	c 
183.83/183.94	c 
183.83/183.94	c Core size: 8	Core Weight: 1	Total Weight: -248
183.83/183.94	c
183.83/183.94	c
183.83/183.94	c ============================[ Search Statistics ]==============================
183.83/183.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.83/183.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.83/183.94	c ===============================================================================
183.83/183.94	c |         0 |    2635     2712    18912 |     5000        0    nan |  0.000 % |
183.83/183.95	c ===============================================================================
183.83/183.97	c core #214
183.83/183.97	c 
183.83/183.97	c 
183.83/183.97	c Core size: 14	Core Weight: 1	Total Weight: -247
183.83/183.97	c
183.83/183.97	c
183.83/183.97	c ============================[ Search Statistics ]==============================
183.83/183.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.83/183.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.83/183.97	c ===============================================================================
183.83/183.97	c |         0 |    2647     2722    18954 |     5000        0    nan |  0.000 % |
183.83/183.97	c ===============================================================================
183.83/184.00	c core #215
183.83/184.00	c 
183.83/184.00	c 
183.83/184.00	c Core size: 13	Core Weight: 1	Total Weight: -246
183.83/184.00	c
183.83/184.00	c
183.83/184.00	c ============================[ Search Statistics ]==============================
183.83/184.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.83/184.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.83/184.00	c ===============================================================================
183.83/184.00	c |         0 |    2655     2724    18972 |     5000        0    nan |  0.000 % |
183.94/184.01	c |       102 |    2650     2724    18972 |     5500      102     27 |  2.824 % |
183.94/184.01	c ===============================================================================
183.94/184.03	c core #216
183.94/184.03	c 
183.94/184.03	c 
183.94/184.03	c Core size: 71	Core Weight: 1	Total Weight: -245
183.94/184.03	c
183.94/184.03	c
183.94/184.03	c ============================[ Search Statistics ]==============================
183.94/184.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.94/184.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.94/184.03	c ===============================================================================
183.94/184.03	c |         0 |    2712     2726    19086 |     5000        0    nan |  0.000 % |
183.94/184.04	c ===============================================================================
183.94/184.06	c core #217
183.94/184.06	c 
183.94/184.06	c 
183.94/184.06	c Core size: 36	Core Weight: 1	Total Weight: -244
183.94/184.06	c
183.94/184.06	c
183.94/184.06	c ============================[ Search Statistics ]==============================
183.94/184.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.94/184.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.94/184.06	c ===============================================================================
183.94/184.06	c |         0 |    2744     2727    19160 |     5000        0    nan |  0.000 % |
183.94/184.07	c ===============================================================================
183.94/184.09	c core #218
183.94/184.09	c 
183.94/184.09	c 
183.94/184.09	c Core size: 17	Core Weight: 1	Total Weight: -243
183.94/184.09	c
183.94/184.09	c
183.94/184.09	c ============================[ Search Statistics ]==============================
183.94/184.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.94/184.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.94/184.09	c ===============================================================================
183.94/184.09	c |         0 |    2757     2728    19186 |     5000        0    nan |  0.000 % |
183.94/184.10	c ===============================================================================
184.03/184.12	c core #219
184.03/184.12	c 
184.03/184.12	c 
184.03/184.12	c Core size: 8	Core Weight: 2	Total Weight: -241
184.03/184.12	c
184.03/184.12	c
184.03/184.12	c ============================[ Search Statistics ]==============================
184.03/184.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.03/184.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.03/184.12	c ===============================================================================
184.03/184.12	c |         0 |    2762     2729    19196 |     5000        0    nan |  0.000 % |
184.03/184.13	c |       102 |    2762     2729    19196 |     5500      102     35 |  2.403 % |
184.03/184.13	c ===============================================================================
184.03/184.16	c core #220
184.03/184.16	c 
184.03/184.16	c 
184.03/184.16	c Core size: 54	Core Weight: 1	Total Weight: -240
184.03/184.16	c
184.03/184.16	c
184.03/184.16	c ============================[ Search Statistics ]==============================
184.03/184.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.03/184.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.03/184.16	c ===============================================================================
184.03/184.16	c |         0 |    2811     2730    19320 |     5000        0    nan |  0.000 % |
184.03/184.16	c ===============================================================================
184.03/184.19	c core #221
184.03/184.19	c 
184.03/184.19	c 
184.03/184.19	c Core size: 70	Core Weight: 1	Total Weight: -239
184.03/184.19	c
184.03/184.19	c
184.03/184.19	c ============================[ Search Statistics ]==============================
184.03/184.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.03/184.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.03/184.19	c ===============================================================================
184.03/184.19	c |         0 |    2875     2731    19468 |     5000        0    nan |  0.000 % |
184.03/184.19	c ===============================================================================
184.13/184.21	c core #222
184.13/184.21	c 
184.13/184.21	c 
184.13/184.21	c Core size: 11	Core Weight: 1	Total Weight: -238
184.13/184.21	c
184.13/184.21	c
184.13/184.21	c ============================[ Search Statistics ]==============================
184.13/184.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.13/184.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.13/184.21	c ===============================================================================
184.13/184.21	c |         0 |    2885     2732    19495 |     5000        0    nan |  0.000 % |
184.13/184.22	c ===============================================================================
184.13/184.24	c core #223
184.13/184.24	c 
184.13/184.24	c 
184.13/184.24	c Core size: 25	Core Weight: 1	Total Weight: -237
184.13/184.24	c
184.13/184.24	c
184.13/184.24	c ============================[ Search Statistics ]==============================
184.13/184.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.13/184.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.13/184.24	c ===============================================================================
184.13/184.24	c |         0 |    2909     2733    19563 |     5000        0    nan |  0.000 % |
184.13/184.25	c ===============================================================================
184.13/184.27	c core #224
184.13/184.27	c 
184.13/184.27	c 
184.13/184.27	c Core size: 11	Core Weight: 1	Total Weight: -236
184.13/184.27	c
184.13/184.27	c
184.13/184.27	c ============================[ Search Statistics ]==============================
184.13/184.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.13/184.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.13/184.27	c ===============================================================================
184.13/184.27	c |         0 |    2916     2734    19577 |     5000        0    nan |  0.000 % |
184.13/184.27	c ===============================================================================
184.13/184.29	c core #225
184.13/184.29	c 
184.13/184.29	c 
184.13/184.29	c Core size: 9	Core Weight: 1	Total Weight: -235
184.13/184.29	c
184.13/184.29	c
184.13/184.30	c ============================[ Search Statistics ]==============================
184.13/184.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.13/184.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.13/184.30	c ===============================================================================
184.13/184.30	c |         0 |    2922     2735    19589 |     5000        0    nan |  0.000 % |
184.23/184.30	c ===============================================================================
184.23/184.32	c core #226
184.23/184.32	c 
184.23/184.32	c 
184.23/184.32	c Core size: 21	Core Weight: 1	Total Weight: -234
184.23/184.32	c
184.23/184.32	c
184.23/184.32	c ============================[ Search Statistics ]==============================
184.23/184.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.23/184.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.23/184.32	c ===============================================================================
184.23/184.32	c |         0 |    2938     2738    19625 |     5000        0    nan |  0.000 % |
184.23/184.33	c ===============================================================================
184.23/184.35	c core #227
184.23/184.35	c 
184.23/184.35	c 
184.23/184.35	c Core size: 31	Core Weight: 1	Total Weight: -233
184.23/184.35	c
184.23/184.35	c
184.23/184.35	c ============================[ Search Statistics ]==============================
184.23/184.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.23/184.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.23/184.35	c ===============================================================================
184.23/184.35	c |         0 |    2970     2739    19729 |     5000        0    nan |  0.000 % |
184.23/184.35	c ===============================================================================
184.23/184.38	c core #228
184.23/184.38	c 
184.23/184.38	c 
184.23/184.38	c Core size: 14	Core Weight: 1	Total Weight: -232
184.23/184.38	c
184.23/184.38	c
184.23/184.38	c ============================[ Search Statistics ]==============================
184.23/184.38	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.23/184.38	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.23/184.38	c ===============================================================================
184.23/184.38	c |         0 |    2978     2740    19745 |     5000        0    nan |  0.000 % |
184.23/184.38	c ===============================================================================
184.33/184.40	c core #229
184.33/184.40	c 
184.33/184.40	c 
184.33/184.40	c Core size: 24	Core Weight: 1	Total Weight: -231
184.33/184.40	c
184.33/184.40	c
184.33/184.40	c ============================[ Search Statistics ]==============================
184.33/184.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.33/184.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.33/184.40	c ===============================================================================
184.33/184.40	c |         0 |    2997     2741    19788 |     5000        0    nan |  0.000 % |
184.33/184.41	c ===============================================================================
184.33/184.43	c core #230
184.33/184.43	c 
184.33/184.43	c 
184.33/184.43	c Core size: 19	Core Weight: 1	Total Weight: -230
184.33/184.43	c
184.33/184.43	c
184.33/184.43	c ============================[ Search Statistics ]==============================
184.33/184.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.33/184.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.33/184.43	c ===============================================================================
184.33/184.43	c |         0 |    3010     2742    19814 |     5000        0    nan |  0.000 % |
184.33/184.44	c ===============================================================================
184.33/184.47	c core #231
184.33/184.47	c 
184.33/184.47	c 
184.33/184.47	c Core size: 69	Core Weight: 1	Total Weight: -229
184.33/184.47	c
184.33/184.47	c
184.33/184.47	c ============================[ Search Statistics ]==============================
184.33/184.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.33/184.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.33/184.47	c ===============================================================================
184.33/184.47	c |         0 |    3067     2743    19935 |     5000        0    nan |  0.000 % |
184.33/184.47	c ===============================================================================
184.33/184.49	c core #232
184.33/184.49	c 
184.33/184.49	c 
184.33/184.49	c Core size: 34	Core Weight: 1	Total Weight: -228
184.33/184.49	c
184.33/184.49	c
184.33/184.49	c ============================[ Search Statistics ]==============================
184.33/184.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.33/184.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.33/184.49	c ===============================================================================
184.33/184.49	c |         0 |    3095     2745    19997 |     5000        0    nan |  0.000 % |
184.43/184.50	c ===============================================================================
184.43/184.52	c core #233
184.43/184.52	c 
184.43/184.52	c 
184.43/184.52	c Core size: 18	Core Weight: 1	Total Weight: -227
184.43/184.52	c
184.43/184.52	c
184.43/184.52	c ============================[ Search Statistics ]==============================
184.43/184.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.43/184.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.43/184.52	c ===============================================================================
184.43/184.52	c |         0 |    3108     2749    20029 |     5000        0    nan |  0.000 % |
184.43/184.53	c ===============================================================================
184.43/184.55	c core #234
184.43/184.55	c 
184.43/184.55	c 
184.43/184.55	c Core size: 21	Core Weight: 1	Total Weight: -226
184.43/184.55	c
184.43/184.55	c
184.43/184.55	c ============================[ Search Statistics ]==============================
184.43/184.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.43/184.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.43/184.55	c ===============================================================================
184.43/184.55	c |         0 |    3125     2750    20074 |     5000        0    nan |  0.000 % |
184.43/184.56	c |       100 |    3120     2750    20074 |     5500      100     24 |  1.453 % |
184.43/184.57	c |       250 |    3120     2750    20074 |     6050      250     22 |  1.453 % |
184.43/184.58	c ===============================================================================
184.53/184.60	c core #235
184.53/184.60	c 
184.53/184.60	c 
184.53/184.60	c Core size: 63	Core Weight: 1	Total Weight: -225
184.53/184.60	c
184.53/184.60	c
184.53/184.60	c ============================[ Search Statistics ]==============================
184.53/184.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.53/184.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.53/184.60	c ===============================================================================
184.53/184.60	c |         0 |    3166     2751    20156 |     5000        0    nan |  0.000 % |
184.53/184.61	c ===============================================================================
184.53/184.63	c core #236
184.53/184.63	c 
184.53/184.63	c 
184.53/184.63	c Core size: 44	Core Weight: 1	Total Weight: -224
184.53/184.63	c
184.53/184.63	c
184.53/184.63	c ============================[ Search Statistics ]==============================
184.53/184.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.53/184.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.53/184.63	c ===============================================================================
184.53/184.63	c |         0 |    3200     2752    20224 |     5000        0    nan |  0.000 % |
184.53/184.64	c ===============================================================================
184.53/184.66	c core #237
184.53/184.66	c 
184.53/184.66	c 
184.53/184.66	c Core size: 40	Core Weight: 1	Total Weight: -223
184.53/184.66	c
184.53/184.66	c
184.53/184.66	c ============================[ Search Statistics ]==============================
184.53/184.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.53/184.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.53/184.66	c ===============================================================================
184.53/184.66	c |         0 |    3236     2753    20303 |     5000        0    nan |  0.000 % |
184.53/184.67	c ===============================================================================
184.53/184.69	c core #238
184.53/184.69	c 
184.53/184.69	c 
184.53/184.69	c Core size: 23	Core Weight: 1	Total Weight: -222
184.53/184.69	c
184.53/184.69	c
184.53/184.69	c ============================[ Search Statistics ]==============================
184.53/184.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.53/184.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.53/184.69	c ===============================================================================
184.53/184.69	c |         0 |    3252     2754    20335 |     5000        0    nan |  0.000 % |
184.64/184.70	c ===============================================================================
184.64/184.72	c core #239
184.64/184.72	c 
184.64/184.72	c 
184.64/184.72	c Core size: 65	Core Weight: 1	Total Weight: -221
184.64/184.72	c
184.64/184.72	c
184.64/184.72	c ============================[ Search Statistics ]==============================
184.64/184.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.64/184.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.64/184.72	c ===============================================================================
184.64/184.72	c |         0 |    3305     2755    20473 |     5000        0    nan |  0.000 % |
184.64/184.73	c ===============================================================================
184.64/184.75	c core #240
184.64/184.75	c 
184.64/184.75	c 
184.64/184.75	c Core size: 89	Core Weight: 1	Total Weight: -220
184.64/184.75	c
184.64/184.75	c
184.64/184.75	c ============================[ Search Statistics ]==============================
184.64/184.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.64/184.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.64/184.75	c ===============================================================================
184.64/184.75	c |         0 |    3392     2756    20672 |     5000        0    nan |  0.000 % |
184.64/184.76	c ===============================================================================
184.64/184.78	c core #241
184.64/184.78	c 
184.64/184.78	c 
184.64/184.78	c Core size: 22	Core Weight: 1	Total Weight: -219
184.64/184.78	c
184.64/184.78	c
184.64/184.78	c ============================[ Search Statistics ]==============================
184.64/184.78	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.64/184.78	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.64/184.78	c ===============================================================================
184.64/184.78	c |         0 |    3408     2757    20704 |     5000        0    nan |  0.000 % |
184.64/184.79	c ===============================================================================
184.74/184.81	c core #242
184.74/184.81	c 
184.74/184.81	c 
184.74/184.81	c Core size: 36	Core Weight: 1	Total Weight: -218
184.74/184.81	c
184.74/184.81	c
184.74/184.81	c ============================[ Search Statistics ]==============================
184.74/184.81	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.74/184.81	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.74/184.81	c ===============================================================================
184.74/184.81	c |         0 |    3437     2758    20762 |     5000        0    nan |  0.000 % |
184.74/184.82	c ===============================================================================
184.74/184.84	c core #243
184.74/184.84	c 
184.74/184.84	c 
184.74/184.84	c Core size: 65	Core Weight: 1	Total Weight: -217
184.74/184.84	c
184.74/184.84	c
184.74/184.84	c ============================[ Search Statistics ]==============================
184.74/184.84	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.74/184.84	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.74/184.84	c ===============================================================================
184.74/184.84	c |         0 |    3501     2759    20915 |     5000        0    nan |  0.000 % |
184.74/184.85	c ===============================================================================
184.74/184.87	c core #244
184.74/184.87	c 
184.74/184.87	c 
184.74/184.87	c Core size: 84	Core Weight: 1	Total Weight: -216
184.74/184.87	c
184.74/184.87	c
184.74/184.87	c ============================[ Search Statistics ]==============================
184.74/184.87	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.74/184.87	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.74/184.87	c ===============================================================================
184.74/184.87	c |         0 |    3579     2761    21100 |     5000        0    nan |  0.000 % |
184.74/184.88	c |       101 |    3579     2761    21100 |     5500      101     13 |  0.417 % |
184.74/184.89	c ===============================================================================
184.83/184.91	c core #245
184.83/184.91	c 
184.83/184.91	c 
184.83/184.91	c Core size: 88	Core Weight: 1	Total Weight: -215
184.83/184.91	c
184.83/184.91	c
184.83/184.91	c ============================[ Search Statistics ]==============================
184.83/184.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.83/184.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.83/184.91	c ===============================================================================
184.83/184.91	c |         0 |    3663     2762    21268 |     5000        0    nan |  0.000 % |
184.83/184.92	c ===============================================================================
184.83/184.94	c core #246
184.83/184.94	c 
184.83/184.94	c 
184.83/184.94	c Core size: 41	Core Weight: 1	Total Weight: -214
184.83/184.94	c
184.83/184.94	c
184.83/184.94	c ============================[ Search Statistics ]==============================
184.83/184.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.83/184.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.83/184.94	c ===============================================================================
184.83/184.94	c |         0 |    3698     2763    21365 |     5000        0    nan |  0.000 % |
184.83/184.95	c ===============================================================================
184.83/184.98	c core #247
184.83/184.98	c 
184.83/184.98	c 
184.83/184.98	c Core size: 41	Core Weight: 1	Total Weight: -213
184.83/184.98	c
184.83/184.98	c
184.83/184.98	c ============================[ Search Statistics ]==============================
184.83/184.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.83/184.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.83/184.98	c ===============================================================================
184.83/184.98	c |         0 |    3728     2764    21425 |     5000        0    nan |  0.000 % |
184.83/184.99	c |       102 |    3728     2764    21425 |     5500      102     23 |  0.241 % |
184.83/184.99	c ===============================================================================
184.93/185.02	c core #248
184.93/185.02	c 
184.93/185.02	c 
184.93/185.02	c Core size: 169	Core Weight: 1	Total Weight: -212
184.93/185.02	c
184.93/185.02	c
184.93/185.02	c ============================[ Search Statistics ]==============================
184.93/185.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.93/185.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.93/185.02	c ===============================================================================
184.93/185.02	c |         0 |    3891     2766    21750 |     5000        0    nan |  0.000 % |
184.93/185.03	c |       100 |    3891     2766    21750 |     5500      100     42 |  0.180 % |
184.93/185.05	c |       251 |    3890     2766    21750 |     6050      251     36 |  0.205 % |
184.93/185.06	c ===============================================================================
184.93/185.08	c core #249
184.93/185.08	c 
184.93/185.08	c 
184.93/185.08	c Core size: 103	Core Weight: 1	Total Weight: -211
184.93/185.08	c
184.93/185.08	c
184.93/185.08	c ============================[ Search Statistics ]==============================
184.93/185.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.93/185.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.93/185.09	c ===============================================================================
184.93/185.09	c |         0 |    3991     2768    21949 |     5000        0    nan |  0.000 % |
185.03/185.10	c |       100 |    3984     2768    21949 |     5500      100      9 |  0.800 % |
185.03/185.10	c ===============================================================================
185.03/185.13	c core #250
185.03/185.13	c 
185.03/185.13	c 
185.03/185.13	c Core size: 114	Core Weight: 1	Total Weight: -210
185.03/185.13	c
185.03/185.13	c
185.03/185.13	c ============================[ Search Statistics ]==============================
185.03/185.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.03/185.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.03/185.13	c ===============================================================================
185.03/185.13	c |         0 |    4084     2769    22135 |     5000        0    nan |  0.000 % |
185.03/185.14	c ===============================================================================
185.03/185.16	c core #251
185.03/185.16	c 
185.03/185.16	c 
185.03/185.16	c Core size: 96	Core Weight: 1	Total Weight: -209
185.03/185.16	c
185.03/185.16	c
185.03/185.16	c ============================[ Search Statistics ]==============================
185.03/185.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.03/185.16	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.03/185.16	c ===============================================================================
185.03/185.16	c |         0 |    4167     2772    22320 |     5000        0    nan |  0.000 % |
185.03/185.18	c |       100 |    4164     2772    22320 |     5500      100     10 |  0.240 % |
185.03/185.18	c ===============================================================================
185.13/185.20	c core #252
185.13/185.20	c 
185.13/185.20	c 
185.13/185.20	c Core size: 50	Core Weight: 1	Total Weight: -208
185.13/185.20	c
185.13/185.20	c
185.13/185.20	c ============================[ Search Statistics ]==============================
185.13/185.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.13/185.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.13/185.20	c ===============================================================================
185.13/185.20	c |         0 |    4207     2773    22400 |     5000        0    nan |  0.000 % |
185.13/185.21	c ===============================================================================
185.13/185.24	c core #253
185.13/185.24	c 
185.13/185.24	c 
185.13/185.24	c Core size: 85	Core Weight: 1	Total Weight: -207
185.13/185.24	c
185.13/185.24	c
185.13/185.24	c ============================[ Search Statistics ]==============================
185.13/185.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.13/185.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.13/185.24	c ===============================================================================
185.13/185.24	c |         0 |    4275     2779    22562 |     5000        0    nan |  0.000 % |
185.13/185.25	c ===============================================================================
185.13/185.28	c core #254
185.13/185.28	c 
185.13/185.28	c 
185.13/185.28	c Core size: 63	Core Weight: 1	Total Weight: -206
185.13/185.28	c
185.13/185.28	c
185.13/185.28	c ============================[ Search Statistics ]==============================
185.13/185.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.13/185.28	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.13/185.28	c ===============================================================================
185.13/185.28	c |         0 |    4334     2780    22687 |     5000        0    nan |  0.000 % |
185.13/185.29	c |       100 |    4334     2780    22687 |     5500      100     21 |  0.046 % |
185.23/185.30	c |       256 |    4334     2780    22687 |     6050      256     21 |  0.046 % |
185.23/185.31	c ===============================================================================
185.23/185.34	c core #255
185.23/185.34	c 
185.23/185.34	c 
185.23/185.34	c Core size: 25	Core Weight: 1	Total Weight: -205
185.23/185.34	c
185.23/185.34	c
185.23/185.34	c ============================[ Search Statistics ]==============================
185.23/185.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.23/185.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.23/185.34	c ===============================================================================
185.23/185.34	c |         0 |    4355     2781    22729 |     5000        0    nan |  0.000 % |
185.23/185.35	c ===============================================================================
185.23/185.37	c core #256
185.23/185.37	c 
185.23/185.37	c 
185.23/185.37	c Core size: 54	Core Weight: 1	Total Weight: -204
185.23/185.37	c
185.23/185.37	c
185.23/185.37	c ============================[ Search Statistics ]==============================
185.23/185.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.23/185.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.23/185.37	c ===============================================================================
185.23/185.37	c |         0 |    4400     2782    22819 |     5000        0    nan |  0.000 % |
185.23/185.39	c |       101 |    4399     2782    22819 |     5500      101     12 |  0.068 % |
185.23/185.39	c ===============================================================================
185.33/185.42	c core #257
185.33/185.42	c 
185.33/185.42	c 
185.33/185.42	c Core size: 90	Core Weight: 1	Total Weight: -203
185.33/185.42	c
185.33/185.42	c
185.33/185.42	c ============================[ Search Statistics ]==============================
185.33/185.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.33/185.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.33/185.42	c ===============================================================================
185.33/185.42	c |         0 |    4478     2783    22975 |     5000        0    nan |  0.000 % |
185.33/185.43	c |       104 |    4478     2783    22975 |     5500      104     22 |  0.045 % |
185.33/185.44	c ===============================================================================
185.33/185.47	c core #258
185.33/185.47	c 
185.33/185.47	c 
185.33/185.47	c Core size: 51	Core Weight: 1	Total Weight: -202
185.33/185.47	c
185.33/185.47	c
185.33/185.47	c ============================[ Search Statistics ]==============================
185.33/185.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.33/185.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.33/185.47	c ===============================================================================
185.33/185.47	c |         0 |    4527     2784    23073 |     5000        0    nan |  0.000 % |
185.33/185.48	c |       101 |    4527     2784    23073 |     5500      101     23 |  0.044 % |
185.33/185.48	c ===============================================================================
185.43/185.51	c core #259
185.43/185.51	c 
185.43/185.51	c 
185.43/185.51	c Core size: 31	Core Weight: 1	Total Weight: -201
185.43/185.51	c
185.43/185.51	c
185.43/185.51	c ============================[ Search Statistics ]==============================
185.43/185.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.43/185.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.43/185.51	c ===============================================================================
185.43/185.51	c |         0 |    4553     2785    23125 |     5000        0    nan |  0.000 % |
185.43/185.53	c |       101 |    4553     2785    23125 |     5500      101     32 |  0.044 % |
185.43/185.54	c |       252 |    4550     2785    23125 |     6050      251     25 |  0.110 % |
185.43/185.55	c ===============================================================================
185.43/185.57	c core #260
185.43/185.57	c 
185.43/185.57	c 
185.43/185.57	c Core size: 11	Core Weight: 1	Total Weight: -200
185.43/185.57	c
185.43/185.57	c
185.43/185.57	c ============================[ Search Statistics ]==============================
185.43/185.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.43/185.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.43/185.57	c ===============================================================================
185.43/185.57	c |         0 |    4563     2786    23145 |     5000        0    nan |  0.000 % |
185.43/185.59	c |       100 |    4563     2786    23145 |     5500      100     26 |  0.044 % |
185.53/185.60	c |       250 |    4560     2786    23145 |     6050      250     25 |  0.964 % |
185.53/185.63	c |       475 |    4519     2786    23145 |     6655      471     23 |  1.008 % |
185.53/185.66	c ===============================================================================
185.53/185.69	c core #261
185.53/185.69	c 
185.53/185.69	c 
185.53/185.69	c Core size: 224	Core Weight: 1	Total Weight: -199
185.53/185.69	c
185.53/185.69	c
185.53/185.69	c ============================[ Search Statistics ]==============================
185.53/185.69	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.53/185.69	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.53/185.69	c ===============================================================================
185.53/185.69	c |         0 |    4751     2787    23521 |     5000        0    nan |  0.000 % |
185.63/185.70	c ===============================================================================
185.63/185.72	c core #262
185.63/185.72	c 
185.63/185.72	c 
185.63/185.72	c Core size: 110	Core Weight: 1	Total Weight: -198
185.63/185.72	c
185.63/185.72	c
185.63/185.72	c ============================[ Search Statistics ]==============================
185.63/185.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.63/185.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.63/185.72	c ===============================================================================
185.63/185.72	c |         0 |    4854     2790    23731 |     5000        0    nan |  0.000 % |
185.63/185.74	c |       104 |    4854     2790    23731 |     5500      104     32 |  0.041 % |
185.63/185.75	c |       254 |    4854     2790    23731 |     6050      254     28 |  0.041 % |
185.63/185.77	c |       482 |    4854     2790    23731 |     6655      482     26 |  0.041 % |
185.63/185.79	c |       821 |    4854     2790    23731 |     7320      821     25 |  0.041 % |
185.74/185.82	c |      1327 |    4854     2790    23731 |     8052     1327     28 |  0.041 % |
185.74/185.90	c |      2086 |    4854     2790    23731 |     8857     2086     30 |  0.041 % |
185.93/186.02	c ===============================================================================
185.93/186.05	c core #263
185.93/186.05	c 
185.93/186.05	c 
185.93/186.05	c Core size: 69	Core Weight: 1	Total Weight: -197
185.93/186.05	c
185.93/186.05	c
185.93/186.05	c ============================[ Search Statistics ]==============================
185.93/186.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.93/186.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.93/186.05	c ===============================================================================
185.93/186.05	c |         0 |    4919     2791    23861 |     5000        0    nan |  0.000 % |
185.93/186.07	c |       100 |    4919     2791    23861 |     5500      100     14 |  0.041 % |
185.93/186.08	c |       252 |    4919     2791    23861 |     6050      252     10 |  0.041 % |
185.93/186.09	c |       477 |    4919     2791    23861 |     6655      477     10 |  0.041 % |
186.03/186.12	c |       815 |    4919     2791    23861 |     7320      815     11 |  0.041 % |
186.03/186.15	c ===============================================================================
186.03/186.19	c core #264
186.03/186.19	c 
186.03/186.19	c 
186.03/186.19	c Core size: 151	Core Weight: 1	Total Weight: -196
186.03/186.19	c
186.03/186.19	c
186.03/186.19	c ============================[ Search Statistics ]==============================
186.03/186.19	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.03/186.19	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.03/186.19	c ===============================================================================
186.03/186.19	c |         0 |    5055     2792    24133 |     5000        0    nan |  0.000 % |
186.13/186.21	c |       102 |    5055     2792    24133 |     5500      102     31 |  0.040 % |
186.13/186.21	c |       253 |    5055     2792    24133 |     6050      253     21 |  0.040 % |
186.13/186.23	c |       479 |    5053     2792    24133 |     6655      479     15 |  0.099 % |
186.13/186.24	c ===============================================================================
186.13/186.27	c core #265
186.13/186.27	c 
186.13/186.27	c 
186.13/186.27	c Core size: 36	Core Weight: 1	Total Weight: -195
186.13/186.27	c
186.13/186.27	c
186.13/186.27	c ============================[ Search Statistics ]==============================
186.13/186.27	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.13/186.27	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.13/186.27	c ===============================================================================
186.13/186.27	c |         0 |    5084     2793    24191 |     5000        0    nan |  0.000 % |
186.13/186.29	c |       101 |    5084     2793    24191 |     5500      101     16 |  0.039 % |
186.23/186.30	c |       251 |    5084     2793    24191 |     6050      251     20 |  0.039 % |
186.23/186.32	c |       477 |    5084     2793    24191 |     6655      477     20 |  0.039 % |
186.23/186.35	c |       814 |    5075     2793    24191 |     7320      813     17 |  0.216 % |
186.23/186.36	c ===============================================================================
186.23/186.39	c core #266
186.23/186.39	c 
186.23/186.39	c 
186.23/186.39	c Core size: 30	Core Weight: 1	Total Weight: -194
186.23/186.39	c
186.23/186.39	c
186.23/186.39	c ============================[ Search Statistics ]==============================
186.23/186.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
186.23/186.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
186.23/186.39	c ===============================================================================
186.23/186.39	c |         0 |    5109     2794    24241 |     5000        0    nan |  0.000 % |
186.33/186.40	c |       101 |    5109     2794    24241 |     5500      101     18 |  0.039 % |
186.33/186.41	c |       251 |    5109     2794    24241 |     6050      251     17 |  0.039 % |
186.33/186.42	c |       477 |    5109     2794    24241 |     6655      477     17 |  0.039 % |
186.33/186.44	c |       815 |    5109     2794    24241 |     7320      815     16 |  0.039 % |
186.33/186.49	c |      1321 |    5109     2794    24241 |     8052     1321     18 |  0.039 % |
186.42/186.55	c |      2086 |    5109     2794    24241 |     8857     2086     19 |  0.039 % |
186.53/186.67	c |      3227 |    5109     2794    24241 |     9743     3227     21 |  0.039 % |
186.83/186.92	c |      4937 |    5109     2794    24241 |    10717     4937     22 |  0.039 % |
187.02/187.11	c ===============================================================================
187.12/187.23	c core #267
187.12/187.23	c 
187.12/187.23	c 
187.12/187.23	c Core size: 88	Core Weight: 1	Total Weight: -193
187.12/187.23	c
187.12/187.23	c
187.12/187.23	c ============================[ Search Statistics ]==============================
187.12/187.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.12/187.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.12/187.23	c ===============================================================================
187.12/187.23	c |         0 |    5194     2795    24411 |     5000        0    nan |  0.000 % |
187.12/187.25	c |       101 |    5194     2795    24411 |     5500      101     31 |  0.038 % |
187.12/187.26	c |       253 |    5194     2795    24411 |     6050      253     26 |  0.038 % |
187.12/187.28	c |       483 |    5194     2795    24411 |     6655      483     26 |  0.038 % |
187.23/187.31	c |       821 |    5194     2795    24411 |     7320      821     22 |  0.038 % |
187.23/187.36	c |      1327 |    5194     2795    24411 |     8052     1327     22 |  0.039 % |
187.33/187.45	c |      2087 |    5194     2795    24411 |     8857     2087     22 |  0.038 % |
187.33/187.45	c ===============================================================================
187.33/187.48	c core #268
187.33/187.48	c 
187.33/187.48	c 
187.33/187.48	c Core size: 16	Core Weight: 1	Total Weight: -192
187.33/187.48	c
187.33/187.48	c
187.33/187.48	c ============================[ Search Statistics ]==============================
187.33/187.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.33/187.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.33/187.48	c ===============================================================================
187.33/187.48	c |         0 |    5206     2796    24435 |     5000        0    nan |  0.000 % |
187.42/187.50	c |       102 |    5206     2796    24435 |     5500      102     42 |  0.038 % |
187.42/187.51	c ===============================================================================
187.42/187.53	c core #269
187.42/187.53	c 
187.42/187.53	c 
187.42/187.53	c Core size: 53	Core Weight: 1	Total Weight: -191
187.42/187.53	c
187.42/187.53	c
187.42/187.53	c ============================[ Search Statistics ]==============================
187.42/187.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
187.42/187.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
187.42/187.53	c ===============================================================================
187.42/187.53	c |         0 |    5255     2797    24533 |     5000        0    nan |  0.000 % |
187.42/187.55	c |       101 |    5255     2797    24533 |     5500      101     23 |  0.038 % |
187.42/187.56	c |       251 |    5252     2797    24533 |     6050      251     21 |  0.095 % |
187.42/187.57	c |       478 |    5252     2797    24533 |     6655      478     21 |  0.095 % |
187.42/187.59	c |       815 |    5252     2797    24533 |     7320      814     22 |  0.095 % |
187.53/187.62	c |      1326 |    5251     2797    24533 |     8052     1325     23 |  0.114 % |
187.63/187.70	c |      2087 |    5250     2797    24533 |     8857     2084     26 |  0.133 % |
187.73/187.84	c |      3226 |    5250     2797    24533 |     9743     3223     33 |  0.133 % |
187.93/188.08	c |      4934 |    5250     2797    24533 |    10717     4930     37 |  0.133 % |
188.23/188.39	c ===============================================================================
188.43/188.52	c core #270
188.43/188.52	c 
188.43/188.52	c 
188.43/188.52	c Core size: 68	Core Weight: 1	Total Weight: -190
188.43/188.52	c
188.43/188.52	c
188.43/188.52	c ============================[ Search Statistics ]==============================
188.43/188.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
188.43/188.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
188.43/188.52	c ===============================================================================
188.43/188.52	c |         0 |    5314     2798    24651 |     5000        0    nan |  0.000 % |
188.43/188.54	c |       103 |    5314     2798    24651 |     5500      103     35 |  0.038 % |
188.43/188.54	c |       253 |    5314     2798    24651 |     6050      253     23 |  0.038 % |
188.43/188.56	c |       478 |    5314     2798    24651 |     6655      478     23 |  0.038 % |
188.43/188.58	c |       816 |    5314     2798    24651 |     7320      816     22 |  0.038 % |
188.53/188.62	c |      1322 |    5314     2798    24651 |     8052     1322     25 |  0.038 % |
188.53/188.68	c |      2082 |    5314     2798    24651 |     8857     2082     22 |  0.038 % |
188.73/188.82	c |      3222 |    5314     2798    24651 |     9743     3222     27 |  0.038 % |
188.93/189.01	c |      4930 |    5314     2798    24651 |    10717     4930     27 |  0.038 % |
189.22/189.37	c |      7493 |    5314     2798    24651 |    11789     7493     31 |  0.038 % |
190.14/190.21	c |     11337 |    5311     2798    24651 |    12968    10615     34 |  0.094 % |
191.62/191.71	c |     17103 |    5308     2798    24651 |    14265     9349     43 |  0.151 % |
193.22/193.39	c ===============================================================================
193.33/193.45	c core #271
193.33/193.45	c 
193.33/193.45	c 
193.33/193.45	c Core size: 196	Core Weight: 1	Total Weight: -189
193.33/193.45	c
193.33/193.45	c
193.33/193.45	c ============================[ Search Statistics ]==============================
193.33/193.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
193.33/193.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
193.33/193.45	c ===============================================================================
193.33/193.45	c |         0 |    5490     2800    25005 |     5000        0    nan |  0.000 % |
193.33/193.48	c |       100 |    5490     2800    25005 |     5500      100     22 |  0.036 % |
193.33/193.48	c |       251 |    5490     2800    25005 |     6050      251     19 |  0.036 % |
193.43/193.50	c |       478 |    5490     2800    25005 |     6655      478     17 |  0.036 % |
193.43/193.53	c |       816 |    5490     2800    25005 |     7320      816     21 |  0.036 % |
193.43/193.57	c |      1322 |    5490     2800    25005 |     8052     1322     20 |  0.036 % |
193.53/193.65	c |      2084 |    5490     2800    25005 |     8857     2084     18 |  0.036 % |
193.62/193.77	c |      3224 |    5490     2800    25005 |     9743     3224     19 |  0.036 % |
193.83/193.94	c |      4932 |    5490     2800    25005 |    10717     4932     18 |  0.036 % |
194.13/194.29	c |      7497 |    5488     2800    25005 |    11789     6798     17 |  0.073 % |
194.32/194.49	c ===============================================================================
194.53/194.62	c core #272
194.53/194.62	c 
194.53/194.62	c 
194.53/194.62	c Core size: 158	Core Weight: 1	Total Weight: -188
194.53/194.62	c
194.53/194.62	c
194.53/194.62	c ============================[ Search Statistics ]==============================
194.53/194.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.53/194.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.53/194.62	c ===============================================================================
194.53/194.62	c |         0 |    5643     2801    25311 |     5000        0    nan |  0.000 % |
194.53/194.64	c |       100 |    5643     2801    25311 |     5500      100     23 |  0.035 % |
194.53/194.65	c |       250 |    5643     2801    25311 |     6050      250     28 |  0.035 % |
194.53/194.67	c |       476 |    5643     2801    25311 |     6655      476     31 |  0.035 % |
194.53/194.69	c |       815 |    5643     2801    25311 |     7320      815     29 |  0.035 % |
194.63/194.73	c |      1322 |    5643     2801    25311 |     8052     1322     25 |  0.035 % |
194.63/194.76	c ===============================================================================
194.73/194.80	c core #273
194.73/194.80	c 
194.73/194.80	c 
194.73/194.80	c Core size: 64	Core Weight: 1	Total Weight: -187
194.73/194.80	c
194.73/194.80	c
194.73/194.80	c ============================[ Search Statistics ]==============================
194.73/194.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.73/194.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.73/194.80	c ===============================================================================
194.73/194.80	c |         0 |    5705     2802    25435 |     5000        0    nan |  0.000 % |
194.73/194.81	c |       101 |    5705     2802    25435 |     5500      101     25 |  0.035 % |
194.73/194.83	c |       258 |    5705     2802    25435 |     6050      258     17 |  0.035 % |
194.73/194.85	c |       483 |    5705     2802    25435 |     6655      483     14 |  0.035 % |
194.73/194.88	c |       822 |    5701     2802    25435 |     7320      516     15 |  0.105 % |
194.82/194.92	c |      1331 |    5701     2802    25435 |     8052     1025     18 |  0.105 % |
194.93/195.00	c |      2090 |    5693     2802    25435 |     8857     1776     18 |  0.245 % |
194.93/195.02	c ===============================================================================
194.93/195.07	c core #274
194.93/195.07	c 
194.93/195.07	c 
194.93/195.07	c Core size: 116	Core Weight: 1	Total Weight: -186
194.93/195.07	c
194.93/195.07	c
194.93/195.07	c ============================[ Search Statistics ]==============================
194.93/195.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
194.93/195.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
194.93/195.07	c ===============================================================================
194.93/195.07	c |         0 |    5819     2803    25663 |     5000        0    nan |  0.000 % |
194.93/195.09	c |       100 |    5819     2803    25663 |     5500      100     16 |  0.034 % |
194.93/195.09	c |       253 |    5819     2803    25663 |     6050      253     20 |  0.034 % |
195.03/195.11	c |       479 |    5819     2803    25663 |     6655      479     26 |  0.034 % |
195.03/195.14	c |       817 |    5819     2803    25663 |     7320      817     26 |  0.034 % |
195.03/195.18	c |      1323 |    5819     2803    25663 |     8052     1323     30 |  0.034 % |
195.12/195.25	c |      2082 |    5819     2803    25663 |     8857     2082     31 |  0.034 % |
195.23/195.31	c ===============================================================================
195.23/195.35	c core #275
195.23/195.35	c 
195.23/195.35	c 
195.23/195.35	c Core size: 53	Core Weight: 1	Total Weight: -185
195.23/195.35	c
195.23/195.35	c
195.23/195.35	c ============================[ Search Statistics ]==============================
195.23/195.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
195.23/195.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
195.23/195.35	c ===============================================================================
195.23/195.35	c |         0 |    5871     2804    25767 |     5000        0    nan |  0.000 % |
195.23/195.36	c |       104 |    5871     2804    25767 |     5500      104     38 |  0.034 % |
195.23/195.37	c |       255 |    5871     2804    25767 |     6050      255     28 |  0.034 % |
195.23/195.39	c |       481 |    5871     2804    25767 |     6655      481     31 |  0.034 % |
195.32/195.41	c |       819 |    5871     2804    25767 |     7320      819     29 |  0.034 % |
195.32/195.46	c |      1325 |    5871     2804    25767 |     8052     1325     30 |  0.034 % |
195.42/195.51	c |      2085 |    5868     2804    25767 |     8857     1770     27 |  0.085 % |
195.52/195.63	c |      3225 |    5868     2804    25767 |     9743     2910     30 |  0.085 % |
195.73/195.83	c |      4934 |    5868     2804    25767 |    10717     4619     32 |  0.085 % |
196.03/196.16	c |      7497 |    5868     2804    25767 |    11789     7182     32 |  0.085 % |
196.83/196.93	c |     11345 |    5868     2804    25767 |    12968    11030     36 |  0.085 % |
198.23/198.31	c |     17113 |    5868     2804    25767 |    14265    10270     42 |  0.085 % |
200.04/200.13	c |     25765 |    5866     2804    25767 |    15692     8912     36 |  0.119 % |
202.72/202.86	c ===============================================================================
203.43/203.51	c core #276
203.43/203.51	c 
203.43/203.51	c 
203.43/203.51	c Core size: 120	Core Weight: 1	Total Weight: -184
203.43/203.51	c
203.43/203.51	c
203.43/203.51	c ============================[ Search Statistics ]==============================
203.43/203.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.43/203.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.43/203.51	c ===============================================================================
203.43/203.51	c |         0 |    5982     2805    25989 |     5000        0    nan |  0.000 % |
203.43/203.54	c |       100 |    5982     2805    25989 |     5500      100     37 |  0.033 % |
203.43/203.55	c |       251 |    5982     2805    25989 |     6050      251     22 |  0.033 % |
203.43/203.57	c |       478 |    5982     2805    25989 |     6655      478     18 |  0.033 % |
203.43/203.59	c |       816 |    5979     2805    25989 |     7320      815     15 |  0.084 % |
203.53/203.62	c ===============================================================================
203.53/203.66	c core #277
203.53/203.66	c 
203.53/203.66	c 
203.53/203.66	c Core size: 75	Core Weight: 1	Total Weight: -183
203.53/203.66	c
203.53/203.66	c
203.53/203.66	c ============================[ Search Statistics ]==============================
203.53/203.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
203.53/203.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
203.53/203.66	c ===============================================================================
203.53/203.66	c |         0 |    6054     2806    26140 |     5000        0    nan |  0.000 % |
203.53/203.68	c |       100 |    6054     2806    26140 |     5500      100     65 |  0.017 % |
203.62/203.70	c |       250 |    6054     2806    26140 |     6050      250     38 |  0.017 % |
203.62/203.72	c |       475 |    6054     2806    26140 |     6655      475     28 |  0.017 % |
203.62/203.74	c |       813 |    6054     2806    26140 |     7320      813     25 |  0.017 % |
203.62/203.79	c |      1320 |    6054     2806    26140 |     8052     1320     24 |  0.017 % |
203.73/203.89	c |      2081 |    6054     2806    26140 |     8857     2081     28 |  0.017 % |
203.92/204.08	c |      3220 |    6054     2806    26140 |     9743     3220     33 |  0.017 % |
204.32/204.42	c |      4928 |    6054     2806    26140 |    10717     4928     41 |  0.017 % |
204.73/204.88	c |      7490 |    6054     2806    26140 |    11789     7490     37 |  0.017 % |
205.22/205.37	c ===============================================================================
205.43/205.52	c core #278
205.43/205.52	c 
205.43/205.52	c 
205.43/205.52	c Core size: 142	Core Weight: 1	Total Weight: -182
205.43/205.52	c
205.43/205.52	c
205.43/205.52	c ============================[ Search Statistics ]==============================
205.43/205.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
205.43/205.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
205.43/205.52	c ===============================================================================
205.43/205.52	c |         0 |    6191     2807    26414 |     5000        0    nan |  0.000 % |
205.43/205.55	c |       105 |    6191     2807    26414 |     5500      105     47 |  0.016 % |
205.43/205.56	c |       255 |    6191     2807    26414 |     6050      255     25 |  0.016 % |
205.43/205.59	c |       480 |    6191     2807    26414 |     6655      480     19 |  0.016 % |
205.53/205.62	c |       818 |    6191     2807    26414 |     7320      818     18 |  0.016 % |
205.53/205.68	c |      1324 |    6191     2807    26414 |     8052     1324     17 |  0.016 % |
205.63/205.76	c |      2084 |    6191     2807    26414 |     8857     2084     26 |  0.016 % |
205.82/205.91	c |      3223 |    6191     2807    26414 |     9743     3223     30 |  0.016 % |
206.03/206.14	c |      4933 |    6191     2807    26414 |    10717     4933     33 |  0.016 % |
206.52/206.64	c |      7499 |    6191     2807    26414 |    11789     7499     41 |  0.016 % |
207.12/207.24	c ===============================================================================
207.22/207.31	c core #279
207.22/207.31	c 
207.22/207.31	c 
207.22/207.31	c Core size: 230	Core Weight: 1	Total Weight: -181
207.22/207.31	c
207.22/207.31	c
207.22/207.31	c ============================[ Search Statistics ]==============================
207.22/207.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
207.22/207.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
207.22/207.31	c ===============================================================================
207.22/207.31	c |         0 |    6413     2809    26860 |     5000        0    nan |  0.000 % |
207.22/207.33	c |       102 |    6413     2809    26860 |     5500      102     11 |  0.016 % |
207.22/207.33	c |       253 |    6413     2809    26860 |     6050      253      9 |  0.016 % |
207.22/207.34	c ===============================================================================
207.22/207.37	c core #280
207.22/207.37	c 
207.22/207.37	c 
207.22/207.37	c Core size: 34	Core Weight: 1	Total Weight: -180
207.22/207.37	c
207.22/207.37	c
207.22/207.37	c ============================[ Search Statistics ]==============================
207.22/207.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
207.22/207.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
207.22/207.37	c ===============================================================================
207.22/207.37	c |         0 |    6443     2810    26920 |     5000        0    nan |  0.000 % |
207.22/207.38	c |       100 |    6443     2810    26920 |     5500      100     44 |  0.016 % |
207.22/207.39	c |       252 |    6443     2810    26920 |     6050      252     39 |  0.016 % |
207.32/207.41	c |       477 |    6443     2810    26920 |     6655      477     34 |  0.016 % |
207.32/207.44	c |       815 |    6441     2810    26920 |     7320      814     39 |  0.047 % |
207.32/207.47	c |      1323 |    6441     2810    26920 |     8052     1322     40 |  0.047 % |
207.42/207.53	c |      2082 |    6441     2810    26920 |     8857     2081     37 |  0.047 % |
207.52/207.63	c |      3226 |    6441     2810    26920 |     9743     3225     38 |  0.047 % |
207.73/207.83	c |      4935 |    6441     2810    26920 |    10717     4934     40 |  0.047 % |
208.12/208.20	c |      7498 |    6441     2810    26920 |    11789     7497     43 |  0.047 % |
208.62/208.76	c |     11342 |    6441     2810    26920 |    12968    11341     51 |  0.047 % |
209.42/209.50	c |     17108 |    6441     2810    26920 |    14265    10568     55 |  0.047 % |
210.82/210.95	c |     25758 |    6441     2810    26920 |    15692    11981     45 |  0.047 % |
214.81/214.92	c |     38732 |    6441     2810    26920 |    17261     9115     65 |  0.047 % |
220.92/221.02	c |     58195 |    6441     2810    26920 |    18987    11155     63 |  0.047 % |
226.91/227.00	c |     87388 |    6440     2810    26920 |    20886    11561     57 |  0.062 % |
237.42/237.59	c |    131177 |    6438     2810    26920 |    22974    12860     45 |  0.093 % |
254.10/254.25	c |    196861 |    6438     2810    26920 |    25272    20863     34 |  0.093 % |
281.00/281.19	c |    295387 |    6434     2810    26920 |    27799    24283     30 |  0.155 % |
285.80/285.99	c ===============================================================================
288.99/289.12	c core #281
288.99/289.12	c 
288.99/289.12	c 
288.99/289.12	c Core size: 192	Core Weight: 1	Total Weight: -179
288.99/289.12	c
288.99/289.12	c
288.99/289.12	c ============================[ Search Statistics ]==============================
288.99/289.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
288.99/289.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
288.99/289.12	c ===============================================================================
288.99/289.12	c |         0 |    6626     2811    27286 |     5000        0    nan |  0.000 % |
288.99/289.18	c |       102 |    6626     2811    27286 |     5500      102     34 |  0.015 % |
289.10/289.20	c |       252 |    6626     2811    27286 |     6050      252     28 |  0.015 % |
289.10/289.22	c |       477 |    6626     2811    27286 |     6655      477     22 |  0.015 % |
289.10/289.27	c |       815 |    6626     2811    27286 |     7320      815     22 |  0.015 % |
289.20/289.33	c |      1322 |    6626     2811    27286 |     8052     1322     23 |  0.015 % |
289.29/289.41	c |      2081 |    6626     2811    27286 |     8857     2081     21 |  0.015 % |
289.39/289.51	c |      3222 |    6626     2811    27286 |     9743     3222     20 |  0.015 % |
289.50/289.66	c ===============================================================================
289.60/289.72	c core #282
289.60/289.72	c 
289.60/289.72	c 
289.60/289.72	c Core size: 114	Core Weight: 1	Total Weight: -178
289.60/289.72	c
289.60/289.72	c
289.60/289.72	c ============================[ Search Statistics ]==============================
289.60/289.72	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
289.60/289.72	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
289.60/289.72	c ===============================================================================
289.60/289.72	c |         0 |    6732     2812    27498 |     5000        0    nan |  0.000 % |
289.60/289.74	c |       100 |    6732     2812    27498 |     5500      100     23 |  0.015 % |
289.60/289.75	c |       251 |    6732     2812    27498 |     6050      251     22 |  0.015 % |
289.60/289.76	c |       476 |    6732     2812    27498 |     6655      476     20 |  0.015 % |
289.60/289.78	c |       813 |    6732     2812    27498 |     7320      813     19 |  0.015 % |
289.69/289.81	c |      1319 |    6732     2812    27498 |     8052     1319     18 |  0.015 % |
289.69/289.86	c |      2079 |    6732     2812    27498 |     8857     2079     16 |  0.015 % |
289.80/289.96	c |      3218 |    6729     2812    27498 |     9743     2858     18 |  0.059 % |
289.99/290.13	c |      4927 |    6727     2812    27498 |    10717     4567     19 |  0.149 % |
290.09/290.30	c ===============================================================================
290.20/290.39	c core #283
290.20/290.39	c 
290.20/290.39	c 
290.20/290.39	c Core size: 80	Core Weight: 1	Total Weight: -177
290.20/290.39	c
290.20/290.39	c
290.20/290.39	c ============================[ Search Statistics ]==============================
290.20/290.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
290.20/290.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
290.20/290.39	c ===============================================================================
290.20/290.39	c |         0 |    6805     2813    27644 |     5000        0    nan |  0.000 % |
290.30/290.41	c ===============================================================================
290.30/290.44	c core #284
290.30/290.44	c 
290.30/290.44	c 
290.30/290.44	c Core size: 56	Core Weight: 1	Total Weight: -176
290.30/290.44	c
290.30/290.44	c
290.30/290.44	c ============================[ Search Statistics ]==============================
290.30/290.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
290.30/290.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
290.30/290.44	c ===============================================================================
290.30/290.44	c |         0 |    6849     2814    27732 |     5000        0    nan |  0.000 % |
290.30/290.45	c |       102 |    6849     2814    27732 |     5500      102     23 |  0.015 % |
290.30/290.47	c |       252 |    6849     2814    27732 |     6050      252     30 |  0.015 % |
290.30/290.48	c |       477 |    6849     2814    27732 |     6655      477     23 |  0.015 % |
290.39/290.52	c |       815 |    6849     2814    27732 |     7320      815     29 |  0.015 % |
290.39/290.56	c |      1321 |    6849     2814    27732 |     8052     1321     34 |  0.015 % |
290.49/290.66	c |      2083 |    6849     2814    27732 |     8857     2083     43 |  0.015 % |
290.59/290.78	c |      3223 |    6849     2814    27732 |     9743     3223     41 |  0.015 % |
290.89/291.02	c |      4931 |    6849     2814    27732 |    10717     4931     41 |  0.015 % |
291.30/291.48	c |      7494 |    6849     2814    27732 |    11789     7494     44 |  0.015 % |
292.00/292.18	c |     11342 |    6849     2814    27732 |    12968    11342     40 |  0.015 % |
293.10/293.28	c |     17109 |    6849     2814    27732 |    14265    10574     37 |  0.015 % |
294.89/295.04	c |     25766 |    6849     2814    27732 |    15692    11986     40 |  0.015 % |
297.59/297.78	c |     38744 |    6849     2814    27732 |    17261     9144     43 |  0.015 % |
302.19/302.36	c |     58206 |    6849     2814    27732 |    18987    11188     42 |  0.015 % |
309.18/309.38	c |     87400 |    6849     2814    27732 |    20886    11679     48 |  0.015 % |
323.98/324.13	c |    131189 |    6849     2814    27732 |    22974    13340     58 |  0.015 % |
347.77/347.96	c |    196875 |    6849     2814    27732 |    25272    21057     67 |  0.015 % |
378.96/379.16	c |    295404 |    6849     2814    27732 |    27799    15665     49 |  0.015 % |
474.74/474.91	c |    443194 |    6847     2814    27732 |    30579    13711    101 |  0.044 % |
626.98/627.29	c |    664877 |    6847     2814    27732 |    33637    25762     99 |  0.044 % |
795.33/795.68	c |    997402 |    6847     2814    27732 |    37001    23131     61 |  0.044 % |
1025.95/1026.33	c |   1496190 |    6847     2814    27732 |    40701    21319     48 |  0.044 % |
1402.93/1403.41	c |   2244376 |    6847     2814    27732 |    44771    38223     77 |  0.044 % |

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.90 3/106 24212
/proc/meminfo: memFree=1817632/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=2840 CPUtime=0
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 121094344 2908160 272 1992294400 134512640 135752675 4291514816 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 710 272 142 303 0 405 0

[startup+0.017824 s]
/proc/loadavg: 0.92 0.98 0.90 3/106 24212
/proc/meminfo: memFree=1817632/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=2840 CPUtime=0.01
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 370 0 0 0 1 0 0 0 20 0 1 0 121094344 2908160 280 1992294400 134512640 135752675 4291514816 18446744073709551615 134634752 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 710 280 144 303 0 405 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2840

[startup+0.101839 s]
/proc/loadavg: 0.92 0.98 0.90 3/106 24212
/proc/meminfo: memFree=1817632/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=3356 CPUtime=0.09
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 494 0 0 0 9 0 0 0 20 0 1 0 121094344 3436544 404 1992294400 134512640 135752675 4291514816 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 839 405 145 303 0 534 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3356

[startup+0.301874 s]
/proc/loadavg: 0.92 0.98 0.90 3/106 24212
/proc/meminfo: memFree=1817632/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=4388 CPUtime=0.29
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 768 0 0 0 29 0 0 0 20 0 1 0 121094344 4493312 678 1992294400 134512640 135752675 4291514816 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 1097 678 145 303 0 792 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4388

[startup+0.701945 s]
/proc/loadavg: 0.92 0.98 0.90 3/106 24212
/proc/meminfo: memFree=1817632/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=6836 CPUtime=0.69
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 1354 0 0 0 68 1 0 0 21 0 1 0 121094344 7000064 1264 1992294400 134512640 135752675 4291514816 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 1709 1264 145 303 0 1404 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6836

[startup+1.50109 s]
/proc/loadavg: 0.92 0.98 0.90 2/107 24213
/proc/meminfo: memFree=1811300/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=10968 CPUtime=1.49
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 2390 0 0 0 147 2 0 0 23 0 1 0 121094344 11231232 2300 1992294400 134512640 135752675 4291514816 18446744073709551615 134612012 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 2742 2300 145 303 0 2437 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10968

[startup+3.10138 s]
/proc/loadavg: 0.92 0.98 0.90 2/107 24213
/proc/meminfo: memFree=1805596/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=18940 CPUtime=3.09
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 4396 0 0 0 305 4 0 0 25 0 1 0 121094344 19394560 4306 1992294400 134512640 135752675 4291514816 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 4735 4307 145 303 0 4430 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18940

[startup+6.30195 s]
/proc/loadavg: 0.93 0.98 0.90 2/107 24213
/proc/meminfo: memFree=1790468/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=32884 CPUtime=6.29
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 7869 0 0 0 621 8 0 0 25 0 1 0 121094344 33673216 7779 1992294400 134512640 135752675 4291514816 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 8221 7779 145 303 0 7916 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32884

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.90 2/107 24213
/proc/meminfo: memFree=1764056/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=57376 CPUtime=12.68
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 13996 0 0 0 1251 17 0 0 25 0 1 0 121094344 58753024 13906 1992294400 134512640 135752675 4291514816 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 14344 13906 145 303 0 14039 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 57376

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.91 2/107 24215
/proc/meminfo: memFree=1723756/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=96344 CPUtime=25.49
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 23740 0 0 0 2519 30 0 0 25 0 1 0 121094344 98656256 23650 1992294400 134512640 135752675 4291514816 18446744073709551615 134605381 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 24086 23650 145 303 0 23781 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 96344

[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.91 2/107 24215
/proc/meminfo: memFree=1662252/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=157824 CPUtime=51.07
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 39102 0 0 0 5056 51 0 0 25 0 1 0 121094344 161611776 39012 1992294400 134512640 135752675 4291514816 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 39456 39012 145 303 0 39151 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 157824

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.91 2/107 24217
/proc/meminfo: memFree=1543460/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=275572 CPUtime=102.27
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 68520 0 0 0 10134 93 0 0 25 0 1 0 121094344 282185728 68430 1992294400 134512640 135752675 4291514816 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 68893 68430 145 303 0 68588 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 275572

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 24217
/proc/meminfo: memFree=1435828/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=385340 CPUtime=162.24
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 95956 0 0 0 16092 132 0 0 25 0 1 0 121094344 394588160 95866 1992294400 134512640 135752675 4291514816 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 96335 95867 145 303 0 96030 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 385340

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 24219
/proc/meminfo: memFree=1386476/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=431624 CPUtime=222.21
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 107606 0 0 0 22008 213 0 0 25 0 1 0 121094344 441982976 107488 1992294400 134512640 135752675 4291514816 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 107906 107488 146 303 0 107601 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 431624

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 24221
/proc/meminfo: memFree=1323732/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=494720 CPUtime=282.19
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 123354 0 0 0 27928 291 0 0 25 0 1 0 121094344 506593280 123236 1992294400 134512640 135752675 4291514816 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 123680 123236 146 303 0 123375 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 494720

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 24223
/proc/meminfo: memFree=1289012/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=529084 CPUtime=342.18
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 131975 0 0 0 33857 361 0 0 25 0 1 0 121094344 541782016 131818 1992294400 134512640 135752675 4291514816 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 132271 131818 146 303 0 131966 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 529084

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 24225
/proc/meminfo: memFree=1231972/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=586764 CPUtime=402.15
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 146369 0 0 0 39791 424 0 0 25 0 1 0 121094344 600846336 146212 1992294400 134512640 135752675 4291514816 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 146691 146212 146 303 0 146386 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 586764

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 24225
/proc/meminfo: memFree=1185224/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=632876 CPUtime=462.14
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 157841 0 0 0 45757 457 0 0 25 0 1 0 121094344 648065024 157684 1992294400 134512640 135752675 4291514816 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 158219 157684 146 303 0 157914 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 632876

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 24227
/proc/meminfo: memFree=1136244/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=682536 CPUtime=522.12
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 170220 0 0 0 51717 495 0 0 25 0 1 0 121094344 698916864 170063 1992294400 134512640 135752675 4291514816 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 170634 170063 146 303 0 170329 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 682536

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 24229
/proc/meminfo: memFree=1082924/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=735320 CPUtime=582.09
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 183406 0 0 0 57676 533 0 0 25 0 1 0 121094344 752967680 183249 1992294400 134512640 135752675 4291514816 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 183830 183249 146 303 0 183525 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 735320

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 24231
/proc/meminfo: memFree=1027496/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=790232 CPUtime=642.08
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 197094 0 0 0 63634 574 0 0 25 0 1 0 121094344 809197568 196937 1992294400 134512640 135752675 4291514816 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 197558 196937 146 303 0 197253 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 790232

[startup+702.3 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 24237
/proc/meminfo: memFree=822152/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=995516 CPUtime=882
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 248347 0 0 0 87425 775 0 0 25 0 1 0 121094344 1019408384 248190 1992294400 134512640 135752675 4291514816 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 248879 248190 146 303 0 248574 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 995516

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 24239
/proc/meminfo: memFree=777016/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=1041016 CPUtime=941.98
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 259707 0 0 0 93377 821 0 0 25 0 1 0 121094344 1066000384 259550 1992294400 134512640 135752675 4291514816 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 260254 259550 146 303 0 259949 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 1041016

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 24241
/proc/meminfo: memFree=728160/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=1089340 CPUtime=1001.96
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 271782 0 0 0 99322 874 0 0 25 0 1 0 121094344 1115484160 271625 1992294400 134512640 135752675 4291514816 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 272335 271625 146 303 0 272030 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 1089340

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 24241
/proc/meminfo: memFree=680296/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=1137452 CPUtime=1061.94
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 283821 0 0 0 105266 928 0 0 25 0 1 0 121094344 1164750848 283664 1992294400 134512640 135752675 4291514816 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 284363 283664 146 303 0 284058 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 1137452

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 24243
/proc/meminfo: memFree=640740/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=1176764 CPUtime=1121.92
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 293604 0 0 0 111217 975 0 0 25 0 1 0 121094344 1205006336 293447 1992294400 134512640 135752675 4291514816 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 294191 293447 146 303 0 293886 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 1176764

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 24245
/proc/meminfo: memFree=589032/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=1228752 CPUtime=1181.9
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 306583 0 0 0 117163 1027 0 0 25 0 1 0 121094344 1258242048 306426 1992294400 134512640 135752675 4291514816 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 307188 306426 146 303 0 306883 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 1228752

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/107 24247
/proc/meminfo: memFree=541044/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=1276224 CPUtime=1241.88
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 318455 0 0 0 123114 1074 0 0 25 0 1 0 121094344 1306853376 318298 1992294400 134512640 135752675 4291514816 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 319056 318298 146 303 0 318751 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1276224

[startup+1302.3 s]
/proc/loadavg: 1.03 1.00 0.91 2/107 24249
/proc/meminfo: memFree=494544/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=1322260 CPUtime=1301.87
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 329954 0 0 0 129070 1117 0 0 25 0 1 0 121094344 1353994240 329797 1992294400 134512640 135752675 4291514816 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 330565 329797 146 303 0 330260 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1322260

[startup+1362.3 s]
/proc/loadavg: 1.12 1.03 0.93 2/107 24249
/proc/meminfo: memFree=454368/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=1363060 CPUtime=1361.84
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 340143 0 0 0 135027 1157 0 0 25 0 1 0 121094344 1395773440 339986 1992294400 134512640 135752675 4291514816 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 340765 339986 146 303 0 340460 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1363060

[startup+1422.31 s]
/proc/loadavg: 1.12 1.04 0.93 2/107 24251
/proc/meminfo: memFree=410472/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=1406324 CPUtime=1421.82
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 350968 0 0 0 140979 1203 0 0 25 0 1 0 121094344 1440075776 350811 1992294400 134512640 135752675 4291514816 18446744073709551615 134638085 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 351581 350811 146 303 0 351276 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1406324

[startup+1482.3 s]
/proc/loadavg: 1.11 1.04 0.94 2/107 24253
/proc/meminfo: memFree=364344/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=1452836 CPUtime=1481.8
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 362566 0 0 0 146925 1255 0 0 25 0 1 0 121094344 1487704064 362409 1992294400 134512640 135752675 4291514816 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 363209 362409 146 303 0 362904 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1452836

[startup+1542.3 s]
/proc/loadavg: 1.10 1.05 0.94 2/107 24264
/proc/meminfo: memFree=319828/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=1496904 CPUtime=1541.76
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 373598 0 0 0 152869 1307 0 0 25 0 1 0 121094344 1532829696 373441 1992294400 134512640 135752675 4291514816 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 374226 373441 146 303 0 373921 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1496904

[startup+1602.3 s]
/proc/loadavg: 1.09 1.05 0.95 2/107 24266
/proc/meminfo: memFree=275436/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=1541896 CPUtime=1601.74
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 384830 0 0 0 158819 1355 0 0 25 0 1 0 121094344 1578901504 384673 1992294400 134512640 135752675 4291514816 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 385474 384673 146 303 0 385169 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1541896

[startup+1662.3 s]
/proc/loadavg: 1.08 1.06 0.95 2/107 24266
/proc/meminfo: memFree=231168/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=1585496 CPUtime=1661.72
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 395706 0 0 0 164768 1404 0 0 25 0 1 0 121094344 1623547904 395549 1992294400 134512640 135752675 4291514816 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 396374 395549 146 303 0 396069 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1585496

[startup+1722.3 s]
/proc/loadavg: 1.03 1.04 0.95 2/107 24268
/proc/meminfo: memFree=186528/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=1630400 CPUtime=1721.7
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 406937 0 0 0 170718 1452 0 0 25 0 1 0 121094344 1669529600 406780 1992294400 134512640 135752675 4291514816 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 407600 406780 146 303 0 407295 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 1630400

[startup+1782.3 s]
/proc/loadavg: 1.01 1.03 0.95 2/107 24270
/proc/meminfo: memFree=139160/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=1677388 CPUtime=1781.68
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 418684 0 0 0 176666 1502 0 0 25 0 1 0 121094344 1717645312 418527 1992294400 134512640 135752675 4291514816 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 419347 418527 146 303 0 419042 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 1677388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.01 1.03 0.95 2/107 24270
/proc/meminfo: memFree=126264/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=1689672 CPUtime=1800.09
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4202496 421772 0 0 0 178494 1515 0 0 25 0 1 0 121094344 1730224128 421615 1992294400 134512640 135752675 4291514816 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/24212/statm: 422418 421615 146 303 0 422113 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1689672

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

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

[startup+1800.81 s]
/proc/loadavg: 1.01 1.03 0.95 2/107 24270
/proc/meminfo: memFree=126264/2059040 swapFree=4136480/4192956
[pid=24212] ppid=24210 vsize=0 CPUtime=1800.18
/proc/24212/stat : 24212 (wbo1.4b) R 24210 24212 24033 0 -1 4203524 421772 0 0 0 178494 1524 0 0 25 0 1 0 121094344 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/24212/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.87
CPU time (s): 1800.26
CPU user time (s): 1784.95
CPU system time (s): 15.3117
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (KiB): 1689672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.95
system time used= 15.3117
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 421772
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= 47
involuntary context switches= 1238

runsolver used 2.6296 second user time and 8.89365 second system time

The end

Launcher Data 

Begin job on node012 at 2010-06-25 10:35:28
IDJOB=2680859
IDBENCH=2219
IDSOLVER=1190
FILE ID=node012/2680859-1277454928
PBS_JOBID= 11188146
Free space on /tmp= 62432 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680859-1277454928/watcher-2680859-1277454928 -o /tmp/evaluation-result-2680859-1277454928/solver-2680859-1277454928 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680859-1277454928.opb

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

MD5SUM BENCH= 885184c694263ba985a0dc2cd49b3440
RANDOM SEED=172133165

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1818036 kB
Buffers:         29912 kB
Cached:         110760 kB
SwapCached:       8980 kB
Active:          32324 kB
Inactive:       121308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1818036 kB
SwapTotal:     4192956 kB
SwapFree:      4136480 kB
Dirty:            2636 kB
Writeback:           0 kB
AnonPages:       11620 kB
Mapped:           8404 kB
Slab:            65376 kB
PageTables:       4188 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182796 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62428 MiB
End job on node012 at 2010-06-25 11:05:31