Trace number 2656117

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.4bOPT36 184.477 184.534

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb
MD5SUMb1277fdeb2e21bbaf9784bfe98a40d01
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark36
Best CPU time to get the best result obtained on this benchmark0.12598
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 36
Optimality of the best value was proved YES
Number of variables432
Total number of constraints1304
Number of constraints which are clauses1280
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint18
Number of terms in the objective function 432
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 432
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 432
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-2656117-1276406356.opb.
0.00/0.00	c Instance file HOME/instance-2656117-1276406356.opb
0.00/0.00	c File size is 45921 bytes.
0.00/0.01	c Highest Coefficient sum: 21
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      432                                                 |
0.00/0.01	c |  Number Clauses:        1280                                                |
0.00/0.01	c |  Number Cardinality:    24                                                  |
0.00/0.01	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 |     360     1376     3936 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       103 |     360     1376     3936 |     5500      103      7 | 16.667 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 58
0.00/0.01	o 58
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 179.988 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |       127 |     360     1377     4300 |     5000      127      8 | 16.667 % |
0.00/0.02	c |       227 |     360     1377     4300 |     5500      227     10 | 16.667 % |
0.00/0.02	c |       377 |     360     1377     4300 |     6050      377     10 | 16.667 % |
0.00/0.03	c |       602 |     360     1377     4300 |     6655      602      9 | 16.667 % |
0.02/0.04	c |       941 |     360     1377     4300 |     7320      941     11 | 16.667 % |
0.02/0.04	c ===============================================================================
0.02/0.04	c New solution: 56
0.02/0.04	o 56
0.02/0.04	c Elapsed CPU time: 0.039993 s	Remaining CPU time: 179.96 s
0.02/0.04	c ===============================================================================
0.02/0.04	c |      1131 |     360     1378     4664 |     5000     1131     12 | 16.667 % |
0.02/0.05	c |      1231 |     360     1378     4664 |     5500     1231     12 | 16.667 % |
0.02/0.05	c |      1381 |     360     1378     4664 |     6050     1381     12 | 16.667 % |
0.02/0.06	c |      1606 |     360     1378     4664 |     6655     1606     12 | 16.667 % |
0.02/0.08	c |      1943 |     360     1378     4664 |     7320     1943     12 | 16.667 % |
0.02/0.09	c |      2450 |     360     1378     4664 |     8052     2450     13 | 16.667 % |
0.08/0.13	c |      3209 |     360     1378     4664 |     8857     3209     13 | 16.667 % |
0.08/0.18	c |      4349 |     360     1378     4664 |     9743     4349     14 | 16.667 % |
0.19/0.27	c |      6058 |     360     1378     4664 |    10717     6058     14 | 16.667 % |
0.28/0.32	c ===============================================================================
0.28/0.32	c New solution: 54
0.28/0.32	o 54
0.28/0.32	c Elapsed CPU time: 0.304953 s	Remaining CPU time: 179.695 s
0.28/0.32	c ===============================================================================
0.28/0.32	c |      6851 |     360     1379     5028 |     5000     6851     15 | 16.667 % |
0.28/0.34	c |      6951 |     360     1379     5028 |     5500     3526     14 | 16.667 % |
0.28/0.34	c |      7101 |     360     1379     5028 |     6050     3676     15 | 16.668 % |
0.28/0.36	c |      7326 |     360     1379     5028 |     6655     3901     15 | 16.667 % |
0.28/0.38	c |      7663 |     360     1379     5028 |     7320     4238     15 | 16.667 % |
0.38/0.41	c |      8169 |     360     1379     5028 |     8052     4744     15 | 16.667 % |
0.38/0.43	c ===============================================================================
0.38/0.43	c New solution: 52
0.38/0.43	o 52
0.38/0.43	c Elapsed CPU time: 0.410937 s	Remaining CPU time: 179.589 s
0.38/0.43	c ===============================================================================
0.38/0.43	c |      8558 |     360     1380     5392 |     5000     5133     15 | 16.667 % |
0.38/0.45	c |      8658 |     360     1380     5392 |     5500     2667     16 | 16.667 % |
0.38/0.45	c |      8809 |     360     1380     5392 |     6050     2818     16 | 16.667 % |
0.38/0.46	c |      9036 |     360     1380     5392 |     6655     3045     15 | 16.667 % |
0.38/0.47	c ===============================================================================
0.38/0.47	c New solution: 50
0.38/0.47	o 50
0.38/0.47	c Elapsed CPU time: 0.441932 s	Remaining CPU time: 179.558 s
0.38/0.47	c ===============================================================================
0.38/0.47	c |      9061 |     360     1381     5756 |     5000     3070     15 | 16.667 % |
0.38/0.47	c |      9161 |     360     1381     5756 |     5500     3170     15 | 16.667 % |
0.38/0.48	c |      9311 |     360     1381     5756 |     6050     3320     15 | 16.668 % |
0.38/0.49	c |      9536 |     360     1381     5756 |     6655     3545     15 | 16.667 % |
0.49/0.51	c |      9873 |     360     1381     5756 |     7320     3882     15 | 16.667 % |
0.49/0.54	c |     10379 |     360     1381     5756 |     8052     4388     15 | 16.667 % |
0.49/0.59	c |     11138 |     360     1381     5756 |     8857     5147     15 | 16.667 % |
0.59/0.69	c |     12279 |     360     1381     5756 |     9743     6288     17 | 16.667 % |
0.79/0.83	c |     13987 |     360     1381     5756 |    10717     7996     22 | 16.667 % |
0.99/1.06	c |     16549 |     360     1381     5756 |    11789    10558     27 | 16.667 % |
1.38/1.44	c |     20393 |     360     1381     5756 |    12968     8373     40 | 16.667 % |
1.88/1.95	c |     26160 |     360     1381     5756 |    14265     7512     36 | 16.667 % |
2.79/2.82	c |     34809 |     360     1381     5756 |    15692     8923     37 | 16.667 % |
4.30/4.34	c |     47784 |     360     1381     5756 |    17261    13996     42 | 16.667 % |
6.49/6.56	c |     67245 |     360     1381     5756 |    18987    15905     43 | 16.667 % |
9.79/9.83	c |     96437 |     360     1381     5756 |    20886    16259     40 | 16.667 % |
15.08/15.11	c ===============================================================================
15.08/15.11	c New solution: 48
15.08/15.11	o 48
15.08/15.11	c Elapsed CPU time: 14.7997 s	Remaining CPU time: 165.2 s
15.08/15.11	c ===============================================================================
15.08/15.11	c |    131995 |     360     1382     6120 |     5000    20084     44 | 16.667 % |
15.18/15.23	c |    132096 |     360     1382     6120 |     5500     5122     43 | 16.667 % |
15.18/15.25	c |    132246 |     360     1382     6120 |     6050     5272     43 | 16.667 % |
15.18/15.27	c |    132471 |     360     1382     6120 |     6655     5497     42 | 16.667 % |
15.18/15.29	c |    132808 |     360     1382     6120 |     7320     5834     41 | 16.667 % |
15.28/15.32	c |    133316 |     360     1382     6120 |     8052     6342     39 | 16.667 % |
15.28/15.36	c |    134078 |     360     1382     6120 |     8857     7104     37 | 16.667 % |
15.28/15.37	c ===============================================================================
15.28/15.37	c New solution: 46
15.28/15.37	o 46
15.28/15.37	c Elapsed CPU time: 15.0527 s	Remaining CPU time: 164.947 s
15.28/15.37	c ===============================================================================
15.28/15.37	c |    134336 |     360     1383     6484 |     5000     7362     36 | 16.667 % |
15.28/15.39	c |    134436 |     360     1383     6484 |     5500     3781     28 | 16.667 % |
15.28/15.40	c |    134586 |     360     1383     6484 |     6050     3931     28 | 16.667 % |
15.39/15.41	c |    134811 |     360     1383     6484 |     6655     4156     27 | 16.667 % |
15.39/15.42	c |    135148 |     360     1383     6484 |     7320     4493     26 | 16.667 % |
15.39/15.45	c |    135654 |     360     1383     6484 |     8052     4999     25 | 16.667 % |
15.48/15.50	c |    136413 |     360     1383     6484 |     8857     5758     24 | 16.667 % |
15.48/15.58	c |    137554 |     360     1383     6484 |     9743     6899     23 | 16.667 % |
15.68/15.72	c |    139262 |     360     1383     6484 |    10717     8607     24 | 16.667 % |
15.88/15.91	c |    141825 |     360     1383     6484 |    11789     5769     21 | 16.667 % |
16.17/16.28	c |    145670 |     359     1383     6484 |    12968     9522     27 | 16.899 % |
16.88/16.90	c |    151437 |     359     1383     6484 |    14265     8667     37 | 16.899 % |
17.78/17.87	c |    160086 |     359     1383     6484 |    15692    10054     37 | 16.899 % |
19.38/19.46	c |    173063 |     359     1383     6484 |    17261    15120     23 | 16.899 % |
21.98/22.01	c |    192524 |     359     1383     6484 |    18987    17042     38 | 16.899 % |
25.88/25.91	c |    221717 |     359     1383     6484 |    20886    17367     37 | 16.899 % |
32.57/32.61	c |    265507 |     359     1383     6484 |    22974    18841     38 | 16.899 % |
43.17/43.22	c |    331192 |     359     1383     6484 |    25272    22783     40 | 16.899 % |
60.97/61.01	c |    429719 |     359     1383     6484 |    27799    19627     41 | 16.899 % |
86.96/87.05	c |    577508 |     359     1383     6484 |    30579    15162     37 | 16.899 % |
97.86/97.95	c ===============================================================================
97.86/97.95	c New solution: 44
97.86/97.95	o 44
97.86/97.95	c Elapsed CPU time: 96.2284 s	Remaining CPU time: 83.7716 s
97.86/97.95	c ===============================================================================
97.86/97.95	c |    637213 |     358     1384     6848 |     5000    16504     41 | 16.899 % |
97.96/98.04	c |    637314 |     358     1384     6848 |     5500     4227     39 | 17.130 % |
97.96/98.04	c |    637464 |     358     1384     6848 |     6050     4377     38 | 17.130 % |
97.96/98.05	c |    637689 |     358     1384     6848 |     6655     4602     37 | 17.130 % |
97.96/98.08	c |    638027 |     358     1384     6848 |     7320     4940     36 | 17.130 % |
98.05/98.12	c |    638534 |     358     1384     6848 |     8052     5447     35 | 17.130 % |
98.05/98.16	c |    639293 |     358     1384     6848 |     8857     6206     33 | 17.130 % |
98.16/98.27	c |    640432 |     358     1384     6848 |     9743     7345     32 | 17.130 % |
98.26/98.38	c |    642141 |     358     1384     6848 |    10717     9054     30 | 17.130 % |
98.56/98.61	c |    644703 |     358     1384     6848 |    11789     6199     22 | 17.130 % |
98.86/98.97	c |    648548 |     358     1384     6848 |    12968    10044     25 | 17.130 % |
99.56/99.66	c |    654315 |     358     1384     6848 |    14265     9227     32 | 17.130 % |
100.56/100.64	c |    662965 |     358     1384     6848 |    15692    10615     32 | 17.130 % |
102.16/102.24	c |    675940 |     358     1384     6848 |    17261    15607     35 | 17.130 % |
104.47/104.56	c |    695401 |     358     1384     6848 |    18987     8923     31 | 17.130 % |
107.46/107.54	c ===============================================================================
107.46/107.54	c New solution: 42
107.46/107.54	o 42
107.46/107.54	c Elapsed CPU time: 105.601 s	Remaining CPU time: 74.3991 s
107.46/107.54	c ===============================================================================
107.46/107.54	c |    717819 |     358     1385     7212 |     5000    12162     35 | 17.130 % |
107.46/107.59	c |    717920 |     358     1385     7212 |     5500     3142     34 | 17.130 % |
107.46/107.59	c |    718071 |     358     1385     7212 |     6050     3293     34 | 17.132 % |
107.55/107.61	c |    718296 |     358     1385     7212 |     6655     3518     32 | 17.130 % |
107.55/107.63	c |    718633 |     357     1385     7212 |     7320     3836     31 | 17.362 % |
107.55/107.65	c |    719141 |     357     1385     7212 |     8052     4344     29 | 17.362 % |
107.66/107.72	c |    719900 |     357     1385     7212 |     8857     5103     29 | 17.363 % |
107.66/107.80	c |    721040 |     357     1385     7212 |     9743     6243     27 | 17.362 % |
107.85/107.94	c |    722751 |     357     1385     7212 |    10717     7954     27 | 17.362 % |
108.15/108.21	c |    725313 |     357     1385     7212 |    11789    10516     28 | 17.362 % |
108.45/108.52	c |    729157 |     357     1385     7212 |    12968     8408     22 | 17.362 % |
109.15/109.21	c |    734923 |     357     1385     7212 |    14265     7573     25 | 17.362 % |
110.15/110.24	c |    743573 |     357     1385     7212 |    15692     8958     32 | 17.362 % |
111.65/111.73	c |    756549 |     357     1385     7212 |    17261    14018     28 | 17.362 % |
114.55/114.66	c |    776010 |     357     1385     7212 |    18987    15969     34 | 17.362 % |
118.55/118.61	c |    805203 |     357     1385     7212 |    20886    16373     31 | 17.362 % |
125.36/125.47	c |    848993 |     357     1385     7212 |    22974    17929     35 | 17.362 % |
137.84/137.97	c |    914677 |     357     1385     7212 |    25272    21980     35 | 17.362 % |
156.74/156.82	c |   1013205 |     357     1385     7212 |    27799    19144     35 | 17.362 % |
182.54/182.68	c |   1160994 |     357     1385     7212 |    30579    16374     33 | 17.362 % |
183.03/183.18	c There are 75 assigned variables. 3 in cost function.
184.43/184.50	c core #1
184.43/184.50	c core #2
184.43/184.50	c core #3
184.43/184.50	c core #4
184.43/184.50	c core #5
184.43/184.50	c core #6
184.43/184.50	c core #7
184.43/184.50	c core #8
184.43/184.50	c core #9
184.43/184.50	c core #10
184.43/184.50	c core #11
184.43/184.50	c core #12
184.43/184.50	c core #13
184.43/184.50	c core #14
184.43/184.50	c core #15
184.43/184.50	c core #16
184.43/184.50	c core #17
184.43/184.50	c core #18
184.43/184.50	c core #19
184.43/184.50	c core #20
184.43/184.50	c core #21
184.43/184.50	c core #22
184.43/184.50	c core #23
184.43/184.50	c core #24
184.43/184.50	c core #25
184.43/184.50	c core #26
184.43/184.50	c core #27
184.43/184.50	c core #28
184.43/184.50	c core #29
184.43/184.50	c core #30
184.43/184.50	c core #31
184.43/184.50	c core #32
184.43/184.50	c core #33
184.43/184.50	c core #34
184.43/184.50	c core #35
184.43/184.50	c core #36
184.43/184.50	c ============================[ Search Statistics ]==============================
184.43/184.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.43/184.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.43/184.50	c ===============================================================================
184.43/184.50	c |         0 |     174     1718     5364 |     5000        0    nan |  0.000 % |
184.43/184.50	c ===============================================================================
184.43/184.50	c #cores: 36
184.43/184.50	c Final Weight: 36
184.43/184.50	o 36
184.43/184.50	s OPTIMUM FOUND
184.43/184.50	v -x1 -x2 -x3 -x4 -x5 -x6 x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 x175 x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432
184.43/184.50	c Total CPU time: 181.317 s

