Trace number 3463097

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
bsolo 3.2SAT-14335 1798.01 1797.99

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-opt1217.opb
MD5SUM0d06ca66c5954e6533e2fcc6f3f13fb8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-16384
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16384
Optimality of the best value was proved NO
Number of variables787
Total number of constraints65
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)48
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint16
Maximum length of a constraint67
Number of terms in the objective function 19
Biggest coefficient in the objective function 262144
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524287
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 393216
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 917503
Number of bits of the biggest sum of numbers20
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 bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3463097-1307175469.opb
0.00/0.00	c File size is 17942 bytes.
0.00/0.00	c Highest Coefficient sum: 917503
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.001 s
0.00/0.00	c Var: 787 Constr: 113 48/48/17 Lit: 2617 Watch. Lit: 1852
0.00/0.00	c Obj. Vars: 19 (2.41423 % of total variables)
0.00/0.01	c Pre-processing Time: 0.013 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    785      112     2598   23     1888    5980      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
0.00/0.04	c      102    785      215    20557   95     2111    6579    103   2684 0.04
0.00/0.04	o -2047
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      125    785      239    24077  100     2181    6014    127   2777 0.04
0.00/0.04	o -4095
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      125    785      240    24094  100     2196    6014    128   2777 0.04
0.00/0.04	o -6143
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      125    785      241    24111  100     2210    6014    129   2659 0.05
0.00/0.04	o -8191
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      125    785      242    24128   99     2222    6014    130   2604 0.05
0.00/0.05	o -10239
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      125    785      243    24145   99     2241    6014    131   2551 0.05
0.00/0.05	o -11263
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      126    785      246    24249   98     2256    6014    134   2520 0.05
0.00/0.05	o -12287
0.49/0.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.55	c      130    785      251    24815   98     2275    6014    139   2500 0.05
0.49/0.55	c      230    785      351    41328  117     2479    6616    239   2875 0.08
0.49/0.55	c      482    785      604    80108  132     2977    7278    492   3234 0.15
0.49/0.55	c      957    785     1081   139327  128     3930    8006    969   3694 0.26
0.49/0.55	c     1771    785     1897   240817  126     5568    8807   1785   3674 0.48
0.49/0.55	o -14335
1797.92/1797.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1797.97	c     2042    785     2169   273149  125     6125    6014   2057   3679 0.56
1797.92/1797.97	c     2142    785     2269   285183  125     6325    6616   2157   3680 0.58
1797.92/1797.97	c     2393    785     2520   320952  127     6825    7278   2408   3550 0.67
1797.92/1797.97	c     2870    785     2998   397391  132     7785    8006   2886   3329 0.86
1797.92/1797.97	c     3684    785     3814   527429  138     9440    8807   3702   3111 1.18
1797.92/1797.97	c     5006    785     5155   773574  150    12228    9688   5043   2738 1.83
1797.92/1797.97	c     7087    785     7262  1189421  163    16841   10657   7150   2318 3.06
1797.92/1797.97	c    10311    785    10510  1735002  165    23448   11723  10398   1933 5.33
1797.92/1797.97	c    15250    785     8902  1721845  193    19799   12896   8790   1433 10.64
1797.92/1797.97	c    22759    785     9330  1590226  170    20582   14186   9218   1232 18.46
1797.92/1797.97	c    34120    785    13019  2337479  179    28289   15605  12907   1110 30.73
1797.92/1797.97	c    51267    785    13240  2281357  172    28655   17166  13128    958 53.47
1797.92/1797.97	c    77086    785    11674  3187553  273    25947   18883  11562    703 109.51
1797.92/1797.97	c   115921    785    10203  1948626  190    22190   20772  10091    632 183.32
1797.92/1797.97	c   174273    785    14068  4357279  309    31050   22850  13956    490 355.60
1797.92/1797.97	c   261909    785    18100  3626804  200    39243   25136  17988    444 589.87
1797.92/1797.97	c   393462    785    13530  3931754  290    29802   27650  13418    377 1043.22
1797.92/1797.97	c   590894    785    15362  2700516  175    33391   30416  15250    361 1632.80
1797.92/1797.97	c Resources Exceeded
1797.92/1797.97	v x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 -x12 x13 x14 -x15 -x16 -x17 -x18 -x19 -x130 -x241 -x352 -x463 -x574 -x685 -x766 -x777 -x20 -x31 -x42 -x53 -x64 -x75 -x86 -x97 -x108 -x119 -x131 -x142 -x153 -x164 -x175 -x186 -x197 x208 -x219 -x230 -x242 -x253 -x264 -x275 -x286 -x297 x308 -x319 -x330 -x341 -x353 -x364 -x375 -x386 -x397 -x408 -x419 -x430 x441 -x384 -x385 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x409 -x410 -x411 -x412 -x413 -x414 x415 x416 -x417 -x418 -x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x498 -x499 -x500 x501 -x502 -x503 -x504 -x505 -x506 -x507 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 -x584 -x585 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x609 -x610 -x611 x612 -x613 -x614 x615 -x616 -x617 -x618 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x664 -x665 -x666 -x667 -x668 x669 -x670 -x671 -x672 -x673 -x675 -x676 -x677 -x678 -x679 x680 -x681 -x682 -x683 -x684 -x687 -x688 -x689 -x690 x691 -x692 -x693 -x694 -x695 -x696 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x452 -x785 -x69 -x122 x176 -x224 -x278 -x331 -x753 -x464 -x786 -x70 -x123 x177 -x225 -x279 -x332 -x475 -x787 -x71 -x124 x178 -x226 -x280 -x333 -x486 -x497 -x508 x519 -x530 -x541 -x552 -x563 -x575 -x586 -x597 -x608 -x619 -x630 -x641 -x652 -x663 -x674 -x686 x697 -x708 -x719 -x730 -x741 -x752 -x763 -x764 -x765 -x767 -x768 x769 -x770 -x771 -x772 -x773 x774 -x775 -x776 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x21 -x72 -x125 -x179 -x227 -x281 -x334 x22 -x73 -x126 -x180 -x228 -x282 -x335 -x23 -x74 -x127 -x181 -x229 -x283 x336 -x24 -x76 -x128 -x182 -x231 -x284 -x337 -x25 -x77 -x129 -x183 x232 -x285 -x338 -x26 -x78 x132 -x184 -x233 -x287 -x339 -x27 -x79 x133 -x234 -x288 -x340 -x754 -x28 -x80 -x134 -x235 x289 -x342 -x755 -x29 -x81 -x135 -x236 -x290 -x343 -x756 -x30 -x82 -x136 -x237 -x291 -x344 -x757 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x65 -x66 -x67 -x68 -x83 -x137 -x185 -x238 -x292 -x345 x84 -x138 -x187 -x239 -x293 -x346 -x85 x139 -x188 -x240 -x294 -x347 -x87 -x140 -x189 -x243 -x295 -x348 -x758 -x88 -x141 -x190 -x244 -x296 -x349 -x89 -x143 -x191 -x245 -x298 x350 -x90 -x144 -x192 -x246 -x299 -x351 -x91 -x145 -x193 -x247 -x300 -x354 -x92 -x146 x194 -x248 -x301 -x355 -x93 -x147 -x195 -x249 -x302 -x356 -x759 -x760 x94 x95 -x96 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x120 -x121 -x148 -x196 -x250 -x303 -x357 -x149 -x198 -x251 -x304 -x358 -x150 -x199 -x252 -x305 -x359 -x151 -x200 -x254 -x306 -x360 -x152 x201 -x255 -x307 -x361 -x761 -x154 -x202 -x256 -x309 -x362 -x155 -x203 -x257 -x310 -x363 -x156 -x204 -x258 -x311 -x365 -x157 -x205 -x259 -x312 -x366 -x158 -x206 -x260 x313 -x367 -x159 -x160 -x161 -x162 -x163 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x207 -x261 -x314 -x368 -x209 x262 -x315 -x369 -x210 -x263 -x316 -x370 -x211 -x265 -x317 -x371 -x212 -x266 -x318 -x372 -x213 -x267 -x320 -x373 -x214 -x268 -x321 -x374 -x215 -x269 -x322 -x376 -x762 -x216 x270 -x323 -x377 -x217 -x271 -x324 -x378 x218 -x220 -x221 -x222 -x223 -x272 -x325 -x379 -x273 x326 -x380 -x274 -x327 -x381 -x276 -x328 x382 -x277 -x329 -x383 
1797.92/1797.97	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1797.97	c   30   640833  89483   816839    29023  8492682  28911    356 1798.01
1797.92/1797.97	c Objective: -14335
1797.92/1797.97	s SATISFIABLE
1797.92/1797.97	c Total time: 1798.01 s

