Trace number 3738238

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
PB07: bsolo 3.0.17OPT-79 10.9783 10.9841

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-9000opt.opb
MD5SUM3178a50232316e72958589cc9e9cd436
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-79
Best CPU time to get the best result obtained on this benchmark1.41179
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2025
Total number of constraints30187
Number of constraints which are clauses30187
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 135
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 364
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 364
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3738238-1338734023.opb
0.00/0.00	c File size is 999203 bytes.
0.00/0.08	c Highest Coefficient sum: 364
0.00/0.08	c Parsing was ok!!
0.00/0.08	c Total parsing time: 0.079 s
0.00/0.08	c Var: 2025 Constr: 30187 30187/0/0 Lit: 89391 Watch. Lit: 60374
0.00/0.08	c Obj. Vars: 135 (6.66667 % of total variables)
0.09/0.15	c Pre-processing Time: 0.148 s
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   1994    30094    89205    2    60188   10031      0      0 0.15
0.09/0.15	c Switching off LPR mode.
0.09/0.15	o -27	0.153
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   1994    30095    89309    2    60199   10239      1      0 0.15
0.09/0.15	o -29	0.154
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c        8   1994    30104    90159    2    60227   10239     10     51 0.15
0.09/0.16	o -38	0.158
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c       48   1994    30145    90419    2    60321   10239     51    303 0.16
0.09/0.16	o -41	0.159
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c       52   1994    30150    90538    3    60347   10239     56    325 0.16
0.09/0.16	o -43	0.162
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c       81   1994    30180    91538    3    60414   10239     86    496 0.16
0.09/0.17	o -46	0.166
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c      117   1994    30217    91875    3    60506   10239    123    700 0.17
0.09/0.17	o -55	0.169
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c      135   1994    30236    92296    3    60555   10239    142    794 0.17
0.09/0.19	c      235   1994    30336    93702    3    60756   11263    242   1342 0.17
0.09/0.19	o -56	0.188
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c      394   1994    30496    97491    3    61091   10239    402   2095 0.19
0.09/0.19	o -57	0.193
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c      431   1994    30534    98132    3    61184   10239    440   2221 0.19
0.19/0.20	o -58	0.202
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c      511   1994    30615   100031    3    61368   10239    521   2529 0.20
0.19/0.23	c      611   1994    30715   102112    3    61588   11263    621   2923 0.21
0.19/0.23	c      861   1994    30965   108496    3    62092   12390    871   3809 0.23
0.19/0.23	o -60	0.234
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c      953   1994    31058   111375    3    62265   10239    964   4055 0.23
0.19/0.29	c     1053   1994    31158   114404    3    62491   11263   1064   4351 0.24
0.19/0.29	c     1303   1994    31408   123062    3    62966   12390   1314   4954 0.26
0.19/0.29	o -65	0.291
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c     1582   1994    31688   133115    4    63553   10239   1594   5436 0.29
0.29/0.33	c     1682   1994    31788   135860    4    63740   11263   1694   5551 0.30
0.29/0.33	c     1932   1994    32038   145554    4    64240   12390   1944   5944 0.33
0.29/0.33	o -66	0.329
0.29/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.34	c     1955   1994    32062   145888    4    64308   10239   1968   5924 0.33
0.29/0.34	o -69	0.34
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c     2033   1994    32141   148927    4    64511   10239   2047   5961 0.34
0.29/0.35	o -70	0.349
0.29/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.37	c     2092   1994    32201   150505    4    64650   10239   2107   5977 0.35
0.29/0.37	c     2193   1994    32302   154309    4    64861   11263   2208   6041 0.36
0.29/0.37	o -71	0.37
0.89/0.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.90	c     2242   1994    32352   156409    4    64960   10239   2258   6043 0.37
0.89/0.90	c     2342   1994    32452   161311    4    65163   11263   2358   6114 0.38
0.89/0.90	c     2594   1994    32704   174045    5    65668   12390   2610   6311 0.41
0.89/0.90	c     3071   1994    33181   204461    6    66618   13630   3087   6618 0.46
0.89/0.90	c     3884   1994    33994   254167    7    68261   14994   3900   6973 0.56
0.89/0.90	c     5204   1994    35314   339083    9    70889   16494   5220   7099 0.73
0.89/0.90	o -76	0.902
1.68/1.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.68/1.78	c     6415   1994    36526   416667   11    73338   10239   6432   7104 0.90
1.68/1.78	c     6516   1994    36627   422622   11    73549   11263   6533   7090 0.92
1.68/1.78	c     6766   1994    36877   439713   11    74028   12390   6783   7077 0.96
1.68/1.78	c     7241   1994    37352   469992   12    74999   13630   7258   7043 1.03
1.68/1.78	c     8054   1994    38165   523355   13    76633   14994   8071   7009 1.15
1.68/1.78	c     9374   1994    39485   613639   15    79254   16494   9391   6933 1.35
1.68/1.78	c    11455   1992    41566   749655   18    83391   18144  11472   6714 1.71
1.68/1.78	o -78	1.777
3.20/3.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.20/3.27	c    11793   1992    41905   772061   18    84113   10235  11811   6632 1.78
3.20/3.27	c    11893   1992    35315   343804    9    70658   11259   5221   6502 1.83
3.20/3.27	c    12144   1992    35566   359517   10    71161   12385   5472   6518 1.86
3.20/3.27	c    12619   1992    36041   392205   10    72107   13624   5947   6568 1.92
3.20/3.27	c    13432   1991    36854   446659   12    73733   14987   6760   6649 2.02
3.20/3.27	c    14752   1991    38174   533350   13    76369   16486   8080   6648 2.22
3.20/3.27	c    16833   1991    40255   669933   16    80535   18135  10161   6524 2.58
3.20/3.27	c    20056   1990    43478   883335   20    86981   19949  13384   6336 3.17
3.20/3.27	o -79	3.273
10.89/10.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.89/10.98	c    20517   1990    43940   914697   20    87932   10231  13846   6266 3.27
10.89/10.98	c    20619   1990    35350   345847    9    70725   11255   5256   6178 3.34
10.89/10.98	c    20869   1989    35600   359926   10    71225   12381   5506   6196 3.37
10.89/10.98	c    21344   1989    36075   388147   10    72174   13620   5981   6244 3.42
10.89/10.98	c    22157   1988    36888   439260   11    73798   14983   6794   6289 3.52
10.89/10.98	c    23477   1987    38208   522439   13    76438   16482   8114   6302 3.73
10.89/10.98	c    25558   1983    40289   643915   15    80595   18131  10195   6341 4.03
10.89/10.98	c    28781   1982    43512   831137   19    87040   19945  13418   6127 4.70
10.89/10.98	c    33717   1978    48448  1107670   22    96909   21940  18354   5830 5.78
10.89/10.98	c    41223   1972    44943   796011   17    89893   24135  14849   5276 7.81
10.89/10.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 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 x1656 -x1657 -x1658 -x1659 -x1660 x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 
10.89/10.98	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
10.89/10.98	c   54    52543   2732    83842    44220   558180  14126   4787 10.97
10.89/10.98	c Objective: -79
10.89/10.98	s OPTIMUM FOUND
10.89/10.98	c Total time: 10.974 s

