Trace number 2680488

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-f600.opb
MD5SUM2b1f0bdf934439fa3364f5fdf4570849
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1200
Total number of constraints3150
Number of constraints which are clauses3150
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 1200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1200
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1200
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680488-1277453703.opb.
0.00/0.00	c Instance file HOME/instance-2680488-1277453703.opb
0.00/0.00	c File size is 104111 bytes.
0.01/0.01	c Highest Coefficient sum: 4
0.01/0.01	c ============================[ Problem Statistics ]=============================
0.01/0.01	c |                                                                             |
0.01/0.01	c |  Parsing time:          0.02         s                                      |
0.01/0.01	c |  Number Variables:      1200                                                |
0.01/0.01	c |  Number Clauses:        3150                                                |
0.01/0.01	c |  Number Cardinality:    0                                                   |
0.01/0.01	c |  Number PB Constraints: 0                                                   |
0.01/0.02	c ============================[ Search Statistics ]==============================
0.01/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.02	c ===============================================================================
0.01/0.02	c |         0 |    1200     3150     8850 |     5000        0    nan |  0.000 % |
0.01/0.03	c |       100 |    1200     3150     8850 |     5500      100     31 |  0.000 % |
0.01/0.04	c |       252 |    1200     3150     8850 |     6050      252     27 |  0.000 % |
0.01/0.06	c |       477 |    1200     3150     8850 |     6655      477     27 |  0.000 % |
0.01/0.09	c |       814 |    1200     3150     8850 |     7320      814     27 |  0.000 % |
0.09/0.14	c |      1321 |    1200     3150     8850 |     8052     1321     27 |  0.000 % |
0.19/0.21	c |      2080 |    1200     3150     8850 |     8857     2080     27 |  0.000 % |
0.29/0.34	c |      3220 |    1200     3150     8850 |     9743     3220     27 |  0.000 % |
0.50/0.57	c |      4930 |    1200     3150     8850 |    10717     4930     27 |  0.000 % |
0.89/0.98	c |      7493 |    1200     3150     8850 |    11789     7493     27 |  0.000 % |
1.79/1.85	c |     11338 |    1200     3150     8850 |    12968    11338     27 |  0.000 % |
2.99/3.05	c |     17104 |    1200     3150     8850 |    14265    10570     28 |  0.000 % |
5.09/5.14	c |     25753 |    1200     3150     8850 |    15692    12024     29 |  0.000 % |
8.49/8.53	c |     38730 |    1200     3150     8850 |    17261     9176     28 |  0.000 % |
13.68/13.72	c |     58193 |    1200     3150     8850 |    18987    11229     26 |  0.000 % |
22.88/22.91	c |     87386 |    1200     3150     8850 |    20886    11783     27 |  0.000 % |
38.49/38.55	c |    131177 |    1200     3150     8850 |    22974    13527     28 |  0.000 % |
64.79/64.85	c |    196861 |    1200     3150     8850 |    25272    21508     27 |  0.000 % |
103.46/103.51	c |    295388 |    1200     3150     8850 |    27799    18253     27 |  0.000 % |
169.35/169.41	c |    443179 |    1200     3150     8850 |    30579    16515     28 |  0.000 % |
181.36/181.41	c There are 0 assigned variables. 0 in cost function.
181.95/182.02	c core #1
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 1
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #2
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 2
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #3
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 3
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #4
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 4
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #5
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 5
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #6
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 6
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #7
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 7
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #8
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 8
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #9
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 9
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #10
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 10
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #11
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 11
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #12
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 12
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #13
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 13
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #14
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 14
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #15
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 15
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #16
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 16
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #17
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 17
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #18
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 18
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #19
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 19
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #20
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 20
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #21
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 21
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #22
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 22
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #23
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 23
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #24
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 24
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #25
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 25
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #26
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 26
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #27
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 27
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #28
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 28
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #29
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 29
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #30
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 30
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #31
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 31
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #32
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 32
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #33
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 33
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #34
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 34
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #35
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 35
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #36
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 36
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #37
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 37
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #38
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 38
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #39
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 39
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #40
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 40
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #41
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 41
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #42
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 42
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #43
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 43
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #44
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 44
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #45
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 45
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #46
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 46
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #47
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 47
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #48
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 48
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #49
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 49
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #50
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 50
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #51
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 51
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #52
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 52
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #53
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 53
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #54
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 54
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #55
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 55
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #56
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 56
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #57
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 57
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #58
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 58
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #59
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 59
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #60
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 60
181.95/182.02	c
181.95/182.02	c
181.95/182.02	c core #61
181.95/182.02	c 
181.95/182.02	c 
181.95/182.02	c Core size: 4	Core Weight: 1	Total Weight: 61
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #62
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 62
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #63
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 63
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #64
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 64
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #65
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 65
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #66
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 66
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #67
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 67
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #68
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 68
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #69
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 69
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #70
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 70
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #71
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 71
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #72
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 72
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #73
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 73
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #74
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 74
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #75
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 75
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #76
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 76
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #77
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 77
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #78
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 78
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #79
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 79
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #80
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 80
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #81
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 81
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #82
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 82
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #83
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 83
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #84
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 84
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #85
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 85
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #86
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 86
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #87
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 87
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #88
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 88
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #89
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 89
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #90
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 90
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #91
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 91
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #92
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 92
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #93
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 93
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #94
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 94
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #95
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 95
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #96
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 96
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #97
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 97
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #98
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 98
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #99
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 99
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #100
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 100
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #101
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 101
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #102
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 102
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #103
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 103
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #104
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 104
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #105
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 105
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #106
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 106
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #107
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 107
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #108
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 108
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #109
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 109
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #110
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 110
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #111
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 111
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #112
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 112
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #113
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 113
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #114
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 114
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #115
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 115
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #116
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 116
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #117
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 117
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #118
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 118
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #119
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 119
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #120
182.15/182.29	c 
182.15/182.29	c 
182.15/182.29	c Core size: 4	Core Weight: 1	Total Weight: 120
182.15/182.29	c
182.15/182.29	c
182.15/182.29	c core #121
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 121
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #122
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 122
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #123
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 123
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #124
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 124
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #125
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 125
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #126
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 126
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #127
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 127
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #128
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 128
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #129
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 129
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #130
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 130
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #131
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 131
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #132
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 132
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #133
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 133
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #134
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 134
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #135
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 135
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #136
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 136
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #137
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 137
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #138
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 138
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #139
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 139
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #140
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 140
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #141
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 141
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #142
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 142
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #143
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 143
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #144
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 144
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #145
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 145
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #146
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 146
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #147
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 147
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #148
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 148
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #149
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 149
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #150
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 150
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #151
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 151
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #152
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 152
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #153
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 153
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #154
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 154
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #155
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 155
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #156
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 156
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #157
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 157
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #158
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 158
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #159
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 159
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #160
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 160
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #161
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 161
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #162
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 162
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #163
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 163
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #164
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 164
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #165
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 165
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #166
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 166
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #167
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 167
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #168
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 168
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #169
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 169
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #170
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 170
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #171
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 171
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #172
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 172
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #173
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 173
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #174
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 174
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #175
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 175
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #176
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 176
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #177
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 177
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #178
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 178
182.46/182.59	c
182.46/182.59	c
182.46/182.59	c core #179
182.46/182.59	c 
182.46/182.59	c 
182.46/182.59	c Core size: 4	Core Weight: 1	Total Weight: 179
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #180
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 180
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #181
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 181
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #182
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 182
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #183
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 183
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #184
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 184
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #185
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 185
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #186
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 186
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #187
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 187
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #188
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 188
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #189
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 189
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #190
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 190
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #191
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 191
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #192
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 192
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #193
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 193
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #194
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 194
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #195
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 195
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #196
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 196
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #197
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 197
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #198
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 198
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #199
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 199
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #200
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 200
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #201
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 201
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #202
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 202
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #203
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 203
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #204
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 204
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #205
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 205
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #206
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 206
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #207
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 207
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #208
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 208
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #209
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 209
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #210
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 210
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #211
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 211
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #212
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 212
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #213
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 213
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #214
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 214
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #215
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 215
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #216
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 216
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #217
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 217
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #218
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 218
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #219
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 219
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #220
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 220
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #221
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 221
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #222
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 222
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #223
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 223
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #224
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 224
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #225
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 225
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #226
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 226
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #227
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 227
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #228
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 228
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #229
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 229
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #230
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 230
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #231
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 231
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #232
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 232
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #233
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 233
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #234
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 234
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #235
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 235
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #236
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 236
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #237
182.85/182.93	c 
182.85/182.93	c 
182.85/182.93	c Core size: 4	Core Weight: 1	Total Weight: 237
182.85/182.93	c
182.85/182.93	c
182.85/182.93	c core #238
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 238
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #239
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 239
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #240
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 240
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #241
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 241
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #242
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 242
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #243
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 243
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #244
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 244
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #245
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 245
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #246
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 246
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #247
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 247
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #248
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 248
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #249
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 249
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #250
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 250
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #251
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 251
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #252
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 252
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #253
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 253
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #254
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 254
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #255
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 255
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #256
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 256
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #257
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 257
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #258
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 258
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #259
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 259
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #260
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 260
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #261
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 261
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #262
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 262
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #263
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 263
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #264
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 264
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #265
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 265
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #266
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 266
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #267
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 267
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #268
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 268
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #269
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 269
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #270
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 270
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #271
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 271
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #272
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 272
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #273
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 273
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #274
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 274
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #275
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 275
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #276
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 276
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #277
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 277
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #278
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 278
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #279
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 279
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #280
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 280
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #281
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 281
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #282
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 282
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #283
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 283
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #284
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 284
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #285
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 4	Core Weight: 1	Total Weight: 285
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #286
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 7	Core Weight: 1	Total Weight: 286
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #287
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 7	Core Weight: 1	Total Weight: 287
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #288
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 7	Core Weight: 1	Total Weight: 288
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #289
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 10	Core Weight: 1	Total Weight: 289
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #290
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 13	Core Weight: 1	Total Weight: 290
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #291
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 16	Core Weight: 1	Total Weight: 291
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #292
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 7	Core Weight: 1	Total Weight: 292
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #293
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 7	Core Weight: 1	Total Weight: 293
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #294
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 10	Core Weight: 1	Total Weight: 294
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #295
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 10	Core Weight: 1	Total Weight: 295
183.25/183.30	c
183.25/183.30	c
183.25/183.30	c core #296
183.25/183.30	c 
183.25/183.30	c 
183.25/183.30	c Core size: 10	Core Weight: 1	Total Weight: 296
183.35/183.46	c
183.35/183.46	c
183.35/183.46	c core #297
183.35/183.46	c 
183.35/183.46	c 
183.35/183.46	c Core size: 10	Core Weight: 1	Total Weight: 297
183.35/183.46	c
183.35/183.46	c
183.35/183.46	c core #298
183.35/183.46	c 
183.35/183.46	c 
183.35/183.46	c Core size: 7	Core Weight: 1	Total Weight: 298
183.35/183.46	c
183.35/183.46	c
183.35/183.46	c core #299
183.35/183.46	c 
183.35/183.46	c 
183.35/183.46	c Core size: 13	Core Weight: 1	Total Weight: 299
183.35/183.46	c
183.35/183.46	c
183.35/183.46	c core #300
183.35/183.46	c 
183.35/183.46	c 
183.35/183.46	c Core size: 7	Core Weight: 1	Total Weight: 300
183.35/183.46	c
183.35/183.46	c
183.35/183.46	c core #301
183.35/183.46	c 
183.35/183.46	c 
183.35/183.46	c Core size: 7	Core Weight: 1	Total Weight: 301
183.35/183.46	c
183.35/183.46	c
183.35/183.46	c core #302
183.35/183.46	c 
183.35/183.46	c 
183.35/183.46	c Core size: 7	Core Weight: 1	Total Weight: 302
183.35/183.46	c
183.35/183.46	c
183.35/183.46	c core #303
183.35/183.46	c 
183.35/183.46	c 
183.35/183.46	c Core size: 13	Core Weight: 1	Total Weight: 303
183.35/183.46	c
183.35/183.46	c
183.35/183.46	c core #304
183.35/183.46	c 
183.35/183.46	c 
183.35/183.46	c Core size: 25	Core Weight: 1	Total Weight: 304
183.35/183.46	c
183.35/183.46	c
183.35/183.46	c core #305
183.35/183.46	c 
183.35/183.46	c 
183.35/183.46	c Core size: 10	Core Weight: 1	Total Weight: 305
183.35/183.46	c
183.35/183.46	c
183.35/183.46	c core #306
183.35/183.46	c 
183.35/183.46	c 
183.35/183.46	c Core size: 7	Core Weight: 1	Total Weight: 306
183.35/183.46	c
183.35/183.46	c
183.35/183.46	c core #307
183.35/183.46	c 
183.35/183.46	c 
183.35/183.46	c Core size: 80	Core Weight: 1	Total Weight: 307
183.35/183.46	c
183.35/183.46	c
183.35/183.46	c core #308
183.35/183.46	c 
183.35/183.46	c 
183.35/183.46	c Core size: 10	Core Weight: 1	Total Weight: 308
183.35/183.46	c
183.35/183.46	c
183.35/183.46	c core #309
183.35/183.46	c 
183.35/183.46	c 
183.35/183.46	c Core size: 125	Core Weight: 1	Total Weight: 309
183.35/183.46	c
183.35/183.46	c
183.35/183.46	c core #310
183.35/183.46	c 
183.35/183.46	c 
183.35/183.46	c Core size: 13	Core Weight: 1	Total Weight: 310
183.35/183.46	c
183.35/183.46	c
183.35/183.46	c core #311
183.35/183.46	c 
183.35/183.46	c 
183.35/183.46	c Core size: 21	Core Weight: 1	Total Weight: 311
183.35/183.46	c
183.35/183.46	c
183.35/183.46	c core #312
183.35/183.46	c 
183.35/183.46	c 
183.35/183.46	c Core size: 19	Core Weight: 1	Total Weight: 312
183.35/183.46	c
183.35/183.46	c
183.35/183.46	c core #313
183.35/183.46	c 
183.35/183.46	c 
183.35/183.46	c Core size: 30	Core Weight: 1	Total Weight: 313
183.35/183.46	c
183.35/183.46	c
183.35/183.46	c core #314
183.35/183.46	c 
183.35/183.46	c 
183.35/183.46	c Core size: 101	Core Weight: 1	Total Weight: 314
183.35/183.46	c
183.35/183.46	c
183.35/183.46	c core #315
183.35/183.46	c 
183.35/183.46	c 
183.35/183.46	c Core size: 80	Core Weight: 1	Total Weight: 315
183.35/183.46	c
183.35/183.46	c
183.35/183.46	c core #316
183.35/183.46	c 
183.35/183.46	c 
183.35/183.46	c Core size: 54	Core Weight: 1	Total Weight: 316
183.35/183.46	c
183.35/183.46	c
183.35/183.46	c core #317
183.35/183.46	c 
183.35/183.46	c 
183.35/183.46	c Core size: 89	Core Weight: 1	Total Weight: 317
183.35/183.46	c
183.35/183.46	c
183.35/183.46	c ============================[ Search Statistics ]==============================
183.35/183.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.35/183.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.35/183.46	c ===============================================================================
183.35/183.46	c |         0 |    2319     4709    12352 |     5000        0    nan |  0.000 % |
183.35/183.46	c ===============================================================================
183.35/183.47	c core #318
183.35/183.47	c 
183.35/183.47	c 
183.35/183.47	c Core size: 40	Core Weight: 1	Total Weight: 318
183.35/183.47	c
183.35/183.47	c
183.35/183.47	c ============================[ Search Statistics ]==============================
183.35/183.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.35/183.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.35/183.47	c ===============================================================================
183.35/183.47	c |         0 |    2357     4710    12434 |     5000        0    nan |  0.000 % |
183.35/183.47	c ===============================================================================
183.35/183.48	c core #319
183.35/183.48	c 
183.35/183.48	c 
183.35/183.48	c Core size: 37	Core Weight: 1	Total Weight: 319
183.35/183.48	c
183.35/183.48	c
183.35/183.48	c ============================[ Search Statistics ]==============================
183.35/183.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.35/183.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.35/183.48	c ===============================================================================
183.35/183.48	c |         0 |    2388     4711    12503 |     5000        0    nan |  0.000 % |
183.35/183.48	c ===============================================================================
183.35/183.49	c core #320
183.35/183.49	c 
183.35/183.49	c 
183.35/183.49	c Core size: 61	Core Weight: 1	Total Weight: 320
183.35/183.49	c
183.35/183.49	c
183.35/183.49	c ============================[ Search Statistics ]==============================
183.35/183.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.35/183.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.35/183.49	c ===============================================================================
183.35/183.49	c |         0 |    2442     4712    12616 |     5000        0    nan |  0.000 % |
183.35/183.49	c ===============================================================================
183.44/183.50	c core #321
183.44/183.50	c 
183.44/183.50	c 
183.44/183.50	c Core size: 82	Core Weight: 1	Total Weight: 321
183.44/183.50	c
183.44/183.50	c
183.44/183.50	c ============================[ Search Statistics ]==============================
183.44/183.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.44/183.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.44/183.50	c ===============================================================================
183.44/183.50	c |         0 |    2506     4713    12751 |     5000        0    nan |  0.000 % |
183.44/183.51	c ===============================================================================
183.44/183.51	c core #322
183.44/183.51	c 
183.44/183.51	c 
183.44/183.51	c Core size: 87	Core Weight: 1	Total Weight: 322
183.44/183.51	c
183.44/183.51	c
183.44/183.51	c ============================[ Search Statistics ]==============================
183.44/183.51	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.44/183.51	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.44/183.51	c ===============================================================================
183.44/183.51	c |         0 |    2576     4714    12899 |     5000        0    nan |  0.000 % |
183.44/183.52	c ===============================================================================
183.44/183.53	c core #323
183.44/183.53	c 
183.44/183.53	c 
183.44/183.53	c Core size: 42	Core Weight: 1	Total Weight: 323
183.44/183.53	c
183.44/183.53	c
183.44/183.53	c ============================[ Search Statistics ]==============================
183.44/183.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.44/183.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.44/183.53	c ===============================================================================
183.44/183.53	c |         0 |    2613     4715    12974 |     5000        0    nan |  0.000 % |
183.44/183.54	c |       101 |    2611     4715    12974 |     5500       58     11 |  2.613 % |
183.44/183.54	c ===============================================================================
183.44/183.55	c core #324
183.44/183.55	c 
183.44/183.55	c 
183.44/183.55	c Core size: 352	Core Weight: 1	Total Weight: 324
183.44/183.55	c
183.44/183.55	c
183.44/183.55	c ============================[ Search Statistics ]==============================
183.44/183.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.44/183.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.44/183.55	c ===============================================================================
183.44/183.55	c |         0 |    2980     4716    13726 |     5000        0    nan |  0.000 % |
183.44/183.57	c |       103 |    2980     4716    13726 |     5500      103     43 |  0.334 % |
183.44/183.59	c |       257 |    2980     4716    13726 |     6050      257     29 |  0.334 % |
183.56/183.62	c ===============================================================================
183.56/183.63	c core #325
183.56/183.63	c 
183.56/183.63	c 
183.56/183.63	c Core size: 629	Core Weight: 1	Total Weight: 325
183.56/183.63	c
183.56/183.63	c
183.56/183.63	c ============================[ Search Statistics ]==============================
183.56/183.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
183.56/183.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
183.56/183.63	c ===============================================================================
183.56/183.63	c |         0 |    3591     4718    14957 |     5000        0    nan |  0.000 % |
183.56/183.65	c |       106 |    3591     4718    14957 |     5500      106    103 |  0.111 % |
183.56/183.70	c |       263 |    3591     4718    14957 |     6050      263     74 |  0.111 % |
183.65/183.76	c |       488 |    3591     4718    14957 |     6655      488     58 |  0.111 % |
183.75/183.84	c |       825 |    3591     4718    14957 |     7320      825     47 |  0.111 % |
183.85/183.96	c |      1331 |    3591     4718    14957 |     8052     1331     39 |  0.111 % |
184.04/184.13	c |      2092 |    3591     4718    14957 |     8857     2092     34 |  0.111 % |
184.34/184.43	c |      3236 |    3591     4718    14957 |     9743     3236     29 |  0.111 % |
184.75/184.81	c |      4946 |    3584     4718    14957 |    10717     3258     25 |  0.306 % |
185.35/185.48	c |      7511 |    3580     4718    14957 |    11789     4077     21 |  0.417 % |
185.45/185.51	c ===============================================================================
185.45/185.57	c core #326
185.45/185.57	c 
185.45/185.57	c 
185.45/185.57	c Core size: 919	Core Weight: 1	Total Weight: 326
185.45/185.57	c
185.45/185.57	c
185.45/185.57	c ============================[ Search Statistics ]==============================
185.45/185.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
185.45/185.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
185.45/185.57	c ===============================================================================
185.45/185.57	c |         0 |    4476     4721    16733 |     5000        0    nan |  0.000 % |
185.55/185.60	c |       104 |    4476     4721    16733 |     5500      104     62 |  0.089 % |
185.55/185.66	c |       254 |    4476     4721    16733 |     6050      254     50 |  0.089 % |
185.64/185.73	c |       480 |    4476     4721    16733 |     6655      480     51 |  0.089 % |
185.75/185.82	c |       817 |    4476     4721    16733 |     7320      817     43 |  0.089 % |
185.85/185.95	c |      1323 |    4476     4721    16733 |     8052     1323     38 |  0.089 % |
186.05/186.17	c |      2085 |    4476     4721    16733 |     8857     2085     38 |  0.089 % |
186.44/186.55	c |      3225 |    4476     4721    16733 |     9743     3225     40 |  0.089 % |
187.14/187.27	c |      4934 |    4476     4721    16733 |    10717     4934     40 |  0.089 % |
188.05/188.11	c |      7496 |    4476     4721    16733 |    11789     7496     36 |  0.089 % |
189.54/189.65	c |     11341 |    4476     4721    16733 |    12968    11341     39 |  0.089 % |
192.05/192.13	c |     17107 |    4476     4721    16733 |    14265    10583     45 |  0.089 % |
196.04/196.18	c |     25756 |    4476     4721    16733 |    15692    11920     52 |  0.089 % |
201.15/201.20	c |     38732 |    4476     4721    16733 |    17261     8635     54 |  0.089 % |
212.34/212.48	c |     58193 |    4476     4721    16733 |    18987    10725     85 |  0.089 % |
229.03/229.10	c |     87387 |    4476     4721    16733 |    20886    11314     46 |  0.089 % |
252.73/252.83	c |    131181 |    4476     4721    16733 |    22974    13196     63 |  0.089 % |
293.02/293.12	c |    196866 |    4474     4721    16733 |    25272    12555     89 |  0.134 % |
308.32/308.49	c ===============================================================================
311.41/311.60	c core #327
311.41/311.60	c 
311.41/311.60	c 
311.41/311.60	c Core size: 1148	Core Weight: 1	Total Weight: 327
311.41/311.60	c
311.41/311.60	c
311.41/311.60	c ============================[ Search Statistics ]==============================
311.41/311.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
311.41/311.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
311.41/311.60	c ===============================================================================
311.41/311.60	c |         0 |    5620     4725    19031 |     5000        0    nan |  0.000 % |
311.61/311.71	c |       100 |    5620     4725    19031 |     5500      100     73 |  0.053 % |
311.61/311.75	c |       250 |    5620     4725    19031 |     6050      250     51 |  0.053 % |
311.61/311.79	c |       475 |    5620     4725    19031 |     6655      475     53 |  0.053 % |
311.72/311.84	c |       813 |    5620     4725    19031 |     7320      813     46 |  0.053 % |
311.72/311.89	c |      1319 |    5620     4725    19031 |     8052     1319     39 |  0.053 % |
311.81/311.97	c |      2079 |    5620     4725    19031 |     8857     2079     35 |  0.053 % |
312.01/312.11	c |      3220 |    5620     4725    19031 |     9743     3220     33 |  0.053 % |
312.23/312.37	c |      4929 |    5620     4725    19031 |    10717     4929     31 |  0.053 % |
312.72/312.81	c |      7492 |    5620     4725    19031 |    11789     7492     29 |  0.053 % |
313.62/313.70	c |     11336 |    5620     4725    19031 |    12968    11336     29 |  0.053 % |
315.22/315.39	c |     17105 |    5620     4725    19031 |    14265    10562     28 |  0.053 % |
317.61/317.75	c |     25755 |    5620     4725    19031 |    15692    12018     28 |  0.053 % |
322.41/322.57	c |     38729 |    5620     4725    19031 |    17261     9182     29 |  0.053 % |
330.01/330.10	c |     58191 |    5620     4725    19031 |    18987    11253     29 |  0.053 % |
342.11/342.25	c |     87385 |    5620     4725    19031 |    20886    11818     28 |  0.053 % |
360.50/360.67	c |    131175 |    5620     4725    19031 |    22974    13585     27 |  0.053 % |
389.20/389.35	c |    196859 |    5620     4725    19031 |    25272    21550     30 |  0.053 % |
429.89/430.09	c |    295386 |    5620     4725    19031 |    27799    17083     27 |  0.053 % |
503.87/504.09	c |    443175 |    5620     4725    19031 |    30579    15363     30 |  0.053 % |
615.34/615.57	c |    664860 |    5620     4725    19031 |    33637    26917     29 |  0.053 % |
799.41/799.64	c |    997386 |    5620     4725    19031 |    37001    13535     27 |  0.053 % |
1107.52/1107.87	c |   1496174 |    5620     4725    19031 |    40701    23735     31 |  0.053 % |
1606.51/1606.98	c |   2244356 |    5620     4725    19031 |    44771    21702     30 |  0.053 % |

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.84 3/106 26719
/proc/meminfo: memFree=1055192/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=2852 CPUtime=0
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 86662736 2920448 237 1992294400 134512640 135752675 4287821120 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 713 237 140 303 0 382 0