Verifier Data 

OK	-14335

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3463097-1307175469/watcher-3463097-1307175469 -o /tmp/evaluation-result-3463097-1307175469/solver-3463097-1307175469 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463097-1307175469.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.10 2.04 2.01 2/505 10749
/proc/meminfo: memFree=30323412/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=10924 CPUtime=0 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 321 0 0 0 0 0 0 0 25 0 1 0 829149492 11186176 270 33554432000 134512640 137138936 4292672480 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10749/statm: 2731 270 184 642 0 2087 0

[startup+0.0935061 s]
/proc/loadavg: 2.10 2.04 2.01 2/505 10749
/proc/meminfo: memFree=30323412/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=11484 CPUtime=0.09 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 491 0 0 0 9 0 0 0 25 0 1 0 829149492 11759616 440 33554432000 134512640 137138936 4292672480 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10749/statm: 2871 440 192 642 0 2227 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11484

[startup+0.100509 s]
/proc/loadavg: 2.10 2.04 2.01 2/505 10749
/proc/meminfo: memFree=30323412/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=11596 CPUtime=0.09 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 500 0 0 0 9 0 0 0 25 0 1 0 829149492 11874304 449 33554432000 134512640 137138936 4292672480 18446744073709551615 136521014 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10749/statm: 2899 449 192 642 0 2255 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11596