Verifier Data 

OK	-79

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3738238-1338734023/watcher-3738238-1338734023 -o /tmp/evaluation-result-3738238-1338734023/solver-3738238-1338734023 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3738238-1338734023.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.02 2.01 2.00 2/176 20250
/proc/meminfo: memFree=30422344/32873648 swapFree=6860/6860
[pid=20250] ppid=20248 vsize=5672 CPUtime=0 cores=0,2,4,6
/proc/20250/stat : 20250 (bsolo3.0.17) R 20248 20250 18429 0 -1 4202496 487 0 0 0 0 0 0 0 20 0 1 0 339528134 5808128 423 33554432000 134512640 135840783 4290474976 4290473888 134541066 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20250/statm: 1418 425 330 325 0 110 0

[startup+0.094673 s]
/proc/loadavg: 2.02 2.01 2.00 2/176 20250
/proc/meminfo: memFree=30422344/32873648 swapFree=6860/6860
[pid=20250] ppid=20248 vsize=9696 CPUtime=0.09 cores=0,2,4,6
/proc/20250/stat : 20250 (bsolo3.0.17) R 20248 20250 18429 0 -1 4202496 1977 0 0 0 9 0 0 0 20 0 1 0 339528134 9928704 1669 33554432000 134512640 135840783 4290474976 4290449756 1729584 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20250/statm: 2424 1669 342 325 0 1360 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9696

