Trace number 2656225

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.-17 181.115 181.16

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
MD5SUM2e8a2f5e2511f10f037e700bd45c84a1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-28
Best CPU time to get the best result obtained on this benchmark1789.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -30
Optimality of the best value was proved YES
Number of variables450
Total number of constraints17794
Number of constraints which are clauses17794
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 450
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 450
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 450
Number of bits of the biggest sum of numbers9
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-2656225-1276485886.opb.
0.00/0.00	c Instance file HOME/instance-2656225-1276485886.opb
0.00/0.00	c File size is 421987 bytes.
0.00/0.05	c Highest Coefficient sum: 3
0.00/0.05	c ============================[ Problem Statistics ]=============================
0.00/0.05	c |                                                                             |
0.00/0.05	c |  Parsing time:          0.06         s                                      |
0.00/0.05	c |  Number Variables:      450                                                 |
0.00/0.05	c |  Number Clauses:        17794                                               |
0.00/0.05	c |  Number Cardinality:    0                                                   |
0.00/0.05	c |  Number PB Constraints: 0                                                   |
0.06/0.09	c ============================[ Search Statistics ]==============================
0.06/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.06/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.06/0.09	c ===============================================================================
0.06/0.09	c |         0 |     450    17794    35588 |     5931        0    nan |  0.000 % |
0.06/0.09	c ===============================================================================
0.06/0.09	c New solution: 450
0.06/0.09	o 450
0.06/0.09	c Elapsed CPU time: 0.095985 s	Remaining CPU time: 179.904 s
0.06/0.09	c ===============================================================================
0.06/0.09	c |         0 |     450    17795    36038 |     5931        0    nan |  0.000 % |
0.06/0.09	c ===============================================================================
0.06/0.09	c New solution: 449
0.06/0.09	o 449
0.06/0.09	c Elapsed CPU time: 0.096985 s	Remaining CPU time: 179.903 s
0.06/0.09	c ===============================================================================
0.06/0.09	c |         0 |     450    17796    36488 |     5932        0    nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 448
0.09/0.10	o 448
0.09/0.10	c Elapsed CPU time: 0.100984 s	Remaining CPU time: 179.899 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |         9 |     450    17797    36938 |     5932        9    444 |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 447
0.09/0.11	o 447
0.09/0.11	c Elapsed CPU time: 0.115982 s	Remaining CPU time: 179.884 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |        93 |     450    17798    37388 |     5932       93    443 |  0.000 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: 446
0.09/0.13	o 446
0.09/0.13	c Elapsed CPU time: 0.12898 s	Remaining CPU time: 179.871 s
0.09/0.13	c ===============================================================================
0.09/0.13	c |       171 |     450    17799    37838 |     5933      171    443 |  0.000 % |
0.09/0.14	c |       273 |     450    17799    37838 |     6526      273    442 |  0.000 % |
0.09/0.17	c |       425 |     450    17799    37838 |     7178      425    442 |  0.000 % |
0.09/0.19	c ===============================================================================
0.09/0.19	c New solution: 445
0.09/0.19	o 445
0.09/0.19	c Elapsed CPU time: 0.189971 s	Remaining CPU time: 179.81 s
0.09/0.19	c ===============================================================================
0.09/0.19	c |       540 |     450    17800    38288 |     5933      540    442 |  0.000 % |
0.19/0.21	c |       641 |     450    17800    38288 |     6526      641    442 |  0.000 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c New solution: 444
0.19/0.25	o 444
0.19/0.25	c Elapsed CPU time: 0.241963 s	Remaining CPU time: 179.758 s
0.19/0.25	c ===============================================================================
0.19/0.25	c |       784 |     450    17801    38738 |     5933      784    442 |  0.000 % |
0.19/0.27	c |       885 |     450    17801    38738 |     6527      885    442 |  0.000 % |
0.29/0.30	c |      1036 |     450    17801    38738 |     7179     1036    441 |  0.000 % |
0.29/0.33	c ===============================================================================
0.29/0.33	c New solution: 443
0.29/0.33	o 443
0.29/0.33	c Elapsed CPU time: 0.32395 s	Remaining CPU time: 179.676 s
0.29/0.33	c ===============================================================================
0.29/0.33	c |      1147 |     450    17802    39188 |     5934     1147    441 |  0.000 % |
0.29/0.35	c |      1247 |     450    17802    39188 |     6527     1247    441 |  0.000 % |
0.29/0.39	c |      1398 |     450    17802    39188 |     7180     1398    441 |  0.000 % |
0.39/0.41	c ===============================================================================
0.39/0.41	c New solution: 442
0.39/0.41	o 442
0.39/0.41	c Elapsed CPU time: 0.403938 s	Remaining CPU time: 179.596 s
0.39/0.41	c ===============================================================================
0.39/0.41	c |      1469 |     450    17803    39638 |     5934     1469    441 |  0.000 % |
0.39/0.45	c |      1572 |     450    17803    39638 |     6527     1572    441 |  0.000 % |
0.39/0.49	c |      1724 |     450    17803    39638 |     7180     1724    440 |  0.000 % |
0.49/0.55	c |      1950 |     450    17803    39638 |     7898     1950    440 |  0.000 % |
0.69/0.70	c |      2292 |     450    17803    39638 |     8688     2292    440 |  0.000 % |
0.89/0.90	c |      2798 |     450    17803    39638 |     9557     2798    439 |  0.000 % |
0.89/0.93	c ===============================================================================
0.89/0.93	c New solution: 441
0.89/0.93	o 441
0.89/0.93	c Elapsed CPU time: 0.91786 s	Remaining CPU time: 179.082 s
0.89/0.93	c ===============================================================================
0.89/0.93	c |      2844 |     450    17804    40088 |     5934     2844    439 |  0.000 % |
0.89/0.98	c |      2947 |     450    17804    40088 |     6528     2947    439 |  0.000 % |
1.00/1.04	c |      3097 |     450    17804    40088 |     7180     3097    439 |  0.000 % |
1.10/1.15	c |      3322 |     450    17804    40088 |     7899     3322    439 |  0.000 % |
1.29/1.34	c |      3659 |     450    17804    40088 |     8688     3659    439 |  0.000 % |
1.59/1.65	c ===============================================================================
1.59/1.65	c New solution: 440
1.59/1.65	o 440
1.59/1.65	c Elapsed CPU time: 1.62375 s	Remaining CPU time: 178.376 s
1.59/1.65	c ===============================================================================
1.59/1.65	c |      4102 |     450    17805    40538 |     5935     4102    439 |  0.000 % |
1.69/1.71	c |      4206 |     450    17805    40538 |     6528     4206    439 |  0.000 % |
1.80/1.81	c |      4357 |     450    17805    40538 |     7181     4357    439 |  0.000 % |
1.90/1.99	c |      4584 |     450    17805    40538 |     7899     4584    438 |  0.000 % |
2.20/2.25	c |      4921 |     450    17805    40538 |     8689     4921    438 |  0.000 % |
2.59/2.61	c |      5427 |     450    17805    40538 |     9558     5427    438 |  0.000 % |
3.20/3.24	c |      6188 |     450    17805    40538 |    10514     6188    438 |  0.000 % |
3.49/3.51	c ===============================================================================
3.49/3.51	c New solution: 439
3.49/3.51	o 439
3.49/3.51	c Elapsed CPU time: 3.47947 s	Remaining CPU time: 176.521 s
3.49/3.51	c ===============================================================================
3.49/3.51	c |      6455 |     450    17806    40988 |     5935     6455    437 |  0.000 % |
3.49/3.59	c |      6555 |     450    17806    40988 |     6528     3328    436 |  0.000 % |
3.59/3.66	c |      6706 |     450    17806    40988 |     7181     3479    436 |  0.000 % |
3.69/3.76	c |      6933 |     450    17806    40988 |     7899     3706    436 |  0.000 % |
3.89/3.99	c |      7270 |     450    17806    40988 |     8689     4043    436 |  0.000 % |
4.19/4.26	c |      7776 |     450    17806    40988 |     9558     4549    435 |  0.000 % |
4.59/4.66	c |      8536 |     450    17806    40988 |    10514     5309    435 |  0.000 % |
5.09/5.17	c ===============================================================================
5.09/5.17	c New solution: 438
5.09/5.17	o 438
5.09/5.17	c Elapsed CPU time: 5.11522 s	Remaining CPU time: 174.885 s
5.09/5.17	c ===============================================================================
5.09/5.17	c |      9324 |     450    17807    41438 |     5935     6097    435 |  0.000 % |
5.19/5.24	c |      9425 |     450    17807    41438 |     6529     3150    434 |  0.000 % |
5.29/5.30	c |      9575 |     450    17807    41438 |     7182     3300    434 |  0.000 % |
5.29/5.39	c |      9800 |     450    17807    41438 |     7900     3525    434 |  0.000 % |
5.59/5.62	c |     10140 |     450    17807    41438 |     8690     3865    434 |  0.000 % |
5.89/5.97	c |     10649 |     450    17807    41438 |     9559     4374    434 |  0.000 % |
6.39/6.46	c |     11410 |     450    17807    41438 |    10515     5135    434 |  0.000 % |
7.39/7.42	c |     12550 |     450    17807    41438 |    11566     6275    434 |  0.000 % |
8.79/8.85	c |     14259 |     450    17807    41438 |    12723     7984    433 |  0.000 % |
10.59/10.62	c ===============================================================================
10.59/10.62	c New solution: 437
10.59/10.62	o 437
10.59/10.62	c Elapsed CPU time: 10.5154 s	Remaining CPU time: 169.485 s
10.59/10.62	c ===============================================================================
10.59/10.62	c |     16681 |     450    17808    41888 |     5936    10406    433 |  0.000 % |
10.69/10.73	c |     16781 |     450    17808    41888 |     6529     5303    432 |  0.000 % |
10.79/10.83	c |     16932 |     450    17808    41888 |     7182     5454    432 |  0.000 % |
10.90/10.98	c |     17157 |     450    17808    41888 |     7900     5679    432 |  0.000 % |
11.09/11.14	c |     17494 |     450    17808    41888 |     8690     6016    432 |  0.000 % |
11.09/11.17	c ===============================================================================
11.09/11.17	c New solution: 436
11.09/11.17	o 436
11.09/11.17	c Elapsed CPU time: 11.0613 s	Remaining CPU time: 168.939 s
11.09/11.17	c ===============================================================================
11.09/11.17	c |     17563 |     450    17809    42338 |     5936     6085    432 |  0.000 % |
11.19/11.25	c |     17664 |     450    17809    42338 |     6529     3144    433 |  0.000 % |
11.19/11.29	c |     17815 |     450    17809    42338 |     7182     3295    433 |  0.000 % |
11.29/11.37	c |     18040 |     450    17809    42338 |     7901     3520    433 |  0.000 % |
11.39/11.50	c |     18379 |     450    17809    42338 |     8691     3859    432 |  0.000 % |
11.59/11.67	c |     18888 |     450    17809    42338 |     9560     4368    432 |  0.000 % |
11.99/12.02	c |     19651 |     450    17809    42338 |    10516     5131    432 |  0.000 % |
12.79/12.80	c |     20793 |     450    17809    42338 |    11568     6273    432 |  0.000 % |
14.09/14.18	c |     22505 |     450    17809    42338 |    12725     7985    432 |  0.000 % |
15.29/15.35	c |     25068 |     450    17809    42338 |    13997    10548    432 |  0.000 % |
18.98/19.10	c |     28912 |     450    17809    42338 |    15397    14392    432 |  0.000 % |
24.88/24.99	c |     34680 |     450    17809    42338 |    16937    12245    432 |  0.000 % |
31.58/31.68	c ===============================================================================
31.58/31.68	c New solution: 435
31.58/31.68	o 435
31.58/31.68	c Elapsed CPU time: 31.4362 s	Remaining CPU time: 148.564 s
31.58/31.68	c ===============================================================================
31.58/31.68	c |     37865 |     450    17810    42788 |     5936    15430    432 |  0.000 % |
31.89/31.97	c |     37965 |     450    17810    42788 |     6530     3958    433 |  0.000 % |
31.98/32.04	c |     38116 |     450    17810    42788 |     7183     4109    432 |  0.000 % |
32.09/32.10	c |     38345 |     450    17810    42788 |     7901     4338    432 |  0.000 % |
32.28/32.33	c |     38683 |     450    17810    42788 |     8691     4676    432 |  0.000 % |
32.58/32.61	c |     39192 |     450    17810    42788 |     9561     5185    432 |  0.000 % |
33.09/33.10	c |     39951 |     450    17810    42788 |    10517     5944    432 |  0.000 % |
33.99/34.03	c |     41090 |     450    17810    42788 |    11568     7083    432 |  0.000 % |
35.29/35.37	c |     42801 |     450    17810    42788 |    12725     8794    432 |  0.000 % |
36.79/36.85	c |     45364 |     450    17810    42788 |    13998    11357    432 |  0.000 % |
41.28/41.35	c |     49208 |     450    17810    42788 |    15398     7984    432 |  0.000 % |
41.48/41.59	c ===============================================================================
41.48/41.59	c New solution: 434
41.48/41.59	o 434
41.48/41.59	c Elapsed CPU time: 41.2787 s	Remaining CPU time: 138.721 s
41.48/41.59	c ===============================================================================
41.48/41.59	c |     49673 |     450    17811    43238 |     5937     8449    432 |  0.000 % |
41.69/41.71	c |     49774 |     450    17811    43238 |     6530     4326    432 |  0.000 % |
41.69/41.76	c |     49925 |     450    17811    43238 |     7183     4477    432 |  0.000 % |
41.78/41.84	c |     50151 |     450    17811    43238 |     7902     4703    432 |  0.000 % |
42.09/42.19	c |     50489 |     450    17811    43238 |     8692     5041    432 |  0.000 % |
42.48/42.56	c |     50996 |     450    17811    43238 |     9561     5548    432 |  0.000 % |
43.18/43.23	c |     51755 |     450    17811    43238 |    10517     6307    431 |  0.000 % |
43.89/43.96	c |     52894 |     450    17811    43238 |    11569     7446    431 |  0.000 % |
45.48/45.56	c |     54602 |     450    17811    43238 |    12726     9154    431 |  0.000 % |
49.78/49.80	c |     57164 |     450    17811    43238 |    13999    11716    431 |  0.000 % |
54.08/54.17	c |     61008 |     450    17811    43238 |    15399     8343    431 |  0.000 % |
60.67/60.74	c |     66774 |     450    17811    43238 |    16938    14109    431 |  0.000 % |
76.88/76.92	c |     75425 |     450    17811    43238 |    18632    14074    431 |  0.000 % |
93.97/94.01	c |     88399 |     450    17811    43238 |    20496    17518    431 |  0.000 % |
107.67/107.76	c ===============================================================================
107.67/107.76	c New solution: 433
107.67/107.76	o 433
107.67/107.76	c Elapsed CPU time: 107.095 s	Remaining CPU time: 72.9053 s
107.67/107.76	c ===============================================================================
107.67/107.76	c |    102026 |     450    17812    43688 |     5937    20681    431 |  0.000 % |
108.36/108.47	c |    102126 |     450    17812    43688 |     6531     5271    431 |  0.000 % |
108.56/108.61	c |    102277 |     450    17812    43688 |     7184     5422    431 |  0.000 % |
108.66/108.76	c |    102503 |     450    17812    43688 |     7902     5648    430 |  0.000 % |
108.88/108.95	c |    102841 |     450    17812    43688 |     8692     5986    430 |  0.000 % |
109.16/109.28	c |    103350 |     450    17812    43688 |     9562     6495    430 |  0.000 % |
109.87/109.97	c |    104112 |     450    17812    43688 |    10518     7257    430 |  0.000 % |
111.46/111.58	c |    105252 |     450    17812    43688 |    11570     8397    430 |  0.000 % |
114.76/114.80	c |    106961 |     450    17812    43688 |    12727    10106    430 |  0.000 % |
119.46/119.58	c |    109525 |     450    17812    43688 |    13999    12670    430 |  0.000 % |
123.96/124.09	c |    113371 |     450    17812    43688 |    15399     9300    430 |  0.000 % |
128.26/128.31	c |    119137 |     450    17812    43688 |    16939    15066    430 |  0.000 % |
141.55/141.65	c |    127787 |     450    17812    43688 |    18633    15036    430 |  0.000 % |
162.85/162.98	c |    140761 |     450    17812    43688 |    20497    18479    430 |  0.000 % |
180.85/180.97	c There are 0 assigned variables. 0 in cost function.
181.05/181.13	c core #1
181.05/181.13	c #cores: 1
181.05/181.13	c Final Weight: 433
181.05/181.13	o 433
181.05/181.13	s OPTIMUM FOUND
181.05/181.13	v -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
181.05/181.13	c Total CPU time: 180.163 s

