Trace number 2656223

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.4bWrong Opt.1131 184.489 184.538

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/course-ass/normalized-ss97-6.opb
MD5SUMdcfce19ac0444148b26b7675e35c76bc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark304
Best CPU time to get the best result obtained on this benchmark0.030994
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 304
Optimality of the best value was proved YES
Number of variables257
Total number of constraints97
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)97
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Number of terms in the objective function 173
Biggest coefficient in the objective function 100
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 8448
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 100
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 8448
Number of bits of the biggest sum of numbers14
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-2656223-1276484166.opb.
0.00/0.00	c Instance file HOME/instance-2656223-1276484166.opb
0.00/0.00	c File size is 8127 bytes.
0.00/0.00	c Highest Coefficient sum: 62
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      257                                                 |
0.00/0.00	c |  Number Clauses:        125                                                 |
0.00/0.00	c |  Number Cardinality:    56                                                  |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     216      221      864 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 1506
0.00/0.00	o 1506
0.00/0.00	c Elapsed CPU time: 0.002999 s	Remaining CPU time: 179.997 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     216      222     1035 |     5000        0    nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 1505
0.00/0.00	o 1505
0.00/0.00	c Elapsed CPU time: 0.003999 s	Remaining CPU time: 179.996 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        11 |     216      223     1206 |     5000       11     65 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 1420
0.00/0.00	o 1420
0.00/0.00	c Elapsed CPU time: 0.004999 s	Remaining CPU time: 179.995 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        11 |     216      224     1377 |     5000       11     65 |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c New solution: 1419
0.00/0.00	o 1419
0.00/0.00	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 179.993 s
0.00/0.00	c ===============================================================================
0.00/0.00	c |        67 |     216      225     1548 |     5000       67     76 |  0.000 % |
0.00/0.01	c |       167 |     216      225     1548 |     5500      167     78 | 15.955 % |
0.00/0.02	c |       318 |     216      225     1548 |     6050      318     78 | 15.955 % |
0.00/0.03	c |       544 |     216      225     1548 |     6655      544     78 | 15.955 % |
0.00/0.04	c |       882 |     216      225     1548 |     7320      882     78 | 15.955 % |
0.05/0.07	c |      1389 |     216      225     1548 |     8052     1389     78 | 15.955 % |
0.09/0.11	c |      2149 |     216      225     1548 |     8857     2149     78 | 15.955 % |
0.09/0.18	c |      3288 |     216      225     1548 |     9743     3288     78 | 15.955 % |
0.29/0.30	c |      4997 |     216      225     1548 |    10717     4997     78 | 15.955 % |
0.39/0.49	c |      7559 |     216      225     1548 |    11789     7559     78 | 15.955 % |
0.79/0.84	c |     11404 |     216      225     1548 |    12968    11404     78 | 15.955 % |
1.29/1.39	c |     17171 |     216      225     1548 |    14265    10620     78 | 15.955 % |
2.39/2.43	c |     25821 |     216      225     1548 |    15692    12069     78 | 15.955 % |
4.19/4.25	c |     38796 |     216      225     1548 |    17261     9220     78 | 15.955 % |
6.99/7.04	c |     58257 |     216      225     1548 |    18987    11285     78 | 15.955 % |
11.48/11.55	c |     87450 |     216      225     1548 |    20886    11792     78 | 15.955 % |
19.29/19.31	c |    131240 |     216      225     1548 |    22974    13543     78 | 15.955 % |
31.98/32.03	c |    196924 |     216      225     1548 |    25272    17367     77 | 15.955 % |
51.88/51.94	c ===============================================================================
51.88/51.94	c New solution: 1418
51.88/51.94	o 1418
51.88/51.94	c Elapsed CPU time: 51.0652 s	Remaining CPU time: 128.935 s
51.88/51.94	c ===============================================================================
51.88/51.94	c |    291555 |     216      226     1719 |     5000    24572     74 | 15.955 % |
52.17/52.22	c ===============================================================================
52.17/52.22	c New solution: 1322
52.17/52.22	o 1322
52.17/52.22	c Elapsed CPU time: 51.3412 s	Remaining CPU time: 128.659 s
52.17/52.22	c ===============================================================================
52.17/52.22	c |    291555 |     216      227     1890 |     5000     2701     74 | 15.955 % |
52.17/52.22	c ===============================================================================
52.17/52.22	c New solution: 1321
52.17/52.22	o 1321
52.17/52.22	c Elapsed CPU time: 51.3422 s	Remaining CPU time: 128.658 s
52.17/52.22	c ===============================================================================
52.17/52.22	c |    291558 |     216      228     2061 |     5000     2704     74 | 15.955 % |
52.17/52.22	c ===============================================================================
52.17/52.22	c New solution: 1320
52.17/52.22	o 1320
52.17/52.22	c Elapsed CPU time: 51.3432 s	Remaining CPU time: 128.657 s
52.17/52.22	c ===============================================================================
52.17/52.22	c |    291570 |     216      229     2232 |     5000     2716     74 | 15.955 % |
52.17/52.23	c |    291670 |     216      229     2232 |     5500     2816     74 | 15.955 % |
52.17/52.24	c |    291820 |     216      229     2232 |     6050     2966     74 | 15.955 % |
52.17/52.26	c |    292045 |     216      229     2232 |     6655     3191     74 | 15.955 % |
52.17/52.28	c |    292383 |     216      229     2232 |     7320     3529     74 | 15.955 % |
52.28/52.31	c |    292890 |     216      229     2232 |     8052     4036     74 | 15.955 % |
52.28/52.36	c |    293650 |     216      229     2232 |     8857     4796     74 | 15.955 % |
52.38/52.46	c |    294789 |     216      229     2232 |     9743     5935     74 | 15.955 % |
52.47/52.59	c |    296498 |     216      229     2232 |    10717     7644     74 | 15.955 % |
52.78/52.84	c |    299060 |     216      229     2232 |    11789    10206     75 | 15.955 % |
53.18/53.29	c |    302905 |     216      229     2232 |    12968     8090     76 | 15.955 % |
53.97/54.01	c |    308671 |     216      229     2232 |    14265     7307     76 | 15.955 % |
54.99/55.01	c |    317321 |     216      229     2232 |    15692     8757     76 | 15.955 % |
56.57/56.69	c |    330295 |     216      229     2232 |    17261    13822     76 | 15.955 % |
59.58/59.61	c |    349757 |     216      229     2232 |    18987    15889     75 | 15.955 % |
62.17/62.23	c ===============================================================================
62.17/62.23	c New solution: 1319
62.17/62.23	o 1319
62.17/62.23	c Elapsed CPU time: 61.1597 s	Remaining CPU time: 118.84 s
62.17/62.23	c ===============================================================================
62.17/62.23	c |    365452 |     216      230     2403 |     5000    12466     74 | 15.955 % |
62.27/62.30	c |    365552 |     216      230     2403 |     5500     3217     73 | 15.955 % |
62.27/62.31	c |    365702 |     216      230     2403 |     6050     3367     73 | 15.955 % |
62.27/62.33	c |    365928 |     216      230     2403 |     6655     3593     73 | 15.955 % |
62.27/62.36	c |    366267 |     216      230     2403 |     7320     3932     73 | 15.955 % |
62.27/62.39	c |    366774 |     216      230     2403 |     8052     4439     74 | 15.955 % |
62.38/62.45	c |    367533 |     216      230     2403 |     8857     5198     74 | 15.955 % |
62.47/62.54	c |    368673 |     216      230     2403 |     9743     6338     74 | 15.955 % |
62.58/62.70	c |    370381 |     216      230     2403 |    10717     8046     74 | 15.955 % |
62.88/62.97	c |    372943 |     216      230     2403 |    11789    10608     74 | 15.955 % |
63.38/63.44	c |    376788 |     216      230     2403 |    12968     8491     74 | 15.955 % |
64.07/64.11	c |    382555 |     216      230     2403 |    14265     7709     74 | 15.955 % |
64.88/64.95	c |    391205 |     216      230     2403 |    15692     9160     74 | 15.955 % |
66.37/66.45	c |    404179 |     216      230     2403 |    17261    14222     72 | 15.955 % |
69.28/69.39	c |    423640 |     216      230     2403 |    18987    16293     72 | 15.955 % |
73.87/73.92	c |    452833 |     216      230     2403 |    20886    16810     70 | 15.955 % |
77.87/77.92	c ===============================================================================
77.87/77.92	c New solution: 1318
77.87/77.92	o 1318
77.87/77.92	c Elapsed CPU time: 76.5494 s	Remaining CPU time: 103.451 s
77.87/77.92	c ===============================================================================
77.87/77.92	c |    476690 |     216      231     2574 |     5000    19651     71 | 15.955 % |
78.08/78.15	c |    476791 |     216      231     2574 |     5500     5014     70 | 15.955 % |
78.08/78.17	c |    476942 |     216      231     2574 |     6050     5165     70 | 15.955 % |
78.08/78.19	c |    477168 |     216      231     2574 |     6655     5391     70 | 15.955 % |
78.17/78.21	c |    477506 |     216      231     2574 |     7320     5729     71 | 15.955 % |
78.17/78.26	c |    478013 |     216      231     2574 |     8052     6236     71 | 15.955 % |
78.27/78.32	c |    478773 |     216      231     2574 |     8857     6996     71 | 15.955 % |
78.38/78.42	c |    479912 |     216      231     2574 |     9743     8135     71 | 15.955 % |
78.47/78.59	c |    481620 |     216      231     2574 |    10717     9843     71 | 15.955 % |
78.87/78.95	c |    484183 |     216      231     2574 |    11789     6982     72 | 15.955 % |
79.37/79.42	c |    488028 |     216      231     2574 |    12968    10827     72 | 15.955 % |
80.18/80.20	c |    493795 |     216      231     2574 |    14265    10044     72 | 15.955 % |
81.37/81.42	c |    502445 |     216      231     2574 |    15692    11497     72 | 15.955 % |
83.37/83.40	c |    515419 |     216      231     2574 |    17261     8657     71 | 15.955 % |
85.27/85.32	c ===============================================================================
85.27/85.32	c New solution: 1317
85.27/85.32	o 1317
85.27/85.32	c Elapsed CPU time: 83.7853 s	Remaining CPU time: 96.2147 s
85.27/85.32	c ===============================================================================
85.27/85.32	c |    529094 |     216      232     2745 |     5000    13637     71 | 15.955 % |
85.37/85.41	c |    529194 |     216      232     2745 |     5500     3510     70 | 15.955 % |
85.37/85.42	c |    529344 |     216      232     2745 |     6050     3660     70 | 15.955 % |
85.37/85.44	c |    529569 |     216      232     2745 |     6655     3885     71 | 15.955 % |
85.37/85.47	c |    529906 |     216      232     2745 |     7320     4222     70 | 15.955 % |
85.47/85.51	c |    530412 |     216      232     2745 |     8052     4728     71 | 15.955 % |
85.47/85.59	c |    531172 |     216      232     2745 |     8857     5488     71 | 15.955 % |
85.57/85.69	c |    532312 |     216      232     2745 |     9743     6628     71 | 15.955 % |
85.78/85.88	c |    534021 |     216      232     2745 |    10717     8337     71 | 15.955 % |
86.17/86.23	c |    536583 |     216      232     2745 |    11789     5478     71 | 15.955 % |
86.57/86.61	c |    540427 |     216      232     2745 |    12968     9322     71 | 15.955 % |
87.37/87.41	c |    546194 |     216      232     2745 |    14265     8542     71 | 15.955 % |
88.47/88.59	c |    554844 |     216      232     2745 |    15692     9995     71 | 15.955 % |
89.36/89.44	c ===============================================================================
89.36/89.44	c New solution: 1316
89.36/89.44	o 1316
89.36/89.44	c Elapsed CPU time: 87.8077 s	Remaining CPU time: 92.1923 s
89.36/89.44	c ===============================================================================
89.36/89.44	c |    561258 |     216      233     2916 |     5000     8498     71 | 15.955 % |
89.36/89.47	c |    561359 |     216      233     2916 |     5500     4350     70 | 15.955 % |
89.36/89.48	c |    561510 |     216      233     2916 |     6050     4501     70 | 15.955 % |
89.47/89.50	c |    561736 |     216      233     2916 |     6655     4727     70 | 15.955 % |
89.47/89.52	c |    562073 |     216      233     2916 |     7320     5064     70 | 15.955 % |
89.47/89.56	c |    562580 |     216      233     2916 |     8052     5571     70 | 15.955 % |
89.57/89.62	c |    563340 |     216      233     2916 |     8857     6331     70 | 15.955 % |
89.66/89.70	c |    564479 |     216      233     2916 |     9743     7470     70 | 15.955 % |
89.77/89.88	c |    566187 |     216      233     2916 |    10717     9178     70 | 15.955 % |
90.08/90.16	c |    568750 |     216      233     2916 |    11789     6320     70 | 15.955 % |
90.37/90.47	c |    572594 |     216      233     2916 |    12968    10164     70 | 15.955 % |
91.07/91.12	c |    578361 |     216      233     2916 |    14265     9384     70 | 15.955 % |
92.07/92.17	c |    587011 |     216      233     2916 |    15692    10836     71 | 15.955 % |
93.67/93.75	c |    599985 |     216      233     2916 |    17261     7991     70 | 15.955 % |
94.37/94.42	c ===============================================================================
94.37/94.42	c New solution: 1315
94.37/94.42	o 1315
94.37/94.42	c Elapsed CPU time: 92.6769 s	Remaining CPU time: 87.3231 s
94.37/94.42	c ===============================================================================
94.37/94.42	c |    605878 |     216      234     3087 |     5000    13884     70 | 15.955 % |
94.48/94.59	c |    605980 |     216      234     3087 |     5500     3573     70 | 15.955 % |
94.48/94.60	c |    606130 |     216      234     3087 |     6050     3723     70 | 15.955 % |
94.58/94.62	c |    606356 |     216      234     3087 |     6655     3949     70 | 15.955 % |
94.58/94.64	c |    606694 |     216      234     3087 |     7320     4287     70 | 15.955 % |
94.58/94.68	c |    607200 |     216      234     3087 |     8052     4793     70 | 15.955 % |
94.66/94.74	c |    607960 |     216      234     3087 |     8857     5553     70 | 15.955 % |
94.76/94.84	c |    609099 |     216      234     3087 |     9743     6692     70 | 15.955 % |
94.86/95.00	c |    610807 |     216      234     3087 |    10717     8400     70 | 15.955 % |
95.26/95.32	c |    613369 |     216      234     3087 |    11789     5545     70 | 15.955 % |
95.57/95.68	c |    617213 |     216      234     3087 |    12968     9389     70 | 15.955 % |
96.26/96.39	c |    622980 |     216      234     3087 |    14265     8609     70 | 15.955 % |
97.37/97.48	c |    631629 |     216      234     3087 |    15692    10063     71 | 15.955 % |
98.66/98.79	c ===============================================================================
98.66/98.79	c New solution: 1222
98.66/98.79	o 1222
98.66/98.79	c Elapsed CPU time: 96.9673 s	Remaining CPU time: 83.0327 s
98.66/98.79	c ===============================================================================
98.66/98.79	c |    641420 |     216      235     3258 |     5000    11943     70 | 15.955 % |
98.76/98.86	c |    641520 |     216      235     3258 |     5500     3086     71 | 15.955 % |
98.76/98.87	c |    641670 |     216      235     3258 |     6050     3236     71 | 15.955 % |
98.76/98.89	c |    641895 |     216      235     3258 |     6655     3461     71 | 15.955 % |
98.87/98.91	c |    642233 |     216      235     3258 |     7320     3799     71 | 15.955 % |
98.87/98.95	c |    642739 |     216      235     3258 |     8052     4305     71 | 15.955 % |
98.97/99.02	c |    643499 |     216      235     3258 |     8857     5065     71 | 15.955 % |
99.06/99.12	c |    644639 |     216      235     3258 |     9743     6205     71 | 15.955 % |
99.16/99.29	c |    646348 |     216      235     3258 |    10717     7914     72 | 15.955 % |
99.56/99.61	c |    648911 |     216      235     3258 |    11789    10477     72 | 15.955 % |
100.07/100.14	c |    652755 |     216      235     3258 |    12968     8362     73 | 15.955 % |
100.66/100.75	c |    658522 |     216      235     3258 |    14265     7579     72 | 15.955 % |
101.76/101.83	c |    667172 |     216      235     3258 |    15692     9031     72 | 15.955 % |
103.37/103.47	c |    680146 |     216      235     3258 |    17261    14095     72 | 15.955 % |
106.57/106.68	c |    699608 |     216      235     3258 |    18987    16167     72 | 15.955 % |
111.46/111.57	c |    728801 |     216      235     3258 |    20886    16686     70 | 15.955 % |
118.76/118.89	c |    772591 |     216      235     3258 |    22974    18453     70 | 15.955 % |
124.46/124.55	c ===============================================================================
124.46/124.55	c New solution: 1221
124.46/124.55	o 1221
124.46/124.55	c Elapsed CPU time: 122.288 s	Remaining CPU time: 57.7116 s
124.46/124.55	c ===============================================================================
124.46/124.55	c |    803350 |     216      236     3429 |     5000    12109     69 | 15.955 % |
124.56/124.63	c |    803451 |     216      236     3429 |     5500     3129     69 | 15.955 % |
124.56/124.64	c |    803602 |     216      236     3429 |     6050     3280     69 | 15.955 % |
124.56/124.66	c |    803828 |     216      236     3429 |     6655     3506     69 | 15.955 % |
124.56/124.68	c |    804165 |     216      236     3429 |     7320     3843     69 | 15.955 % |
124.66/124.72	c |    804671 |     216      236     3429 |     8052     4349     69 | 15.955 % |
124.66/124.77	c |    805431 |     216      236     3429 |     8857     5109     69 | 15.955 % |
124.75/124.86	c |    806570 |     216      236     3429 |     9743     6248     69 | 15.955 % |
124.96/125.02	c |    808278 |     216      236     3429 |    10717     7956     69 | 15.955 % |
125.16/125.26	c |    810841 |     216      236     3429 |    11789    10519     69 | 15.955 % |
125.66/125.72	c |    814686 |     216      236     3429 |    12968     8408     69 | 15.955 % |
126.37/126.43	c |    820452 |     216      236     3429 |    14265     7626     69 | 15.955 % |
127.35/127.47	c |    829102 |     216      236     3429 |    15692     9080     69 | 15.955 % |
129.16/129.26	c |    842076 |     216      236     3429 |    17261    14146     69 | 15.955 % |
132.16/132.27	c |    861537 |     216      236     3429 |    18987    16219     69 | 15.955 % |
136.86/136.93	c |    890730 |     216      236     3429 |    20886    16746     68 | 15.955 % |
136.86/136.94	c ===============================================================================
136.86/136.94	c New solution: 1220
136.86/136.94	o 1220
136.86/136.94	c Elapsed CPU time: 134.442 s	Remaining CPU time: 45.5584 s
136.86/136.94	c ===============================================================================
136.86/136.94	c |    890730 |     216      237     3600 |     5000    16746     68 | 15.955 % |
136.95/137.06	c |    890830 |     216      237     3600 |     5500     4287     68 | 15.955 % |
136.95/137.07	c |    890980 |     216      237     3600 |     6050     4437     68 | 15.955 % |
136.95/137.09	c |    891205 |     216      237     3600 |     6655     4662     68 | 15.955 % |
137.05/137.12	c |    891543 |     216      237     3600 |     7320     5000     68 | 15.955 % |
137.05/137.16	c |    892050 |     216      237     3600 |     8052     5507     68 | 15.955 % |
137.15/137.24	c |    892809 |     216      237     3600 |     8857     6266     68 | 15.955 % |
137.26/137.34	c |    893949 |     216      237     3600 |     9743     7406     68 | 15.955 % |
137.46/137.53	c |    895657 |     216      237     3600 |    10717     9114     68 | 15.955 % |
137.85/137.91	c |    898219 |     216      237     3600 |    11789     6260     68 | 15.955 % |
138.26/138.31	c |    902063 |     216      237     3600 |    12968    10104     68 | 15.955 % |
138.96/139.06	c |    907830 |     216      237     3600 |    14265     9326     68 | 15.955 % |
140.16/140.24	c |    916479 |     216      237     3600 |    15692    10782     67 | 15.955 % |
142.15/142.20	c |    929453 |     216      237     3600 |    17261     7944     67 | 15.955 % |
144.95/145.06	c |    948915 |     216      237     3600 |    18987    10021     67 | 15.955 % |
149.16/149.24	c |    978107 |     216      237     3600 |    20886    10547     66 | 15.955 % |
155.95/156.08	c |   1021897 |     216      237     3600 |    22974    12320     66 | 15.955 % |
165.44/165.53	c |   1087582 |     216      237     3600 |    25272    16207     65 | 15.955 % |
183.24/183.33	c There are 41 assigned variables. 1 in cost function.
184.34/184.49	c core #1
184.34/184.49	c #cores: 1
184.34/184.49	c Final Weight: 1220
184.34/184.49	o 1220
184.34/184.49	s OPTIMUM FOUND
184.34/184.49	v -x134 -x178 x218 -x4 x180 -x8 -x9 -x97 -x185 x225 -x186 x226 -x11 -x99 -x143 -x187 x227 -x100 -x13 -x14 -x15 -x59 -x104 -x61 -x105 -x149 -x230 x62 -x20 -x108 -x109 x153 -x22 x110 -x154 -x111 -x155 -x112 -x192 x232 -x27 -x71 -x237 x118 -x198 x238 -x199 x239 x119 -x200 x240 -x164 -x121 -x202 x242 -x203 x243 -x122 -x204 x244 -x124 -x168 -x206 x246 -x125 -x247 x38 -x126 -x170 -x208 x248 -x127 -x249 x40 -x172 -x250 -x213 x253 x130 -x214 x254 x131 -x215 x255 -x132 -x216 x256 -x133 x257 -x2 x46 -x90 -x91 -x179 -x48 -x220 -x222 -x224 -x53 x141 -x12 x56 -x144 -x228 -x57 -x145 -x229 -x58 -x146 x103 -x147 -x16 -x148 -x18 -x150 -x19 -x63 -x107 x151 -x152 -x66 -x24 x68 -x156 x25 -x69 -x113 -x157 -x191 x231 -x159 -x233 -x234 -x235 -x236 -x30 -x74 -x162 -x31 -x75 -x163 -x76 -x120 -x241 x33 -x77 -x165 -x34 -x166 -x35 -x79 -x245 -x80 -x81 -x169 -x82 -x39 -x83 x171 -x84 -x128 -x42 -x86 -x174 -x43 -x87 -x175 x44 -x88 -x176 -x177 -x217 x1 -x3 x5 -x6 x7 -x10 x17 -x21 -x23 -x26 -x28 -x29 x32 x36 x37 -x41 -x45 -x47 -x49 -x50 -x51 -x52 -x54 x55 x60 x64 -x65 x67 -x70 -x72 -x73 x78 -x85 x89 -x92 -x93 -x94 -x95 -x96 -x98 x101 x102 -x106 -x114 x115 x116 x117 -x123 -x129 x135 x136 -x137 x138 -x139 x140 x142 x158 -x160 -x161 x167 x173 x181 x182 x183 x184 x188 x189 x190 x193 x194 x195 x196 x197 x201 x205 x207 x209 x210 -x211 -x212 x219 -x221 -x223 x251 x252
184.34/184.49	c Total CPU time: 181.157 s

