Trace number 2702502

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.4bOPT-15 180.931 180.977

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_25_1.opb
MD5SUM009ec87aa7f9a2a2aeb136cc6734ca0d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-15
Best CPU time to get the best result obtained on this benchmark41.5207
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -15
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint25
Maximum length of a constraint43
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)3038
Sum of products size (including duplicates)6076
Number of different products1519
Sum of products size3038

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-2702502-1278568597.opb.
0.00/0.00	c Instance file HOME/instance-2702502-1278568597.opb
0.00/0.00	c File size is 120370 bytes.
0.00/0.01	c Highest Coefficient sum: 43
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.02         s                                      |
0.00/0.01	c |  Number Variables:      1619                                                |
0.00/0.01	c |  Number Clauses:        1519                                                |
0.00/0.01	c |  Number Cardinality:    200                                                 |
0.00/0.01	c |  Number PB Constraints: 1519                                                |
0.01/0.02	c ============================[ Search Statistics ]==============================
0.01/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.01/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.01/0.02	c ===============================================================================
0.01/0.02	c |         0 |     100     3238     7445 |     5000        0    nan |  0.000 % |
0.01/0.02	c ===============================================================================
0.01/0.02	c New solution: 100
0.01/0.02	o 100
0.01/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 179.978 s
0.01/0.02	c ===============================================================================
0.01/0.02	c |         0 |     100     3239     7545 |     5000        0    nan |  0.000 % |
0.01/0.02	c ===============================================================================
0.01/0.02	c New solution: 99
0.01/0.02	o 99
0.01/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 179.977 s
0.01/0.02	c ===============================================================================
0.01/0.02	c |         0 |     100     3240     7645 |     5000        0    nan |  0.000 % |
0.01/0.02	c ===============================================================================
0.01/0.02	c New solution: 98
0.01/0.02	o 98
0.01/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 179.977 s
0.01/0.02	c ===============================================================================
0.01/0.02	c |         0 |     100     3241     7745 |     5000        0    nan |  0.000 % |
0.01/0.02	c ===============================================================================
0.01/0.02	c New solution: 97
0.01/0.02	o 97
0.01/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 179.976 s
0.01/0.02	c ===============================================================================
0.01/0.02	c |         2 |     100     3242     7845 |     5000        2     98 |  0.000 % |
0.01/0.02	c ===============================================================================
0.01/0.02	c New solution: 96
0.01/0.02	o 96
0.01/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 179.975 s
0.01/0.02	c ===============================================================================
0.01/0.02	c |         3 |     100     3243     7945 |     5000        3     98 |  0.000 % |
0.01/0.02	c ===============================================================================
0.01/0.02	c New solution: 95
0.01/0.02	o 95
0.01/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 179.974 s
0.01/0.02	c ===============================================================================
0.01/0.02	c |         3 |     100     3244     8045 |     5000        3     98 |  0.000 % |
0.01/0.02	c ===============================================================================
0.01/0.02	c New solution: 94
0.01/0.02	o 94
0.01/0.02	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 179.973 s
0.01/0.02	c ===============================================================================
0.01/0.02	c |        16 |     100     3245     8145 |     5000       16     97 |  0.000 % |
0.01/0.03	c ===============================================================================
0.01/0.03	c New solution: 93
0.01/0.03	o 93
0.01/0.03	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 179.972 s
0.01/0.03	c ===============================================================================
0.01/0.03	c |        39 |     100     3246     8245 |     5000       39     98 |  0.000 % |
0.01/0.03	c ===============================================================================
0.01/0.03	c New solution: 92
0.01/0.03	o 92
0.01/0.03	c Elapsed CPU time: 0.029995 s	Remaining CPU time: 179.97 s
0.01/0.03	c ===============================================================================
0.01/0.03	c |        71 |     100     3247     8345 |     5000       71    100 |  0.000 % |
0.01/0.03	c |       173 |     100     3247     8345 |     5500      173    101 | 93.823 % |
0.01/0.04	c |       323 |     100     3247     8345 |     6050      323    100 | 93.823 % |
0.01/0.04	c ===============================================================================
0.01/0.04	c New solution: 91
0.01/0.04	o 91
0.01/0.04	c Elapsed CPU time: 0.045993 s	Remaining CPU time: 179.954 s
0.01/0.04	c ===============================================================================
0.01/0.04	c |       333 |     100     3248     8445 |     5000      333    100 | 93.823 % |
0.01/0.05	c |       435 |     100     3248     8445 |     5500      435    100 | 93.823 % |
0.01/0.07	c |       586 |     100     3248     8445 |     6050      586    103 | 93.823 % |
0.01/0.09	c |       814 |     100     3248     8445 |     6655      814    102 | 93.823 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 90
0.09/0.10	o 90
0.09/0.10	c Elapsed CPU time: 0.096985 s	Remaining CPU time: 179.903 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |       842 |     100     3249     8545 |     5000      842    102 | 93.823 % |
0.09/0.11	c |       942 |     100     3249     8545 |     5500      942    102 | 93.823 % |
0.09/0.14	c |      1093 |     100     3249     8545 |     6050     1093    106 | 93.823 % |
0.09/0.18	c |      1319 |     100     3249     8545 |     6655     1319    105 | 93.823 % |
0.19/0.22	c |      1660 |     100     3249     8545 |     7320     1660    106 | 93.823 % |
0.29/0.37	c |      2170 |     100     3249     8545 |     8052     2170    105 | 93.823 % |
0.49/0.53	c |      2930 |     100     3249     8545 |     8857     2930    106 | 93.823 % |
0.79/0.81	c |      4070 |     100     3249     8545 |     9743     4070    105 | 93.823 % |
1.49/1.57	c |      5779 |     100     3249     8545 |    10717     5779    103 | 93.823 % |
2.39/2.48	c ===============================================================================
2.39/2.48	c New solution: 89
2.39/2.48	o 89
2.39/2.48	c Elapsed CPU time: 2.46462 s	Remaining CPU time: 177.535 s
2.39/2.48	c ===============================================================================
2.39/2.48	c |      6958 |     100     3250     8645 |     5000     6958    103 | 93.823 % |
2.49/2.54	c |      7064 |     100     3250     8645 |     5500     3585    101 | 93.823 % |
2.49/2.57	c |      7215 |     100     3250     8645 |     6050     3736    107 | 93.823 % |
2.59/2.60	c |      7441 |     100     3250     8645 |     6655     3962    113 | 93.823 % |
2.69/2.74	c |      7778 |     100     3250     8645 |     7320     4299    112 | 93.823 % |
2.79/2.89	c |      8284 |     100     3250     8645 |     8052     4805    121 | 93.823 % |
3.09/3.11	c |      9047 |     100     3250     8645 |     8857     5568    122 | 93.823 % |
3.59/3.67	c |     10188 |     100     3250     8645 |     9743     6709    121 | 93.823 % |
4.30/4.32	c ===============================================================================
4.30/4.32	c New solution: 88
4.30/4.32	o 88
4.30/4.32	c Elapsed CPU time: 4.29835 s	Remaining CPU time: 175.702 s
4.30/4.32	c ===============================================================================
4.30/4.32	c |     11476 |     100     3251     8745 |     5000     7997    118 | 93.823 % |
4.30/4.38	c |     11578 |     100     3251     8745 |     5500     4101    125 | 93.823 % |
4.40/4.42	c |     11729 |     100     3251     8745 |     6050     4252    126 | 93.823 % |
4.40/4.49	c |     11954 |     100     3251     8745 |     6655     4477    128 | 93.823 % |
4.59/4.67	c |     12292 |     100     3251     8745 |     7320     4815    142 | 93.823 % |
4.89/4.97	c |     12798 |     100     3251     8745 |     8052     5321    164 | 93.823 % |
5.40/5.40	c |     13558 |     100     3251     8745 |     8857     6081    182 | 93.823 % |
5.89/5.94	c |     14699 |     100     3251     8745 |     9743     7222    198 | 93.823 % |
6.99/7.02	c |     16407 |     100     3251     8745 |    10717     8930    216 | 93.823 % |
7.19/7.25	c ===============================================================================
7.19/7.25	c New solution: 87
7.19/7.25	o 87
7.19/7.25	c Elapsed CPU time: 7.2079 s	Remaining CPU time: 172.792 s
7.19/7.25	c ===============================================================================
7.19/7.25	c |     16685 |     100     3252     8845 |     5000     9208    220 | 93.823 % |
7.39/7.40	c |     16786 |     100     3252     8845 |     5500     4705    315 | 93.823 % |
7.39/7.49	c |     16937 |     100     3252     8845 |     6050     4856    320 | 93.823 % |
7.59/7.61	c |     17166 |     100     3252     8845 |     6655     5085    322 | 93.823 % |
7.70/7.73	c |     17503 |     100     3252     8845 |     7320     5422    325 | 93.823 % |
7.79/7.86	c |     18013 |     100     3252     8845 |     8052     5932    306 | 93.823 % |
7.89/7.97	c |     18776 |     100     3252     8845 |     8857     6695    282 | 93.823 % |
8.29/8.37	c |     19917 |     100     3252     8845 |     9743     7836    261 | 93.823 % |
9.90/9.97	c |     21627 |     100     3252     8845 |    10717     9546    248 | 93.823 % |
12.69/12.78	c |     24192 |     100     3252     8845 |    11789    12111    274 | 93.823 % |
16.99/17.05	c |     28036 |     100     3252     8845 |    12968     9260    297 | 93.823 % |
18.79/18.85	c ===============================================================================
18.79/18.85	c New solution: 86
18.79/18.85	o 86
18.79/18.85	c Elapsed CPU time: 18.7472 s	Remaining CPU time: 161.253 s
18.79/18.85	c ===============================================================================
18.79/18.85	c |     29533 |     100     3253     8945 |     5000    10757    276 | 93.823 % |
18.88/18.96	c |     29634 |     100     3253     8945 |     5500     5480    288 | 93.823 % |
18.98/19.05	c |     29784 |     100     3253     8945 |     6050     5630    284 | 93.823 % |
19.08/19.10	c |     30011 |     100     3253     8945 |     6655     5857    279 | 93.823 % |
19.18/19.21	c |     30350 |     100     3253     8945 |     7320     6196    275 | 93.823 % |
19.38/19.47	c |     30858 |     100     3253     8945 |     8052     6704    262 | 93.823 % |
19.89/19.99	c |     31617 |     100     3253     8945 |     8857     7463    249 | 93.823 % |
20.68/20.77	c |     32757 |     100     3253     8945 |     9743     8603    238 | 93.823 % |
22.69/22.72	c |     34466 |     100     3253     8945 |    10717    10312    240 | 93.823 % |
25.39/25.41	c |     37028 |     100     3253     8945 |    11789     6714    256 | 93.823 % |
28.99/29.03	c |     40875 |     100     3253     8945 |    12968    10561    199 | 93.823 % |
29.19/29.23	c ===============================================================================
29.19/29.23	c New solution: 85
29.19/29.23	o 85
29.19/29.23	c Elapsed CPU time: 29.0866 s	Remaining CPU time: 150.913 s
29.19/29.23	c ===============================================================================
29.19/29.23	c |     41211 |     100     3254     9045 |     5000    10897    196 | 93.823 % |
29.39/29.47	c |     41314 |     100     3254     9045 |     5500     5552    171 | 93.823 % |
29.49/29.54	c |     41466 |     100     3254     9045 |     6050     5704    170 | 93.823 % |
29.69/29.77	c |     41691 |     100     3254     9045 |     6655     5929    168 | 93.823 % |
29.98/30.08	c |     42032 |     100     3254     9045 |     7320     6270    169 | 93.823 % |
30.38/30.46	c |     42539 |     100     3254     9045 |     8052     6777    175 | 93.823 % |
31.29/31.37	c |     43300 |     100     3254     9045 |     8857     7538    214 | 93.823 % |
32.08/32.19	c |     44440 |     100     3254     9045 |     9743     8678    232 | 93.823 % |
33.09/33.19	c |     46148 |     100     3254     9045 |    10717    10386    277 | 93.823 % |
37.29/37.37	c |     48712 |     100     3254     9045 |    11789     6789    408 | 93.823 % |
38.88/38.90	c |     52557 |     100     3254     9045 |    12968    10634    322 | 93.823 % |
41.58/41.70	c |     58324 |     100     3254     9045 |    14265     9117    239 | 93.823 % |
55.17/55.23	c |     66974 |     100     3254     9045 |    15692     9835    133 | 93.823 % |
66.78/66.80	c |     79949 |     100     3254     9045 |    17261    14163    275 | 93.823 % |
80.28/80.34	c |     99410 |     100     3254     9045 |    18987    14760    416 | 93.823 % |
125.27/125.37	c |    128606 |     100     3254     9045 |    20886    13071    590 | 93.823 % |
180.64/180.79	c There are 1519 assigned variables. 0 in cost function.
180.84/180.95	c core #1
180.84/180.95	c #cores: 1
180.84/180.95	c Final Weight: 85
180.84/180.95	o 85
180.84/180.95	s OPTIMUM FOUND
180.84/180.95	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 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619
180.84/180.95	c Total CPU time: 180.159 s