[startup+0.017735 s]
/proc/loadavg: 0.99 0.97 0.84 3/106 26719
/proc/meminfo: memFree=1055192/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=2988 CPUtime=0.01
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 361 0 0 0 1 0 0 0 20 0 1 0 86662736 3059712 280 1992294400 134512640 135752675 4287821120 18446744073709551615 134559828 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 747 280 154 303 0 416 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2988

[startup+0.101742 s]
/proc/loadavg: 0.99 0.97 0.84 3/106 26719
/proc/meminfo: memFree=1055192/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=3160 CPUtime=0.09
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 446 0 0 0 9 0 0 0 20 0 1 0 86662736 3235840 339 1992294400 134512640 135752675 4287821120 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 790 339 145 303 0 485 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3160

[startup+0.301759 s]
/proc/loadavg: 0.99 0.97 0.84 3/106 26719
/proc/meminfo: memFree=1055192/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=3424 CPUtime=0.29
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 539 0 0 0 29 0 0 0 20 0 1 0 86662736 3506176 432 1992294400 134512640 135752675 4287821120 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 856 432 145 303 0 551 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3424

[startup+0.701797 s]
/proc/loadavg: 0.99 0.97 0.84 3/106 26719
/proc/meminfo: memFree=1055192/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=4108 CPUtime=0.69
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 692 0 0 0 68 1 0 0 20 0 1 0 86662736 4206592 585 1992294400 134512640 135752675 4287821120 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 1027 585 145 303 0 722 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4108

