Trace number 2656221

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.44 182.291 182.338

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
MD5SUM09000b526c4cf3fc454b31cbb57a970b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.439932
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables906
Total number of constraints1039
Number of constraints which are clauses852
Number of constraints which are cardinality constraints (but not clauses)187
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint18
Number of terms in the objective function 906
Biggest coefficient in the objective function 553
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 2526
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 553
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2526
Number of bits of the biggest sum of numbers12
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-2656221-1276482879.opb.
0.00/0.00	c Instance file HOME/instance-2656221-1276482879.opb
0.00/0.00	c File size is 43291 bytes.
0.00/0.00	c Highest Coefficient sum: 21
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      906                                                 |
0.00/0.00	c |  Number Clauses:        853                                                 |
0.00/0.00	c |  Number Cardinality:    186                                                 |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     905     1039     3637 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 652
0.00/0.01	o 652
0.00/0.01	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 179.985 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     905     1040     4543 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 651
0.00/0.02	o 651
0.00/0.02	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 179.982 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     905     1041     5449 |     5000        0    nan |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 650
0.00/0.03	o 650
0.00/0.03	c Elapsed CPU time: 0.028995 s	Remaining CPU time: 179.971 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |        58 |     905     1042     6355 |     5000       58    329 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 619
0.00/0.03	o 619
0.00/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 179.969 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |        58 |     905     1043     7261 |     5000       58    329 |  0.000 % |
0.00/0.05	c |       158 |     905     1043     7261 |     5500      158    342 |  0.111 % |
0.00/0.07	c |       311 |     905     1043     7261 |     6050      311    341 |  0.111 % |
0.00/0.08	c ===============================================================================
0.00/0.08	c New solution: 618
0.00/0.08	o 618
0.00/0.08	c Elapsed CPU time: 0.079987 s	Remaining CPU time: 179.92 s
0.00/0.08	c ===============================================================================
0.00/0.08	c |       349 |     905     1044     8167 |     5000      349    341 |  0.111 % |
0.09/0.10	c |       450 |     905     1044     8167 |     5500      450    342 |  0.115 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 610
0.09/0.10	o 610
0.09/0.10	c Elapsed CPU time: 0.102984 s	Remaining CPU time: 179.897 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |       450 |     905     1045     9073 |     5000      450    342 |  0.115 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 608
0.09/0.11	o 608
0.09/0.11	c Elapsed CPU time: 0.105983 s	Remaining CPU time: 179.894 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |       450 |     905     1046     9979 |     5000      450    342 |  0.115 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 607
0.09/0.11	o 607
0.09/0.11	c Elapsed CPU time: 0.109983 s	Remaining CPU time: 179.89 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |       452 |     905     1047    10885 |     5000      452    342 |  0.115 % |
0.09/0.13	c |       552 |     905     1047    10885 |     5500      552    341 |  0.116 % |
0.09/0.16	c |       705 |     905     1047    10885 |     6050      705    338 |  0.112 % |
0.09/0.20	c |       932 |     905     1047    10885 |     6655      932    339 |  0.113 % |
0.19/0.26	c |      1269 |     905     1047    10885 |     7320     1269    338 |  0.112 % |
0.29/0.35	c |      1775 |     905     1047    10885 |     8052     1775    335 |  0.112 % |
0.49/0.52	c |      2534 |     905     1047    10885 |     8857     2534    339 |  0.111 % |
0.69/0.76	c |      3673 |     905     1047    10885 |     9743     3673    339 |  0.111 % |
1.10/1.14	c |      5381 |     905     1047    10885 |    10717     5381    341 |  0.111 % |
1.69/1.71	c |      7943 |     905     1047    10885 |    11789     7943    343 |  0.111 % |
2.49/2.55	c |     11787 |     905     1047    10885 |    12968    11787    341 |  0.111 % |
2.49/2.56	c ===============================================================================
2.49/2.56	c New solution: 606
2.49/2.56	o 606
2.49/2.56	c Elapsed CPU time: 2.51462 s	Remaining CPU time: 177.485 s
2.49/2.56	c ===============================================================================
2.49/2.56	c |     11788 |     905     1048    11791 |     5000    11788    341 |  0.111 % |
2.59/2.60	c |     11889 |     905     1048    11791 |     5500     3048    338 |  0.112 % |
2.59/2.63	c |     12039 |     905     1048    11791 |     6050     3198    338 |  0.110 % |
2.59/2.68	c |     12266 |     905     1048    11791 |     6655     3425    338 |  0.112 % |
2.69/2.76	c |     12604 |     905     1048    11791 |     7320     3763    339 |  0.113 % |
2.79/2.89	c |     13110 |     905     1048    11791 |     8052     4269    337 |  0.115 % |
2.79/2.89	c ===============================================================================
2.79/2.89	c New solution: 603
2.79/2.89	o 603
2.79/2.89	c Elapsed CPU time: 2.84057 s	Remaining CPU time: 177.159 s
2.79/2.89	c ===============================================================================
2.79/2.89	c |     13110 |     905     1049    12697 |     5000     4269    337 |  0.115 % |
2.89/2.91	c |     13211 |     905     1049    12697 |     5500     4370    337 |  0.112 % |
2.89/2.94	c |     13361 |     905     1049    12697 |     6050     4520    337 |  0.112 % |
2.89/2.95	c ===============================================================================
2.89/2.95	c New solution: 602
2.89/2.95	o 602
2.89/2.95	c Elapsed CPU time: 2.89756 s	Remaining CPU time: 177.102 s
2.89/2.95	c ===============================================================================
2.89/2.95	c |     13388 |     905     1050    13603 |     5000     4547    337 |  0.112 % |
2.89/2.97	c |     13489 |     905     1050    13603 |     5500     4648    337 |  0.111 % |
2.99/3.01	c |     13640 |     905     1050    13603 |     6050     4799    337 |  0.115 % |
2.99/3.06	c |     13865 |     905     1050    13603 |     6655     5024    336 |  0.114 % |
3.09/3.12	c |     14202 |     905     1050    13603 |     7320     5361    337 |  0.112 % |
3.20/3.23	c |     14709 |     905     1050    13603 |     8052     5868    336 |  0.112 % |
3.30/3.39	c |     15469 |     905     1050    13603 |     8857     6628    337 |  0.111 % |
3.59/3.65	c |     16609 |     905     1050    13603 |     9743     7768    338 |  0.111 % |
4.09/4.13	c |     18318 |     905     1050    13603 |    10717     9477    342 |  0.111 % |
4.99/5.01	c |     20881 |     905     1050    13603 |    11789     6262    349 |  0.111 % |
5.99/6.06	c |     24726 |     905     1050    13603 |    12968    10107    343 |  0.111 % |
6.09/6.12	c ===============================================================================
6.09/6.12	c New solution: 601
6.09/6.12	o 601
6.09/6.12	c Elapsed CPU time: 6.01309 s	Remaining CPU time: 173.987 s
6.09/6.12	c ===============================================================================
6.09/6.12	c |     24932 |     905     1051    14509 |     5000    10313    343 |  0.111 % |
6.09/6.17	c |     25032 |     905     1051    14509 |     5500     2679    334 |  0.110 % |
6.19/6.20	c |     25183 |     905     1051    14509 |     6050     2830    335 |  0.112 % |
6.19/6.26	c |     25408 |     905     1051    14509 |     6655     3055    335 |  0.112 % |
6.29/6.34	c |     25747 |     905     1051    14509 |     7320     3394    336 |  0.112 % |
6.39/6.45	c |     26253 |     905     1051    14509 |     8052     3900    336 |  0.114 % |
6.60/6.62	c |     27012 |     905     1051    14509 |     8857     4659    337 |  0.110 % |
6.78/6.88	c |     28151 |     905     1051    14509 |     9743     5798    339 |  0.111 % |
7.29/7.31	c |     29860 |     905     1051    14509 |    10717     7507    339 |  0.111 % |
7.29/7.32	c ===============================================================================
7.29/7.32	c New solution: 600
7.29/7.32	o 600
7.29/7.32	c Elapsed CPU time: 7.19291 s	Remaining CPU time: 172.807 s
7.29/7.32	c ===============================================================================
7.29/7.32	c |     29871 |     905     1052    15415 |     5000     7518    339 |  0.111 % |
7.29/7.36	c |     29972 |     905     1052    15415 |     5500     3860    342 |  0.112 % |
7.39/7.40	c |     30122 |     905     1052    15415 |     6050     4010    341 |  0.115 % |
7.39/7.45	c |     30347 |     905     1052    15415 |     6655     4235    341 |  0.112 % |
7.49/7.54	c |     30684 |     905     1052    15415 |     7320     4572    341 |  0.115 % |
7.60/7.65	c |     31191 |     905     1052    15415 |     8052     5079    341 |  0.112 % |
7.78/7.84	c |     31950 |     905     1052    15415 |     8857     5838    340 |  0.111 % |
8.09/8.16	c |     33089 |     905     1052    15415 |     9743     6977    340 |  0.111 % |
8.59/8.64	c |     34798 |     905     1052    15415 |    10717     8686    340 |  0.111 % |
9.29/9.38	c |     37360 |     905     1052    15415 |    11789    11248    341 |  0.111 % |
10.39/10.46	c |     41204 |     905     1052    15415 |    12968     8766    344 |  0.111 % |
12.19/12.23	c |     46970 |     905     1052    15415 |    14265     7629    350 |  0.111 % |
14.98/15.10	c |     55621 |     905     1052    15415 |    15692     8732    345 |  0.111 % |
19.69/19.70	c |     68596 |     905     1052    15415 |    17261    13431    345 |  0.111 % |
20.69/20.76	c ===============================================================================
20.69/20.76	c New solution: 599
20.69/20.76	o 599
20.69/20.76	c Elapsed CPU time: 20.4379 s	Remaining CPU time: 159.562 s
20.69/20.76	c ===============================================================================
20.69/20.76	c |     72102 |     905     1053    16321 |     5000    16937    345 |  0.111 % |
20.79/20.89	c |     72203 |     905     1053    16321 |     5500     4336    346 |  0.111 % |
20.89/20.93	c |     72353 |     905     1053    16321 |     6050     4486    346 |  0.111 % |
20.89/20.99	c |     72578 |     905     1053    16321 |     6655     4711    345 |  0.112 % |
20.98/21.09	c |     72915 |     905     1053    16321 |     7320     5048    346 |  0.112 % |
21.18/21.23	c |     73422 |     905     1053    16321 |     8052     5555    345 |  0.112 % |
21.39/21.45	c |     74181 |     905     1053    16321 |     8857     6314    344 |  0.111 % |
21.68/21.79	c |     75321 |     905     1053    16321 |     9743     7454    344 |  0.110 % |
22.29/22.33	c |     77030 |     905     1053    16321 |    10717     9163    344 |  0.111 % |
22.99/23.07	c |     79592 |     905     1053    16321 |    11789     5936    342 |  0.110 % |
23.98/24.07	c |     83437 |     905     1053    16321 |    12968     9781    339 |  0.111 % |
26.18/26.23	c |     89203 |     905     1053    16321 |    14265     8635    334 |  0.111 % |
26.29/26.36	c ===============================================================================
26.29/26.36	c New solution: 598
26.29/26.36	o 598
26.29/26.36	c Elapsed CPU time: 25.9631 s	Remaining CPU time: 154.037 s
26.29/26.36	c ===============================================================================
26.29/26.36	c |     89674 |     905     1054    17227 |     5000     9106    334 |  0.111 % |
26.29/26.40	c |     89774 |     905     1054    17227 |     5500     4653    335 |  0.111 % |
26.40/26.44	c |     89924 |     905     1054    17227 |     6050     4803    335 |  0.112 % |
26.49/26.50	c |     90150 |     905     1054    17227 |     6655     5029    335 |  0.115 % |
26.49/26.59	c |     90487 |     905     1054    17227 |     7320     5366    334 |  0.114 % |
26.68/26.72	c |     90993 |     905     1054    17227 |     8052     5872    335 |  0.111 % |
26.89/26.90	c |     91753 |     905     1054    17227 |     8857     6632    335 |  0.113 % |
27.18/27.20	c |     92893 |     905     1054    17227 |     9743     7772    337 |  0.110 % |
27.68/27.71	c |     94601 |     905     1054    17227 |    10717     9480    339 |  0.110 % |
28.49/28.56	c |     97164 |     905     1054    17227 |    11789     6261    346 |  0.111 % |
29.48/29.55	c |    101008 |     905     1054    17227 |    12968    10105    341 |  0.111 % |
31.48/31.54	c |    106774 |     905     1054    17227 |    14265     8962    341 |  0.111 % |
34.18/34.21	c |    115423 |     905     1054    17227 |    15692    10045    348 |  0.111 % |
38.58/38.66	c |    128397 |     905     1054    17227 |    17261    14752    353 |  0.111 % |
46.48/46.56	c |    147858 |     905     1054    17227 |    18987    16082    341 |  0.111 % |
57.97/58.08	c |    177051 |     905     1054    17227 |    20886    15530    342 |  0.111 % |
58.08/58.16	c ===============================================================================
58.08/58.16	c New solution: 597
58.08/58.16	o 597
58.08/58.16	c Elapsed CPU time: 57.3893 s	Remaining CPU time: 122.611 s
58.08/58.16	c ===============================================================================
58.08/58.16	c |    177294 |     905     1055    18133 |     5000    15773    342 |  0.111 % |
58.29/58.31	c |    177395 |     905     1055    18133 |     5500     4045    337 |  0.110 % |
58.29/58.34	c |    177546 |     905     1055    18133 |     6050     4196    337 |  0.112 % |
58.38/58.40	c |    177772 |     905     1055    18133 |     6655     4422    338 |  0.112 % |
58.38/58.47	c |    178109 |     905     1055    18133 |     7320     4759    337 |  0.111 % |
58.57/58.63	c |    178616 |     905     1055    18133 |     8052     5266    338 |  0.112 % |
58.78/58.81	c |    179376 |     905     1055    18133 |     8857     6026    338 |  0.111 % |
59.08/59.18	c |    180516 |     905     1055    18133 |     9743     7166    337 |  0.111 % |
59.57/59.68	c |    182225 |     905     1055    18133 |    10717     8875    338 |  0.111 % |
60.48/60.54	c |    184787 |     905     1055    18133 |    11789    11437    339 |  0.111 % |
61.48/61.52	c |    188631 |     905     1055    18133 |    12968     8953    338 |  0.111 % |
63.17/63.20	c |    194398 |     905     1055    18133 |    14265     7799    343 |  0.111 % |
65.77/65.87	c |    203048 |     905     1055    18133 |    15692     8894    337 |  0.111 % |
70.57/70.66	c |    216023 |     905     1055    18133 |    17261    13604    346 |  0.111 % |
78.77/78.86	c |    235485 |     905     1055    18133 |    18987    14949    342 |  0.111 % |
95.76/95.89	c |    264677 |     905     1055    18133 |    20886    14383    343 |  0.111 % |
113.66/113.76	c |    308466 |     905     1055    18133 |    22974    14473    330 |  0.111 % |
151.45/151.58	c |    374150 |     905     1055    18133 |    25272    17047    354 |  0.111 % |
181.74/181.85	c There are 1 assigned variables. 1 in cost function.
182.14/182.28	c core #1
182.14/182.28	c #cores: 1
182.14/182.28	c Final Weight: 597
182.14/182.28	o 597
182.14/182.28	s OPTIMUM FOUND
182.14/182.28	v -x786 x741 x421 x83 -x861 x745 x419 -x860 -x785 -x502 x308 -x86 -x789 x420 -x87 x64 -x862 -x505 x425 x355 x307 x63 -x864 -x790 -x574 -x506 x65 -x573 -x479 -x442 x354 x313 x66 -x28 -x865 -x575 -x478 x311 -x103 x67 -x867 x811 -x576 -x480 -x441 x360 -x263 -x186 -x102 -x74 -x27 -x868 -x815 -x577 x483 -x358 x312 -x191 -x108 x68 -x31 -x698 -x584 x482 -x447 -x400 -x316 x266 -x217 -x190 -x144 -x107 x69 -x702 -x578 -x487 -x445 -x359 x267 -x143 -x109 x70 -x32 x3 -x579 -x486 x399 -x363 -x193 x167 -x145 -x113 x2 -x661 -x580 -x484 -x446 -x194 -x148 -x112 x8 -x660 -x595 -x559 -x485 -x450 x405 -x197 x166 -x147 -x110 x7 -x662 -x599 -x558 x403 -x195 -x152 -x111 x9 -x663 -x560 -x333 -x196 x172 -x151 x13 -x664 -x563 x404 x170 -x149 x12 -x669 x562 -x408 -x336 -x150 x10 -x665 x564 -x337 x171 x11 x740 x422 x82 -x856 x744 -x855 -x787 -x501 x426 x303 -x88 -x791 x424 -x863 -x507 -x350 x309 -x866 -x870 -x836 -x793 -x437 x356 x314 -x91 -x77 -x869 -x840 -x794 -x78 x810 -x587 -x510 x443 x361 -x317 -x262 -x213 -x73 -x29 -x814 -x588 x481 -x315 -x185 -x104 -x33 -x697 -x583 x495 x448 -x395 -x364 x268 -x216 -x187 -x105 -x71 -x701 -x491 -x362 -x192 -x106 -x581 -x490 -x451 x401 -x189 -x162 -x117 -x35 -x449 -x198 -x146 -x36 x4 -x594 -x543 x406 -x271 x168 -x160 x5 -x598 -x156 x6 -x672 x409 -x332 x173 -x155 x17 -x673 -x561 x407 -x668 x572 -x467 -x338 x174 x568 -x471 x175 -x782 x742 -x497 x423 x84 x746 x427 -x788 -x503 -x89 -x857 -x792 x302 -x858 -x796 -x748 -x508 x304 x92 -x76 -x859 -x795 -x749 -x349 x310 x90 -x75 -x23 -x874 -x835 -x762 -x586 -x511 -x351 x306 x258 -x22 -x839 -x766 -x585 -x509 -x436 x357 x318 x812 -x492 x438 x353 -x264 -x212 -x30 -x816 x494 x444 x365 -x34 -x699 x440 x269 -x218 -x120 -x72 -x38 x703 -x452 -x394 -x188 -x121 -x37 -x818 -x582 -x539 -x488 x396 -x272 -x206 -x157 -x116 -x819 x402 -x270 -x202 x161 -x159 x705 -x671 -x596 -x542 -x489 x398 -x328 -x221 -x201 x163 -x114 -x20 x706 -x670 -x600 x410 x169 -x21 -x723 -x569 -x334 x165 -x153 x16 x727 -x571 x176 -x666 -x602 -x466 -x339 -x154 x132 x14 -x603 x567 -x470 x743 x435 x80 -x781 x747 -x496 x431 x85 -x783 -x751 -x498 x430 x81 -x784 -x750 -x504 x93 -x877 -x800 -x500 -x878 x806 -x512 x305 -x873 -x837 x805 -x761 x326 -x208 -x841 -x765 -x693 -x493 -x352 x322 x257 -x24 -x885 -x871 x813 -x692 -x373 x321 x259 -x214 -x119 -x25 -x889 -x817 x439 x369 x265 -x118 -x26 -x843 -x821 x700 x460 -x368 x261 -x219 -x203 -x42 -x844 -x820 x704 -x590 x456 -x273 -x205 -x158 x708 -x589 -x538 x455 -x222 -x19 x707 x397 -x220 -x18 -x597 -x544 x418 -x199 -x115 -x601 -x570 x414 -x327 x164 -x722 -x605 x413 -x329 -x200 x184 -x128 x726 -x604 -x335 x180 -x667 -x547 -x468 -x331 x179 x131 -x15 -x565 -x472 -x340 x904 x434 x79 -x876 -x803 -x755 x428 x101 -x875 -x831 -x804 -x499 x97 -x830 -x799 -x520 x429 x323 x96 -x516 x325 -x838 -x797 -x763 -x515 -x370 -x842 x807 -x767 -x372 -x207 -x884 -x872 -x846 x808 -x457 x319 -x292 -x209 -x45 -x888 -x845 x809 -x694 -x459 x260 -x215 -x204 -x46 x825 -x769 -x695 -x534 -x384 -x366 x320 x281 -x211 -x41 -x770 x696 x277 -x223 x712 -x620 -x540 x453 x415 -x367 -x276 -x39 -x624 -x591 x417 -x592 -x545 x454 x181 -x593 -x462 x183 -x724 -x609 -x548 -x461 x411 x127 x728 -x546 -x330 -x469 -x412 -x348 x177 x133 -x566 -x473 -x344 -x802 x432 x98 -x801 x100 -x754 x655 -x517 -x757 -x519 x324 -x756 -x752 x522 x94 -x832 -x526 -x371 -x833 -x798 -x764 -x513 -x288 -x250 -x95 -x44 -x834 -x768 -x458 -x43 -x886 -x850 x828 -x772 -x514 -x380 -x291 x278 -x890 x829 -x771 x280 -x210 x824 x715 -x383 -x231 x716 -x533 -x416 -x227 -x892 x822 x711 -x642 -x619 -x535 -x274 -x226 -x40 -x893 -x718 -x646 -x623 -x541 -x182 -x717 x709 x680 -x612 -x537 -x275 x123 -x56 x684 -x613 -x549 -x725 -x608 -x345 x129 x729 -x463 -x347 x730 -x606 -x464 x241 x178 x134 x731 -x465 -x343 -x905 x433 x99 -x518 x654 -x753 x521 x246 -x880 -x758 x525 -x879 -x853 x827 -x759 -x287 x249 -x854 x826 -x760 x279 -x887 -x849 -x776 x714 -x379 -x293 -x228 -x891 x713 -x230 -x895 -x847 -x385 -x894 -x823 -x641 x621 -x611 -x296 -x224 -x52 -x645 x625 -x610 -x536 x710 x679 -x557 -x388 -x225 -x55 -x719 x683 -x553 -x346 x122 -x720 x627 -x552 -x237 x124 x721 x628 x130 x735 -x607 -x476 x240 x126 -x477 -x341 x135 x656 -x852 x523 -x283 x245 -x851 x527 -x779 x658 -x375 -x289 x251 -x881 -x780 -x229 -x882 -x775 x529 -x381 -x294 -x883 x615 -x530 -x899 -x848 -x773 x614 -x386 -x297 x254 -x295 -x643 x622 -x554 x389 -x51 -x647 x626 -x556 x387 x681 x630 -x57 x685 x629 -x738 -x649 -x550 -x475 -x236 -x739 -x650 -x474 x125 x734 x687 -x551 x242 -x142 -x60 x688 -x342 -x138 -x778 x659 x524 x247 -x777 x657 x528 -x282 x532 -x284 x252 x531 x374 -x290 -x902 x376 -x286 x255 -x903 -x637 -x382 -x298 x253 -x898 -x774 -x636 x378 -x49 x675 x616 -x555 x390 -x896 x674 -x644 x617 -x53 -x648 x618 -x737 x682 -x652 x633 x234 -x58 -x736 x686 -x651 x690 x238 -x139 -x61 x689 -x141 -x59 x732 x243 -x136 x248 -x901 x906 -x900 -x285 x256 -x301 x377 -x299 x393 -x300 -x638 x391 -x48 -x897 -x639 x635 x392 -x47 x676 -x640 x634 -x54 x677 -x653 x631 -x50 x678 x233 -x140 -x62 x691 x632 x232 x239 x733 x235 x244 -x137 x1
182.14/182.28	c Total CPU time: 180.424 s

