Trace number 2656216

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.25 181.937 182.012

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
MD5SUM885184c694263ba985a0dc2cd49b3440
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.375942
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables776
Total number of constraints867
Number of constraints which are clauses701
Number of constraints which are cardinality constraints (but not clauses)166
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20
Number of terms in the objective function 776
Biggest coefficient in the objective function 474
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 2127
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 474
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2127
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2656216-1276477155.opb.
0.00/0.00	c Instance file HOME/instance-2656216-1276477155.opb
0.00/0.00	c File size is 36242 bytes.
0.00/0.00	c Highest Coefficient sum: 23
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      776                                                 |
0.00/0.00	c |  Number Clauses:        702                                                 |
0.00/0.00	c |  Number Cardinality:    165                                                 |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     775      867     3034 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 530
0.00/0.01	o 530
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 |         0 |     775      868     3810 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c New solution: 529
0.00/0.01	o 529
0.00/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 179.986 s
0.00/0.01	c ===============================================================================
0.00/0.01	c |         3 |     775      869     4586 |     5000        3    259 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 527
0.00/0.02	o 527
0.00/0.02	c Elapsed CPU time: 0.016997 s	Remaining CPU time: 179.983 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         7 |     775      870     5362 |     5000        7    266 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 519
0.00/0.02	o 519
0.00/0.02	c Elapsed CPU time: 0.018997 s	Remaining CPU time: 179.981 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |         7 |     775      871     6138 |     5000        7    266 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 518
0.00/0.02	o 518
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 |         7 |     775      872     6914 |     5000        7    266 |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c New solution: 517
0.00/0.02	o 517
0.00/0.02	c Elapsed CPU time: 0.024996 s	Remaining CPU time: 179.975 s
0.00/0.02	c ===============================================================================
0.00/0.02	c |        12 |     775      873     7690 |     5000       12    268 |  0.000 % |
0.00/0.04	c |       113 |     775      873     7690 |     5500      113    283 |  0.130 % |
0.00/0.06	c |       263 |     775      873     7690 |     6050      263    275 |  0.132 % |
0.00/0.06	c ===============================================================================
0.00/0.06	c New solution: 515
0.00/0.06	o 515
0.00/0.06	c Elapsed CPU time: 0.06299 s	Remaining CPU time: 179.937 s
0.00/0.06	c ===============================================================================
0.00/0.06	c |       263 |     775      874     8466 |     5000      263    275 |  0.132 % |
0.00/0.07	c ===============================================================================
0.00/0.07	c New solution: 511
0.00/0.07	o 511
0.00/0.07	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 179.934 s
0.00/0.07	c ===============================================================================
0.00/0.07	c |       263 |     775      875     9242 |     5000      263    275 |  0.132 % |
0.06/0.09	c |       363 |     775      875     9242 |     5500      363    278 |  0.131 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 510
0.09/0.10	o 510
0.09/0.10	c Elapsed CPU time: 0.099984 s	Remaining CPU time: 179.9 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |       416 |     775      876    10018 |     5000      416    280 |  0.131 % |
0.09/0.12	c |       516 |     775      876    10018 |     5500      516    280 |  0.132 % |
0.09/0.15	c |       668 |     775      876    10018 |     6050      668    278 |  0.132 % |
0.09/0.19	c |       894 |     775      876    10018 |     6655      894    275 |  0.133 % |
0.19/0.28	c |      1231 |     775      876    10018 |     7320     1231    276 |  0.132 % |
0.29/0.38	c |      1738 |     775      876    10018 |     8052     1738    278 |  0.132 % |
0.29/0.39	c ===============================================================================
0.29/0.39	c New solution: 509
0.29/0.39	o 509
0.29/0.39	c Elapsed CPU time: 0.386941 s	Remaining CPU time: 179.613 s
0.29/0.39	c ===============================================================================
0.29/0.39	c |      1787 |     775      877    10794 |     5000     1787    277 |  0.132 % |
0.39/0.41	c |      1888 |     775      877    10794 |     5500     1888    278 |  0.131 % |
0.39/0.44	c |      2039 |     775      877    10794 |     6050     2039    277 |  0.131 % |
0.39/0.49	c |      2264 |     775      877    10794 |     6655     2264    278 |  0.131 % |
0.49/0.55	c |      2601 |     775      877    10794 |     7320     2601    278 |  0.132 % |
0.59/0.67	c |      3108 |     775      877    10794 |     8052     3108    279 |  0.132 % |
0.59/0.67	c ===============================================================================
0.59/0.67	c New solution: 506
0.59/0.67	o 506
0.59/0.67	c Elapsed CPU time: 0.662899 s	Remaining CPU time: 179.337 s
0.59/0.67	c ===============================================================================
0.59/0.67	c |      3108 |     775      878    11570 |     5000     3108    279 |  0.132 % |
0.59/0.69	c ===============================================================================
0.59/0.69	c New solution: 505
0.59/0.69	o 505
0.59/0.69	c Elapsed CPU time: 0.680896 s	Remaining CPU time: 179.319 s
0.59/0.69	c ===============================================================================
0.59/0.69	c |      3173 |     775      879    12346 |     5000     3173    279 |  0.132 % |
0.69/0.72	c |      3273 |     775      879    12346 |     5500     3273    280 |  0.132 % |
0.69/0.74	c |      3424 |     775      879    12346 |     6050     3424    279 |  0.132 % |
0.69/0.79	c |      3650 |     775      879    12346 |     6655     3650    279 |  0.132 % |
0.79/0.85	c |      3987 |     775      879    12346 |     7320     3987    279 |  0.131 % |
0.89/0.97	c |      4494 |     775      879    12346 |     8052     4494    278 |  0.130 % |
1.10/1.14	c |      5253 |     775      879    12346 |     8857     5253    276 |  0.130 % |
1.39/1.42	c |      6394 |     775      879    12346 |     9743     6394    275 |  0.132 % |
1.79/1.81	c |      8103 |     775      879    12346 |    10717     8103    275 |  0.129 % |
1.89/1.92	c ===============================================================================
1.89/1.92	c New solution: 504
1.89/1.92	o 504
1.89/1.92	c Elapsed CPU time: 1.88471 s	Remaining CPU time: 178.115 s
1.89/1.92	c ===============================================================================
1.89/1.92	c |      8507 |     775      880    13122 |     5000     8507    276 |  0.129 % |
1.89/1.96	c |      8607 |     775      880    13122 |     5500     4354    274 |  0.130 % |
1.89/1.99	c |      8757 |     775      880    13122 |     6050     4504    273 |  0.132 % |
1.99/2.04	c |      8982 |     775      880    13122 |     6655     4729    274 |  0.131 % |
2.10/2.11	c |      9319 |     775      880    13122 |     7320     5066    273 |  0.129 % |
2.20/2.24	c |      9825 |     775      880    13122 |     8052     5572    273 |  0.130 % |
2.39/2.42	c |     10585 |     775      880    13122 |     8857     6332    272 |  0.129 % |
2.39/2.42	c ===============================================================================
2.39/2.42	c New solution: 499
2.39/2.42	o 499
2.39/2.42	c Elapsed CPU time: 2.37764 s	Remaining CPU time: 177.622 s
2.39/2.42	c ===============================================================================
2.39/2.42	c |     10585 |     775      881    13898 |     5000     6332    272 |  0.129 % |
2.39/2.46	c |     10685 |     775      881    13898 |     5500     3266    274 |  0.129 % |
2.39/2.49	c |     10836 |     775      881    13898 |     6050     3417    274 |  0.130 % |
2.49/2.55	c |     11062 |     775      881    13898 |     6655     3643    274 |  0.132 % |
2.59/2.62	c |     11400 |     775      881    13898 |     7320     3981    274 |  0.133 % |
2.69/2.75	c |     11906 |     775      881    13898 |     8052     4487    274 |  0.132 % |
2.89/2.91	c |     12666 |     775      881    13898 |     8857     5247    276 |  0.130 % |
3.09/3.14	c |     13805 |     775      881    13898 |     9743     6386    275 |  0.129 % |
3.49/3.52	c |     15514 |     775      881    13898 |    10717     8095    276 |  0.132 % |
4.19/4.30	c |     18076 |     775      881    13898 |    11789    10657    279 |  0.130 % |
5.40/5.40	c |     21920 |     775      881    13898 |    12968     8237    282 |  0.129 % |
6.99/7.06	c |     27686 |     775      881    13898 |    14265     7171    276 |  0.129 % |
9.58/9.61	c |     36336 |     775      881    13898 |    15692     8325    280 |  0.129 % |
13.69/13.74	c |     49310 |     775      881    13898 |    17261    13105    281 |  0.130 % |
22.59/22.63	c |     68772 |     775      881    13898 |    18987    14578    307 |  0.130 % |
35.68/35.78	c |     97965 |     775      881    13898 |    20886    14203    297 |  0.130 % |
60.17/60.29	c |    141754 |     775      881    13898 |    22974    14797    283 |  0.129 % |
94.56/94.67	c |    207440 |     775      881    13898 |    25272    18498    280 |  0.129 % |
159.13/159.21	c |    305966 |     775      881    13898 |    27799    13891    284 |  0.129 % |
181.51/181.60	c There are 1 assigned variables. 1 in cost function.
181.81/181.96	c core #1
181.81/181.96	c #cores: 1
181.81/181.96	c Final Weight: 499
181.81/181.96	o 499
181.81/181.96	s OPTIMUM FOUND
181.81/181.96	v -x757 -x694 -x589 x263 x242 -x57 x39 x693 -x591 -x487 x264 -x247 -x56 x38 -x758 x701 -x590 -x486 x440 -x267 -x246 -x55 x40 -x759 x695 -x595 -x488 x445 -x265 -x53 x41 -x762 x696 -x613 -x594 -x489 x444 -x266 -x249 -x54 x48 -x760 x697 -x612 -x592 -x490 -x402 -x250 x42 -x3 -x761 -x614 -x593 -x497 x447 -x422 -x401 -x253 -x199 x172 x43 -x2 x735 -x617 -x491 -x448 -x421 -x407 -x386 -x251 x177 x44 -x4 x734 -x616 -x492 -x451 -x423 -x406 -x385 -x274 -x252 -x198 x176 x138 -x5 -x621 -x493 -x449 -x426 -x408 -x387 -x367 -x279 -x202 -x156 x137 -x19 -x6 x736 -x620 -x560 -x511 -x450 -x425 -x412 -x388 -x366 -x278 -x179 -x155 x139 x88 -x18 -x13 x738 -x651 -x618 -x516 -x430 -x411 -x389 -x203 -x180 -x157 x142 x87 -x24 -x7 -x650 -x619 -x559 -x515 -x467 -x429 -x409 -x396 -x368 -x281 x183 -x158 x141 x89 -x67 -x23 -x8 x739 -x563 -x427 -x410 -x390 -x370 -x282 x181 -x159 -x146 x92 -x72 -x25 -x9 x741 -x652 -x518 -x470 -x428 -x391 -x319 -x285 -x224 x182 -x166 -x145 -x122 x91 -x71 -x29 x742 -x654 x636 -x564 -x519 -x471 -x392 -x371 -x318 -x283 -x160 -x143 x96 -x28 x635 -x522 x373 -x348 -x320 -x284 -x223 -x161 -x144 -x121 x95 -x74 -x26 -x655 -x520 -x374 -x352 -x323 x227 -x162 x93 -x75 -x27 -x657 x637 -x521 -x322 x125 -x94 -x76 -x658 x640 -x324 x228 x126 -x77 -x754 x704 -x65 -x756 x705 -x588 -x268 x241 -x61 -x755 x700 -x603 x243 -x60 x51 -x763 -x599 x439 -x248 x52 -x711 -x698 -x598 -x500 x441 x245 x47 -x715 -x501 x446 -x254 -x496 x443 x45 x730 -x615 -x452 -x403 x171 x729 -x629 -x494 -x404 -x200 x173 -x16 -x625 -x424 -x405 -x362 -x273 -x204 x178 -x17 x737 -x624 -x438 -x416 -x399 x361 -x275 x175 -x12 x740 -x646 -x510 -x434 -x400 -x280 x184 x140 -x20 x744 -x645 -x561 -x512 -x466 -x433 -x395 -x369 -x277 -x206 -x169 -x154 -x21 -x10 x743 -x565 -x517 -x372 -x286 -x207 -x170 -x150 x90 -x66 -x22 -x653 -x514 -x472 -x393 x376 -x165 -x149 -x117 -x104 -x68 -x33 -x656 -x631 -x523 x375 x100 -x73 -x660 x630 -x567 -x347 -x225 -x163 -x123 x99 -x70 -x659 -x568 -x351 -x321 x229 -x78 x638 -x475 -x332 x127 x639 -x328 x702 -x600 -x106 -x64 x50 -x753 -x602 -x272 x49 -x771 -x499 -x271 -x58 -x767 -x498 x244 -x766 -x710 -x699 -x596 x262 -x59 -x714 x442 x258 -x194 -x626 -x597 x460 -x303 x257 -x193 -x46 -x15 -x628 x456 -x14 -x495 x455 -x435 -x419 -x398 -x201 x731 -x555 -x437 -x420 -x397 -x205 x174 x732 -x622 -x554 -x462 -x415 -x209 -x192 -x168 -x151 x733 x363 -x276 -x208 x188 -x167 -x153 x748 -x623 -x562 -x468 -x431 -x413 x364 -x294 x187 -x101 -x36 -x11 -x647 -x566 -x513 x365 -x290 -x219 -x103 -x37 -x686 -x648 -x570 -x531 -x473 -x432 -x394 x380 -x289 -x218 -x147 -x32 -x649 -x569 -x527 -x116 -x69 -x664 -x526 -x476 -x349 -x329 -x226 -x164 -x148 x118 x97 -x86 -x30 x632 -x474 -x353 -x331 x230 -x124 -x82 x633 x231 x120 -x98 -x81 x634 -x327 x232 x128 -x768 x703 -x601 x334 -x105 -x62 -x770 -x269 x259 x261 -x764 -x712 x457 x300 -x270 -x716 -x627 x459 -x765 -x418 -x302 x255 -x436 -x417 -x195 x718 x453 -x256 -x196 -x189 x719 -x197 -x191 -x152 x751 x454 -x291 -x213 -x35 x752 -x556 -x461 -x293 -x102 -x34 x747 -x682 -x557 -x528 -x463 -x414 x383 x185 -x558 -x530 -x469 x384 x344 x745 -x685 -x667 -x574 -x465 x379 x343 -x287 x186 -x83 -x668 -x477 -x330 -x220 -x85 -x663 -x535 -x524 x377 -x350 -x288 -x221 -x31 -x539 -x354 x222 x119 -x661 x643 -x605 -x525 -x355 x236 x136 -x79 x644 -x609 -x356 -x325 x132 -x769 x333 x107 -x63 x707 -x260 x706 x458 -x713 x299 -x109 -x717 x721 x304 x720 -x190 x750 -x216 x749 -x292 -x217 x678 x382 -x307 -x212 -x529 x381 -x681 -x666 -x577 -x210 -x665 -x578 -x464 -x84 x746 -x687 -x573 -x485 -x481 x345 -x642 -x571 -x534 -x480 -x378 x346 x239 x133 -x641 -x538 x240 x135 -x690 -x662 -x604 x235 -x80 -x608 -x326 x131 -x503 x296 -x110 x708 -x108 x709 -x547 x336 x301 -x772 x725 x305 -x215 -x214 x674 x308 -x306 x773 x677 x774 -x576 -x575 -x683 -x482 -x211 -x484 x688 x238 x237 x134 -x691 -x572 -x536 -x478 x359 -x689 -x540 x360 -x606 -x479 x233 -x610 x129 -x111 -x502 x337 x335 x295 x728 -x546 x297 x724 x309 -x722 x673 x583 -x483 -x684 -x533 x680 -x532 x358 -x692 x357 -x537 -x541 -x607 -x234 -x611 x130 x338 -x115 x727 -x504 -x114 x726 -x548 x298 x670 x507 -x317 -x313 -x723 x675 x582 x550 -x312 x551 x679 x587 x543 x342 x542 -x505 x341 -x112 -x549 x508 -x314 -x113 x506 -x316 -x581 x553 x669 x552 x671 x584 -x310 x676 -x311 x586 x339 x544 x509 -x315 x545 x340 x775 x580 x579 x672 x585 -x776 x1
181.81/181.96	c Total CPU time: 180.365 s

