Trace number 2702492

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.-14 180.963 181.011

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_25_2.opb
MD5SUMfdcfb05eaa099feeb8cfb1f8f1c05926
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 benchmark39.8839
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 constraint45
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)3074
Sum of products size (including duplicates)6148
Number of different products1537
Sum of products size3074

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-2702492-1278568465.opb.
0.00/0.00	c Instance file HOME/instance-2702492-1278568465.opb
0.00/0.00	c File size is 121790 bytes.
0.00/0.01	c Highest Coefficient sum: 45
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:      1637                                                |
0.00/0.01	c |  Number Clauses:        1537                                                |
0.00/0.01	c |  Number Cardinality:    200                                                 |
0.00/0.01	c |  Number PB Constraints: 1537                                                |
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     100     3274     7610 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 100
0.00/0.02	o 100
0.00/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 179.979 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     100     3275     7710 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 99
0.00/0.02	o 99
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 179.978 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     100     3276     7810 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 98
0.00/0.02	o 98
0.00/0.02	c Elapsed CPU time: 0.022996 s	Remaining CPU time: 179.977 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         2 |     100     3277     7910 |     5000        2    100 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 97
0.00/0.02	o 97
0.00/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 179.976 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         5 |     100     3278     8010 |     5000        5     99 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 96
0.00/0.02	o 96
0.00/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 179.976 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         6 |     100     3279     8110 |     5000        6     99 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 95
0.00/0.02	o 95
0.00/0.02	c Elapsed CPU time: 0.023996 s	Remaining CPU time: 179.976 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |        21 |     100     3280     8210 |     5000       21     99 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 94
0.00/0.03	o 94
0.00/0.03	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 179.975 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |        48 |     100     3281     8310 |     5000       48    102 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 93
0.00/0.03	o 93
0.00/0.03	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 179.973 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |        66 |     100     3282     8410 |     5000       66    102 |  0.000 % |
0.00/0.03	c ===============================================================================
0.00/0.03	c New solution: 92
0.00/0.03	o 92
0.00/0.03	c Elapsed CPU time: 0.029995 s	Remaining CPU time: 179.97 s
0.00/0.03	c ===============================================================================
0.00/0.03	c |       110 |     100     3283     8510 |     5000      110    103 |  0.000 % |
0.00/0.04	c |       212 |     100     3283     8510 |     5500      212    103 | 93.891 % |
0.03/0.05	c |       366 |     100     3283     8510 |     6050      366    103 | 93.891 % |
0.03/0.05	c ===============================================================================
0.03/0.05	c New solution: 91
0.03/0.05	o 91
0.03/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 179.949 s
0.03/0.05	c ===============================================================================
0.03/0.05	c |       395 |     100     3284     8610 |     5000      395    103 | 93.891 % |
0.03/0.06	c |       495 |     100     3284     8610 |     5500      495    103 | 93.891 % |
0.03/0.07	c ===============================================================================
0.03/0.07	c New solution: 90
0.03/0.07	o 90
0.03/0.07	c Elapsed CPU time: 0.071989 s	Remaining CPU time: 179.928 s
0.03/0.07	c ===============================================================================
0.03/0.07	c |       591 |     100     3285     8710 |     5000      591    103 | 93.891 % |
0.03/0.09	c |       694 |     100     3285     8710 |     5500      694    104 | 93.891 % |
0.09/0.11	c |       845 |     100     3285     8710 |     6050      845    104 | 93.891 % |
0.09/0.14	c |      1070 |     100     3285     8710 |     6655     1070    111 | 93.891 % |
0.19/0.21	c |      1410 |     100     3285     8710 |     7320     1410    108 | 93.891 % |
0.19/0.25	c ===============================================================================
0.19/0.25	c New solution: 89
0.19/0.25	o 89
0.19/0.25	c Elapsed CPU time: 0.243962 s	Remaining CPU time: 179.756 s
0.19/0.25	c ===============================================================================
0.19/0.25	c |      1707 |     100     3286     8810 |     5000     1707    107 | 93.891 % |
0.19/0.28	c |      1809 |     100     3286     8810 |     5500     1809    107 | 93.891 % |
0.29/0.32	c |      1960 |     100     3286     8810 |     6050     1960    107 | 93.891 % |
0.29/0.37	c |      2186 |     100     3286     8810 |     6655     2186    108 | 93.891 % |
0.39/0.46	c |      2523 |     100     3286     8810 |     7320     2523    114 | 93.891 % |
0.59/0.60	c |      3029 |     100     3286     8810 |     8052     3029    112 | 93.891 % |
0.89/0.92	c |      3791 |     100     3286     8810 |     8857     3791    111 | 93.891 % |
1.29/1.34	c |      4930 |     100     3286     8810 |     9743     4930    111 | 93.891 % |
2.49/2.51	c |      6639 |     100     3286     8810 |    10717     6639    109 | 93.891 % |
4.49/4.58	c ===============================================================================
4.49/4.58	c New solution: 88
4.49/4.58	o 88
4.49/4.58	c Elapsed CPU time: 4.54831 s	Remaining CPU time: 175.452 s
4.49/4.58	c ===============================================================================
4.49/4.58	c |      8773 |     100     3287     8910 |     5000     8773    108 | 93.891 % |
4.59/4.67	c |      8875 |     100     3287     8910 |     5500     4489    104 | 93.891 % |
4.69/4.73	c |      9026 |     100     3287     8910 |     6050     4640    104 | 93.891 % |
4.79/4.83	c |      9255 |     100     3287     8910 |     6655     4869    112 | 93.891 % |
4.99/5.05	c |      9595 |     100     3287     8910 |     7320     5209    115 | 93.891 % |
5.19/5.28	c |     10101 |     100     3287     8910 |     8052     5715    125 | 93.891 % |
5.69/5.79	c |     10861 |     100     3287     8910 |     8857     6475    152 | 93.891 % |
6.19/6.29	c |     12003 |     100     3287     8910 |     9743     7617    168 | 93.891 % |
7.39/7.44	c |     13711 |     100     3287     8910 |    10717     9325    158 | 93.891 % |
10.28/10.39	c |     16273 |     100     3287     8910 |    11789    11887    160 | 93.891 % |
13.78/13.88	c |     20117 |     100     3287     8910 |    12968     9028    171 | 93.891 % |
21.69/21.76	c |     25886 |     100     3287     8910 |    14265     7501    235 | 93.891 % |
31.89/31.93	c |     34537 |     100     3287     8910 |    15692     8207    377 | 93.891 % |
40.69/40.73	c ===============================================================================
40.69/40.73	c New solution: 87
40.69/40.73	o 87
40.69/40.73	c Elapsed CPU time: 40.5348 s	Remaining CPU time: 139.465 s
40.69/40.73	c ===============================================================================
40.69/40.73	c |     41522 |     100     3288     9010 |     5000    15192    383 | 93.891 % |
40.88/40.96	c |     41624 |     100     3288     9010 |     5500     3900    403 | 93.891 % |
40.88/40.99	c |     41778 |     100     3288     9010 |     6050     4054    404 | 93.891 % |
40.98/41.06	c |     42004 |     100     3288     9010 |     6655     4280    404 | 93.891 % |
41.08/41.13	c |     42346 |     100     3288     9010 |     7320     4622    418 | 93.891 % |
41.28/41.39	c |     42852 |     100     3288     9010 |     8052     5128    410 | 93.891 % |
41.79/41.86	c |     43612 |     100     3288     9010 |     8857     5888    373 | 93.891 % |
42.48/42.51	c |     44751 |     100     3288     9010 |     9743     7027    353 | 93.891 % |
43.48/43.58	c |     46460 |     100     3288     9010 |    10717     8736    324 | 93.891 % |
45.68/45.71	c ===============================================================================
45.68/45.71	c New solution: 86
45.68/45.71	o 86
45.68/45.71	c Elapsed CPU time: 45.4851 s	Remaining CPU time: 134.515 s
45.68/45.71	c ===============================================================================
45.68/45.71	c |     48880 |     100     3289     9110 |     5000    11156    295 | 93.891 % |
45.78/45.84	c |     48981 |     100     3289     9110 |     5500     5679    218 | 93.891 % |
45.88/45.97	c |     49133 |     100     3289     9110 |     6050     5831    217 | 93.891 % |
46.09/46.10	c |     49362 |     100     3289     9110 |     6655     6060    217 | 93.891 % |
46.09/46.20	c |     49700 |     100     3289     9110 |     7320     6398    220 | 93.891 % |
46.48/46.57	c |     50206 |     100     3289     9110 |     8052     6904    231 | 93.891 % |
47.19/47.25	c |     50968 |     100     3289     9110 |     8857     7666    223 | 93.891 % |
48.07/48.15	c |     52109 |     100     3289     9110 |     9743     8807    208 | 93.891 % |
50.07/50.14	c |     53824 |     100     3289     9110 |    10717    10522    206 | 93.891 % |
53.07/53.17	c |     56389 |     100     3289     9110 |    11789     6916    182 | 93.891 % |
55.27/55.35	c |     60233 |     100     3289     9110 |    12968    10760    154 | 93.891 % |
61.88/61.95	c |     66000 |     100     3289     9110 |    14265     9231    219 | 93.891 % |
72.58/72.64	c |     74654 |     100     3289     9110 |    15692     9941    386 | 93.891 % |
80.97/81.05	c |     87631 |     100     3289     9110 |    17261    14262    274 | 93.891 % |
100.16/100.29	c |    107096 |     100     3289     9110 |    18987    14843    228 | 93.891 % |
141.35/141.46	c |    136288 |     100     3289     9110 |    20886    13129    547 | 93.891 % |
180.74/180.83	c There are 1537 assigned variables. 0 in cost function.
180.84/180.98	c core #1
180.84/180.98	c #cores: 1
180.84/180.98	c Final Weight: 86
180.84/180.98	o 86
180.84/180.98	s OPTIMUM FOUND
180.84/180.98	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 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637
180.84/180.98	c Total CPU time: 180.162 s