Verifier Data 

OK	44

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656221-1276482879/watcher-2656221-1276482879 -o /tmp/evaluation-result-2656221-1276482879/solver-2656221-1276482879 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656221-1276482879.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.83 1.97 1.71 3/106 28188
/proc/meminfo: memFree=1750592/2059040 swapFree=4140228/4192956
[pid=28188] ppid=28186 vsize=2748 CPUtime=0
/proc/28188/stat : 28188 (wbo1.4b) R 28186 28188 27326 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 21944235 2813952 242 1992294400 134512640 135751879 4291998496 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28188/statm: 687 243 146 303 0 371 0

[startup+0.0978229 s]
/proc/loadavg: 1.83 1.97 1.71 3/106 28188
/proc/meminfo: memFree=1750592/2059040 swapFree=4140228/4192956
[pid=28188] ppid=28186 vsize=3480 CPUtime=0.09
/proc/28188/stat : 28188 (wbo1.4b) R 28186 28188 27326 0 -1 4202496 531 0 0 0 9 0 0 0 20 0 1 0 21944235 3563520 439 1992294400 134512640 135751879 4291998496 18446744073709551615 134607728 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28188/statm: 870 439 147 303 0 565 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3480

[startup+0.101824 s]
/proc/loadavg: 1.83 1.97 1.71 3/106 28188
/proc/meminfo: memFree=1750592/2059040 swapFree=4140228/4192956
[pid=28188] ppid=28186 vsize=3480 CPUtime=0.09
/proc/28188/stat : 28188 (wbo1.4b) R 28186 28188 27326 0 -1 4202496 538 0 0 0 9 0 0 0 20 0 1 0 21944235 3563520 447 1992294400 134512640 135751879 4291998496 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28188/statm: 870 447 147 303 0 565 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3480

