Trace number 3732078

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.1OPT62 957.988 958.137

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb
MD5SUMc2400ec88bd2efb16a03934d0b4c43da
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark62
Best CPU time to get the best result obtained on this benchmark0.065989
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 62
Optimality of the best value was proved YES
Number of variables648
Total number of constraints1954
Number of constraints which are clauses1930
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 constraint27
Number of terms in the objective function 648
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 648
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 648
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-3732078-1338702541.opb
0.00/0.00	c File size is 70209 bytes.
0.00/0.00	c Highest Coefficient sum: 648
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.004 s
0.00/0.00	c Var: 648 Constr: 1954 1930/24/0 Lit: 6444 Watch. Lit: 4460
0.00/0.00	c Obj. Vars: 648 (100 % of total variables)
0.00/0.01	c Pre-processing Time: 0.008 s
0.04/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.04	c        0    540     1738     6012    3     4028    5755      0      0 0.01
0.04/0.04	c Initial Lower Bound: 60
0.04/0.04	c Initial Path Cost: 12
0.29/0.32	c      100    540     1855     8194    4     4283    6331    117   1923 0.05
0.29/0.32	c      250    540     2020    10453    5     4613    6965    282   4032 0.06
0.29/0.32	c      475    540     2277    14027    6     5353    7662    539   6089 0.08
0.29/0.32	c      814    540     2669    21789    8     6315    8429    931   7679 0.11
0.29/0.32	c     1323    540     3242    32566   10     7668    9272   1504   8480 0.16
0.29/0.32	c     2086    540     4080    50597   12     9691   10200   2342   9189 0.23
0.29/0.32	o 68
42.79/42.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
42.79/42.82	c     3049    540     5126    69920   13    12803    6811   3388   9410 0.32
42.79/42.82	c     3149    540     5234    71752   13    13086    7493   3496   2071 1.52
42.79/42.82	c     3400    540     5511    75422   13    13704    8243   3773    709 4.79
42.79/42.82	c     3875    540     6030    85735   14    15071    9068   4292    394 9.83
42.79/42.82	c     4689    540     6905   103381   14    16981    9975   5167    246 19.02
42.79/42.82	c     6009    540     8478   153257   18    20451   10973   6740    172 34.84
42.79/42.82	o 66
120.07/120.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
120.07/120.13	c     6714    540     9253   170582   18    23002    6811   7515    156 42.81
120.07/120.13	c     6814    540     5256    89110   16    12412    7493   3518    152 44.72
120.07/120.13	c     7064    540     5523    94089   17    12985    8243   3785    143 49.28
120.07/120.13	c     7539    540     6033   104250   17    14064    9068   4295    138 54.63
120.07/120.13	c     8352    540     6919   126046   18    15911    9975   5181    125 66.37
120.07/120.13	c     9673    540     8390   160312   19    19483   10973   6652    117 82.38
120.07/120.13	c    11754    540    10778   219258   20    24557   12071   9040    108 108.79
120.07/120.13	o 64
781.27/781.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
781.27/781.41	c    12574    540    11751   247161   21    27333    6811  10013    104 120.11
781.27/781.41	c    12674    540     5270    87259   16    12139    7493   3532    104 121.57
781.27/781.41	c    12925    540     5570    93552   16    13032    8243   3832    103 124.81
781.27/781.41	c    13401    540     6110   105729   17    14259    9068   4372    103 129.93
781.27/781.41	c    14215    540     7057   126041   17    16495    9975   5319    101 140.09
781.27/781.41	c    15536    540     8479   159100   18    20294   10973   6741    101 153.36
781.27/781.41	c    17618    540    10947   225625   20    26084   12071   9209     97 180.01
781.27/781.41	c    20844    540     8193   167120   20    19162   13279   6455     96 215.39
781.27/781.41	c    25781    540    13299   408668   30    29505   14607  11561    107 239.53
781.27/781.41	c    33288    540    14124   490507   34    31571   16068  12386    107 309.59
781.27/781.41	c    44649    540     9958   322324   32    22997   17675   8220    106 418.55
781.27/781.41	c    61794    537    18908   655229   34    41122   19443  17170    111 555.67
781.27/781.41	c    87613    531    15773   597588   37    33803   21388  14035    119 733.94
781.27/781.41	o 62
957.95/958.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
957.95/958.13	c    94585    528    23125   926302   40    49867    6787  21387    121 781.29
957.95/958.13	c    94685    524     5307   143685   27    11806    7466   3569    120 783.06
957.95/958.13	c    94935    523     5634   159011   28    12753    8213   3896    120 787.41
957.95/958.13	c    95410    469     6143   178115   28    13983    9035   4405    120 791.13
957.95/958.13	c    96223    469     6956   211143   30    15609    9939   5218    121 795.01
957.95/958.13	c    97543    469     8284   259882   31    18288   10933   6546    121 800.27
957.95/958.13	c    99625    469    10378   338880   32    22518   12027   8640    123 808.37
957.95/958.13	c   102849    469    13605   461896   33    28972   13230  11867    125 821.85
957.95/958.13	c   107785    469    11698   380858   32    24539   14554   9960    128 841.13
957.95/958.13	c   115292    469    11626   381797   32    24395   16010   9888    132 873.19
957.95/958.13	c   126654    461    14830   499168   33    30800   17612  13092    137 919.90
957.95/958.13	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 
957.95/958.13	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
957.95/958.13	c   43   136793  19539   188635    15924   472220  14186    142 957.99
957.95/958.13	c Objective: 62
957.95/958.13	s OPTIMUM FOUND
957.95/958.13	c Total time: 957.987 s