Verifier Data 

OK	-14

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702492-1278568465/watcher-2702492-1278568465 -o /tmp/evaluation-result-2702492-1278568465/solver-2702492-1278568465 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702492-1278568465.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.78 0.95 0.98 3/105 31292
/proc/meminfo: memFree=1671352/2059040 swapFree=4136400/4192956
[pid=31292] ppid=31290 vsize=2984 CPUtime=0
/proc/31292/stat : 31292 (wbo1.4b) R 31290 31292 30674 0 -1 4202496 361 0 0 0 0 0 0 0 25 0 1 0 25054737 3055616 280 1992294400 134512640 135751879 4293660336 18446744073709551615 134557907 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31292/statm: 746 281 146 303 0 411 0

[startup+0.045478 s]
/proc/loadavg: 0.78 0.95 0.98 3/105 31292
/proc/meminfo: memFree=1671352/2059040 swapFree=4136400/4192956
[pid=31292] ppid=31290 vsize=3392 CPUtime=0.03
/proc/31292/stat : 31292 (wbo1.4b) R 31290 31292 30674 0 -1 4202496 529 0 0 0 3 0 0 0 18 0 1 0 25054737 3473408 418 1992294400 134512640 135751879 4293660336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31292/statm: 848 418 147 303 0 543 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3392