[startup+0.301842 s]
/proc/loadavg: 1.83 1.97 1.71 3/106 28188
/proc/meminfo: memFree=1750592/2059040 swapFree=4140228/4192956
[pid=28188] ppid=28186 vsize=5028 CPUtime=0.29
/proc/28188/stat : 28188 (wbo1.4b) R 28186 28188 27326 0 -1 4202496 931 0 0 0 29 0 0 0 20 0 1 0 21944235 5148672 839 1992294400 134512640 135751879 4291998496 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28188/statm: 1257 839 147 303 0 952 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5028

[startup+0.70188 s]
/proc/loadavg: 1.83 1.97 1.71 3/106 28188
/proc/meminfo: memFree=1750592/2059040 swapFree=4140228/4192956
[pid=28188] ppid=28186 vsize=7856 CPUtime=0.69
/proc/28188/stat : 28188 (wbo1.4b) R 28186 28188 27326 0 -1 4202496 1634 0 0 0 68 1 0 0 21 0 1 0 21944235 8044544 1542 1992294400 134512640 135751879 4291998496 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28188/statm: 1964 1542 147 303 0 1659 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7856

[startup+1.50096 s]
/proc/loadavg: 1.83 1.97 1.71 2/107 28189
/proc/meminfo: memFree=1743020/2059040 swapFree=4140228/4192956
[pid=28188] ppid=28186 vsize=13240 CPUtime=1.49
/proc/28188/stat : 28188 (wbo1.4b) R 28186 28188 27326 0 -1 4202496 2965 0 0 0 147 2 0 0 23 0 1 0 21944235 13557760 2873 1992294400 134512640 135751879 4291998496 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28188/statm: 3310 2873 147 303 0 3005 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13240

