Trace number 2680653

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)? (MO) 879.838 880.083

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-max1024.pi.opb
MD5SUM93fc03471d2b2f18ece1d77179dbcb30
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark259
Best CPU time to get the best result obtained on this benchmark3.59845
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 259
Optimality of the best value was proved YES
Number of variables1278
Total number of constraints1087
Number of constraints which are clauses1087
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 constraint1
Maximum length of a constraint18
Number of terms in the objective function 1278
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 1278
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 1278
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-2680653-1277453477.opb.
0.00/0.00	c Instance file HOME/instance-2680653-1277453477.opb
0.00/0.00	c File size is 74860 bytes.
0.00/0.01	c Highest Coefficient sum: 19
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      1278                                                |
0.00/0.01	c |  Number Clauses:        1087                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 0                                                   |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |    1264     1087     6958 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 303
0.00/0.01	o 303
0.00/0.01	c Elapsed CPU time: 0.015997 s	Remaining CPU time: 179.984 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |    1264     1088     8236 |     5000        0    nan |  0.000 % |
0.00/0.03	c |       100 |    1264     1088     8236 |     5500      100    307 |  1.096 % |
0.00/0.06	c |       250 |    1264     1088     8236 |     6050      250    310 |  1.096 % |
0.00/0.10	c |       476 |    1264     1088     8236 |     6655      476    310 |  1.096 % |
0.10/0.16	c |       813 |    1264     1088     8236 |     7320      813    311 |  1.096 % |
0.19/0.25	c |      1319 |    1264     1088     8236 |     8052     1319    312 |  1.096 % |
0.39/0.41	c |      2079 |    1264     1088     8236 |     8857     2079    314 |  1.096 % |
0.59/0.61	c |      3218 |    1264     1088     8236 |     9743     3218    313 |  1.096 % |
0.89/0.97	c |      4927 |    1264     1088     8236 |    10717     4927    312 |  1.096 % |
1.39/1.45	c |      7489 |    1264     1088     8236 |    11789     7489    312 |  1.096 % |
2.30/2.35	c |     11333 |    1264     1088     8236 |    12968    11333    312 |  1.096 % |
3.59/3.66	c |     17100 |    1264     1088     8236 |    14265    10062    312 |  1.096 % |
5.89/5.90	c |     25750 |    1264     1088     8236 |    15692    11039    313 |  1.096 % |
9.29/9.30	c |     38724 |    1264     1088     8236 |    17261    15618    311 |  1.096 % |
14.19/14.30	c |     58185 |    1264     1088     8236 |    18987    16679    312 |  1.096 % |
21.39/21.42	c |     87378 |    1264     1088     8236 |    20886    15659    310 |  1.096 % |
33.38/33.42	c |    131167 |    1264     1088     8236 |    22974    14196    309 |  1.096 % |
55.27/55.37	c |    196852 |    1264     1088     8236 |    25272    13277    308 |  1.096 % |
80.97/81.08	c |    295378 |    1264     1088     8236 |    27799    18774    309 |  1.096 % |
129.26/129.33	c |    443167 |    1264     1088     8236 |    30579    22889    311 |  1.096 % |
182.55/182.70	c There are 14 assigned variables. 14 in cost function.
183.54/183.67	c core #1
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 4	Core Weight: 1	Total Weight: 15
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #2
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 5	Core Weight: 1	Total Weight: 16
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #3
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 5	Core Weight: 1	Total Weight: 17
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #4
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 6	Core Weight: 1	Total Weight: 18
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #5
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 7	Core Weight: 1	Total Weight: 19
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #6
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 12	Core Weight: 1	Total Weight: 20
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #7
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 6	Core Weight: 1	Total Weight: 21
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #8
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 4	Core Weight: 1	Total Weight: 22
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #9
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 8	Core Weight: 1	Total Weight: 23
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #10
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 4	Core Weight: 1	Total Weight: 24
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #11
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 10	Core Weight: 1	Total Weight: 25
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #12
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 7	Core Weight: 1	Total Weight: 26
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #13
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 6	Core Weight: 1	Total Weight: 27
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #14
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 5	Core Weight: 1	Total Weight: 28
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #15
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 4	Core Weight: 1	Total Weight: 29
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #16
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 4	Core Weight: 1	Total Weight: 30
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #17
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 6	Core Weight: 1	Total Weight: 31
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #18
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 7	Core Weight: 1	Total Weight: 32
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #19
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 5	Core Weight: 1	Total Weight: 33
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #20
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 3	Core Weight: 1	Total Weight: 34
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #21
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 5	Core Weight: 1	Total Weight: 35
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #22
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 3	Core Weight: 1	Total Weight: 36
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #23
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 5	Core Weight: 1	Total Weight: 37
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #24
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 6	Core Weight: 1	Total Weight: 38
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #25
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 3	Core Weight: 1	Total Weight: 39
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #26
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 5	Core Weight: 1	Total Weight: 40
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #27
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 11	Core Weight: 1	Total Weight: 41
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #28
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 6	Core Weight: 1	Total Weight: 42
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #29
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 3	Core Weight: 1	Total Weight: 43
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #30
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 4	Core Weight: 1	Total Weight: 44
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #31
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 6	Core Weight: 1	Total Weight: 45
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #32
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 4	Core Weight: 1	Total Weight: 46
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #33
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 3	Core Weight: 1	Total Weight: 47
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #34
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 3	Core Weight: 1	Total Weight: 48
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #35
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 6	Core Weight: 1	Total Weight: 49
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #36
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 3	Core Weight: 1	Total Weight: 50
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #37
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 7	Core Weight: 1	Total Weight: 51
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #38
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 4	Core Weight: 1	Total Weight: 52
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #39
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 8	Core Weight: 1	Total Weight: 53
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #40
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 4	Core Weight: 1	Total Weight: 54
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #41
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 5	Core Weight: 1	Total Weight: 55
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #42
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 4	Core Weight: 1	Total Weight: 56
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #43
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 8	Core Weight: 1	Total Weight: 57
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #44
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 8	Core Weight: 1	Total Weight: 58
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #45
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 6	Core Weight: 1	Total Weight: 59
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #46
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 10	Core Weight: 1	Total Weight: 60
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #47
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 7	Core Weight: 1	Total Weight: 61
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #48
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 7	Core Weight: 1	Total Weight: 62
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #49
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 5	Core Weight: 1	Total Weight: 63
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #50
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 8	Core Weight: 1	Total Weight: 64
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #51
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 6	Core Weight: 1	Total Weight: 65
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #52
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 5	Core Weight: 1	Total Weight: 66
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #53
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 5	Core Weight: 1	Total Weight: 67
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #54
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 9	Core Weight: 1	Total Weight: 68
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #55
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 8	Core Weight: 1	Total Weight: 69
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #56
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 10	Core Weight: 1	Total Weight: 70
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #57
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 9	Core Weight: 1	Total Weight: 71
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #58
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 5	Core Weight: 1	Total Weight: 72
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #59
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 12	Core Weight: 1	Total Weight: 73
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #60
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 9	Core Weight: 1	Total Weight: 74
183.54/183.67	c
183.54/183.67	c
183.54/183.67	c core #61
183.54/183.67	c 
183.54/183.67	c 
183.54/183.67	c Core size: 4	Core Weight: 1	Total Weight: 75
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #62
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 3	Core Weight: 1	Total Weight: 76
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #63
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 6	Core Weight: 1	Total Weight: 77
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #64
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 3	Core Weight: 1	Total Weight: 78
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #65
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 9	Core Weight: 1	Total Weight: 79
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #66
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 7	Core Weight: 1	Total Weight: 80
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #67
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 7	Core Weight: 1	Total Weight: 81
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #68
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 4	Core Weight: 1	Total Weight: 82
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #69
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 4	Core Weight: 1	Total Weight: 83
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #70
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 4	Core Weight: 1	Total Weight: 84
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #71
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 6	Core Weight: 1	Total Weight: 85
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #72
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 7	Core Weight: 1	Total Weight: 86
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #73
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 3	Core Weight: 1	Total Weight: 87
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #74
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 3	Core Weight: 1	Total Weight: 88
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #75
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 3	Core Weight: 1	Total Weight: 89
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #76
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 3	Core Weight: 1	Total Weight: 90
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #77
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 5	Core Weight: 1	Total Weight: 91
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #78
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 4	Core Weight: 1	Total Weight: 92
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #79
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 4	Core Weight: 1	Total Weight: 93
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #80
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 4	Core Weight: 1	Total Weight: 94
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #81
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 9	Core Weight: 1	Total Weight: 95
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #82
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 8	Core Weight: 1	Total Weight: 96
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #83
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 3	Core Weight: 1	Total Weight: 97
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #84
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 5	Core Weight: 1	Total Weight: 98
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #85
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 7	Core Weight: 1	Total Weight: 99
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #86
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 7	Core Weight: 1	Total Weight: 100
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #87
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 4	Core Weight: 1	Total Weight: 101
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #88
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 3	Core Weight: 1	Total Weight: 102
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #89
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 3	Core Weight: 1	Total Weight: 103
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #90
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 3	Core Weight: 1	Total Weight: 104
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #91
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 4	Core Weight: 1	Total Weight: 105
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #92
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 4	Core Weight: 1	Total Weight: 106
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #93
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 4	Core Weight: 1	Total Weight: 107
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #94
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 3	Core Weight: 1	Total Weight: 108
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #95
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 5	Core Weight: 1	Total Weight: 109
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #96
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 4	Core Weight: 1	Total Weight: 110
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #97
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 4	Core Weight: 1	Total Weight: 111
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #98
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 3	Core Weight: 1	Total Weight: 112
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #99
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 8	Core Weight: 1	Total Weight: 113
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #100
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 4	Core Weight: 1	Total Weight: 114
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #101
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 6	Core Weight: 1	Total Weight: 115
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #102
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 5	Core Weight: 1	Total Weight: 116
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #103
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 3	Core Weight: 1	Total Weight: 117
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #104
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 13	Core Weight: 1	Total Weight: 118
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #105
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 10	Core Weight: 1	Total Weight: 119
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #106
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 7	Core Weight: 1	Total Weight: 120
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #107
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 3	Core Weight: 1	Total Weight: 121
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #108
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 7	Core Weight: 1	Total Weight: 122
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #109
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 7	Core Weight: 1	Total Weight: 123
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #110
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 3	Core Weight: 1	Total Weight: 124
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #111
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 3	Core Weight: 1	Total Weight: 125
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #112
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 10	Core Weight: 1	Total Weight: 126
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #113
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 4	Core Weight: 1	Total Weight: 127
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #114
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 3	Core Weight: 1	Total Weight: 128
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #115
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 3	Core Weight: 1	Total Weight: 129
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #116
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 5	Core Weight: 1	Total Weight: 130
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #117
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 10	Core Weight: 1	Total Weight: 131
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #118
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 3	Core Weight: 1	Total Weight: 132
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #119
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 3	Core Weight: 1	Total Weight: 133
183.84/183.93	c
183.84/183.93	c
183.84/183.93	c core #120
183.84/183.93	c 
183.84/183.93	c 
183.84/183.93	c Core size: 7	Core Weight: 1	Total Weight: 134
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #121
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 10	Core Weight: 1	Total Weight: 135
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #122
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 6	Core Weight: 1	Total Weight: 136
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #123
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 5	Core Weight: 1	Total Weight: 137
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #124
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 4	Core Weight: 1	Total Weight: 138
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #125
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 4	Core Weight: 1	Total Weight: 139
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #126
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 6	Core Weight: 1	Total Weight: 140
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #127
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 3	Core Weight: 1	Total Weight: 141
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #128
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 3	Core Weight: 1	Total Weight: 142
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #129
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 7	Core Weight: 1	Total Weight: 143
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #130
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 11	Core Weight: 1	Total Weight: 144
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #131
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 7	Core Weight: 1	Total Weight: 145
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #132
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 13	Core Weight: 1	Total Weight: 146
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #133
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 4	Core Weight: 1	Total Weight: 147
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #134
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 4	Core Weight: 1	Total Weight: 148
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #135
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 4	Core Weight: 1	Total Weight: 149
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #136
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 4	Core Weight: 1	Total Weight: 150
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #137
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 4	Core Weight: 1	Total Weight: 151
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #138
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 4	Core Weight: 1	Total Weight: 152
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #139
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 4	Core Weight: 1	Total Weight: 153
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #140
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 3	Core Weight: 1	Total Weight: 154
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #141
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 3	Core Weight: 1	Total Weight: 155
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #142
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 4	Core Weight: 1	Total Weight: 156
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #143
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 5	Core Weight: 1	Total Weight: 157
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #144
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 4	Core Weight: 1	Total Weight: 158
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #145
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 7	Core Weight: 1	Total Weight: 159
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #146
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 7	Core Weight: 1	Total Weight: 160
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #147
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 3	Core Weight: 1	Total Weight: 161
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #148
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 3	Core Weight: 1	Total Weight: 162
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #149
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 4	Core Weight: 1	Total Weight: 163
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #150
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 3	Core Weight: 1	Total Weight: 164
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #151
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 3	Core Weight: 1	Total Weight: 165
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #152
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 9	Core Weight: 1	Total Weight: 166
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #153
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 6	Core Weight: 1	Total Weight: 167
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #154
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 9	Core Weight: 1	Total Weight: 168
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #155
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 8	Core Weight: 1	Total Weight: 169
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #156
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 4	Core Weight: 1	Total Weight: 170
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #157
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 4	Core Weight: 1	Total Weight: 171
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #158
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 8	Core Weight: 1	Total Weight: 172
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #159
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 3	Core Weight: 1	Total Weight: 173
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #160
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 3	Core Weight: 1	Total Weight: 174
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #161
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 7	Core Weight: 1	Total Weight: 175
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #162
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 8	Core Weight: 1	Total Weight: 176
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #163
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 9	Core Weight: 1	Total Weight: 177
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #164
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 5	Core Weight: 1	Total Weight: 178
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #165
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 3	Core Weight: 1	Total Weight: 179
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #166
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 5	Core Weight: 1	Total Weight: 180
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #167
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 6	Core Weight: 1	Total Weight: 181
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #168
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 11	Core Weight: 1	Total Weight: 182
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #169
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 5	Core Weight: 1	Total Weight: 183
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #170
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 9	Core Weight: 1	Total Weight: 184
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #171
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 11	Core Weight: 1	Total Weight: 185
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #172
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 5	Core Weight: 1	Total Weight: 186
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #173
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 4	Core Weight: 1	Total Weight: 187
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #174
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 6	Core Weight: 1	Total Weight: 188
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #175
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 4	Core Weight: 1	Total Weight: 189
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #176
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 6	Core Weight: 1	Total Weight: 190
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #177
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 3	Core Weight: 1	Total Weight: 191
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #178
184.14/184.24	c 
184.14/184.24	c 
184.14/184.24	c Core size: 3	Core Weight: 1	Total Weight: 192
184.14/184.24	c
184.14/184.24	c
184.14/184.24	c core #179
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 8	Core Weight: 1	Total Weight: 193
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #180
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 9	Core Weight: 1	Total Weight: 194
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #181
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 6	Core Weight: 1	Total Weight: 195
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #182
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 6	Core Weight: 1	Total Weight: 196
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #183
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 4	Core Weight: 1	Total Weight: 197
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #184
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 4	Core Weight: 1	Total Weight: 198
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #185
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 7	Core Weight: 1	Total Weight: 199
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #186
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 5	Core Weight: 1	Total Weight: 200
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #187
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 6	Core Weight: 1	Total Weight: 201
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #188
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 3	Core Weight: 1	Total Weight: 202
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #189
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 9	Core Weight: 1	Total Weight: 203
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #190
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 5	Core Weight: 1	Total Weight: 204
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #191
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 5	Core Weight: 1	Total Weight: 205
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #192
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 6	Core Weight: 1	Total Weight: 206
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #193
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 4	Core Weight: 1	Total Weight: 207
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #194
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 4	Core Weight: 1	Total Weight: 208
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #195
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 4	Core Weight: 1	Total Weight: 209
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #196
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 7	Core Weight: 1	Total Weight: 210
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #197
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 4	Core Weight: 1	Total Weight: 211
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #198
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 5	Core Weight: 1	Total Weight: 212
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #199
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 17	Core Weight: 1	Total Weight: 213
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #200
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 24	Core Weight: 1	Total Weight: 214
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #201
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 15	Core Weight: 1	Total Weight: 215
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #202
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 9	Core Weight: 1	Total Weight: 216
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #203
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 36	Core Weight: 1	Total Weight: 217
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #204
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 27	Core Weight: 1	Total Weight: 218
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #205
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 11	Core Weight: 1	Total Weight: 219
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #206
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 17	Core Weight: 1	Total Weight: 220
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #207
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 12	Core Weight: 1	Total Weight: 221
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #208
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 8	Core Weight: 1	Total Weight: 222
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #209
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 23	Core Weight: 1	Total Weight: 223
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #210
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 9	Core Weight: 1	Total Weight: 224
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #211
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 15	Core Weight: 1	Total Weight: 225
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #212
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 19	Core Weight: 1	Total Weight: 226
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #213
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 10	Core Weight: 1	Total Weight: 227
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #214
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 14	Core Weight: 1	Total Weight: 228
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #215
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 11	Core Weight: 1	Total Weight: 229
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #216
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 20	Core Weight: 1	Total Weight: 230
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #217
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 29	Core Weight: 1	Total Weight: 231
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c core #218
184.44/184.52	c 
184.44/184.52	c 
184.44/184.52	c Core size: 68	Core Weight: 1	Total Weight: 232
184.44/184.52	c
184.44/184.52	c
184.44/184.52	c ============================[ Search Statistics ]==============================
184.44/184.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.44/184.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.44/184.52	c ===============================================================================
184.44/184.52	c |         0 |    2124     2567    11508 |     5000        0    nan |  0.000 % |
184.44/184.53	c ===============================================================================
184.44/184.53	c core #219
184.44/184.53	c 
184.44/184.53	c 
184.44/184.53	c Core size: 152	Core Weight: 1	Total Weight: 233
184.44/184.53	c
184.44/184.53	c
184.44/184.53	c ============================[ Search Statistics ]==============================
184.44/184.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.44/184.54	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.44/184.54	c ===============================================================================
184.44/184.54	c |         0 |    2304     2568    11823 |     5000        0    nan |  0.000 % |
184.44/184.54	c |       100 |    2304     2568    11823 |     5500      100     12 | 10.319 % |
184.44/184.56	c |       250 |    2298     2568    11823 |     6050      246     12 | 10.592 % |
184.44/184.56	c ===============================================================================
184.44/184.57	c core #220
184.44/184.57	c 
184.44/184.57	c 
184.44/184.57	c Core size: 158	Core Weight: 1	Total Weight: 234
184.44/184.57	c
184.44/184.57	c
184.44/184.57	c ============================[ Search Statistics ]==============================
184.44/184.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.44/184.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.44/184.57	c ===============================================================================
184.44/184.57	c |         0 |    2484     2569    12137 |     5000        0    nan |  0.000 % |
184.44/184.58	c |       100 |    2472     2569    12137 |     5500       86     13 |  8.819 % |
184.44/184.58	c ===============================================================================
184.44/184.59	c core #221
184.44/184.59	c 
184.44/184.59	c 
184.44/184.59	c Core size: 24	Core Weight: 1	Total Weight: 235
184.44/184.59	c
184.44/184.59	c
184.44/184.59	c ============================[ Search Statistics ]==============================
184.44/184.59	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.44/184.59	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.44/184.59	c ===============================================================================
184.44/184.59	c |         0 |    2508     2570    12178 |     5000        0    nan |  0.000 % |
184.55/184.60	c |       102 |    2508     2570    12178 |     5500      102     12 |  8.067 % |
184.55/184.61	c |       258 |    2506     2570    12178 |     6050      138     13 |  8.104 % |
184.55/184.63	c |       484 |    2482     2570    12178 |     6655      172     12 |  8.984 % |
184.55/184.63	c ===============================================================================
184.55/184.64	c core #222
184.55/184.64	c 
184.55/184.64	c 
184.55/184.64	c Core size: 87	Core Weight: 1	Total Weight: 236
184.55/184.64	c
184.55/184.64	c
184.55/184.64	c ============================[ Search Statistics ]==============================
184.55/184.64	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.55/184.64	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.55/184.64	c ===============================================================================
184.55/184.64	c |         0 |    2593     2571    12341 |     5000        0    nan |  0.000 % |
184.55/184.65	c |       100 |    2591     2571    12341 |     5500      100     15 |  8.235 % |
184.55/184.67	c |       250 |    2573     2571    12341 |     6050      248     21 |  8.271 % |
184.55/184.69	c |       477 |    2555     2571    12341 |     6655      468     21 |  8.913 % |
184.64/184.71	c |       814 |    2555     2571    12341 |     7320      805     25 |  8.913 % |
184.64/184.72	c ===============================================================================
184.64/184.74	c core #223
184.64/184.74	c 
184.64/184.74	c 
184.64/184.74	c Core size: 214	Core Weight: 1	Total Weight: 237
184.64/184.74	c
184.64/184.74	c
184.64/184.74	c ============================[ Search Statistics ]==============================
184.64/184.74	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.64/184.74	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.64/184.74	c ===============================================================================
184.64/184.74	c |         0 |    2809     2572    12767 |     5000        0    nan |  0.000 % |
184.64/184.75	c |       100 |    2809     2572    12767 |     5500      100     27 |  6.833 % |
184.64/184.76	c |       250 |    2807     2572    12767 |     6050      236     27 |  6.899 % |
184.64/184.79	c |       475 |    2797     2572    12767 |     6655      455     24 |  7.397 % |
184.75/184.82	c |       812 |    2792     2572    12767 |     7320      781     34 |  7.396 % |
184.75/184.88	c ===============================================================================
184.75/184.89	c core #224
184.75/184.89	c 
184.75/184.89	c 
184.75/184.89	c Core size: 11	Core Weight: 1	Total Weight: 238
184.75/184.89	c
184.75/184.89	c
184.75/184.89	c ============================[ Search Statistics ]==============================
184.75/184.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.75/184.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.75/184.89	c ===============================================================================
184.75/184.89	c |         0 |    2821     2573    12787 |     5000        0    nan |  0.000 % |
184.75/184.90	c ===============================================================================
184.85/184.90	c core #225
184.85/184.90	c 
184.85/184.90	c 
184.85/184.90	c Core size: 40	Core Weight: 1	Total Weight: 239
184.85/184.90	c
184.85/184.90	c
184.85/184.90	c ============================[ Search Statistics ]==============================
184.85/184.90	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.85/184.90	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.85/184.90	c ===============================================================================
184.85/184.90	c |         0 |    2858     2574    12857 |     5000        0    nan |  0.000 % |
184.85/184.91	c |       102 |    2858     2574    12857 |     5500      102     29 |  6.479 % |
184.85/184.93	c |       252 |    2858     2574    12857 |     6050      252     37 |  6.479 % |
184.85/184.95	c |       477 |    2855     2574    12857 |     6655      476     30 |  6.577 % |
184.85/184.99	c |       814 |    2838     2574    12857 |     7320      801     30 |  7.853 % |
184.94/185.04	c |      1320 |    2838     2574    12857 |     8052     1307     32 |  7.853 % |
185.04/185.13	c |      2079 |    2816     2574    12857 |     8857     2064     40 |  7.853 % |
185.14/185.29	c |      3221 |    2816     2574    12857 |     9743     3206     48 |  7.853 % |
185.44/185.57	c |      4931 |    2814     2574    12857 |    10717     4915     58 |  7.919 % |
185.95/186.06	c |      7493 |    2814     2574    12857 |    11789     7477     70 |  7.919 % |
187.05/187.17	c |     11337 |    2814     2574    12857 |    12968    11321     95 |  7.919 % |
188.94/189.03	c |     17104 |    2814     2574    12857 |    14265    10357    122 |  7.922 % |
189.14/189.20	c ===============================================================================
189.25/189.39	c core #226
189.25/189.39	c 
189.25/189.39	c 
189.25/189.39	c Core size: 426	Core Weight: 1	Total Weight: 240
189.25/189.39	c
189.25/189.39	c
189.25/189.39	c ============================[ Search Statistics ]==============================
189.25/189.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
189.25/189.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
189.25/189.39	c ===============================================================================
189.25/189.39	c |         0 |    3333     2575    13744 |     5000        0    nan |  0.000 % |
189.34/189.41	c |       100 |    3333     2575    13744 |     5500      100     23 |  4.059 % |
189.34/189.42	c |       251 |    3333     2575    13744 |     6050      251     35 |  4.059 % |
189.34/189.44	c |       476 |    3333     2575    13744 |     6655      476     38 |  4.059 % |
189.34/189.48	c |       814 |    3333     2575    13744 |     7320      814     57 |  4.059 % |
189.44/189.54	c |      1322 |    3333     2575    13744 |     8052     1322     48 |  4.059 % |
189.54/189.65	c |      2081 |    3331     2575    13744 |     8857     2080     69 |  4.116 % |
189.74/189.81	c |      3221 |    3331     2575    13744 |     9743     3220     63 |  4.116 % |
190.14/190.22	c |      4931 |    3329     2575    13744 |    10717     4905     72 |  4.174 % |
190.25/190.30	c ===============================================================================
190.25/190.34	c core #227
190.25/190.34	c 
190.25/190.34	c 
190.25/190.34	c Core size: 300	Core Weight: 1	Total Weight: 241
190.25/190.34	c
190.25/190.34	c
190.25/190.34	c ============================[ Search Statistics ]==============================
190.25/190.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
190.25/190.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
190.25/190.34	c ===============================================================================
190.25/190.34	c |         0 |    3652     2576    14359 |     5000        0    nan |  0.000 % |
190.25/190.36	c |       100 |    3650     2576    14359 |     5500      100     48 |  3.183 % |
190.25/190.38	c |       251 |    3650     2576    14359 |     6050      250     61 |  3.183 % |
190.35/190.43	c |       476 |    3650     2576    14359 |     6655      475     66 |  3.183 % |
190.35/190.47	c |       813 |    3650     2576    14359 |     7320      812     75 |  3.183 % |
190.44/190.54	c |      1319 |    3650     2576    14359 |     8052     1318     72 |  3.183 % |
190.54/190.68	c |      2083 |    3650     2576    14359 |     8857     2082     76 |  3.183 % |
190.84/190.92	c |      3222 |    3650     2576    14359 |     9743     3221    107 |  3.183 % |
191.24/191.39	c |      4930 |    3650     2576    14359 |    10717     4929    130 |  3.183 % |
192.14/192.28	c |      7492 |    3650     2576    14359 |    11789     7491    167 |  3.183 % |
194.13/194.27	c |     11340 |    3650     2576    14359 |    12968    11339    234 |  3.183 % |
196.03/196.11	c |     17106 |    3650     2576    14359 |    14265    10213    207 |  3.183 % |
199.94/200.02	c |     25755 |    3650     2576    14359 |    15692    11465    236 |  3.183 % |
206.75/206.87	c |     38729 |    3650     2576    14359 |    17261     8219    276 |  3.183 % |
220.43/220.59	c |     58190 |    3650     2576    14359 |    18987     9684    241 |  3.183 % |
243.73/243.85	c |     87384 |    3647     2576    14359 |    20886    19273    224 |  3.289 % |
264.82/264.92	c ===============================================================================
266.72/266.85	c core #228
266.72/266.85	c 
266.72/266.85	c 
266.72/266.85	c Core size: 490	Core Weight: 1	Total Weight: 242
266.72/266.85	c
266.72/266.85	c
266.72/266.85	c ============================[ Search Statistics ]==============================
266.72/266.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
266.72/266.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
266.72/266.85	c ===============================================================================
266.72/266.85	c |         0 |    4158     2577    15350 |     5000        0    nan |  0.000 % |
266.82/266.90	c |       100 |    4158     2577    15350 |     5500      100     52 |  2.280 % |
266.82/266.91	c ===============================================================================
266.82/266.93	c core #229
266.82/266.93	c 
266.82/266.93	c 
266.82/266.93	c Core size: 18	Core Weight: 1	Total Weight: 243
266.82/266.93	c
266.82/266.93	c
266.82/266.93	c ============================[ Search Statistics ]==============================
266.82/266.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
266.82/266.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
266.82/266.93	c ===============================================================================
266.82/266.93	c |         0 |    4172     2578    15378 |     5000        0    nan |  0.000 % |
266.82/266.94	c |       101 |    4172     2578    15378 |     5500      101     50 |  2.272 % |
266.82/266.96	c |       252 |    4172     2578    15378 |     6050      252     70 |  2.272 % |
266.82/267.00	c |       477 |    4172     2578    15378 |     6655      477     64 |  2.272 % |
266.92/267.04	c |       814 |    4172     2578    15378 |     7320      814     75 |  2.272 % |
267.02/267.12	c |      1321 |    4172     2578    15378 |     8052     1321     87 |  2.272 % |
267.23/267.31	c |      2081 |    4172     2578    15378 |     8857     2081    113 |  2.272 % |
267.42/267.59	c |      3220 |    4172     2578    15378 |     9743     3220    141 |  2.272 % |
267.82/267.98	c |      4930 |    4172     2578    15378 |    10717     4930    152 |  2.272 % |
268.82/268.91	c |      7492 |    4172     2578    15378 |    11789     7492    194 |  2.272 % |
270.32/270.40	c |     11340 |    4172     2578    15378 |    12968    11340    202 |  2.272 % |
273.32/273.43	c |     17109 |    4167     2578    15378 |    14265    10361    260 |  2.389 % |
278.42/278.53	c |     25758 |    4166     2578    15378 |    15692    11689    322 |  2.413 % |
287.31/287.44	c |     38734 |    4166     2578    15378 |    17261    16423    355 |  2.413 % |
307.61/307.71	c |     58198 |    4166     2578    15378 |    18987    17737    397 |  2.413 % |
328.11/328.21	c |     87393 |    4166     2578    15378 |    20886    17380    387 |  2.413 % |
356.90/357.06	c |    131185 |    4152     2578    15378 |    22974    18559    314 |  2.741 % |
406.58/406.79	c |    196871 |    4152     2578    15378 |    25272    13282    269 |  2.741 % |
434.97/435.14	c ===============================================================================
435.28/435.41	c core #230
435.28/435.41	c 
435.28/435.41	c 
435.28/435.41	c Core size: 43	Core Weight: 1	Total Weight: 244
435.28/435.41	c
435.28/435.41	c
435.28/435.41	c ============================[ Search Statistics ]==============================
435.28/435.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
435.28/435.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
435.28/435.41	c ===============================================================================
435.28/435.41	c |         0 |    4209     2579    15449 |     5000        0    nan |  0.000 % |
435.28/435.47	c |       102 |    4209     2579    15449 |     5500      102     45 |  2.185 % |
435.28/435.49	c |       252 |    4209     2579    15449 |     6050      252     36 |  2.185 % |
435.38/435.53	c |       478 |    4209     2579    15449 |     6655      478     35 |  2.185 % |
435.38/435.58	c |       815 |    4209     2579    15449 |     7320      815     31 |  2.185 % |
435.48/435.68	c |      1324 |    4209     2579    15449 |     8052     1324     53 |  2.185 % |
435.67/435.84	c |      2083 |    4209     2579    15449 |     8857     2083     75 |  2.185 % |
435.98/436.10	c |      3222 |    4209     2579    15449 |     9743     3222     87 |  2.185 % |
436.37/436.59	c |      4930 |    4209     2579    15449 |    10717     4930     96 |  2.185 % |
436.98/437.16	c |      7493 |    4209     2579    15449 |    11789     7493    119 |  2.185 % |
438.17/438.39	c |     11337 |    4209     2579    15449 |    12968    11337    164 |  2.185 % |
440.67/440.88	c |     17103 |    4209     2579    15449 |    14265    10326    158 |  2.185 % |
445.97/446.11	c |     25752 |    4209     2579    15449 |    15692    11404    284 |  2.185 % |
454.67/454.80	c |     38732 |    4209     2579    15449 |    17261    16250    254 |  2.185 % |
470.47/470.64	c |     58195 |    4209     2579    15449 |    18987    17959    261 |  2.185 % |
490.86/491.06	c |     87388 |    4203     2579    15449 |    20886    17804    248 |  2.370 % |
529.95/530.12	c |    131177 |    4201     2579    15449 |    22974    18549    354 |  2.370 % |
577.73/577.93	c |    196861 |    4201     2579    15449 |    25272    13671    252 |  2.370 % |
673.02/673.28	c |    295387 |    4201     2579    15449 |    27799    20152    319 |  2.370 % |
750.98/751.25	c ===============================================================================
757.38/757.68	c core #231
757.38/757.68	c 
757.38/757.68	c 
757.38/757.68	c Core size: 492	Core Weight: 1	Total Weight: 245
757.38/757.68	c
757.38/757.68	c
757.38/757.68	c ============================[ Search Statistics ]==============================
757.38/757.68	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
757.38/757.68	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
757.38/757.68	c ===============================================================================
757.38/757.68	c |         0 |    4705     2580    16428 |     5000        0    nan |  0.000 % |
757.59/757.83	c |       101 |    4705     2580    16428 |     5500      101    206 |  1.692 % |
757.59/757.86	c |       252 |    4705     2580    16428 |     6050      252    108 |  1.692 % |
757.69/757.90	c |       477 |    4705     2580    16428 |     6655      477    120 |  1.692 % |
757.69/757.96	c |       815 |    4705     2580    16428 |     7320      815    114 |  1.692 % |
757.79/758.04	c |      1321 |    4705     2580    16428 |     8052     1321    106 |  1.692 % |
757.98/758.23	c |      2082 |    4705     2580    16428 |     8857     2082    114 |  1.692 % |
758.28/758.56	c |      3221 |    4705     2580    16428 |     9743     3221    164 |  1.692 % |
758.68/759.00	c |      4929 |    4705     2580    16428 |    10717     4929    146 |  1.692 % |
759.78/760.02	c |      7491 |    4705     2580    16428 |    11789     7491    231 |  1.692 % |
761.17/761.45	c |     11336 |    4705     2580    16428 |    12968    11336    227 |  1.692 % |
764.28/764.58	c |     17103 |    4705     2580    16428 |    14265    10440    274 |  1.692 % |
768.47/768.78	c |     25752 |    4705     2580    16428 |    15692    11855    318 |  1.692 % |
774.97/775.25	c |     38726 |    4705     2580    16428 |    17261    16811    304 |  1.692 % |
787.38/787.64	c |     58189 |    4705     2580    16428 |    18987     9983    357 |  1.692 % |
805.56/805.81	c |     87386 |    4705     2580    16428 |    20886    19660    257 |  1.692 % |
838.26/838.60	c |    131177 |    4705     2580    16428 |    22974    20298    376 |  1.692 % |
838.56/838.84	c ===============================================================================
838.75/839.04	c core #232
838.75/839.04	c 
838.75/839.04	c 
838.75/839.04	c Core size: 31	Core Weight: 1	Total Weight: 246
838.75/839.04	c
838.75/839.04	c
838.75/839.04	c ============================[ Search Statistics ]==============================
838.75/839.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
838.75/839.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
838.75/839.04	c ===============================================================================
838.75/839.04	c |         0 |    4734     2581    16484 |     5000        0    nan |  0.000 % |
838.86/839.10	c |       100 |    4734     2581    16484 |     5500      100     42 |  1.641 % |
838.86/839.12	c |       251 |    4734     2581    16484 |     6050      251     96 |  1.641 % |
838.86/839.16	c |       478 |    4734     2581    16484 |     6655      478     99 |  1.641 % |
838.96/839.22	c |       818 |    4734     2581    16484 |     7320      818     88 |  1.641 % |
839.06/839.33	c |      1326 |    4734     2581    16484 |     8052     1326    128 |  1.641 % |
839.17/839.47	c |      2085 |    4734     2581    16484 |     8857     2085    108 |  1.641 % |
839.56/839.81	c |      3227 |    4734     2581    16484 |     9743     3227    236 |  1.641 % |
840.05/840.34	c |      4937 |    4734     2581    16484 |    10717     4937    201 |  1.641 % |
841.16/841.45	c |      7505 |    4734     2581    16484 |    11789     7505    273 |  1.641 % |
842.86/843.19	c |     11349 |    4734     2581    16484 |    12968    11349    290 |  1.641 % |
845.95/846.20	c |     17116 |    4734     2581    16484 |    14265    10111    322 |  1.641 % |
851.05/851.37	c |     25766 |    4734     2581    16484 |    15692    11302    368 |  1.641 % |
861.65/861.91	c |     38740 |    4734     2581    16484 |    17261    16170    430 |  1.641 % |
879.24/879.51	c |     58205 |    4734     2581    16484 |    18987    17606    486 |  1.641 % |

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

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


