Trace number 1879963

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 pbSAT-12287 1798.4 1798.85

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 benchmark1802.22
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.1 - 13/04/2009 : 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: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1879963-1245135700.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.002 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.021 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.00/0.03	o -1023
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c       23    785      159    10078   63     3839    6014     47    621 0.04
0.00/0.04	o -2047
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c       23    785      160    10095   63     3864    6014     48    534 0.04
0.00/0.06	o -3071
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c       42    785      199    17032   85     5155    6014     87    700 0.06
0.00/0.07	o -4095
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c       44    785      204    17619   86     5366    6014     92    637 0.07
0.00/0.07	o -5119
0.00/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.08	c       45    785      207    17866   86     5319    6014     95    584 0.08
0.00/0.08	o -6143
0.09/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.09	c       45    785      208    17883   85     5306    6014     96    535 0.08
0.09/0.09	o -7167
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c       49    785      217    18840   86     5664    6014    105    521 0.09
0.09/0.10	o -8191
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c       49    785      218    18857   86     5648    6014    106    480 0.10
0.09/0.11	o -9215
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c       49    785      219    18874   86     5690    6014    107    449 0.11
0.09/0.11	o -10239
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c       49    785      220    18891   85     5673    6014    108    418 0.12
0.29/0.31	c      152    785      426    55098  129    12893    6616    314    684 0.22
0.29/0.31	o -11263
0.29/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.34	c      204    785      530    75225  141    16381    6014    418    643 0.32
0.29/0.34	o -12287
1798.33/1798.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.33/1798.84	c      205    785      533    75477  141    16454    6014    421    602 0.34
1798.33/1798.84	c      305    785      733   112455  153    24465    6616    621    552 0.55
1798.33/1798.84	c      555    785     1222   208059  170    52822    7278   1110    225 2.47
1798.33/1798.84	c     1030    785     2125   437489  205   108942    8006   2013     72 14.27
1798.33/1798.84	c     1843    785     3728   806743  216   241094    8807   3616     36 51.17
1798.33/1798.84	c     3163    785     6302  1503129  238   444953    9688   6190     11 283.23
1798.33/1798.84	c     5244    785     5373  1528682  284   434322   10657   5261      5 914.60
1798.33/1798.84	c Resources Exceeded
1798.33/1798.84	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 
1798.33/1798.84	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.33/1798.84	c   19     8286   3668   389054     5836  1509421   5724      4 1798.39
1798.33/1798.84	c Objective: -12287
1798.33/1798.84	s SATISFIABLE
1798.33/1798.84	c Total time: 1798.39 s

Verifier Data 

OK	-12287

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879963-1245135700/watcher-1879963-1245135700 -o /tmp/evaluation-result-1879963-1245135700/solver-1879963-1245135700 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879963-1245135700.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.00 3/64 1919
/proc/meminfo: memFree=1946136/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=10848 CPUtime=0
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 181170200 11108352 273 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 2712 273 188 640 0 2068 0

