Trace number 2680576

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) 1486.88 1487.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb
MD5SUM8eed52e8cea562b1b1ee5bae07565266
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark390
Best CPU time to get the best result obtained on this benchmark1796.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 478
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 500105
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 500105
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-2680576-1277451715.opb.
0.00/0.00	c Instance file HOME/instance-2680576-1277451715.opb
0.00/0.00	c File size is 17233726 bytes.
2.98/3.05	c Highest Coefficient sum: 101
2.98/3.06	c ============================[ Problem Statistics ]=============================
2.98/3.06	c |                                                                             |
2.98/3.06	c |  Parsing time:          3.01         s                                      |
2.98/3.06	c |  Number Variables:      10000                                               |
2.98/3.06	c |  Number Clauses:        656900                                              |
2.98/3.06	c |  Number Cardinality:    0                                                   |
2.98/3.06	c |  Number PB Constraints: 0                                                   |
6.59/6.61	c ============================[ Search Statistics ]==============================
6.59/6.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.59/6.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.59/6.61	c ===============================================================================
6.59/6.61	c |         0 |   10000   656900  1333400 |   218966        0    nan |  0.000 % |
6.59/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.09/7.13	c ===============================================================================
7.09/7.13	c New solution: 6774
7.09/7.13	o 6774
7.09/7.13	c Elapsed CPU time: 7.01093 s	Remaining CPU time: 172.989 s
7.09/7.13	c ===============================================================================
7.09/7.13	c |       283 |   10000   656901  1343400 |   218967      283   1242 |  0.000 % |
7.38/7.42	c ===============================================================================
7.38/7.42	c New solution: 6507
7.38/7.42	o 6507
7.38/7.43	c Elapsed CPU time: 7.30489 s	Remaining CPU time: 172.695 s
7.38/7.43	c ===============================================================================
7.38/7.43	c |       289 |   10000   656902  1353400 |   218967      289   1221 |  0.000 % |
7.48/7.52	c |       390 |   10000   656902  1353400 |   240864      390   1097 |  0.000 % |
7.59/7.64	c |       542 |   10000   656902  1353400 |   264950      542   1007 |  0.000 % |
7.78/7.85	c |       767 |   10000   656902  1353400 |   291445      767    931 |  0.000 % |
8.08/8.13	c |      1106 |   10000   656902  1353400 |   320590     1106   1111 |  0.000 % |
8.49/8.51	c |      1612 |   10000   656902  1353400 |   352649     1612   1172 |  0.000 % |
8.79/8.86	c ===============================================================================
8.79/8.86	c New solution: 6335
8.79/8.86	o 6335
8.79/8.86	c Elapsed CPU time: 8.72367 s	Remaining CPU time: 171.276 s
8.79/8.86	c ===============================================================================
8.79/8.86	c |      1679 |   10000   656903  1363400 |   218967     1679   1170 |  0.000 % |
9.08/9.19	c ===============================================================================
9.08/9.19	c New solution: 6324
9.08/9.19	o 6324
9.08/9.19	c Elapsed CPU time: 9.05062 s	Remaining CPU time: 170.949 s
9.08/9.19	c ===============================================================================
9.08/9.19	c |      1713 |   10000   656904  1373400 |   218968     1713   1160 |  0.000 % |
9.18/9.28	c |      1813 |   10000   656904  1373400 |   240864     1813   1160 |  0.000 % |
9.38/9.48	c |      1965 |   10000   656904  1373400 |   264951     1965   1138 |  0.000 % |
9.58/9.67	c |      2192 |   10000   656904  1373400 |   291446     2192   1139 |  0.000 % |
9.98/10.02	c |      2529 |   10000   656904  1373400 |   320591     2529   1090 |  0.000 % |
10.48/10.52	c |      3035 |   10000   656904  1373400 |   352650     3035   1190 |  0.000 % |
11.28/11.37	c |      3794 |   10000   656904  1373400 |   387915     3794   1074 |  0.000 % |
12.48/12.56	c |      4934 |   10000   656904  1373400 |   426706     4934   1030 |  0.000 % |
12.88/12.91	c ===============================================================================
12.88/12.91	c New solution: 6274
12.88/12.91	o 6274
12.88/12.91	c Elapsed CPU time: 12.7481 s	Remaining CPU time: 167.252 s
12.88/12.91	c ===============================================================================
12.88/12.91	c |      4986 |   10000   656905  1383400 |   218968     4986   1028 |  0.000 % |
13.19/13.21	c ===============================================================================
13.19/13.21	c New solution: 6153
13.19/13.21	o 6153
13.19/13.21	c Elapsed CPU time: 13.044 s	Remaining CPU time: 166.956 s
13.19/13.21	c ===============================================================================
13.19/13.21	c |      4995 |   10000   656906  1393400 |   218968     4995   1027 |  0.000 % |
13.48/13.51	c ===============================================================================
13.48/13.51	c New solution: 6148
13.48/13.51	o 6148
13.48/13.51	c Elapsed CPU time: 13.341 s	Remaining CPU time: 166.659 s
13.48/13.51	c ===============================================================================
13.48/13.51	c |      4995 |   10000   656907  1403400 |   218969     4995   1027 |  0.000 % |
13.58/13.64	c |      5095 |   10000   656907  1403400 |   240865     5095   1022 |  0.000 % |
13.88/13.90	c |      5245 |   10000   656907  1403400 |   264952     5245   1009 |  0.000 % |
14.08/14.17	c |      5470 |   10000   656907  1403400 |   291447     5470    996 |  0.000 % |
14.48/14.55	c |      5808 |   10000   656907  1403400 |   320592     5808   1027 |  0.000 % |
15.18/15.23	c |      6314 |   10000   656907  1403400 |   352651     6314   1017 |  0.000 % |
16.08/16.12	c |      7075 |   10000   656907  1403400 |   387916     7075    973 |  0.000 % |
16.39/16.43	c ===============================================================================
16.39/16.43	c New solution: 6115
16.39/16.43	o 6115
16.39/16.43	c Elapsed CPU time: 16.2315 s	Remaining CPU time: 163.768 s
16.39/16.43	c ===============================================================================
16.39/16.43	c |      7084 |   10000   656908  1413400 |   218969     7084    973 |  0.000 % |
16.58/16.62	c |      7186 |   10000   656908  1413400 |   240866     7186    967 |  0.000 % |
16.67/16.80	c |      7336 |   10000   656908  1413400 |   264952     7336    967 |  0.000 % |
17.08/17.16	c ===============================================================================
17.08/17.16	c New solution: 6110
17.08/17.16	o 6110
17.08/17.16	c Elapsed CPU time: 16.9534 s	Remaining CPU time: 163.047 s
17.08/17.16	c ===============================================================================
17.08/17.16	c |      7398 |   10000   656909  1423400 |   218969     7398    967 |  0.000 % |
17.18/17.29	c |      7498 |   10000   656909  1423400 |   240866     7498    971 |  0.000 % |
17.38/17.48	c |      7650 |   10000   656909  1423400 |   264953     7650    962 |  0.000 % |
17.88/17.95	c |      7876 |   10000   656909  1423400 |   291448     7876    953 |  0.000 % |
18.28/18.38	c |      8213 |   10000   656909  1423400 |   320593     8213    947 |  0.000 % |
18.88/18.99	c |      8720 |   10000   656909  1423400 |   352652     8720    924 |  0.000 % |
19.58/19.62	c ===============================================================================
19.58/19.62	c New solution: 6108
19.58/19.62	o 6108
19.58/19.62	c Elapsed CPU time: 19.3771 s	Remaining CPU time: 160.623 s
19.58/19.62	c ===============================================================================
19.58/19.62	c |      8981 |   10000   656910  1433400 |   218970     8981    929 |  0.000 % |
19.78/19.86	c |      9082 |   10000   656910  1433400 |   240867     9082    927 |  0.000 % |
20.08/20.15	c |      9234 |   10000   656910  1433400 |   264953     9234    921 |  0.000 % |
20.37/20.40	c |      9459 |   10000   656910  1433400 |   291449     9459    931 |  0.000 % |
20.89/20.93	c |      9797 |   10000   656910  1433400 |   320593     9797    922 |  0.000 % |
21.58/21.63	c |     10304 |   10000   656910  1433400 |   352653    10304    905 |  0.000 % |
21.88/21.98	c ===============================================================================
21.88/21.98	c New solution: 6099
21.88/21.98	o 6099
21.88/21.98	c Elapsed CPU time: 21.7097 s	Remaining CPU time: 158.29 s
21.88/21.98	c ===============================================================================
21.88/21.98	c |     10331 |   10000   656911  1443400 |   218970    10331    904 |  0.000 % |
22.08/22.14	c |     10431 |   10000   656911  1443400 |   240867    10431    905 |  0.000 % |
22.57/22.61	c ===============================================================================
22.57/22.61	c New solution: 6098
22.57/22.61	o 6098
22.57/22.61	c Elapsed CPU time: 22.3336 s	Remaining CPU time: 157.666 s
22.57/22.61	c ===============================================================================
22.57/22.61	c |     10565 |   10000   656912  1453400 |   218970    10565    905 |  0.000 % |
22.68/22.71	c |     10665 |   10000   656912  1453400 |   240867    10665    908 |  0.000 % |
22.88/22.92	c |     10818 |   10000   656912  1453400 |   264954    10818    916 |  0.000 % |
23.08/23.19	c |     11043 |   10000   656912  1453400 |   291449    11043    932 |  0.000 % |
23.67/23.75	c |     11381 |   10000   656912  1453400 |   320594    11381    928 |  0.000 % |
24.58/24.68	c |     11887 |   10000   656912  1453400 |   352654    11887    921 |  0.000 % |
25.88/25.92	c |     12649 |   10000   656912  1453400 |   387919    12649    921 |  0.000 % |
27.07/27.14	c ===============================================================================
27.07/27.14	c New solution: 6092
27.07/27.14	o 6092
27.07/27.14	c Elapsed CPU time: 26.8079 s	Remaining CPU time: 153.192 s
27.07/27.14	c ===============================================================================
27.07/27.14	c |     13111 |   10000   656913  1463400 |   218971    13111    915 |  0.000 % |
27.38/27.47	c ===============================================================================
27.38/27.47	c New solution: 6081
27.38/27.47	o 6081
27.38/27.47	c Elapsed CPU time: 27.1389 s	Remaining CPU time: 152.861 s
27.38/27.47	c ===============================================================================
27.38/27.47	c |     13120 |   10000   656914  1473400 |   218971    13120    915 |  0.000 % |
27.77/27.87	c ===============================================================================
27.77/27.87	c New solution: 6080
27.77/27.87	o 6080
27.77/27.87	c Elapsed CPU time: 27.5308 s	Remaining CPU time: 152.469 s
27.77/27.87	c ===============================================================================
27.77/27.87	c |     13156 |   10000   656915  1483400 |   218971    13156    914 |  0.000 % |
28.07/28.19	c ===============================================================================
28.07/28.19	c New solution: 6056
28.07/28.19	o 6056
28.07/28.19	c Elapsed CPU time: 27.8338 s	Remaining CPU time: 152.166 s
28.07/28.19	c ===============================================================================
28.07/28.19	c |     13156 |   10000   656916  1493400 |   218972    13156    914 |  0.000 % |
28.48/28.60	c ===============================================================================
28.48/28.60	c New solution: 6031
28.48/28.60	o 6031
28.48/28.60	c Elapsed CPU time: 28.2357 s	Remaining CPU time: 151.764 s
28.48/28.60	c ===============================================================================
28.48/28.60	c |     13204 |   10000   656917  1503400 |   218972    13204    913 |  0.000 % |
28.67/28.73	c |     13304 |   10000   656917  1503400 |   240869    13304    915 |  0.000 % |
28.97/29.01	c |     13457 |   10000   656917  1503400 |   264956    13457    916 |  0.000 % |
29.27/29.37	c |     13682 |   10000   656917  1503400 |   291452    13682    915 |  0.000 % |
29.87/29.95	c |     14019 |   10000   656917  1503400 |   320597    14019    919 |  0.000 % |
30.68/30.72	c |     14525 |   10000   656917  1503400 |   352657    14525    912 |  0.000 % |
31.77/31.84	c |     15284 |   10000   656917  1503400 |   387922    15284    905 |  0.000 % |
33.77/33.89	c |     16424 |   10000   656917  1503400 |   426715    16424    899 |  0.000 % |
34.16/34.21	c ===============================================================================
34.16/34.21	c New solution: 6003
34.16/34.21	o 6003
34.16/34.21	c Elapsed CPU time: 33.7889 s	Remaining CPU time: 146.211 s
34.16/34.21	c ===============================================================================
34.16/34.21	c |     16425 |   10000   656918  1513400 |   218972    16425    899 |  0.000 % |
34.47/34.59	c ===============================================================================
34.47/34.59	c New solution: 5992
34.47/34.59	o 5992
34.47/34.59	c Elapsed CPU time: 34.1668 s	Remaining CPU time: 145.833 s
34.47/34.59	c ===============================================================================
34.47/34.59	c |     16455 |   10000   656919  1523400 |   218973    16455    898 |  0.000 % |
34.76/34.81	c |     16557 |   10000   656919  1523400 |   240870    16557    897 |  0.000 % |
35.08/35.18	c ===============================================================================
35.08/35.18	c New solution: 5957
35.08/35.18	o 5957
35.08/35.18	c Elapsed CPU time: 34.7527 s	Remaining CPU time: 145.247 s
35.08/35.18	c ===============================================================================
35.08/35.18	c |     16585 |   10000   656920  1533400 |   218973    16585    897 |  0.000 % |
35.47/35.52	c ===============================================================================
35.47/35.52	c New solution: 5945
35.47/35.52	o 5945
35.47/35.52	c Elapsed CPU time: 35.0877 s	Remaining CPU time: 144.912 s
35.47/35.52	c ===============================================================================
35.47/35.52	c |     16591 |   10000   656921  1543400 |   218973    16591    897 |  0.000 % |
35.67/35.73	c |     16692 |   10000   656921  1543400 |   240871    16692    895 |  0.000 % |
35.97/36.06	c |     16842 |   10000   656921  1543400 |   264958    16842    894 |  0.000 % |
36.37/36.44	c |     17068 |   10000   656921  1543400 |   291453    17068    901 |  0.000 % |
36.76/36.85	c ===============================================================================
36.76/36.85	c New solution: 5943
36.76/36.85	o 5943
36.76/36.85	c Elapsed CPU time: 36.3935 s	Remaining CPU time: 143.607 s
36.76/36.85	c ===============================================================================
36.76/36.85	c |     17098 |   10000   656922  1553400 |   218974    17098    901 |  0.000 % |
37.17/37.22	c |     17201 |   10000   656922  1553400 |   240871    17201    900 |  0.000 % |
37.46/37.56	c |     17351 |   10000   656922  1553400 |   264958    17351    901 |  0.000 % |
37.87/37.98	c |     17579 |   10000   656922  1553400 |   291454    17579    900 |  0.000 % |
38.57/38.67	c |     17916 |   10000   656922  1553400 |   320599    17916    906 |  0.000 % |
39.86/39.91	c |     18422 |   10000   656922  1553400 |   352659    18422    900 |  0.000 % |
41.56/41.70	c |     19182 |   10000   656922  1553400 |   387925    19182    900 |  0.000 % |
43.97/44.04	c |     20321 |   10000   656922  1553400 |   426718    20321    884 |  0.000 % |
44.36/44.40	c ===============================================================================
44.36/44.40	c New solution: 5940
44.36/44.40	o 5940
44.36/44.40	c Elapsed CPU time: 43.8883 s	Remaining CPU time: 136.112 s
44.36/44.40	c ===============================================================================
44.36/44.40	c |     20337 |   10000   656923  1563400 |   218974    20337    884 |  0.000 % |
44.57/44.62	c |     20438 |   10000   656923  1563400 |   240871    20438    882 |  0.000 % |
44.76/44.89	c |     20592 |   10000   656923  1563400 |   264958    20592    880 |  0.000 % |
45.37/45.42	c |     20819 |   10000   656923  1563400 |   291454    20819    876 |  0.000 % |
46.07/46.15	c |     21156 |   10000   656923  1563400 |   320600    21156    880 |  0.000 % |
47.27/47.34	c |     21665 |   10000   656923  1563400 |   352660    21665    872 |  0.000 % |
49.06/49.18	c |     22424 |   10000   656923  1563400 |   387926    22424    863 |  0.000 % |
51.46/51.56	c |     23564 |   10000   656923  1563400 |   426719    23564    854 |  0.000 % |
56.56/56.61	c |     25273 |   10000   656923  1563400 |   469390    25273    844 |  0.000 % |
56.86/56.93	c ===============================================================================
56.86/56.93	c New solution: 5775
56.86/56.93	o 5775
56.86/56.93	c Elapsed CPU time: 56.3554 s	Remaining CPU time: 123.645 s
56.86/56.93	c ===============================================================================
56.86/56.93	c |     25273 |   10000   656924  1573400 |   218974    25273    844 |  0.000 % |
57.17/57.21	c |     25374 |   10000   656924  1573400 |   240872    25374    843 |  0.000 % |
57.46/57.52	c |     25525 |   10000   656924  1573400 |   264959    25525    841 |  0.000 % |
58.06/58.10	c |     25750 |   10000   656924  1573400 |   291455    25750    839 |  0.000 % |
58.86/58.92	c |     26087 |   10000   656924  1573400 |   320600    26087    837 |  0.000 % |
59.96/60.00	c |     26593 |   10000   656924  1573400 |   352660    26593    833 |  0.000 % |
61.26/61.33	c |     27355 |   10000   656924  1573400 |   387926    27355    826 |  0.000 % |
64.06/64.11	c |     28494 |   10000   656924  1573400 |   426719    28494    828 |  0.000 % |
68.86/68.96	c |     30203 |   10000   656924  1573400 |   469391    30203    824 |  0.000 % |
73.36/73.42	c |     32766 |   10000   656924  1573400 |   516330    32766    817 |  0.000 % |
82.96/83.01	c |     36610 |   10000   656924  1573400 |   567963    36610    811 |  0.000 % |
96.76/96.87	c |     42376 |   10000   656924  1573400 |   624760    42376    794 |  0.000 % |
117.75/117.84	c |     51025 |   10000   656924  1573400 |   687236    51025    786 |  0.000 % |
118.24/118.37	c ===============================================================================
118.24/118.37	c New solution: 5754
118.24/118.37	o 5754
118.24/118.37	c Elapsed CPU time: 117.568 s	Remaining CPU time: 62.4319 s
118.24/118.37	c ===============================================================================
118.24/118.37	c |     51103 |   10000   656925  1583400 |   218975    51103    786 |  0.000 % |
118.65/118.72	c |     51203 |   10000   656925  1583400 |   240872    51203    786 |  0.000 % |
118.94/119.04	c ===============================================================================
118.94/119.04	c New solution: 5739
118.94/119.04	o 5739
118.94/119.04	c Elapsed CPU time: 118.232 s	Remaining CPU time: 61.768 s
118.94/119.04	c ===============================================================================
118.94/119.04	c |     51205 |   10000   656926  1593400 |   218975    51205    786 |  0.000 % |
119.24/119.37	c |     51307 |   10000   656926  1593400 |   240872    51307    786 |  0.000 % |
119.64/119.74	c |     51459 |   10000   656926  1593400 |   264960    51459    786 |  0.000 % |
120.15/120.23	c |     51684 |   10000   656926  1593400 |   291456    51684    788 |  0.000 % |
120.85/120.92	c |     52022 |   10000   656926  1593400 |   320601    52022    786 |  0.000 % |
122.55/122.62	c |     52528 |   10000   656926  1593400 |   352661    52528    784 |  0.000 % |
123.85/123.97	c |     53287 |   10000   656926  1593400 |   387928    53287    780 |  0.000 % |
125.84/125.94	c |     54426 |   10000   656926  1593400 |   426720    54426    774 |  0.000 % |
130.15/130.29	c |     56134 |   10000   656926  1593400 |   469393    56134    772 |  0.000 % |
136.44/136.59	c |     58696 |   10000   656926  1593400 |   516332    58696    761 |  0.000 % |
137.14/137.24	c ===============================================================================
137.14/137.24	c New solution: 5718
137.14/137.24	o 5718
137.14/137.24	c Elapsed CPU time: 136.341 s	Remaining CPU time: 43.6587 s
137.14/137.24	c ===============================================================================
137.14/137.24	c |     58784 |   10000   656927  1603400 |   218975    58784    761 |  0.000 % |
137.45/137.52	c |     58885 |   10000   656927  1603400 |   240873    58885    761 |  0.000 % |
137.94/138.00	c |     59036 |   10000   656927  1603400 |   264960    59036    761 |  0.000 % |
138.45/138.57	c |     59261 |   10000   656927  1603400 |   291456    59261    760 |  0.000 % |
139.34/139.42	c |     59598 |   10000   656927  1603400 |   320602    59598    759 |  0.000 % |
140.44/140.58	c |     60106 |   10000   656927  1603400 |   352662    60106    758 |  0.000 % |
142.44/142.51	c |     60865 |   10000   656927  1603400 |   387928    60865    755 |  0.000 % |
145.24/145.38	c |     62004 |   10000   656927  1603400 |   426721    62004    753 |  0.000 % |
149.24/149.37	c |     63712 |   10000   656927  1603400 |   469393    63712    756 |  0.000 % |
156.83/156.93	c |     66274 |   10000   656927  1603400 |   516333    66274    751 |  0.000 % |
164.43/164.57	c |     70118 |   10000   656927  1603400 |   567966    70118    764 |  0.000 % |
177.92/178.05	c |     75886 |   10000   656927  1603400 |   624763    75886    759 |  0.000 % |
181.03/181.10	c There are 0 assigned variables. 0 in cost function.
204.43/204.58	c core #1
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 1
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #2
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 2
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #3
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 3
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #4
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 4
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #5
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 5
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #6
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 6
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #7
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 7
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #8
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 2	Total Weight: 9
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #9
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 10
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #10
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 201	Core Weight: 1	Total Weight: 11
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #11
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 12
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #12
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 13
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #13
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 2	Total Weight: 15
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #14
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 16
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #15
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 17
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #16
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 18
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #17
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 19
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #18
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 201	Core Weight: 3	Total Weight: 22
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #19
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 23
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #20
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 24
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #21
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 25
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #22
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 26
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #23
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 27
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #24
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 28
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #25
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 29
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #26
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 30
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #27
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 31
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #28
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 32
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #29
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 33
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #30
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 2	Total Weight: 35
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #31
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 36
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #32
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 37
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #33
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 2	Total Weight: 39
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #34
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 40
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #35
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 41
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #36
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 42
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #37
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 43
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #38
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 44
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #39
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 45
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #40
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 46
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #41
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 47
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #42
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 48
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #43
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 2	Total Weight: 50
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #44
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 51
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #45
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 52
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #46
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 53
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #47
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 54
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #48
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 55
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #49
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 56
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #50
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 57
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #51
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 58
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #52
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 59
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #53
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 60
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #54
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 61
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #55
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 2	Total Weight: 63
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #56
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 64
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #57
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 401	Core Weight: 2	Total Weight: 66
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #58
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 1	Total Weight: 67
204.43/204.58	c
204.43/204.58	c
204.43/204.58	c core #59
204.43/204.58	c 
204.43/204.58	c 
204.43/204.58	c Core size: 101	Core Weight: 6	Total Weight: 73
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #60
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 74
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #61
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 201	Core Weight: 1	Total Weight: 75
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #62
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 76
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #63
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 77
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #64
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 301	Core Weight: 1	Total Weight: 78
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #65
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 201	Core Weight: 1	Total Weight: 79
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #66
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 601	Core Weight: 1	Total Weight: 80
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #67
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 81
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #68
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 82
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #69
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 83
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #70
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 84
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #71
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 85
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #72
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 86
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #73
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 901	Core Weight: 1	Total Weight: 87
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #74
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 88
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #75
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 89
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #76
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 90
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #77
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 91
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #78
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 92
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #79
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 1001	Core Weight: 1	Total Weight: 93
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #80
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 94
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #81
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 95
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #82
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 96
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #83
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 97
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #84
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 98
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #85
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 99
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #86
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 301	Core Weight: 1	Total Weight: 100
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #87
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 101
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #88
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 102
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #89
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 103
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #90
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 104
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #91
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 105
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #92
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 106
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #93
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 107
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #94
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 108
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #95
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 2601	Core Weight: 1	Total Weight: 109
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #96
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 110
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #97
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 111
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #98
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 112
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #99
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 113
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #100
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 114
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #101
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 115
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #102
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 2	Total Weight: 117
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #103
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 118
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #104
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 2	Total Weight: 120
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #105
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 121
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #106
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 122
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #107
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 901	Core Weight: 1	Total Weight: 123
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #108
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 124
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #109
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 125
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #110
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 2	Total Weight: 127
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #111
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 128
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #112
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 3	Total Weight: 131
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #113
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 1388	Core Weight: 1	Total Weight: 132
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #114
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 3405	Core Weight: 1	Total Weight: 133
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #115
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 4	Total Weight: 137
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #116
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 101	Core Weight: 1	Total Weight: 138
228.10/228.25	c
228.10/228.25	c
228.10/228.25	c core #117
228.10/228.25	c 
228.10/228.25	c 
228.10/228.25	c Core size: 691	Core Weight: 1	Total Weight: 139
232.10/232.20	c
232.10/232.20	c
232.10/232.20	c core #118
232.10/232.20	c 
232.10/232.20	c 
232.10/232.20	c Core size: 2273	Core Weight: 1	Total Weight: 140
232.10/232.20	c
232.10/232.20	c
232.10/232.20	c core #119
232.10/232.20	c 
232.10/232.20	c 
232.10/232.20	c Core size: 101	Core Weight: 2	Total Weight: 142
232.10/232.20	c
232.10/232.20	c
232.10/232.20	c core #120
232.10/232.20	c 
232.10/232.20	c 
232.10/232.20	c Core size: 1445	Core Weight: 1	Total Weight: 143
232.10/232.20	c
232.10/232.20	c
232.10/232.20	c core #121
232.10/232.20	c 
232.10/232.20	c 
232.10/232.20	c Core size: 1721	Core Weight: 1	Total Weight: 144
232.10/232.20	c
232.10/232.20	c
232.10/232.20	c core #122
232.10/232.20	c 
232.10/232.20	c 
232.10/232.20	c Core size: 101	Core Weight: 1	Total Weight: 145
232.10/232.20	c
232.10/232.20	c
232.10/232.20	c core #123
232.10/232.20	c 
232.10/232.20	c 
232.10/232.20	c Core size: 201	Core Weight: 1	Total Weight: 146
232.10/232.20	c
232.10/232.20	c
232.10/232.20	c core #124
232.10/232.20	c 
232.10/232.20	c 
232.10/232.20	c Core size: 1918	Core Weight: 1	Total Weight: 147
232.10/232.20	c
232.10/232.20	c
232.10/232.20	c core #125
232.10/232.20	c 
232.10/232.20	c 
232.10/232.20	c Core size: 203	Core Weight: 1	Total Weight: 148
232.10/232.20	c
232.10/232.20	c
232.10/232.20	c ============================[ Search Statistics ]==============================
232.10/232.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
232.10/232.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
232.10/232.20	c ===============================================================================
232.10/232.20	c |         0 |   31407   697616    54723 |   232538        0    nan |  0.000 % |
232.10/232.20	c ===============================================================================
232.50/232.66	c core #126
232.50/232.66	c 
232.50/232.66	c 
232.50/232.66	c Core size: 402	Core Weight: 1	Total Weight: 149
232.50/232.66	c
232.50/232.66	c
232.50/232.66	c ============================[ Search Statistics ]==============================
232.50/232.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
232.50/232.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
232.50/232.66	c ===============================================================================
232.50/232.66	c |         0 |   31806   698001    55171 |   232667        0    nan |  0.000 % |
232.50/232.67	c ===============================================================================
233.00/233.10	c core #127
233.00/233.10	c 
233.00/233.10	c 
233.00/233.10	c Core size: 502	Core Weight: 1	Total Weight: 150
233.00/233.10	c
233.00/233.10	c
233.00/233.10	c ============================[ Search Statistics ]==============================
233.00/233.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
233.00/233.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
233.00/233.10	c ===============================================================================
233.00/233.10	c |         0 |   32303   698485    55724 |   232828        0    nan |  0.000 % |
233.00/233.15	c ===============================================================================
233.49/233.60	c core #128
233.49/233.60	c 
233.49/233.60	c 
233.49/233.60	c Core size: 1078	Core Weight: 1	Total Weight: 151
233.49/233.60	c
233.49/233.60	c
233.49/233.60	c ============================[ Search Statistics ]==============================
233.49/233.60	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
233.49/233.60	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
233.49/233.60	c ===============================================================================
233.49/233.60	c |         0 |   33381   699521    57011 |   233173        0    nan |  0.000 % |
233.49/233.66	c ===============================================================================
234.00/234.11	c core #129
234.00/234.11	c 
234.00/234.11	c 
234.00/234.11	c Core size: 1172	Core Weight: 1	Total Weight: 152
234.00/234.11	c
234.00/234.11	c
234.00/234.11	c ============================[ Search Statistics ]==============================
234.00/234.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
234.00/234.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
234.00/234.11	c ===============================================================================
234.00/234.11	c |         0 |   34540   700641    58409 |   233547        0    nan |  0.000 % |
234.30/234.40	c ===============================================================================
234.70/234.86	c core #130
234.70/234.86	c 
234.70/234.86	c 
234.70/234.86	c Core size: 2967	Core Weight: 1	Total Weight: 153
234.70/234.86	c
234.70/234.86	c
234.70/234.86	c ============================[ Search Statistics ]==============================
234.70/234.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
234.70/234.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
234.70/234.86	c ===============================================================================
234.70/234.86	c |         0 |   37528   703496    61998 |   234498        0    nan |  0.000 % |
234.99/235.19	c ===============================================================================
235.49/235.66	c core #131
235.49/235.66	c 
235.49/235.66	c 
235.49/235.66	c Core size: 3196	Core Weight: 1	Total Weight: 154
235.49/235.66	c
235.49/235.66	c
235.49/235.66	c ============================[ Search Statistics ]==============================
235.49/235.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
235.49/235.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
235.49/235.66	c ===============================================================================
235.49/235.66	c |         0 |   40755   706522    66475 |   235507        0    nan |  0.000 % |
236.09/236.27	c ===============================================================================
236.59/236.76	c core #132
236.59/236.76	c 
236.59/236.76	c 
236.59/236.76	c Core size: 5160	Core Weight: 1	Total Weight: 155
236.59/236.76	c
236.59/236.76	c
236.59/236.76	c ============================[ Search Statistics ]==============================
236.59/236.76	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
236.59/236.76	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
236.59/236.76	c ===============================================================================
236.59/236.76	c |         0 |   45954   711352    73237 |   237117        0    nan |  0.000 % |
236.80/236.91	c |       100 |   45953   711352    73237 |   260829       98    626 | 17.048 % |
237.00/237.16	c |       251 |   45950   711352    73237 |   286911      246    534 | 17.053 % |
238.29/238.45	c ===============================================================================
238.79/238.97	c core #133
238.79/238.97	c 
238.79/238.97	c 
238.79/238.97	c Core size: 7483	Core Weight: 1	Total Weight: 156
238.79/238.97	c
238.79/238.97	c
238.79/238.97	c ============================[ Search Statistics ]==============================
238.79/238.97	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
238.79/238.97	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
238.79/238.97	c ===============================================================================
238.79/238.97	c |         0 |   53503   718199    83771 |   239399        0    nan |  0.000 % |
238.99/239.18	c |       100 |   53503   718199    83771 |   263339      100    606 | 14.891 % |
239.49/239.65	c |       251 |   53503   718199    83771 |   289673      251    847 | 14.891 % |
240.30/240.40	c |       477 |   53503   718199    83771 |   318640      477   1297 | 14.891 % |
241.19/241.38	c |       814 |   53503   718199    83771 |   350505      814   1735 | 14.891 % |
243.09/243.21	c |      1321 |   53503   718199    83771 |   385555     1321   1991 | 14.891 % |
245.69/245.83	c |      2081 |   53502   718199    83771 |   424111     2080   1784 | 14.892 % |
250.70/250.83	c |      3222 |   53500   718199    83771 |   466522     3220   2275 | 14.896 % |
259.89/260.02	c |      4932 |   53499   718199    83771 |   513174     4910   2860 | 14.897 % |
274.79/274.94	c |      7497 |   53498   718199    83771 |   564491     7475   3255 | 14.899 % |
294.98/295.19	c |     11342 |   53497   718199    83771 |   620941    11318   3272 | 14.900 % |
314.68/314.81	c ===============================================================================
315.27/315.49	c core #134
315.27/315.49	c 
315.27/315.49	c 
315.27/315.49	c Core size: 10900	Core Weight: 1	Total Weight: 157
315.27/315.49	c
315.27/315.49	c
315.27/315.49	c ============================[ Search Statistics ]==============================
315.27/315.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
315.27/315.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
315.27/315.49	c ===============================================================================
315.27/315.49	c |         0 |   64481   727360    99413 |   242453        0    nan |  0.000 % |
315.58/315.71	c |       100 |   64481   727360    99413 |   266698      100   1027 | 12.562 % |
316.07/316.20	c |       255 |   64481   727360    99413 |   293368      255    600 | 12.562 % |
316.87/317.08	c |       482 |   64481   727360    99413 |   322705      482    556 | 12.562 % |
318.58/318.73	c |       823 |   64481   727360    99413 |   354975      823    783 | 12.562 % |
321.48/321.66	c |      1329 |   64481   727360    99413 |   390473     1329    976 | 12.562 % |
325.27/325.40	c |      2088 |   64481   727360    99413 |   429520     2088   1126 | 12.562 % |
331.37/331.58	c |      3228 |   64481   727360    99413 |   472472     3228   1115 | 12.562 % |
340.57/340.72	c |      4937 |   64481   727360    99413 |   519720     4937   1368 | 12.562 % |
352.66/352.80	c |      7503 |   64481   727360    99413 |   571692     7503   1358 | 12.562 % |
369.26/369.46	c |     11347 |   64479   727360    99413 |   628861    11318   1310 | 12.565 % |
405.06/405.21	c |     17115 |   64479   727360    99413 |   691747    17086   1466 | 12.565 % |
450.54/450.75	c |     25764 |   64479   727360    99413 |   760922    25735   1467 | 12.565 % |
528.12/528.38	c |     38738 |   64478   727360    99413 |   837014    38702   1647 | 12.566 % |
673.18/673.42	c |     58199 |   64478   727360    99413 |   920716    58163   2134 | 12.566 % |
925.21/925.54	c |     87391 |   64476   727360    99413 |  1012787    87347   2500 | 12.569 % |
1455.98/1456.42	c |    131182 |   64475   727360    99413 |  1114066   131098   3086 | 12.570 % |

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-2680576-1277451715/watcher-2680576-1277451715 -o /tmp/evaluation-result-2680576-1277451715/solver-2680576-1277451715 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680576-1277451715.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.08 0.02 0.01 3/106 20803
/proc/meminfo: memFree=1267592/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=20416 CPUtime=0.01
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 516 0 0 0 1 0 0 0 17 0 1 0 118828009 20905984 434 1992294400 134512640 135752675 4287037712 18446744073709551615 134564849 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 5104 434 141 303 0 591 0

