Trace number 3741445

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
PB09: bsolo 3.1SAT39 1798.11 1798.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.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3741445-1338773010.opb
0.00/0.00	c File size is 593185 bytes.
0.00/0.04	c Highest Coefficient sum: 736
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.041 s
0.00/0.04	c Var: 736 Constr: 7201 7201/0/0 Lit: 71941 Watch. Lit: 14402
0.00/0.04	c Obj. Vars: 736 (100 % of total variables)
0.69/0.77	c Formula reductions applied at preprocessing
0.69/0.77	c Pre-processing Time: 0.778 s
1.59/1.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.65	c        0    697     7119    71126    9    14238    2372      0      0 0.78
1.59/1.65	c Initial Lower Bound: 27
1.59/1.65	c Initial Path Cost: 0
1.59/1.66	o 44
10.49/10.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.49/10.58	c        0    697     7120    71823   10    14893    3372      1      0 1.66
10.49/10.58	o 40
20.38/20.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.38/20.43	c        0    697     7121    72520   10    15552    4372      2      0 10.58
20.38/20.43	o 39
1798.09/1798.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.09/1798.40	c        2    697     7128    74583   10    16224    4372      9      0 20.43
1798.09/1798.40	c      102    697     7428    98193   13    16824    4810    309      1 84.49
1798.09/1798.40	c      354    697     8182   158116   19    18332    5292   1063      1 190.82
1798.09/1798.40	c      829    697     9606   241158   25    21180    5822   2487      1 465.45
1798.09/1798.40	c     1650    697    12056   436670   36    26080    6405   4937      2 709.53
1798.09/1798.40	c     2973    697    12651   474155   37    25960    7046   5532      2 1216.31
1798.09/1798.40	c     5055    697    11524   481079   41    23706    7751   4405      3 1644.19
1798.09/1798.40	c Resources Exceeded
1798.09/1798.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 
1798.09/1798.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.09/1798.40	c    9     5726    231     8445    13536   635186   6417      3 1798.11
1798.09/1798.40	c Objective: 39
1798.09/1798.40	s SATISFIABLE
1798.09/1798.40	c Total time: 1798.11 s

Verifier Data 

OK	39

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-3741445-1338773010/watcher-3741445-1338773010 -o /tmp/evaluation-result-3741445-1338773010/solver-3741445-1338773010 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3741445-1338773010.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.19 1.54 1.81 3/177 30849
/proc/meminfo: memFree=26216088/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=11504 CPUtime=0 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 343426429 11780096 277 33554432000 134512640 137136520 4291277840 4291276272 136575102 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 2876 278 188 641 0 2087 0

[startup+0.093552 s]
/proc/loadavg: 1.19 1.54 1.81 3/177 30849
/proc/meminfo: memFree=26216088/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=13700 CPUtime=0.09 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 1156 0 0 0 9 0 0 0 20 0 1 0 343426429 14028800 964 33554432000 134512640 137136520 4291277840 4291267516 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 3425 964 189 641 0 2781 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13700

[startup+0.100153 s]
/proc/loadavg: 1.19 1.54 1.81 3/177 30849
/proc/meminfo: memFree=26216088/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=13700 CPUtime=0.09 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 1156 0 0 0 9 0 0 0 20 0 1 0 343426429 14028800 964 33554432000 134512640 137136520 4291277840 4291267516 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 3425 964 189 641 0 2781 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13700

[startup+0.300104 s]
/proc/loadavg: 1.19 1.54 1.81 3/177 30849
/proc/meminfo: memFree=26216088/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=13700 CPUtime=0.29 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 1156 0 0 0 29 0 0 0 20 0 1 0 343426429 14028800 964 33554432000 134512640 137136520 4291277840 4291267516 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 3425 964 189 641 0 2781 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13700

[startup+0.700098 s]
/proc/loadavg: 1.19 1.54 1.81 3/177 30849
/proc/meminfo: memFree=26216088/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=13700 CPUtime=0.69 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 1156 0 0 0 69 0 0 0 20 0 1 0 343426429 14028800 964 33554432000 134512640 137136520 4291277840 4291267516 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 3425 964 189 641 0 2781 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13700

[startup+1.50012 s]
/proc/loadavg: 1.19 1.54 1.81 3/178 30850
/proc/meminfo: memFree=26206348/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=30208 CPUtime=1.49 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 19750 0 0 0 147 2 0 0 20 0 1 0 343426429 30932992 3169 33554432000 134512640 137136520 4291277840 4291275748 135441850 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 7552 3169 284 641 0 6908 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30208