Verifier Data 

OK	36

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656117-1276406356/watcher-2656117-1276406356 -o /tmp/evaluation-result-2656117-1276406356/solver-2656117-1276406356 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656117-1276406356.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.02 3/106 22524
/proc/meminfo: memFree=1863280/2059040 swapFree=4100916/4192956
[pid=22524] ppid=22522 vsize=2624 CPUtime=0
/proc/22524/stat : 22524 (wbo1.4b) R 22522 22524 22158 0 -1 4202496 271 0 0 0 0 0 0 0 19 0 1 0 16236934 2686976 190 1992294400 134512640 135751879 4294349600 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22524/statm: 656 190 137 303 0 339 0

[startup+0.0318401 s]
/proc/loadavg: 1.00 1.00 1.02 3/106 22524
/proc/meminfo: memFree=1863280/2059040 swapFree=4100916/4192956
[pid=22524] ppid=22522 vsize=2708 CPUtime=0.02
/proc/22524/stat : 22524 (wbo1.4b) R 22522 22524 22158 0 -1 4202496 342 0 0 0 2 0 0 0 18 0 1 0 16236934 2772992 249 1992294400 134512640 135751879 4294349600 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22524/statm: 677 249 147 303 0 372 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2708

[startup+0.100848 s]
/proc/loadavg: 1.00 1.00 1.02 3/106 22524
/proc/meminfo: memFree=1863280/2059040 swapFree=4100916/4192956
[pid=22524] ppid=22522 vsize=3116 CPUtime=0.08
/proc/22524/stat : 22524 (wbo1.4b) R 22522 22524 22158 0 -1 4202496 426 0 0 0 8 0 0 0 18 0 1 0 16236934 3190784 333 1992294400 134512640 135751879 4294349600 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22524/statm: 779 333 147 303 0 474 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3116

