Trace number 2656544

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.2 CardSAT-14335 1798.03 1798.67

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 benchmark1792.69
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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656544-1276361324.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.003 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.02	c Pre-processing Time: 0.023 s
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    785      112     2598   23     1888    5980      0      0 0.02
0.00/0.02	c Switching off lower bounding mode.
0.05/0.08	c      102    785      215    20557   95     2111    6579    103   1500 0.07
0.05/0.08	o -2047
0.05/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.08	c      125    785      239    24077  100     2181    6014    127   1543 0.08
0.05/0.08	o -4095
0.05/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.08	c      125    785      240    24094  100     2196    6014    128   1506 0.08
0.05/0.08	o -6143
0.05/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.08	c      125    785      241    24111  100     2210    6014    129   1470 0.09
0.05/0.08	o -8191
0.05/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.09	c      125    785      242    24128   99     2222    6014    130   1436 0.09
0.05/0.09	o -10239
0.05/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.09	c      125    785      243    24145   99     2241    6014    131   1404 0.09
0.05/0.09	o -11263
0.05/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.09	c      126    785      246    24249   98     2256    6014    134   1384 0.09
0.05/0.09	o -12287
1.00/1.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.05	c      130    785      251    24815   98     2275    6014    139   1382 0.09
1.00/1.05	c      230    785      351    41328  117     2479    6616    239   1608 0.14
1.00/1.05	c      482    785      604    80108  132     2977    7278    492   1778 0.27
1.00/1.05	c      957    785     1081   139327  128     3930    8006    969   2002 0.48
1.00/1.05	c     1771    785     1897   240817  126     5568    8807   1785   1939 0.91
1.00/1.05	o -14335
1797.95/1798.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1798.65	c     2042    785     2169   273149  125     6125    6014   2057   1937 1.05
1797.95/1798.65	c     2142    785     2269   285183  125     6325    6616   2157   1934 1.11
1797.95/1798.65	c     2393    785     2520   320952  127     6825    7278   2408   1859 1.29
1797.95/1798.65	c     2870    785     2998   397391  132     7785    8006   2886   1724 1.66
1797.95/1798.65	c     3684    785     3814   527429  138     9440    8807   3702   1601 2.30
1797.95/1798.65	c     5006    785     5155   773574  150    12228    9688   5043   1401 3.57
1797.95/1798.65	c     7087    785     7262  1189421  163    16841   10657   7150   1150 6.16
1797.95/1798.65	c    10311    785    10510  1735002  165    23448   11723  10398    929 11.09
1797.95/1798.65	c    15250    785     8902  1721845  193    19799   12896   8790    706 21.58
1797.95/1798.65	c    22759    785     9330  1590226  170    20582   14186   9218    591 38.48
1797.95/1798.65	c    34120    785    13019  2337479  179    28289   15605  12907    527 64.64
1797.95/1798.65	c    51267    785    13240  2281357  172    28655   17166  13128    444 115.40
1797.95/1798.65	c    77086    785    11674  3187553  273    25947   18883  11562    328 234.84
1797.95/1798.65	c   115921    785    10203  1948626  190    22190   20772  10091    288 401.83
1797.95/1798.65	c   174273    785    14068  4357279  309    31050   22850  13956    226 770.60
1797.95/1798.65	c   261909    785    18100  3626804  200    39243   25136  17988    201 1300.19
1797.95/1798.65	c Resources Exceeded
1797.95/1798.65	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.95/1798.65	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.65	c   28   336079  49307   451482    23360  6392876  23248    186 1798.01
1797.95/1798.65	c Objective: -14335
1797.95/1798.65	s SATISFIABLE
1797.95/1798.65	c Total time: 1798.01 s

Verifier Data 

OK	-14335

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656544-1276361324/watcher-2656544-1276361324 -o /tmp/evaluation-result-2656544-1276361324/solver-2656544-1276361324 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656544-1276361324.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 15774
/proc/meminfo: memFree=1851568/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=10924 CPUtime=0
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 11733936 11186176 270 1992294400 134512640 137138936 4292254944 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 2731 270 184 642 0 2087 0