[startup+0 s]
/proc/loadavg: 1.01 1.00 0.82 3/106 28972
/proc/meminfo: memFree=1855056/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=2824 CPUtime=0
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 320 0 0 0 0 0 0 0 17 0 1 0 86642177 2891776 239 1992294400 134512640 135752675 4293937360 18446744073709551615 134559856 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 706 239 141 303 0 382 0

[startup+0.106343 s]
/proc/loadavg: 1.01 1.00 0.82 3/106 28972
/proc/meminfo: memFree=1855056/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=3540 CPUtime=0.1
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 540 0 0 0 10 0 0 0 17 0 1 0 86642177 3624960 440 1992294400 134512640 135752675 4293937360 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 885 440 145 303 0 580 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3540

[startup+0.201351 s]
/proc/loadavg: 1.01 1.00 0.82 3/106 28972
/proc/meminfo: memFree=1855056/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=4180 CPUtime=0.19
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 709 0 0 0 19 0 0 0 17 0 1 0 86642177 4280320 609 1992294400 134512640 135752675 4293937360 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 1045 609 145 303 0 740 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 4180

[startup+0.301359 s]
/proc/loadavg: 1.01 1.00 0.82 3/106 28972
/proc/meminfo: memFree=1855056/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=4956 CPUtime=0.29
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 901 0 0 0 29 0 0 0 17 0 1 0 86642177 5074944 801 1992294400 134512640 135752675 4293937360 18446744073709551615 134638050 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 1239 801 145 303 0 934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4956