[startup+0.0455139 s]
/proc/loadavg: 0.08 0.02 0.01 3/106 20803
/proc/meminfo: memFree=1267592/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=21436 CPUtime=0.04
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 771 0 0 0 4 0 0 0 17 0 1 0 118828009 21950464 689 1992294400 134512640 135752675 4287037712 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 5359 690 191 303 0 846 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21436

[startup+0.100518 s]
/proc/loadavg: 0.08 0.02 0.01 3/106 20803
/proc/meminfo: memFree=1267592/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=22220 CPUtime=0.09
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 1045 0 0 0 9 0 0 0 17 0 1 0 118828009 22753280 963 1992294400 134512640 135752675 4287037712 18446744073709551615 134559885 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 5555 963 277 303 0 1042 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22220

[startup+0.300537 s]
/proc/loadavg: 0.08 0.02 0.01 3/106 20803
/proc/meminfo: memFree=1267592/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=24696 CPUtime=0.28
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 1939 0 0 0 28 0 0 0 18 0 1 0 118828009 25288704 1857 1992294400 134512640 135752675 4287037712 18446744073709551615 134561217 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 6174 1857 563 303 0 1661 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 24696

[startup+0.700575 s]
/proc/loadavg: 0.08 0.02 0.01 3/106 20803
/proc/meminfo: memFree=1267592/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=28708 CPUtime=0.69
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 3455 0 0 0 68 1 0 0 18 0 1 0 118828009 29396992 3373 1992294400 134512640 135752675 4287037712 18446744073709551615 134562127 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 7177 3373 1108 303 0 2664 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28708

