Trace number 2655939

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? (MO) 1393.03 1393.38

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb
MD5SUM13c1b3915f4d316b882a7e551b1f0496
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark453
Best CPU time to get the best result obtained on this benchmark1802.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 502
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 498884
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 498884
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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655939-1276382154.opb.
0.00/0.00	c Instance file HOME/instance-2655939-1276382154.opb
0.00/0.00	c File size is 17233663 bytes.
2.59/2.62	c Highest Coefficient sum: 101
2.59/2.63	c ============================[ Problem Statistics ]=============================
2.59/2.63	c |                                                                             |
2.59/2.63	c |  Parsing time:          2.58         s                                      |
2.59/2.63	c |  Number Variables:      10000                                               |
2.59/2.63	c |  Number Clauses:        656900                                              |
2.59/2.63	c |  Number Cardinality:    0                                                   |
2.59/2.63	c |  Number PB Constraints: 0                                                   |
6.09/6.12	c ============================[ Search Statistics ]==============================
6.09/6.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
6.09/6.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
6.09/6.12	c ===============================================================================
6.09/6.12	c |         0 |   10000   656900  1333400 |   218966        0    nan |  0.000 % |
6.09/6.19	c |       100 |   10000   656900  1333400 |   240863      100    958 |  0.000 % |
6.29/6.32	c |       251 |   10000   656900  1333400 |   264949      251   1339 |  0.000 % |
6.60/6.63	c ===============================================================================
6.60/6.63	c New solution: 6399
6.60/6.63	o 6399
6.60/6.63	c Elapsed CPU time: 6.50401 s	Remaining CPU time: 173.496 s
6.60/6.63	c ===============================================================================
6.60/6.63	c |       283 |   10000   656901  1343400 |   218967      283   1242 |  0.000 % |
6.69/6.73	c |       384 |   10000   656901  1343400 |   240863      384   1058 |  0.000 % |
6.79/6.87	c |       534 |   10000   656901  1343400 |   264950      534    975 |  0.000 % |
6.99/7.03	c |       759 |   10000   656901  1343400 |   291445      759   1048 |  0.000 % |
7.29/7.33	c |      1098 |   10000   656901  1343400 |   320589     1098    911 |  0.000 % |
7.69/7.77	c |      1604 |   10000   656901  1343400 |   352648     1604   1187 |  0.000 % |
8.29/8.35	c |      2364 |   10000   656901  1343400 |   387913     2364   1159 |  0.000 % |
9.39/9.41	c |      3503 |   10000   656901  1343400 |   426704     3503   1053 |  0.000 % |
11.09/11.13	c |      5211 |   10000   656901  1343400 |   469375     5211    980 |  0.000 % |
11.38/11.43	c ===============================================================================
11.38/11.43	c New solution: 6384
11.38/11.43	o 6384
11.38/11.43	c Elapsed CPU time: 11.2633 s	Remaining CPU time: 168.737 s
11.38/11.43	c ===============================================================================
11.38/11.43	c |      5218 |   10000   656902  1353400 |   218967     5218    980 |  0.000 % |
11.69/11.74	c ===============================================================================
11.69/11.74	c New solution: 6363
11.69/11.74	o 6363
11.69/11.74	c Elapsed CPU time: 11.5642 s	Remaining CPU time: 168.436 s
11.69/11.74	c ===============================================================================
11.69/11.74	c |      5225 |   10000   656903  1363400 |   218967     5225    979 |  0.000 % |
11.99/12.04	c ===============================================================================
11.99/12.04	c New solution: 6173
11.99/12.04	o 6173
11.99/12.04	c Elapsed CPU time: 11.8652 s	Remaining CPU time: 168.135 s
11.99/12.04	c ===============================================================================
11.99/12.04	c |      5225 |   10000   656904  1373400 |   218968     5225    979 |  0.000 % |
12.10/12.14	c |      5325 |   10000   656904  1373400 |   240864     5325    973 |  0.000 % |
12.39/12.44	c ===============================================================================
12.39/12.44	c New solution: 6169
12.39/12.44	o 6169
12.39/12.44	c Elapsed CPU time: 12.2491 s	Remaining CPU time: 167.751 s
12.39/12.44	c ===============================================================================
12.39/12.44	c |      5327 |   10000   656905  1383400 |   218968     5327    972 |  0.000 % |
12.69/12.75	c ===============================================================================
12.69/12.75	c New solution: 6076
12.69/12.75	o 6076
12.69/12.75	c Elapsed CPU time: 12.5511 s	Remaining CPU time: 167.449 s
12.69/12.75	c ===============================================================================
12.69/12.75	c |      5338 |   10000   656906  1393400 |   218968     5338    972 |  0.000 % |
12.98/13.05	c ===============================================================================
12.98/13.05	c New solution: 6006
12.98/13.05	o 6006
12.98/13.05	c Elapsed CPU time: 12.853 s	Remaining CPU time: 167.147 s
12.98/13.05	c ===============================================================================
12.98/13.05	c |      5352 |   10000   656907  1403400 |   218969     5352    971 |  0.000 % |
13.10/13.16	c |      5452 |   10000   656907  1403400 |   240865     5452    975 |  0.000 % |
13.28/13.32	c |      5603 |   10000   656907  1403400 |   264952     5603    978 |  0.000 % |
13.49/13.56	c |      5828 |   10000   656907  1403400 |   291447     5828    989 |  0.000 % |
13.88/13.90	c |      6168 |   10000   656907  1403400 |   320592     6168   1021 |  0.000 % |
14.49/14.50	c |      6676 |   10000   656907  1403400 |   352651     6676   1045 |  0.000 % |
15.39/15.48	c |      7438 |   10000   656907  1403400 |   387916     7438   1139 |  0.000 % |
15.79/15.83	c ===============================================================================
15.79/15.83	c New solution: 5939
15.79/15.83	o 5939
15.79/15.83	c Elapsed CPU time: 15.5986 s	Remaining CPU time: 164.401 s
15.79/15.83	c ===============================================================================
15.79/15.83	c |      7473 |   10000   656908  1413400 |   218969     7473   1137 |  0.000 % |
15.89/15.96	c |      7573 |   10000   656908  1413400 |   240866     7573   1130 |  0.000 % |
16.28/16.30	c ===============================================================================
16.28/16.30	c New solution: 5936
16.28/16.30	o 5936
16.28/16.30	c Elapsed CPU time: 16.0646 s	Remaining CPU time: 163.935 s
16.28/16.30	c ===============================================================================
16.28/16.30	c |      7590 |   10000   656909  1423400 |   218969     7590   1129 |  0.000 % |
16.39/16.47	c |      7690 |   10000   656909  1423400 |   240866     7690   1121 |  0.000 % |
16.59/16.65	c |      7841 |   10000   656909  1423400 |   264953     7841   1117 |  0.000 % |
17.19/17.20	c ===============================================================================
17.19/17.21	c New solution: 5928
17.19/17.21	o 5928
17.19/17.21	c Elapsed CPU time: 16.9434 s	Remaining CPU time: 163.057 s
17.19/17.21	c ===============================================================================
17.19/17.21	c |      8034 |   10000   656910  1433400 |   218970     8034   1118 |  0.000 % |
17.29/17.37	c |      8135 |   10000   656910  1433400 |   240867     8135   1112 |  0.000 % |
17.49/17.58	c |      8287 |   10000   656910  1433400 |   264953     8287   1111 |  0.000 % |
17.89/17.91	c |      8512 |   10000   656910  1433400 |   291449     8512   1100 |  0.000 % |
18.38/18.46	c |      8850 |   10000   656910  1433400 |   320593     8850   1076 |  0.000 % |
19.09/19.16	c |      9356 |   10000   656910  1433400 |   352653     9356   1048 |  0.000 % |
20.18/20.27	c |     10115 |   10000   656910  1433400 |   387918    10115   1004 |  0.000 % |
21.78/21.82	c |     11255 |   10000   656910  1433400 |   426710    11255    954 |  0.000 % |
24.10/24.16	c ===============================================================================
24.10/24.16	c New solution: 5912
24.10/24.16	o 5912
24.10/24.16	c Elapsed CPU time: 23.8464 s	Remaining CPU time: 156.154 s
24.10/24.16	c ===============================================================================
24.10/24.16	c |     12235 |   10000   656911  1443400 |   218970    12235    916 |  0.000 % |
24.39/24.40	c |     12335 |   10000   656911  1443400 |   240867    12335    915 |  0.000 % |
24.68/24.73	c ===============================================================================
24.68/24.73	c New solution: 5889
24.68/24.73	o 5889
24.68/24.73	c Elapsed CPU time: 24.4153 s	Remaining CPU time: 155.585 s
24.68/24.73	c ===============================================================================
24.68/24.73	c |     12358 |   10000   656912  1453400 |   218970    12358    914 |  0.000 % |
24.88/24.95	c |     12458 |   10000   656912  1453400 |   240867    12458    915 |  0.000 % |
25.30/25.32	c |     12609 |   10000   656912  1453400 |   264954    12609    909 |  0.000 % |
25.68/25.75	c ===============================================================================
25.68/25.75	c New solution: 5886
25.68/25.75	o 5886
25.68/25.75	c Elapsed CPU time: 25.4241 s	Remaining CPU time: 154.576 s
25.68/25.75	c ===============================================================================
25.68/25.75	c |     12650 |   10000   656913  1463400 |   218971    12650    908 |  0.000 % |
25.89/25.93	c |     12751 |   10000   656913  1463400 |   240868    12751    910 |  0.000 % |
26.09/26.19	c |     12901 |   10000   656913  1463400 |   264954    12901    908 |  0.000 % |
26.58/26.60	c |     13127 |   10000   656913  1463400 |   291450    13127    913 |  0.000 % |
27.08/27.12	c |     13464 |   10000   656913  1463400 |   320595    13464    910 |  0.000 % |
27.99/28.05	c |     13970 |   10000   656913  1463400 |   352654    13970    905 |  0.000 % |
29.18/29.29	c |     14730 |   10000   656913  1463400 |   387920    14730    897 |  0.000 % |
30.99/31.08	c |     15870 |   10000   656913  1463400 |   426712    15870    874 |  0.000 % |
34.19/34.23	c |     17579 |   10000   656913  1463400 |   469383    17579    856 |  0.000 % |
34.58/34.63	c ===============================================================================
34.58/34.63	c New solution: 5884
34.58/34.63	o 5884
34.58/34.63	c Elapsed CPU time: 34.2448 s	Remaining CPU time: 145.755 s
34.58/34.63	c ===============================================================================
34.58/34.63	c |     17624 |   10000   656914  1473400 |   218971    17624    855 |  0.000 % |
34.79/34.81	c |     17724 |   10000   656914  1473400 |   240868    17724    854 |  0.000 % |
35.09/35.15	c |     17875 |   10000   656914  1473400 |   264955    17875    852 |  0.000 % |
35.48/35.55	c |     18102 |   10000   656914  1473400 |   291450    18102    849 |  0.000 % |
36.09/36.11	c |     18440 |   10000   656914  1473400 |   320595    18440    848 |  0.000 % |
36.88/36.92	c |     18947 |   10000   656914  1473400 |   352655    18947    857 |  0.000 % |
38.08/38.12	c |     19706 |   10000   656914  1473400 |   387921    19706    872 |  0.000 % |
39.98/40.05	c |     20845 |   10000   656914  1473400 |   426713    20845    858 |  0.000 % |
42.48/42.58	c |     22553 |   10000   656914  1473400 |   469384    22553    835 |  0.000 % |
46.78/46.80	c |     25115 |   10000   656914  1473400 |   516322    25115    816 |  0.000 % |
53.47/53.53	c |     28961 |   10000   656914  1473400 |   567955    28961    774 |  0.000 % |
62.97/63.05	c |     34727 |   10000   656914  1473400 |   624750    34727    770 |  0.000 % |
81.27/81.32	c |     43377 |   10000   656914  1473400 |   687225    43377    734 |  0.000 % |
106.57/106.62	c |     56351 |   10000   656914  1473400 |   755948    56351    725 |  0.000 % |
107.67/107.74	c ===============================================================================
107.67/107.74	c New solution: 5868
107.67/107.74	o 5868
107.67/107.74	c Elapsed CPU time: 107.02 s	Remaining CPU time: 72.9803 s
107.67/107.74	c ===============================================================================
107.67/107.74	c |     56754 |   10000   656915  1483400 |   218971    56754    731 |  0.000 % |
107.97/108.06	c ===============================================================================
107.97/108.06	c New solution: 5843
107.97/108.06	o 5843
107.97/108.06	c Elapsed CPU time: 107.336 s	Remaining CPU time: 72.6643 s
107.97/108.06	c ===============================================================================
107.97/108.06	c |     56754 |   10000   656916  1493400 |   218972    56754    731 |  0.000 % |
108.26/108.39	c ===============================================================================
108.26/108.39	c New solution: 5809
108.26/108.39	o 5809
108.26/108.39	c Elapsed CPU time: 107.66 s	Remaining CPU time: 72.3404 s
108.26/108.39	c ===============================================================================
108.26/108.39	c |     56761 |   10000   656917  1503400 |   218972    56761    731 |  0.000 % |
108.57/108.62	c |     56861 |   10000   656917  1503400 |   240869    56861    731 |  0.000 % |
108.87/108.96	c |     57011 |   10000   656917  1503400 |   264956    57011    730 |  0.000 % |
109.26/109.34	c |     57236 |   10000   656917  1503400 |   291452    57236    731 |  0.000 % |
109.77/109.89	c |     57573 |   10000   656917  1503400 |   320597    57573    730 |  0.000 % |
110.66/110.77	c |     58079 |   10000   656917  1503400 |   352657    58079    728 |  0.000 % |
111.96/112.01	c |     58838 |   10000   656917  1503400 |   387922    58838    727 |  0.000 % |
113.87/113.90	c |     59978 |   10000   656917  1503400 |   426715    59978    728 |  0.000 % |
116.66/116.71	c |     61687 |   10000   656917  1503400 |   469386    61687    728 |  0.000 % |
122.07/122.13	c |     64249 |   10000   656917  1503400 |   516325    64249    726 |  0.000 % |
123.36/123.42	c ===============================================================================
123.36/123.42	c New solution: 5807
123.36/123.42	o 5807
123.36/123.42	c Elapsed CPU time: 122.612 s	Remaining CPU time: 57.3876 s
123.36/123.42	c ===============================================================================
123.36/123.42	c |     64723 |   10000   656918  1513400 |   218972    64723    725 |  0.000 % |
123.96/124.09	c ===============================================================================
123.96/124.09	c New solution: 5802
123.96/124.09	o 5802
123.96/124.09	c Elapsed CPU time: 123.286 s	Remaining CPU time: 56.7137 s
123.96/124.09	c ===============================================================================
123.96/124.09	c |     64822 |   10000   656919  1523400 |   218973    64822    725 |  0.000 % |
124.27/124.35	c |     64923 |   10000   656919  1523400 |   240870    64923    725 |  0.000 % |
124.56/124.67	c |     65074 |   10000   656919  1523400 |   264957    65074    725 |  0.000 % |
125.46/125.55	c ===============================================================================
125.46/125.55	c New solution: 5775
125.46/125.55	o 5775
125.46/125.55	c Elapsed CPU time: 124.726 s	Remaining CPU time: 55.274 s
125.46/125.55	c ===============================================================================
125.46/125.55	c |     65279 |   10000   656920  1533400 |   218973    65279    725 |  0.000 % |
125.66/125.79	c |     65380 |   10000   656920  1533400 |   240870    65380    725 |  0.000 % |
125.96/126.08	c |     65530 |   10000   656920  1533400 |   264957    65530    724 |  0.000 % |
126.56/126.62	c |     65755 |   10000   656920  1533400 |   291453    65755    723 |  0.000 % |
127.26/127.30	c |     66092 |   10000   656920  1533400 |   320598    66092    722 |  0.000 % |
128.06/128.18	c |     66598 |   10000   656920  1533400 |   352658    66598    719 |  0.000 % |
129.76/129.81	c |     67357 |   10000   656920  1533400 |   387924    67357    718 |  0.000 % |
132.66/132.76	c |     68496 |   10000   656920  1533400 |   426717    68496    715 |  0.000 % |
135.75/135.86	c |     70204 |   10000   656920  1533400 |   469388    70204    712 |  0.000 % |
138.05/138.11	c ===============================================================================
138.05/138.11	c New solution: 5749
138.05/138.11	o 5749
138.05/138.11	c Elapsed CPU time: 137.22 s	Remaining CPU time: 42.7799 s
138.05/138.11	c ===============================================================================
138.05/138.11	c |     71110 |   10000   656921  1543400 |   218973    71110    710 |  0.000 % |
138.15/138.29	c |     71212 |   10000   656921  1543400 |   240871    71212    710 |  0.000 % |
138.66/138.75	c |     71363 |   10000   656921  1543400 |   264958    71363    709 |  0.000 % |
139.25/139.38	c |     71588 |   10000   656921  1543400 |   291453    71588    708 |  0.000 % |
140.05/140.10	c |     71925 |   10000   656921  1543400 |   320599    71925    710 |  0.000 % |
140.86/140.98	c |     72432 |   10000   656921  1543400 |   352659    72432    709 |  0.000 % |
142.96/143.01	c |     73191 |   10000   656921  1543400 |   387925    73191    712 |  0.000 % |
144.75/144.89	c |     74331 |   10000   656921  1543400 |   426717    74331    711 |  0.000 % |
147.65/147.70	c |     76040 |   10000   656921  1543400 |   469389    76040    712 |  0.000 % |
153.55/153.67	c |     78603 |   10000   656921  1543400 |   516328    78603    717 |  0.000 % |
159.15/159.26	c |     82447 |   10000   656921  1543400 |   567961    82447    715 |  0.000 % |
171.05/171.18	c |     88213 |   10000   656921  1543400 |   624757    88213    722 |  0.000 % |
181.04/181.10	c There are 0 assigned variables. 0 in cost function.
232.23/232.37	c core #1
232.23/232.37	c core #2
232.23/232.37	c core #3
232.23/232.37	c core #4
232.23/232.37	c core #5
232.23/232.37	c core #6
232.23/232.37	c core #7
232.23/232.37	c core #8
232.23/232.37	c core #9
232.23/232.37	c core #10
232.23/232.37	c core #11
232.23/232.37	c core #12
232.23/232.37	c core #13
232.23/232.37	c core #14
232.23/232.37	c core #15
232.23/232.37	c core #16
232.23/232.37	c core #17
232.23/232.37	c core #18
232.23/232.37	c core #19
232.23/232.37	c core #20
232.23/232.37	c core #21
232.23/232.37	c core #22
232.23/232.37	c core #23
232.23/232.37	c core #24
232.23/232.37	c core #25
232.23/232.37	c core #26
232.23/232.37	c core #27
232.23/232.37	c core #28
232.23/232.37	c core #29
232.23/232.37	c core #30
232.23/232.37	c core #31
232.23/232.37	c core #32
232.23/232.37	c core #33
232.23/232.37	c core #34
232.23/232.37	c core #35
232.23/232.37	c core #36
232.23/232.37	c core #37
232.23/232.37	c core #38
232.23/232.37	c core #39
232.23/232.37	c core #40
232.23/232.37	c core #41
232.23/232.37	c core #42
232.23/232.37	c core #43
232.23/232.37	c core #44
232.23/232.37	c core #45
232.23/232.37	c core #46
232.23/232.37	c core #47
232.23/232.37	c core #48
232.23/232.37	c core #49
232.23/232.37	c core #50
232.23/232.37	c core #51
232.23/232.37	c core #52
232.23/232.37	c core #53
232.23/232.37	c core #54
232.23/232.37	c core #55
232.23/232.37	c core #56
232.23/232.37	c core #57
232.23/232.37	c core #58
232.23/232.37	c core #59
232.23/232.37	c core #60
232.23/232.37	c core #61
232.23/232.37	c core #62
232.23/232.37	c core #63
232.23/232.37	c core #64
232.23/232.37	c core #65
232.23/232.37	c core #66
232.23/232.37	c core #67
232.23/232.37	c core #68
232.23/232.37	c core #69
232.23/232.37	c core #70
232.23/232.37	c core #71
232.23/232.37	c core #72
232.23/232.37	c core #73
232.23/232.37	c core #74
232.23/232.37	c core #75
232.23/232.37	c core #76
232.23/232.37	c core #77
232.23/232.37	c core #78
232.23/232.37	c core #79
232.23/232.37	c core #80
232.23/232.37	c core #81
232.23/232.37	c core #82
232.23/232.37	c core #83
232.23/232.37	c core #84
232.23/232.37	c core #85
232.23/232.37	c core #86
232.23/232.37	c core #87
232.23/232.37	c core #88
232.23/232.37	c core #89
232.23/232.37	c core #90
232.23/232.37	c core #91
232.23/232.37	c core #92
232.23/232.37	c core #93
232.23/232.37	c core #94
232.23/232.37	c core #95
232.23/232.37	c core #96
232.23/232.37	c core #97
232.23/232.37	c core #98
232.23/232.37	c core #99
232.23/232.37	c core #100
232.23/232.37	c core #101
232.23/232.37	c core #102
232.23/232.37	c core #103
232.23/232.37	c core #104
232.23/232.37	c core #105
232.23/232.37	c core #106
232.23/232.37	c core #107
232.23/232.37	c core #108
232.23/232.37	c core #109
232.23/232.37	c core #110
232.23/232.37	c core #111
232.23/232.37	c core #112
232.23/232.37	c core #113
232.23/232.37	c core #114
232.23/232.37	c core #115
232.23/232.37	c core #116
232.23/232.37	c core #117
232.23/232.37	c core #118
232.23/232.37	c core #119
232.23/232.37	c core #120
232.23/232.37	c core #121
232.23/232.37	c core #122
232.23/232.37	c core #123
232.23/232.37	c core #124
232.23/232.37	c core #125
232.23/232.37	c core #126
232.23/232.37	c core #127
232.23/232.37	c core #128
232.23/232.37	c ============================[ Search Statistics ]==============================
232.23/232.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
232.23/232.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
232.23/232.37	c ===============================================================================
232.23/232.37	c |         0 |   28467   695428    51796 |   231809        0    nan |  0.000 % |
232.33/232.40	c ===============================================================================
232.73/232.85	c core #129
232.73/232.85	c ============================[ Search Statistics ]==============================
232.73/232.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
232.73/232.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
232.73/232.85	c ===============================================================================
232.73/232.85	c |         0 |   29345   696278    52864 |   232092        0    nan |  0.000 % |
232.83/232.92	c ===============================================================================
233.23/233.35	c core #130
233.23/233.35	c ============================[ Search Statistics ]==============================
233.23/233.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
233.23/233.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
233.23/233.35	c ===============================================================================
233.23/233.35	c |         0 |   31406   697853    55351 |   232617        0    nan |  0.000 % |
233.23/233.38	c ===============================================================================
233.73/233.82	c core #131
233.73/233.82	c ============================[ Search Statistics ]==============================
233.73/233.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
233.73/233.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
233.73/233.82	c ===============================================================================
233.73/233.82	c |         0 |   32498   698706    56489 |   232902        0    nan |  0.000 % |
233.73/233.87	c ===============================================================================
234.24/234.31	c core #132
234.24/234.31	c ============================[ Search Statistics ]==============================
234.24/234.31	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
234.24/234.31	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
234.24/234.31	c ===============================================================================
234.24/234.31	c |         0 |   33379   699543    57637 |   233181        0    nan |  0.000 % |
234.33/234.40	c ===============================================================================
234.73/234.85	c core #133
234.73/234.85	c ============================[ Search Statistics ]==============================
234.73/234.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
234.73/234.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
234.73/234.85	c ===============================================================================
234.73/234.85	c |         0 |   35106   701176    59922 |   233725        0    nan |  0.000 % |
235.24/235.33	c ===============================================================================
235.73/235.80	c core #134
235.73/235.80	c ============================[ Search Statistics ]==============================
235.73/235.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
235.73/235.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
235.73/235.80	c ===============================================================================
235.73/235.80	c |         0 |   39551   705402    65534 |   235134        0    nan |  0.000 % |
236.63/236.74	c ===============================================================================
237.13/237.22	c core #135
237.13/237.22	c ============================[ Search Statistics ]==============================
237.13/237.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
237.13/237.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
237.13/237.22	c ===============================================================================
237.13/237.22	c |         0 |   45610   711126    73316 |   237042        0    nan |  0.000 % |
237.33/237.42	c |       100 |   45606   711126    73316 |   260746       97    896 | 17.279 % |
238.54/238.65	c ===============================================================================
239.03/239.14	c core #136
239.03/239.14	c ============================[ Search Statistics ]==============================
239.03/239.14	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
239.03/239.14	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
239.03/239.14	c ===============================================================================
239.03/239.14	c |         0 |   52207   717068    82204 |   239022        0    nan |  0.000 % |
239.23/239.30	c |       100 |   52207   717068    82204 |   262924      100    840 | 15.200 % |
239.43/239.59	c |       251 |   52207   717068    82204 |   289217      251    972 | 15.200 % |
239.93/240.05	c |       476 |   52207   717068    82204 |   318139      476    874 | 15.200 % |
240.73/240.83	c |       814 |   52205   717068    82204 |   349953      806   1129 | 15.203 % |
242.03/242.18	c |      1320 |   52205   717068    82204 |   384948     1312   1555 | 15.203 % |
243.83/243.95	c |      2080 |   52205   717068    82204 |   423443     2072   1701 | 15.203 % |
248.33/248.42	c |      3221 |   52199   717068    82204 |   465787     3189   2462 | 15.213 % |
254.83/254.96	c |      4929 |   51881   717068    82204 |   512366     2812   1730 | 15.730 % |
257.63/257.78	c ===============================================================================
258.23/258.37	c core #137
258.23/258.37	c ============================[ Search Statistics ]==============================
258.23/258.37	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
258.23/258.37	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
258.23/258.37	c ===============================================================================
258.23/258.37	c |         0 |   63021   726240    97360 |   242080        0    nan |  0.000 % |
258.43/258.59	c |       101 |   63021   726240    97360 |   266288      101    828 | 12.823 % |
259.22/259.34	c |       253 |   63021   726240    97360 |   292916      253    922 | 12.823 % |
259.93/260.08	c |       478 |   63021   726240    97360 |   322208      478    771 | 12.823 % |
261.33/261.44	c |       818 |   63021   726240    97360 |   354429      818    879 | 12.823 % |
263.42/263.58	c |      1325 |   63021   726240    97360 |   389872     1325    875 | 12.823 % |
265.33/265.43	c |      2086 |   63021   726240    97360 |   428859     2086   1098 | 12.823 % |
270.72/270.89	c |      3228 |   63021   726240    97360 |   471745     3228   1155 | 12.823 % |
280.82/280.90	c |      4939 |   63020   726240    97360 |   518919     4933   1315 | 12.825 % |
291.32/291.40	c |      7501 |   63020   726240    97360 |   570811     7495   1388 | 12.825 % |
308.31/308.43	c |     11348 |   63020   726240    97360 |   627893    11342   1542 | 12.825 % |
344.51/344.68	c |     17116 |   63020   726240    97360 |   690682    17110   1968 | 12.825 % |
398.39/398.58	c |     25765 |   63020   726240    97360 |   759750    25759   2061 | 12.825 % |
512.86/513.07	c |     38739 |   63018   726240    97360 |   835725    38719   2337 | 12.827 % |
682.02/682.24	c |     58202 |   63016   726240    97360 |   919298    58150   2773 | 12.830 % |
1036.83/1037.17	c |     87396 |   63016   726240    97360 |  1011228    87344   3361 | 12.830 % |

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-2655939-1276382154/watcher-2655939-1276382154 -o /tmp/evaluation-result-2655939-1276382154/solver-2655939-1276382154 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655939-1276382154.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.91 0.98 0.99 3/106 15717
/proc/meminfo: memFree=1847536/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=20276 CPUtime=0
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 465 0 0 0 0 0 0 0 20 0 1 0 13819429 20762624 384 1992294400 134512640 135751879 4290246576 18446744073709551615 134564528 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 5069 384 141 303 0 556 0