[startup+0.700394 s]
/proc/loadavg: 1.01 1.00 0.82 3/106 28972
/proc/meminfo: memFree=1855056/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=7784 CPUtime=0.69
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 1603 0 0 0 68 1 0 0 17 0 1 0 86642177 7970816 1503 1992294400 134512640 135752675 4293937360 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 1946 1503 145 303 0 1641 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7784

[startup+1.50046 s]
/proc/loadavg: 1.01 1.00 0.82 2/107 28973
/proc/meminfo: memFree=1846740/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=13176 CPUtime=1.49
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 2964 0 0 0 146 3 0 0 18 0 1 0 86642177 13492224 2864 1992294400 134512640 135752675 4293937360 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 3294 2864 145 303 0 2989 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13176

[startup+3.1016 s]
/proc/loadavg: 1.01 1.00 0.82 2/107 28973
/proc/meminfo: memFree=1839672/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=22740 CPUtime=3.09
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 5346 0 0 0 303 6 0 0 21 0 1 0 86642177 23285760 5246 1992294400 134512640 135752675 4293937360 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 5685 5246 145 303 0 5380 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22740

[startup+6.30188 s]
/proc/loadavg: 1.01 1.00 0.82 2/107 28973
/proc/meminfo: memFree=1821196/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=40200 CPUtime=6.29
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 9709 0 0 0 617 12 0 0 25 0 1 0 86642177 41164800 9609 1992294400 134512640 135752675 4293937360 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 10050 9609 145 303 0 9745 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40200