[startup+3.10111 s]
/proc/loadavg: 1.83 1.97 1.71 2/107 28189
/proc/meminfo: memFree=1735208/2059040 swapFree=4140228/4192956
[pid=28188] ppid=28186 vsize=23428 CPUtime=3.09
/proc/28188/stat : 28188 (wbo1.4b) R 28186 28188 27326 0 -1 4202496 5526 0 0 0 304 5 0 0 25 0 1 0 21944235 23990272 5434 1992294400 134512640 135751879 4291998496 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28188/statm: 5857 5434 148 303 0 5552 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23428

[startup+6.30142 s]
/proc/loadavg: 1.77 1.95 1.71 2/107 28189
/proc/meminfo: memFree=1716732/2059040 swapFree=4140228/4192956
[pid=28188] ppid=28186 vsize=40168 CPUtime=6.29
/proc/28188/stat : 28188 (wbo1.4b) R 28186 28188 27326 0 -1 4202496 9719 0 0 0 619 10 0 0 25 0 1 0 21944235 41132032 9627 1992294400 134512640 135751879 4291998496 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28188/statm: 10042 9627 148 303 0 9737 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40168

[startup+12.701 s]
/proc/loadavg: 1.71 1.93 1.71 2/107 28189
/proc/meminfo: memFree=1681764/2059040 swapFree=4140228/4192956
[pid=28188] ppid=28186 vsize=73868 CPUtime=12.69
/proc/28188/stat : 28188 (wbo1.4b) R 28186 28188 27326 0 -1 4202496 18138 0 0 0 1247 22 0 0 25 0 1 0 21944235 75640832 18046 1992294400 134512640 135751879 4291998496 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28188/statm: 18467 18046 148 303 0 18162 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 73868