Verifier Data 

OK	25

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656216-1276477155/watcher-2656216-1276477155 -o /tmp/evaluation-result-2656216-1276477155/solver-2656216-1276477155 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656216-1276477155.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.91 0.97 0.99 3/106 28809
/proc/meminfo: memFree=1847808/2059040 swapFree=4136184/4192956
[pid=28809] ppid=28807 vsize=2844 CPUtime=0
/proc/28809/stat : 28809 (wbo1.4b) R 28807 28809 28708 0 -1 4202496 363 0 0 0 0 0 0 0 18 0 1 0 23317087 2912256 272 1992294400 134512640 135751879 4291413952 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28809/statm: 711 274 145 303 0 406 0

[startup+0.0716449 s]
/proc/loadavg: 0.91 0.97 0.99 3/106 28809
/proc/meminfo: memFree=1847808/2059040 swapFree=4136184/4192956
[pid=28809] ppid=28807 vsize=3232 CPUtime=0.06
/proc/28809/stat : 28809 (wbo1.4b) R 28807 28809 28708 0 -1 4202496 458 0 0 0 6 0 0 0 21 0 1 0 23317087 3309568 367 1992294400 134512640 135751879 4291413952 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28809/statm: 808 367 147 303 0 503 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3232

[startup+0.101649 s]
/proc/loadavg: 0.91 0.97 0.99 3/106 28809
/proc/meminfo: memFree=1847808/2059040 swapFree=4136184/4192956
[pid=28809] ppid=28807 vsize=3360 CPUtime=0.09
/proc/28809/stat : 28809 (wbo1.4b) R 28807 28809 28708 0 -1 4202496 501 0 0 0 9 0 0 0 21 0 1 0 23317087 3440640 410 1992294400 134512640 135751879 4291413952 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28809/statm: 840 410 147 303 0 535 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3360

