Trace number 3737606

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)-33 1800.11 1800.75

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_25_2.opb
MD5SUM24465d104818b01999b811ba346c3d8e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-130
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -152
Optimality of the best value was proved NO
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
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 1000
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 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)63088
Sum of products size (including duplicates)126176
Number of different products31544
Sum of products size63088

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-3737606-1338724557.opb
0.00/0.00	c File size is 940668 bytes.
0.08/0.18	c Highest Coefficient sum: 2000
0.08/0.18	c Parsing was ok!!
0.08/0.18	c Total parsing time: 0.181 s
0.18/0.23	c Var: 65088 Constr: 129178 64088/2002/63088 Lit: 447616 Watch. Lit: 382530
0.18/0.23	c Obj. Vars: 1000 (1.53638 % of total variables)
144.35/144.44	c Pre-processing Time: 144.399 s
144.35/144.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
144.35/144.44	c        0  65088   129178   447616    3   382530  500000      0      0 144.40
144.35/144.44	c Switching off LPR mode.
144.45/144.51	o -1	144.477
144.45/144.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
144.45/144.58	c        0  65088   129179   448616    3   382533  500000      1      0 144.49
144.45/144.58	o -2	144.541
144.55/144.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
144.55/144.64	c        0  65088   129180   449616    3   382537  500000      2      0 144.56
144.55/144.64	o -3	144.606
144.65/144.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
144.65/144.71	c        0  65088   129181   450616    3   382542  500000      3      0 144.62
144.65/144.71	o -4	144.672
144.65/144.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
144.65/144.78	c        0  65088   129182   451616    3   382548  500000      4      0 144.69
144.65/144.78	o -5	144.737
144.75/144.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
144.75/144.84	c        0  65088   129183   452616    3   382555  500000      5      0 144.75
144.75/144.84	o -6	144.804
144.85/144.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
144.85/144.91	c        0  65088   129184   453616    3   382563  500000      6      0 144.82
144.85/144.91	o -7	144.87
144.85/144.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
144.85/144.98	c        0  65088   129185   454616    3   382572  500000      7      0 144.88
144.85/144.98	o -8	144.937
144.95/145.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
144.95/145.04	c        0  65088   129186   455616    3   382582  500000      8      0 144.95
144.95/145.04	o -9	145.005
145.06/145.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
145.06/145.11	c        0  65088   129187   456616    3   382593  500000      9      0 145.02
145.06/145.11	o -10	145.073
145.06/145.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
145.06/145.18	c        0  65088   129188   457616    3   382605  500000     10      0 145.09
145.06/145.18	o -11	145.14
145.16/145.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
145.16/145.25	c        0  65088   129189   458616    3   382618  500000     11      0 145.16
145.16/145.25	o -12	145.209
145.25/145.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
145.25/145.32	c        0  65088   129190   459616    3   382632  500000     12      0 145.22
145.25/145.32	o -13	145.277
145.25/145.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
145.25/145.38	c        0  65088   129191   460616    3   382647  500000     13      0 145.29
145.25/145.38	o -14	145.345
145.35/145.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
145.35/145.45	c        0  65088   129192   461616    3   382663  500000     14      0 145.36
145.35/145.45	o -15	145.414
145.45/145.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
145.45/145.52	c        0  65088   129193   462616    3   382680  500000     15      0 145.43
145.45/145.52	o -16	145.482
145.45/145.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
145.45/145.59	c        0  65088   129194   463616    3   382698  500000     16      0 145.50
145.45/145.59	o -17	145.551
145.55/145.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
145.55/145.66	c        0  65088   129195   464616    3   382717  500000     17      0 145.57
145.55/145.66	o -18	145.619
145.65/145.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
145.65/145.73	c        0  65088   129196   465616    3   382737  500000     18      0 145.64
145.65/145.73	o -19	145.688
145.65/145.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
145.65/145.80	c        0  65088   129197   466616    3   382758  500000     19      0 145.71
145.65/145.80	o -20	145.757
145.75/145.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
145.75/145.87	c        0  65088   129198   467616    3   382780  500000     20      0 145.77
145.75/145.87	o -21	145.826
145.85/145.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
145.85/145.93	c        0  65088   129199   468616    3   382803  500000     21      0 145.84
145.85/145.93	o -22	145.896
145.95/146.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
145.95/146.00	c        0  65088   129200   469616    3   382827  500000     22      0 145.91
145.95/146.00	o -23	145.965
145.95/146.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
145.95/146.07	c        0  65088   129201   470616    3   382852  500000     23      0 145.98
145.95/146.07	o -24	146.034
146.05/146.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
146.05/146.14	c        0  65088   129202   471616    3   382878  500000     24      0 146.05
146.05/146.14	o -25	146.104
146.16/146.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
146.16/146.21	c        0  65088   129203   472616    3   382905  500000     25      0 146.12
146.16/146.21	o -26	146.174
146.16/146.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
146.16/146.28	c        0  65088   129204   473616    3   382933  500000     26      0 146.19
146.16/146.28	o -27	146.244
146.26/146.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
146.26/146.35	c        0  65088   129205   474616    3   382962  500000     27      0 146.26
146.26/146.35	o -28	146.314
146.35/146.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
146.35/146.42	c        0  65088   129206   475616    3   382992  500000     28      0 146.33
146.35/146.42	o -29	146.384
146.45/146.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
146.45/146.56	c        0  65088   129207   476616    3   383023  500000     29      0 146.40
146.45/146.56	o -30	146.519
203.82/203.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
203.82/203.95	c        4  65088   129212   482220    3   383063  500000     34      0 146.54
203.82/203.95	c      104  65088   129312   601509    4   383263  550001    134      0 148.25
203.82/203.95	c      354  65088   129562   889547    6   383763  605002    384      2 151.86
203.82/203.95	c      829  65088   130037  1444544   11   384713  665503    859      5 157.94
203.82/203.95	c     1642  65088   130850  2384035   18   386339  732054   1672      9 166.03
203.82/203.95	c     2962  65088   132170  3989450   30   388979  805260   2992     16 179.59
203.82/203.95	c     5043  65088   134251  6852363   51   393141  885787   5073     25 197.76
203.82/203.95	o -31	203.884
205.53/205.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
205.53/205.66	c     7781  65088   136990 10798265   78   398650  500000   7812     38 203.91
205.53/205.66	c     7881  65088   137090 10898264   79   398850  550001   7912     38 204.14
205.53/205.66	c     8131  65088   137340 11148264   81   399350  605002   8162     39 204.55
205.53/205.66	c     8606  65088   137815 11623264   84   400300  665503   8637     41 205.00
205.53/205.66	o -32	205.597
221.12/221.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
221.12/221.29	c     8717  65088   137927 11737197   85   400556  500000   8749     42 205.62
221.12/221.29	c     8817  65088   138027 11839627   85   400756  550001   8849     42 208.72
221.12/221.29	c     9067  65088   138277 12115924   87   401256  605002   9099     42 213.94
221.12/221.29	c     9542  65088   138752 12816974   92   402206  665503   9574     43 220.73
221.12/221.29	o -33	221.221
1800.06/1800.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.06/1800.71	c     9683  65088   138894 13052359   93   402523  500000   9716     43 221.25
1800.06/1800.71	c     9783  65088   138994 13156777   94   402723  550001   9816     43 223.47
1800.06/1800.71	c    10033  65088   139244 13438432   96   403223  605002  10066     44 227.99
1800.06/1800.71	c    10508  65088   139719 14164155  101   404173  665503  10541     44 233.95
1800.06/1800.71	c    11321  65088   140532 15227866  108   405799  732054  11354     45 246.29
1800.06/1800.71	c    12641  65088   141852 17098111  120   408439  805260  12674     48 261.59
1800.06/1800.71	c    14722  65088   143933 19934180  138   412601  885787  14755     50 291.47
1800.06/1800.71	c    17945  65088   147156 24368230  165   419047  974366  17978     53 336.62
1800.06/1800.71	c    22881  65088   152092 30618432  201   428919  500000  22914     60 379.68
1800.06/1800.71	c    30387  65088   159598 38151397  239   443931  550001  30420     78 388.96
1800.06/1800.71	c    41748  65088   170959 49535671  289   466653  605002  41781    103 403.55
1800.06/1800.71	c    58892  65088   188103 66735068  354   500941  665503  58925    138 425.79
1800.06/1800.71	c    84711  65088   213922 98127755  458   552579  732054  84744    110 768.80
1800.06/1800.71	c   123543  65088   252754 145566257  575   630243  805260 123576     97 1263.41
1800.06/1800.71	c Caught signal: 15
1800.06/1800.71	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 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1291 -x1720 -x1789 -x1576 -x1062 -x1499 -x1865 -x1278 -x1746 -x1628 -x1343 -x1180 -x1150 -x1094 -x1038 -x1050 -x1655 -x1774 -x1368 -x1731 -x1003 -x1573 -x1570 -x1316 -x1768 -x1075 -x1106 -x1122 -x1136 -x1205 -x1306 -x1356 -x1457 -x1548 -x1584 -x1666 -x1670 -x1683 -x1738 -x1783 -x1001 x1392 x1211 x1631 x1297 -x1064 -x1014 -x1587 x1803 x1162 -x1197 x1653 x1378 x1474 x1398 x1358 -x1168 -x1929 x1507 x1261 -x1966 -x1557 -x1915 x1091 -x1276 -x1012 -x1041 -x1060 x1085 -x1161 x1268 x1280 -x1308 x1728 x1916 -x1002 x1645 x1446 x1200 x1567 -x1761 x1967 -x1310 x1324 -x1949 -x1606 -x1387 -x1963 x1544 -x1522 -x1117 -x1057 -x1718 -x1769 -x1787 x1191 -x1518 -x1144 x1711 -x1650 -x1026 -x1160 -x1229 -x1238 -x1259 -x1275 x1281 x1636 -x1702 -x1719 -x1852 -x1880 -x1890 -x1950 -x1971 -x1763 -x1558 -x1186 -x1234 -x1385 -x1800 -x1704 -x1461 -x1438 -x1652 -x1418 -x1824 -x1961 -x1697 -x1082 -x1370 -x1766 -x1202 -x1156 -x1309 -x1051 -x1123 -x1199 -x1220 -x1227 -x1483 -x1552 -x1581 -x1698 -x1812 -x1004 -x1299 -x1019 -x1516 -x1300 -x1989 -x1210 -x1578 -x1747 -x1484 -x1598 -x1424 -x1035 -x1190 -x1193 -x1155 -x1506 -x1907 -x1589 -x1032 -x1070 -x1092 -x1134 -x1254 -x1498 -x1526 -x1592 -x1850 -x1858 -x1942 -x1005 -x1875 -x1673 -x1142 -x1382 -x1333 -x1861 -x1351 -x1376 -x1331 -x1691 -x1892 -x1269 -x1488 -x1638 -x1080 -x1323 -x1473 -x1042 -x1921 -x1010 -x1817 -x1307 -x1517 -x1045 -x1101 -x1226 -x1242 -x1264 -x1511 -x1543 -x1602 -x1662 -x1692 -x1833 -x1943 -x1975 -x1006 -x1706 -x1867 -x1776 -x1646 -x1741 -x1132 -x1999 -x1153 -x1482 -x1727 -x1835 -x1524 -x1732 -x1079 -x1792 -x1571 -x1068 -x1223 -x1893 -x1540 -x1617 -x1165 -x1048 -x1073 -x1076 -x1151 -x1167 -x1198 -x1230 -x1341 -x1421 -x1500 -x1586 -x1614 -x1684 -x1007 -x1550 -x1785 -x1472 -x1100 -x1146 -x1340 -x1157 -x1115 -x1802 -x1752 -x1914 -x1941 -x1225 -x1397 -x1939 -x1729 -x1017 -x1564 -x1754 -x1748 -x1642 -x1545 -x1020 -x1056 -x1065 -x1072 -x1149 -x1231 -x1266 -x1317 -x1383 -x1423 -x1445 -x1504 -x1512 -x1820 -x1860 -x1008 -x1709 -x1120 -x1601 -x1736 -x1520 -x1902 -x1758 -x1677 -x1708 -x1911 -x1781 -x1974 -x1851 -x1357 -x1086 -x1600 -x1158 -x1649 -x1022 -x1105 -x1140 -x1152 -x1369 -x1442 -x1455 -x1513 -x1593 -x1659 -x1678 -x1778 -x1831 -x1009 -x1705 -x1258 -x1249 -x1927 -x1841 -x1302 -x1272 -x1327 -x1173 -x1404 -x1344 -x1826 -x1799 -x1274 -x1121 -x1133 -x1164 -x1183 -x1252 -x1256 -x1265 -x1380 -x1515 -x1668 -x1796 -x1509 -x1767 -x1594 -x1119 -x1924 -x1823 -x1533 -x1460 -x1288 -x1143 -x1096 -x1619 -x1565 -x1363 -x1990 -x1013 -x1355 -x1381 -x1384 -x1414 -x1429 -x1462 -x1485 -x1489 -x1541 -x1624 -x1625 -x1676 -x1935 -x1011 -x1390 -x1786 -x1494 -x1411 -x1177 -x1947 -x1530 -x1452 -x1353 -x1985 -x1478 -x1128 -x1765 -x1622 -x1447 -x1058 -x1722 -x1021 -x1090 -x1095 -x1129 -x1439 -x1475 -x1527 -x1849 -x1944 -x1521 -x1816 -x1437 -x1179 -x1856 -x1651 -x1618 -x1777 -x1597 -x1318 -x1490 -x1434 -x1224 -x1284 -x1519 -x1810 -x1945 -x1111 -x1175 -x1844 -x1034 -x1248 -x1349 -x1399 -x1556 -x1981 -x1206 -x1804 -x1209 -x1932 -x1510 -x1590 -x1350 -x1043 -x1212 -x1623 -x1923 -x1952 -x1793 -x1352 -x1904 -x1878 -x1647 -x1289 -x1125 -x1347 -x1244 -x1403 -x1917 -x1176 -x1237 -x1018 -x1084 -x1112 -x1114 -x1135 -x1246 -x1260 -x1495 -x1523 -x1528 -x1658 -x1808 -x1845 -x1848 -x1882 -x1015 -x1675 -x1905 -x1098 -x1948 -x1568 -x1169 -x1713 -x1973 -x1616 -x1627 -x1870 -x1373 -x1599 -x1218 -x1036 -x1074 -x1081 -x1436 -x1479 -x1480 -x1497 -x1920 -x1016 -x1609 -x1107 -x1187 -x1637 -x1994 -x1956 -x1626 -x1170 -x1797 -x1919 -x1023 x1163 -x1339 -x1496 -x1641 -x1714 -x1863 -x1889 -x1913 -x1986 -x1992 -x1621 -x1742 -x1233 -x1047 -x1053 -x1315 -x1721 -x1431 -x1487 -x1958 -x1689 -x1314 -x1174 -x1296 -x1321 -x1640 -x1873 -x1688 -x1954 -x1078 -x1295 -x1235 -x1501 -x1634 -x1931 -x1335 -x1287 -x1463 -x1087 -x1283 -x1301 -x1364 -x1412 -x1425 -x1448 -x1458 -x1481 -x1660 -x1694 -x1710 -x1759 -x1887 -x1940 -x1936 -x1396 -x1608 -x1453 -x1104 -x1575 -x1874 -x1025 -x1055 -x1419 -x1725 -x1839 -x1866 -x1695 -x1505 -x1108 -x1554 -x1723 -x1998 -x1901 -x1753 -x1686 -x1279 -x1088 -x1109 -x1166 -x1154 -x1466 -x1644 -x1102 -x1319 -x1546 -x1794 -x1679 -x1791 -x1579 -x1788 -x1046 -x1103 -x1215 -x1239 -x1559 -x1681 -x1903 -x1983 -x1277 -x1194 -x1900 -x1739 -x1630 -x1465 -x1401 -x1049 -x1213 -x1410 -x1435 -x1707 -x1814 -x1818 -x1762 -x1375 -x1443 -x1877 -x1551 -x1756 -x1737 -x1178 -x1219 -x1342 -x1348 -x1988 -x1024 -x1089 -x1337 -x1815 -x1330 -x1433 -x1216 -x1124 -x1217 -x1432 -x1304 -x1141 -x1228 -x1305 -x1825 -x1470 -x1682 -x1665 -x1930 -x1982 -x1334 -x1322 -x1131 -x1292 -x1420 -x1854 -x1735 -x1148 -x1717 -x1416 -x1159 -x1770 -x1970 -x1980 -x1562 -x1029 -x1067 -x1097 -x1145 -x1303 -x1394 -x1406 -x1456 -x1724 -x1859 -x1908 -x1027 -x1648 -x1232 -x1972 -x1612 -x1960 -x1408 -x1243 -x1449 -x1428 -x1896 -x1033 -x1069 -x1181 -x1572 -x1588 -x1591 -x1674 -x1830 -x1028 -x1262 -x1332 -x1879 -x1362 -x1052 -x1061 -x1066 -x1757 -x1773 -x1840 -x1925 -x1965 -x1196 -x1566 -x1909 -x1077 -x1534 -x1821 -x1979 -x1037 -x1039 -x1326 -x1454 -x1744 -x1749 -x1790 -x1030 -x1185 -x1629 -x1607 -x1984 -x1422 -x1531 -x1806 -x1241 -x1031 -x1978 -x1346 -x1829 -x1365 -x1730 -x1876 -x1857 -x1221 -x1613 -x1883 -x1664 -x1426 -x1828 -x1430 -x1270 -x1407 -x1639 -x1801 -x1805 -x1906 -x1782 -x1240 -x1285 -x1328 -x1329 -x1379 -x1493 -x1635 -x1733 -x1886 -x1071 -x1535 -x2000 -x1993 -x1113 -x1563 -x1413 -x1338 -x1611 -x1836 -x1926 -x1293 -x1441 -x1603 -x1054 -x1099 -x1312 -x1464 -x1822 -x1389 -x1734 -x1937 -x1195 -x1492 -x1809 -x1968 -x1561 -x1267 -x1784 -x1311 -x1405 -x1502 -x1207 -x1374 -x1508 -x1700 -x1987 -x1372 -x1991 -x1126 -x1477 -x1263 -x1450 -x1377 -x1934 -x1838 -x1236 -x1127 -x1208 -x1577 -x1040 -x1755 -x1402 -x1962 -x1137 -x1427 -x1468 -x1685 -x1997 -x1271 -x1282 -x1760 -x1959 -x1130 -x1214 -x1345 -x1671 -x1811 -x1400 -x1946 -x1569 -x1553 -x1110 -x1222 -x1313 -x1367 -x1539 -x1661 -x1703 -x1273 -x1996 -x1669 -x1471 -x1336 -x1542 -x1604 -x1044 -x1633 -x1884 -x1247 -x1807 -x1899 -x1951 -x1290 -x1693 -x1189 -x1320 -x1361 -x1912 -x1933 -x1063 -x1751 -x1585 -x1298 -x1093 -x1536 -x1699 -x1855 -x1969 -x1560 -x1409 -x1891 -x1188 -x1667 -x1596 -x1359 -x1440 -x1701 -x1764 -x1955 -x1486 -x1643 -x1740 -x1696 -x1538 -x1872 -x1813 -x1843 -x1654 -x1918 -x1837 -x1083 -x1251 -x1888 -x1964 -x1842 -x1715 -x1574 -x1138 -x1610 -x1354 -x1672 -x1846 -x1503 -x1716 -x1203 -x1476 x1881 -x1257 -x1537 -x1391 -x1393 -x1467 -x1417 -x1895 -x1147 -x1192 -x1184 -x1182 -x1451 -x1922 -x1059 -x1795 -x1250 -x1897 -x1525 -x1139 -x1514 -x1657 -x1583 -x1605 -x1750 -x1864 -x1898 -x1171 -x1253 -x1680 -x1366 -x1325 -x1415 -x1871 -x1894 -x1201 -x1620 -x1547 -x1798 -x1780 -x1245 -x1395 -x1847 -x1775 -x1977 -x1827 -x1928 -x1910 -x1371 -x1690 -x1204 -x1386 -x1869 -x1116 -x1294 -x1388 -x1615 -x1885 -x1745 -x1444 -x1172 -x1555 -x1834 -x1743 -x1656 -x1953 -x1632 -x1286 -x1862 -x1469 -x1580 -x1779 -x1582 -x1868 -x1595 -x1549 -x1118 -x1687 -x1772 -x1995 -x1832 -x1938 x1255 -x1771 -x1726 -x1459 -x1532 -x1491 -x1529 -x1957 -x1853 -x1360 -x1819 -x1712 -x1976 -x1663 
1800.06/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.71	c   58   160630   1133  1940582   289841 193002464 160663     89 1800.07
1800.06/1800.71	c Objective: -33
1800.06/1800.71	s SATISFIABLE
1800.06/1800.71	c Total time: 1800.07 s