[startup+1.50087 s]
/proc/loadavg: 0.99 0.97 0.84 2/107 26720
/proc/meminfo: memFree=1053076/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=4944 CPUtime=1.49
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 905 0 0 0 147 2 0 0 22 0 1 0 86662736 5062656 798 1992294400 134512640 135752675 4287821120 18446744073709551615 134605172 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 1236 798 145 303 0 931 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4944

[startup+3.10101 s]
/proc/loadavg: 0.99 0.97 0.84 2/107 26720
/proc/meminfo: memFree=1051836/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=6532 CPUtime=3.09
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 1288 0 0 0 305 4 0 0 25 0 1 0 86662736 6688768 1181 1992294400 134512640 135752675 4287821120 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 1633 1181 145 303 0 1328 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6532

[startup+6.30129 s]
/proc/loadavg: 0.99 0.97 0.84 2/107 26720
/proc/meminfo: memFree=1048736/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=9048 CPUtime=6.29
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 1941 0 0 0 622 7 0 0 25 0 1 0 86662736 9265152 1834 1992294400 134512640 135752675 4287821120 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 2262 1834 145 303 0 1957 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9048

[startup+12.7009 s]
/proc/loadavg: 0.99 0.97 0.84 2/107 26720
/proc/meminfo: memFree=1043652/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=13940 CPUtime=12.69
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 3165 0 0 0 1256 13 0 0 25 0 1 0 86662736 14274560 3058 1992294400 134512640 135752675 4287821120 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 3485 3058 145 303 0 3180 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13940