[startup+0.301688 s]
/proc/loadavg: 0.91 0.97 0.99 3/106 28809
/proc/meminfo: memFree=1847808/2059040 swapFree=4136184/4192956
[pid=28809] ppid=28807 vsize=4520 CPUtime=0.29
/proc/28809/stat : 28809 (wbo1.4b) R 28807 28809 28708 0 -1 4202496 780 0 0 0 29 0 0 0 21 0 1 0 23317087 4628480 689 1992294400 134512640 135751879 4291413952 18446744073709551615 134606447 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28809/statm: 1130 689 147 303 0 825 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4520

[startup+0.700766 s]
/proc/loadavg: 0.91 0.97 0.99 3/106 28809
/proc/meminfo: memFree=1847808/2059040 swapFree=4136184/4192956
[pid=28809] ppid=28807 vsize=6840 CPUtime=0.69
/proc/28809/stat : 28809 (wbo1.4b) R 28807 28809 28708 0 -1 4202496 1371 0 0 0 68 1 0 0 22 0 1 0 23317087 7004160 1280 1992294400 134512640 135751879 4291413952 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28809/statm: 1710 1280 147 303 0 1405 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6840

[startup+1.50093 s]
/proc/loadavg: 0.91 0.97 0.99 2/107 28810
/proc/meminfo: memFree=1841476/2059040 swapFree=4136184/4192956
[pid=28809] ppid=28807 vsize=10972 CPUtime=1.49
/proc/28809/stat : 28809 (wbo1.4b) R 28807 28809 28708 0 -1 4202496 2416 0 0 0 146 3 0 0 25 0 1 0 23317087 11235328 2325 1992294400 134512640 135751879 4291413952 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28809/statm: 2743 2325 147 303 0 2438 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10972

