Trace number 3733077

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.17SAT (TO)-32 1800.03 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb
MD5SUM7262f9f4ab1a3ada75b3b140acf97f7d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-40
Best CPU time to get the best result obtained on this benchmark269.661
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41605
Number of constraints which are clauses41605
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 constraint2
Number of terms in the objective function 760
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 760
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 760
Number of bits of the biggest sum of numbers10
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-3733077-1338692260.opb
0.00/0.00	c File size is 993315 bytes.
0.00/0.08	c Highest Coefficient sum: 760
0.00/0.08	c Parsing was ok!!
0.00/0.08	c Total parsing time: 0.079 s
0.00/0.09	c Var: 760 Constr: 41605 41605/0/0 Lit: 83210 Watch. Lit: 83210
0.00/0.09	c Obj. Vars: 760 (100 % of total variables)
0.29/0.34	c Pre-processing Time: 0.334 s
0.29/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.34	c        0    760    41605    83210    2    83210   13868      0      0 0.33
0.29/0.34	c Switching off LPR mode.
0.29/0.34	o -29	0.336
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c        0    760    41606    83970    2    83241   14868      1      0 0.34
0.29/0.35	o -30	0.351
0.48/0.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.48/0.55	c       56    760    41663   125521    3    83385   14868     58    159 0.35
0.48/0.55	c      156    760    41763   198082    4    83585   16355    158    412 0.38
0.48/0.55	c      406    760    42013   379756    9    84085   17991    408    878 0.46
0.48/0.55	o -31	0.545
395.62/395.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
395.62/395.74	c      640    760    42248   550519   13    84586   14868    643   1174 0.55
395.62/395.74	c      741    760    42349   623669   14    84788   16355    744   1290 0.57
395.62/395.74	c      993    760    42601   806231   18    85292   17991    996   1520 0.65
395.62/395.74	c     1468    760    43076  1150703   26    86242   19791   1471   1785 0.82
395.62/395.74	c     2281    760    43889  1740183   39    87868   21771   2284   1926 1.18
395.62/395.74	c     3601    760    45209  2695857   59    90508   23949   3604   1766 2.04
395.62/395.74	c     5682    760    47290  4204452   88    94670   26344   5685   1721 3.30
395.62/395.74	c     8906    760    50514  6540866  129   101118   28979   8909   1471 6.05
395.62/395.74	c    13842    760    55450 10115164  182   110990   31877  13845   1217 11.37
395.62/395.74	c    21349    760    62957 15556738  247   126004   35065  21352    989 21.57
395.62/395.74	c    32710    760    74318 23789082  320   148726   38572  32713    688 47.51
395.62/395.74	c    49855    760    63660 16065482  252   127351   42430  22055    473 105.38
395.62/395.74	c    75674    760    58108 12043736  207   116247   46674  16503    388 194.82
395.62/395.74	c   114508    760    61109 14217329  232   122249   51342  19504    289 395.18
395.62/395.74	o -32	395.673
1800.01/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.01/1800.50	c   115562    760    62164 14982490  241   124391   14868  20559    292 395.67
1800.01/1800.50	c   115662    760    49140  5543652  112    98312   16355   7535    290 397.87
1800.01/1800.50	c   115913    760    49391  5725252  115    98814   17991   7786    291 398.07
1800.01/1800.50	c   116388    760    49866  6068864  121    99764   19791   8261    292 398.27
1800.01/1800.50	c   117201    760    50679  6657488  131   101390   21771   9074    294 398.64
1800.01/1800.50	c   118521    760    51999  7612959  146   104030   23949  10394    296 399.30
1800.01/1800.50	c   120602    760    54080  9118690  168   108192   26344  12475    301 400.52
1800.01/1800.50	c   123825    760    57303 11450267  199   114638   28979  15698    306 403.42
1800.01/1800.50	c   128761    760    62239 15023752  241   124510   31877  20634    315 408.31
1800.01/1800.50	c   136267    760    69745 20459736  293   139522   35065  28140    327 415.97
1800.01/1800.50	c   147628    760    56647 10967461  193   113326   38572  15042    337 437.92
1800.01/1800.50	c   164773    760    73792 23378092  316   147616   42430  32187    340 483.30
1800.01/1800.50	c   190592    760    67962 19157821  281   135956   46674  26357    340 558.97
1800.01/1800.50	c   229424    760    71017 21360858  300   142066   51342  29412    338 678.40
1800.01/1800.50	c   287776    760    89170 34508009  386   178372   56477  47565    315 912.13
1800.01/1800.50	c   375409    760    86004 32215712  374   172040   62125  44399    278 1349.16
1800.01/1800.50	c Caught signal: 15
1800.01/1800.50	v x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1 
1800.01/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.50	c   34   479033  46454   536424    87751 33486448  46146    266 1800.02
1800.01/1800.50	c Objective: -32
1800.01/1800.50	s SATISFIABLE
1800.01/1800.50	c Total time: 1800.02 s