[startup+25.501 s]
/proc/loadavg: 0.99 0.97 0.84 2/107 26720
/proc/meminfo: memFree=1035352/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=22108 CPUtime=25.49
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 5184 0 0 0 2527 22 0 0 25 0 1 0 86662736 22638592 5077 1992294400 134512640 135752675 4287821120 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 5527 5077 145 303 0 5222 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22108

[startup+51.1013 s]
/proc/loadavg: 0.99 0.97 0.84 2/107 26720
/proc/meminfo: memFree=1022332/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=35252 CPUtime=51.08
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 8472 0 0 0 5067 41 0 0 25 0 1 0 86662736 36098048 8365 1992294400 134512640 135752675 4287821120 18446744073709551615 134612173 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 8813 8365 145 303 0 8508 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 35252

[startup+102.309 s]
/proc/loadavg: 0.99 0.97 0.85 2/107 26722
/proc/meminfo: memFree=997284/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=59896 CPUtime=102.27
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 14619 0 0 0 10147 80 0 0 25 0 1 0 86662736 61333504 14512 1992294400 134512640 135752675 4287821120 18446744073709551615 134604978 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 14974 14512 145 303 0 14669 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 59896

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.85 2/107 26724
/proc/meminfo: memFree=970996/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=86232 CPUtime=162.25
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 21207 0 0 0 16102 123 0 0 25 0 1 0 86662736 88301568 21100 1992294400 134512640 135752675 4287821120 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 21558 21100 145 303 0 21253 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 86232

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.86 2/107 26726
/proc/meminfo: memFree=942476/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=114616 CPUtime=222.24
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 28336 0 0 0 22056 168 0 0 25 0 1 0 86662736 117366784 28198 1992294400 134512640 135752675 4287821120 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 28654 28198 146 303 0 28349 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 114616

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.86 2/107 26726
/proc/meminfo: memFree=898828/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=158792 CPUtime=282.22
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 39373 0 0 0 28010 212 0 0 25 0 1 0 86662736 162603008 39235 1992294400 134512640 135752675 4287821120 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 39698 39235 146 303 0 39393 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 158792