Verifier Data 

OK	-15

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702502-1278568597/watcher-2702502-1278568597 -o /tmp/evaluation-result-2702502-1278568597/solver-2702502-1278568597 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702502-1278568597.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.03 1.01 1.00 2/105 30380
/proc/meminfo: memFree=1688552/2059040 swapFree=4139448/4192956
[pid=30380] ppid=30378 vsize=2980 CPUtime=0
/proc/30380/stat : 30380 (wbo1.4b) R 30378 30380 30011 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 25068234 3051520 279 1992294400 134512640 135751879 4293531264 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30380/statm: 745 279 146 303 0 410 0

[startup+0.0204931 s]
/proc/loadavg: 1.03 1.01 1.00 2/105 30380
/proc/meminfo: memFree=1688552/2059040 swapFree=4139448/4192956
[pid=30380] ppid=30378 vsize=3396 CPUtime=0.01
/proc/30380/stat : 30380 (wbo1.4b) R 30378 30380 30011 0 -1 4202496 519 0 0 0 1 0 0 0 25 0 1 0 25068234 3477504 407 1992294400 134512640 135751879 4293531264 18446744073709551615 134524481 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30380/statm: 849 407 145 303 0 544 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3396

[startup+0.100455 s]
/proc/loadavg: 1.03 1.01 1.00 2/105 30380
/proc/meminfo: memFree=1688552/2059040 swapFree=4139448/4192956
[pid=30380] ppid=30378 vsize=3528 CPUtime=0.09
/proc/30380/stat : 30380 (wbo1.4b) R 30378 30380 30011 0 -1 4202496 570 0 0 0 9 0 0 0 25 0 1 0 25068234 3612672 458 1992294400 134512640 135751879 4293531264 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30380/statm: 882 459 147 303 0 577 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3528