[startup+0.101484 s]
/proc/loadavg: 0.78 0.95 0.98 3/105 31292
/proc/meminfo: memFree=1671352/2059040 swapFree=4136400/4192956
[pid=31292] ppid=31290 vsize=3524 CPUtime=0.09
/proc/31292/stat : 31292 (wbo1.4b) R 31290 31292 30674 0 -1 4202496 565 0 0 0 9 0 0 0 18 0 1 0 25054737 3608576 454 1992294400 134512640 135751879 4293660336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31292/statm: 881 454 147 303 0 576 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3524

[startup+0.301506 s]
/proc/loadavg: 0.78 0.95 0.98 3/105 31292
/proc/meminfo: memFree=1671352/2059040 swapFree=4136400/4192956
[pid=31292] ppid=31290 vsize=4176 CPUtime=0.29
/proc/31292/stat : 31292 (wbo1.4b) R 31290 31292 30674 0 -1 4202496 734 0 0 0 28 1 0 0 18 0 1 0 25054737 4276224 623 1992294400 134512640 135751879 4293660336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31292/statm: 1044 623 147 303 0 739 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4176

[startup+0.701553 s]
/proc/loadavg: 0.78 0.95 0.98 3/105 31292
/proc/meminfo: memFree=1671352/2059040 swapFree=4136400/4192956
[pid=31292] ppid=31290 vsize=5084 CPUtime=0.69
/proc/31292/stat : 31292 (wbo1.4b) R 31290 31292 30674 0 -1 4202496 966 0 0 0 68 1 0 0 18 0 1 0 25054737 5206016 855 1992294400 134512640 135751879 4293660336 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31292/statm: 1271 855 147 303 0 966 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5084