[startup+0.094748 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1919
/proc/meminfo: memFree=1946136/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=11104 CPUtime=0.09
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 391 0 0 0 9 0 0 0 18 0 1 0 181170200 11370496 370 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 2776 370 197 640 0 2132 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11104

[startup+0.101748 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1919
/proc/meminfo: memFree=1946136/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=11104 CPUtime=0.09
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 391 0 0 0 9 0 0 0 18 0 1 0 181170200 11370496 370 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 2776 370 197 640 0 2132 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11104

[startup+0.301767 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1919
/proc/meminfo: memFree=1946136/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=12120 CPUtime=0.29
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 635 0 0 0 29 0 0 0 19 0 1 0 181170200 12410880 614 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 3030 614 198 640 0 2386 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12120

[startup+0.701806 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1919
/proc/meminfo: memFree=1946136/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=13176 CPUtime=0.69
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 902 0 0 0 69 0 0 0 22 0 1 0 181170200 13492224 881 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 3294 881 198 640 0 2650 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13176

[startup+1.50188 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1942992/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=14220 CPUtime=1.49
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 1150 0 0 0 149 0 0 0 25 0 1 0 181170200 14561280 1129 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 3555 1129 198 640 0 2911 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14220

[startup+3.10104 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1941712/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=15392 CPUtime=3.09
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 1444 0 0 0 308 1 0 0 25 0 1 0 181170200 15761408 1423 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 3848 1423 198 640 0 3204 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15392

[startup+6.30135 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1939544/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=16948 CPUtime=6.29
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 1854 0 0 0 627 2 0 0 25 0 1 0 181170200 17354752 1833 1992294400 134512640 137136520 4294956256 18446744073709551615 134544259 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 4237 1833 198 640 0 3593 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16948

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1936984/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=19440 CPUtime=12.68
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 2450 0 0 0 1265 3 0 0 25 0 1 0 181170200 19906560 2429 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 4860 2429 198 640 0 4216 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19440

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1934360/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=22056 CPUtime=25.49
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 3106 0 0 0 2544 5 0 0 25 0 1 0 181170200 22585344 3085 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 5514 3085 198 640 0 4870 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22056

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1928088/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=28328 CPUtime=51.07
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 4672 0 0 0 5099 8 0 0 25 0 1 0 181170200 29007872 4651 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 7082 4651 198 640 0 6438 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 28328

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1921496/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=34856 CPUtime=102.26
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 6304 0 0 0 10215 11 0 0 25 0 1 0 181170200 35692544 6283 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 8714 6283 198 640 0 8070 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 34856

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1918168/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=38140 CPUtime=162.24
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 7153 0 0 0 16211 13 0 0 25 0 1 0 181170200 39055360 7132 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 9535 7132 198 640 0 8891 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 38140

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1914648/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=41548 CPUtime=222.23
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 7999 0 0 0 22207 16 0 0 25 0 1 0 181170200 42545152 7978 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 10387 7978 198 640 0 9743 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 41548

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1911832/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=44296 CPUtime=282.21
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 8687 0 0 0 28203 18 0 0 25 0 1 0 181170200 45359104 8666 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 11074 8666 198 640 0 10430 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 44296

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1908824/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=47328 CPUtime=342.2
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 9422 0 0 0 34199 21 0 0 25 0 1 0 181170200 48463872 9401 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 11832 9401 198 640 0 11188 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 47328

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1906648/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=49560 CPUtime=402.18
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 9994 0 0 0 40195 23 0 0 25 0 1 0 181170200 50749440 9973 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 12390 9973 198 640 0 11746 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 49560

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1904600/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=51388 CPUtime=462.17
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 10468 0 0 0 46192 25 0 0 25 0 1 0 181170200 52621312 10447 1992294400 134512640 137136520 4294956256 18446744073709551615 134576281 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 12847 10447 198 640 0 12203 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 51388

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1902424/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=53880 CPUtime=522.16
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 11065 0 0 0 52188 28 0 0 25 0 1 0 181170200 55173120 11044 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 13470 11044 198 640 0 12826 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 53880

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1900312/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=55720 CPUtime=582.14
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 11528 0 0 0 58184 30 0 0 25 0 1 0 181170200 57057280 11507 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 13930 11507 198 640 0 13286 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 55720

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1897048/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=58856 CPUtime=642.13
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 12333 0 0 0 64180 33 0 0 25 0 1 0 181170200 60268544 12312 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 14714 12312 198 640 0 14070 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 58856

[startup+702.301 s]

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

/proc/meminfo: memFree=1889688/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=66072 CPUtime=1122
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 14128 0 0 0 112153 47 0 0 25 0 1 0 181170200 67657728 14107 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 16518 14107 198 640 0 15874 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 66072

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1889688/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=66072 CPUtime=1181.99
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 14128 0 0 0 118150 49 0 0 25 0 1 0 181170200 67657728 14107 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 16518 14107 198 640 0 15874 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 66072

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1889560/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=66072 CPUtime=1241.98
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 14128 0 0 0 124148 50 0 0 25 0 1 0 181170200 67657728 14107 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 16518 14107 198 640 0 15874 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 66072

[startup+1302.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 1920
/proc/meminfo: memFree=1889560/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=66072 CPUtime=1301.97
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 14128 0 0 0 130146 51 0 0 25 0 1 0 181170200 67657728 14107 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 16518 14107 198 640 0 15874 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 66072

[startup+1362.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 1920
/proc/meminfo: memFree=1889560/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=66072 CPUtime=1361.95
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 14128 0 0 0 136142 53 0 0 25 0 1 0 181170200 67657728 14107 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 16518 14107 198 640 0 15874 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 66072

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1889240/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=66332 CPUtime=1421.94
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 14199 0 0 0 142139 55 0 0 25 0 1 0 181170200 67923968 14178 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 16583 14178 198 640 0 15939 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 66332

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1887832/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=67764 CPUtime=1481.92
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 14544 0 0 0 148135 57 0 0 25 0 1 0 181170200 69390336 14523 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 16941 14523 198 640 0 16297 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 67764

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1887128/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=68412 CPUtime=1541.9
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 14714 0 0 0 154132 58 0 0 25 0 1 0 181170200 70053888 14693 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 17103 14693 198 640 0 16459 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 68412

[startup+1602.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 1920
/proc/meminfo: memFree=1885848/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=69724 CPUtime=1601.89
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 15034 0 0 0 160129 60 0 0 25 0 1 0 181170200 71397376 15013 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 17431 15013 198 640 0 16787 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 69724

[startup+1662.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 1920
/proc/meminfo: memFree=1884824/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=70772 CPUtime=1661.87
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 15284 0 0 0 166126 61 0 0 25 0 1 0 181170200 72470528 15263 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 17693 15263 198 640 0 17049 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 70772

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1882840/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=72692 CPUtime=1721.86
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 15767 0 0 0 172123 63 0 0 25 0 1 0 181170200 74436608 15746 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 18173 15746 198 640 0 17529 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 72692

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1881816/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=73588 CPUtime=1781.84
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 16003 0 0 0 178119 65 0 0 25 0 1 0 181170200 75354112 15982 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 18397 15982 198 640 0 17753 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 73588

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1881816/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=73588 CPUtime=1791.44
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 16003 0 0 0 179079 65 0 0 25 0 1 0 181170200 75354112 15982 1992294400 134512640 137136520 4294956256 18446744073709551615 134576281 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 18397 15982 198 640 0 17753 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 73588

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1881816/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=73588 CPUtime=1794.64
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 16003 0 0 0 179399 65 0 0 25 0 1 0 181170200 75354112 15982 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 18397 15982 198 640 0 17753 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 73588

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1881816/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=73588 CPUtime=1796.23
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 16003 0 0 0 179558 65 0 0 25 0 1 0 181170200 75354112 15982 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 18397 15982 198 640 0 17753 0
Current children cumulated CPU time (s) 1796.23
Current children cumulated vsize (KiB) 73588

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1881816/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=73588 CPUtime=1797.03
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 16003 0 0 0 179638 65 0 0 25 0 1 0 181170200 75354112 15982 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 18397 15982 198 640 0 17753 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (KiB) 73588

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1881816/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=73588 CPUtime=1797.83
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 16003 0 0 0 179718 65 0 0 25 0 1 0 181170200 75354112 15982 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 18397 15982 198 640 0 17753 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 73588

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1881816/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=73588 CPUtime=1798.23
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 16003 0 0 0 179758 65 0 0 25 0 1 0 181170200 75354112 15982 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 18397 15982 198 640 0 17753 0
Current children cumulated CPU time (s) 1798.23
Current children cumulated vsize (KiB) 73588

[startup+1798.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1920
/proc/meminfo: memFree=1881816/2055920 swapFree=4181652/4192956
[pid=1919] ppid=1916 vsize=73588 CPUtime=1798.33
/proc/1919/stat : 1919 (bsolo) R 1916 1919 1289 0 -1 4194304 16003 0 0 0 179768 65 0 0 25 0 1 0 181170200 75354112 15982 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1919/statm: 18397 15982 198 640 0 17753 0
Current children cumulated CPU time (s) 1798.33
Current children cumulated vsize (KiB) 73588

Child status: 0
Real time (s): 1798.85
CPU time (s): 1798.4
CPU user time (s): 1797.73
CPU system time (s): 0.669898
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 73588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.73
system time used= 0.669898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16005
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= 2
involuntary context switches= 2264

runsolver used 1.39379 second user time and 3.84241 second system time

The end

Launcher Data 

Begin job on node18 at 2009-06-16 09:01:40
IDJOB=1879963
IDBENCH=1877
IDSOLVER=701
FILE ID=node18/1879963-1245135700
PBS_JOBID= 9363698
Free space on /tmp= 66172 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879963-1245135700/watcher-1879963-1245135700 -o /tmp/evaluation-result-1879963-1245135700/solver-1879963-1245135700 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879963-1245135700.opb

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

MD5SUM BENCH= 0d06ca66c5954e6533e2fcc6f3f13fb8
RANDOM SEED=801672225

node18.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.236
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.236
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1946552 kB
Buffers:          9544 kB
Cached:          55516 kB
SwapCached:       5524 kB
Active:          34660 kB
Inactive:        38256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1946552 kB
SwapTotal:     4192956 kB
SwapFree:      4181652 kB
Dirty:            3956 kB
Writeback:           0 kB
Mapped:          12900 kB
Slab:            22444 kB
Committed_AS:   141880 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66168 MiB
End job on node18 at 2009-06-16 09:31:39