Trace number 3732164

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)64 1800.11 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb
MD5SUMc260403f4942794773ec12b2770e1c07
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark64
Best CPU time to get the best result obtained on this benchmark0.067989
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 64
Optimality of the best value was proved YES
Number of variables672
Total number of constraints2030
Number of constraints which are clauses2006
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint28
Number of terms in the objective function 672
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 672
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 672
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-3732164-1338689729.opb
0.00/0.00	c File size is 73216 bytes.
0.00/0.01	c Highest Coefficient sum: 672
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.005 s
0.00/0.01	c Var: 672 Constr: 2030 2006/24/0 Lit: 6728 Watch. Lit: 4636
0.00/0.01	c Obj. Vars: 672 (100 % of total variables)
0.00/0.01	c Pre-processing Time: 0.01 s
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        0    560     1806     6280    3     4188    6194      0      0 0.01
0.00/0.05	c Initial Lower Bound: 63
0.00/0.05	c Initial Path Cost: 14
25.37/25.49	c      100    560     1906     7125    3     4388    6814    100   2040 0.05
25.37/25.49	c      250    560     2056     9434    4     4688    7496    250   4545 0.06
25.37/25.49	c      476    560     2282    11886    5     5140    8246    476   7803 0.06
25.37/25.49	c      814    560     2620    15274    5     5816    9071    814  11150 0.07
25.37/25.49	c     1322    560     3128    20737    6     6832    9979   1322  14688 0.09
25.37/25.49	c     2085    560     3891    32035    8     8358   10977   2085  16951 0.12
25.37/25.49	c     3231    560     5037    54278   10    10650   12075   3231  18151 0.18
25.37/25.49	c     4952    560     6758    98660   14    14092   13283   4952  15922 0.31
25.37/25.49	c     7538    560     9344   164144   17    19264   14612   7538  15015 0.50
25.37/25.49	c    11417    560    13223   270162   20    27022   16074  11417  11382 1.00
25.37/25.49	c    17240    560    10703   191126   17    21982   17682   8897   8360 2.06
25.37/25.49	c    25978    560    19441   409292   21    39458   19451  17635   6479 4.01
25.37/25.49	c    39090    560    12742   277381   21    26060   21397  10936   5202 7.51
25.37/25.49	c    58760    560    21553   500896   23    43682   23537  19747   4735 12.41
25.37/25.49	c    88275    559    15271   358808   23    31117   25891  13465   4169 21.17
25.37/25.49	o 70	25.476
25.47/25.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.47/25.55	c   102401    557    15929   417816   26    32922    7280  14123   4019 25.48
25.47/25.55	o 66	25.534 * 
25.57/25.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.57/25.63	c   102401    557     5493   105006   19    12542    7280   3687   4010 25.53
25.57/25.63	o 64	25.615 * 
1800.10/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.10/1800.40	c   102406    555     5504   105586   19    13054    7276   3698   3997 25.61
1800.10/1800.40	c   102507    554     5607   106976   19    13267    8004   3801   3701 27.70
1800.10/1800.40	c   102757    554     5857   111435   19    13768    8805   4051   3278 31.34
1800.10/1800.40	c   103233    554     6333   118992   18    14717    9686   4527   2605 39.63
1800.10/1800.40	c   104046    554     7146   133269   18    16334   10655   5340   2075 50.12
1800.10/1800.40	c   105366    554     8466   161191   19    18986   11721   6660   1459 72.17
1800.10/1800.40	c   107448    554    10548   208940   19    23144   12894   8742   1108 96.90
1800.10/1800.40	c   110672    554    13772   273074   19    29592   14184  11966    731 151.35
1800.10/1800.40	c   115608    554    11475   228246   19    24016   15603   9669    524 220.25
1800.10/1800.40	c   123115    554    11020   284685   25    23104   17164   9214    392 313.65
1800.10/1800.40	c   134479    554    13586   538282   39    28235   18881  11780    322 416.72
1800.10/1800.40	c   151623    554    11512   441640   38    24088   20770   9706    256 591.97
1800.10/1800.40	c   177442    554    16254   571896   35    33573   22848  14448    212 834.12
1800.10/1800.40	c   216274    554    20438   679830   33    41942   25133  18632    171 1262.18
1800.10/1800.40	c Caught signal: 15
1800.10/1800.40	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 x119 -x120 -x121 x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 -x211 -x212 -x213 x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 x320 x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 -x484 x485 x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 
1800.10/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.10/1800.40	c   31   264458  92318   510013    17950   588428  16144    146 1800.11
1800.10/1800.40	c Objective: 64
1800.10/1800.40	s SATISFIABLE
1800.10/1800.40	c Total time: 1800.11 s

Verifier Data 