Verifier Data 

OK	1131

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656223-1276484166/watcher-2656223-1276484166 -o /tmp/evaluation-result-2656223-1276484166/solver-2656223-1276484166 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656223-1276484166.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 26659
/proc/meminfo: memFree=1750372/2059040 swapFree=4140108/4192956
[pid=26659] ppid=26657 vsize=2572 CPUtime=0
/proc/26659/stat : 26659 (wbo1.4b) R 26657 26659 25828 0 -1 4202496 295 0 0 0 0 0 0 0 20 0 1 0 22072302 2633728 211 1992294400 134512640 135751879 4287220192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26659/statm: 643 211 146 303 0 338 0

[startup+0.0556831 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 26659
/proc/meminfo: memFree=1750372/2059040 swapFree=4140108/4192956
[pid=26659] ppid=26657 vsize=2956 CPUtime=0.05
/proc/26659/stat : 26659 (wbo1.4b) R 26657 26659 25828 0 -1 4202496 399 0 0 0 5 0 0 0 20 0 1 0 22072302 3026944 315 1992294400 134512640 135751879 4287220192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26659/statm: 739 315 147 303 0 434 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2956

[startup+0.101687 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 26659
/proc/meminfo: memFree=1750372/2059040 swapFree=4140108/4192956
[pid=26659] ppid=26657 vsize=3348 CPUtime=0.09
/proc/26659/stat : 26659 (wbo1.4b) R 26657 26659 25828 0 -1 4202496 489 0 0 0 9 0 0 0 20 0 1 0 22072302 3428352 405 1992294400 134512640 135751879 4287220192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26659/statm: 837 405 147 303 0 532 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3348

[startup+0.301705 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 26659
/proc/meminfo: memFree=1750372/2059040 swapFree=4140108/4192956
[pid=26659] ppid=26657 vsize=4632 CPUtime=0.29
/proc/26659/stat : 26659 (wbo1.4b) R 26657 26659 25828 0 -1 4202496 812 0 0 0 29 0 0 0 20 0 1 0 22072302 4743168 728 1992294400 134512640 135751879 4287220192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26659/statm: 1158 728 147 303 0 853 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4632

[startup+0.701741 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 26659
/proc/meminfo: memFree=1750372/2059040 swapFree=4140108/4192956
[pid=26659] ppid=26657 vsize=6728 CPUtime=0.69
/proc/26659/stat : 26659 (wbo1.4b) R 26657 26659 25828 0 -1 4202496 1335 0 0 0 67 2 0 0 20 0 1 0 22072302 6889472 1251 1992294400 134512640 135751879 4287220192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26659/statm: 1682 1251 147 303 0 1377 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6728

[startup+1.50181 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 26660
/proc/meminfo: memFree=1744536/2059040 swapFree=4140108/4192956
[pid=26659] ppid=26657 vsize=10108 CPUtime=1.49
/proc/26659/stat : 26659 (wbo1.4b) R 26657 26659 25828 0 -1 4202496 2178 0 0 0 145 4 0 0 22 0 1 0 22072302 10350592 2094 1992294400 134512640 135751879 4287220192 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26659/statm: 2527 2094 148 303 0 2222 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10108

[startup+3.10096 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 26660
/proc/meminfo: memFree=1740320/2059040 swapFree=4140108/4192956
[pid=26659] ppid=26657 vsize=14988 CPUtime=3.09
/proc/26659/stat : 26659 (wbo1.4b) R 26657 26659 25828 0 -1 4202496 3391 0 0 0 301 8 0 0 25 0 1 0 22072302 15347712 3307 1992294400 134512640 135751879 4287220192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26659/statm: 3747 3307 148 303 0 3442 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14988

[startup+6.30124 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 26660
/proc/meminfo: memFree=1730400/2059040 swapFree=4140108/4192956
[pid=26659] ppid=26657 vsize=24620 CPUtime=6.29
/proc/26659/stat : 26659 (wbo1.4b) R 26657 26659 25828 0 -1 4202496 5807 0 0 0 614 15 0 0 25 0 1 0 22072302 25210880 5723 1992294400 134512640 135751879 4287220192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26659/statm: 6155 5723 148 303 0 5850 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24620

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 26662
/proc/meminfo: memFree=1712296/2059040 swapFree=4140108/4192956
[pid=26659] ppid=26657 vsize=41892 CPUtime=12.68
/proc/26659/stat : 26659 (wbo1.4b) R 26657 26659 25828 0 -1 4202496 10101 0 0 0 1240 28 0 0 25 0 1 0 22072302 42897408 10017 1992294400 134512640 135751879 4287220192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26659/statm: 10473 10017 148 303 0 10168 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 41892

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 26662
/proc/meminfo: memFree=1683900/2059040 swapFree=4140108/4192956
[pid=26659] ppid=26657 vsize=68732 CPUtime=25.49
/proc/26659/stat : 26659 (wbo1.4b) R 26657 26659 25828 0 -1 4202496 16840 0 0 0 2501 48 0 0 25 0 1 0 22072302 70381568 16756 1992294400 134512640 135751879 4287220192 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26659/statm: 17183 16756 148 303 0 16878 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68732

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 26662
/proc/meminfo: memFree=1635168/2059040 swapFree=4140108/4192956
[pid=26659] ppid=26657 vsize=117980 CPUtime=51.08
/proc/26659/stat : 26659 (wbo1.4b) R 26657 26659 25828 0 -1 4202496 29140 0 0 0 5023 85 0 0 25 0 1 0 22072302 120811520 29056 1992294400 134512640 135751879 4287220192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26659/statm: 29495 29056 148 303 0 29190 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 117980

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 26664
/proc/meminfo: memFree=1488352/2059040 swapFree=4140108/4192956
[pid=26659] ppid=26657 vsize=263544 CPUtime=102.27
/proc/26659/stat : 26659 (wbo1.4b) R 26657 26659 25828 0 -1 4202496 65515 0 0 0 10040 187 0 0 25 0 1 0 22072302 269869056 65431 1992294400 134512640 135751879 4287220192 18446744073709551615 134616377 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26659/statm: 65886 65431 148 303 0 65581 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 263544

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 26666
/proc/meminfo: memFree=1346620/2059040 swapFree=4140108/4192956
[pid=26659] ppid=26657 vsize=406692 CPUtime=162.25
/proc/26659/stat : 26659 (wbo1.4b) R 26657 26659 25828 0 -1 4202496 101279 0 0 0 15931 294 0 0 25 0 1 0 22072302 416452608 101195 1992294400 134512640 135751879 4287220192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26659/statm: 101673 101195 148 303 0 101368 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 406692

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

[startup+166.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 26666
/proc/meminfo: memFree=1335460/2059040 swapFree=4140108/4192956
[pid=26659] ppid=26657 vsize=416420 CPUtime=166.25
/proc/26659/stat : 26659 (wbo1.4b) R 26657 26659 25828 0 -1 4202496 103717 0 0 0 16323 302 0 0 25 0 1 0 22072302 426414080 103633 1992294400 134512640 135751879 4287220192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26659/statm: 104105 103633 148 303 0 103800 0
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (KiB) 416420

[startup+172.709 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 26666
/proc/meminfo: memFree=1323308/2059040 swapFree=4140108/4192956
[pid=26659] ppid=26657 vsize=427820 CPUtime=172.66
/proc/26659/stat : 26659 (wbo1.4b) R 26657 26659 25828 0 -1 4202496 106571 0 0 0 16954 312 0 0 25 0 1 0 22072302 438087680 106487 1992294400 134512640 135751879 4287220192 18446744073709551615 134602992 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26659/statm: 106955 106487 148 303 0 106650 0
Current children cumulated CPU time (s) 172.66
Current children cumulated vsize (KiB) 427820

[startup+179.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 26666
/proc/meminfo: memFree=1313512/2059040 swapFree=4140108/4192956
[pid=26659] ppid=26657 vsize=439020 CPUtime=179.04
/proc/26659/stat : 26659 (wbo1.4b) R 26657 26659 25828 0 -1 4202496 109360 0 0 0 17583 321 0 0 25 0 1 0 22072302 449556480 109276 1992294400 134512640 135751879 4287220192 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26659/statm: 109755 109276 148 303 0 109450 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 439020

[startup+182.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 26666
/proc/meminfo: memFree=1307808/2059040 swapFree=4140108/4192956
[pid=26659] ppid=26657 vsize=445420 CPUtime=182.25
/proc/26659/stat : 26659 (wbo1.4b) R 26657 26659 25828 0 -1 4202496 110954 0 0 0 17898 327 0 0 25 0 1 0 22072302 456110080 110870 1992294400 134512640 135751879 4287220192 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26659/statm: 111355 110870 148 303 0 111050 0
Current children cumulated CPU time (s) 182.25
Current children cumulated vsize (KiB) 445420

[startup+183.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 26666
/proc/meminfo: memFree=1303716/2059040 swapFree=4140108/4192956
[pid=26659] ppid=26657 vsize=447340 CPUtime=183.84
/proc/26659/stat : 26659 (wbo1.4b) R 26657 26659 25828 0 -1 4202496 111458 0 0 0 18056 328 0 0 25 0 1 0 22072302 458076160 111374 1992294400 134512640 135751879 4287220192 18446744073709551615 134521941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26659/statm: 111835 111374 150 303 0 111530 0
Current children cumulated CPU time (s) 183.84
Current children cumulated vsize (KiB) 447340

[startup+184.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 26666
/proc/meminfo: memFree=1303716/2059040 swapFree=4140108/4192956
[pid=26659] ppid=26657 vsize=447340 CPUtime=184.24
/proc/26659/stat : 26659 (wbo1.4b) R 26657 26659 25828 0 -1 4202496 111458 0 0 0 18096 328 0 0 25 0 1 0 22072302 458076160 111374 1992294400 134512640 135751879 4287220192 18446744073709551615 135200099 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/26659/statm: 111835 111374 150 303 0 111530 0
Current children cumulated CPU time (s) 184.24
Current children cumulated vsize (KiB) 447340

[startup+184.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 26666
/proc/meminfo: memFree=1303716/2059040 swapFree=4140108/4192956
[pid=26659] ppid=26657 vsize=0 CPUtime=184.44
/proc/26659/stat : 26659 (wbo1.4b) R 26657 26659 25828 0 -1 4202500 111458 0 0 0 18115 329 0 0 25 0 1 0 22072302 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/26659/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 184.44
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 184.538
CPU time (s): 184.489
CPU user time (s): 181.157
CPU system time (s): 3.33149
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 447340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 181.157
system time used= 3.33149
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111458
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= 3
involuntary context switches= 377

runsolver used 0.294955 second user time and 0.900863 second system time

The end

Launcher Data 

Begin job on node025 at 2010-06-14 04:56:06
IDJOB=2656223
IDBENCH=2232
IDSOLVER=1161
FILE ID=node025/2656223-1276484166
PBS_JOBID= 11173381
Free space on /tmp= 62572 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656223-1276484166/watcher-2656223-1276484166 -o /tmp/evaluation-result-2656223-1276484166/solver-2656223-1276484166 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656223-1276484166.opb

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

MD5SUM BENCH= dcfce19ac0444148b26b7675e35c76bc
RANDOM SEED=1972101670

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1750900 kB
Buffers:         80968 kB
Cached:         135156 kB
SwapCached:       6876 kB
Active:          99480 kB
Inactive:       130172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1750900 kB
SwapTotal:     4192956 kB
SwapFree:      4140108 kB
Dirty:            2624 kB
Writeback:           0 kB
AnonPages:       11356 kB
Mapped:          12820 kB
Slab:            56588 kB
PageTables:       4076 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181824 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= 62568 MiB
End job on node025 at 2010-06-14 04:59:10