[startup+25.5013 s]
/proc/loadavg: 1.55 1.89 1.69 2/107 28189
/proc/meminfo: memFree=1622988/2059040 swapFree=4140228/4192956
[pid=28188] ppid=28186 vsize=130424 CPUtime=25.48
/proc/28188/stat : 28188 (wbo1.4b) R 28186 28188 27326 0 -1 4202496 32262 0 0 0 2510 38 0 0 25 0 1 0 21944235 133554176 32170 1992294400 134512640 135751879 4291998496 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28188/statm: 32606 32170 148 303 0 32301 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 130424

[startup+51.1017 s]
/proc/loadavg: 1.36 1.82 1.67 2/107 28189
/proc/meminfo: memFree=1515604/2059040 swapFree=4140228/4192956
[pid=28188] ppid=28186 vsize=238124 CPUtime=51.07
/proc/28188/stat : 28188 (wbo1.4b) R 28186 28188 27326 0 -1 4202496 59187 0 0 0 5038 69 0 0 25 0 1 0 21944235 243838976 59095 1992294400 134512640 135751879 4291998496 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28188/statm: 59531 59095 148 303 0 59226 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 238124

[startup+102.309 s]
/proc/loadavg: 1.15 1.69 1.64 2/107 28191
/proc/meminfo: memFree=1340888/2059040 swapFree=4140228/4192956
[pid=28188] ppid=28186 vsize=410944 CPUtime=102.27
/proc/28188/stat : 28188 (wbo1.4b) R 28186 28188 27326 0 -1 4202496 102361 0 0 0 10106 121 0 0 25 0 1 0 21944235 420806656 102269 1992294400 134512640 135751879 4291998496 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28188/statm: 102736 102269 148 303 0 102431 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 410944