[startup+1.50065 s]
/proc/loadavg: 0.08 0.02 0.01 2/107 20804
/proc/meminfo: memFree=1255556/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=36848 CPUtime=1.48
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 6485 0 0 0 146 2 0 0 19 0 1 0 118828009 37732352 6403 1992294400 134512640 135752675 4287037712 18446744073709551615 135010143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 9212 6403 2191 303 0 4699 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 36848

[startup+3.10081 s]
/proc/loadavg: 0.08 0.02 0.01 2/107 20806
/proc/meminfo: memFree=1244148/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=41960 CPUtime=3.08
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 14826 0 0 0 303 5 0 0 23 0 1 0 118828009 42967040 9540 1992294400 134512640 135752675 4287037712 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 10490 9541 140 303 0 10185 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 41960

[startup+6.30111 s]
/proc/loadavg: 0.15 0.03 0.01 2/107 20806
/proc/meminfo: memFree=1190084/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=81060 CPUtime=6.29
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 24628 0 0 0 619 10 0 0 25 0 1 0 118828009 83005440 19342 1992294400 134512640 135752675 4287037712 18446744073709551615 135200859 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 20265 19342 141 303 0 19960 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 81060

[startup+12.7017 s]
/proc/loadavg: 0.22 0.05 0.02 2/107 20806
/proc/meminfo: memFree=1190084/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=81060 CPUtime=12.68
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 24638 0 0 0 1253 15 0 0 25 0 1 0 118828009 83005440 19352 1992294400 134512640 135752675 4287037712 18446744073709551615 134634705 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 20265 19352 145 303 0 19960 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 81060

