Trace number 3741443

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)36 1800.08 1800.41

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-iis-pima-cov.opb
MD5SUM19a2dfea334d8fb7f32d77f6785ba1fe
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark33
Best CPU time to get the best result obtained on this benchmark848.205
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables736
Total number of constraints7201
Number of constraints which are clauses7201
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 constraint8
Maximum length of a constraint10
Number of terms in the objective function 736
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 736
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 736
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-3741443-1338759272.opb
0.00/0.00	c File size is 593185 bytes.
0.00/0.05	c Highest Coefficient sum: 736
0.00/0.05	c Parsing was ok!!
0.00/0.05	c Total parsing time: 0.047 s
0.00/0.05	c Var: 736 Constr: 7201 7201/0/0 Lit: 71941 Watch. Lit: 14402
0.00/0.05	c Obj. Vars: 736 (100 % of total variables)
0.68/0.79	c Formula reductions applied at preprocessing
0.68/0.79	c Pre-processing Time: 0.788 s
1.29/1.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.38	c        0    697     7119    71126    9    14238    2372      0      0 0.79
1.29/1.38	c Initial Lower Bound: 27
1.29/1.38	c Initial Path Cost: 0
1.29/1.38	o 44	1.384
5.79/5.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.79/5.84	c        0    697     7120    71823   10    14893    3372      1      0 1.38
5.79/5.84	o 40	5.84 * 
11.28/11.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.28/11.32	c        0    697     7121    72520   10    15552    4372      2      0 5.84
11.28/11.32	o 39	11.315 * 
97.47/97.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
97.47/97.52	c        2    697     7126    73352   10    16220    4372      7      0 11.32
97.47/97.52	c      103    697     7328    78402   10    16624    4810    209      1 56.92
97.47/97.52	o 38	97.505 * 
489.42/489.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
489.42/489.55	c      265    697     7653    88889   11    17933    4372    534      2 97.50
489.42/489.55	c      366    697     7855    94310   12    18337    4810    736      2 138.76
489.42/489.55	c      617    697     8357   104333   12    19341    5292   1238      1 315.19
489.42/489.55	c     1092    697     9307   130248   13    21241    5822   2188      2 468.93
489.42/489.55	o 37	489.469 * 
859.64/859.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
859.64/859.89	c     1139    697     9402   133668   14    22091    4372   2283      2 489.47
859.64/859.89	c     1241    697     9606   138721   14    22499    4810   2487      2 541.55
859.64/859.89	c     1492    697    10108   149968   14    23503    5292   2989      2 657.92
859.64/859.89	c     1968    697    11060   171339   15    25407    5822   3941      2 845.94
859.64/859.89	o 36	859.75 * 
1800.08/1800.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1800.40	c     2005    697    11135   173870   15    26218    4372   4016      2 859.75
1800.08/1800.40	c     2106    697    11337   177238   15    26622    4810   4218      2 934.67
1800.08/1800.40	c     2359    697    11843   187187   15    27634    5292   4724      2 1083.71
1800.08/1800.40	c     2835    697    10086   140604   13    20833    5822   2967      2 1326.85
1800.08/1800.40	c     3648    697    11712   171244   14    24085    6405   4593      2 1739.93
1800.08/1800.40	c Caught signal: 15
1800.08/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 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 
1800.08/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.40	c   17     3759      1     4773    11934   176291   4815      2 1800.08
1800.08/1800.40	c Objective: 36
1800.08/1800.40	s SATISFIABLE
1800.08/1800.40	c Total time: 1800.08 s

Verifier Data

OK	36

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-3741443-1338759272/watcher-3741443-1338759272 -o /tmp/evaluation-result-3741443-1338759272/solver-3741443-1338759272 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3741443-1338759272.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: 4.56 3.12 2.42 3/177 22444
/proc/meminfo: memFree=27480596/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=5264 CPUtime=0 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 470 0 0 0 0 0 0 0 20 0 1 0 342054080 5390336 406 33554432000 134512640 135840783 4293215872 4293214864 134525286 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 1316 406 330 325 0 107 0

