Trace number 2680579

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) 1317.32 1317.7

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
MD5SUM5f836d1b8d150c1925229546ed283812
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark371
Best CPU time to get the best result obtained on this benchmark1796.29
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 453
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
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 constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 491651
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 491651
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680579-1277451716.opb.
0.00/0.00	c Instance file HOME/instance-2680579-1277451716.opb
0.00/0.00	c File size is 17233665 bytes.
2.99/3.07	c Highest Coefficient sum: 101
2.99/3.08	c ============================[ Problem Statistics ]=============================
2.99/3.08	c |                                                                             |
2.99/3.08	c |  Parsing time:          3.03         s                                      |
2.99/3.08	c |  Number Variables:      10000                                               |
2.99/3.08	c |  Number Clauses:        656900                                              |
2.99/3.08	c |  Number Cardinality:    0                                                   |
2.99/3.08	c |  Number PB Constraints: 0                                                   |
6.58/6.61	c ============================[ Search Statistics ]==============================
6.58/6.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.58/6.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.58/6.61	c ===============================================================================
6.58/6.61	c |         0 |   10000   656900  1333400 |   218966        0    nan |  0.000 % |
6.58/6.69	c |       100 |   10000   656900  1333400 |   240863      100    958 |  0.000 % |
6.78/6.82	c |       251 |   10000   656900  1333400 |   264949      251   1339 |  0.000 % |
7.08/7.13	c ===============================================================================
7.08/7.13	c New solution: 7090
7.08/7.13	o 7090
7.08/7.13	c Elapsed CPU time: 6.99894 s	Remaining CPU time: 173.001 s
7.08/7.13	c ===============================================================================
7.08/7.13	c |       283 |   10000   656901  1343400 |   218967      283   1242 |  0.000 % |
7.38/7.42	c ===============================================================================
7.38/7.42	c New solution: 6823
7.38/7.42	o 6823
7.38/7.42	c Elapsed CPU time: 7.29389 s	Remaining CPU time: 172.706 s
7.38/7.42	c ===============================================================================
7.38/7.42	c |       289 |   10000   656902  1353400 |   218967      289   1221 |  0.000 % |
7.68/7.72	c ===============================================================================
7.68/7.72	c New solution: 6577
7.68/7.72	o 6577
7.68/7.72	c Elapsed CPU time: 7.58985 s	Remaining CPU time: 172.41 s
7.68/7.72	c ===============================================================================
7.68/7.72	c |       295 |   10000   656903  1363400 |   218967      295   1202 |  0.000 % |
7.98/8.05	c ===============================================================================
7.98/8.05	c New solution: 6563
7.98/8.05	o 6563
7.98/8.05	c Elapsed CPU time: 7.9108 s	Remaining CPU time: 172.089 s
7.98/8.05	c ===============================================================================
7.98/8.05	c |       327 |   10000   656904  1373400 |   218968      327   1152 |  0.000 % |
8.08/8.15	c |       429 |   10000   656904  1373400 |   240864      429   1253 |  0.000 % |
8.17/8.28	c |       581 |   10000   656904  1373400 |   264951      581   1128 |  0.000 % |
8.48/8.50	c |       806 |   10000   656904  1373400 |   291446      806   1052 |  0.000 % |
8.79/8.86	c ===============================================================================
8.79/8.86	c New solution: 6489
8.79/8.86	o 6489
8.79/8.86	c Elapsed CPU time: 8.70268 s	Remaining CPU time: 171.297 s
8.79/8.86	c ===============================================================================
8.79/8.86	c |       880 |   10000   656905  1383400 |   218968      880   1059 |  0.000 % |
8.88/8.95	c |       982 |   10000   656905  1383400 |   240865      982   1072 |  0.000 % |
9.07/9.10	c |      1133 |   10000   656905  1383400 |   264951     1133   1124 |  0.000 % |
9.28/9.32	c |      1358 |   10000   656905  1383400 |   291446     1358   1216 |  0.000 % |
9.58/9.63	c ===============================================================================
9.58/9.63	c New solution: 6481
9.58/9.63	o 6481
9.58/9.63	c Elapsed CPU time: 9.46856 s	Remaining CPU time: 170.531 s
9.58/9.63	c ===============================================================================
9.58/9.63	c |      1359 |   10000   656906  1393400 |   218968     1359   1216 |  0.000 % |
9.68/9.74	c |      1461 |   10000   656906  1393400 |   240865     1461   1234 |  0.000 % |
9.88/9.91	c |      1611 |   10000   656906  1393400 |   264952     1611   1221 |  0.000 % |
10.18/10.24	c ===============================================================================
10.18/10.24	c New solution: 6387
10.18/10.24	o 6387
10.18/10.24	c Elapsed CPU time: 10.0715 s	Remaining CPU time: 169.929 s
10.18/10.24	c ===============================================================================
10.18/10.24	c |      1648 |   10000   656907  1403400 |   218969     1648   1217 |  0.000 % |
10.28/10.35	c |      1749 |   10000   656907  1403400 |   240865     1749   1225 |  0.000 % |
10.48/10.52	c |      1902 |   10000   656907  1403400 |   264952     1902   1237 |  0.000 % |
10.68/10.78	c |      2128 |   10000   656907  1403400 |   291447     2128   1273 |  0.000 % |
10.99/11.09	c ===============================================================================
10.99/11.09	c New solution: 6124
10.99/11.09	o 6124
10.99/11.09	c Elapsed CPU time: 10.8993 s	Remaining CPU time: 169.101 s
10.99/11.09	c ===============================================================================
10.99/11.09	c |      2131 |   10000   656908  1413400 |   218969     2131   1272 |  0.000 % |
11.38/11.43	c ===============================================================================
11.38/11.43	c New solution: 6115
11.38/11.43	o 6115
11.38/11.43	c Elapsed CPU time: 11.2313 s	Remaining CPU time: 168.769 s
11.38/11.43	c ===============================================================================
11.38/11.43	c |      2157 |   10000   656909  1423400 |   218969     2157   1268 |  0.000 % |
11.48/11.56	c |      2259 |   10000   656909  1423400 |   240866     2259   1249 |  0.000 % |
11.88/11.97	c ===============================================================================
11.88/11.97	c New solution: 6097
11.88/11.97	o 6097
11.88/11.97	c Elapsed CPU time: 11.7692 s	Remaining CPU time: 168.231 s
11.88/11.97	c ===============================================================================
11.88/11.97	c |      2376 |   10000   656910  1433400 |   218970     2376   1259 |  0.000 % |
12.08/12.13	c |      2476 |   10000   656910  1433400 |   240867     2476   1252 |  0.000 % |
12.28/12.34	c |      2626 |   10000   656910  1433400 |   264953     2626   1228 |  0.000 % |
12.58/12.68	c |      2852 |   10000   656910  1433400 |   291449     2852   1187 |  0.000 % |
13.09/13.14	c |      3190 |   10000   656910  1433400 |   320593     3190   1134 |  0.000 % |
13.78/13.86	c |      3697 |   10000   656910  1433400 |   352653     3697   1080 |  0.000 % |
14.78/14.84	c |      4459 |   10000   656910  1433400 |   387918     4459    993 |  0.000 % |
16.07/16.20	c |      5599 |   10000   656910  1433400 |   426710     5599    960 |  0.000 % |
18.68/18.73	c |      7308 |   10000   656910  1433400 |   469381     7308    902 |  0.000 % |
19.07/19.12	c ===============================================================================
19.07/19.12	c New solution: 6047
19.07/19.12	o 6047
19.07/19.12	c Elapsed CPU time: 18.8741 s	Remaining CPU time: 161.126 s
19.07/19.12	c ===============================================================================
19.07/19.12	c |      7380 |   10000   656911  1443400 |   218970     7380    902 |  0.000 % |
19.18/19.27	c |      7481 |   10000   656911  1443400 |   240867     7481    898 |  0.000 % |
19.48/19.58	c ===============================================================================
19.48/19.58	c New solution: 5769
19.48/19.58	o 5769
19.48/19.58	c Elapsed CPU time: 19.3271 s	Remaining CPU time: 160.673 s
19.48/19.58	c ===============================================================================
19.48/19.58	c |      7481 |   10000   656912  1453400 |   218970     7481    898 |  0.000 % |
19.68/19.70	c |      7581 |   10000   656912  1453400 |   240867     7581    902 |  0.000 % |
19.97/20.00	c |      7733 |   10000   656912  1453400 |   264954     7733    902 |  0.000 % |
20.28/20.37	c |      7958 |   10000   656912  1453400 |   291449     7958    910 |  0.000 % |
20.78/20.85	c |      8295 |   10000   656912  1453400 |   320594     8295    917 |  0.000 % |
21.48/21.53	c |      8801 |   10000   656912  1453400 |   352654     8801    904 |  0.000 % |
22.48/22.59	c |      9563 |   10000   656912  1453400 |   387919     9563    890 |  0.000 % |
24.08/24.20	c |     10702 |   10000   656912  1453400 |   426711    10702    868 |  0.000 % |
27.07/27.11	c |     12411 |   10000   656912  1453400 |   469383    12411    856 |  0.000 % |
30.08/30.10	c ===============================================================================
30.08/30.10	c New solution: 5746
30.08/30.10	o 5746
30.08/30.10	c Elapsed CPU time: 29.7745 s	Remaining CPU time: 150.226 s
30.08/30.10	c ===============================================================================
30.08/30.10	c |     14312 |   10000   656913  1463400 |   218971    14312    841 |  0.000 % |
30.17/30.28	c |     14412 |   10000   656913  1463400 |   240868    14412    841 |  0.000 % |
30.47/30.56	c |     14562 |   10000   656913  1463400 |   264954    14562    841 |  0.000 % |
30.78/30.85	c |     14787 |   10000   656913  1463400 |   291450    14787    835 |  0.000 % |
31.08/31.16	c ===============================================================================
31.08/31.16	c New solution: 5731
31.08/31.16	o 5731
31.08/31.16	c Elapsed CPU time: 30.8163 s	Remaining CPU time: 149.184 s
31.08/31.16	c ===============================================================================
31.08/31.16	c |     14788 |   10000   656914  1473400 |   218971    14788    835 |  0.000 % |
31.27/31.34	c |     14893 |   10000   656914  1473400 |   240868    14893    837 |  0.000 % |
31.57/31.60	c |     15043 |   10000   656914  1473400 |   264955    15043    837 |  0.000 % |
31.88/31.93	c |     15268 |   10000   656914  1473400 |   291450    15268    832 |  0.000 % |
32.48/32.54	c |     15606 |   10000   656914  1473400 |   320595    15606    830 |  0.000 % |
33.18/33.21	c |     16112 |   10000   656914  1473400 |   352655    16112    827 |  0.000 % |
34.57/34.61	c |     16871 |   10000   656914  1473400 |   387921    16871    812 |  0.000 % |
36.97/37.06	c |     18012 |   10000   656914  1473400 |   426713    18012    793 |  0.000 % |
40.17/40.20	c |     19720 |   10000   656914  1473400 |   469384    19720    787 |  0.000 % |
44.17/44.21	c |     22284 |   10000   656914  1473400 |   516322    22284    768 |  0.000 % |
50.66/50.76	c |     26128 |   10000   656914  1473400 |   567955    26128    727 |  0.000 % |
61.87/61.99	c |     31897 |   10000   656914  1473400 |   624750    31897    744 |  0.000 % |
75.46/75.58	c |     40547 |   10000   656914  1473400 |   687225    40547    757 |  0.000 % |
98.25/98.30	c |     53522 |   10000   656914  1473400 |   755948    53522    778 |  0.000 % |
98.55/98.63	c ===============================================================================
98.55/98.63	c New solution: 5660
98.55/98.63	o 5660
98.55/98.63	c Elapsed CPU time: 97.9541 s	Remaining CPU time: 82.0459 s
98.55/98.63	c ===============================================================================
98.55/98.63	c |     53527 |   10000   656915  1483400 |   218971    53527    778 |  0.000 % |
98.66/98.78	c |     53628 |   10000   656915  1483400 |   240868    53628    778 |  0.000 % |
98.96/99.06	c |     53778 |   10000   656915  1483400 |   264955    53778    778 |  0.000 % |
99.35/99.45	c |     54003 |   10000   656915  1483400 |   291451    54003    782 |  0.000 % |
100.06/100.10	c |     54341 |   10000   656915  1483400 |   320596    54341    782 |  0.000 % |
100.76/100.88	c |     54848 |   10000   656915  1483400 |   352656    54848    780 |  0.000 % |
102.16/102.25	c |     55608 |   10000   656915  1483400 |   387921    55608    779 |  0.000 % |
103.85/104.00	c |     56749 |   10000   656915  1483400 |   426713    56749    776 |  0.000 % |
104.46/104.51	c ===============================================================================
104.46/104.51	c New solution: 5656
104.46/104.51	o 5656
104.46/104.51	c Elapsed CPU time: 103.781 s	Remaining CPU time: 76.2188 s
104.46/104.51	c ===============================================================================
104.46/104.51	c |     56817 |   10000   656916  1493400 |   218972    56817    775 |  0.000 % |
104.75/104.81	c |     56917 |   10000   656916  1493400 |   240869    56917    775 |  0.000 % |
104.95/105.07	c |     57067 |   10000   656916  1493400 |   264956    57067    775 |  0.000 % |
105.46/105.58	c |     57292 |   10000   656916  1493400 |   291451    57292    774 |  0.000 % |
106.35/106.43	c |     57629 |   10000   656916  1493400 |   320596    57629    774 |  0.000 % |
107.15/107.22	c |     58135 |   10000   656916  1493400 |   352656    58135    773 |  0.000 % |
108.45/108.54	c |     58894 |   10000   656916  1493400 |   387922    58894    775 |  0.000 % |
110.35/110.48	c |     60034 |   10000   656916  1493400 |   426714    60034    777 |  0.000 % |
113.65/113.70	c |     61743 |   10000   656916  1493400 |   469385    61743    776 |  0.000 % |
117.66/117.78	c |     64306 |   10000   656916  1493400 |   516324    64306    776 |  0.000 % |
126.74/126.85	c |     68150 |   10000   656916  1493400 |   567956    68150    770 |  0.000 % |
136.54/136.64	c |     73917 |   10000   656916  1493400 |   624752    73917    762 |  0.000 % |
151.75/151.89	c |     82566 |   10000   656916  1493400 |   687227    82566    772 |  0.000 % |
152.54/152.65	c ===============================================================================
152.54/152.65	c New solution: 5654
152.54/152.65	o 5654
152.54/152.65	c Elapsed CPU time: 151.69 s	Remaining CPU time: 28.3101 s
152.54/152.65	c ===============================================================================
152.54/152.65	c |     82754 |   10000   656917  1503400 |   218972    82754    772 |  0.000 % |
152.85/152.95	c |     82857 |   10000   656917  1503400 |   240869    82857    772 |  0.000 % |
153.04/153.16	c |     83007 |   10000   656917  1503400 |   264956    83007    772 |  0.000 % |
153.54/153.62	c |     83234 |   10000   656917  1503400 |   291452    83234    772 |  0.000 % |
154.34/154.40	c |     83573 |   10000   656917  1503400 |   320597    83573    771 |  0.000 % |
155.34/155.48	c |     84079 |   10000   656917  1503400 |   352657    84079    770 |  0.000 % |
156.94/157.00	c |     84840 |   10000   656917  1503400 |   387922    84840    770 |  0.000 % |
159.14/159.25	c |     85979 |   10000   656917  1503400 |   426715    85979    770 |  0.000 % |
161.84/161.91	c |     87687 |   10000   656917  1503400 |   469386    87687    765 |  0.000 % |
163.24/163.39	c ===============================================================================
163.24/163.39	c New solution: 5647
163.24/163.39	o 5647
163.24/163.39	c Elapsed CPU time: 162.355 s	Remaining CPU time: 17.6447 s
163.24/163.39	c ===============================================================================
163.24/163.39	c |     88314 |   10000   656918  1513400 |   218972    88314    766 |  0.000 % |
163.54/163.64	c |     88414 |   10000   656918  1513400 |   240869    88414    766 |  0.000 % |
163.94/164.00	c |     88564 |   10000   656918  1513400 |   264956    88564    766 |  0.000 % |
164.43/164.54	c |     88789 |   10000   656918  1513400 |   291452    88789    765 |  0.000 % |
165.24/165.33	c |     89127 |   10000   656918  1513400 |   320597    89127    764 |  0.000 % |
166.04/166.16	c |     89633 |   10000   656918  1513400 |   352657    89633    765 |  0.000 % |
167.54/167.63	c |     90392 |   10000   656918  1513400 |   387923    90392    767 |  0.000 % |
169.54/169.68	c |     91531 |   10000   656918  1513400 |   426715    91531    764 |  0.000 % |
172.73/172.84	c |     93239 |   10000   656918  1513400 |   469387    93239    760 |  0.000 % |
174.94/175.02	c ===============================================================================
174.94/175.02	c New solution: 5609
174.94/175.02	o 5609
174.94/175.02	c Elapsed CPU time: 173.93 s	Remaining CPU time: 6.07044 s
174.94/175.02	c ===============================================================================
174.94/175.02	c |     94093 |   10000   656919  1523400 |   218973    94093    760 |  0.000 % |
175.13/175.23	c |     94193 |   10000   656919  1523400 |   240870    94193    759 |  0.000 % |
175.44/175.51	c |     94345 |   10000   656919  1523400 |   264957    94345    759 |  0.000 % |
175.84/175.98	c |     94570 |   10000   656919  1523400 |   291453    94570    760 |  0.000 % |
176.74/176.87	c |     94908 |   10000   656919  1523400 |   320598    94908    759 |  0.000 % |
178.05/178.19	c |     95415 |   10000   656919  1523400 |   352658    95415    758 |  0.000 % |
179.43/179.56	c |     96175 |   10000   656919  1523400 |   387924    96175    758 |  0.000 % |
181.04/181.14	c There are 0 assigned variables. 0 in cost function.
203.34/203.41	c core #1
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 1
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #2
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 2
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #3
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 3
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #4
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 4
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #5
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 5
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #6
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 6
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #7
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 7
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #8
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 8
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #9
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 9
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #10
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 10
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #11
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 11
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #12
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 12
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #13
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 13
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #14
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 14
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #15
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 15
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #16
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 16
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #17
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 17
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #18
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 18
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #19
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 19
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #20
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 201	Core Weight: 1	Total Weight: 20
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #21
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 21
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #22
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 22
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #23
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 2	Total Weight: 24
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #24
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 25
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #25
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 26
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #26
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 27
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #27
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 28
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #28
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 29
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #29
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 2	Total Weight: 31
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #30
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 32
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #31
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 201	Core Weight: 1	Total Weight: 33
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #32
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 501	Core Weight: 1	Total Weight: 34
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #33
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 35
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #34
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 36
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #35
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 37
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #36
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 8	Total Weight: 45
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #37
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 46
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #38
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 47
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #39
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 48
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #40
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 3	Total Weight: 51
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #41
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 52
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #42
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 2	Total Weight: 54
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #43
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 55
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #44
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 56
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #45
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 57
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #46
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 2	Total Weight: 59
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #47
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 401	Core Weight: 1	Total Weight: 60
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #48
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 61
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #49
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 62
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #50
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 63
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #51
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 2	Total Weight: 65
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #52
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 201	Core Weight: 1	Total Weight: 66
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #53
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 67
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #54
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 68
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #55
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 201	Core Weight: 1	Total Weight: 69
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #56
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 70
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #57
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 71
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #58
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 72
203.34/203.41	c
203.34/203.41	c
203.34/203.41	c core #59
203.34/203.41	c 
203.34/203.41	c 
203.34/203.41	c Core size: 101	Core Weight: 1	Total Weight: 73
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #60
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 401	Core Weight: 1	Total Weight: 74
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #61
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 75
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #62
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 3	Total Weight: 78
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #63
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 79
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #64
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 2	Total Weight: 81
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #65
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 82
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #66
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 83
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #67
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 84
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #68
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 85
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #69
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 801	Core Weight: 1	Total Weight: 86
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #70
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 87
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #71
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 88
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #72
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 2	Total Weight: 90
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #73
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 91
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #74
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 92
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #75
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 93
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #76
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 94
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #77
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 95
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #78
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 96
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #79
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 301	Core Weight: 1	Total Weight: 97
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #80
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 98
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #81
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 99
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #82
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 100
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #83
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 101
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #84
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 102
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #85
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 201	Core Weight: 1	Total Weight: 103
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #86
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 104
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #87
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 105
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #88
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 301	Core Weight: 1	Total Weight: 106
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #89
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 107
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #90
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 108
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #91
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 109
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #92
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 110
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #93
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 111
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #94
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 112
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #95
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 113
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #96
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 501	Core Weight: 1	Total Weight: 114
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #97
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 115
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #98
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 601	Core Weight: 1	Total Weight: 116
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #99
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 2	Total Weight: 118
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #100
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 119
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #101
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 120
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #102
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 121
225.92/226.04	c
225.92/226.04	c
225.92/226.04	c core #103
225.92/226.04	c 
225.92/226.04	c 
225.92/226.04	c Core size: 101	Core Weight: 1	Total Weight: 122
225.92/226.05	c
225.92/226.05	c
225.92/226.05	c core #104
225.92/226.05	c 
225.92/226.05	c 
225.92/226.05	c Core size: 201	Core Weight: 1	Total Weight: 123
225.92/226.05	c
225.92/226.05	c
225.92/226.05	c core #105
225.92/226.05	c 
225.92/226.05	c 
225.92/226.05	c Core size: 101	Core Weight: 1	Total Weight: 124
225.92/226.05	c
225.92/226.05	c
225.92/226.05	c core #106
225.92/226.05	c 
225.92/226.05	c 
225.92/226.05	c Core size: 101	Core Weight: 1	Total Weight: 125
225.92/226.05	c
225.92/226.05	c
225.92/226.05	c core #107
225.92/226.05	c 
225.92/226.05	c 
225.92/226.05	c Core size: 101	Core Weight: 1	Total Weight: 126
225.92/226.05	c
225.92/226.05	c
225.92/226.05	c core #108
225.92/226.05	c 
225.92/226.05	c 
225.92/226.05	c Core size: 101	Core Weight: 2	Total Weight: 128
225.92/226.05	c
225.92/226.05	c
225.92/226.05	c core #109
225.92/226.05	c 
225.92/226.05	c 
225.92/226.05	c Core size: 901	Core Weight: 1	Total Weight: 129
225.92/226.05	c
225.92/226.05	c
225.92/226.05	c core #110
225.92/226.05	c 
225.92/226.05	c 
225.92/226.05	c Core size: 101	Core Weight: 1	Total Weight: 130
225.92/226.05	c
225.92/226.05	c
225.92/226.05	c core #111
225.92/226.05	c 
225.92/226.05	c 
225.92/226.05	c Core size: 101	Core Weight: 1	Total Weight: 131
225.92/226.05	c
225.92/226.05	c
225.92/226.05	c core #112
225.92/226.05	c 
225.92/226.05	c 
225.92/226.05	c Core size: 101	Core Weight: 2	Total Weight: 133
225.92/226.05	c
225.92/226.05	c
225.92/226.05	c core #113
225.92/226.05	c 
225.92/226.05	c 
225.92/226.05	c Core size: 101	Core Weight: 1	Total Weight: 134
225.92/226.05	c
225.92/226.05	c
225.92/226.05	c core #114
225.92/226.05	c 
225.92/226.05	c 
225.92/226.05	c Core size: 101	Core Weight: 1	Total Weight: 135
225.92/226.05	c
225.92/226.05	c
225.92/226.05	c core #115
225.92/226.05	c 
225.92/226.05	c 
225.92/226.05	c Core size: 101	Core Weight: 1	Total Weight: 136
225.92/226.05	c
225.92/226.05	c
225.92/226.05	c core #116
225.92/226.05	c 
225.92/226.05	c 
225.92/226.05	c Core size: 2651	Core Weight: 1	Total Weight: 137
225.92/226.05	c
225.92/226.05	c
225.92/226.05	c core #117
225.92/226.05	c 
225.92/226.05	c 
225.92/226.05	c Core size: 101	Core Weight: 1	Total Weight: 138
231.82/231.93	c
231.82/231.93	c
231.82/231.93	c core #118
231.82/231.93	c 
231.82/231.93	c 
231.82/231.93	c Core size: 101	Core Weight: 1	Total Weight: 139
231.82/231.93	c
231.82/231.93	c
231.82/231.93	c core #119
231.82/231.93	c 
231.82/231.93	c 
231.82/231.93	c Core size: 101	Core Weight: 1	Total Weight: 140
231.82/231.93	c
231.82/231.93	c
231.82/231.93	c core #120
231.82/231.93	c 
231.82/231.93	c 
231.82/231.93	c Core size: 101	Core Weight: 2	Total Weight: 142
231.82/231.93	c
231.82/231.93	c
231.82/231.93	c core #121
231.82/231.93	c 
231.82/231.93	c 
231.82/231.93	c Core size: 200	Core Weight: 2	Total Weight: 144
231.82/231.93	c
231.82/231.93	c
231.82/231.93	c core #122
231.82/231.93	c 
231.82/231.93	c 
231.82/231.93	c Core size: 1174	Core Weight: 1	Total Weight: 145
231.82/231.93	c
231.82/231.93	c
231.82/231.93	c core #123
231.82/231.93	c 
231.82/231.93	c 
231.82/231.93	c Core size: 201	Core Weight: 1	Total Weight: 146
231.82/231.93	c
231.82/231.93	c
231.82/231.93	c core #124
231.82/231.93	c 
231.82/231.93	c 
231.82/231.93	c Core size: 1169	Core Weight: 1	Total Weight: 147
231.82/231.93	c
231.82/231.93	c
231.82/231.93	c core #125
231.82/231.93	c 
231.82/231.93	c 
231.82/231.93	c Core size: 1538	Core Weight: 1	Total Weight: 148
231.82/231.93	c
231.82/231.93	c
231.82/231.93	c core #126
231.82/231.93	c 
231.82/231.93	c 
231.82/231.93	c Core size: 1991	Core Weight: 1	Total Weight: 149
231.82/231.93	c
231.82/231.93	c
231.82/231.93	c core #127
231.82/231.93	c 
231.82/231.93	c 
231.82/231.93	c Core size: 301	Core Weight: 1	Total Weight: 150
231.82/231.93	c
231.82/231.93	c
231.82/231.93	c core #128
231.82/231.93	c 
231.82/231.93	c 
231.82/231.93	c Core size: 978	Core Weight: 1	Total Weight: 151
231.82/231.93	c
231.82/231.93	c
231.82/231.93	c core #129
231.82/231.93	c 
231.82/231.93	c 
231.82/231.93	c Core size: 399	Core Weight: 1	Total Weight: 152
231.82/231.93	c
231.82/231.93	c
231.82/231.93	c core #130
231.82/231.93	c 
231.82/231.93	c 
231.82/231.93	c Core size: 697	Core Weight: 1	Total Weight: 153
231.82/231.93	c
231.82/231.93	c
231.82/231.93	c ============================[ Search Statistics ]==============================
231.82/231.93	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
231.82/231.93	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
231.82/231.93	c ===============================================================================
231.82/231.93	c |         0 |   27136   693864    50224 |   231288        0    nan |  0.000 % |
231.93/232.02	c ===============================================================================
232.32/232.46	c core #131
232.32/232.46	c 
232.32/232.46	c 
232.32/232.46	c Core size: 1808	Core Weight: 1	Total Weight: 154
232.32/232.46	c
232.32/232.46	c
232.32/232.46	c ============================[ Search Statistics ]==============================
232.32/232.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
232.32/232.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
232.32/232.46	c ===============================================================================
232.32/232.46	c |         0 |   28936   695608    52259 |   231869        0    nan |  0.000 % |
232.32/232.49	c ===============================================================================
232.82/232.96	c core #132
232.82/232.96	c 
232.82/232.96	c 
232.82/232.96	c Core size: 1261	Core Weight: 1	Total Weight: 155
232.82/232.96	c
232.82/232.96	c
232.82/232.96	c ============================[ Search Statistics ]==============================
232.82/232.96	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
232.82/232.96	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
232.82/232.96	c ===============================================================================
232.82/232.96	c |         0 |   30506   696814    54394 |   232271        0    nan |  0.000 % |
233.02/233.13	c ===============================================================================
233.42/233.55	c core #133
233.42/233.55	c 
233.42/233.55	c 
233.42/233.55	c Core size: 2245	Core Weight: 1	Total Weight: 156
233.42/233.55	c
233.42/233.55	c
233.42/233.55	c ============================[ Search Statistics ]==============================
233.42/233.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
233.42/233.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
233.42/233.55	c ===============================================================================
233.42/233.55	c |         0 |   32874   698966    57420 |   232988        0    nan |  0.000 % |
233.61/233.70	c |       101 |   32872   698966    57420 |   256287       99   1514 | 22.686 % |
234.13/234.23	c ===============================================================================
234.52/234.67	c core #134
234.52/234.67	c 
234.52/234.67	c 
234.52/234.67	c Core size: 4902	Core Weight: 1	Total Weight: 157
234.52/234.67	c
234.52/234.67	c
234.52/234.67	c ============================[ Search Statistics ]==============================
234.52/234.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
234.52/234.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
234.52/234.67	c ===============================================================================
234.52/234.67	c |         0 |   37918   703599    63955 |   234533        0    nan |  0.000 % |
234.62/234.76	c |       100 |   37914   703599    63955 |   257986       99    759 | 20.027 % |
234.92/235.04	c ===============================================================================
235.32/235.48	c core #135
235.32/235.48	c 
235.32/235.48	c 
235.32/235.48	c Core size: 3446	Core Weight: 1	Total Weight: 158
235.32/235.48	c
235.32/235.48	c
235.32/235.48	c ============================[ Search Statistics ]==============================
235.32/235.48	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
235.32/235.48	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
235.32/235.48	c ===============================================================================
235.32/235.48	c |         0 |   41376   706863    68196 |   235621        0    nan |  0.000 % |
235.52/235.62	c |       100 |   41376   706863    68196 |   259183      100   1865 | 18.609 % |
235.82/235.91	c |       251 |   41375   706863    68196 |   285101      250   1799 | 18.611 % |
236.21/236.38	c |       477 |   41375   706863    68196 |   313611      476   2102 | 18.611 % |
236.81/236.95	c |       819 |   41374   706863    68196 |   344972      816   2002 | 18.613 % |
237.72/237.80	c ===============================================================================
238.12/238.26	c core #136
238.12/238.26	c 
238.12/238.26	c 
238.12/238.26	c Core size: 6999	Core Weight: 1	Total Weight: 159
238.12/238.26	c
238.12/238.26	c
238.12/238.26	c ============================[ Search Statistics ]==============================
238.12/238.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
238.12/238.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
238.12/238.26	c ===============================================================================
238.12/238.26	c |         0 |   48418   713418    76950 |   237806        0    nan |  0.000 % |
238.32/238.49	c |       103 |   48418   713418    76950 |   261586      103   2223 | 16.265 % |
238.72/238.84	c |       255 |   48418   713418    76950 |   287745      255   1781 | 16.265 % |
239.22/239.35	c |       482 |   48418   713418    76950 |   316519      482   1719 | 16.265 % |
240.21/240.30	c |       820 |   48418   713418    76950 |   348171      820   1822 | 16.265 % |
241.31/241.44	c |      1329 |   48415   713418    76950 |   382988     1326   1558 | 16.270 % |
243.61/243.76	c |      2088 |   48414   713418    76950 |   421287     2077   1628 | 16.272 % |
247.62/247.70	c |      3227 |   48412   713418    76950 |   463416     3209   2120 | 16.276 % |
253.72/253.84	c |      4935 |   48412   713418    76950 |   509758     4917   2427 | 16.276 % |
262.61/262.73	c ===============================================================================
263.21/263.31	c core #137
263.21/263.31	c 
263.21/263.31	c 
263.21/263.31	c Core size: 10571	Core Weight: 1	Total Weight: 160
263.21/263.31	c
263.21/263.31	c
263.21/263.31	c ============================[ Search Statistics ]==============================
263.21/263.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
263.21/263.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
263.21/263.31	c ===============================================================================
263.21/263.31	c |         0 |   59067   722569    91593 |   240856        0    nan |  0.000 % |
263.42/263.52	c |       101 |   59067   722569    91593 |   264941      101   1191 | 13.617 % |
263.82/263.95	c |       252 |   59067   722569    91593 |   291436      252    817 | 13.617 % |
264.41/264.55	c |       479 |   59067   722569    91593 |   320579      479    610 | 13.617 % |
265.41/265.59	c |       817 |   59067   722569    91593 |   352637      817    599 | 13.617 % |
267.11/267.20	c |      1325 |   59067   722569    91593 |   387901     1325    633 | 13.617 % |
269.81/269.90	c |      2085 |   59067   722569    91593 |   426691     2085    695 | 13.617 % |
274.91/275.02	c |      3224 |   59067   722569    91593 |   469360     3224   1029 | 13.617 % |
282.11/282.28	c |      4934 |   59067   722569    91593 |   516296     4934   1102 | 13.617 % |
294.10/294.27	c |      7498 |   59067   722569    91593 |   567926     7498   1389 | 13.617 % |
313.30/313.41	c |     11343 |   59067   722569    91593 |   624719    11343   1558 | 13.617 % |
349.60/349.75	c |     17109 |   59067   722569    91593 |   687191    17109   2039 | 13.617 % |
417.37/417.54	c |     25759 |   59067   722569    91593 |   755910    25759   2699 | 13.617 % |
537.44/537.65	c |     38734 |   59066   722569    91593 |   831501    38721   3172 | 13.618 % |
733.59/733.83	c |     58197 |   59065   722569    91593 |   914651    58163   3726 | 13.620 % |
1132.18/1132.52	c |     87389 |   59064   722569    91593 |  1006116    87355   4235 | 13.621 % |

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-2680579-1277451716/watcher-2680579-1277451716 -o /tmp/evaluation-result-2680579-1277451716/solver-2680579-1277451716 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680579-1277451716.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.00 0.00 0.00 2/106 22041
/proc/meminfo: memFree=1315648/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=20772 CPUtime=0.01
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 609 0 0 0 1 0 0 0 18 0 1 0 120775422 21270528 528 1992294400 134512640 135752675 4290084368 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 5193 528 147 303 0 680 0