[startup+25.5009 s]
/proc/loadavg: 0.39 0.09 0.03 2/107 20806
/proc/meminfo: memFree=1183264/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=88656 CPUtime=25.47
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 26525 0 0 0 2517 30 0 0 25 0 1 0 118828009 90783744 21239 1992294400 134512640 135752675 4287037712 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 22164 21239 145 303 0 21859 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 88656

[startup+51.1004 s]
/proc/loadavg: 0.60 0.17 0.05 2/107 20806
/proc/meminfo: memFree=1145072/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=126696 CPUtime=51.06
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 36053 0 0 0 5054 52 0 0 25 0 1 0 118828009 129736704 30767 1992294400 134512640 135752675 4287037712 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 31674 30767 145 303 0 31369 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 126696

[startup+102.308 s]
/proc/loadavg: 0.82 0.29 0.10 2/107 20808
/proc/meminfo: memFree=1082328/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=188700 CPUtime=102.26
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 51518 0 0 0 10155 71 0 0 25 0 1 0 118828009 193228800 46232 1992294400 134512640 135752675 4287037712 18446744073709551615 134638143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 47175 46232 145 303 0 46870 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 188700

[startup+162.301 s]
/proc/loadavg: 0.93 0.42 0.15 2/107 20810
/proc/meminfo: memFree=1011648/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=260452 CPUtime=162.23
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 69451 0 0 0 16128 95 0 0 25 0 1 0 118828009 266702848 64165 1992294400 134512640 135752675 4287037712 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 65113 64165 145 303 0 64808 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 260452