[startup+0.0598229 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 15774
/proc/meminfo: memFree=1851568/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=11032 CPUtime=0.05
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 418 0 0 0 5 0 0 0 20 0 1 0 11733936 11296768 331 1992294400 134512640 137138936 4292254944 18446744073709551615 134601122 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 2758 331 192 642 0 2114 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11032

[startup+0.100846 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 15774
/proc/meminfo: memFree=1851568/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=11256 CPUtime=0.09
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 455 0 0 0 9 0 0 0 20 0 1 0 11733936 11526144 368 1992294400 134512640 137138936 4292254944 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 2814 368 192 642 0 2170 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11256

[startup+0.300869 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 15774
/proc/meminfo: memFree=1851568/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=12060 CPUtime=0.29
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 661 0 0 0 29 0 0 0 20 0 1 0 11733936 12349440 574 1992294400 134512640 137138936 4292254944 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 3015 574 192 642 0 2371 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12060

[startup+0.700947 s]
/proc/loadavg: 1.00 1.00 1.06 3/106 15774
/proc/meminfo: memFree=1851568/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=13552 CPUtime=0.69
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 1024 0 0 0 68 1 0 0 20 0 1 0 11733936 13877248 937 1992294400 134512640 137138936 4292254944 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 3388 937 192 642 0 2744 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13552

[startup+1.5011 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 15775
/proc/meminfo: memFree=1847592/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=15764 CPUtime=1.49
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 1598 0 0 0 148 1 0 0 22 0 1 0 11733936 16142336 1511 1992294400 134512640 137138936 4292254944 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 3941 1511 192 642 0 3297 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15764

[startup+3.10142 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 15775
/proc/meminfo: memFree=1844368/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=20088 CPUtime=3.09
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 2676 0 0 0 306 3 0 0 25 0 1 0 11733936 20570112 2589 1992294400 134512640 137138936 4292254944 18446744073709551615 136504179 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 5022 2589 192 642 0 4378 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20088

[startup+6.30104 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 15775
/proc/meminfo: memFree=1836432/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=27148 CPUtime=6.29
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 4434 0 0 0 625 4 0 0 25 0 1 0 11733936 27799552 4347 1992294400 134512640 137138936 4292254944 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 6787 4347 192 642 0 6143 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27148

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 15775
/proc/meminfo: memFree=1826264/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=36404 CPUtime=12.68
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 6742 0 0 0 1261 7 0 0 25 0 1 0 11733936 37277696 6655 1992294400 134512640 137138936 4292254944 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 9101 6655 192 642 0 8457 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 36404

[startup+25.5008 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 15775
/proc/meminfo: memFree=1822048/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=39532 CPUtime=25.49
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 7529 0 0 0 2540 9 0 0 25 0 1 0 11733936 40480768 7442 1992294400 134512640 137138936 4292254944 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 9883 7442 192 642 0 9239 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39532

[startup+51.1008 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 15777
/proc/meminfo: memFree=1815972/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=45628 CPUtime=51.07
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 9057 0 0 0 5093 14 0 0 25 0 1 0 11733936 46723072 8970 1992294400 134512640 137138936 4292254944 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 11407 8970 192 642 0 10763 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 45628

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.05 2/107 15779
/proc/meminfo: memFree=1812004/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=49384 CPUtime=102.27
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 9994 0 0 0 10206 21 0 0 25 0 1 0 11733936 50569216 9907 1992294400 134512640 137138936 4292254944 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 12346 9907 192 642 0 11702 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 49384

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 15779
/proc/meminfo: memFree=1795512/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=66348 CPUtime=162.24
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 14235 0 0 0 16191 33 0 0 25 0 1 0 11733936 67940352 14148 1992294400 134512640 137138936 4292254944 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 16587 14148 192 642 0 15943 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 66348

[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.04 2/107 15781
/proc/meminfo: memFree=1787824/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=73540 CPUtime=222.21
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 16043 0 0 0 22183 38 0 0 25 0 1 0 11733936 75304960 15956 1992294400 134512640 137138936 4292254944 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 18385 15956 192 642 0 17741 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 73540

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 15783
/proc/meminfo: memFree=1787700/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=73744 CPUtime=282.2
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 16086 0 0 0 28177 43 0 0 25 0 1 0 11733936 75513856 15999 1992294400 134512640 137138936 4292254944 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 18436 15999 192 642 0 17792 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 73744

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 15785
/proc/meminfo: memFree=1787576/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=73732 CPUtime=342.17
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 16086 0 0 0 34171 46 0 0 25 0 1 0 11733936 75501568 15999 1992294400 134512640 137138936 4292254944 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 18433 15999 192 642 0 17789 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 73732

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 15787
/proc/meminfo: memFree=1787576/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=73732 CPUtime=402.15
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 16086 0 0 0 40166 49 0 0 25 0 1 0 11733936 75501568 15999 1992294400 134512640 137138936 4292254944 18446744073709551615 134600601 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 18433 15999 192 642 0 17789 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 73732

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 15787
/proc/meminfo: memFree=1784228/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=77052 CPUtime=462.13
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 16915 0 0 0 46158 55 0 0 25 0 1 0 11733936 78901248 16828 1992294400 134512640 137138936 4292254944 18446744073709551615 136504506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 19263 16828 192 642 0 18619 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 77052

[startup+522.301 s]
/proc/loadavg: 1.04 1.01 1.01 2/107 15789
/proc/meminfo: memFree=1772572/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=88644 CPUtime=522.11
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 19813 0 0 0 52149 62 0 0 25 0 1 0 11733936 90771456 19726 1992294400 134512640 137138936 4292254944 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 22161 19726 192 642 0 21517 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 88644

[startup+582.301 s]
/proc/loadavg: 1.01 1.01 1.01 2/107 15791
/proc/meminfo: memFree=1769100/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=92020 CPUtime=582.09
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 20657 0 0 0 58144 65 0 0 25 0 1 0 11733936 94228480 20570 1992294400 134512640 137138936 4292254944 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 23005 20570 192 642 0 22361 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 92020

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15793
/proc/meminfo: memFree=1769100/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=92020 CPUtime=642.08
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 20657 0 0 0 64139 69 0 0 25 0 1 0 11733936 94228480 20570 1992294400 134512640 137138936 4292254944 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 23005 20570 192 642 0 22361 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 92020

[startup+702.301 s]

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

/proc/meminfo: memFree=1761164/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=99416 CPUtime=1121.89
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 22536 0 0 0 112087 102 0 0 25 0 1 0 11733936 101801984 22430 1992294400 134512640 137138936 4292254944 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 24854 22430 192 642 0 24210 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 99416

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15816
/proc/meminfo: memFree=1761040/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=99416 CPUtime=1181.86
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 22536 0 0 0 118083 103 0 0 25 0 1 0 11733936 101801984 22430 1992294400 134512640 137138936 4292254944 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 24854 22430 192 642 0 24210 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 99416

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15818
/proc/meminfo: memFree=1760916/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=99416 CPUtime=1241.84
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 22536 0 0 0 124077 107 0 0 25 0 1 0 11733936 101801984 22430 1992294400 134512640 137138936 4292254944 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 24854 22430 192 642 0 24210 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 99416

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15820
/proc/meminfo: memFree=1760916/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=99416 CPUtime=1301.83
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 22536 0 0 0 130072 111 0 0 25 0 1 0 11733936 101801984 22430 1992294400 134512640 137138936 4292254944 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 24854 22430 192 642 0 24210 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 99416

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15820
/proc/meminfo: memFree=1760916/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=99340 CPUtime=1361.8
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 22538 0 0 0 136064 116 0 0 25 0 1 0 11733936 101724160 22411 1992294400 134512640 137138936 4292254944 18446744073709551615 136502663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 24835 22411 192 642 0 24191 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 99340

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15822
/proc/meminfo: memFree=1760916/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=99324 CPUtime=1421.79
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 22538 0 0 0 142059 120 0 0 25 0 1 0 11733936 101707776 22407 1992294400 134512640 137138936 4292254944 18446744073709551615 134618096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 24831 22407 192 642 0 24187 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 99324

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15824
/proc/meminfo: memFree=1760916/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=99324 CPUtime=1481.76
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 22538 0 0 0 148053 123 0 0 25 0 1 0 11733936 101707776 22407 1992294400 134512640 137138936 4292254944 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 24831 22407 192 642 0 24187 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 99324

[startup+1542.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 15829
/proc/meminfo: memFree=1751244/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=108592 CPUtime=1541.74
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 24851 0 0 0 154045 129 0 0 25 0 1 0 11733936 111198208 24720 1992294400 134512640 137138936 4292254944 18446744073709551615 136521046 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 27148 24720 192 642 0 26504 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 108592

[startup+1602.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 15831
/proc/meminfo: memFree=1751244/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=108592 CPUtime=1601.72
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 24851 0 0 0 160040 132 0 0 25 0 1 0 11733936 111198208 24720 1992294400 134512640 137138936 4292254944 18446744073709551615 136511209 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 27148 24720 192 642 0 26504 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 108592

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15831
/proc/meminfo: memFree=1751244/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=108592 CPUtime=1661.7
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 24851 0 0 0 166035 135 0 0 25 0 1 0 11733936 111198208 24720 1992294400 134512640 137138936 4292254944 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 27148 24720 192 642 0 26504 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 108592

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15833
/proc/meminfo: memFree=1751244/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=108592 CPUtime=1721.67
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 24851 0 0 0 172028 139 0 0 25 0 1 0 11733936 111198208 24720 1992294400 134512640 137138936 4292254944 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 27148 24720 192 642 0 26504 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 108592

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15835
/proc/meminfo: memFree=1751244/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=108592 CPUtime=1781.66
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 24851 0 0 0 178023 143 0 0 25 0 1 0 11733936 111198208 24720 1992294400 134512640 137138936 4292254944 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 27148 24720 192 642 0 26504 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 108592

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15835
/proc/meminfo: memFree=1751244/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=108592 CPUtime=1791.26
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 24851 0 0 0 178983 143 0 0 25 0 1 0 11733936 111198208 24720 1992294400 134512640 137138936 4292254944 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 27148 24720 192 642 0 26504 0
Current children cumulated CPU time (s) 1791.26
Current children cumulated vsize (KiB) 108592

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15835
/proc/meminfo: memFree=1751244/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=108592 CPUtime=1794.46
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 24851 0 0 0 179303 143 0 0 25 0 1 0 11733936 111198208 24720 1992294400 134512640 137138936 4292254944 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 27148 24720 192 642 0 26504 0
Current children cumulated CPU time (s) 1794.46
Current children cumulated vsize (KiB) 108592

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15835
/proc/meminfo: memFree=1751244/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=108592 CPUtime=1796.05
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 24851 0 0 0 179462 143 0 0 25 0 1 0 11733936 111198208 24720 1992294400 134512640 137138936 4292254944 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 27148 24720 192 642 0 26504 0
Current children cumulated CPU time (s) 1796.05
Current children cumulated vsize (KiB) 108592

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15835
/proc/meminfo: memFree=1751244/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=108592 CPUtime=1796.85
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 24851 0 0 0 179542 143 0 0 25 0 1 0 11733936 111198208 24720 1992294400 134512640 137138936 4292254944 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 27148 24720 192 642 0 26504 0
Current children cumulated CPU time (s) 1796.85
Current children cumulated vsize (KiB) 108592

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15835
/proc/meminfo: memFree=1751244/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=108592 CPUtime=1797.65
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 24851 0 0 0 179622 143 0 0 25 0 1 0 11733936 111198208 24720 1992294400 134512640 137138936 4292254944 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 27148 24720 192 642 0 26504 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (KiB) 108592

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15835
/proc/meminfo: memFree=1751244/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=108592 CPUtime=1797.85
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 24851 0 0 0 179642 143 0 0 25 0 1 0 11733936 111198208 24720 1992294400 134512640 137138936 4292254944 18446744073709551615 135984577 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 27148 24720 192 642 0 26504 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 108592

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 15835
/proc/meminfo: memFree=1751244/2059040 swapFree=4136164/4192956
[pid=15774] ppid=15772 vsize=108592 CPUtime=1797.95
/proc/15774/stat : 15774 (bsolo_pb10) R 15772 15774 15674 0 -1 4202496 24851 0 0 0 179652 143 0 0 25 0 1 0 11733936 111198208 24720 1992294400 134512640 137138936 4292254944 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/15774/statm: 27148 24720 192 642 0 26504 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 108592

Child status: 0
Real time (s): 1798.67
CPU time (s): 1798.03
CPU user time (s): 1796.57
CPU system time (s): 1.45078
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (KiB): 108592

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

runsolver used 2.84857 second user time and 8.61069 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-12 18:48:44
IDJOB=2656544
IDBENCH=1877
IDSOLVER=1162
FILE ID=node011/2656544-1276361324
PBS_JOBID= 11173213
Free space on /tmp= 62264 MiB

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

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

MD5SUM BENCH= 0d06ca66c5954e6533e2fcc6f3f13fb8
RANDOM SEED=2064378909

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:       1852096 kB
Buffers:         35872 kB
Cached:         109744 kB
SwapCached:      11036 kB
Active:          90724 kB
Inactive:        68332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1852096 kB
SwapTotal:     4192956 kB
SwapFree:      4136164 kB
Dirty:            3980 kB
Writeback:           0 kB
AnonPages:       10692 kB
Mapped:           9096 kB
Slab:            25964 kB
PageTables:       4096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181496 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-12 19:18:42