[startup+0.300866 s]
/proc/loadavg: 1.00 1.00 1.02 3/106 22524
/proc/meminfo: memFree=1863280/2059040 swapFree=4100916/4192956
[pid=22524] ppid=22522 vsize=3776 CPUtime=0.28
/proc/22524/stat : 22524 (wbo1.4b) R 22522 22524 22158 0 -1 4202496 610 0 0 0 27 1 0 0 18 0 1 0 16236934 3866624 517 1992294400 134512640 135751879 4294349600 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22524/statm: 944 517 147 303 0 639 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 3776

[startup+0.700904 s]
/proc/loadavg: 1.00 1.00 1.02 3/106 22524
/proc/meminfo: memFree=1863280/2059040 swapFree=4100916/4192956
[pid=22524] ppid=22522 vsize=4832 CPUtime=0.68
/proc/22524/stat : 22524 (wbo1.4b) R 22522 22524 22158 0 -1 4202496 883 0 0 0 66 2 0 0 18 0 1 0 16236934 4947968 790 1992294400 134512640 135751879 4294349600 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22524/statm: 1208 790 148 303 0 903 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 4832

[startup+1.50098 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 22525
/proc/meminfo: memFree=1859428/2059040 swapFree=4100916/4192956
[pid=22524] ppid=22522 vsize=7436 CPUtime=1.48
/proc/22524/stat : 22524 (wbo1.4b) R 22522 22524 22158 0 -1 4202496 1527 0 0 0 144 4 0 0 19 0 1 0 16236934 7614464 1434 1992294400 134512640 135751879 4294349600 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22524/statm: 1859 1434 148 303 0 1554 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7436

[startup+3.10113 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 22525
/proc/meminfo: memFree=1855956/2059040 swapFree=4100916/4192956
[pid=22524] ppid=22522 vsize=11852 CPUtime=3.09
/proc/22524/stat : 22524 (wbo1.4b) R 22522 22524 22158 0 -1 4202496 2636 0 0 0 301 8 0 0 24 0 1 0 16236934 12136448 2543 1992294400 134512640 135751879 4294349600 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22524/statm: 2963 2543 148 303 0 2658 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11852

[startup+6.30044 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 22525
/proc/meminfo: memFree=1847400/2059040 swapFree=4100916/4192956
[pid=22524] ppid=22522 vsize=19608 CPUtime=6.29
/proc/22524/stat : 22524 (wbo1.4b) R 22522 22524 22158 0 -1 4202496 4572 0 0 0 613 16 0 0 25 0 1 0 16236934 20078592 4479 1992294400 134512640 135751879 4294349600 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22524/statm: 4902 4479 148 303 0 4597 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19608

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 22525
/proc/meminfo: memFree=1832644/2059040 swapFree=4100916/4192956
[pid=22524] ppid=22522 vsize=33904 CPUtime=12.68
/proc/22524/stat : 22524 (wbo1.4b) R 22522 22524 22158 0 -1 4202496 8112 0 0 0 1241 27 0 0 25 0 1 0 16236934 34717696 8019 1992294400 134512640 135751879 4294349600 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22524/statm: 8476 8019 148 303 0 8171 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33904

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 22525
/proc/meminfo: memFree=1806356/2059040 swapFree=4100916/4192956
[pid=22524] ppid=22522 vsize=59412 CPUtime=25.48
/proc/22524/stat : 22524 (wbo1.4b) R 22522 22524 22158 0 -1 4202496 14495 0 0 0 2493 55 0 0 25 0 1 0 16236934 60837888 14402 1992294400 134512640 135751879 4294349600 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22524/statm: 14853 14402 148 303 0 14548 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59412

[startup+51.1007 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 22527
/proc/meminfo: memFree=1761964/2059040 swapFree=4100916/4192956
[pid=22524] ppid=22522 vsize=104016 CPUtime=51.07
/proc/22524/stat : 22524 (wbo1.4b) R 22522 22524 22158 0 -1 4202496 25645 0 0 0 5008 99 0 0 25 0 1 0 16236934 106512384 25552 1992294400 134512640 135751879 4294349600 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22524/statm: 26004 25552 148 303 0 25699 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 104016

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 22527
/proc/meminfo: memFree=1683844/2059040 swapFree=4100916/4192956
[pid=22524] ppid=22522 vsize=181028 CPUtime=102.26
/proc/22524/stat : 22524 (wbo1.4b) R 22522 22524 22158 0 -1 4202496 44898 0 0 0 10048 178 0 0 25 0 1 0 16236934 185372672 44805 1992294400 134512640 135751879 4294349600 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22524/statm: 45257 44805 148 303 0 44952 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 181028

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22529
/proc/meminfo: memFree=1592580/2059040 swapFree=4100916/4192956
[pid=22524] ppid=22522 vsize=273228 CPUtime=162.24
/proc/22524/stat : 22524 (wbo1.4b) R 22522 22524 22158 0 -1 4202496 67920 0 0 0 15944 280 0 0 25 0 1 0 16236934 279785472 67827 1992294400 134512640 135751879 4294349600 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22524/statm: 68307 67828 148 303 0 68002 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 273228

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

[startup+166.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22529
/proc/meminfo: memFree=1585760/2059040 swapFree=4100916/4192956
[pid=22524] ppid=22522 vsize=279308 CPUtime=166.24
/proc/22524/stat : 22524 (wbo1.4b) R 22522 22524 22158 0 -1 4202496 69445 0 0 0 16337 287 0 0 25 0 1 0 16236934 286011392 69352 1992294400 134512640 135751879 4294349600 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22524/statm: 69827 69352 148 303 0 69522 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 279308

[startup+172.708 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22529
/proc/meminfo: memFree=1576832/2059040 swapFree=4100916/4192956
[pid=22524] ppid=22522 vsize=287712 CPUtime=172.64
/proc/22524/stat : 22524 (wbo1.4b) R 22522 22524 22158 0 -1 4202496 71564 0 0 0 16967 297 0 0 25 0 1 0 16236934 294617088 71471 1992294400 134512640 135751879 4294349600 18446744073709551615 134611240 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22524/statm: 71928 71471 148 303 0 71623 0
Current children cumulated CPU time (s) 172.64
Current children cumulated vsize (KiB) 287712

[startup+179.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22529
/proc/meminfo: memFree=1568524/2059040 swapFree=4100916/4192956
[pid=22524] ppid=22522 vsize=296872 CPUtime=179.03
/proc/22524/stat : 22524 (wbo1.4b) R 22522 22524 22158 0 -1 4202496 73853 0 0 0 17598 305 0 0 25 0 1 0 16236934 303996928 73760 1992294400 134512640 135751879 4294349600 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22524/statm: 74218 73760 148 303 0 73913 0
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (KiB) 296872

[startup+182.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22531
/proc/meminfo: memFree=1563936/2059040 swapFree=4100916/4192956
[pid=22524] ppid=22522 vsize=301652 CPUtime=182.24
/proc/22524/stat : 22524 (wbo1.4b) R 22522 22524 22158 0 -1 4202496 75029 0 0 0 17913 311 0 0 25 0 1 0 16236934 308891648 74936 1992294400 134512640 135751879 4294349600 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22524/statm: 75413 74937 148 303 0 75108 0
Current children cumulated CPU time (s) 182.24
Current children cumulated vsize (KiB) 301652

[startup+183.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22531
/proc/meminfo: memFree=1560836/2059040 swapFree=4100916/4192956
[pid=22524] ppid=22522 vsize=303464 CPUtime=183.83
/proc/22524/stat : 22524 (wbo1.4b) R 22522 22524 22158 0 -1 4202496 75492 0 0 0 18071 312 0 0 25 0 1 0 16236934 310747136 75399 1992294400 134512640 135751879 4294349600 18446744073709551615 135200241 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22524/statm: 75866 75399 150 303 0 75561 0
Current children cumulated CPU time (s) 183.83
Current children cumulated vsize (KiB) 303464

[startup+184.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22531
/proc/meminfo: memFree=1560836/2059040 swapFree=4100916/4192956
[pid=22524] ppid=22522 vsize=303300 CPUtime=184.23
/proc/22524/stat : 22524 (wbo1.4b) R 22522 22524 22158 0 -1 4202496 75493 0 0 0 18111 312 0 0 25 0 1 0 16236934 310579200 75369 1992294400 134512640 135751879 4294349600 18446744073709551615 135204385 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22524/statm: 75825 75369 151 303 0 75520 0
Current children cumulated CPU time (s) 184.23
Current children cumulated vsize (KiB) 303300

[startup+184.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 22531
/proc/meminfo: memFree=1560836/2059040 swapFree=4100916/4192956
[pid=22524] ppid=22522 vsize=303300 CPUtime=184.43
/proc/22524/stat : 22524 (wbo1.4b) R 22522 22524 22158 0 -1 4202496 75494 0 0 0 18131 312 0 0 25 0 1 0 16236934 310579200 75370 1992294400 134512640 135751879 4294349600 18446744073709551615 135211126 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/22524/statm: 75825 75370 151 303 0 75520 0
Current children cumulated CPU time (s) 184.43
Current children cumulated vsize (KiB) 303300

Child status: 0
Real time (s): 184.534
CPU time (s): 184.477
CPU user time (s): 181.317
CPU system time (s): 3.15952
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 303464

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

runsolver used 0.334949 second user time and 0.84987 second system time

The end

Launcher Data 

Begin job on node015 at 2010-06-13 07:19:16
IDJOB=2656117
IDBENCH=2031
IDSOLVER=1161
FILE ID=node015/2656117-1276406356
PBS_JOBID= 11173274
Free space on /tmp= 62548 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656117-1276406356/watcher-2656117-1276406356 -o /tmp/evaluation-result-2656117-1276406356/solver-2656117-1276406356 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656117-1276406356.opb

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

MD5SUM BENCH= b1277fdeb2e21bbaf9784bfe98a40d01
RANDOM SEED=1898509536

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:       1863684 kB
Buffers:          7500 kB
Cached:          84356 kB
SwapCached:      51712 kB
Active:          42620 kB
Inactive:       102684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1863684 kB
SwapTotal:     4192956 kB
SwapFree:      4100916 kB
Dirty:            2780 kB
Writeback:           4 kB
AnonPages:       10588 kB
Mapped:           7208 kB
Slab:            28364 kB
PageTables:       4116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181800 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= 62544 MiB
End job on node015 at 2010-06-13 07:22:21