[startup+222.301 s]
/proc/loadavg: 0.97 0.52 0.20 2/107 20810
/proc/meminfo: memFree=962916/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=306668 CPUtime=222.21
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 82723 0 0 0 22116 105 0 0 25 0 1 0 118828009 314028032 75890 1992294400 134512640 135752675 4287037712 18446744073709551615 134622126 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 76667 75890 146 303 0 76362 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 306668

[startup+282.301 s]
/proc/loadavg: 0.99 0.61 0.25 2/107 20812
/proc/meminfo: memFree=960684/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=312096 CPUtime=282.18
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 84096 0 0 0 28103 115 0 0 25 0 1 0 118828009 319586304 77263 1992294400 134512640 135752675 4287037712 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 78024 77263 146 303 0 77719 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 312096

[startup+342.3 s]
/proc/loadavg: 1.07 0.69 0.30 2/107 20814
/proc/meminfo: memFree=846976/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=425628 CPUtime=342.16
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 111735 0 0 0 34081 135 0 0 25 0 1 0 118828009 435843072 104902 1992294400 134512640 135752675 4287037712 18446744073709551615 134638149 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 106407 104902 146 303 0 106102 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 425628

[startup+402.301 s]
/proc/loadavg: 1.10 0.76 0.35 2/107 20816
/proc/meminfo: memFree=846852/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=425628 CPUtime=402.15
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 111736 0 0 0 40073 142 0 0 25 0 1 0 118828009 435843072 104903 1992294400 134512640 135752675 4287037712 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 106407 104903 146 303 0 106102 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 425628