[startup+0.300485 s]
/proc/loadavg: 2.10 2.04 2.01 2/505 10749
/proc/meminfo: memFree=30323412/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=12992 CPUtime=0.29 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 873 0 0 0 29 0 0 0 25 0 1 0 829149492 13303808 822 33554432000 134512640 137138936 4292672480 18446744073709551615 134573047 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10749/statm: 3248 822 192 642 0 2604 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12992

[startup+0.700405 s]
/proc/loadavg: 2.10 2.04 2.01 2/505 10749
/proc/meminfo: memFree=30323412/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=15416 CPUtime=0.69 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 1456 0 0 0 69 0 0 0 25 0 1 0 829149492 15785984 1405 33554432000 134512640 137138936 4292672480 18446744073709551615 136505168 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10749/statm: 3854 1405 192 642 0 3210 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15416

[startup+1.50029 s]
/proc/loadavg: 2.10 2.04 2.01 3/506 10750
/proc/meminfo: memFree=30315344/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=19680 CPUtime=1.49 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 2531 0 0 0 148 1 0 0 25 0 1 0 829149492 20152320 2480 33554432000 134512640 137138936 4292672480 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10749/statm: 4920 2480 192 642 0 4276 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19680

[startup+3.10101 s]
/proc/loadavg: 2.09 2.04 2.01 3/506 10750
/proc/meminfo: memFree=30308844/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=27036 CPUtime=3.09 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 4374 0 0 0 308 1 0 0 25 0 1 0 829149492 27684864 4323 33554432000 134512640 137138936 4292672480 18446744073709551615 134551701 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/10749/statm: 6759 4323 192 642 0 6115 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27036

[startup+6.30044 s]
/proc/loadavg: 2.09 2.04 2.01 3/506 10750
/proc/meminfo: memFree=30297304/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=36972 CPUtime=6.27 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 6863 0 0 0 625 2 0 0 25 0 1 0 829149492 37859328 6812 33554432000 134512640 137138936 4292672480 18446744073709551615 134598934 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 9243 6812 192 642 0 8599 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 36972