[startup+3.10012 s]
/proc/loadavg: 1.19 1.54 1.81 3/178 30850
/proc/meminfo: memFree=26202268/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=28404 CPUtime=3.09 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 108868 0 0 0 296 13 0 0 20 0 1 0 343426429 29085696 2126 33554432000 134512640 137136520 4291277840 4291275740 134729495 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 7101 2126 289 641 0 6457 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28404

[startup+6.30019 s]
/proc/loadavg: 1.34 1.57 1.82 3/178 30850
/proc/meminfo: memFree=26198824/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=28328 CPUtime=6.29 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 326756 0 0 0 587 42 0 0 20 0 1 0 343426429 29007872 2244 33554432000 134512640 137136520 4291277840 4291275776 135467959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 7082 2244 289 641 0 6438 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28328

[startup+12.7002 s]
/proc/loadavg: 1.39 1.57 1.82 3/178 30850
/proc/meminfo: memFree=26182152/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=24680 CPUtime=12.69 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 655719 0 0 0 1185 84 0 0 20 0 1 0 343426429 25272320 1951 33554432000 134512640 137136520 4291277840 4291275024 134710060 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 6170 1963 290 641 0 5526 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24680

[startup+25.5002 s]
/proc/loadavg: 1.52 1.59 1.82 3/178 30850
/proc/meminfo: memFree=26170872/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=28448 CPUtime=25.48 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 1251605 0 0 0 2391 157 0 0 20 0 1 0 343426429 29130752 2298 33554432000 134512640 137136520 4291277840 4291275680 135455562 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 7112 2298 292 641 0 6468 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28448

[startup+51.1002 s]
/proc/loadavg: 1.77 1.64 1.83 3/178 30850
/proc/meminfo: memFree=26168552/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=28272 CPUtime=51.08 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 1635534 0 0 0 4896 212 0 0 20 0 1 0 343426429 28950528 2254 33554432000 134512640 137136520 4291277840 4291275748 135441652 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 7068 2254 292 641 0 6424 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 28272

[startup+102.306 s]
/proc/loadavg: 1.90 1.69 1.83 3/178 30850
/proc/meminfo: memFree=26156012/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=27928 CPUtime=102.27 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 2260944 0 0 0 9926 301 0 0 20 0 1 0 343426429 28598272 2522 33554432000 134512640 137136520 4291277840 4291275528 135443216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 6982 2522 292 641 0 6338 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 27928

[startup+162.3 s]
/proc/loadavg: 1.96 1.75 1.84 3/178 30851
/proc/meminfo: memFree=26148372/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=26904 CPUtime=162.26 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 2921188 0 0 0 15831 395 0 0 20 0 1 0 343426429 27549696 2407 33554432000 134512640 137136520 4291277840 4291275528 135443216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 6726 2407 292 641 0 6082 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 26904

[startup+222.3 s]
/proc/loadavg: 1.98 1.79 1.84 3/179 30852
/proc/meminfo: memFree=26142024/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=28812 CPUtime=222.25 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 3629565 0 0 0 21731 494 0 0 20 0 1 0 343426429 29503488 2617 33554432000 134512640 137136520 4291277840 4291275632 134732884 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 7203 2617 292 641 0 6559 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 28812

[startup+282.3 s]
/proc/loadavg: 2.07 1.84 1.85 3/178 30852
/proc/meminfo: memFree=26144632/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=28772 CPUtime=282.24 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 4433580 0 0 0 27614 610 0 0 20 0 1 0 343426429 29462528 2649 33554432000 134512640 137136520 4291277840 4291275632 134732864 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 7193 2649 292 641 0 6549 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 28772

[startup+342.3 s]
/proc/loadavg: 2.02 1.87 1.86 3/178 30852
/proc/meminfo: memFree=26141092/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=29944 CPUtime=342.22 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 5140876 0 0 0 33516 706 0 0 20 0 1 0 343426429 30662656 2675 33554432000 134512640 137136520 4291277840 4291275792 135068921 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 7486 2675 292 641 0 6842 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 29944

[startup+402.3 s]
/proc/loadavg: 2.01 1.89 1.87 3/179 30855
/proc/meminfo: memFree=26136000/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=27112 CPUtime=402.21 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 5931325 0 0 0 39403 818 0 0 20 0 1 0 343426429 27762688 2719 33554432000 134512640 137136520 4291277840 4291275424 135402625 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 6778 2719 292 641 0 6134 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 27112

[startup+462.3 s]
/proc/loadavg: 2.00 1.91 1.87 3/178 30856
/proc/meminfo: memFree=26136964/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=29900 CPUtime=462.2 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 6638188 0 0 0 45304 916 0 0 20 0 1 0 343426429 30617600 2739 33554432000 134512640 137136520 4291277840 4291275760 134847325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 7475 2739 292 641 0 6831 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 29900