[startup+462.301 s]
/proc/loadavg: 1.10 0.82 0.39 2/107 20818
/proc/meminfo: memFree=846852/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=425628 CPUtime=462.14
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 111736 0 0 0 46063 151 0 0 25 0 1 0 118828009 435843072 104903 1992294400 134512640 135752675 4287037712 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 106407 104903 146 303 0 106102 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 425628

[startup+522.301 s]
/proc/loadavg: 1.10 0.86 0.43 2/107 20818
/proc/meminfo: memFree=828004/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=445500 CPUtime=522.12
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 116709 0 0 0 52050 162 0 0 25 0 1 0 118828009 456192000 109876 1992294400 134512640 135752675 4287037712 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 111375 109876 146 303 0 111070 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 445500

[startup+582.301 s]
/proc/loadavg: 1.17 0.92 0.47 2/107 20820
/proc/meminfo: memFree=735004/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=538164 CPUtime=582.11
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 139843 0 0 0 58030 181 0 0 25 0 1 0 118828009 551079936 133010 1992294400 134512640 135752675 4287037712 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 134541 133010 146 303 0 134236 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 538164

[startup+642.301 s]
/proc/loadavg: 1.11 0.94 0.51 2/107 20822
/proc/meminfo: memFree=624148/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=647812 CPUtime=642.1
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 167289 0 0 0 64012 198 0 0 25 0 1 0 118828009 663359488 160456 1992294400 134512640 135752675 4287037712 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 161953 160456 146 303 0 161648 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 647812