[startup+0.105979 s]
/proc/loadavg: 4.56 3.12 2.42 3/177 22444
/proc/meminfo: memFree=27480596/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=7592 CPUtime=0.09 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 1348 0 0 0 9 0 0 0 20 0 1 0 342054080 7774208 1139 33554432000 134512640 135840783 4293215872 4293205980 7287856 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 1898 1139 345 325 0 834 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7592

[startup+0.200264 s]
/proc/loadavg: 4.56 3.12 2.42 3/177 22444
/proc/meminfo: memFree=27480596/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=7592 CPUtime=0.19 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 1348 0 0 0 19 0 0 0 20 0 1 0 342054080 7774208 1139 33554432000 134512640 135840783 4293215872 4293205980 7287856 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 1898 1139 345 325 0 834 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7592

[startup+0.300256 s]
/proc/loadavg: 4.56 3.12 2.42 3/177 22444
/proc/meminfo: memFree=27480596/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=7592 CPUtime=0.29 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 1348 0 0 0 29 0 0 0 20 0 1 0 342054080 7774208 1139 33554432000 134512640 135840783 4293215872 4293205980 7287856 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 1898 1139 345 325 0 834 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7592

[startup+0.700224 s]
/proc/loadavg: 4.56 3.12 2.42 3/177 22444
/proc/meminfo: memFree=27480596/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=7592 CPUtime=0.68 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 1348 0 0 0 68 0 0 0 20 0 1 0 342054080 7774208 1139 33554432000 134512640 135840783 4293215872 4293205980 7287856 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 1898 1139 345 325 0 834 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7592

[startup+1.50026 s]
/proc/loadavg: 4.56 3.12 2.42 3/178 22445
/proc/meminfo: memFree=27471716/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=23204 CPUtime=1.49 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 12479 0 0 0 147 2 0 0 20 0 1 0 342054080 23760896 2587 33554432000 134512640 135840783 4293215872 4293214172 135331948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 5801 2587 431 325 0 4737 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23204

[startup+3.10027 s]
/proc/loadavg: 4.56 3.12 2.42 3/178 22445
/proc/meminfo: memFree=27472328/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=21348 CPUtime=3.09 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 34033 0 0 0 304 5 0 0 20 0 1 0 342054080 21860352 2867 33554432000 134512640 135840783 4293215872 4293214192 134694582 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 5337 2867 431 325 0 4273 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21348

[startup+6.30024 s]
/proc/loadavg: 4.35 3.11 2.41 3/178 22445
/proc/meminfo: memFree=27474768/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=23812 CPUtime=6.29 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 72314 0 0 0 618 11 0 0 20 0 1 0 342054080 24383488 2508 33554432000 134512640 135840783 4293215872 4293214044 135313324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 5953 2508 431 325 0 4889 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23812

[startup+12.7002 s]
/proc/loadavg: 4.16 3.09 2.41 3/178 22445
/proc/meminfo: memFree=27476356/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=24416 CPUtime=12.69 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 143781 0 0 0 1246 23 0 0 20 0 1 0 342054080 25001984 2528 33554432000 134512640 135840783 4293215872 4293214040 135306433 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 6104 2528 432 325 0 5040 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24416

[startup+25.5003 s]
/proc/loadavg: 3.68 3.03 2.40 3/178 22445
/proc/meminfo: memFree=27479392/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=19776 CPUtime=25.48 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 265337 0 0 0 2503 45 0 0 20 0 1 0 342054080 20250624 2876 33554432000 134512640 135840783 4293215872 4293214044 135313324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 4944 2876 432 325 0 3880 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19776

[startup+51.1003 s]
/proc/loadavg: 3.11 2.95 2.39 3/178 22445
/proc/meminfo: memFree=27477840/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=20276 CPUtime=51.08 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 437344 0 0 0 5028 80 0 0 20 0 1 0 342054080 20762624 2833 33554432000 134512640 135840783 4293215872 4293214040 135306433 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 5069 2836 432 325 0 4005 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20276