[startup+1.50064 s]
/proc/loadavg: 0.78 0.95 0.98 3/106 31293
/proc/meminfo: memFree=1668120/2059040 swapFree=4136400/4192956
[pid=31292] ppid=31290 vsize=6272 CPUtime=1.49
/proc/31292/stat : 31292 (wbo1.4b) R 31290 31292 30674 0 -1 4202496 1259 0 0 0 147 2 0 0 19 0 1 0 25054737 6422528 1148 1992294400 134512640 135751879 4293660336 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31292/statm: 1568 1148 147 303 0 1263 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6272

[startup+3.10082 s]
/proc/loadavg: 0.88 0.97 0.99 2/106 31293
/proc/meminfo: memFree=1666632/2059040 swapFree=4136400/4192956
[pid=31292] ppid=31290 vsize=7756 CPUtime=3.09
/proc/31292/stat : 31292 (wbo1.4b) R 31290 31292 30674 0 -1 4202496 1626 0 0 0 306 3 0 0 25 0 1 0 25054737 7942144 1515 1992294400 134512640 135751879 4293660336 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31292/statm: 1939 1515 147 303 0 1634 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7756

[startup+6.30117 s]
/proc/loadavg: 0.88 0.97 0.99 2/106 31293
/proc/meminfo: memFree=1663416/2059040 swapFree=4136400/4192956
[pid=31292] ppid=31290 vsize=12352 CPUtime=6.29
/proc/31292/stat : 31292 (wbo1.4b) R 31290 31292 30674 0 -1 4202496 2752 0 0 0 624 5 0 0 25 0 1 0 25054737 12648448 2641 1992294400 134512640 135751879 4293660336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31292/statm: 3088 2641 148 303 0 2783 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12352

[startup+12.7009 s]
/proc/loadavg: 0.89 0.97 0.99 2/106 31293
/proc/meminfo: memFree=1656472/2059040 swapFree=4136400/4192956
[pid=31292] ppid=31290 vsize=17792 CPUtime=12.69
/proc/31292/stat : 31292 (wbo1.4b) R 31290 31292 30674 0 -1 4202496 4087 0 0 0 1262 7 0 0 25 0 1 0 25054737 18219008 3976 1992294400 134512640 135751879 4293660336 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31292/statm: 4448 3976 148 303 0 4143 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17792

[startup+25.5013 s]
/proc/loadavg: 0.91 0.97 0.99 2/106 31293
/proc/meminfo: memFree=1643824/2059040 swapFree=4136400/4192956
[pid=31292] ppid=31290 vsize=30312 CPUtime=25.48
/proc/31292/stat : 31292 (wbo1.4b) R 31290 31292 30674 0 -1 4202496 7199 0 0 0 2537 11 0 0 25 0 1 0 25054737 31039488 7088 1992294400 134512640 135751879 4293660336 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31292/statm: 7578 7088 148 303 0 7273 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30312