[startup+702.301 s]
/proc/loadavg: 1.04 0.95 0.54 2/107 20824
/proc/meminfo: memFree=546028/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=727540 CPUtime=702.07
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 187185 0 0 0 69992 215 0 0 25 0 1 0 118828009 745000960 180352 1992294400 134512640 135752675 4287037712 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 181885 180352 146 303 0 181580 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 727540

[startup+762.308 s]
/proc/loadavg: 1.01 0.96 0.56 2/107 20826
/proc/meminfo: memFree=459600/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=812272 CPUtime=762.07
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 208378 0 0 0 75977 230 0 0 25 0 1 0 118828009 831766528 201545 1992294400 134512640 135752675 4287037712 18446744073709551615 134638055 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 203068 201545 146 303 0 202763 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 812272

[startup+822.301 s]
/proc/loadavg: 1.00 0.96 0.59 2/107 20826
/proc/meminfo: memFree=375280/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=896868 CPUtime=822.05
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 229533 0 0 0 81957 248 0 0 25 0 1 0 118828009 918392832 222700 1992294400 134512640 135752675 4287037712 18446744073709551615 134616122 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 224217 222700 146 303 0 223912 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 896868

[startup+882.301 s]
/proc/loadavg: 1.00 0.97 0.61 2/107 20828
/proc/meminfo: memFree=282528/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=988960 CPUtime=882.03
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 252553 0 0 0 87939 264 0 0 25 0 1 0 118828009 1012695040 245720 1992294400 134512640 135752675 4287037712 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 247240 245720 146 303 0 246935 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 988960

[startup+942.301 s]
/proc/loadavg: 1.00 0.97 0.63 2/107 20830
/proc/meminfo: memFree=191636/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=1080720 CPUtime=942.02
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 275488 0 0 0 93924 278 0 0 25 0 1 0 118828009 1106657280 268655 1992294400 134512640 135752675 4287037712 18446744073709551615 134638016 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 270180 268655 146 303 0 269875 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 1080720