[startup+162.301 s]
/proc/loadavg: 1.06 1.56 1.59 2/107 28193
/proc/meminfo: memFree=1180060/2059040 swapFree=4140228/4192956
[pid=28188] ppid=28186 vsize=572056 CPUtime=162.25
/proc/28188/stat : 28188 (wbo1.4b) R 28186 28188 27326 0 -1 4202496 142629 0 0 0 16058 167 0 0 25 0 1 0 21944235 585785344 142537 1992294400 134512640 135751879 4291998496 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28188/statm: 143014 142537 148 303 0 142709 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 572056

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

[startup+166.301 s]
/proc/loadavg: 1.05 1.55 1.59 2/107 28193
/proc/meminfo: memFree=1173116/2059040 swapFree=4140228/4192956
[pid=28188] ppid=28186 vsize=578388 CPUtime=166.25
/proc/28188/stat : 28188 (wbo1.4b) R 28186 28188 27326 0 -1 4202496 144201 0 0 0 16456 169 0 0 25 0 1 0 21944235 592269312 144109 1992294400 134512640 135751879 4291998496 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28188/statm: 144597 144109 148 303 0 144292 0
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (KiB) 578388

[startup+172.708 s]
/proc/loadavg: 1.05 1.54 1.59 2/107 28193
/proc/meminfo: memFree=1160964/2059040 swapFree=4140228/4192956
[pid=28188] ppid=28186 vsize=590328 CPUtime=172.66
/proc/28188/stat : 28188 (wbo1.4b) R 28186 28188 27326 0 -1 4202496 147206 0 0 0 17092 174 0 0 25 0 1 0 21944235 604495872 147114 1992294400 134512640 135751879 4291998496 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28188/statm: 147582 147114 148 303 0 147277 0
Current children cumulated CPU time (s) 172.66
Current children cumulated vsize (KiB) 590328