[startup+0.0580489 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 22041
/proc/meminfo: memFree=1315648/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=21592 CPUtime=0.05
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 840 0 0 0 5 0 0 0 18 0 1 0 120775422 22110208 759 1992294400 134512640 135752675 4290084368 18446744073709551615 135397731 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 5398 759 214 303 0 885 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21592

[startup+0.101053 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 22041
/proc/meminfo: memFree=1315648/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=22224 CPUtime=0.09
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 1056 0 0 0 9 0 0 0 18 0 1 0 120775422 22757376 975 1992294400 134512640 135752675 4290084368 18446744073709551615 135205744 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 5556 975 280 303 0 1043 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22224

[startup+0.301075 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 22041
/proc/meminfo: memFree=1315648/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=24700 CPUtime=0.29
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 1940 0 0 0 29 0 0 0 19 0 1 0 120775422 25292800 1859 1992294400 134512640 135752675 4290084368 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 6175 1859 563 303 0 1662 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24700

[startup+0.70112 s]
/proc/loadavg: 0.00 0.00 0.00 2/106 22041
/proc/meminfo: memFree=1315648/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=28712 CPUtime=0.69
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 3451 0 0 0 68 1 0 0 19 0 1 0 120775422 29401088 3370 1992294400 134512640 135752675 4290084368 18446744073709551615 135204723 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 7178 3370 1107 303 0 2665 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28712

[startup+1.50121 s]
/proc/loadavg: 0.00 0.00 0.00 2/107 22042
/proc/meminfo: memFree=1303612/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=36720 CPUtime=1.49
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 6461 0 0 0 147 2 0 0 21 0 1 0 120775422 37601280 6380 1992294400 134512640 135752675 4290084368 18446744073709551615 135221488 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 9180 6380 2182 303 0 4667 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36720

[startup+3.10139 s]
/proc/loadavg: 0.00 0.00 0.00 2/107 22042
/proc/meminfo: memFree=1292328/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=40776 CPUtime=3.09
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 14542 0 0 0 304 5 0 0 25 0 1 0 120775422 41754624 9257 1992294400 134512640 135752675 4290084368 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 10194 9258 140 303 0 9889 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40776

[startup+6.30174 s]
/proc/loadavg: 0.08 0.02 0.01 2/107 22042
/proc/meminfo: memFree=1237892/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=81064 CPUtime=6.28
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 24627 0 0 0 618 10 0 0 25 0 1 0 120775422 83009536 19342 1992294400 134512640 135752675 4290084368 18446744073709551615 135200902 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 20266 19342 141 303 0 19961 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 81064

[startup+12.7014 s]
/proc/loadavg: 0.15 0.03 0.01 2/107 22044
/proc/meminfo: memFree=1238016/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=81064 CPUtime=12.68
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 24637 0 0 0 1247 21 0 0 25 0 1 0 120775422 83009536 19352 1992294400 134512640 135752675 4290084368 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 20266 19352 145 303 0 19961 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 81064

[startup+25.5009 s]
/proc/loadavg: 0.34 0.08 0.02 2/107 22044
/proc/meminfo: memFree=1237520/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=82516 CPUtime=25.47
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 24981 0 0 0 2519 28 0 0 25 0 1 0 120775422 84496384 19696 1992294400 134512640 135752675 4290084368 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 20629 19696 145 303 0 20324 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 82516

[startup+51.1007 s]
/proc/loadavg: 0.62 0.17 0.05 2/107 22044
/proc/meminfo: memFree=1198832/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=121300 CPUtime=51.07
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 34689 0 0 0 5063 44 0 0 25 0 1 0 120775422 124211200 29404 1992294400 134512640 135752675 4290084368 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 30325 29404 145 303 0 30020 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 121300

[startup+102.307 s]
/proc/loadavg: 0.90 0.31 0.11 2/107 22046
/proc/meminfo: memFree=1099508/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=219808 CPUtime=102.26
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 59305 0 0 0 10158 68 0 0 25 0 1 0 120775422 225083392 54020 1992294400 134512640 135752675 4290084368 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 54952 54020 145 303 0 54647 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 219808

[startup+162.301 s]
/proc/loadavg: 1.02 0.45 0.17 2/107 22046
/proc/meminfo: memFree=1002168/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=318060 CPUtime=162.24
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 83864 0 0 0 16126 98 0 0 25 0 1 0 120775422 325693440 78579 1992294400 134512640 135752675 4290084368 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 79515 78579 145 303 0 79210 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 318060

[startup+222.301 s]
/proc/loadavg: 1.10 0.58 0.22 2/107 22048
/proc/meminfo: memFree=954180/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=363644 CPUtime=222.22
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 96978 0 0 0 22111 111 0 0 25 0 1 0 120775422 372371456 90127 1992294400 134512640 135752675 4290084368 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 90911 90127 146 303 0 90606 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 363644

[startup+282.3 s]
/proc/loadavg: 1.15 0.68 0.28 2/107 22050
/proc/meminfo: memFree=954056/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=363644 CPUtime=282.21
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 97021 0 0 0 28099 122 0 0 25 0 1 0 120775422 372371456 90170 1992294400 134512640 135752675 4290084368 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 90911 90170 146 303 0 90606 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 363644

[startup+342.301 s]
/proc/loadavg: 1.05 0.74 0.32 2/107 22052
/proc/meminfo: memFree=954056/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=363644 CPUtime=342.19
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 97021 0 0 0 34090 129 0 0 25 0 1 0 120775422 372371456 90170 1992294400 134512640 135752675 4290084368 18446744073709551615 134638149 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 90911 90170 146 303 0 90606 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 363644

[startup+402.301 s]
/proc/loadavg: 1.02 0.78 0.36 2/107 22054
/proc/meminfo: memFree=917600/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=402628 CPUtime=402.18
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 106740 0 0 0 40079 139 0 0 25 0 1 0 120775422 412291072 99889 1992294400 134512640 135752675 4290084368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 100657 99889 146 303 0 100352 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 402628

[startup+462.3 s]
/proc/loadavg: 1.00 0.82 0.40 2/107 22054
/proc/meminfo: memFree=809348/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=508980 CPUtime=462.16
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 133324 0 0 0 46062 154 0 0 25 0 1 0 120775422 521195520 126473 1992294400 134512640 135752675 4290084368 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 127245 126473 146 303 0 126940 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 508980

[startup+522.301 s]
/proc/loadavg: 1.00 0.85 0.43 2/107 22056
/proc/meminfo: memFree=704692/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=613796 CPUtime=522.14
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 159543 0 0 0 52043 171 0 0 25 0 1 0 120775422 628527104 152692 1992294400 134512640 135752675 4290084368 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 153449 152692 146 303 0 153144 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 613796

[startup+582.301 s]
/proc/loadavg: 1.00 0.87 0.47 2/107 22058
/proc/meminfo: memFree=580940/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=737540 CPUtime=582.12
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 190447 0 0 0 58024 188 0 0 25 0 1 0 120775422 755240960 183596 1992294400 134512640 135752675 4290084368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 184385 183596 146 303 0 184080 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 737540

[startup+642.301 s]
/proc/loadavg: 1.00 0.89 0.50 2/107 22060
/proc/meminfo: memFree=471944/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=845024 CPUtime=642.11
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 217350 0 0 0 64009 202 0 0 25 0 1 0 120775422 865304576 210499 1992294400 134512640 135752675 4290084368 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 211256 210499 146 303 0 210951 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 845024

[startup+702.301 s]
/proc/loadavg: 1.00 0.91 0.53 2/107 22062
/proc/meminfo: memFree=366916/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=950680 CPUtime=702.1
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 243756 0 0 0 69993 217 0 0 25 0 1 0 120775422 973496320 236905 1992294400 134512640 135752675 4290084368 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 237670 236905 146 303 0 237365 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 950680

[startup+762.308 s]
/proc/loadavg: 1.00 0.92 0.55 2/107 22064
/proc/meminfo: memFree=260896/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=1055812 CPUtime=762.09
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 270025 0 0 0 75977 232 0 0 25 0 1 0 120775422 1081151488 263174 1992294400 134512640 135752675 4290084368 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 263953 263174 146 303 0 263648 0
Current children cumulated CPU time (s) 762.09
Current children cumulated vsize (KiB) 1055812

[startup+822.301 s]
/proc/loadavg: 1.00 0.93 0.58 2/107 22064
/proc/meminfo: memFree=172980/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=1144524 CPUtime=822.06
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 292184 0 0 0 81962 244 0 0 25 0 1 0 120775422 1171992576 285333 1992294400 134512640 135752675 4290084368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 286131 285333 146 303 0 285826 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 1144524

[startup+882.301 s]
/proc/loadavg: 1.00 0.94 0.60 2/107 22066
/proc/meminfo: memFree=77128/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=1239392 CPUtime=882.05
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 315906 0 0 0 87948 257 0 0 25 0 1 0 120775422 1269137408 309055 1992294400 134512640 135752675 4290084368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 309848 309055 146 303 0 309543 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 1239392

[startup+942.3 s]
/proc/loadavg: 1.00 0.95 0.62 2/107 22068
/proc/meminfo: memFree=9296/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=1324968 CPUtime=942.03
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 337318 0 0 0 93935 268 0 0 25 0 1 0 120775422 1356767232 330467 1992294400 134512640 135752675 4290084368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 331242 330467 146 303 0 330937 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 1324968

[startup+1002.3 s]
/proc/loadavg: 1.00 0.96 0.64 2/107 22070
/proc/meminfo: memFree=9604/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=1424044 CPUtime=1002.02
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 362077 0 0 0 99919 283 0 0 25 0 1 0 120775422 1458221056 355226 1992294400 134512640 135752675 4290084368 18446744073709551615 134640028 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 356011 355226 146 303 0 355706 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1424044

[startup+1062.3 s]
/proc/loadavg: 1.00 0.96 0.66 2/107 22070
/proc/meminfo: memFree=9224/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=1519960 CPUtime=1062
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 386075 0 0 0 105903 297 0 0 25 0 1 0 120775422 1556439040 379224 1992294400 134512640 135752675 4290084368 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 379990 379224 146 303 0 379685 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1519960

[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.68 2/107 22072
/proc/meminfo: memFree=9260/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=1600452 CPUtime=1121.98
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 406169 0 0 0 111889 309 0 0 25 0 1 0 120775422 1638862848 399318 1992294400 134512640 135752675 4290084368 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 400113 399318 146 303 0 399808 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1600452

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.70 2/107 22083
/proc/meminfo: memFree=21588/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=1663688 CPUtime=1181.95
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 421975 0 0 0 117876 319 0 0 25 0 1 0 120775422 1703616512 415124 1992294400 134512640 135752675 4290084368 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 415922 415124 146 303 0 415617 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 1663688

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.71 2/107 22085
/proc/meminfo: memFree=9700/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=1750652 CPUtime=1241.94
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 443697 0 0 0 123862 332 0 0 25 0 1 0 120775422 1792667648 436846 1992294400 134512640 135752675 4290084368 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 437663 436846 146 303 0 437358 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1750652

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.73 2/107 22087
/proc/meminfo: memFree=10268/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=1823612 CPUtime=1301.93
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 461922 0 0 0 129851 342 0 0 25 0 1 0 120775422 1867378688 455071 1992294400 134512640 135752675 4290084368 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 455903 455071 146 303 0 455598 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1823612



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1317.5 s]
/proc/loadavg: 1.00 0.97 0.73 2/107 22087
/proc/meminfo: memFree=10080/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=1843244 CPUtime=1317.12
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4202496 466826 0 0 0 131369 343 0 0 25 0 1 0 120775422 1887481856 459975 1992294400 134512640 135752675 4290084368 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22041/statm: 460811 459975 146 303 0 460506 0
Current children cumulated CPU time (s) 1317.12
Current children cumulated vsize (KiB) 1843244

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

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

[startup+1317.61 s]
/proc/loadavg: 1.00 0.97 0.73 2/107 22087
/proc/meminfo: memFree=10080/2059040 swapFree=4139932/4192956
[pid=22041] ppid=22039 vsize=0 CPUtime=1317.22
/proc/22041/stat : 22041 (wbo1.4b) R 22039 22041 22016 0 -1 4203524 466826 0 0 0 131369 353 0 0 25 0 1 0 120775422 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/22041/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1317.22
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1317.7
CPU time (s): 1317.32
CPU user time (s): 1313.7
CPU system time (s): 3.62545
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 1843244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1313.7
system time used= 3.62545
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466826
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= 16056

runsolver used 2.26965 second user time and 6.16406 second system time

The end

Launcher Data 

Begin job on node005 at 2010-06-25 09:41:57
IDJOB=2680579
IDBENCH=1970
IDSOLVER=1190
FILE ID=node005/2680579-1277451716
PBS_JOBID= 11188152
Free space on /tmp= 62512 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680579-1277451716/watcher-2680579-1277451716 -o /tmp/evaluation-result-2680579-1277451716/solver-2680579-1277451716 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680579-1277451716.opb

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

MD5SUM BENCH= 5f836d1b8d150c1925229546ed283812
RANDOM SEED=234233814

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1316176 kB
Buffers:        175172 kB
Cached:         452412 kB
SwapCached:       6400 kB
Active:         128836 kB
Inactive:       512508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1316176 kB
SwapTotal:     4192956 kB
SwapFree:      4139932 kB
Dirty:           19736 kB
Writeback:           0 kB
AnonPages:       11544 kB
Mapped:          11840 kB
Slab:            79640 kB
PageTables:       4168 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181932 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= 62512 MiB
End job on node005 at 2010-06-25 10:03:57