[startup+51.1011 s]
/proc/loadavg: 0.94 0.97 0.99 2/106 31295
/proc/meminfo: memFree=1610592/2059040 swapFree=4136400/4192956
[pid=31292] ppid=31290 vsize=63416 CPUtime=51.08
/proc/31292/stat : 31292 (wbo1.4b) R 31290 31292 30674 0 -1 4202496 15494 0 0 0 5084 24 0 0 25 0 1 0 25054737 64937984 15383 1992294400 134512640 135751879 4293660336 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31292/statm: 15854 15383 148 303 0 15549 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 63416

[startup+102.309 s]
/proc/loadavg: 0.97 0.97 0.99 2/106 31295
/proc/meminfo: memFree=1552188/2059040 swapFree=4136400/4192956
[pid=31292] ppid=31290 vsize=121400 CPUtime=102.27
/proc/31292/stat : 31292 (wbo1.4b) R 31290 31292 30674 0 -1 4202496 29936 0 0 0 10179 48 0 0 25 0 1 0 25054737 124313600 29825 1992294400 134512640 135751879 4293660336 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31292/statm: 30350 29825 148 303 0 30045 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 121400

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 31297
/proc/meminfo: memFree=1457948/2059040 swapFree=4136400/4192956
[pid=31292] ppid=31290 vsize=217376 CPUtime=162.25
/proc/31292/stat : 31292 (wbo1.4b) R 31290 31292 30674 0 -1 4202496 53897 0 0 0 16152 73 0 0 25 0 1 0 25054737 222593024 53786 1992294400 134512640 135751879 4293660336 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31292/statm: 54344 53786 148 303 0 54039 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 217376

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