[startup+179.101 s]
/proc/loadavg: 1.04 1.52 1.58 2/107 28193
/proc/meminfo: memFree=1150300/2059040 swapFree=4140228/4192956
[pid=28188] ppid=28186 vsize=602312 CPUtime=179.05
/proc/28188/stat : 28188 (wbo1.4b) R 28186 28188 27326 0 -1 4202496 150204 0 0 0 17726 179 0 0 25 0 1 0 21944235 616767488 150112 1992294400 134512640 135751879 4291998496 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28188/statm: 150578 150112 148 303 0 150273 0
Current children cumulated CPU time (s) 179.05
Current children cumulated vsize (KiB) 602312

[startup+180.701 s]
/proc/loadavg: 1.04 1.52 1.58 2/107 28193
/proc/meminfo: memFree=1147572/2059040 swapFree=4140228/4192956
[pid=28188] ppid=28186 vsize=603984 CPUtime=180.65
/proc/28188/stat : 28188 (wbo1.4b) R 28186 28188 27326 0 -1 4202496 150601 0 0 0 17885 180 0 0 25 0 1 0 21944235 618479616 150509 1992294400 134512640 135751879 4291998496 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28188/statm: 150996 150509 148 303 0 150691 0
Current children cumulated CPU time (s) 180.65
Current children cumulated vsize (KiB) 603984