Verifier Data 

OK	-17

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656225-1276485886/watcher-2656225-1276485886 -o /tmp/evaluation-result-2656225-1276485886/solver-2656225-1276485886 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656225-1276485886.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/106 29061
/proc/meminfo: memFree=1745600/2059040 swapFree=4135888/4192956
[pid=29061] ppid=29059 vsize=2992 CPUtime=0
/proc/29061/stat : 29061 (wbo1.4b) R 29059 29061 27841 0 -1 4202496 297 0 0 0 0 0 0 0 18 0 1 0 24189928 3063808 215 1992294400 134512640 135751879 4290805776 18446744073709551615 134564617 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29061/statm: 748 215 145 303 0 339 0

[startup+0.068368 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29061
/proc/meminfo: memFree=1745600/2059040 swapFree=4135888/4192956
[pid=29061] ppid=29059 vsize=4588 CPUtime=0.06
/proc/29061/stat : 29061 (wbo1.4b) R 29059 29061 27841 0 -1 4202496 893 0 0 0 6 0 0 0 20 0 1 0 24189928 4698112 707 1992294400 134512640 135751879 4290805776 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29061/statm: 1147 707 143 303 0 842 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4588

[startup+0.101371 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29061
/proc/meminfo: memFree=1745600/2059040 swapFree=4135888/4192956
[pid=29061] ppid=29059 vsize=3540 CPUtime=0.09
/proc/29061/stat : 29061 (wbo1.4b) R 29059 29061 27841 0 -1 4202496 898 0 0 0 9 0 0 0 20 0 1 0 24189928 3624960 454 1992294400 134512640 135751879 4290805776 18446744073709551615 134611204 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29061/statm: 885 454 146 303 0 580 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3540

[startup+0.30139 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29061
/proc/meminfo: memFree=1745600/2059040 swapFree=4135888/4192956
[pid=29061] ppid=29059 vsize=5464 CPUtime=0.29
/proc/29061/stat : 29061 (wbo1.4b) R 29059 29061 27841 0 -1 4202496 1359 0 0 0 28 1 0 0 20 0 1 0 24189928 5595136 915 1992294400 134512640 135751879 4290805776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29061/statm: 1366 915 147 303 0 1061 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5464

[startup+0.701431 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29061
/proc/meminfo: memFree=1745600/2059040 swapFree=4135888/4192956
[pid=29061] ppid=29059 vsize=7900 CPUtime=0.69
/proc/29061/stat : 29061 (wbo1.4b) R 29059 29061 27841 0 -1 4202496 1964 0 0 0 68 1 0 0 20 0 1 0 24189928 8089600 1520 1992294400 134512640 135751879 4290805776 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29061/statm: 1975 1520 147 303 0 1670 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7900

[startup+1.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29062
/proc/meminfo: memFree=1738524/2059040 swapFree=4135888/4192956
[pid=29061] ppid=29059 vsize=10864 CPUtime=1.49
/proc/29061/stat : 29061 (wbo1.4b) R 29059 29061 27841 0 -1 4202496 2723 0 0 0 147 2 0 0 23 0 1 0 24189928 11124736 2279 1992294400 134512640 135751879 4290805776 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29061/statm: 2716 2279 147 303 0 2411 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10864

[startup+3.10165 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29062
/proc/meminfo: memFree=1735176/2059040 swapFree=4135888/4192956
[pid=29061] ppid=29059 vsize=14972 CPUtime=3.09
/proc/29061/stat : 29061 (wbo1.4b) R 29059 29061 27841 0 -1 4202496 3725 0 0 0 306 3 0 0 25 0 1 0 24189928 15331328 3281 1992294400 134512640 135751879 4290805776 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29061/statm: 3743 3281 147 303 0 3438 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14972

[startup+6.30096 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29062
/proc/meminfo: memFree=1725380/2059040 swapFree=4135888/4192956
[pid=29061] ppid=29059 vsize=24372 CPUtime=6.29
/proc/29061/stat : 29061 (wbo1.4b) R 29059 29061 27841 0 -1 4202496 6097 0 0 0 622 7 0 0 25 0 1 0 24189928 24956928 5653 1992294400 134512640 135751879 4290805776 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29061/statm: 6093 5653 148 303 0 5788 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24372

[startup+12.7006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29062
/proc/meminfo: memFree=1707524/2059040 swapFree=4135888/4192956
[pid=29061] ppid=29059 vsize=41584 CPUtime=12.69
/proc/29061/stat : 29061 (wbo1.4b) R 29059 29061 27841 0 -1 4202496 10377 0 0 0 1256 13 0 0 25 0 1 0 24189928 42582016 9933 1992294400 134512640 135751879 4290805776 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29061/statm: 10396 9933 148 303 0 10091 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41584

[startup+25.5008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29064
/proc/meminfo: memFree=1679500/2059040 swapFree=4135888/4192956
[pid=29061] ppid=29059 vsize=68412 CPUtime=25.49
/proc/29061/stat : 29061 (wbo1.4b) R 29059 29061 27841 0 -1 4202496 17074 0 0 0 2527 22 0 0 25 0 1 0 24189928 70053888 16630 1992294400 134512640 135751879 4290805776 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29061/statm: 17103 16630 148 303 0 16798 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68412

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29064
/proc/meminfo: memFree=1637464/2059040 swapFree=4135888/4192956
[pid=29061] ppid=29059 vsize=110320 CPUtime=51.08
/proc/29061/stat : 29061 (wbo1.4b) R 29059 29061 27841 0 -1 4202496 27541 0 0 0 5073 35 0 0 25 0 1 0 24189928 112967680 27097 1992294400 134512640 135751879 4290805776 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29061/statm: 27580 27097 148 303 0 27275 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 110320

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29066
/proc/meminfo: memFree=1567776/2059040 swapFree=4135888/4192956
[pid=29061] ppid=29059 vsize=179636 CPUtime=102.28
/proc/29061/stat : 29061 (wbo1.4b) R 29059 29061 27841 0 -1 4202496 44800 0 0 0 10167 61 0 0 25 0 1 0 24189928 183947264 44356 1992294400 134512640 135751879 4290805776 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29061/statm: 44909 44356 148 303 0 44604 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 179636

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29066
/proc/meminfo: memFree=1491020/2059040 swapFree=4135888/4192956
[pid=29061] ppid=29059 vsize=257372 CPUtime=162.25
/proc/29061/stat : 29061 (wbo1.4b) R 29059 29061 27841 0 -1 4202496 64207 0 0 0 16139 86 0 0 25 0 1 0 24189928 263548928 63763 1992294400 134512640 135751879 4290805776 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29061/statm: 64343 63763 148 303 0 64038 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 257372

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

[startup+166.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29068
/proc/meminfo: memFree=1484944/2059040 swapFree=4135888/4192956
[pid=29061] ppid=29059 vsize=262456 CPUtime=166.25
/proc/29061/stat : 29061 (wbo1.4b) R 29059 29061 27841 0 -1 4202496 65471 0 0 0 16538 87 0 0 25 0 1 0 24189928 268754944 65027 1992294400 134512640 135751879 4290805776 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29061/statm: 65614 65027 148 303 0 65309 0
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (KiB) 262456

[startup+172.709 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29068
/proc/meminfo: memFree=1480108/2059040 swapFree=4135888/4192956
[pid=29061] ppid=29059 vsize=267076 CPUtime=172.66
/proc/29061/stat : 29061 (wbo1.4b) R 29059 29061 27841 0 -1 4202496 66616 0 0 0 17176 90 0 0 25 0 1 0 24189928 273485824 66172 1992294400 134512640 135751879 4290805776 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29061/statm: 66769 66172 148 303 0 66464 0
Current children cumulated CPU time (s) 172.66
Current children cumulated vsize (KiB) 267076

[startup+175.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29068
/proc/meminfo: memFree=1475272/2059040 swapFree=4135888/4192956
[pid=29061] ppid=29059 vsize=271968 CPUtime=175.85
/proc/29061/stat : 29061 (wbo1.4b) R 29059 29061 27841 0 -1 4202496 67841 0 0 0 17495 90 0 0 25 0 1 0 24189928 278495232 67397 1992294400 134512640 135751879 4290805776 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29061/statm: 67992 67398 148 303 0 67687 0
Current children cumulated CPU time (s) 175.85
Current children cumulated vsize (KiB) 271968

[startup+179.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29068
/proc/meminfo: memFree=1471304/2059040 swapFree=4135888/4192956
[pid=29061] ppid=29059 vsize=276384 CPUtime=179.04
/proc/29061/stat : 29061 (wbo1.4b) R 29059 29061 27841 0 -1 4202496 68931 0 0 0 17813 91 0 0 25 0 1 0 24189928 283017216 68487 1992294400 134512640 135751879 4290805776 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29061/statm: 69096 68487 148 303 0 68791 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 276384

[startup+179.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29068
/proc/meminfo: memFree=1470808/2059040 swapFree=4135888/4192956
[pid=29061] ppid=29059 vsize=276896 CPUtime=179.85
/proc/29061/stat : 29061 (wbo1.4b) R 29059 29061 27841 0 -1 4202496 69057 0 0 0 17893 92 0 0 25 0 1 0 24189928 283541504 68613 1992294400 134512640 135751879 4290805776 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29061/statm: 69224 68613 148 303 0 68919 0
Current children cumulated CPU time (s) 179.85
Current children cumulated vsize (KiB) 276896

[startup+180.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29068
/proc/meminfo: memFree=1470064/2059040 swapFree=4135888/4192956
[pid=29061] ppid=29059 vsize=277280 CPUtime=180.65
/proc/29061/stat : 29061 (wbo1.4b) R 29059 29061 27841 0 -1 4202496 69165 0 0 0 17973 92 0 0 25 0 1 0 24189928 283934720 68721 1992294400 134512640 135751879 4290805776 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29061/statm: 69320 68721 148 303 0 69015 0
Current children cumulated CPU time (s) 180.65
Current children cumulated vsize (KiB) 277280

[startup+181.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29068
/proc/meminfo: memFree=1470064/2059040 swapFree=4135888/4192956
[pid=29061] ppid=29059 vsize=278224 CPUtime=181.05
/proc/29061/stat : 29061 (wbo1.4b) R 29059 29061 27841 0 -1 4202496 69395 0 0 0 18013 92 0 0 25 0 1 0 24189928 284901376 68951 1992294400 134512640 135751879 4290805776 18446744073709551615 135200099 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29061/statm: 69556 68951 149 303 0 69251 0
Current children cumulated CPU time (s) 181.05
Current children cumulated vsize (KiB) 278224

Child status: 0
Real time (s): 181.16
CPU time (s): 181.115
CPU user time (s): 180.163
CPU system time (s): 0.952855
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 278224

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

runsolver used 0.315951 second user time and 0.85087 second system time

The end

Launcher Data 

Begin job on node015 at 2010-06-14 05:24:46
IDJOB=2656225
IDBENCH=2235
IDSOLVER=1161
FILE ID=node015/2656225-1276485886
PBS_JOBID= 11173375
Free space on /tmp= 62580 MiB

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

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

MD5SUM BENCH= 2e8a2f5e2511f10f037e700bd45c84a1
RANDOM SEED=1992010427

node015.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.244
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.244
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:       1746012 kB
Buffers:        117528 kB
Cached:         110528 kB
SwapCached:      17680 kB
Active:         105736 kB
Inactive:       142900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1746012 kB
SwapTotal:     4192956 kB
SwapFree:      4135888 kB
Dirty:            3136 kB
Writeback:          12 kB
AnonPages:       11924 kB
Mapped:           9160 kB
Slab:            42768 kB
PageTables:       4008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180640 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= 62580 MiB
End job on node015 at 2010-06-14 05:27:47