[startup+12.7014 s]
/proc/loadavg: 1.01 1.00 0.82 2/107 28973
/proc/meminfo: memFree=1786972/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=72368 CPUtime=12.68
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 17746 0 0 0 1245 23 0 0 25 0 1 0 86642177 74104832 17646 1992294400 134512640 135752675 4293937360 18446744073709551615 134638140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 18092 17646 145 303 0 17787 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 72368

[startup+25.5005 s]
/proc/loadavg: 1.01 1.00 0.82 2/107 28975
/proc/meminfo: memFree=1715672/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=141608 CPUtime=25.49
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 35059 0 0 0 2506 43 0 0 25 0 1 0 86642177 145006592 34959 1992294400 134512640 135752675 4293937360 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 35402 34959 145 303 0 35097 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 141608

[startup+51.1007 s]
/proc/loadavg: 1.00 1.00 0.82 2/107 28975
/proc/meminfo: memFree=1609404/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=248956 CPUtime=51.08
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 61879 0 0 0 5029 79 0 0 25 0 1 0 86642177 254930944 61779 1992294400 134512640 135752675 4293937360 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 62239 61779 145 303 0 61934 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 248956

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 0.83 2/107 28977
/proc/meminfo: memFree=1376160/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=479812 CPUtime=102.27
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 119539 0 0 0 10073 154 0 0 25 0 1 0 86642177 491327488 119439 1992294400 134512640 135752675 4293937360 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 119953 119439 145 303 0 119648 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 479812