[startup+3.10124 s]
/proc/loadavg: 0.91 0.97 0.99 2/107 28810
/proc/meminfo: memFree=1835648/2059040 swapFree=4136184/4192956
[pid=28809] ppid=28807 vsize=19328 CPUtime=3.09
/proc/28809/stat : 28809 (wbo1.4b) R 28807 28809 28708 0 -1 4202496 4475 0 0 0 303 6 0 0 25 0 1 0 23317087 19791872 4384 1992294400 134512640 135751879 4291413952 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28809/statm: 4832 4384 148 303 0 4527 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19328

[startup+6.30086 s]
/proc/loadavg: 0.92 0.97 0.99 2/107 28810
/proc/meminfo: memFree=1820148/2059040 swapFree=4136184/4192956
[pid=28809] ppid=28807 vsize=33528 CPUtime=6.29
/proc/28809/stat : 28809 (wbo1.4b) R 28807 28809 28708 0 -1 4202496 8040 0 0 0 618 11 0 0 25 0 1 0 23317087 34332672 7949 1992294400 134512640 135751879 4291413952 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28809/statm: 8382 7949 148 303 0 8077 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33528

[startup+12.7011 s]
/proc/loadavg: 0.93 0.97 0.99 2/107 28810
/proc/meminfo: memFree=1793364/2059040 swapFree=4136184/4192956
[pid=28809] ppid=28807 vsize=58536 CPUtime=12.69
/proc/28809/stat : 28809 (wbo1.4b) R 28807 28809 28708 0 -1 4202496 14294 0 0 0 1250 19 0 0 25 0 1 0 23317087 59940864 14203 1992294400 134512640 135751879 4291413952 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28809/statm: 14634 14203 148 303 0 14329 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58536