[startup+12.7003 s]
/proc/loadavg: 2.07 2.04 2.01 3/506 10750
/proc/meminfo: memFree=30290896/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=39544 CPUtime=12.68 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 7494 0 0 0 1265 3 0 0 25 0 1 0 829149492 40493056 7443 33554432000 134512640 137138936 4292672480 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 9886 7443 192 642 0 9242 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 39544

[startup+25.5011 s]
/proc/loadavg: 2.06 2.04 2.01 3/506 10750
/proc/meminfo: memFree=30285672/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=45624 CPUtime=25.47 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 9023 0 0 0 2543 4 0 0 25 0 1 0 829149492 46718976 8972 33554432000 134512640 137138936 4292672480 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 11406 8972 192 642 0 10762 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 45624

[startup+51.1005 s]
/proc/loadavg: 2.04 2.04 2.00 3/506 10751
/proc/meminfo: memFree=30281176/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=49384 CPUtime=51.07 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 9960 0 0 0 5101 6 0 0 25 0 1 0 829149492 50569216 9909 33554432000 134512640 137138936 4292672480 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 12346 9909 192 642 0 11702 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49384

[startup+102.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/506 10752
/proc/meminfo: memFree=30256340/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=73540 CPUtime=102.29 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 16007 0 0 0 10218 11 0 0 25 0 1 0 829149492 75304960 15956 33554432000 134512640 137138936 4292672480 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 18385 15956 192 642 0 17741 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 73540

[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 10754
/proc/meminfo: memFree=30256152/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=73704 CPUtime=162.28 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 16050 0 0 0 16213 15 0 0 25 0 1 0 829149492 75472896 15999 33554432000 134512640 137138936 4292672480 18446744073709551615 136520979 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 18426 15999 192 642 0 17782 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 73704

[startup+222.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/506 10756
/proc/meminfo: memFree=30244932/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=85728 CPUtime=222.28 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 19053 0 0 0 22210 18 0 0 25 0 1 0 829149492 87785472 19001 33554432000 134512640 137138936 4292672480 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 21432 19001 192 642 0 20788 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 85728

[startup+282.301 s]
/proc/loadavg: 2.23 2.08 2.02 3/506 10757
/proc/meminfo: memFree=30238300/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=91980 CPUtime=282.29 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 20623 0 0 0 28208 21 0 0 25 0 1 0 829149492 94187520 20571 33554432000 134512640 137138936 4292672480 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 22995 20571 192 642 0 22351 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 91980

[startup+342.301 s]
/proc/loadavg: 2.14 2.08 2.02 3/506 10759
/proc/meminfo: memFree=30231564/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=98872 CPUtime=342.28 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 22339 0 0 0 34204 24 0 0 25 0 1 0 829149492 101244928 22287 33554432000 134512640 137138936 4292672480 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 24718 22287 192 642 0 24074 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 98872

[startup+402.301 s]
/proc/loadavg: 2.05 2.06 2.01 3/506 10760
/proc/meminfo: memFree=30230768/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=99492 CPUtime=402.28 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 22501 0 0 0 40201 27 0 0 25 0 1 0 829149492 101879808 22449 33554432000 134512640 137138936 4292672480 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 24873 22449 192 642 0 24229 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 99492

[startup+462.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/506 10762
/proc/meminfo: memFree=30229480/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=99452 CPUtime=462.29 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 22501 0 0 0 46200 29 0 0 25 0 1 0 829149492 101838848 22440 33554432000 134512640 137138936 4292672480 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 24863 22440 192 642 0 24219 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 99452

[startup+522.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/506 10763
/proc/meminfo: memFree=30229548/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=99440 CPUtime=522.29 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 22501 0 0 0 52198 31 0 0 25 0 1 0 829149492 101826560 22437 33554432000 134512640 137138936 4292672480 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 24860 22437 192 642 0 24216 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 99440

[startup+582.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 10765
/proc/meminfo: memFree=30229376/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=99440 CPUtime=582.29 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 22501 0 0 0 58197 32 0 0 25 0 1 0 829149492 101826560 22437 33554432000 134512640 137138936 4292672480 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 24860 22437 192 642 0 24216 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 99440

[startup+642.301 s]

################
# More data... #
################

/proc/meminfo: memFree=30222096/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=114812 CPUtime=1062.31 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 26371 0 0 0 106179 52 0 0 25 0 1 0 829149492 117567488 26275 33554432000 134512640 137138936 4292672480 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 28703 26275 192 642 0 28059 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 114812

[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 4/506 10834
/proc/meminfo: memFree=30221456/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=114812 CPUtime=1122.3 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 26371 0 0 0 112176 54 0 0 25 0 1 0 829149492 117567488 26275 33554432000 134512640 137138936 4292672480 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 28703 26275 192 642 0 28059 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 114812

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 10835
/proc/meminfo: memFree=30221448/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=114812 CPUtime=1182.31 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 26371 0 0 0 118174 57 0 0 25 0 1 0 829149492 117567488 26275 33554432000 134512640 137138936 4292672480 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 28703 26275 192 642 0 28059 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 114812

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 10837
/proc/meminfo: memFree=30220536/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=114812 CPUtime=1242.3 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 26371 0 0 0 124171 59 0 0 25 0 1 0 829149492 117567488 26275 33554432000 134512640 137138936 4292672480 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 28703 26275 192 642 0 28059 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 114812

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 10838
/proc/meminfo: memFree=30219396/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=114812 CPUtime=1302.31 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 26371 0 0 0 130170 61 0 0 25 0 1 0 829149492 117567488 26275 33554432000 134512640 137138936 4292672480 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 28703 26275 192 642 0 28059 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 114812

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 10840
/proc/meminfo: memFree=30218616/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=114808 CPUtime=1362.31 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 26371 0 0 0 136168 63 0 0 25 0 1 0 829149492 117563392 26275 33554432000 134512640 137138936 4292672480 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 28702 26275 192 642 0 28058 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 114808

[startup+1422.32 s]
/proc/loadavg: 2.09 2.03 2.01 3/506 10842
/proc/meminfo: memFree=30217860/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=114808 CPUtime=1422.32 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 26371 0 0 0 142167 65 0 0 25 0 1 0 829149492 117563392 26275 33554432000 134512640 137138936 4292672480 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 28702 26275 192 642 0 28058 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 114808

[startup+1482.3 s]
/proc/loadavg: 2.20 2.08 2.02 3/506 10843
/proc/meminfo: memFree=30217596/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=114808 CPUtime=1482.31 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 26371 0 0 0 148164 67 0 0 25 0 1 0 829149492 117563392 26275 33554432000 134512640 137138936 4292672480 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 28702 26275 192 642 0 28058 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 114808

[startup+1542.3 s]
/proc/loadavg: 2.11 2.08 2.02 3/506 10845
/proc/meminfo: memFree=30218560/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=114808 CPUtime=1542.31 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 26371 0 0 0 154160 71 0 0 25 0 1 0 829149492 117563392 26275 33554432000 134512640 137138936 4292672480 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 28702 26275 192 642 0 28058 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 114808

[startup+1602.3 s]
/proc/loadavg: 2.04 2.06 2.02 3/506 10846
/proc/meminfo: memFree=30218656/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=114808 CPUtime=1602.31 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 26371 0 0 0 160158 73 0 0 25 0 1 0 829149492 117563392 26275 33554432000 134512640 137138936 4292672480 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 28702 26275 192 642 0 28058 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 114808

[startup+1662.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/506 10848
/proc/meminfo: memFree=30218496/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=114812 CPUtime=1662.32 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 26374 0 0 0 166155 77 0 0 25 0 1 0 829149492 117567488 26278 33554432000 134512640 137138936 4292672480 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 28703 26278 192 642 0 28059 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 114812

[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/506 10849
/proc/meminfo: memFree=30211512/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=122248 CPUtime=1722.32 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 28214 0 0 0 172153 79 0 0 25 0 1 0 829149492 125181952 28118 33554432000 134512640 137138936 4292672480 18446744073709551615 134542237 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 30562 28118 192 642 0 29918 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 122248

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 10851
/proc/meminfo: memFree=30204416/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=127768 CPUtime=1782.32 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 29613 0 0 0 178150 82 0 0 25 0 1 0 829149492 130834432 29517 33554432000 134512640 137138936 4292672480 18446744073709551615 134542620 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 31942 29517 192 642 0 31298 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 127768

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 10851
/proc/meminfo: memFree=30204788/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=127768 CPUtime=1785.52 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 29613 0 0 0 178470 82 0 0 25 0 1 0 829149492 130834432 29517 33554432000 134512640 137138936 4292672480 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 31942 29517 192 642 0 31298 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 127768

[startup+1791.92 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 10851
/proc/meminfo: memFree=30204292/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=127768 CPUtime=1791.94 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 29613 0 0 0 179112 82 0 0 25 0 1 0 829149492 130834432 29517 33554432000 134512640 137138936 4292672480 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 31942 29517 192 642 0 31298 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 127768

[startup+1795.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 10851
/proc/meminfo: memFree=30205160/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=127768 CPUtime=1795.13 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 29613 0 0 0 179431 82 0 0 25 0 1 0 829149492 130834432 29517 33554432000 134512640 137138936 4292672480 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 31942 29517 192 642 0 31298 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 127768

[startup+1796.7 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 10851
/proc/meminfo: memFree=30204416/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=127768 CPUtime=1796.72 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 29613 0 0 0 179590 82 0 0 25 0 1 0 829149492 130834432 29517 33554432000 134512640 137138936 4292672480 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 31942 29517 192 642 0 31298 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 127768

[startup+1797.5 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 10852
/proc/meminfo: memFree=30204788/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=127768 CPUtime=1797.52 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 29613 0 0 0 179670 82 0 0 25 0 1 0 829149492 130834432 29517 33554432000 134512640 137138936 4292672480 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 31942 29517 192 642 0 31298 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 127768

[startup+1797.9 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 10852
/proc/meminfo: memFree=30204788/32951124 swapFree=51712236/67111528
[pid=10749] ppid=10747 vsize=127768 CPUtime=1797.92 cores=0,2,4,6
/proc/10749/stat : 10749 (bsolo) R 10747 10749 9506 0 -1 4202496 29613 0 0 0 179710 82 0 0 25 0 1 0 829149492 130834432 29517 33554432000 134512640 137138936 4292672480 18446744073709551615 136296964 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/10749/statm: 31942 29517 192 642 0 31298 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 127768

Child status: 0
Real time (s): 1797.99
CPU time (s): 1798.01
CPU user time (s): 1797.18
CPU system time (s): 0.828873
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 127888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.18
system time used= 0.828873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29614
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 5787

runsolver used 9.52855 second user time and 20.2239 second system time

The end

Launcher Data 

Begin job on node103 at 2011-06-04 10:17:49
IDJOB=3463097
IDBENCH=1877
IDSOLVER=1955
FILE ID=node103/3463097-1307175469
RUNJOBID= node103-1307174437-10500
PBS_JOBID= 13508861
Free space on /tmp= 73912 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463097-1307175469/watcher-3463097-1307175469 -o /tmp/evaluation-result-3463097-1307175469/solver-3463097-1307175469 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463097-1307175469.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 0d06ca66c5954e6533e2fcc6f3f13fb8
RANDOM SEED=1618719565

node103.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30323568 kB
Buffers:        318820 kB
Cached:         471992 kB
SwapCached:      23760 kB
Active:        1912332 kB
Inactive:       422308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30323568 kB
SwapTotal:    67111528 kB
SwapFree:     51712236 kB
Dirty:            3896 kB
Writeback:           0 kB
AnonPages:     1541144 kB
Mapped:          23332 kB
Slab:           149852 kB
PageTables:      73212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 162078616 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73908 MiB
End job on node103 at 2011-06-04 10:47:47