[startup+162.3 s]
/proc/loadavg: 1.00 1.00 0.84 2/107 28977
/proc/meminfo: memFree=1120968/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=736240 CPUtime=162.24
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 183607 0 0 0 15987 237 0 0 25 0 1 0 86642177 753909760 183507 1992294400 134512640 135752675 4293937360 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 184060 183507 145 303 0 183755 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 736240

[startup+222.308 s]
/proc/loadavg: 1.00 1.00 0.84 2/107 28979
/proc/meminfo: memFree=985684/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=869420 CPUtime=222.24
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 217057 0 0 0 21906 318 0 0 25 0 1 0 86642177 890286080 216926 1992294400 134512640 135752675 4293937360 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 217355 216926 146 303 0 217050 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 869420

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.85 2/107 28981
/proc/meminfo: memFree=891072/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=965064 CPUtime=282.21
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 241031 0 0 0 27826 395 0 0 25 0 1 0 86642177 988225536 240835 1992294400 134512640 135752675 4293937360 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 241266 240835 146 303 0 240961 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 965064

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.85 2/107 28983
/proc/meminfo: memFree=771288/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=1083244 CPUtime=342.2
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 270576 0 0 0 33754 466 0 0 25 0 1 0 86642177 1109241856 270380 1992294400 134512640 135752675 4293937360 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 270811 270380 146 303 0 270506 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1083244

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.86 2/107 28985
/proc/meminfo: memFree=655100/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=1200536 CPUtime=402.19
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 299883 0 0 0 39676 543 0 0 25 0 1 0 86642177 1229348864 299687 1992294400 134512640 135752675 4293937360 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 300134 299687 146 303 0 299829 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1200536

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.86 2/107 28985
/proc/meminfo: memFree=590992/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=1263320 CPUtime=462.17
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 315572 0 0 0 45620 597 0 0 25 0 1 0 86642177 1293639680 315376 1992294400 134512640 135752675 4293937360 18446744073709551615 134605174 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 315830 315376 146 303 0 315525 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1263320

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.87 2/107 28987
/proc/meminfo: memFree=509276/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=1346300 CPUtime=522.15
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 336319 0 0 0 51556 659 0 0 25 0 1 0 86642177 1378611200 336123 1992294400 134512640 135752675 4293937360 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 336575 336123 146 303 0 336270 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1346300

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 0.88 2/107 28989
/proc/meminfo: memFree=407968/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=1446100 CPUtime=582.13
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 361247 0 0 0 57489 724 0 0 25 0 1 0 86642177 1480806400 361051 1992294400 134512640 135752675 4293937360 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 361525 361051 146 303 0 361220 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1446100

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.88 2/107 28991
/proc/meminfo: memFree=330716/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=1523572 CPUtime=642.11
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 380625 0 0 0 63436 775 0 0 25 0 1 0 86642177 1560137728 380429 1992294400 134512640 135752675 4293937360 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 380893 380429 146 303 0 380588 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1523572

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.89 2/107 28993
/proc/meminfo: memFree=266484/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=1587100 CPUtime=702.1
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 396464 0 0 0 69394 816 0 0 25 0 1 0 86642177 1625190400 396268 1992294400 134512640 135752675 4293937360 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 396775 396268 146 303 0 396470 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 1587100