Verifier Data

OK	-32

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-3733077-1338692260/watcher-3733077-1338692260 -o /tmp/evaluation-result-3733077-1338692260/solver-3733077-1338692260 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3733077-1338692260.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: 1.93 1.99 1.99 3/176 563
/proc/meminfo: memFree=26576444/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=1532 CPUtime=0 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4194304 74 0 0 0 0 0 0 0 20 0 1 0 335351692 1568768 28 33554432000 134512640 135840783 4291654048 4291652140 5489604 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/563/statm: 383 28 22 325 0 25 0

[startup+0.098101 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 563
/proc/meminfo: memFree=26576444/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=10656 CPUtime=0.08 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 2230 0 0 0 8 0 0 0 20 0 1 0 335351692 10911744 1923 33554432000 134512640 135840783 4291654048 4291644044 9241648 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/563/statm: 2664 1923 341 325 0 1600 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10656

[startup+0.100235 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 563
/proc/meminfo: memFree=26576444/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=10656 CPUtime=0.08 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 2230 0 0 0 8 0 0 0 20 0 1 0 335351692 10911744 1923 33554432000 134512640 135840783 4291654048 4291644044 9241648 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/563/statm: 2664 1923 341 325 0 1600 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10656

[startup+0.300194 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 563
/proc/meminfo: memFree=26576444/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=11976 CPUtime=0.29 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 2569 0 0 0 28 1 0 0 20 0 1 0 335351692 12263424 2262 33554432000 134512640 135840783 4291654048 4291643868 9241648 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/563/statm: 2994 2262 343 325 0 1930 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11976

[startup+0.700197 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 563
/proc/meminfo: memFree=26576444/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=21248 CPUtime=0.69 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 5460 0 0 0 67 2 0 0 20 0 1 0 335351692 21757952 4563 33554432000 134512640 135840783 4291654048 4291653408 134551330 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/563/statm: 5312 4565 348 325 0 4248 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21248

[startup+1.50019 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 564
/proc/meminfo: memFree=26551000/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=38044 CPUtime=1.49 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 9680 0 0 0 146 3 0 0 20 0 1 0 335351692 38957056 8783 33554432000 134512640 135840783 4291654048 4291653408 134551175 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/563/statm: 9511 8783 348 325 0 8447 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38044

[startup+3.10022 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 564
/proc/meminfo: memFree=26532136/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=61404 CPUtime=3.08 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 15518 0 0 0 304 4 0 0 20 0 1 0 335351692 62877696 14621 33554432000 134512640 135840783 4291654048 4291653408 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/563/statm: 15351 14621 348 325 0 14287 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 61404

[startup+6.30024 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 564
/proc/meminfo: memFree=26481776/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=99752 CPUtime=6.29 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 25102 0 0 0 623 6 0 0 20 0 1 0 335351692 102146048 24205 33554432000 134512640 135840783 4291654048 4291644416 134586540 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 24938 24205 348 325 0 23874 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 99752

[startup+12.7003 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 564
/proc/meminfo: memFree=26410740/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=160548 CPUtime=12.68 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 40289 0 0 0 1260 8 0 0 20 0 1 0 335351692 164401152 39392 33554432000 134512640 135840783 4291654048 4291644160 6001959 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 40137 39392 348 325 0 39073 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 160548

[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 564
/proc/meminfo: memFree=26300132/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=245624 CPUtime=25.48 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 61561 0 0 0 2536 12 0 0 20 0 1 0 335351692 251518976 60664 33554432000 134512640 135840783 4291654048 4291644208 6001959 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 61406 60664 348 325 0 60342 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 245624

[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 564
/proc/meminfo: memFree=26119044/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=352208 CPUtime=51.08 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 88212 0 0 0 5090 18 0 0 20 0 1 0 335351692 360660992 87315 33554432000 134512640 135840783 4291654048 4291653408 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 88052 87315 348 325 0 86988 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 352208

[startup+102.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 565
/proc/meminfo: memFree=25951316/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=376856 CPUtime=102.28 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 94408 0 0 0 10209 19 0 0 20 0 1 0 335351692 385900544 93472 33554432000 134512640 135840783 4291654048 4291653408 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 94214 93472 348 325 0 93150 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 376856

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 568
/proc/meminfo: memFree=25703212/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=388444 CPUtime=162.26 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 97309 0 0 0 16207 19 0 0 20 0 1 0 335351692 397766656 96373 33554432000 134512640 135840783 4291654048 4291653408 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 97111 96373 348 325 0 96047 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 388444

[startup+222.307 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 591
/proc/meminfo: memFree=25487852/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=412936 CPUtime=222.25 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 103471 0 0 0 22205 20 0 0 20 0 1 0 335351692 422846464 102492 33554432000 134512640 135840783 4291654048 4291653408 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 103234 102492 348 325 0 102170 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 412936

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 591
/proc/meminfo: memFree=25378148/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=412936 CPUtime=282.24 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 103471 0 0 0 28204 20 0 0 20 0 1 0 335351692 422846464 102492 33554432000 134512640 135840783 4291654048 4291653408 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 103234 102492 348 325 0 102170 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 412936

[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 591
/proc/meminfo: memFree=25274884/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=441784 CPUtime=342.23 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 110680 0 0 0 34201 22 0 0 20 0 1 0 335351692 452386816 109701 33554432000 134512640 135840783 4291654048 4291653408 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 110446 109701 348 325 0 109382 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 441784

[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 592
/proc/meminfo: memFree=25193444/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=452412 CPUtime=402.22 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 113374 0 0 0 40199 23 0 0 20 0 1 0 335351692 463269888 112348 33554432000 134512640 135840783 4291654048 4291653408 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 113103 112348 348 325 0 112039 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 452412

[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 592
/proc/meminfo: memFree=25122668/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=452412 CPUtime=462.21 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 113374 0 0 0 46198 23 0 0 20 0 1 0 335351692 463269888 112348 33554432000 134512640 135840783 4291654048 4291650416 134573224 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 113103 112348 348 325 0 112039 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 452412

[startup+522.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/177 592
/proc/meminfo: memFree=24904580/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=452412 CPUtime=522.21 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 113374 0 0 0 52198 23 0 0 20 0 1 0 335351692 463269888 112348 33554432000 134512640 135840783 4291654048 4291653408 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 113103 112348 348 325 0 112039 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 452412

[startup+582.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 592
/proc/meminfo: memFree=24756924/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=452412 CPUtime=582.2 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 113374 0 0 0 58197 23 0 0 20 0 1 0 335351692 463269888 112348 33554432000 134512640 135840783 4291654048 4291644540 13871892 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 113103 112348 348 325 0 112039 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 452412

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 596
/proc/meminfo: memFree=24274180/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=495036 CPUtime=822.16 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 124142 0 0 0 82191 25 0 0 20 0 1 0 335351692 506916864 123031 33554432000 134512640 135840783 4291654048 4291653408 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 123759 123031 348 325 0 122695 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 495036

[startup+882.307 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 596
/proc/meminfo: memFree=24200800/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=495036 CPUtime=882.15 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 124142 0 0 0 88190 25 0 0 20 0 1 0 335351692 506916864 123031 33554432000 134512640 135840783 4291654048 4291653408 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 123759 123031 348 325 0 122695 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 495036

[startup+942.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 596
/proc/meminfo: memFree=24102000/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=543112 CPUtime=942.14 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 136198 0 0 0 94186 28 0 0 20 0 1 0 335351692 556146688 135031 33554432000 134512640 135840783 4291654048 4291653408 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 135778 135031 348 325 0 134714 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 543112

[startup+1002.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 597
/proc/meminfo: memFree=24037548/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=543112 CPUtime=1002.13 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 136198 0 0 0 100185 28 0 0 20 0 1 0 335351692 556146688 135031 33554432000 134512640 135840783 4291654048 4291653408 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 135778 135031 348 325 0 134714 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 543112

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 598
/proc/meminfo: memFree=22839480/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=543112 CPUtime=1062.12 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 136198 0 0 0 106184 28 0 0 20 0 1 0 335351692 556146688 135031 33554432000 134512640 135840783 4291654048 4291653408 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 135778 135031 348 325 0 134714 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 543112

[startup+1122.3 s]
/proc/loadavg: 3.87 2.53 2.18 2/178 598
/proc/meminfo: memFree=15185204/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=543112 CPUtime=1122.11 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 136198 0 0 0 112182 29 0 0 20 0 1 0 335351692 556146688 135031 33554432000 134512640 135840783 4291654048 4291653408 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 135778 135031 348 325 0 134714 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 543112

[startup+1182.3 s]
/proc/loadavg: 4.58 2.98 2.35 2/178 598
/proc/meminfo: memFree=15185852/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=543372 CPUtime=1182.1 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 136252 0 0 0 118180 30 0 0 20 0 1 0 335351692 556412928 135085 33554432000 134512640 135840783 4291654048 4291644256 5999340 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 135843 135085 348 325 0 134779 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 543372

[startup+1242.3 s]
/proc/loadavg: 4.12 3.18 2.46 3/178 637
/proc/meminfo: memFree=27905012/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=542880 CPUtime=1242.09 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 136259 0 0 0 124179 30 0 0 20 0 1 0 335351692 555909120 134995 33554432000 134512640 135840783 4291654048 4291653408 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 135720 134995 348 325 0 134656 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 542880

[startup+1302.3 s]
/proc/loadavg: 2.78 2.96 2.43 3/177 638
/proc/meminfo: memFree=27545472/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=542880 CPUtime=1302.05 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 136307 0 0 0 130175 30 0 0 20 0 1 0 335351692 555909120 134995 33554432000 134512640 135840783 4291654048 4291653408 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 135720 134995 348 325 0 134656 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 542880

[startup+1362.3 s]
/proc/loadavg: 2.28 2.78 2.40 3/178 641
/proc/meminfo: memFree=27275856/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=542880 CPUtime=1362 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 136355 0 0 0 136170 30 0 0 20 0 1 0 335351692 555909120 134995 33554432000 134512640 135840783 4291654048 4291653408 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 135720 134995 348 325 0 134656 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 542880

[startup+1422.3 s]
/proc/loadavg: 2.10 2.64 2.37 3/177 641
/proc/meminfo: memFree=27028388/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=595644 CPUtime=1421.97 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 149624 0 0 0 142164 33 0 0 20 0 1 0 335351692 609939456 148158 33554432000 134512640 135840783 4291654048 4291653472 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 148911 148158 348 325 0 147847 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 595644

[startup+1482.3 s]
/proc/loadavg: 2.04 2.52 2.34 3/177 641
/proc/meminfo: memFree=26970880/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=595644 CPUtime=1481.92 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 149670 0 0 0 148159 33 0 0 20 0 1 0 335351692 609939456 148158 33554432000 134512640 135840783 4291654048 4291653408 134551076 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 148911 148158 348 325 0 147847 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 595644

[startup+1542.31 s]
/proc/loadavg: 2.01 2.42 2.32 3/177 641
/proc/meminfo: memFree=26912876/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=595644 CPUtime=1541.88 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 149717 0 0 0 154155 33 0 0 20 0 1 0 335351692 609939456 148158 33554432000 134512640 135840783 4291654048 4291653408 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 148911 148158 348 325 0 147847 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 595644

[startup+1602.3 s]
/proc/loadavg: 2.00 2.34 2.30 3/177 642
/proc/meminfo: memFree=26867040/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=595644 CPUtime=1601.84 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 149757 0 0 0 160151 33 0 0 20 0 1 0 335351692 609939456 148158 33554432000 134512640 135840783 4291654048 4291653328 6004320 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 148911 148158 348 325 0 147847 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 595644

[startup+1662.3 s]
/proc/loadavg: 2.00 2.28 2.27 3/177 642
/proc/meminfo: memFree=26810648/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=596064 CPUtime=1661.83 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 149858 0 0 0 166150 33 0 0 20 0 1 0 335351692 610369536 148259 33554432000 134512640 135840783 4291654048 4291653360 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 149016 148259 348 325 0 147952 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 596064

[startup+1722.3 s]
/proc/loadavg: 2.00 2.22 2.26 3/177 642
/proc/meminfo: memFree=26765044/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=596064 CPUtime=1721.82 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 149858 0 0 0 172149 33 0 0 20 0 1 0 335351692 610369536 148259 33554432000 134512640 135840783 4291654048 4291653408 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 149016 148259 348 325 0 147952 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 596064

[startup+1782.3 s]
/proc/loadavg: 2.05 2.20 2.24 3/178 643
/proc/meminfo: memFree=26585884/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=596064 CPUtime=1781.81 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 149858 0 0 0 178148 33 0 0 20 0 1 0 335351692 610369536 148259 33554432000 134512640 135840783 4291654048 4291653120 5999340 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 149016 148259 348 325 0 147952 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 596064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.03 2.18 2.24 3/177 643
/proc/meminfo: memFree=26531416/32873844 swapFree=7112/7112
[pid=563] ppid=561 vsize=596064 CPUtime=1800.01 cores=0,2,4,6
/proc/563/stat : 563 (bsolo3.0.17) R 561 563 31541 0 -1 4202496 149858 0 0 0 179968 33 0 0 20 0 1 0 335351692 610369536 148259 33554432000 134512640 135840783 4291654048 4291653408 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/563/statm: 149016 148259 348 325 0 147952 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 596064

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 15
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.69
CPU system time (s): 0.337948
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 596064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.337948
maximum resident set size= 593036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149861
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= 294
involuntary context switches= 1987

runsolver used 3.49247 second user time and 8.96264 second system time

The end

Launcher Data

Begin job on node119 at 2012-06-03 04:57:40
IDJOB=3733077
IDBENCH=2244
IDSOLVER=2318
FILE ID=node119/3733077-1338692260
RUNJOBID= node119-1338678620-31560
PBS_JOBID= 14636694
Free space on /tmp= 70892 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-4.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3733077-1338692260/watcher-3733077-1338692260 -o /tmp/evaluation-result-3733077-1338692260/solver-3733077-1338692260 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3733077-1338692260.opb            

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

MD5SUM BENCH= 7262f9f4ab1a3ada75b3b140acf97f7d
RANDOM SEED=592275195

node119.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		: 2666.943
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	: 5333.88
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		: 2666.943
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	: 5331.91
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		: 2666.943
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	: 5331.93
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		: 2666.943
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	: 5331.91
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		: 2666.943
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	: 5331.93
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		: 2666.943
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	: 5331.92
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		: 2666.943
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	: 5331.90
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		: 2666.943
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26576792 kB
Buffers:          391692 kB
Cached:          2946784 kB
SwapCached:         1936 kB
Active:          3583324 kB
Inactive:        1889132 kB
Active(anon):    2129640 kB
Inactive(anon):     6624 kB
Active(file):    1453684 kB
Inactive(file):  1882508 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100224 kB
Dirty:              7392 kB
Writeback:             0 kB
AnonPages:       2139748 kB
Mapped:            13112 kB
Shmem:                 0 kB
Slab:             681784 kB
SReclaimable:     123924 kB
SUnreclaim:       557860 kB
KernelStack:        1456 kB
PageTables:         8188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2252580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    931840 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70884 MiB
End job on node119 at 2012-06-03 05:27:43