[startup+0.300474 s]
/proc/loadavg: 1.03 1.01 1.00 2/105 30380
/proc/meminfo: memFree=1688552/2059040 swapFree=4139448/4192956
[pid=30380] ppid=30378 vsize=4180 CPUtime=0.29
/proc/30380/stat : 30380 (wbo1.4b) R 30378 30380 30011 0 -1 4202496 737 0 0 0 29 0 0 0 25 0 1 0 25068234 4280320 625 1992294400 134512640 135751879 4293531264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30380/statm: 1045 625 147 303 0 740 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4180

[startup+0.700515 s]
/proc/loadavg: 1.03 1.01 1.00 2/105 30380
/proc/meminfo: memFree=1688552/2059040 swapFree=4139448/4192956
[pid=30380] ppid=30378 vsize=5352 CPUtime=0.69
/proc/30380/stat : 30380 (wbo1.4b) R 30378 30380 30011 0 -1 4202496 1013 0 0 0 69 0 0 0 25 0 1 0 25068234 5480448 901 1992294400 134512640 135751879 4293531264 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30380/statm: 1338 901 147 303 0 1033 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5352

[startup+1.50059 s]
/proc/loadavg: 1.03 1.01 1.00 2/106 30381
/proc/meminfo: memFree=1685444/2059040 swapFree=4139448/4192956
[pid=30380] ppid=30378 vsize=6416 CPUtime=1.49
/proc/30380/stat : 30380 (wbo1.4b) R 30378 30380 30011 0 -1 4202496 1283 0 0 0 148 1 0 0 25 0 1 0 25068234 6569984 1171 1992294400 134512640 135751879 4293531264 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30380/statm: 1604 1171 147 303 0 1299 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6416