[startup+102.3 s]
/proc/loadavg: 2.48 2.80 2.37 3/177 22445
/proc/meminfo: memFree=27477848/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=20820 CPUtime=102.28 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 868022 0 0 0 10076 152 0 0 20 0 1 0 342054080 21319680 2898 33554432000 134512640 135840783 4293215872 4293214172 135331946 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 5205 2898 432 325 0 4141 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 20820

[startup+162.3 s]
/proc/loadavg: 2.17 2.65 2.34 3/177 22446
/proc/meminfo: memFree=27477220/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=22700 CPUtime=162.26 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 1240982 0 0 0 16002 224 0 0 20 0 1 0 342054080 23244800 3334 33554432000 134512640 135840783 4293215872 4293214044 135313324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 5675 3334 432 325 0 4611 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 22700

[startup+222.307 s]
/proc/loadavg: 2.06 2.53 2.32 3/177 22446
/proc/meminfo: memFree=27462244/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=22788 CPUtime=222.26 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 1624976 0 0 0 21929 297 0 0 20 0 1 0 342054080 23334912 3009 33554432000 134512640 135840783 4293215872 4293214172 135331920 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 5697 3009 432 325 0 4633 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 22788

[startup+282.3 s]
/proc/loadavg: 2.02 2.43 2.30 3/177 22485
/proc/meminfo: memFree=27936060/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=22660 CPUtime=282.24 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 2011908 0 0 0 27850 374 0 0 20 0 1 0 342054080 23203840 2692 33554432000 134512640 135840783 4293215872 4293214044 135313361 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 5665 2692 432 325 0 4601 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 22660

[startup+342.3 s]
/proc/loadavg: 2.01 2.35 2.27 3/178 22488
/proc/meminfo: memFree=27932680/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=20408 CPUtime=342.23 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 2383717 0 0 0 33772 451 0 0 20 0 1 0 342054080 20897792 3133 33554432000 134512640 135840783 4293215872 4293214304 134941155 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 5102 3134 432 325 0 4038 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 20408

[startup+402.3 s]
/proc/loadavg: 2.00 2.28 2.25 3/177 22488
/proc/meminfo: memFree=27932368/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=20472 CPUtime=402.22 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 2723582 0 0 0 39699 523 0 0 20 0 1 0 342054080 20963328 3423 33554432000 134512640 135840783 4293215872 4293214044 135313324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 5118 3423 432 325 0 4054 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 20472

[startup+462.3 s]
/proc/loadavg: 2.00 2.23 2.24 3/176 22488
/proc/meminfo: memFree=27931072/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=21172 CPUtime=462.21 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 3014797 0 0 0 45632 589 0 0 20 0 1 0 342054080 21680128 3385 33554432000 134512640 135840783 4293215872 4293214172 135332093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 5293 3385 432 325 0 4229 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 21172

[startup+522.3 s]
/proc/loadavg: 2.00 2.19 2.22 3/177 22489
/proc/meminfo: memFree=27930336/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=23288 CPUtime=522.2 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 3339806 0 0 0 51562 658 0 0 20 0 1 0 342054080 23846912 3451 33554432000 134512640 135840783 4293215872 4293214112 135316026 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 5822 3451 432 325 0 4758 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 23288

[startup+582.3 s]
/proc/loadavg: 2.00 2.15 2.20 3/177 22489
/proc/meminfo: memFree=27930884/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=22844 CPUtime=582.19 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 3704833 0 0 0 57483 736 0 0 20 0 1 0 342054080 23392256 3343 33554432000 134512640 135840783 4293215872 4293214184 135311581 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 5711 3343 432 325 0 4647 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 22844

[startup+642.3 s]

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

[startup+882.307 s]
/proc/loadavg: 2.00 2.05 2.14 3/177 22490
/proc/meminfo: memFree=27928552/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=24540 CPUtime=882.15 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 5388257 0 0 0 87132 1083 0 0 20 0 1 0 342054080 25128960 3804 33554432000 134512640 135840783 4293215872 4293214216 135311573 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 6135 3804 432 325 0 5071 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 24540