Verifier Data 

OK	62

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-3732078-1338702541/watcher-3732078-1338702541 -o /tmp/evaluation-result-3732078-1338702541/solver-3732078-1338702541 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3732078-1338702541.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.02 2.01 2.00 3/176 324
/proc/meminfo: memFree=31359340/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=11000 CPUtime=0 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 314 0 0 0 0 0 0 0 20 0 1 0 336381091 11264000 267 33554432000 134512640 137136520 4287848496 4287846888 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 2750 267 181 641 0 2088 0

[startup+0.0445491 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 324
/proc/meminfo: memFree=31359340/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=13292 CPUtime=0.04 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 785 0 0 0 4 0 0 0 20 0 1 0 336381091 13611008 674 33554432000 134512640 137136520 4287848496 4287846240 135462563 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 3083 642 285 641 0 2439 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13292

[startup+0.100267 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 324
/proc/meminfo: memFree=31359340/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=11496 CPUtime=0.09 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 920 0 0 0 9 0 0 0 20 0 1 0 336381091 11771904 551 33554432000 134512640 137136520 4287848496 4287846776 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 2874 551 293 641 0 2230 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11496

[startup+0.300229 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 324
/proc/meminfo: memFree=31359340/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=12428 CPUtime=0.29 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 1130 0 0 0 29 0 0 0 20 0 1 0 336381091 12726272 761 33554432000 134512640 137136520 4287848496 4287847612 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 3107 761 293 641 0 2463 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12428

[startup+0.700224 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 324
/proc/meminfo: memFree=31359340/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=15056 CPUtime=0.69 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 10218 0 0 0 68 1 0 0 20 0 1 0 336381091 15417344 1153 33554432000 134512640 137136520 4287848496 4287846224 135455632 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 3764 1153 294 641 0 3120 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15056

[startup+1.50023 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 325
/proc/meminfo: memFree=31355728/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=15132 CPUtime=1.48 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 23093 0 0 0 146 2 0 0 20 0 1 0 336381091 15495168 1294 33554432000 134512640 137136520 4287848496 4287846224 135455022 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 3783 1294 294 641 0 3139 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 15132

[startup+3.10023 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 325
/proc/meminfo: memFree=31355604/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=15300 CPUtime=3.09 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 60733 0 0 0 302 7 0 0 20 0 1 0 336381091 15667200 1062 33554432000 134512640 137136520 4287848496 4287846848 135471103 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 3825 1065 294 641 0 3181 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15300

[startup+6.30023 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 325
/proc/meminfo: memFree=31355976/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=15388 CPUtime=6.28 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 142596 0 0 0 611 17 0 0 20 0 1 0 336381091 15757312 1118 33554432000 134512640 137136520 4287848496 4287846684 136526053 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 3847 1120 294 641 0 3203 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15388

[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 325
/proc/meminfo: memFree=31355148/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=15696 CPUtime=12.68 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 264546 0 0 0 1233 35 0 0 20 0 1 0 336381091 16072704 1232 33554432000 134512640 137136520 4287848496 4287846704 135091776 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 3924 1234 294 641 0 3280 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15696

[startup+25.5002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 325
/proc/meminfo: memFree=31354528/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=16568 CPUtime=25.49 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 504459 0 0 0 2479 70 0 0 20 0 1 0 336381091 16965632 1357 33554432000 134512640 137136520 4287848496 4287846192 134732866 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 4142 1357 294 641 0 3498 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16568

[startup+51.1002 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 325
/proc/meminfo: memFree=31353408/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=17100 CPUtime=51.09 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 980964 0 0 0 4970 139 0 0 20 0 1 0 336381091 17510400 1526 33554432000 134512640 137136520 4287848496 4287846268 135438857 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 4275 1526 294 641 0 3631 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 17100

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 328
/proc/meminfo: memFree=31352840/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=17660 CPUtime=102.28 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 1601747 0 0 0 10002 226 0 0 20 0 1 0 336381091 18083840 1670 33554432000 134512640 137136520 4287848496 4287846576 135471103 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 4415 1670 294 641 0 3771 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 17660

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 328
/proc/meminfo: memFree=31352720/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=18288 CPUtime=162.27 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 2132082 0 0 0 15923 304 0 0 20 0 1 0 336381091 18726912 1761 33554432000 134512640 137136520 4287848496 4287846256 135447705 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 4572 1761 294 641 0 3928 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 18288

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 329
/proc/meminfo: memFree=31351232/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=17848 CPUtime=222.25 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 3258760 0 0 0 21765 460 0 0 20 0 1 0 336381091 18276352 2029 33554432000 134512640 137136520 4287848496 4287847424 134543927 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 4462 2029 294 641 0 3818 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 17848

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 329
/proc/meminfo: memFree=31347756/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=22424 CPUtime=282.24 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 4560616 0 0 0 27589 635 0 0 20 0 1 0 336381091 22962176 3101 33554432000 134512640 137136520 4287848496 4287846384 134748201 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 5606 3101 294 641 0 4962 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 22424

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 329
/proc/meminfo: memFree=31348064/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=23112 CPUtime=342.24 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 5262678 0 0 0 33488 736 0 0 20 0 1 0 336381091 23666688 2977 33554432000 134512640 137136520 4287848496 4287846184 135443262 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 5778 2977 294 641 0 5134 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 23112

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 329
/proc/meminfo: memFree=31348064/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=22436 CPUtime=402.23 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 5884307 0 0 0 39379 844 0 0 20 0 1 0 336381091 22974464 2905 33554432000 134512640 137136520 4287848496 4287846704 134849500 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 5609 2905 294 641 0 4965 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 22436

[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 329
/proc/meminfo: memFree=31346016/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=25744 CPUtime=462.22 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 7264060 0 0 0 45186 1036 0 0 20 0 1 0 336381091 26361856 3624 33554432000 134512640 137136520 4287848496 4287846416 134847270 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 6436 3559 294 641 0 5792 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 25744

[startup+522.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 330
/proc/meminfo: memFree=31342912/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=27056 CPUtime=522.21 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 7954973 0 0 0 51091 1130 0 0 20 0 1 0 336381091 27705344 4314 33554432000 134512640 137136520 4287848496 4287846400 135246421 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 6764 4314 294 641 0 6120 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 27056

[startup+582.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 330
/proc/meminfo: memFree=31344460/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=24680 CPUtime=582.2 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 8086042 0 0 0 57068 1152 0 0 20 0 1 0 336381091 25272320 3779 33554432000 134512640 137136520 4287848496 4287846432 134830323 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 6170 3779 294 641 0 5526 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 24680

[startup+642.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 330
/proc/meminfo: memFree=31344460/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=24680 CPUtime=642.19 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 8086048 0 0 0 63065 1154 0 0 20 0 1 0 336381091 25272320 3785 33554432000 134512640 137136520 4287848496 4287846432 134838662 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 6170 3785 294 641 0 5526 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 24680

[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 333
/proc/meminfo: memFree=31343148/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=27408 CPUtime=702.18 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 8746819 0 0 0 68965 1253 0 0 20 0 1 0 336381091 28065792 4055 33554432000 134512640 137136520 4287848496 4287846560 135346086 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 6852 4055 294 641 0 6208 0
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (KiB) 27408

[startup+762.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 356
/proc/meminfo: memFree=31340976/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=27356 CPUtime=762.17 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 8967183 0 0 0 74934 1283 0 0 20 0 1 0 336381091 28012544 4488 33554432000 134512640 137136520 4287848496 4287847152 134597954 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 6839 4488 294 641 0 6195 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 27356

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 357
/proc/meminfo: memFree=31341912/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=26228 CPUtime=822.16 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 9241462 0 0 0 80895 1321 0 0 20 0 1 0 336381091 26857472 4103 33554432000 134512640 137136520 4287848496 4287846388 135441863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 6557 4103 294 641 0 5913 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 26228

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 357
/proc/meminfo: memFree=31341912/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=26228 CPUtime=882.15 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 9241462 0 0 0 86891 1324 0 0 20 0 1 0 336381091 26857472 4103 33554432000 134512640 137136520 4287848496 4287846396 134729482 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 6557 4103 294 641 0 5913 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 26228

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 357
/proc/meminfo: memFree=31342284/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=26228 CPUtime=942.15 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 9241462 0 0 0 92888 1327 0 0 20 0 1 0 336381091 26857472 4103 33554432000 134512640 137136520 4287848496 4287847424 134544252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 6557 4103 294 641 0 5913 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 26228

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

[startup+947.106 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 357
/proc/meminfo: memFree=31342284/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=26228 CPUtime=946.95 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 9241462 0 0 0 93368 1327 0 0 20 0 1 0 336381091 26857472 4103 33554432000 134512640 137136520 4287848496 4287846224 135454992 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 6557 4103 294 641 0 5913 0
Current children cumulated CPU time (s) 946.95
Current children cumulated vsize (KiB) 26228

[startup+953.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 357
/proc/meminfo: memFree=31342284/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=26228 CPUtime=953.35 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 9241462 0 0 0 94008 1327 0 0 20 0 1 0 336381091 26857472 4103 33554432000 134512640 137136520 4287848496 4287846432 134838743 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 6557 4103 294 641 0 5913 0
Current children cumulated CPU time (s) 953.35
Current children cumulated vsize (KiB) 26228

[startup+956.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 357
/proc/meminfo: memFree=31342284/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=26228 CPUtime=956.54 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 9241462 0 0 0 94327 1327 0 0 20 0 1 0 336381091 26857472 4103 33554432000 134512640 137136520 4287848496 4287846416 134847251 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 6557 4103 294 641 0 5913 0
Current children cumulated CPU time (s) 956.54
Current children cumulated vsize (KiB) 26228

[startup+957.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 357
/proc/meminfo: memFree=31342284/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=26228 CPUtime=957.34 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 9241462 0 0 0 94407 1327 0 0 20 0 1 0 336381091 26857472 4103 33554432000 134512640 137136520 4287848496 4287846704 135183706 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 6557 4103 294 641 0 5913 0
Current children cumulated CPU time (s) 957.34
Current children cumulated vsize (KiB) 26228

[startup+957.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 357
/proc/meminfo: memFree=31342284/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=26228 CPUtime=957.74 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 9241462 0 0 0 94447 1327 0 0 20 0 1 0 336381091 26857472 4103 33554432000 134512640 137136520 4287848496 4287847088 134616694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 6557 4103 294 641 0 5913 0
Current children cumulated CPU time (s) 957.74
Current children cumulated vsize (KiB) 26228

[startup+958.107 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 357
/proc/meminfo: memFree=31342284/32873844 swapFree=7116/7116
[pid=324] ppid=322 vsize=26228 CPUtime=957.95 cores=1,3,5,7
/proc/324/stat : 324 (bsolo) R 322 324 29538 0 -1 4202496 9241462 0 0 0 94468 1327 0 0 20 0 1 0 336381091 26857472 4103 33554432000 134512640 137136520 4287848496 4287847424 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/324/statm: 6557 4103 294 641 0 5913 0
Current children cumulated CPU time (s) 957.95
Current children cumulated vsize (KiB) 26228

Child status: 0
Real time (s): 958.137
CPU time (s): 957.988
CPU user time (s): 944.712
CPU system time (s): 13.276
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 28452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 944.712
system time used= 13.276
maximum resident set size= 17952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9241464
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= 16
involuntary context switches= 984

runsolver used 1.46478 second user time and 3.81642 second system time

The end

Launcher Data 

Begin job on node111 at 2012-06-03 07:49:01
IDJOB=3732078
IDBENCH=2025
IDSOLVER=2320
FILE ID=node111/3732078-1338702541
RUNJOBID= node111-1338678630-29558
PBS_JOBID= 14636702
Free space on /tmp= 67392 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-3pb.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3732078-1338702541/watcher-3732078-1338702541 -o /tmp/evaluation-result-3732078-1338702541/solver-3732078-1338702541 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3732078-1338702541.opb

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

MD5SUM BENCH= c2400ec88bd2efb16a03934d0b4c43da
RANDOM SEED=1853745615

node111.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.152
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.30
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.152
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.152
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.152
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.152
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.152
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		: 2666.152
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.152
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31359512 kB
Buffers:          176172 kB
Cached:           493392 kB
SwapCached:         1404 kB
Active:           211448 kB
Inactive:         518308 kB
Active(anon):      60956 kB
Inactive(anon):     1276 kB
Active(file):     150492 kB
Inactive(file):   517032 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100152 kB
Dirty:              3924 kB
Writeback:             0 kB
AnonPages:         65476 kB
Mapped:             9984 kB
Shmem:                 0 kB
Slab:             645432 kB
SReclaimable:      87792 kB
SUnreclaim:       557640 kB
KernelStack:        1464 kB
PageTables:         3792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     189704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     49152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3732078-1338702541.opb

Free space on /tmp at the end= 67388 MiB
End job on node111 at 2012-06-03 08:04:59