[startup+3.10075 s]
/proc/loadavg: 1.03 1.01 1.00 2/106 30381
/proc/meminfo: memFree=1684080/2059040 swapFree=4139448/4192956
[pid=30380] ppid=30378 vsize=8772 CPUtime=3.09
/proc/30380/stat : 30380 (wbo1.4b) R 30378 30380 30011 0 -1 4202496 1870 0 0 0 308 1 0 0 25 0 1 0 25068234 8982528 1758 1992294400 134512640 135751879 4293531264 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30380/statm: 2193 1758 148 303 0 1888 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8772

[startup+6.30108 s]
/proc/loadavg: 1.03 1.01 1.00 2/106 30381
/proc/meminfo: memFree=1678128/2059040 swapFree=4139448/4192956
[pid=30380] ppid=30378 vsize=15096 CPUtime=6.29
/proc/30380/stat : 30380 (wbo1.4b) R 30378 30380 30011 0 -1 4202496 3439 0 0 0 626 3 0 0 25 0 1 0 25068234 15458304 3327 1992294400 134512640 135751879 4293531264 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30380/statm: 3774 3327 148 303 0 3469 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15096

[startup+12.7007 s]
/proc/loadavg: 1.03 1.01 1.00 2/106 30381
/proc/meminfo: memFree=1666720/2059040 swapFree=4139448/4192956
[pid=30380] ppid=30378 vsize=25244 CPUtime=12.69
/proc/30380/stat : 30380 (wbo1.4b) R 30378 30380 30011 0 -1 4202496 5959 0 0 0 1261 8 0 0 25 0 1 0 25068234 25849856 5847 1992294400 134512640 135751879 4293531264 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30380/statm: 6311 5847 148 303 0 6006 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25244