[startup+25.5016 s]
/proc/loadavg: 0.94 0.97 0.99 2/107 28812
/proc/meminfo: memFree=1752816/2059040 swapFree=4136184/4192956
[pid=28809] ppid=28807 vsize=97372 CPUtime=25.49
/proc/28809/stat : 28809 (wbo1.4b) R 28807 28809 28708 0 -1 4202496 24006 0 0 0 2518 31 0 0 25 0 1 0 23317087 99708928 23915 1992294400 134512640 135751879 4291413952 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28809/statm: 24343 23915 148 303 0 24038 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 97372

[startup+51.1016 s]
/proc/loadavg: 0.96 0.97 0.99 2/107 28812
/proc/meminfo: memFree=1691436/2059040 swapFree=4136184/4192956
[pid=28809] ppid=28807 vsize=158692 CPUtime=51.08
/proc/28809/stat : 28809 (wbo1.4b) R 28807 28809 28708 0 -1 4202496 39305 0 0 0 5055 53 0 0 25 0 1 0 23317087 162500608 39214 1992294400 134512640 135751879 4291413952 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28809/statm: 39673 39214 148 303 0 39368 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 158692

[startup+102.308 s]
/proc/loadavg: 0.98 0.97 0.99 2/107 28814
/proc/meminfo: memFree=1571280/2059040 swapFree=4136184/4192956
[pid=28809] ppid=28807 vsize=277760 CPUtime=102.26
/proc/28809/stat : 28809 (wbo1.4b) R 28807 28809 28708 0 -1 4202496 69087 0 0 0 10130 96 0 0 25 0 1 0 23317087 284426240 68996 1992294400 134512640 135751879 4291413952 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28809/statm: 69440 68996 148 303 0 69135 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 277760

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 28823
/proc/meminfo: memFree=1462036/2059040 swapFree=4136184/4192956
[pid=28809] ppid=28807 vsize=389092 CPUtime=162.22
/proc/28809/stat : 28809 (wbo1.4b) R 28807 28809 28708 0 -1 4202496 96886 0 0 0 16087 135 0 0 25 0 1 0 23317087 398430208 96795 1992294400 134512640 135751879 4291413952 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28809/statm: 97273 96795 148 303 0 96968 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 389092

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