[startup+942.3 s]
/proc/loadavg: 2.00 2.04 2.13 3/178 22493
/proc/meminfo: memFree=27926328/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=23336 CPUtime=942.13 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 5760642 0 0 0 93058 1155 0 0 20 0 1 0 342054080 23896064 3526 33554432000 134512640 135840783 4293215872 4293214040 135306433 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 5834 3526 432 325 0 4770 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 23336

[startup+1002.3 s]
/proc/loadavg: 2.08 2.05 2.12 3/177 22493
/proc/meminfo: memFree=27927500/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=23528 CPUtime=1002.11 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 6114341 0 0 0 98983 1228 0 0 20 0 1 0 342054080 24092672 3619 33554432000 134512640 135840783 4293215872 4293214216 135311564 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 5882 3619 432 325 0 4818 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 23528

[startup+1062.3 s]
/proc/loadavg: 2.03 2.04 2.11 3/177 22493
/proc/meminfo: memFree=27924428/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=22916 CPUtime=1062.11 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 6476530 0 0 0 104910 1301 0 0 20 0 1 0 342054080 23465984 3626 33554432000 134512640 135840783 4293215872 4293214044 135313324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 5729 3626 432 325 0 4665 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 22916

[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.10 3/178 22505
/proc/meminfo: memFree=27924804/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=23432 CPUtime=1122.1 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 6819124 0 0 0 110837 1373 0 0 20 0 1 0 342054080 23994368 3536 33554432000 134512640 135840783 4293215872 4293214128 134949199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 5858 3536 432 325 0 4794 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 23432

[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 2.09 3/177 22505
/proc/meminfo: memFree=27924964/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=25264 CPUtime=1182.09 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 7160567 0 0 0 116764 1445 0 0 20 0 1 0 342054080 25870336 3371 33554432000 134512640 135840783 4293215872 4293214044 135313324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 6316 3371 432 325 0 5252 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 25264

[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 2.09 3/177 22505
/proc/meminfo: memFree=27924940/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=23212 CPUtime=1242.08 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 7504856 0 0 0 122690 1518 0 0 20 0 1 0 342054080 23769088 3695 33554432000 134512640 135840783 4293215872 4293214172 135331946 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 5803 3695 432 325 0 4739 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 23212

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.08 3/177 22505
/proc/meminfo: memFree=27923404/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=24860 CPUtime=1302.07 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 7850854 0 0 0 128616 1591 0 0 20 0 1 0 342054080 25456640 3153 33554432000 134512640 135840783 4293215872 4293214044 135313361 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 6215 3153 432 325 0 5151 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 24860

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/177 22505
/proc/meminfo: memFree=27926756/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=24024 CPUtime=1362.05 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 8211854 0 0 0 134540 1665 0 0 20 0 1 0 342054080 24600576 3841 33554432000 134512640 135840783 4293215872 4293214112 135315574 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 6006 3842 432 325 0 4942 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 24024

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/177 22506
/proc/meminfo: memFree=27924864/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=23276 CPUtime=1422.04 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 8566801 0 0 0 140466 1738 0 0 20 0 1 0 342054080 23834624 3675 33554432000 134512640 135840783 4293215872 4293214172 135331688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 5819 3675 432 325 0 4755 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 23276

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/177 22506
/proc/meminfo: memFree=27926760/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=22648 CPUtime=1482.03 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 8924470 0 0 0 146388 1815 0 0 20 0 1 0 342054080 23191552 3508 33554432000 134512640 135840783 4293215872 4293214128 134949203 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 5662 3508 432 325 0 4598 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 22648

[startup+1542.31 s]
/proc/loadavg: 2.03 2.01 2.06 3/178 22509
/proc/meminfo: memFree=27923132/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=24304 CPUtime=1542.02 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 9270101 0 0 0 152315 1887 0 0 20 0 1 0 342054080 24887296 3630 33554432000 134512640 135840783 4293215872 4293214128 134948375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 6076 3630 432 325 0 5012 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 24304

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.06 3/178 22532
/proc/meminfo: memFree=27921276/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=24048 CPUtime=1602.01 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 9626582 0 0 0 158239 1962 0 0 20 0 1 0 342054080 24625152 3542 33554432000 134512640 135840783 4293215872 4293214128 134948375 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 6012 3542 432 325 0 4948 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 24048

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 22532
/proc/meminfo: memFree=27923212/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=24044 CPUtime=1661.99 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 9986315 0 0 0 164162 2037 0 0 20 0 1 0 342054080 24621056 3566 33554432000 134512640 135840783 4293215872 4293214128 134948983 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 6011 3566 432 325 0 4947 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 24044

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 22533
/proc/meminfo: memFree=27921456/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=24908 CPUtime=1721.98 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 10327430 0 0 0 170089 2109 0 0 20 0 1 0 342054080 25505792 3657 33554432000 134512640 135840783 4293215872 4293214044 135313324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 6227 3657 432 325 0 5163 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 24908

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 22533
/proc/meminfo: memFree=27922312/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=24384 CPUtime=1781.97 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 10690125 0 0 0 176011 2186 0 0 20 0 1 0 342054080 24969216 3842 33554432000 134512640 135840783 4293215872 4293214044 135313324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 6096 3843 432 325 0 5032 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 24384



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 22533
/proc/meminfo: memFree=27922496/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=22308 CPUtime=1800.08 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 10796421 0 0 0 177798 2210 0 0 20 0 1 0 342054080 22843392 3507 33554432000 134512640 135840783 4293215872 4293214476 134687798 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 5577 3507 432 325 0 4513 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 22308

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

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

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 22533
/proc/meminfo: memFree=27922496/32873648 swapFree=6864/6864
[pid=22444] ppid=22442 vsize=22308 CPUtime=1800.08 cores=1,3,5,7
/proc/22444/stat : 22444 (bsolo3.0.17) R 22442 22444 20253 0 -1 4202496 10796421 0 0 0 177798 2210 0 0 20 0 1 0 342054080 22843392 3507 33554432000 134512640 135840783 4293215872 4293214476 134687798 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/22444/statm: 5577 3507 432 325 0 4513 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 22308

Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1777.98
CPU system time (s): 22.1016
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 27260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.98
system time used= 22.1016
maximum resident set size= 18468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10796423
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= 76
involuntary context switches= 1828

runsolver used 2.91056 second user time and 9.27359 second system time

The end

Launcher Data

Begin job on node113 at 2012-06-03 23:34:32
IDJOB=3741443
IDBENCH=89859
IDSOLVER=2318
FILE ID=node113/3741443-1338759272
RUNJOBID= node113-1338748314-20270
PBS_JOBID= 14636785
Free space on /tmp= 70924 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-iis-pima-cov.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741443-1338759272/watcher-3741443-1338759272 -o /tmp/evaluation-result-3741443-1338759272/solver-3741443-1338759272 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3741443-1338759272.opb            

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

MD5SUM BENCH= 19a2dfea334d8fb7f32d77f6785ba1fe
RANDOM SEED=944804704

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
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	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
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		: 2667.026
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
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:       32873648 kB
MemFree:        27480604 kB
Buffers:          528208 kB
Cached:          3538976 kB
SwapCached:         2028 kB
Active:          2210528 kB
Inactive:        2279824 kB
Active(anon):     422308 kB
Inactive(anon):     1912 kB
Active(file):    1788220 kB
Inactive(file):  2277912 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67099708 kB
Dirty:             13084 kB
Writeback:             8 kB
AnonPages:        426660 kB
Mapped:            12688 kB
Shmem:                 0 kB
Slab:             762676 kB
SReclaimable:     205920 kB
SUnreclaim:       556756 kB
KernelStack:        1472 kB
PageTables:         4856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     542624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70968 MiB
End job on node113 at 2012-06-04 00:04:35