[startup+0.0132691 s]
/proc/loadavg: 0.91 0.98 0.99 3/106 15717
/proc/meminfo: memFree=1847536/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=20420 CPUtime=0.01
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 533 0 0 0 1 0 0 0 20 0 1 0 13819429 20910080 452 1992294400 134512640 135751879 4290246576 18446744073709551615 134558687 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 5105 453 148 303 0 592 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 20420

[startup+0.101277 s]
/proc/loadavg: 0.91 0.98 0.99 3/106 15717
/proc/meminfo: memFree=1847536/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=22352 CPUtime=0.09
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 1108 0 0 0 9 0 0 0 20 0 1 0 13819429 22888448 1027 1992294400 134512640 135751879 4290246576 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 5588 1027 296 303 0 1075 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22352

[startup+0.301297 s]
/proc/loadavg: 0.91 0.98 0.99 3/106 15717
/proc/meminfo: memFree=1847536/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=24960 CPUtime=0.29
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 2082 0 0 0 29 0 0 0 20 0 1 0 13819429 25559040 2001 1992294400 134512640 135751879 4290246576 18446744073709551615 134559722 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 6240 2001 622 303 0 1727 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24960

[startup+0.701338 s]
/proc/loadavg: 0.91 0.98 0.99 3/106 15717
/proc/meminfo: memFree=1847536/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=29764 CPUtime=0.69
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 3921 0 0 0 68 1 0 0 21 0 1 0 13819429 30478336 3840 1992294400 134512640 135751879 4290246576 18446744073709551615 135211106 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 7441 3840 1263 303 0 2928 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29764