OK	64

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-3732164-1338689729/watcher-3732164-1338689729 -o /tmp/evaluation-result-3732164-1338689729/solver-3732164-1338689729 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3732164-1338689729.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8441
/proc/meminfo: memFree=27568028/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4194304 127 0 0 0 0 0 0 0 20 0 1 0 335097270 4583424 78 33554432000 134512640 135840783 4291001408 4291000324 12260673 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8441/statm: 1119 99 81 325 0 39 0

[startup+0.0828089 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8441
/proc/meminfo: memFree=27568028/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=5348 CPUtime=0.07 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 1037 0 0 0 7 0 0 0 20 0 1 0 335097270 5476352 697 33554432000 134512640 135840783 4291001408 4291000768 134550872 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8441/statm: 1337 697 433 325 0 273 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5348

[startup+0.100268 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8441
/proc/meminfo: memFree=27568028/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=5484 CPUtime=0.09 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 1066 0 0 0 9 0 0 0 20 0 1 0 335097270 5615616 726 33554432000 134512640 135840783 4291001408 4291000144 1582375 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8441/statm: 1371 726 433 325 0 307 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5484

[startup+0.300225 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8441
/proc/meminfo: memFree=27568028/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=6816 CPUtime=0.28 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 1394 0 0 0 28 0 0 0 20 0 1 0 335097270 6979584 1054 33554432000 134512640 135840783 4291001408 4290999616 1582375 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8441/statm: 1704 1054 433 325 0 640 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6816

[startup+0.700226 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 8441
/proc/meminfo: memFree=27568028/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=8812 CPUtime=0.68 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 1885 0 0 0 68 0 0 0 20 0 1 0 335097270 9023488 1545 33554432000 134512640 135840783 4291001408 4290999632 1582375 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8441/statm: 2203 1545 433 325 0 1139 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8812

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8442
/proc/meminfo: memFree=27562160/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=10680 CPUtime=1.48 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 2369 0 0 0 148 0 0 0 20 0 1 0 335097270 10936320 2029 33554432000 134512640 135840783 4291001408 4291000928 134552000 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8441/statm: 2670 2029 433 325 0 1606 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10680

[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8442
/proc/meminfo: memFree=27560052/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=11616 CPUtime=3.08 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 2572 0 0 0 308 0 0 0 20 0 1 0 335097270 11894784 2232 33554432000 134512640 135840783 4291001408 4291000768 134551339 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8441/statm: 2904 2232 433 325 0 1840 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11616

[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8442
/proc/meminfo: memFree=27558068/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=13476 CPUtime=6.28 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 3037 0 0 0 628 0 0 0 20 0 1 0 335097270 13799424 2697 33554432000 134512640 135840783 4291001408 4291000688 1584718 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8441/statm: 3369 2697 433 325 0 2305 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13476

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8442
/proc/meminfo: memFree=27555900/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=14668 CPUtime=12.67 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 3338 0 0 0 1267 0 0 0 20 0 1 0 335097270 15020032 2995 33554432000 134512640 135840783 4291001408 4291000768 134550779 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8441/statm: 3667 2995 433 325 0 2603 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 14668

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8442
/proc/meminfo: memFree=27553548/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=17668 CPUtime=25.47 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 4090 0 0 0 2547 0 0 0 20 0 1 0 335097270 18092032 3745 33554432000 134512640 135840783 4291001408 4291000832 134546112 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8441/statm: 4417 3745 433 325 0 3353 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 17668

[startup+51.1002 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 8671
/proc/meminfo: memFree=27582716/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=19216 CPUtime=51.06 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 553542 0 0 0 5024 82 0 0 20 0 1 0 335097270 19677184 3796 33554432000 134512640 135840783 4291001408 4290999248 135254588 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/8441/statm: 4804 3797 433 325 0 3740 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 19216

[startup+102.306 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 8709
/proc/meminfo: memFree=27581908/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=19988 CPUtime=102.26 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 1773434 0 0 0 9974 252 0 0 20 0 1 0 335097270 20467712 3862 33554432000 134512640 135840783 4291001408 4290998460 134687754 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 4997 3862 433 325 0 3933 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 19988

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 8709
/proc/meminfo: memFree=27581344/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=19880 CPUtime=162.24 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 3117732 0 0 0 15783 441 0 0 20 0 1 0 335097270 20357120 3808 33554432000 134512640 135840783 4291001408 4290999884 135332249 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 4970 3808 433 325 0 3906 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 19880

[startup+222.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 8938
/proc/meminfo: memFree=27576748/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=19204 CPUtime=222.23 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 4261234 0 0 0 21616 607 0 0 20 0 1 0 335097270 19664896 3790 33554432000 134512640 135840783 4291001408 4290999248 135254582 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 4801 3792 433 325 0 3737 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 19204

[startup+282.3 s]
/proc/loadavg: 2.10 2.02 2.01 3/177 8941
/proc/meminfo: memFree=27575564/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=19160 CPUtime=282.23 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 5301283 0 0 0 27456 767 0 0 20 0 1 0 335097270 19619840 3771 33554432000 134512640 135840783 4291001408 4290997888 135261916 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 4790 3771 433 325 0 3726 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 19160

[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 8942
/proc/meminfo: memFree=27572036/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=19752 CPUtime=342.22 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 6326786 0 0 0 33294 928 0 0 20 0 1 0 335097270 20226048 3829 33554432000 134512640 135840783 4291001408 4290999580 135313324 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 4938 3829 433 325 0 3874 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 19752

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 8942
/proc/meminfo: memFree=27570856/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=19732 CPUtime=402.21 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 7322187 0 0 0 39141 1080 0 0 20 0 1 0 335097270 20205568 3789 33554432000 134512640 135840783 4291001408 4290998332 135331848 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 4933 3789 433 325 0 3869 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 19732

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8942
/proc/meminfo: memFree=27569988/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=19088 CPUtime=462.2 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 8312864 0 0 0 44982 1238 0 0 20 0 1 0 335097270 19546112 3777 33554432000 134512640 135840783 4291001408 4290999248 135254637 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 4772 3779 433 325 0 3708 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 19088

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8943
/proc/meminfo: memFree=27569864/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=20564 CPUtime=522.19 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 9961809 0 0 0 50749 1470 0 0 20 0 1 0 335097270 21057536 3973 33554432000 134512640 135840783 4291001408 4290998624 135336313 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 5141 3973 433 325 0 4077 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 20564

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8943
/proc/meminfo: memFree=27569484/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=20588 CPUtime=582.18 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 11921463 0 0 0 56490 1728 0 0 20 0 1 0 335097270 21082112 3967 33554432000 134512640 135840783 4291001408 4291000000 135314051 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 5147 3967 433 325 0 4083 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 20588

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8944
/proc/meminfo: memFree=27565620/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=22500 CPUtime=822.14 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 20356432 0 0 0 79351 2863 0 0 20 0 1 0 335097270 23040000 4455 33554432000 134512640 135840783 4291001408 4290999912 135311259 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 5625 4455 434 325 0 4561 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 22500

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8947
/proc/meminfo: memFree=27565364/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=21752 CPUtime=882.14 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 21548121 0 0 0 85177 3037 0 0 20 0 1 0 335097270 22274048 4434 33554432000 134512640 135840783 4291001408 4290999248 135254639 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 5438 4436 434 325 0 4374 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 21752

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8947
/proc/meminfo: memFree=27565492/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=22520 CPUtime=942.12 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 22633988 0 0 0 91023 3189 0 0 20 0 1 0 335097270 23060480 4456 33554432000 134512640 135840783 4291001408 4290999884 135331608 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 5630 4456 434 325 0 4566 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 22520

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8947
/proc/meminfo: memFree=27565676/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=22488 CPUtime=1002.11 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 23697466 0 0 0 96868 3343 0 0 20 0 1 0 335097270 23027712 4543 33554432000 134512640 135840783 4291001408 4290999580 135313376 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 5622 4543 434 325 0 4558 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 22488

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8947
/proc/meminfo: memFree=27564432/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=22528 CPUtime=1062.1 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 24797510 0 0 0 102708 3502 0 0 20 0 1 0 335097270 23068672 4464 33554432000 134512640 135840783 4291001408 4290999580 135313361 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 5632 4464 434 325 0 4568 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 22528

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8949
/proc/meminfo: memFree=27564548/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=22432 CPUtime=1122.09 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 25776561 0 0 0 108558 3651 0 0 20 0 1 0 335097270 22970368 4509 33554432000 134512640 135840783 4291001408 4290999580 135313324 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 5608 4509 434 325 0 4544 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 22432

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 8949
/proc/meminfo: memFree=27564180/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=22488 CPUtime=1182.09 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 26721563 0 0 0 114417 3792 0 0 20 0 1 0 335097270 23027712 4450 33554432000 134512640 135840783 4291001408 4290998624 135336313 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 5622 4450 434 325 0 4558 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 22488

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 8949
/proc/meminfo: memFree=27564424/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=22404 CPUtime=1242.08 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 27691919 0 0 0 120276 3932 0 0 20 0 1 0 335097270 22941696 4445 33554432000 134512640 135840783 4291001408 4290999580 135313361 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 5601 4445 434 325 0 4537 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 22404

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8949
/proc/meminfo: memFree=27564236/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=22492 CPUtime=1302.07 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 28672692 0 0 0 126139 4068 0 0 20 0 1 0 335097270 23031808 4449 33554432000 134512640 135840783 4291001408 4291000168 134689724 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 5623 4449 434 325 0 4559 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 22492

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8949
/proc/meminfo: memFree=27564236/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=22824 CPUtime=1362.06 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 30392452 0 0 0 131911 4295 0 0 20 0 1 0 335097270 23371776 4527 33554432000 134512640 135840783 4291001408 4291000000 135314051 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 5706 4527 434 325 0 4642 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 22824

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8950
/proc/meminfo: memFree=27564048/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=20156 CPUtime=1422.05 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 32657820 0 0 0 137617 4588 0 0 20 0 1 0 335097270 20639744 4400 33554432000 134512640 135840783 4291001408 4291000064 4215856 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 5039 4400 434 325 0 3975 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 20156

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8953
/proc/meminfo: memFree=27562472/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=23044 CPUtime=1482.04 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 34933273 0 0 0 143318 4886 0 0 20 0 1 0 335097270 23597056 4609 33554432000 134512640 135840783 4291001408 4290998624 135336313 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 5761 4609 434 325 0 4697 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 23044

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8953
/proc/meminfo: memFree=27561440/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=20156 CPUtime=1542.03 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 36703061 0 0 0 149072 5131 0 0 20 0 1 0 335097270 20639744 4400 33554432000 134512640 135840783 4291001408 4291000768 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 5075 4404 434 325 0 4011 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 20156

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8953
/proc/meminfo: memFree=27561316/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=22656 CPUtime=1602.02 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 38387692 0 0 0 154844 5358 0 0 20 0 1 0 335097270 23199744 4498 33554432000 134512640 135840783 4291001408 4290998592 135349586 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 5664 4510 434 325 0 4600 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 22656

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 8953
/proc/meminfo: memFree=27561248/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=22608 CPUtime=1662.02 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 40025789 0 0 0 160619 5583 0 0 20 0 1 0 335097270 23150592 4488 33554432000 134512640 135840783 4291001408 4290999928 135308447 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 5652 4488 434 325 0 4588 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 22608

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 8954
/proc/meminfo: memFree=27561120/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=22740 CPUtime=1722.01 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 41720940 0 0 0 166396 5805 0 0 20 0 1 0 335097270 23285760 4542 33554432000 134512640 135840783 4291001408 4290998624 135336313 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 5685 4542 434 325 0 4621 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 22740

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 8954
/proc/meminfo: memFree=27561116/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=22912 CPUtime=1781.99 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 43826680 0 0 0 172120 6079 0 0 20 0 1 0 335097270 23461888 4554 33554432000 134512640 135840783 4291001408 4291000176 135336330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 5728 4556 434 325 0 4664 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 22912



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 8954
/proc/meminfo: memFree=27561116/32873844 swapFree=7628/7628
[pid=8441] ppid=8439 vsize=22500 CPUtime=1800.1 cores=1,3,5,7
/proc/8441/stat : 8441 (bsolo3.0.17) R 8439 8441 7463 0 -1 4202496 44647175 0 0 0 173824 6186 0 0 20 0 1 0 335097270 23040000 4546 33554432000 134512640 135840783 4291001408 4290999760 135267449 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/8441/statm: 5625 4546 434 325 0 4561 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 22500

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.41
CPU time (s): 1800.11
CPU user time (s): 1738.25
CPU system time (s): 61.8646
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 23244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1738.25
system time used= 61.8646
maximum resident set size= 19188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44647189
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= 53
involuntary context switches= 5550

runsolver used 3.13052 second user time and 8.81466 second system time

The end

Launcher Data 

Begin job on node143 at 2012-06-03 04:15:29
IDJOB=3732164
IDBENCH=2033
IDSOLVER=2318
FILE ID=node143/3732164-1338689729
RUNJOBID= node143-1338680527-7480
PBS_JOBID= 14636712
Free space on /tmp= 68464 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-7pb.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732164-1338689729/watcher-3732164-1338689729 -o /tmp/evaluation-result-3732164-1338689729/solver-3732164-1338689729 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3732164-1338689729.opb            

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

MD5SUM BENCH= c260403f4942794773ec12b2770e1c07
RANDOM SEED=360002804

node143.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.787
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.57
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.787
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.787
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.91
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.787
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.787
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.90
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.787
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	: 5298.57
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.787
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.91
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.787
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:        27568028 kB
Buffers:          434296 kB
Cached:          3907168 kB
SwapCached:          188 kB
Active:          2244956 kB
Inactive:        2143872 kB
Active(anon):      38876 kB
Inactive(anon):    10992 kB
Active(file):    2206080 kB
Inactive(file):  2132880 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108444 kB
Dirty:              6596 kB
Writeback:             0 kB
AnonPages:         54480 kB
Mapped:            12156 kB
Shmem:               160 kB
Slab:             777164 kB
SReclaimable:     219256 kB
SUnreclaim:       557908 kB
KernelStack:        1448 kB
PageTables:         3816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     162616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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= 68456 MiB
End job on node143 at 2012-06-03 04:45:31