[startup+166.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 28825
/proc/meminfo: memFree=1447776/2059040 swapFree=4136184/4192956
[pid=28809] ppid=28807 vsize=401780 CPUtime=166.22
/proc/28809/stat : 28809 (wbo1.4b) R 28807 28809 28708 0 -1 4202496 100061 0 0 0 16483 139 0 0 25 0 1 0 23317087 411422720 99970 1992294400 134512640 135751879 4291413952 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28809/statm: 100445 99970 148 303 0 100140 0
Current children cumulated CPU time (s) 166.22
Current children cumulated vsize (KiB) 401780

[startup+172.709 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 28825
/proc/meminfo: memFree=1434880/2059040 swapFree=4136184/4192956
[pid=28809] ppid=28807 vsize=414080 CPUtime=172.63
/proc/28809/stat : 28809 (wbo1.4b) R 28807 28809 28708 0 -1 4202496 103119 0 0 0 17118 145 0 0 25 0 1 0 23317087 424017920 103028 1992294400 134512640 135751879 4291413952 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28809/statm: 103520 103028 148 303 0 103215 0
Current children cumulated CPU time (s) 172.63
Current children cumulated vsize (KiB) 414080

[startup+175.901 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 28825
/proc/meminfo: memFree=1426324/2059040 swapFree=4136184/4192956
[pid=28809] ppid=28807 vsize=422468 CPUtime=175.83
/proc/28809/stat : 28809 (wbo1.4b) R 28807 28809 28708 0 -1 4202496 105212 0 0 0 17435 148 0 0 25 0 1 0 23317087 432607232 105121 1992294400 134512640 135751879 4291413952 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28809/statm: 105617 105121 148 303 0 105312 0
Current children cumulated CPU time (s) 175.83
Current children cumulated vsize (KiB) 422468

[startup+179.101 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 28825
/proc/meminfo: memFree=1421488/2059040 swapFree=4136184/4192956
[pid=28809] ppid=28807 vsize=429204 CPUtime=179.01
/proc/28809/stat : 28809 (wbo1.4b) R 28807 28809 28708 0 -1 4202496 106918 0 0 0 17751 150 0 0 25 0 1 0 23317087 439504896 106827 1992294400 134512640 135751879 4291413952 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28809/statm: 107301 106827 148 303 0 106996 0
Current children cumulated CPU time (s) 179.01
Current children cumulated vsize (KiB) 429204

[startup+180.701 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 28825
/proc/meminfo: memFree=1417148/2059040 swapFree=4136184/4192956
[pid=28809] ppid=28807 vsize=431908 CPUtime=180.62
/proc/28809/stat : 28809 (wbo1.4b) R 28807 28809 28708 0 -1 4202496 107595 0 0 0 17910 152 0 0 25 0 1 0 23317087 442273792 107504 1992294400 134512640 135751879 4291413952 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28809/statm: 107977 107504 148 303 0 107672 0
Current children cumulated CPU time (s) 180.62
Current children cumulated vsize (KiB) 431908

[startup+181.509 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 28825
/proc/meminfo: memFree=1415164/2059040 swapFree=4136184/4192956
[pid=28809] ppid=28807 vsize=433624 CPUtime=181.42
/proc/28809/stat : 28809 (wbo1.4b) R 28807 28809 28708 0 -1 4202496 108013 0 0 0 17990 152 0 0 25 0 1 0 23317087 444030976 107922 1992294400 134512640 135751879 4291413952 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28809/statm: 108406 107922 148 303 0 108101 0
Current children cumulated CPU time (s) 181.42
Current children cumulated vsize (KiB) 433624

[startup+181.901 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 28825
/proc/meminfo: memFree=1415164/2059040 swapFree=4136184/4192956
[pid=28809] ppid=28807 vsize=434036 CPUtime=181.81
/proc/28809/stat : 28809 (wbo1.4b) R 28807 28809 28708 0 -1 4202496 108111 0 0 0 18029 152 0 0 25 0 1 0 23317087 444452864 108020 1992294400 134512640 135751879 4291413952 18446744073709551615 135200219 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/28809/statm: 108509 108020 149 303 0 108204 0
Current children cumulated CPU time (s) 181.81
Current children cumulated vsize (KiB) 434036

[startup+182.001 s]
/proc/loadavg: 0.99 0.97 0.99 2/107 28825
/proc/meminfo: memFree=1415164/2059040 swapFree=4136184/4192956
[pid=28809] ppid=28807 vsize=0 CPUtime=181.92
/proc/28809/stat : 28809 (wbo1.4b) R 28807 28809 28708 0 -1 4202500 108115 0 0 0 18036 156 0 0 25 0 1 0 23317087 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/28809/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 181.92
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 182.012
CPU time (s): 181.937
CPU user time (s): 180.365
CPU system time (s): 1.57276
CPU usage (%): 99.9587
Max. virtual memory (cumulated for all children) (KiB): 434036

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

runsolver used 0.304953 second user time and 0.866868 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-14 02:59:15
IDJOB=2656216
IDBENCH=2219
IDSOLVER=1161
FILE ID=node011/2656216-1276477155
PBS_JOBID= 11173377
Free space on /tmp= 62264 MiB

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

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

MD5SUM BENCH= 885184c694263ba985a0dc2cd49b3440
RANDOM SEED=1121230604

node011.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.264
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.52
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.264
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1848212 kB
Buffers:         45320 kB
Cached:          89852 kB
SwapCached:       9796 kB
Active:          69976 kB
Inactive:        77484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1848212 kB
SwapTotal:     4192956 kB
SwapFree:      4136184 kB
Dirty:            2620 kB
Writeback:           0 kB
AnonPages:       10992 kB
Mapped:           9224 kB
Slab:            41672 kB
PageTables:       3944 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180976 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= 62260 MiB
End job on node011 at 2010-06-14 03:02:17