[startup+25.502 s]
/proc/loadavg: 1.02 1.01 1.00 2/106 30381
/proc/meminfo: memFree=1650972/2059040 swapFree=4139448/4192956
[pid=30380] ppid=30378 vsize=40012 CPUtime=25.49
/proc/30380/stat : 30380 (wbo1.4b) R 30378 30380 30011 0 -1 4202496 9643 0 0 0 2536 13 0 0 25 0 1 0 25068234 40972288 9531 1992294400 134512640 135751879 4293531264 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30380/statm: 10003 9531 148 303 0 9698 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40012

[startup+51.1016 s]
/proc/loadavg: 1.01 1.01 1.00 2/106 30383
/proc/meminfo: memFree=1623196/2059040 swapFree=4139448/4192956
[pid=30380] ppid=30378 vsize=67744 CPUtime=51.08
/proc/30380/stat : 30380 (wbo1.4b) R 30378 30380 30011 0 -1 4202496 16568 0 0 0 5084 24 0 0 25 0 1 0 25068234 69369856 16456 1992294400 134512640 135751879 4293531264 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30380/statm: 16936 16456 148 303 0 16631 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 67744

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30383
/proc/meminfo: memFree=1541976/2059040 swapFree=4139448/4192956
[pid=30380] ppid=30378 vsize=149132 CPUtime=102.27
/proc/30380/stat : 30380 (wbo1.4b) R 30378 30380 30011 0 -1 4202496 36838 0 0 0 10180 47 0 0 25 0 1 0 25068234 152711168 36726 1992294400 134512640 135751879 4293531264 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30380/statm: 37283 36726 148 303 0 36978 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 149132

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30385
/proc/meminfo: memFree=1456788/2059040 swapFree=4139448/4192956
[pid=30380] ppid=30378 vsize=234728 CPUtime=162.25
/proc/30380/stat : 30380 (wbo1.4b) R 30378 30380 30011 0 -1 4202496 58243 0 0 0 16157 68 0 0 25 0 1 0 25068234 240361472 58131 1992294400 134512640 135751879 4293531264 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30380/statm: 58682 58131 148 303 0 58377 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 234728

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