[startup+0.100186 s]
/proc/loadavg: 2.02 2.01 2.00 2/176 20250
/proc/meminfo: memFree=30422344/32873648 swapFree=6860/6860
[pid=20250] ppid=20248 vsize=9696 CPUtime=0.09 cores=0,2,4,6
/proc/20250/stat : 20250 (bsolo3.0.17) R 20248 20250 18429 0 -1 4202496 1977 0 0 0 9 0 0 0 20 0 1 0 339528134 9928704 1669 33554432000 134512640 135840783 4290474976 4290449756 1729584 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20250/statm: 2424 1669 342 325 0 1360 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9696

[startup+0.300188 s]
/proc/loadavg: 2.02 2.01 2.00 2/176 20250
/proc/meminfo: memFree=30422344/32873648 swapFree=6860/6860
[pid=20250] ppid=20248 vsize=11056 CPUtime=0.29 cores=0,2,4,6
/proc/20250/stat : 20250 (bsolo3.0.17) R 20248 20250 18429 0 -1 4202496 2657 0 0 0 28 1 0 0 20 0 1 0 339528134 11321344 2023 33554432000 134512640 135840783 4290474976 4290474336 134550764 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20250/statm: 2764 2023 349 325 0 1700 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11056

[startup+0.700195 s]
/proc/loadavg: 2.02 2.01 2.00 2/176 20250
/proc/meminfo: memFree=30422344/32873648 swapFree=6860/6860
[pid=20250] ppid=20248 vsize=13128 CPUtime=0.69 cores=0,2,4,6
/proc/20250/stat : 20250 (bsolo3.0.17) R 20248 20250 18429 0 -1 4202496 3191 0 0 0 68 1 0 0 20 0 1 0 339528134 13443072 2557 33554432000 134512640 135840783 4290474976 4290474332 134520488 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20250/statm: 3282 2557 349 325 0 2218 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13128