[startup+1002.3 s]
/proc/loadavg: 1.00 0.97 0.65 2/107 20832
/proc/meminfo: memFree=125544/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=1146152 CPUtime=1002
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 291807 0 0 0 99906 294 0 0 25 0 1 0 118828009 1173659648 284974 1992294400 134512640 135752675 4287037712 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 286538 284974 146 303 0 286233 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 1146152

[startup+1062.3 s]
/proc/loadavg: 1.00 0.97 0.67 2/107 20834
/proc/meminfo: memFree=55112/2059040 swapFree=4139980/4192956
[pid=20803] ppid=20801 vsize=1216944 CPUtime=1061.99
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 309531 0 0 0 105890 309 0 0 25 0 1 0 118828009 1246150656 302698 1992294400 134512640 135752675 4287037712 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 304236 302698 146 303 0 303931 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 1216944

[startup+1122.3 s]
/proc/loadavg: 1.00 0.97 0.69 2/107 20834
/proc/meminfo: memFree=10564/2059040 swapFree=4139948/4192956
[pid=20803] ppid=20801 vsize=1312292 CPUtime=1121.97
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 333370 0 0 0 111871 326 0 0 25 0 1 0 118828009 1343787008 326537 1992294400 134512640 135752675 4287037712 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 328073 326537 146 303 0 327768 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 1312292

[startup+1182.3 s]
/proc/loadavg: 1.00 0.97 0.71 2/107 20845
/proc/meminfo: memFree=9296/2059040 swapFree=4139948/4192956
[pid=20803] ppid=20801 vsize=1406880 CPUtime=1181.94
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 357019 0 0 0 117851 343 0 0 25 0 1 0 118828009 1440645120 350186 1992294400 134512640 135752675 4287037712 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 351720 350186 146 303 0 351415 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 1406880

[startup+1242.3 s]
/proc/loadavg: 1.00 0.97 0.72 2/107 20847
/proc/meminfo: memFree=9584/2059040 swapFree=4139948/4192956
[pid=20803] ppid=20801 vsize=1501424 CPUtime=1241.92
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 380658 0 0 0 123835 357 0 0 25 0 1 0 118828009 1537458176 373825 1992294400 134512640 135752675 4287037712 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 375356 373825 146 303 0 375051 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1501424

[startup+1302.3 s]
/proc/loadavg: 1.00 0.97 0.74 2/107 20849
/proc/meminfo: memFree=9472/2059040 swapFree=4139948/4192956
[pid=20803] ppid=20801 vsize=1587364 CPUtime=1301.92
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 402131 0 0 0 129823 369 0 0 25 0 1 0 118828009 1625460736 395298 1992294400 134512640 135752675 4287037712 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 396841 395298 146 303 0 396536 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1587364

[startup+1362.3 s]
/proc/loadavg: 1.00 0.97 0.75 2/107 20851
/proc/meminfo: memFree=10340/2059040 swapFree=4139948/4192956
[pid=20803] ppid=20801 vsize=1662308 CPUtime=1361.9
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 420871 0 0 0 135809 381 0 0 25 0 1 0 118828009 1702203392 414038 1992294400 134512640 135752675 4287037712 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 415577 414038 146 303 0 415272 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1662308

[startup+1422.31 s]
/proc/loadavg: 1.00 0.97 0.76 2/107 20851
/proc/meminfo: memFree=10468/2059040 swapFree=4139948/4192956
[pid=20803] ppid=20801 vsize=1759272 CPUtime=1421.89
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 445113 0 0 0 141793 396 0 0 25 0 1 0 118828009 1801494528 438280 1992294400 134512640 135752675 4287037712 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 439818 438280 146 303 0 439513 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1759272

[startup+1482.3 s]
/proc/loadavg: 1.00 0.97 0.77 2/107 20853
/proc/meminfo: memFree=10452/2059040 swapFree=4139948/4192956
[pid=20803] ppid=20801 vsize=1836076 CPUtime=1481.87
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 464322 0 0 0 147776 411 0 0 25 0 1 0 118828009 1880141824 457489 1992294400 134512640 135752675 4287037712 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 459019 457489 146 303 0 458714 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1836076



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1487.1 s]
/proc/loadavg: 1.00 0.97 0.77 2/107 20853
/proc/meminfo: memFree=10372/2059040 swapFree=4139948/4192956
[pid=20803] ppid=20801 vsize=1843280 CPUtime=1486.68
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4202496 466125 0 0 0 148256 412 0 0 25 0 1 0 118828009 1887518720 459292 1992294400 134512640 135752675 4287037712 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/20803/statm: 460820 459292 146 303 0 460515 0
Current children cumulated CPU time (s) 1486.68
Current children cumulated vsize (KiB) 1843280

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

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

[startup+1487.22 s]
/proc/loadavg: 1.00 0.97 0.77 2/107 20853
/proc/meminfo: memFree=10372/2059040 swapFree=4139948/4192956
[pid=20803] ppid=20801 vsize=0 CPUtime=1486.78
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4203524 466125 0 0 0 148256 422 0 0 25 0 1 0 118828009 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/20803/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1486.78
Current children cumulated vsize (KiB) 0

[startup+1487.3 s]
/proc/loadavg: 1.00 0.97 0.77 2/107 20853
/proc/meminfo: memFree=10372/2059040 swapFree=4139948/4192956
[pid=20803] ppid=20801 vsize=0 CPUtime=1486.86
/proc/20803/stat : 20803 (wbo1.4b) R 20801 20803 20778 0 -1 4203524 466125 0 0 0 148256 430 0 0 25 0 1 0 118828009 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/20803/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1486.86
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1487.3
CPU time (s): 1486.88
CPU user time (s): 1482.57
CPU system time (s): 4.30835
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 1843280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1482.57
system time used= 4.30835
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 466125
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= 2
involuntary context switches= 5706

runsolver used 2.6356 second user time and 6.90095 second system time

The end

Launcher Data 

Begin job on node018 at 2010-06-25 09:41:57
IDJOB=2680576
IDBENCH=1967
IDSOLVER=1190
FILE ID=node018/2680576-1277451715
PBS_JOBID= 11188141
Free space on /tmp= 62476 MiB

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

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

MD5SUM BENCH= 8eed52e8cea562b1b1ee5bae07565266
RANDOM SEED=1617550018

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1268120 kB
Buffers:        213244 kB
Cached:         463036 kB
SwapCached:       5856 kB
Active:         314620 kB
Inactive:       374984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1268120 kB
SwapTotal:     4192956 kB
SwapFree:      4139980 kB
Dirty:           19496 kB
Writeback:           0 kB
AnonPages:       11648 kB
Mapped:          11920 kB
Slab:            79464 kB
PageTables:       4132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181448 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= 62472 MiB
End job on node018 at 2010-06-25 10:06:46