Trace number 2656030

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.-22 180.935 180.982

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
MD5SUM1a88750537364c45876077f809191628
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-43
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94308
Number of constraints which are clauses94308
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 constraint2
Number of terms in the objective function 1272
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1272
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1272
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-2656030-1276502156.opb.
0.00/0.00	c Instance file HOME/instance-2656030-1276502156.opb
0.00/0.00	c File size is 2301477 bytes.
0.29/0.30	c Highest Coefficient sum: 3
0.29/0.30	c ============================[ Problem Statistics ]=============================
0.29/0.30	c |                                                                             |
0.29/0.30	c |  Parsing time:          0.30         s                                      |
0.29/0.30	c |  Number Variables:      1272                                                |
0.29/0.30	c |  Number Clauses:        94308                                               |
0.29/0.30	c |  Number Cardinality:    0                                                   |
0.29/0.30	c |  Number PB Constraints: 0                                                   |
0.49/0.55	c ============================[ Search Statistics ]==============================
0.49/0.55	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.55	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.55	c ===============================================================================
0.49/0.55	c |         0 |    1272    94308   188616 |    31436        0    nan |  0.000 % |
0.49/0.56	c ===============================================================================
0.49/0.56	c New solution: 1272
0.49/0.56	o 1272
0.49/0.56	c Elapsed CPU time: 0.544917 s	Remaining CPU time: 179.455 s
0.49/0.56	c ===============================================================================
0.49/0.56	c |         0 |    1272    94309   189888 |    31436        0    nan |  0.000 % |
0.49/0.57	c ===============================================================================
0.49/0.57	c New solution: 1271
0.49/0.57	o 1271
0.49/0.57	c Elapsed CPU time: 0.549916 s	Remaining CPU time: 179.45 s
0.49/0.57	c ===============================================================================
0.49/0.57	c |         0 |    1272    94310   191160 |    31436        0    nan |  0.000 % |
0.49/0.59	c ===============================================================================
0.49/0.59	c New solution: 1270
0.49/0.59	o 1270
0.49/0.59	c Elapsed CPU time: 0.569913 s	Remaining CPU time: 179.43 s
0.49/0.59	c ===============================================================================
0.49/0.59	c |        15 |    1272    94311   192432 |    31437       15   1263 |  0.000 % |
0.59/0.66	c |       127 |    1272    94311   192432 |    34580      127   1262 |  0.000 % |
0.59/0.68	c ===============================================================================
0.59/0.68	c New solution: 1269
0.59/0.68	o 1269
0.59/0.68	c Elapsed CPU time: 0.660899 s	Remaining CPU time: 179.339 s
0.59/0.68	c ===============================================================================
0.59/0.68	c |       136 |    1272    94312   193704 |    31437      136   1262 |  0.000 % |
0.69/0.73	c |       237 |    1272    94312   193704 |    34581      237   1263 |  0.000 % |
0.69/0.75	c ===============================================================================
0.69/0.75	c New solution: 1268
0.69/0.75	o 1268
0.69/0.75	c Elapsed CPU time: 0.725889 s	Remaining CPU time: 179.274 s
0.69/0.75	c ===============================================================================
0.69/0.75	c |       264 |    1272    94313   194976 |    31437      264   1263 |  0.000 % |
0.79/0.80	c |       376 |    1272    94313   194976 |    34581      376   1263 |  0.000 % |
0.79/0.83	c ===============================================================================
0.79/0.83	c New solution: 1267
0.79/0.83	o 1267
0.79/0.83	c Elapsed CPU time: 0.808877 s	Remaining CPU time: 179.191 s
0.79/0.83	c ===============================================================================
0.79/0.83	c |       405 |    1272    94314   196248 |    31438      405   1263 |  0.000 % |
0.79/0.88	c |       505 |    1272    94314   196248 |    34581      505   1263 |  0.000 % |
0.89/0.92	c ===============================================================================
0.89/0.92	c New solution: 1266
0.89/0.92	o 1266
0.89/0.92	c Elapsed CPU time: 0.897863 s	Remaining CPU time: 179.102 s
0.89/0.92	c ===============================================================================
0.89/0.92	c |       567 |    1272    94315   197520 |    31438      567   1263 |  0.000 % |
0.89/0.97	c |       670 |    1272    94315   197520 |    34582      670   1263 |  0.000 % |
1.00/1.04	c |       821 |    1272    94315   197520 |    38040      821   1262 |  0.000 % |
1.00/1.09	c ===============================================================================
1.00/1.09	c New solution: 1265
1.00/1.09	o 1265
1.00/1.09	c Elapsed CPU time: 1.06084 s	Remaining CPU time: 178.939 s
1.00/1.09	c ===============================================================================
1.00/1.09	c |       884 |    1272    94316   198792 |    31438      884   1262 |  0.000 % |
1.10/1.14	c |       985 |    1272    94316   198792 |    34582      985   1262 |  0.000 % |
1.10/1.17	c ===============================================================================
1.10/1.17	c New solution: 1264
1.10/1.17	o 1264
1.10/1.17	c Elapsed CPU time: 1.13683 s	Remaining CPU time: 178.863 s
1.10/1.17	c ===============================================================================
1.10/1.17	c |      1020 |    1272    94317   200064 |    31439     1020   1262 |  0.000 % |
1.19/1.22	c |      1120 |    1272    94317   200064 |    34582     1120   1262 |  0.000 % |
1.29/1.31	c ===============================================================================
1.29/1.31	c New solution: 1263
1.29/1.31	o 1263
1.29/1.31	c Elapsed CPU time: 1.2848 s	Remaining CPU time: 178.715 s
1.29/1.31	c ===============================================================================
1.29/1.31	c |      1252 |    1272    94318   201336 |    31439     1252   1262 |  0.000 % |
1.29/1.38	c |      1353 |    1272    94318   201336 |    34583     1353   1261 |  0.000 % |
1.39/1.48	c |      1505 |    1272    94318   201336 |    38041     1505   1261 |  0.000 % |
1.59/1.62	c |      1730 |    1272    94318   201336 |    41845     1730   1261 |  0.000 % |
1.79/1.84	c |      2069 |    1272    94318   201336 |    46030     2069   1260 |  0.000 % |
1.99/2.07	c ===============================================================================
1.99/2.07	c New solution: 1262
1.99/2.07	o 1262
1.99/2.07	c Elapsed CPU time: 2.02869 s	Remaining CPU time: 177.971 s
1.99/2.07	c ===============================================================================
1.99/2.07	c |      2407 |    1272    94319   202608 |    31439     2407   1260 |  0.000 % |
2.10/2.14	c |      2516 |    1272    94319   202608 |    34583     2516   1260 |  0.000 % |
2.20/2.24	c |      2668 |    1272    94319   202608 |    38041     2668   1260 |  0.000 % |
2.29/2.38	c ===============================================================================
2.29/2.38	c New solution: 1261
2.29/2.38	o 1261
2.29/2.38	c Elapsed CPU time: 2.33864 s	Remaining CPU time: 177.661 s
2.29/2.38	c ===============================================================================
2.29/2.38	c |      2853 |    1272    94320   203880 |    31440     2853   1260 |  0.000 % |
2.39/2.46	c |      2956 |    1272    94320   203880 |    34584     2956   1260 |  0.000 % |
2.49/2.58	c |      3107 |    1272    94320   203880 |    38042     3107   1260 |  0.000 % |
2.69/2.74	c |      3333 |    1272    94320   203880 |    41846     3333   1260 |  0.000 % |
2.99/3.03	c |      3671 |    1272    94320   203880 |    46031     3671   1259 |  0.000 % |
3.20/3.28	c ===============================================================================
3.20/3.28	c New solution: 1260
3.20/3.28	o 1260
3.20/3.28	c Elapsed CPU time: 3.21651 s	Remaining CPU time: 176.783 s
3.20/3.28	c ===============================================================================
3.20/3.28	c |      3922 |    1272    94321   205152 |    31440     3922   1259 |  0.000 % |
3.30/3.38	c |      4023 |    1272    94321   205152 |    34584     4023   1259 |  0.000 % |
3.49/3.52	c |      4173 |    1272    94321   205152 |    38042     4173   1259 |  0.000 % |
3.69/3.77	c |      4398 |    1272    94321   205152 |    41847     4398   1259 |  0.000 % |
4.09/4.15	c |      4736 |    1272    94321   205152 |    46031     4736   1259 |  0.000 % |
4.59/4.65	c |      5242 |    1272    94321   205152 |    50634     5242   1258 |  0.000 % |
5.09/5.13	c ===============================================================================
5.09/5.13	c New solution: 1259
5.09/5.13	o 1259
5.09/5.13	c Elapsed CPU time: 5.05023 s	Remaining CPU time: 174.95 s
5.09/5.13	c ===============================================================================
5.09/5.13	c |      5764 |    1272    94322   206424 |    31440     5764   1258 |  0.000 % |
5.19/5.23	c |      5864 |    1272    94322   206424 |    34584     5864   1258 |  0.000 % |
5.40/5.42	c |      6014 |    1272    94322   206424 |    38043     6014   1258 |  0.000 % |
5.59/5.69	c |      6239 |    1272    94322   206424 |    41847     6239   1258 |  0.000 % |
6.19/6.20	c |      6577 |    1272    94322   206424 |    46032     6577   1258 |  0.000 % |
6.78/6.80	c ===============================================================================
6.78/6.80	c New solution: 1258
6.78/6.80	o 1258
6.78/6.80	c Elapsed CPU time: 6.70798 s	Remaining CPU time: 173.292 s
6.78/6.80	c ===============================================================================
6.78/6.80	c |      6954 |    1272    94323   207696 |    31441     6954   1258 |  0.000 % |
6.89/6.92	c |      7055 |    1272    94323   207696 |    34585     7055   1258 |  0.000 % |
7.09/7.12	c |      7206 |    1272    94323   207696 |    38043     7206   1258 |  0.000 % |
7.39/7.48	c |      7431 |    1272    94323   207696 |    41847     7431   1258 |  0.000 % |
8.09/8.16	c |      7769 |    1272    94323   207696 |    46032     7769   1257 |  0.000 % |
8.70/8.75	c |      8276 |    1272    94323   207696 |    50636     8276   1257 |  0.000 % |
9.69/9.71	c |      9035 |    1272    94323   207696 |    55699     9035   1257 |  0.000 % |
11.58/11.62	c |     10176 |    1272    94323   207696 |    61269    10176   1257 |  0.000 % |
13.69/13.79	c |     11885 |    1272    94323   207696 |    67396    11885   1257 |  0.000 % |
14.29/14.37	c ===============================================================================
14.29/14.37	c New solution: 1257
14.29/14.37	o 1257
14.29/14.37	c Elapsed CPU time: 14.1898 s	Remaining CPU time: 165.81 s
14.29/14.37	c ===============================================================================
14.29/14.37	c |     12312 |    1272    94324   208968 |    31441    12312   1257 |  0.000 % |
14.69/14.75	c |     12412 |    1272    94324   208968 |    34585    12412   1257 |  0.000 % |
14.79/14.87	c |     12562 |    1272    94324   208968 |    38044    12562   1257 |  0.000 % |
15.08/15.15	c |     12789 |    1272    94324   208968 |    41848    12789   1256 |  0.000 % |
15.18/15.24	c ===============================================================================
15.18/15.24	c New solution: 1256
15.18/15.24	o 1256
15.18/15.24	c Elapsed CPU time: 15.0487 s	Remaining CPU time: 164.951 s
15.18/15.24	c ===============================================================================
15.18/15.24	c |     12876 |    1272    94325   210240 |    31441    12876   1256 |  0.000 % |
15.40/15.45	c |     12977 |    1272    94325   210240 |    34585    12977   1256 |  0.000 % |
15.69/15.71	c |     13127 |    1272    94325   210240 |    38044    13127   1256 |  0.000 % |
15.98/16.06	c |     13354 |    1272    94325   210240 |    41848    13354   1256 |  0.000 % |
16.50/16.53	c |     13691 |    1272    94325   210240 |    46033    13691   1256 |  0.000 % |
16.88/16.90	c ===============================================================================
16.88/16.90	c New solution: 1255
16.88/16.90	o 1255
16.88/16.90	c Elapsed CPU time: 16.6935 s	Remaining CPU time: 163.307 s
16.88/16.90	c ===============================================================================
16.88/16.90	c |     13888 |    1272    94326   211512 |    31442    13888   1256 |  0.000 % |
17.09/17.11	c |     13988 |    1272    94326   211512 |    34586    13988   1256 |  0.000 % |
17.29/17.33	c |     14138 |    1272    94326   211512 |    38044    14138   1256 |  0.000 % |
17.78/17.81	c |     14363 |    1272    94326   211512 |    41849    14363   1256 |  0.000 % |
18.60/18.60	c |     14701 |    1272    94326   211512 |    46034    14701   1256 |  0.000 % |
18.79/18.87	c ===============================================================================
18.79/18.87	c New solution: 1254
18.79/18.87	o 1254
18.79/18.87	c Elapsed CPU time: 18.6432 s	Remaining CPU time: 161.357 s
18.79/18.87	c ===============================================================================
18.79/18.87	c |     14790 |    1272    94327   212784 |    31442    14790   1256 |  0.000 % |
18.98/19.09	c |     14891 |    1272    94327   212784 |    34586    14891   1256 |  0.000 % |
19.28/19.37	c |     15042 |    1272    94327   212784 |    38045    15042   1256 |  0.000 % |
19.70/19.72	c |     15269 |    1272    94327   212784 |    41849    15269   1256 |  0.000 % |
20.29/20.32	c |     15606 |    1272    94327   212784 |    46034    15606   1256 |  0.000 % |
21.18/21.24	c |     16112 |    1272    94327   212784 |    50638    16112   1256 |  0.000 % |
22.69/22.78	c |     16874 |    1272    94327   212784 |    55702    16874   1255 |  0.000 % |
24.19/24.29	c |     18013 |    1272    94327   212784 |    61272    18013   1255 |  0.000 % |
28.08/28.12	c |     19721 |    1272    94327   212784 |    67399    19721   1255 |  0.000 % |
33.19/33.25	c ===============================================================================
33.19/33.25	c New solution: 1253
33.19/33.25	o 1253
33.19/33.25	c Elapsed CPU time: 32.929 s	Remaining CPU time: 147.071 s
33.19/33.25	c ===============================================================================
33.19/33.25	c |     21401 |    1272    94328   214056 |    31442    21401   1255 |  0.000 % |
33.58/33.62	c |     21503 |    1272    94328   214056 |    34586    21503   1254 |  0.000 % |
34.18/34.20	c |     21654 |    1272    94328   214056 |    38045    21654   1254 |  0.000 % |
35.09/35.18	c |     21880 |    1272    94328   214056 |    41850    21880   1254 |  0.000 % |
36.58/36.61	c |     22219 |    1272    94328   214056 |    46035    22219   1254 |  0.000 % |
38.78/38.85	c |     22726 |    1272    94328   214056 |    50638    22726   1254 |  0.000 % |
42.48/42.50	c |     23486 |    1272    94328   214056 |    55702    23486   1254 |  0.000 % |
46.88/46.97	c |     24625 |    1272    94328   214056 |    61272    24625   1254 |  0.000 % |
50.38/50.44	c |     26334 |    1272    94328   214056 |    67400    26334   1254 |  0.000 % |
51.38/51.45	c ===============================================================================
51.38/51.45	c New solution: 1252
51.38/51.45	o 1252
51.38/51.45	c Elapsed CPU time: 51.0532 s	Remaining CPU time: 128.947 s
51.38/51.45	c ===============================================================================
51.38/51.45	c |     27328 |    1272    94329   215328 |    31443    27328   1254 |  0.000 % |
51.48/51.58	c |     27429 |    1272    94329   215328 |    34587    27429   1254 |  0.000 % |
51.97/52.06	c |     27580 |    1272    94329   215328 |    38046    27580   1254 |  0.000 % |
52.69/52.78	c |     27807 |    1272    94329   215328 |    41850    27807   1253 |  0.000 % |
53.78/53.82	c |     28144 |    1272    94329   215328 |    46035    28144   1253 |  0.000 % |
54.38/54.45	c |     28650 |    1272    94329   215328 |    50639    28650   1253 |  0.000 % |
55.57/55.69	c ===============================================================================
55.57/55.69	c New solution: 1251
55.57/55.69	o 1251
55.57/55.69	c Elapsed CPU time: 55.2656 s	Remaining CPU time: 124.734 s
55.57/55.69	c ===============================================================================
55.57/55.69	c |     29112 |    1272    94330   216600 |    31443    29112   1253 |  0.000 % |
55.78/55.86	c |     29213 |    1272    94330   216600 |    34587    29213   1253 |  0.000 % |
56.18/56.25	c |     29364 |    1272    94330   216600 |    38046    29364   1253 |  0.000 % |
57.09/57.18	c |     29589 |    1272    94330   216600 |    41851    29589   1253 |  0.000 % |
58.87/58.99	c |     29927 |    1272    94330   216600 |    46036    29927   1253 |  0.000 % |
59.67/59.74	c ===============================================================================
59.67/59.74	c New solution: 1250
59.67/59.74	o 1250
59.67/59.74	c Elapsed CPU time: 59.296 s	Remaining CPU time: 120.704 s
59.67/59.74	c ===============================================================================
59.67/59.74	c |     30103 |    1272    94331   217872 |    31443    30103   1253 |  0.000 % |
60.38/60.41	c |     30205 |    1272    94331   217872 |    34588    30205   1253 |  0.000 % |
60.97/61.01	c |     30356 |    1272    94331   217872 |    38046    30356   1253 |  0.000 % |
62.48/62.54	c |     30582 |    1272    94331   217872 |    41851    30582   1253 |  0.000 % |
63.57/63.69	c |     30919 |    1272    94331   217872 |    46036    30919   1253 |  0.000 % |
65.48/65.57	c |     31426 |    1272    94331   217872 |    50640    31426   1253 |  0.000 % |
67.87/67.91	c |     32186 |    1272    94331   217872 |    55704    32186   1253 |  0.000 % |
71.08/71.11	c |     33325 |    1272    94331   217872 |    61274    33325   1252 |  0.000 % |
76.67/76.77	c |     35034 |    1272    94331   217872 |    67402    35034   1252 |  0.000 % |
82.38/82.44	c |     37598 |    1272    94331   217872 |    74142    37598   1252 |  0.000 % |
95.27/95.35	c |     41444 |    1272    94331   217872 |    81556    41444   1251 |  0.000 % |
128.16/128.20	c |     47212 |    1272    94331   217872 |    89712    47212   1251 |  0.000 % |
180.74/180.83	c There are 0 assigned variables. 0 in cost function.
180.84/180.95	c core #1
180.84/180.95	c #cores: 1
180.84/180.95	c Final Weight: 1250
180.84/180.95	o 1250
180.84/180.95	s OPTIMUM FOUND
180.84/180.95	v -x1272 -x1271 x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
180.84/180.95	c Total CPU time: 180.125 s