Verifier Data 

OK	-33

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19178
/proc/meminfo: memFree=26834072/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) D 19176 19178 18429 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 338581598 2723840 48 33554432000 134512640 135840783 4287704912 4287702948 5817284 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 665 48 37 325 0 32 0

[startup+0.0351649 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19178
/proc/meminfo: memFree=26834072/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=8892 CPUtime=0.02 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 1327 0 0 0 2 0 0 0 20 0 1 0 338581598 9105408 1264 33554432000 134512640 135840783 4287704912 4287703392 2839847 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 2223 1265 368 325 0 929 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8892

[startup+0.100246 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19178
/proc/meminfo: memFree=26834072/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=15844 CPUtime=0.08 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 3202 0 0 0 8 0 0 0 20 0 1 0 338581598 16224256 3099 33554432000 134512640 135840783 4287704912 4287703392 2839847 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 3961 3100 448 325 0 2667 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15844

[startup+0.300247 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19178
/proc/meminfo: memFree=26834072/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=39152 CPUtime=0.29 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 9241 0 0 0 28 1 0 0 20 0 1 0 338581598 40091648 8780 33554432000 134512640 135840783 4287704912 4286922972 15598640 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 9788 8780 345 325 0 8724 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39152

[startup+0.700258 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19178
/proc/meminfo: memFree=26834072/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=39152 CPUtime=0.69 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 9276 0 0 0 68 1 0 0 20 0 1 0 338581598 40091648 8815 33554432000 134512640 135840783 4287704912 4286922500 2826482 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 9788 8815 345 325 0 8724 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39152

[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19179
/proc/meminfo: memFree=26795748/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=39152 CPUtime=1.49 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 9278 0 0 0 148 1 0 0 20 0 1 0 338581598 40091648 8817 33554432000 134512640 135840783 4287704912 4286922972 15598640 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 9788 8817 345 325 0 8724 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39152

[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19179
/proc/meminfo: memFree=26790300/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=39152 CPUtime=3.09 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 9278 0 0 0 308 1 0 0 20 0 1 0 338581598 40091648 8817 33554432000 134512640 135840783 4287704912 4286922608 2837406 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 9788 8817 345 325 0 8724 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39152

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19179
/proc/meminfo: memFree=26778728/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=39284 CPUtime=6.29 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 9279 0 0 0 628 1 0 0 20 0 1 0 338581598 40226816 8818 33554432000 134512640 135840783 4287704912 4286922500 2826594 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 9821 8818 345 325 0 8757 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39284

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19179
/proc/meminfo: memFree=26750752/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=39284 CPUtime=12.68 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 9279 0 0 0 1267 1 0 0 20 0 1 0 338581598 40226816 8818 33554432000 134512640 135840783 4287704912 4286922608 2837406 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 9821 8818 345 325 0 8757 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 39284

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19179
/proc/meminfo: memFree=26695784/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=39284 CPUtime=25.48 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 9279 0 0 0 2546 2 0 0 20 0 1 0 338581598 40226816 8818 33554432000 134512640 135840783 4287704912 4286922832 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 9821 8818 345 325 0 8757 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39284

[startup+51.1003 s]
/proc/loadavg: 2.13 2.03 2.01 3/177 19256
/proc/meminfo: memFree=30440936/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=39284 CPUtime=51.07 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 9287 0 0 0 5104 3 0 0 20 0 1 0 338581598 40226816 8818 33554432000 134512640 135840783 4287704912 4286922500 2826492 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 9821 8818 345 325 0 8757 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 39284

[startup+102.307 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 19257
/proc/meminfo: memFree=30441340/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=39284 CPUtime=102.26 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 9293 0 0 0 10221 5 0 0 20 0 1 0 338581598 40226816 8818 33554432000 134512640 135840783 4287704912 4286922560 2837764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 9821 8818 345 325 0 8757 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 39284

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 19257
/proc/meminfo: memFree=30421008/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=60244 CPUtime=162.25 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 17038 0 0 0 16210 15 0 0 20 0 1 0 338581598 61689856 14203 33554432000 134512640 135840783 4287704912 4287704208 134571806 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 15061 14203 351 325 0 13997 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 60244

[startup+222.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 19257
/proc/meminfo: memFree=30271812/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=202516 CPUtime=222.21 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 52642 0 0 0 22199 22 0 0 20 0 1 0 338581598 207376384 49775 33554432000 134512640 135840783 4287704912 4287704272 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 50629 49775 351 325 0 49565 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 202516

[startup+282.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/178 19260
/proc/meminfo: memFree=29818196/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=276248 CPUtime=282.19 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 71095 0 0 0 28191 28 0 0 20 0 1 0 338581598 282877952 68212 33554432000 134512640 135840783 4287704912 4287704272 134551071 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 69062 68212 351 325 0 67998 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 276248

[startup+342.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 19283
/proc/meminfo: memFree=29282200/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=355760 CPUtime=342.16 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 91000 0 0 0 34184 32 0 0 20 0 1 0 338581598 364298240 88079 33554432000 134512640 135840783 4287704912 4287704272 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 88940 88079 351 325 0 87876 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 355760

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 19284
/proc/meminfo: memFree=28705892/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=656816 CPUtime=402.13 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 166297 0 0 0 40167 46 0 0 20 0 1 0 338581598 672579584 163346 33554432000 134512640 135840783 4287704912 4287692176 134574500 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 164204 163346 351 325 0 163140 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 656816

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19284
/proc/meminfo: memFree=28165024/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=936244 CPUtime=462.1 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 236164 0 0 0 46148 62 0 0 20 0 1 0 338581598 958713856 233193 33554432000 134512640 135840783 4287704912 4287704272 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 234061 233193 351 325 0 232997 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 936244

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19284
/proc/meminfo: memFree=27789704/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=988480 CPUtime=522.07 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 249232 0 0 0 52142 65 0 0 20 0 1 0 338581598 1012203520 246246 33554432000 134512640 135840783 4287704912 4287704208 134572675 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 247120 246246 351 325 0 246056 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 988480

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19284
/proc/meminfo: memFree=27458280/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=1062900 CPUtime=582.05 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 267873 0 0 0 58134 71 0 0 20 0 1 0 338581598 1088409600 264870 33554432000 134512640 135840783 4287704912 4287704272 134551751 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 265725 264870 351 325 0 264661 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 1062900

[startup+642.301 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19288
/proc/meminfo: memFree=25924112/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=1441036 CPUtime=881.93 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 362505 0 0 0 88099 94 0 0 20 0 1 0 338581598 1475620864 359417 33554432000 134512640 135840783 4287704912 4287704272 134551400 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 360259 359417 351 325 0 359195 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 1441036

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19288
/proc/meminfo: memFree=25705660/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=1527768 CPUtime=941.91 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 384172 0 0 0 94092 99 0 0 20 0 1 0 338581598 1564434432 381071 33554432000 134512640 135840783 4287704912 4287704272 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 381942 381071 351 325 0 380878 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 1527768

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19288
/proc/meminfo: memFree=25467140/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=1581076 CPUtime=1001.9 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 397524 0 0 0 100087 103 0 0 20 0 1 0 338581598 1619021824 394405 33554432000 134512640 135840783 4287704912 4287704272 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 395269 394405 351 325 0 394205 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 1581076

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19289
/proc/meminfo: memFree=25234816/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=1676820 CPUtime=1061.86 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 421503 0 0 0 106078 108 0 0 20 0 1 0 338581598 1717063680 418357 33554432000 134512640 135840783 4287704912 4287704272 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 419205 418357 351 325 0 418141 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 1676820

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19289
/proc/meminfo: memFree=25018524/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=1747184 CPUtime=1121.84 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 439122 0 0 0 112070 114 0 0 20 0 1 0 338581598 1789116416 435953 33554432000 134512640 135840783 4287704912 4287704208 134572665 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 436796 435953 351 325 0 435732 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 1747184

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19289
/proc/meminfo: memFree=24813716/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=1800720 CPUtime=1181.81 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 452541 0 0 0 118062 119 0 0 20 0 1 0 338581598 1843937280 449337 33554432000 134512640 135840783 4287704912 4287704208 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 450180 449337 351 325 0 449116 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 1800720

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19289
/proc/meminfo: memFree=24723976/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=1873392 CPUtime=1241.78 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 470722 0 0 0 124055 123 0 0 20 0 1 0 338581598 1918353408 467492 33554432000 134512640 135840783 4287704912 4287704224 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 468348 467492 351 325 0 467284 0
Current children cumulated CPU time (s) 1241.78
Current children cumulated vsize (KiB) 1873392

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19289
/proc/meminfo: memFree=24665120/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=1931624 CPUtime=1301.76 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 485311 0 0 0 130048 128 0 0 20 0 1 0 338581598 1977982976 482054 33554432000 134512640 135840783 4287704912 4287704208 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 482906 482054 351 325 0 481842 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 1931624

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19290
/proc/meminfo: memFree=24589268/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=2008112 CPUtime=1361.72 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 504439 0 0 0 136039 133 0 0 20 0 1 0 338581598 2056306688 501157 33554432000 134512640 135840783 4287704912 4287704240 7491551 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 502028 501157 351 325 0 500964 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 2008112

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19290
/proc/meminfo: memFree=24514240/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=2082068 CPUtime=1421.71 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 522944 0 0 0 142032 139 0 0 20 0 1 0 338581598 2132037632 519656 33554432000 134512640 135840783 4287704912 4287704208 134572580 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 520517 519656 351 325 0 519453 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 2082068

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19293
/proc/meminfo: memFree=24431476/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=2165468 CPUtime=1481.7 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 543789 0 0 0 148026 144 0 0 20 0 1 0 338581598 2217439232 540501 33554432000 134512640 135840783 4287704912 4287704208 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 541367 540501 351 325 0 540303 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 2165468

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19293
/proc/meminfo: memFree=24372368/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=2224568 CPUtime=1541.69 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 558568 0 0 0 154021 148 0 0 20 0 1 0 338581598 2277957632 555280 33554432000 134512640 135840783 4287704912 4287704272 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 556142 555280 351 325 0 555078 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 2224568

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19293
/proc/meminfo: memFree=24302088/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=2294668 CPUtime=1601.68 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 576110 0 0 0 160016 152 0 0 20 0 1 0 338581598 2349740032 572822 33554432000 134512640 135840783 4287704912 4287704048 2837406 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 573667 572822 351 325 0 572603 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 2294668

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19294
/proc/meminfo: memFree=24225360/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=2370788 CPUtime=1661.67 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 595142 0 0 0 166010 157 0 0 20 0 1 0 338581598 2427686912 591854 33554432000 134512640 135840783 4287704912 4287704272 134550814 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 592697 591854 351 325 0 591633 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 2370788

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 19294
/proc/meminfo: memFree=24166984/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=2429176 CPUtime=1721.66 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 609738 0 0 0 172003 163 0 0 20 0 1 0 338581598 2487476224 606450 33554432000 134512640 135840783 4287704912 4287704208 134572687 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 607294 606450 351 325 0 606230 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 2429176

[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 19294
/proc/meminfo: memFree=24107988/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=2487476 CPUtime=1781.65 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 624309 0 0 0 177997 168 0 0 20 0 1 0 338581598 2547175424 621021 33554432000 134512640 135840783 4287704912 4287704208 134572684 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 621869 621021 351 325 0 620805 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 2487476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 19294
/proc/meminfo: memFree=24091836/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=2503876 CPUtime=1800.06 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 628383 0 0 0 179837 169 0 0 20 0 1 0 338581598 2563969024 625095 33554432000 134512640 135840783 4287704912 4287704272 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 625969 625095 351 325 0 624905 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2503876

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

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

[startup+1800.71 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 19294
/proc/meminfo: memFree=24091836/32873648 swapFree=6860/6860
[pid=19178] ppid=19176 vsize=2503876 CPUtime=1800.06 cores=1,3,5,7
/proc/19178/stat : 19178 (bsolo3.0.17) R 19176 19178 18429 0 -1 4202496 628383 0 0 0 179837 169 0 0 20 0 1 0 338581598 2563969024 625095 33554432000 134512640 135840783 4287704912 4287704272 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19178/statm: 625969 625095 351 325 0 624905 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2503876

Child status: 15
Real time (s): 1800.75
CPU time (s): 1800.11
CPU user time (s): 1798.38
CPU system time (s): 1.73673
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (KiB): 2503876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.38
system time used= 1.73673
maximum resident set size= 2500380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 628386
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= 566
involuntary context switches= 1820

runsolver used 2.81157 second user time and 9.8845 second system time

The end

Launcher Data 

Begin job on node124 at 2012-06-03 13:55:57
IDJOB=3737606
IDBENCH=48269
IDSOLVER=2318
FILE ID=node124/3737606-1338724557
RUNJOBID= node124-1338713740-18446
PBS_JOBID= 14636741
Free space on /tmp= 70704 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_25_2.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737606-1338724557/watcher-3737606-1338724557 -o /tmp/evaluation-result-3737606-1338724557/solver-3737606-1338724557 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3737606-1338724557.opb            

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

MD5SUM BENCH= 24465d104818b01999b811ba346c3d8e
RANDOM SEED=900711281

node124.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.325
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.65
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5357.53
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5385.03
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.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26834616 kB
Buffers:          198120 kB
Cached:          1377848 kB
SwapCached:         8268 kB
Active:          4079140 kB
Inactive:        1181320 kB
Active(anon):    3678472 kB
Inactive(anon):     8240 kB
Active(file):     400668 kB
Inactive(file):  1173080 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67091596 kB
Dirty:              7396 kB
Writeback:             0 kB
AnonPages:       3683652 kB
Mapped:            10384 kB
Shmem:                 0 kB
Slab:             629764 kB
SReclaimable:      74316 kB
SUnreclaim:       555448 kB
KernelStack:        1456 kB
PageTables:        11296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    3798836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1363968 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= 70696 MiB
End job on node124 at 2012-06-03 14:26:00