[startup+522.3 s]
/proc/loadavg: 2.00 1.92 1.88 3/178 30856
/proc/meminfo: memFree=26134212/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=31000 CPUtime=522.2 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 7532930 0 0 0 51185 1035 0 0 20 0 1 0 343426429 31744000 2682 33554432000 134512640 137136520 4291277840 4291275656 136571969 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 6665 2554 292 641 0 6021 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 31000

[startup+582.3 s]
/proc/loadavg: 2.00 1.93 1.88 3/178 30856
/proc/meminfo: memFree=26128756/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=29592 CPUtime=582.18 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 8492982 0 0 0 57049 1169 0 0 20 0 1 0 343426429 30302208 2952 33554432000 134512640 137136520 4291277840 4291275528 135443216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 7398 2952 292 641 0 6754 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 29592

[startup+642.3 s]

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

/proc/meminfo: memFree=26110632/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=32832 CPUtime=1122.09 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 16007350 0 0 0 110010 2199 0 0 20 0 1 0 343426429 33619968 3857 33554432000 134512640 137136520 4291277840 4291275680 135455552 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 8208 3857 292 641 0 7564 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 32832

[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 31063
/proc/meminfo: memFree=26111236/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=33768 CPUtime=1182.09 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 16707498 0 0 0 115912 2297 0 0 20 0 1 0 343426429 34578432 4180 33554432000 134512640 137136520 4291277840 4291275600 135447705 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 8442 4180 292 641 0 7798 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 33768

[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 31063
/proc/meminfo: memFree=26110380/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=32900 CPUtime=1242.07 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 17492609 0 0 0 121799 2408 0 0 20 0 1 0 343426429 33689600 3739 33554432000 134512640 137136520 4291277840 4291275632 135080861 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 8225 3739 292 641 0 7581 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 32900

[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 31063
/proc/meminfo: memFree=26110780/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=33948 CPUtime=1302.08 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 18166468 0 0 0 127703 2505 0 0 20 0 1 0 343426429 34762752 3859 33554432000 134512640 137136520 4291277840 4291275528 135442575 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 8487 3859 292 641 0 7843 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 33948

[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/176 31063
/proc/meminfo: memFree=26109728/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=33804 CPUtime=1362.06 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 18860907 0 0 0 133605 2601 0 0 20 0 1 0 343426429 34615296 4052 33554432000 134512640 137136520 4291277840 4291275528 135442575 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 8451 4052 292 641 0 7807 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 33804

[startup+1422.31 s]
/proc/loadavg: 2.04 2.00 1.92 3/177 31064
/proc/meminfo: memFree=26109652/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=34388 CPUtime=1422.05 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 19651481 0 0 0 139493 2712 0 0 20 0 1 0 343426429 35213312 4241 33554432000 134512640 137136520 4291277840 4291275528 135443262 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 8597 4241 292 641 0 7953 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 34388

[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 31064
/proc/meminfo: memFree=26107620/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=33340 CPUtime=1482.04 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 20496105 0 0 0 145374 2830 0 0 20 0 1 0 343426429 34140160 4028 33554432000 134512640 137136520 4291277840 4291275528 135443216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 8335 4028 292 641 0 7691 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 33340

[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 1.93 3/177 31064
/proc/meminfo: memFree=26107368/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=33292 CPUtime=1542.04 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 21783340 0 0 0 151200 3004 0 0 20 0 1 0 343426429 34091008 4016 33554432000 134512640 137136520 4291277840 4291275632 135078768 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 8323 4016 292 641 0 7679 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 33292

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/178 31067
/proc/meminfo: memFree=26105972/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=32556 CPUtime=1602.02 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 22827742 0 0 0 157052 3150 0 0 20 0 1 0 343426429 33337344 4345 33554432000 134512640 137136520 4291277840 4291275688 134731914 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 8139 4361 292 641 0 7495 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 32556

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 31067
/proc/meminfo: memFree=26099372/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=34852 CPUtime=1662.01 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 23798066 0 0 0 162915 3286 0 0 20 0 1 0 343426429 35688448 4450 33554432000 134512640 137136520 4291277840 4291275528 135442575 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 8713 4450 292 641 0 8069 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 34852

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 31068
/proc/meminfo: memFree=26098500/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=34436 CPUtime=1722 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 24734203 0 0 0 168782 3418 0 0 20 0 1 0 343426429 35262464 4537 33554432000 134512640 137136520 4291277840 4291275528 135443216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 8609 4537 292 641 0 7965 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 34436

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 31068
/proc/meminfo: memFree=26092536/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=35676 CPUtime=1781.99 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 25532932 0 0 0 174671 3528 0 0 20 0 1 0 343426429 36532224 4651 33554432000 134512640 137136520 4291277840 4291275632 135078838 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 8919 4651 292 641 0 8275 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 35676

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 31068
/proc/meminfo: memFree=26093684/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=35652 CPUtime=1791.6 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 25640888 0 0 0 175616 3544 0 0 20 0 1 0 343426429 36507648 4545 33554432000 134512640 137136520 4291277840 4291275528 135443216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 8913 4545 292 641 0 8269 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 35652

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 31068
/proc/meminfo: memFree=26092940/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=34980 CPUtime=1794.8 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 25675417 0 0 0 175931 3549 0 0 20 0 1 0 343426429 35819520 4618 33554432000 134512640 137136520 4291277840 4291275528 135443216 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 8745 4618 292 641 0 8101 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 34980

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/173 31124
/proc/meminfo: memFree=26206612/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=35204 CPUtime=1796.39 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 25689270 0 0 0 176088 3551 0 0 20 0 1 0 343426429 36048896 4526 33554432000 134512640 137136520 4291277840 4291275640 136505509 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 8801 4526 292 641 0 8157 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 35204

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 31164
/proc/meminfo: memFree=26193512/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=35140 CPUtime=1797.19 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 25700653 0 0 0 176166 3553 0 0 20 0 1 0 343426429 35983360 4365 33554432000 134512640 137136520 4291277840 4291275632 135079357 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 8785 4365 292 641 0 8141 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 35140

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 31164
/proc/meminfo: memFree=26193512/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=35176 CPUtime=1797.58 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 25710961 0 0 0 176204 3554 0 0 20 0 1 0 343426429 36020224 4412 33554432000 134512640 137136520 4291277840 4291275528 135442575 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 8794 4412 292 641 0 8150 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 35176

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 31164
/proc/meminfo: memFree=26193512/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=35972 CPUtime=1797.99 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 25713630 0 0 0 176244 3555 0 0 20 0 1 0 343426429 36835328 4706 33554432000 134512640 137136520 4291277840 4291275528 135443262 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 8993 4706 292 641 0 8349 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 35972

[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 31164
/proc/meminfo: memFree=26187436/32873648 swapFree=6864/6864
[pid=30849] ppid=30847 vsize=35588 CPUtime=1798.09 cores=0,2,4,6
/proc/30849/stat : 30849 (bsolo) R 30847 30849 30743 0 -1 4202496 25714378 0 0 0 176254 3555 0 0 20 0 1 0 343426429 36442112 4553 33554432000 134512640 137136520 4291277840 4291275604 135454304 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/30849/statm: 8897 4553 292 641 0 8253 0
Current children cumulated CPU time (s) 1798.09
Current children cumulated vsize (KiB) 35588

Child status: 0
Real time (s): 1798.41
CPU time (s): 1798.11
CPU user time (s): 1762.55
CPU system time (s): 35.5566
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 39620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1762.55
system time used= 35.5566
maximum resident set size= 21300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25714382
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= 54
involuntary context switches= 1923

runsolver used 2.71759 second user time and 7.2579 second system time

The end

Launcher Data 

Begin job on node125 at 2012-06-04 03:23:30
IDJOB=3741445
IDBENCH=89859
IDSOLVER=2320
FILE ID=node125/3741445-1338773010
RUNJOBID= node125-1338773007-30759
PBS_JOBID= 14636823
Free space on /tmp= 70440 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-iis-pima-cov.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741445-1338773010/watcher-3741445-1338773010 -o /tmp/evaluation-result-3741445-1338773010/solver-3741445-1338773010 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3741445-1338773010.opb

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

MD5SUM BENCH= 19a2dfea334d8fb7f32d77f6785ba1fe
RANDOM SEED=1656234206

node125.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.373
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	: 5332.74
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.373
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.373
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.92
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.373
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.90
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.373
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		: 2666.373
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	: 5438.54
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.373
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.373
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:        26216360 kB
Buffers:          616596 kB
Cached:          5113592 kB
SwapCached:         2308 kB
Active:          2525152 kB
Inactive:        3222776 kB
Active(anon):       8760 kB
Inactive(anon):     9240 kB
Active(file):    2516392 kB
Inactive(file):  3213536 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67102524 kB
Dirty:              8548 kB
Writeback:             0 kB
AnonPages:         19416 kB
Mapped:            15412 kB
Shmem:                96 kB
Slab:             769992 kB
SReclaimable:     213244 kB
SUnreclaim:       556748 kB
KernelStack:        1480 kB
PageTables:         4120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     139204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3741445-1338773010.opb

Free space on /tmp at the end= 70436 MiB
End job on node125 at 2012-06-04 03:53:29