[startup+166.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30385
/proc/meminfo: memFree=1450216/2059040 swapFree=4139448/4192956
[pid=30380] ppid=30378 vsize=240820 CPUtime=166.25
/proc/30380/stat : 30380 (wbo1.4b) R 30378 30380 30011 0 -1 4202496 59744 0 0 0 16555 70 0 0 25 0 1 0 25068234 246599680 59632 1992294400 134512640 135751879 4293531264 18446744073709551615 134616482 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30380/statm: 60205 59632 148 303 0 59900 0
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (KiB) 240820

[startup+172.708 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30385
/proc/meminfo: memFree=1442404/2059040 swapFree=4139448/4192956
[pid=30380] ppid=30378 vsize=248372 CPUtime=172.65
/proc/30380/stat : 30380 (wbo1.4b) R 30378 30380 30011 0 -1 4202496 61639 0 0 0 17194 71 0 0 25 0 1 0 25068234 254332928 61527 1992294400 134512640 135751879 4293531264 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30380/statm: 62093 61527 148 303 0 61788 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 248372

[startup+175.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30385
/proc/meminfo: memFree=1440792/2059040 swapFree=4139448/4192956
[pid=30380] ppid=30378 vsize=249820 CPUtime=175.85
/proc/30380/stat : 30380 (wbo1.4b) R 30378 30380 30011 0 -1 4202496 62002 0 0 0 17513 72 0 0 25 0 1 0 25068234 255815680 61890 1992294400 134512640 135751879 4293531264 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30380/statm: 62455 61890 148 303 0 62150 0
Current children cumulated CPU time (s) 175.85
Current children cumulated vsize (KiB) 249820

[startup+179.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30385
/proc/meminfo: memFree=1437692/2059040 swapFree=4139448/4192956
[pid=30380] ppid=30378 vsize=255016 CPUtime=179.04
/proc/30380/stat : 30380 (wbo1.4b) R 30378 30380 30011 0 -1 4202496 63318 0 0 0 17831 73 0 0 25 0 1 0 25068234 261136384 63206 1992294400 134512640 135751879 4293531264 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30380/statm: 63754 63206 148 303 0 63449 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 255016

[startup+179.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30385
/proc/meminfo: memFree=1435336/2059040 swapFree=4139448/4192956
[pid=30380] ppid=30378 vsize=257672 CPUtime=179.85
/proc/30380/stat : 30380 (wbo1.4b) R 30378 30380 30011 0 -1 4202496 63985 0 0 0 17911 74 0 0 25 0 1 0 25068234 263856128 63873 1992294400 134512640 135751879 4293531264 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30380/statm: 64418 63873 148 303 0 64113 0
Current children cumulated CPU time (s) 179.85
Current children cumulated vsize (KiB) 257672

[startup+180.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30385
/proc/meminfo: memFree=1431244/2059040 swapFree=4139448/4192956
[pid=30380] ppid=30378 vsize=260312 CPUtime=180.64
/proc/30380/stat : 30380 (wbo1.4b) R 30378 30380 30011 0 -1 4202496 64630 0 0 0 17990 74 0 0 25 0 1 0 25068234 266559488 64518 1992294400 134512640 135751879 4293531264 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30380/statm: 65078 64518 148 303 0 64773 0
Current children cumulated CPU time (s) 180.64
Current children cumulated vsize (KiB) 260312

[startup+180.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 30385
/proc/meminfo: memFree=1431244/2059040 swapFree=4139448/4192956
[pid=30380] ppid=30378 vsize=260724 CPUtime=180.84
/proc/30380/stat : 30380 (wbo1.4b) R 30378 30380 30011 0 -1 4202496 64724 0 0 0 18010 74 0 0 25 0 1 0 25068234 266981376 64612 1992294400 134512640 135751879 4293531264 18446744073709551615 135200241 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/30380/statm: 65181 64612 149 303 0 64876 0
Current children cumulated CPU time (s) 180.84
Current children cumulated vsize (KiB) 260724

Child status: 0
Real time (s): 180.977
CPU time (s): 180.931
CPU user time (s): 180.159
CPU system time (s): 0.772882
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 260724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.159
system time used= 0.772882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64732
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= 1
involuntary context switches= 529

runsolver used 0.305953 second user time and 0.860869 second system time

The end

Launcher Data 

Begin job on node084 at 2010-07-08 07:56:37
IDJOB=2702502
IDBENCH=48186
IDSOLVER=1161
FILE ID=node084/2702502-1278568597
PBS_JOBID= 11239563
Free space on /tmp= 62508 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_25_1.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702502-1278568597/watcher-2702502-1278568597 -o /tmp/evaluation-result-2702502-1278568597/solver-2702502-1278568597 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702502-1278568597.opb

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

MD5SUM BENCH= 009ec87aa7f9a2a2aeb136cc6734ca0d
RANDOM SEED=588646045

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1689576 kB
Buffers:         76752 kB
Cached:         188336 kB
SwapCached:      22024 kB
Active:         163944 kB
Inactive:       130688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1689576 kB
SwapTotal:     4192956 kB
SwapFree:      4139448 kB
Dirty:            2680 kB
Writeback:           0 kB
AnonPages:       12160 kB
Mapped:          12012 kB
Slab:            52940 kB
PageTables:       4116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182004 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702502-1278568597.opb

Free space on /tmp at the end= 62508 MiB
End job on node084 at 2010-07-08 07:59:38