[startup+762.301 s]
/proc/loadavg: 1.00 1.00 0.89 2/107 28993
/proc/meminfo: memFree=207088/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=1646064 CPUtime=762.08
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 411172 0 0 0 75343 865 0 0 25 0 1 0 86642177 1685569536 410976 1992294400 134512640 135752675 4293937360 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 411516 410976 146 303 0 411211 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 1646064

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.90 2/107 28995
/proc/meminfo: memFree=102432/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=1751356 CPUtime=822.06
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 437585 0 0 0 81245 961 0 0 25 0 1 0 86642177 1793388544 437389 1992294400 134512640 135752675 4293937360 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 437839 437389 146 303 0 437534 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 1751356



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+879.901 s]
/proc/loadavg: 1.00 1.00 0.91 2/107 28997
/proc/meminfo: memFree=10436/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=1843372 CPUtime=879.65
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4202496 460585 0 0 0 86942 1023 0 0 25 0 1 0 86642177 1887612928 460389 1992294400 134512640 135752675 4293937360 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28972/statm: 460843 460389 146 303 0 460538 0
Current children cumulated CPU time (s) 879.65
Current children cumulated vsize (KiB) 1843372

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

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

[startup+880.009 s]
/proc/loadavg: 1.00 1.00 0.91 2/108 28998
/proc/meminfo: memFree=1018920/2059040 swapFree=4140112/4192956
[pid=28972] ppid=28970 vsize=0 CPUtime=879.76
/proc/28972/stat : 28972 (wbo1.4b) R 28970 28972 28782 0 -1 4203524 460585 0 0 0 86942 1034 0 0 25 0 1 0 86642177 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/28972/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 879.76
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 880.083
CPU time (s): 879.838
CPU user time (s): 869.426
CPU system time (s): 10.4124
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 1843372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 869.426
system time used= 10.4124
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460585
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= 12
involuntary context switches= 2677

runsolver used 1.55576 second user time and 4.07738 second system time

The end

Launcher Data 

Begin job on node031 at 2010-06-25 10:11:17
IDJOB=2680653
IDBENCH=2043
IDSOLVER=1190
FILE ID=node031/2680653-1277453477
PBS_JOBID= 11188134
Free space on /tmp= 62420 MiB

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

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

MD5SUM BENCH= 93fc03471d2b2f18ece1d77179dbcb30
RANDOM SEED=1779119596

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1855460 kB
Buffers:         28208 kB
Cached:          68800 kB
SwapCached:       5404 kB
Active:          14960 kB
Inactive:        95516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1855460 kB
SwapTotal:     4192956 kB
SwapFree:      4140112 kB
Dirty:            2748 kB
Writeback:           0 kB
AnonPages:       12088 kB
Mapped:          12020 kB
Slab:            70724 kB
PageTables:       4196 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181588 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62420 MiB
End job on node031 at 2010-06-25 10:25:59