[startup+166.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 31297
/proc/meminfo: memFree=1450632/2059040 swapFree=4136400/4192956
[pid=31292] ppid=31290 vsize=222928 CPUtime=166.24
/proc/31292/stat : 31292 (wbo1.4b) R 31290 31292 30674 0 -1 4202496 55301 0 0 0 16550 74 0 0 25 0 1 0 25054737 228278272 55190 1992294400 134512640 135751879 4293660336 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31292/statm: 55732 55190 148 303 0 55427 0
Current children cumulated CPU time (s) 166.24
Current children cumulated vsize (KiB) 222928

[startup+172.708 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 31297
/proc/meminfo: memFree=1445424/2059040 swapFree=4136400/4192956
[pid=31292] ppid=31290 vsize=228096 CPUtime=172.66
/proc/31292/stat : 31292 (wbo1.4b) R 31290 31292 30674 0 -1 4202496 56572 0 0 0 17190 76 0 0 25 0 1 0 25054737 233570304 56461 1992294400 134512640 135751879 4293660336 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31292/statm: 57024 56461 148 303 0 56719 0
Current children cumulated CPU time (s) 172.66
Current children cumulated vsize (KiB) 228096

[startup+175.901 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 31297
/proc/meminfo: memFree=1443316/2059040 swapFree=4136400/4192956
[pid=31292] ppid=31290 vsize=230212 CPUtime=175.85
/proc/31292/stat : 31292 (wbo1.4b) R 31290 31292 30674 0 -1 4202496 57100 0 0 0 17509 76 0 0 25 0 1 0 25054737 235737088 56989 1992294400 134512640 135751879 4293660336 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31292/statm: 57553 56989 148 303 0 57248 0
Current children cumulated CPU time (s) 175.85
Current children cumulated vsize (KiB) 230212

[startup+179.101 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 31297
/proc/meminfo: memFree=1441704/2059040 swapFree=4136400/4192956
[pid=31292] ppid=31290 vsize=232460 CPUtime=179.04
/proc/31292/stat : 31292 (wbo1.4b) R 31290 31292 30674 0 -1 4202496 57654 0 0 0 17827 77 0 0 25 0 1 0 25054737 238039040 57543 1992294400 134512640 135751879 4293660336 18446744073709551615 134616482 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31292/statm: 58115 57543 148 303 0 57810 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 232460

[startup+179.901 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 31297
/proc/meminfo: memFree=1440960/2059040 swapFree=4136400/4192956
[pid=31292] ppid=31290 vsize=232460 CPUtime=179.84
/proc/31292/stat : 31292 (wbo1.4b) R 31290 31292 30674 0 -1 4202496 57682 0 0 0 17907 77 0 0 25 0 1 0 25054737 238039040 57571 1992294400 134512640 135751879 4293660336 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31292/statm: 58115 57571 148 303 0 57810 0
Current children cumulated CPU time (s) 179.84
Current children cumulated vsize (KiB) 232460

[startup+180.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 31297
/proc/meminfo: memFree=1440960/2059040 swapFree=4136400/4192956
[pid=31292] ppid=31290 vsize=232588 CPUtime=180.64
/proc/31292/stat : 31292 (wbo1.4b) R 31290 31292 30674 0 -1 4202496 57709 0 0 0 17987 77 0 0 25 0 1 0 25054737 238170112 57598 1992294400 134512640 135751879 4293660336 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31292/statm: 58147 57598 148 303 0 57842 0
Current children cumulated CPU time (s) 180.64
Current children cumulated vsize (KiB) 232588

[startup+180.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 31297
/proc/meminfo: memFree=1440960/2059040 swapFree=4136400/4192956
[pid=31292] ppid=31290 vsize=232992 CPUtime=180.84
/proc/31292/stat : 31292 (wbo1.4b) R 31290 31292 30674 0 -1 4202496 57789 0 0 0 18007 77 0 0 25 0 1 0 25054737 238583808 57678 1992294400 134512640 135751879 4293660336 18446744073709551615 134521869 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31292/statm: 58248 57678 149 303 0 57943 0
Current children cumulated CPU time (s) 180.84
Current children cumulated vsize (KiB) 232992

[startup+181 s]
/proc/loadavg: 0.99 0.97 0.99 2/106 31297
/proc/meminfo: memFree=1440960/2059040 swapFree=4136400/4192956
[pid=31292] ppid=31290 vsize=0 CPUtime=180.95
/proc/31292/stat : 31292 (wbo1.4b) R 31290 31292 30674 0 -1 4202500 57796 0 0 0 18016 79 0 0 25 0 1 0 25054737 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/31292/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 180.95
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 181.011
CPU time (s): 180.963
CPU user time (s): 180.162
CPU system time (s): 0.801878
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 232992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.162
system time used= 0.801878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57796
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2161

runsolver used 0.273958 second user time and 0.892864 second system time

The end

Launcher Data 

Begin job on node087 at 2010-07-08 07:54:25
IDJOB=2702492
IDBENCH=48181
IDSOLVER=1161
FILE ID=node087/2702492-1278568465
PBS_JOBID= 11239557
Free space on /tmp= 62552 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_25_2.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-2702492-1278568465/watcher-2702492-1278568465 -o /tmp/evaluation-result-2702492-1278568465/solver-2702492-1278568465 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702492-1278568465.opb

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

MD5SUM BENCH= fdcfb05eaa099feeb8cfb1f8f1c05926
RANDOM SEED=199215964

node087.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.201
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.40
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.201
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.50
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1672252 kB
Buffers:         92312 kB
Cached:         200328 kB
SwapCached:      12768 kB
Active:         137888 kB
Inactive:       171444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1672252 kB
SwapTotal:     4192956 kB
SwapFree:      4136400 kB
Dirty:            3000 kB
Writeback:           0 kB
AnonPages:       11520 kB
Mapped:           8504 kB
Slab:            55776 kB
PageTables:       4180 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181568 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-2702492-1278568465.opb

Free space on /tmp at the end= 62552 MiB
End job on node087 at 2010-07-08 07:57:26