[startup+342.301 s]
/proc/loadavg: 1.06 0.99 0.87 2/107 26728
/proc/meminfo: memFree=878740/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=177904 CPUtime=342.21
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 44158 0 0 0 33974 247 0 0 25 0 1 0 86662736 182173696 44020 1992294400 134512640 135752675 4287821120 18446744073709551615 134611730 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 44476 44020 146 303 0 44171 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 177904

[startup+402.301 s]
/proc/loadavg: 1.08 1.00 0.89 2/107 26730
/proc/meminfo: memFree=866712/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=190256 CPUtime=402.19
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 47254 0 0 0 39935 284 0 0 25 0 1 0 86662736 194822144 47116 1992294400 134512640 135752675 4287821120 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 47564 47116 146 303 0 47259 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 190256

[startup+462.302 s]
/proc/loadavg: 1.08 1.01 0.90 2/107 26732
/proc/meminfo: memFree=846996/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=209756 CPUtime=462.18
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 52109 0 0 0 45894 324 0 0 25 0 1 0 86662736 214790144 51971 1992294400 134512640 135752675 4287821120 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 52439 51971 146 303 0 52134 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 209756

[startup+522.301 s]
/proc/loadavg: 1.15 1.04 0.91 2/107 26732
/proc/meminfo: memFree=828892/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=228172 CPUtime=522.16
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 56711 0 0 0 51856 360 0 0 25 0 1 0 86662736 233648128 56573 1992294400 134512640 135752675 4287821120 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 57043 56573 146 303 0 56738 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 228172