[startup+1.50142 s]
/proc/loadavg: 0.91 0.98 0.99 2/107 15718
/proc/meminfo: memFree=1833888/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=39356 CPUtime=1.49
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 7539 0 0 0 147 2 0 0 23 0 1 0 13819429 40300544 7458 1992294400 134512640 135751879 4290246576 18446744073709551615 135096340 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 9839 7459 2556 303 0 5326 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39356

[startup+3.10058 s]
/proc/loadavg: 0.91 0.98 0.99 2/107 15718
/proc/meminfo: memFree=1820868/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=72452 CPUtime=3.09
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 22448 0 0 0 300 9 0 0 25 0 1 0 13819429 74190848 17163 1992294400 134512640 135751879 4290246576 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 18113 17164 143 303 0 17808 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 72452

[startup+6.30091 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 15718
/proc/meminfo: memFree=1770152/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=81060 CPUtime=6.29
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 24639 0 0 0 617 12 0 0 25 0 1 0 13819429 83005440 19354 1992294400 134512640 135751879 4290246576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 20265 19354 147 303 0 19960 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 81060

[startup+12.7006 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 15718
/proc/meminfo: memFree=1770152/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=81060 CPUtime=12.69
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 24639 0 0 0 1250 19 0 0 25 0 1 0 13819429 83005440 19354 1992294400 134512640 135751879 4290246576 18446744073709551615 134639070 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 20265 19354 147 303 0 19960 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 81060

[startup+25.5009 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 15718
/proc/meminfo: memFree=1762464/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=89064 CPUtime=25.48
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 26621 0 0 0 2516 32 0 0 25 0 1 0 13819429 91201536 21336 1992294400 134512640 135751879 4290246576 18446744073709551615 134598707 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 22266 21336 147 303 0 21961 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 89064

[startup+51.1015 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 15720
/proc/meminfo: memFree=1720304/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=131704 CPUtime=51.08
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 37278 0 0 0 5060 48 0 0 25 0 1 0 13819429 134864896 31993 1992294400 134512640 135751879 4290246576 18446744073709551615 134606393 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 32926 31993 147 303 0 32621 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 131704

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15720
/proc/meminfo: memFree=1648136/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=203160 CPUtime=102.27
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 55155 0 0 0 10160 67 0 0 25 0 1 0 13819429 208035840 49870 1992294400 134512640 135751879 4290246576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 50790 49870 147 303 0 50485 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 203160

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15722
/proc/meminfo: memFree=1560840/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=291208 CPUtime=162.25
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 77157 0 0 0 16126 99 0 0 25 0 1 0 13819429 298196992 71872 1992294400 134512640 135751879 4290246576 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 72802 71872 147 303 0 72497 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 291208

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15724
/proc/meminfo: memFree=1514340/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=335368 CPUtime=222.23
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 89918 0 0 0 22115 108 0 0 25 0 1 0 13819429 343416832 83072 1992294400 134512640 135751879 4290246576 18446744073709551615 135204855 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 83842 83072 150 303 0 83537 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 335368

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15726
/proc/meminfo: memFree=1514216/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=335368 CPUtime=282.22
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 89960 0 0 0 28100 122 0 0 25 0 1 0 13819429 343416832 83114 1992294400 134512640 135751879 4290246576 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 83842 83114 151 303 0 83537 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 335368

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15728
/proc/meminfo: memFree=1507644/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=342792 CPUtime=342.21
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 91794 0 0 0 34089 132 0 0 25 0 1 0 13819429 351019008 84948 1992294400 134512640 135751879 4290246576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 85698 84948 151 303 0 85393 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 342792

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15728
/proc/meminfo: memFree=1423572/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=427432 CPUtime=402.19
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 112955 0 0 0 40067 152 0 0 25 0 1 0 13819429 437690368 106109 1992294400 134512640 135751879 4290246576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 106858 106109 151 303 0 106553 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 427432

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15730
/proc/meminfo: memFree=1342972/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=506948 CPUtime=462.17
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 132818 0 0 0 46050 167 0 0 25 0 1 0 13819429 519114752 125972 1992294400 134512640 135751879 4290246576 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 126737 125972 151 303 0 126432 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 506948

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15732
/proc/meminfo: memFree=1265224/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=585644 CPUtime=522.16
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 152518 0 0 0 52035 181 0 0 25 0 1 0 13819429 599699456 145672 1992294400 134512640 135751879 4290246576 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 146411 145672 151 303 0 146106 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 585644

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15734
/proc/meminfo: memFree=1178548/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=670884 CPUtime=582.15
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 173816 0 0 0 58017 198 0 0 25 0 1 0 13819429 686985216 166970 1992294400 134512640 135751879 4290246576 18446744073709551615 134610787 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 167721 166970 151 303 0 167416 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 670884

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15736
/proc/meminfo: memFree=1067568/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=781412 CPUtime=642.13
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 201447 0 0 0 63998 215 0 0 25 0 1 0 13819429 800165888 194601 1992294400 134512640 135751879 4290246576 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 195353 194601 151 303 0 195048 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 781412

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15736
/proc/meminfo: memFree=958448/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=891408 CPUtime=702.11
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 228950 0 0 0 69980 231 0 0 25 0 1 0 13819429 912801792 222104 1992294400 134512640 135751879 4290246576 18446744073709551615 134606320 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 222852 222104 151 303 0 222547 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 891408

[startup+762.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15738
/proc/meminfo: memFree=861728/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=987052 CPUtime=762.1
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 252816 0 0 0 75965 245 0 0 25 0 1 0 13819429 1010741248 245970 1992294400 134512640 135751879 4290246576 18446744073709551615 134610864 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 246763 245970 151 303 0 246458 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 987052

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15740
/proc/meminfo: memFree=759676/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=1089516 CPUtime=822.09
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 278440 0 0 0 81949 260 0 0 25 0 1 0 13819429 1115664384 271594 1992294400 134512640 135751879 4290246576 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 272379 271594 151 303 0 272074 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 1089516

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15742
/proc/meminfo: memFree=679820/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=1168424 CPUtime=882.07
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 298185 0 0 0 87936 271 0 0 25 0 1 0 13819429 1196466176 291339 1992294400 134512640 135751879 4290246576 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 292106 291339 151 303 0 291801 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 1168424

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15744
/proc/meminfo: memFree=607280/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=1241740 CPUtime=942.05
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 316515 0 0 0 93922 283 0 0 25 0 1 0 13819429 1271541760 309669 1992294400 134512640 135751879 4290246576 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 310435 309669 151 303 0 310130 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1241740

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15744
/proc/meminfo: memFree=522464/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=1325500 CPUtime=1002.04
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 337473 0 0 0 99909 295 0 0 25 0 1 0 13819429 1357312000 330627 1992294400 134512640 135751879 4290246576 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 331375 330627 151 303 0 331070 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1325500

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15746
/proc/meminfo: memFree=431324/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=1418604 CPUtime=1062.02
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 360748 0 0 0 105892 310 0 0 25 0 1 0 13819429 1452650496 353902 1992294400 134512640 135751879 4290246576 18446744073709551615 134616489 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 354651 353902 151 303 0 354346 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1418604

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15748
/proc/meminfo: memFree=341796/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=1506108 CPUtime=1122
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 382560 0 0 0 111879 321 0 0 25 0 1 0 13819429 1542254592 375714 1992294400 134512640 135751879 4290246576 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 376527 375714 151 303 0 376222 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1506108

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15750
/proc/meminfo: memFree=277068/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=1570696 CPUtime=1181.99
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 398707 0 0 0 117868 331 0 0 25 0 1 0 13819429 1608392704 391861 1992294400 134512640 135751879 4290246576 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 392674 391861 151 303 0 392369 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1570696

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15752
/proc/meminfo: memFree=200808/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=1646596 CPUtime=1241.98
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 417693 0 0 0 123854 344 0 0 25 0 1 0 13819429 1686114304 410847 1992294400 134512640 135751879 4290246576 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 411649 410847 151 303 0 411344 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1646596

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15752
/proc/meminfo: memFree=113016/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=1733484 CPUtime=1301.97
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 439425 0 0 0 129840 357 0 0 25 0 1 0 13819429 1775087616 432579 1992294400 134512640 135751879 4290246576 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 433371 432579 151 303 0 433066 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1733484

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15754
/proc/meminfo: memFree=48908/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=1798360 CPUtime=1361.94
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 455651 0 0 0 135828 366 0 0 25 0 1 0 13819429 1841520640 448805 1992294400 134512640 135751879 4290246576 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 449590 448805 151 303 0 449285 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1798360



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1393.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15756
/proc/meminfo: memFree=9388/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=1843328 CPUtime=1392.84
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4202496 466891 0 0 0 138912 372 0 0 25 0 1 0 13819429 1887567872 460045 1992294400 134512640 135751879 4290246576 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/15717/statm: 460832 460045 151 303 0 460527 0
Current children cumulated CPU time (s) 1392.84
Current children cumulated vsize (KiB) 1843328

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

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

[startup+1393.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15756
/proc/meminfo: memFree=9388/2059040 swapFree=4135604/4192956
[pid=15717] ppid=15715 vsize=0 CPUtime=1392.94
/proc/15717/stat : 15717 (wbo1.4b) R 15715 15717 15540 0 -1 4203524 466891 0 0 0 138912 382 0 0 25 0 1 0 13819429 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/15717/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1392.94
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1393.38
CPU time (s): 1393.03
CPU user time (s): 1389.13
CPU system time (s): 3.90041
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 1843328

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

runsolver used 2.40963 second user time and 6.48501 second system time

The end

Launcher Data 

Begin job on node002 at 2010-06-13 00:35:55
IDJOB=2655939
IDBENCH=1973
IDSOLVER=1161
FILE ID=node002/2655939-1276382154
PBS_JOBID= 11173245
Free space on /tmp= 62380 MiB

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

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

MD5SUM BENCH= 13c1b3915f4d316b882a7e551b1f0496
RANDOM SEED=766956204

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

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1848188 kB
Buffers:         23184 kB
Cached:         112952 kB
SwapCached:      17652 kB
Active:          83560 kB
Inactive:        72244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1848188 kB
SwapTotal:     4192956 kB
SwapFree:      4135604 kB
Dirty:           19564 kB
Writeback:           0 kB
AnonPages:       10760 kB
Mapped:           9120 kB
Slab:            33304 kB
PageTables:       4088 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179924 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= 62380 MiB
End job on node002 at 2010-06-13 00:59:10