[startup+181.508 s]
/proc/loadavg: 1.04 1.52 1.58 2/107 28193
/proc/meminfo: memFree=1146580/2059040 swapFree=4140228/4192956
[pid=28188] ppid=28186 vsize=604624 CPUtime=181.45
/proc/28188/stat : 28188 (wbo1.4b) R 28186 28188 27326 0 -1 4202496 150763 0 0 0 17965 180 0 0 25 0 1 0 21944235 619134976 150671 1992294400 134512640 135751879 4291998496 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28188/statm: 151156 150671 148 303 0 150851 0
Current children cumulated CPU time (s) 181.45
Current children cumulated vsize (KiB) 604624

[startup+181.9 s]
/proc/loadavg: 1.04 1.52 1.58 2/107 28193
/proc/meminfo: memFree=1146580/2059040 swapFree=4140228/4192956
[pid=28188] ppid=28186 vsize=605156 CPUtime=181.84
/proc/28188/stat : 28188 (wbo1.4b) R 28186 28188 27326 0 -1 4202496 150909 0 0 0 18004 180 0 0 25 0 1 0 21944235 619679744 150817 1992294400 134512640 135751879 4291998496 18446744073709551615 134712389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28188/statm: 151289 150817 149 303 0 150984 0
Current children cumulated CPU time (s) 181.84
Current children cumulated vsize (KiB) 605156

[startup+182.3 s]
/proc/loadavg: 1.04 1.52 1.58 2/107 28193
/proc/meminfo: memFree=1146580/2059040 swapFree=4140228/4192956
[pid=28188] ppid=28186 vsize=0 CPUtime=182.24
/proc/28188/stat : 28188 (wbo1.4b) R 28186 28188 27326 0 -1 4202500 150910 0 0 0 18042 182 0 0 25 0 1 0 21944235 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/28188/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 182.24
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 182.338
CPU time (s): 182.291
CPU user time (s): 180.424
CPU system time (s): 1.86772
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 605156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.424
system time used= 1.86772
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150910
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= 5
involuntary context switches= 2589

runsolver used 0.321951 second user time and 0.85287 second system time

The end

Launcher Data 

Begin job on node018 at 2010-06-14 04:34:39
IDJOB=2656221
IDBENCH=2229
IDSOLVER=1161
FILE ID=node018/2656221-1276482879
PBS_JOBID= 11173380
Free space on /tmp= 62368 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:98.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656221-1276482879/watcher-2656221-1276482879 -o /tmp/evaluation-result-2656221-1276482879/solver-2656221-1276482879 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656221-1276482879.opb

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

MD5SUM BENCH= 09000b526c4cf3fc454b31cbb57a970b
RANDOM SEED=969452106

node018.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.248
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.248
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1751120 kB
Buffers:         95160 kB
Cached:         121980 kB
SwapCached:       5768 kB
Active:          98648 kB
Inactive:       131008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1751120 kB
SwapTotal:     4192956 kB
SwapFree:      4140228 kB
Dirty:            2680 kB
Writeback:           0 kB
AnonPages:       11028 kB
Mapped:          12912 kB
Slab:            56560 kB
PageTables:       3996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181004 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= 62364 MiB
End job on node018 at 2010-06-14 04:37:41