[startup+582.301 s]
/proc/loadavg: 1.05 1.03 0.91 2/107 26734
/proc/meminfo: memFree=806944/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=249764 CPUtime=582.15
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 62107 0 0 0 57819 396 0 0 25 0 1 0 86662736 255758336 61969 1992294400 134512640 135752675 4287821120 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 62441 61969 146 303 0 62136 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 249764

[startup+642.302 s]
/proc/loadavg: 1.02 1.02 0.91 2/107 26736
/proc/meminfo: memFree=783632/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=272968 CPUtime=642.14
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 67903 0 0 0 63784 430 0 0 25 0 1 0 86662736 279519232 67765 1992294400 134512640 135752675 4287821120 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 68242 67765 146 303 0 67937 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 272968

[startup+702.3 s]

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

[startup+882.301 s]
/proc/loadavg: 1.01 1.02 0.92 2/107 26742
/proc/meminfo: memFree=697576/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=358852 CPUtime=882.07
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 89359 0 0 0 87637 570 0 0 25 0 1 0 86662736 367464448 89221 1992294400 134512640 135752675 4287821120 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 89713 89221 146 303 0 89408 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 358852

[startup+942.3 s]
/proc/loadavg: 1.00 1.01 0.92 2/107 26744
/proc/meminfo: memFree=678604/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=377892 CPUtime=942.06
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 94134 0 0 0 93604 602 0 0 25 0 1 0 86662736 386961408 93996 1992294400 134512640 135752675 4287821120 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 94473 93996 146 303 0 94168 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 377892

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26746
/proc/meminfo: memFree=659136/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=397236 CPUtime=1002.04
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 98965 0 0 0 99572 632 0 0 25 0 1 0 86662736 406769664 98827 1992294400 134512640 135752675 4287821120 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 99309 98827 146 303 0 99004 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 397236