Verifier Data 

OK	-22

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656030-1276502156/watcher-2656030-1276502156 -o /tmp/evaluation-result-2656030-1276502156/solver-2656030-1276502156 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656030-1276502156.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.92 0.98 0.99 3/106 27745
/proc/meminfo: memFree=1832564/2059040 swapFree=4140228/4192956
[pid=27745] ppid=27743 vsize=4988 CPUtime=0
/proc/27745/stat : 27745 (wbo1.4b) R 27743 27745 27509 0 -1 4202496 328 0 0 0 0 0 0 0 20 0 1 0 25817363 5107712 246 1992294400 134512640 135751879 4294882048 18446744073709551615 134564675 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27745/statm: 1247 249 145 303 0 380 0

[startup+0.025576 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 27745
/proc/meminfo: memFree=1832564/2059040 swapFree=4140228/4192956
[pid=27745] ppid=27743 vsize=5260 CPUtime=0.02
/proc/27745/stat : 27745 (wbo1.4b) R 27743 27745 27509 0 -1 4202496 421 0 0 0 2 0 0 0 20 0 1 0 25817363 5386240 339 1992294400 134512640 135751879 4294882048 18446744073709551615 134574084 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27745/statm: 1315 339 175 303 0 448 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 5260

[startup+0.100584 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 27745
/proc/meminfo: memFree=1832564/2059040 swapFree=4140228/4192956
[pid=27745] ppid=27743 vsize=6364 CPUtime=0.09
/proc/27745/stat : 27745 (wbo1.4b) R 27743 27745 27509 0 -1 4202496 829 0 0 0 9 0 0 0 20 0 1 0 25817363 6516736 747 1992294400 134512640 135751879 4294882048 18446744073709551615 135008030 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27745/statm: 1591 747 312 303 0 724 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6364

[startup+0.300606 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 27745
/proc/meminfo: memFree=1832564/2059040 swapFree=4140228/4192956
[pid=27745] ppid=27743 vsize=9384 CPUtime=0.29
/proc/27745/stat : 27745 (wbo1.4b) R 27743 27745 27509 0 -1 4202496 1917 0 0 0 29 0 0 0 20 0 1 0 25817363 9609216 1835 1992294400 134512640 135751879 4294882048 18446744073709551615 134574064 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27745/statm: 2346 1835 685 303 0 1479 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9384

[startup+0.70065 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 27745
/proc/meminfo: memFree=1832564/2059040 swapFree=4140228/4192956
[pid=27745] ppid=27743 vsize=13696 CPUtime=0.69
/proc/27745/stat : 27745 (wbo1.4b) R 27743 27745 27509 0 -1 4202496 3660 0 0 0 67 2 0 0 21 0 1 0 25817363 14024704 2918 1992294400 134512640 135751879 4294882048 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27745/statm: 3424 2918 147 303 0 3119 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13696

[startup+1.50074 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 27746
/proc/meminfo: memFree=1821148/2059040 swapFree=4140228/4192956
[pid=27745] ppid=27743 vsize=15832 CPUtime=1.49
/proc/27745/stat : 27745 (wbo1.4b) R 27743 27745 27509 0 -1 4202496 4195 0 0 0 146 3 0 0 22 0 1 0 25817363 16211968 3453 1992294400 134512640 135751879 4294882048 18446744073709551615 134606801 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27745/statm: 3958 3453 147 303 0 3653 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15832

[startup+3.10091 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 27746
/proc/meminfo: memFree=1814328/2059040 swapFree=4140228/4192956
[pid=27745] ppid=27743 vsize=27020 CPUtime=3.09
/proc/27745/stat : 27745 (wbo1.4b) R 27743 27745 27509 0 -1 4202496 6979 0 0 0 303 6 0 0 25 0 1 0 25817363 27668480 6237 1992294400 134512640 135751879 4294882048 18446744073709551615 134616786 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27745/statm: 6755 6237 147 303 0 6450 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27020

[startup+6.30127 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 27746
/proc/meminfo: memFree=1796100/2059040 swapFree=4140228/4192956
[pid=27745] ppid=27743 vsize=41812 CPUtime=6.29
/proc/27745/stat : 27745 (wbo1.4b) R 27743 27745 27509 0 -1 4202496 10673 0 0 0 620 9 0 0 25 0 1 0 25817363 42815488 9931 1992294400 134512640 135751879 4294882048 18446744073709551615 134616778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27745/statm: 10453 9931 147 303 0 10148 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41812

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 27746
/proc/meminfo: memFree=1773036/2059040 swapFree=4140228/4192956
[pid=27745] ppid=27743 vsize=63452 CPUtime=12.69
/proc/27745/stat : 27745 (wbo1.4b) R 27743 27745 27509 0 -1 4202496 16095 0 0 0 1254 15 0 0 25 0 1 0 25817363 64974848 15353 1992294400 134512640 135751879 4294882048 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27745/statm: 15863 15354 147 303 0 15558 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63452

[startup+25.5004 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 27746
/proc/meminfo: memFree=1731868/2059040 swapFree=4140228/4192956
[pid=27745] ppid=27743 vsize=103352 CPUtime=25.48
/proc/27745/stat : 27745 (wbo1.4b) R 27743 27745 27509 0 -1 4202496 26040 0 0 0 2521 27 0 0 25 0 1 0 25817363 105832448 25298 1992294400 134512640 135751879 4294882048 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27745/statm: 25838 25298 147 303 0 25533 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 103352

[startup+51.1012 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 27746
/proc/meminfo: memFree=1692560/2059040 swapFree=4140228/4192956
[pid=27745] ppid=27743 vsize=144932 CPUtime=51.08
/proc/27745/stat : 27745 (wbo1.4b) R 27743 27745 27509 0 -1 4202496 36417 0 0 0 5069 39 0 0 25 0 1 0 25817363 148410368 35675 1992294400 134512640 135751879 4294882048 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27745/statm: 36233 35675 147 303 0 35928 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 144932

[startup+102.308 s]
/proc/loadavg: 1.12 1.03 1.01 2/107 27748
/proc/meminfo: memFree=1605636/2059040 swapFree=4140228/4192956
[pid=27745] ppid=27743 vsize=229008 CPUtime=102.27
/proc/27745/stat : 27745 (wbo1.4b) R 27743 27745 27509 0 -1 4202496 57370 0 0 0 10169 58 0 0 25 0 1 0 25817363 234504192 56628 1992294400 134512640 135751879 4294882048 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27745/statm: 57252 56628 147 303 0 56947 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 229008

[startup+162.301 s]
/proc/loadavg: 1.15 1.05 1.01 2/107 27750
/proc/meminfo: memFree=1567444/2059040 swapFree=4140228/4192956
[pid=27745] ppid=27743 vsize=267732 CPUtime=162.25
/proc/27745/stat : 27745 (wbo1.4b) R 27743 27745 27509 0 -1 4202496 66991 0 0 0 16154 71 0 0 25 0 1 0 25817363 274157568 66249 1992294400 134512640 135751879 4294882048 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27745/statm: 66933 66249 147 303 0 66628 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 267732

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

[startup+166.301 s]
/proc/loadavg: 1.14 1.05 1.01 2/107 27750
/proc/meminfo: memFree=1563724/2059040 swapFree=4140228/4192956
[pid=27745] ppid=27743 vsize=271004 CPUtime=166.24
/proc/27745/stat : 27745 (wbo1.4b) R 27743 27745 27509 0 -1 4202496 67828 0 0 0 16552 72 0 0 25 0 1 0 25817363 277508096 67086 1992294400 134512640 135751879 4294882048 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27745/statm: 67751 67086 147 303 0 67446 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 271004

[startup+172.709 s]
/proc/loadavg: 1.13 1.05 1.01 2/107 27750
/proc/meminfo: memFree=1553432/2059040 swapFree=4140228/4192956
[pid=27745] ppid=27743 vsize=281196 CPUtime=172.65
/proc/27745/stat : 27745 (wbo1.4b) R 27743 27745 27509 0 -1 4202496 70360 0 0 0 17190 75 0 0 25 0 1 0 25817363 287944704 69618 1992294400 134512640 135751879 4294882048 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27745/statm: 70299 69618 147 303 0 69994 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 281196

[startup+175.901 s]
/proc/loadavg: 1.12 1.05 1.01 2/107 27750
/proc/meminfo: memFree=1551820/2059040 swapFree=4140228/4192956
[pid=27745] ppid=27743 vsize=282816 CPUtime=175.85
/proc/27745/stat : 27745 (wbo1.4b) R 27743 27745 27509 0 -1 4202496 70740 0 0 0 17509 76 0 0 25 0 1 0 25817363 289603584 69998 1992294400 134512640 135751879 4294882048 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27745/statm: 70704 69998 147 303 0 70399 0
Current children cumulated CPU time (s) 175.85
Current children cumulated vsize (KiB) 282816

[startup+179.1 s]
/proc/loadavg: 1.12 1.05 1.01 2/107 27750
/proc/meminfo: memFree=1549836/2059040 swapFree=4140228/4192956
[pid=27745] ppid=27743 vsize=285400 CPUtime=179.04
/proc/27745/stat : 27745 (wbo1.4b) R 27743 27745 27509 0 -1 4202496 71396 0 0 0 17827 77 0 0 25 0 1 0 25817363 292249600 70654 1992294400 134512640 135751879 4294882048 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27745/statm: 71350 70654 147 303 0 71045 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 285400

[startup+179.9 s]
/proc/loadavg: 1.12 1.05 1.01 2/107 27750
/proc/meminfo: memFree=1549216/2059040 swapFree=4140228/4192956
[pid=27745] ppid=27743 vsize=286060 CPUtime=179.84
/proc/27745/stat : 27745 (wbo1.4b) R 27743 27745 27509 0 -1 4202496 71559 0 0 0 17907 77 0 0 25 0 1 0 25817363 292925440 70817 1992294400 134512640 135751879 4294882048 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27745/statm: 71515 70817 147 303 0 71210 0
Current children cumulated CPU time (s) 179.84
Current children cumulated vsize (KiB) 286060

[startup+180.701 s]
/proc/loadavg: 1.11 1.05 1.01 2/107 27750
/proc/meminfo: memFree=1548100/2059040 swapFree=4140228/4192956
[pid=27745] ppid=27743 vsize=286988 CPUtime=180.64
/proc/27745/stat : 27745 (wbo1.4b) R 27743 27745 27509 0 -1 4202496 71800 0 0 0 17987 77 0 0 25 0 1 0 25817363 293875712 71058 1992294400 134512640 135751879 4294882048 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27745/statm: 71747 71058 147 303 0 71442 0
Current children cumulated CPU time (s) 180.64
Current children cumulated vsize (KiB) 286988

[startup+180.901 s]
/proc/loadavg: 1.11 1.05 1.01 2/107 27750
/proc/meminfo: memFree=1548100/2059040 swapFree=4140228/4192956
[pid=27745] ppid=27743 vsize=291072 CPUtime=180.84
/proc/27745/stat : 27745 (wbo1.4b) R 27743 27745 27509 0 -1 4202496 72777 0 0 0 18007 77 0 0 25 0 1 0 25817363 298057728 72035 1992294400 134512640 135751879 4294882048 18446744073709551615 135202595 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27745/statm: 72768 72035 148 303 0 72463 0
Current children cumulated CPU time (s) 180.84
Current children cumulated vsize (KiB) 291072

Child status: 0
Real time (s): 180.982
CPU time (s): 180.935
CPU user time (s): 180.125
CPU system time (s): 0.810876
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 291072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.125
system time used= 0.810876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72778
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= 4
involuntary context switches= 454

runsolver used 0.310952 second user time and 0.860869 second system time

The end

Launcher Data 

Begin job on node009 at 2010-06-14 09:55:56
IDJOB=2656030
IDBENCH=2256
IDSOLVER=1161
FILE ID=node009/2656030-1276502156
PBS_JOBID= 11173411
Free space on /tmp= 62448 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656030-1276502156/watcher-2656030-1276502156 -o /tmp/evaluation-result-2656030-1276502156/solver-2656030-1276502156 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656030-1276502156.opb

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

MD5SUM BENCH= 1a88750537364c45876077f809191628
RANDOM SEED=1763699824

node009.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.199
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.39
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.199
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:       1833092 kB
Buffers:         45312 kB
Cached:         102624 kB
SwapCached:       5684 kB
Active:          91808 kB
Inactive:        68504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1833092 kB
SwapTotal:     4192956 kB
SwapFree:      4140228 kB
Dirty:            4836 kB
Writeback:           0 kB
AnonPages:       10940 kB
Mapped:          12904 kB
Slab:            43620 kB
PageTables:       4008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180832 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= 62444 MiB
End job on node009 at 2010-06-14 09:58:57