[startup+1.50021 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20251
/proc/meminfo: memFree=30411284/32873648 swapFree=6860/6860
[pid=20250] ppid=20248 vsize=18172 CPUtime=1.48 cores=0,2,4,6
/proc/20250/stat : 20250 (bsolo3.0.17) R 20248 20250 18429 0 -1 4202496 4460 0 0 0 147 1 0 0 20 0 1 0 339528134 18608128 3822 33554432000 134512640 135840783 4290474976 4290474336 134550779 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20250/statm: 4543 3822 349 325 0 3479 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 18172

[startup+3.10021 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20251
/proc/meminfo: memFree=30406572/32873648 swapFree=6860/6860
[pid=20250] ppid=20248 vsize=20900 CPUtime=3.08 cores=0,2,4,6
/proc/20250/stat : 20250 (bsolo3.0.17) R 20248 20250 18429 0 -1 4202496 5126 0 0 0 307 1 0 0 20 0 1 0 339528134 21401600 4488 33554432000 134512640 135840783 4290474976 4290474288 134550761 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20250/statm: 5225 4488 349 325 0 4161 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 20900

[startup+6.30022 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20251
/proc/meminfo: memFree=30402604/32873648 swapFree=6860/6860
[pid=20250] ppid=20248 vsize=26224 CPUtime=6.29 cores=0,2,4,6
/proc/20250/stat : 20250 (bsolo3.0.17) R 20248 20250 18429 0 -1 4202496 6465 0 0 0 627 2 0 0 20 0 1 0 339528134 26853376 5827 33554432000 134512640 135840783 4290474976 4290473104 6329639 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20250/statm: 6556 5827 349 325 0 5492 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26224

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

[startup+9.50024 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20251
/proc/meminfo: memFree=30398288/32873648 swapFree=6860/6860
[pid=20250] ppid=20248 vsize=27720 CPUtime=9.49 cores=0,2,4,6
/proc/20250/stat : 20250 (bsolo3.0.17) R 20248 20250 18429 0 -1 4202496 6837 0 0 0 947 2 0 0 20 0 1 0 339528134 28385280 6199 33554432000 134512640 135840783 4290474976 4290474288 134551532 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20250/statm: 6930 6199 349 325 0 5866 0
Current children cumulated CPU time (s) 9.49
Current children cumulated vsize (KiB) 27720

[startup+10.3002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20251
/proc/meminfo: memFree=30398288/32873648 swapFree=6860/6860
[pid=20250] ppid=20248 vsize=27728 CPUtime=10.29 cores=0,2,4,6
/proc/20250/stat : 20250 (bsolo3.0.17) R 20248 20250 18429 0 -1 4202496 6839 0 0 0 1027 2 0 0 20 0 1 0 339528134 28393472 6201 33554432000 134512640 135840783 4290474976 4290473776 134547760 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20250/statm: 6932 6201 349 325 0 5868 0
Current children cumulated CPU time (s) 10.29
Current children cumulated vsize (KiB) 27728

[startup+10.7002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20251
/proc/meminfo: memFree=30398288/32873648 swapFree=6860/6860
[pid=20250] ppid=20248 vsize=27732 CPUtime=10.69 cores=0,2,4,6
/proc/20250/stat : 20250 (bsolo3.0.17) R 20248 20250 18429 0 -1 4202496 6842 0 0 0 1067 2 0 0 20 0 1 0 339528134 28397568 6204 33554432000 134512640 135840783 4290474976 4290474112 6326954 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20250/statm: 6933 6204 349 325 0 5869 0
Current children cumulated CPU time (s) 10.69
Current children cumulated vsize (KiB) 27732

[startup+10.9002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 20251
/proc/meminfo: memFree=30398056/32873648 swapFree=6860/6860
[pid=20250] ppid=20248 vsize=27732 CPUtime=10.89 cores=0,2,4,6
/proc/20250/stat : 20250 (bsolo3.0.17) R 20248 20250 18429 0 -1 4202496 6842 0 0 0 1087 2 0 0 20 0 1 0 339528134 28397568 6204 33554432000 134512640 135840783 4290474976 4290474336 134550804 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/20250/statm: 6933 6204 349 325 0 5869 0
Current children cumulated CPU time (s) 10.89
Current children cumulated vsize (KiB) 27732

Child status: 0
Real time (s): 10.9841
CPU time (s): 10.9783
CPU user time (s): 10.9543
CPU system time (s): 0.023996
CPU usage (%): 99.9472
Max. virtual memory (cumulated for all children) (KiB): 27732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.9543
system time used= 0.023996
maximum resident set size= 24816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6845
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= 11
involuntary context switches= 16

runsolver used 0.019996 second user time and 0.047992 second system time

The end

Launcher Data 

Begin job on node124 at 2012-06-03 16:33:43
IDJOB=3738238
IDBENCH=71836
IDSOLVER=2318
FILE ID=node124/3738238-1338734023
RUNJOBID= node124-1338713740-18445
PBS_JOBID= 14636741
Free space on /tmp= 70700 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-9000opt.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3738238-1338734023/watcher-3738238-1338734023 -o /tmp/evaluation-result-3738238-1338734023/solver-3738238-1338734023 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3738238-1338734023.opb            

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

MD5SUM BENCH= 3178a50232316e72958589cc9e9cd436
RANDOM SEED=413196879

node124.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.325
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5357.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.325
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30422608 kB
Buffers:          202668 kB
Cached:          1382528 kB
SwapCached:         8268 kB
Active:           497232 kB
Inactive:        1186440 kB
Active(anon):      92352 kB
Inactive(anon):     8240 kB
Active(file):     404880 kB
Inactive(file):  1178200 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67091596 kB
Dirty:              7348 kB
Writeback:             0 kB
AnonPages:         97656 kB
Mapped:            10320 kB
Shmem:                 0 kB
Slab:             630320 kB
SReclaimable:      74600 kB
SUnreclaim:       555720 kB
KernelStack:        1472 kB
PageTables:         3880 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     213292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70692 MiB
End job on node124 at 2012-06-03 16:33:54