[startup+1062.3 s]
/proc/loadavg: 1.05 1.02 0.92 2/107 26751
/proc/meminfo: memFree=641468/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=414484 CPUtime=1062.04
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 103260 0 0 0 105540 664 0 0 25 0 1 0 86662736 424431616 103122 1992294400 134512640 135752675 4287821120 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 103621 103122 146 303 0 103316 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 414484

[startup+1122.3 s]
/proc/loadavg: 1.02 1.01 0.92 2/107 26751
/proc/meminfo: memFree=622248/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=433680 CPUtime=1122.02
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 108056 0 0 0 111503 699 0 0 25 0 1 0 86662736 444088320 107918 1992294400 134512640 135752675 4287821120 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 108420 107918 146 303 0 108115 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 433680

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26753
/proc/meminfo: memFree=604020/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=452128 CPUtime=1182
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 112650 0 0 0 117470 730 0 0 25 0 1 0 86662736 462979072 112512 1992294400 134512640 135752675 4287821120 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 113032 112512 146 303 0 112727 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 452128

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26755
/proc/meminfo: memFree=585792/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=470084 CPUtime=1241.99
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 117143 0 0 0 123438 761 0 0 25 0 1 0 86662736 481366016 117005 1992294400 134512640 135752675 4287821120 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 117521 117005 146 303 0 117216 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 470084

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26757
/proc/meminfo: memFree=568556/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=487276 CPUtime=1301.98
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 121428 0 0 0 129409 789 0 0 25 0 1 0 86662736 498970624 121290 1992294400 134512640 135752675 4287821120 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 121819 121290 146 303 0 121514 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 487276

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26759
/proc/meminfo: memFree=549708/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=506196 CPUtime=1361.96
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 126170 0 0 0 135375 821 0 0 25 0 1 0 86662736 518344704 126032 1992294400 134512640 135752675 4287821120 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 126549 126032 146 303 0 126244 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 506196

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26761
/proc/meminfo: memFree=532844/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=523004 CPUtime=1421.95
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 130354 0 0 0 141347 848 0 0 25 0 1 0 86662736 535556096 130216 1992294400 134512640 135752675 4287821120 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 130751 130216 146 303 0 130446 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 523004

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26761
/proc/meminfo: memFree=515856/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=540184 CPUtime=1481.93
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 134653 0 0 0 147316 877 0 0 25 0 1 0 86662736 553148416 134515 1992294400 134512640 135752675 4287821120 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 135046 134515 146 303 0 134741 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 540184

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26763
/proc/meminfo: memFree=497132/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=558796 CPUtime=1541.92
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 139297 0 0 0 153283 909 0 0 25 0 1 0 86662736 572207104 139159 1992294400 134512640 135752675 4287821120 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 139699 139159 146 303 0 139394 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 558796

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26765
/proc/meminfo: memFree=478780/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=577320 CPUtime=1601.9
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 143933 0 0 0 159250 940 0 0 25 0 1 0 86662736 591175680 143795 1992294400 134512640 135752675 4287821120 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 144330 143795 146 303 0 144025 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 577320

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26767
/proc/meminfo: memFree=460924/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=595132 CPUtime=1661.89
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 148373 0 0 0 165218 971 0 0 25 0 1 0 86662736 609415168 148235 1992294400 134512640 135752675 4287821120 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 148783 148235 146 303 0 148478 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 595132

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26767
/proc/meminfo: memFree=444308/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=611948 CPUtime=1721.87
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 152569 0 0 0 171188 999 0 0 25 0 1 0 86662736 626634752 152431 1992294400 134512640 135752675 4287821120 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 152987 152431 146 303 0 152682 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 611948

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26769
/proc/meminfo: memFree=428932/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=626928 CPUtime=1781.86
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 156309 0 0 0 177161 1025 0 0 25 0 1 0 86662736 641974272 156171 1992294400 134512640 135752675 4287821120 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 156732 156171 146 303 0 156427 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 626928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26771
/proc/meminfo: memFree=423724/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=632096 CPUtime=1800.06
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 157603 0 0 0 178973 1033 0 0 25 0 1 0 86662736 647266304 157465 1992294400 134512640 135752675 4287821120 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 158024 157465 146 303 0 157719 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 632096

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.92 2/107 26771
/proc/meminfo: memFree=423724/2059040 swapFree=4140380/4192956
[pid=26719] ppid=26717 vsize=632096 CPUtime=1800.06
/proc/26719/stat : 26719 (wbo1.4b) R 26717 26719 26441 0 -1 4202496 157603 0 0 0 178973 1033 0 0 25 0 1 0 86662736 647266304 157465 1992294400 134512640 135752675 4287821120 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26719/statm: 158024 157465 146 303 0 157719 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 632096

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.57
CPU time (s): 1800.13
CPU user time (s): 1789.74
CPU system time (s): 10.3964
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 632096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.74
system time used= 10.3964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157603
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= 11
involuntary context switches= 1110

runsolver used 3.21051 second user time and 8.29074 second system time

The end

Launcher Data 

Begin job on node043 at 2010-06-25 10:15:03
IDJOB=2680488
IDBENCH=2155
IDSOLVER=1190
FILE ID=node043/2680488-1277453703
PBS_JOBID= 11188124
Free space on /tmp= 62324 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f600.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680488-1277453703/watcher-2680488-1277453703 -o /tmp/evaluation-result-2680488-1277453703/solver-2680488-1277453703 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680488-1277453703.opb

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

MD5SUM BENCH= 2b1f0bdf934439fa3364f5fdf4570849
RANDOM SEED=808469326

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.241
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.37
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1055720 kB
Buffers:        177720 kB
Cached:         709240 kB
SwapCached:       5496 kB
Active:         301048 kB
Inactive:       599052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1055720 kB
SwapTotal:     4192956 kB
SwapFree:      4140380 kB
Dirty:            2644 kB
Writeback:           0 kB
AnonPages:       11692 kB
Mapped:          12016 kB
Slab:            81008 kB
PageTables:       4120 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   184144 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= 62324 MiB
End job on node043 at 2010-06-25 10:45:06