Trace number 3737476

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.1SAT-23 1798.01 1798.35

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_10_3.opb
MD5SUM4ec3492215da9d1ca4e43111c42870de
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-28
Best CPU time to get the best result obtained on this benchmark1797.3
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2488
Sum of products size (including duplicates)4976
Number of different products1244
Sum of products size2488

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-3737476-1338735140.opb
0.00/0.00	c File size is 106306 bytes.
0.00/0.00	c Highest Coefficient sum: 200
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.006 s
0.00/0.00	c Var: 1444 Constr: 2790 1344/202/1244 Lit: 10552 Watch. Lit: 9110
0.00/0.00	c Obj. Vars: 100 (6.92521 % of total variables)
0.09/0.13	c Pre-processing Time: 0.136 s
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   1444     2790    10552    3     9110   19716      0      0 0.14
0.09/0.13	c Switching off lower bounding mode.
0.09/0.13	o -1
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   1444     2791    10652    3     9113   19782      1      0 0.14
0.09/0.14	o -2
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        1   1444     2794    10952    3     9122   19816      4      7 0.14
0.09/0.14	o -3
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        3   1444     2798    11377    4     9135   19849      8     21 0.14
0.09/0.14	o -4
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        5   1444     2802    11794    4     9150   19882     12     35 0.14
0.09/0.14	o -5
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        9   1444     2808    12421    4     9171   19916     18     62 0.14
0.09/0.14	o -6
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c       16   1444     2817    13146    4     9200   19949     27    110 0.14
0.09/0.14	o -7
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c       26   1444     2829    14150    5     9237   19982     39    175 0.15
0.09/0.15	o -8
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c       35   1444     2840    15232    5     9274   20016     50    233 0.15
0.09/0.15	o -9
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c       45   1444     2852    16409    5     9315   20049     62    296 0.15
0.09/0.15	o -10
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c       57   1444     2866    17675    6     9362   20082     76    370 0.15
0.09/0.15	o -11
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c       68   1444     2879    18933    6     9409   20116     89    435 0.16
0.09/0.16	o -12
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c       81   1444     2894    20274    7     9462   20149    104    509 0.16
0.09/0.16	o -13
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c       97   1444     2912    21615    7     9523   20182    122    598 0.16
0.09/0.16	o -14
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c      133   1444     2950    23436    7     9626   20216    160    801 0.17
0.09/0.17	o -15
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c      153   1444     2972    25027    8     9699   20249    182    905 0.17
0.09/0.17	o -16
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c      172   1444     2993    25624    8     9772   20282    203   1011 0.17
0.09/0.17	o -17
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c      185   1444     3008    26039    8     9835   20316    218   1075 0.17
0.09/0.17	o -18
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c      194   1444     3019    26444    8     9892   20349    229   1114 0.17
0.39/0.42	c      294   1444     3120    33631   10    10112   22384    330   1580 0.19
0.39/0.42	c      544   1444     3376    57909   17    10624   24623    586   2530 0.21
0.39/0.42	c     1019   1444     3865   104420   27    11602   27086   1075   3430 0.30
0.39/0.42	o -19
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c     1671   1444     4521   162321   35    12933   20382   1731   3922 0.43
0.39/0.43	o -20
0.39/0.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.45	c     1754   1444     4606   165364   35    13142   20416   1816   4041 0.43
0.39/0.45	o -21
43.28/43.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
43.28/43.32	c     1846   1444     4700   170211   36    13371   20449   1910   4120 0.45
43.28/43.32	c     1947   1444     4802   177073   36    13596   22494   2012   4187 0.47
43.28/43.32	c     2197   1444     5060   198832   39    14112   24744   2270   4324 0.51
43.28/43.32	c     2673   1444     5554   244726   44    15199   27219   2764   4410 0.61
43.28/43.32	c     3486   1444     6381   323786   50    16853   29941   3591   4889 0.71
43.28/43.32	c     4806   1444     7722   434992   56    19535   32936   4932   5011 0.96
43.28/43.32	c     6887   1444     9888   643442   65    23904   36230   7098   4694 1.47
43.28/43.32	c    10110   1444    13323  1014109   76    30881   39854  10533   4193 2.41
43.28/43.32	c    15047   1444    18555  1535691   82    41396   43840  15765   3735 4.03
43.28/43.32	c    22553   1444    26546  2378097   89    57646   48225  23756   3218 7.01
43.28/43.32	c    33914   1444    38633  3653935   94    81977   53048  35843   2344 14.46
43.28/43.32	c    51059   1444    15615  1329480   85    35079   58353  12825   1647 30.99
43.28/43.32	o -22
423.67/423.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
423.67/423.80	c    72663   1444    38690  3672711   94    81961   20483  35900   1677 43.32
423.67/423.80	c    72763   1444    13136  1037674   78    30095   22532  10346   1603 45.38
423.67/423.80	c    73013   1444    13395  1059680   79    30635   24786  10605   1606 45.46
423.67/423.80	c    73488   1444    13904  1108993   79    31653   27265  11114   1611 45.62
423.67/423.80	c    74301   1444    14763  1193219   80    33374   29992  11973   1619 45.88
423.67/423.80	c    75621   1444    16174  1347638   83    36220   32992  13384   1631 46.34
423.67/423.80	c    77702   1444    18332  1551222   84    40536   36292  15542   1649 47.10
423.67/423.80	c    80925   1444    21794  1903700   87    47534   39922  19004   1675 48.29
423.67/423.80	c    85861   1444    26990  2390649   88    58000   43915  24200   1704 50.37
423.67/423.80	c    93368   1444    34909  3152131   90    73992   48307  32119   1709 54.61
423.67/423.80	c   104729   1444    46994  4294104   91    98462   53138  44204   1645 63.66
423.67/423.80	c   121873   1444    23588  2049859   86    51005   58452  20798   1518 80.28
423.67/423.80	c   147692   1444    51071  4765381   93   106421   64298  48281   1533 96.29
423.67/423.80	c   186524   1444    40270  3866242   96    84812   70728  37480   1456 128.03
423.67/423.80	c   244877   1444    43835  4145204   94    91827   77801  41045   1354 180.75
423.67/423.80	c   332509   1444    72264  7057593   97   149323   85582  69474   1260 263.88
423.67/423.80	c   464062   1444    66975  6383006   95   138454   94141  64185   1225 378.73
423.67/423.80	o -23
1797.95/1798.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1798.34	c   498823   1444    21709  1812646   83    47463   20516  18919   1177 423.69
1797.95/1798.34	c   498923   1444    21815  1822311   83    47698   22568  19025   1177 423.73
1797.95/1798.34	c   499173   1444    22074  1846141   83    48216   24825  19284   1177 423.81
1797.95/1798.34	c   499648   1444    22575  1895213   83    49218   27308  19785   1178 423.97
1797.95/1798.34	c   500461   1444    23435  1978492   84    50974   30039  20645   1179 424.22
1797.95/1798.34	c   501781   1444    24801  2099848   84    53711   33043  22011   1181 424.77
1797.95/1798.34	c   503862   1444    26988  2305761   85    58090   36348  24198   1183 425.60
1797.95/1798.34	c   507086   1444    30379  2630850   86    65012   39983  27589   1187 426.98
1797.95/1798.34	c   512022   1444    35605  3131780   87    75673   43982  32815   1190 430.01
1797.95/1798.34	c   519528   1444    43566  3914306   89    91671   48381  40776   1193 435.27
1797.95/1798.34	c   530889   1444    18963  1526442   80    41650   53220  16173   1192 445.33
1797.95/1798.34	c   548033   1444    37330  3346796   89    78812   58543  34540   1210 452.85
1797.95/1798.34	c   573852   1444    18182  1448467   79    50553   64398  15392   1209 474.38
1797.95/1798.34	c   612684   1444    33812  3730114  110   288286   70838  31022   1041 588.37
1797.95/1798.34	c   671036   1444    36611  3385218   92    77459   77922  33821    928 722.94
1797.95/1798.34	c   758668   1444    64499  5968048   92   133207   85715  61709    950 798.10
1797.95/1798.34	c   890220   1444    56781  5524335   97   117991   94287  53991    979 908.77
1797.95/1798.34	c  1087654   1444    29771  2659207   89    63580  103716  26981    820 1326.33
1797.95/1798.34	c  1383906   1444    70829  7108198  100   146765  114088  68039    842 1641.95
1797.95/1798.34	c Resources Exceeded
1797.95/1798.34	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 -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 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 x1215 -x1216 -x1217 -x1218 x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -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 
1797.95/1798.34	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.34	c   71  1514106 344317  2051320   107909 10379699 105119    842 1798.01
1797.95/1798.34	c Objective: -23
1797.95/1798.34	s SATISFIABLE
1797.95/1798.34	c Total time: 1798.01 s

Verifier Data

OK	-23

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-3737476-1338735140/watcher-3737476-1338735140 -o /tmp/evaluation-result-3737476-1338735140/solver-3737476-1338735140 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3737476-1338735140.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.03 2.02 2.00 3/176 1285
/proc/meminfo: memFree=28221228/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=11032 CPUtime=0 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 322 0 0 0 0 0 0 0 20 0 1 0 339642601 11296768 276 33554432000 134512640 137136520 4288221760 4288220152 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 2758 276 183 641 0 2088 0

[startup+0.0258631 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 1285
/proc/meminfo: memFree=28221228/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=11460 CPUtime=0.02 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 490 0 0 0 2 0 0 0 20 0 1 0 339642601 11735040 418 33554432000 134512640 137136520 4288221760 4288203132 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 2865 418 189 641 0 2221 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11460

[startup+0.100251 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 1285
/proc/meminfo: memFree=28221228/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=11460 CPUtime=0.09 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 490 0 0 0 9 0 0 0 20 0 1 0 339642601 11735040 418 33554432000 134512640 137136520 4288221760 4288203132 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 2865 418 189 641 0 2221 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11460

[startup+0.300221 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 1285
/proc/meminfo: memFree=28221228/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=12820 CPUtime=0.29 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 842 0 0 0 29 0 0 0 20 0 1 0 339642601 13127680 770 33554432000 134512640 137136520 4288221760 4288220280 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 3205 770 197 641 0 2561 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12820

[startup+0.700229 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 1285
/proc/meminfo: memFree=28221228/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=15772 CPUtime=0.69 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 1575 0 0 0 68 1 0 0 20 0 1 0 339642601 16150528 1503 33554432000 134512640 137136520 4288221760 4288220876 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 3943 1503 198 641 0 3299 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15772

[startup+1.50023 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 1286
/proc/meminfo: memFree=28211200/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=20560 CPUtime=1.49 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 2776 0 0 0 148 1 0 0 20 0 1 0 339642601 21053440 2704 33554432000 134512640 137136520 4288221760 4288220876 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 5140 2704 198 641 0 4496 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20560

[startup+3.10027 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 1286
/proc/meminfo: memFree=28201652/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=28584 CPUtime=3.09 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 4783 0 0 0 307 2 0 0 20 0 1 0 339642601 29270016 4711 33554432000 134512640 137136520 4288221760 4288220876 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 7146 4711 198 641 0 6502 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28584

[startup+6.30031 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 1286
/proc/meminfo: memFree=28179316/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=42236 CPUtime=6.29 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 8186 0 0 0 625 4 0 0 20 0 1 0 339642601 43249664 8114 33554432000 134512640 137136520 4288221760 4288220472 136502448 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 10559 8114 198 641 0 9915 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42236

[startup+12.7003 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 1286
/proc/meminfo: memFree=28142620/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=58500 CPUtime=12.69 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 12258 0 0 0 1263 6 0 0 20 0 1 0 339642601 59904000 12186 33554432000 134512640 137136520 4288221760 4288220688 134543933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 14625 12186 198 641 0 13981 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58500

[startup+25.5004 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 1286
/proc/meminfo: memFree=28086060/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=83784 CPUtime=25.49 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 18591 0 0 0 2539 10 0 0 20 0 1 0 339642601 85794816 18519 33554432000 134512640 137136520 4288221760 4288220688 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 20946 18519 198 641 0 20302 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83784

[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 1286
/proc/meminfo: memFree=28017456/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=88540 CPUtime=51.09 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 19834 0 0 0 5095 14 0 0 20 0 1 0 339642601 90664960 19709 33554432000 134512640 137136520 4288221760 4288220688 134543881 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 22135 19709 198 641 0 21491 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 88540

[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 1286
/proc/meminfo: memFree=27888788/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=88548 CPUtime=102.28 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 19836 0 0 0 10207 21 0 0 20 0 1 0 339642601 90673152 19711 33554432000 134512640 137136520 4288221760 4288220656 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 22137 19711 198 641 0 21493 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 88548

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 1286
/proc/meminfo: memFree=27712488/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=112976 CPUtime=162.27 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 26054 0 0 0 16197 30 0 0 20 0 1 0 339642601 115687424 25794 33554432000 134512640 137136520 4288221760 4288220800 134540859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 28244 25794 198 641 0 27600 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 112976

[startup+222.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 1337
/proc/meminfo: memFree=31459708/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=125068 CPUtime=222.25 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 29170 0 0 0 22188 37 0 0 20 0 1 0 339642601 128069632 28826 33554432000 134512640 137136520 4288221760 4288220800 134540859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 31267 28826 198 641 0 30623 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 125068

[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 1337
/proc/meminfo: memFree=31398232/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=134392 CPUtime=282.2 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 31631 0 0 0 28175 45 0 0 20 0 1 0 339642601 137617408 31154 33554432000 134512640 137136520 4288221760 4288220800 134540859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 33598 31154 198 641 0 32954 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 134392

[startup+342.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/177 1337
/proc/meminfo: memFree=31048152/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=137588 CPUtime=342.19 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 32450 0 0 0 34166 53 0 0 20 0 1 0 339642601 140890112 31969 33554432000 134512640 137136520 4288221760 4288220688 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 34397 31969 198 641 0 33753 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 137588

[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 1337
/proc/meminfo: memFree=30569788/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=138984 CPUtime=402.18 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 32778 0 0 0 40156 62 0 0 20 0 1 0 339642601 142319616 32297 33554432000 134512640 137136520 4288221760 4288220876 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 34746 32297 198 641 0 34102 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 138984

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 1340
/proc/meminfo: memFree=30129476/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=141928 CPUtime=462.17 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 33627 0 0 0 46146 71 0 0 20 0 1 0 339642601 145334272 33052 33554432000 134512640 137136520 4288221760 4288220688 134544530 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 35482 33052 198 641 0 34838 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 141928

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 1367
/proc/meminfo: memFree=29731840/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=141928 CPUtime=522.16 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 33627 0 0 0 52142 74 0 0 20 0 1 0 339642601 145334272 33052 33554432000 134512640 137136520 4288221760 4288220800 134540859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 35482 33052 198 641 0 34838 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 141928

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 1367
/proc/meminfo: memFree=29382572/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=141928 CPUtime=582.15 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 33627 0 0 0 58140 75 0 0 20 0 1 0 339642601 145334272 33052 33554432000 134512640 137136520 4288221760 4288220688 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 35482 33052 198 641 0 34838 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 141928

[startup+642.3 s]

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

/proc/meminfo: memFree=28226216/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=147292 CPUtime=1062.07 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 34949 0 0 0 106087 120 0 0 20 0 1 0 339642601 150827008 34374 33554432000 134512640 137136520 4288221760 4288220648 135982497 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 36823 34374 198 641 0 36179 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 147292

[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 1372
/proc/meminfo: memFree=28180520/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=147292 CPUtime=1122.07 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 34949 0 0 0 112083 124 0 0 20 0 1 0 339642601 150827008 34374 33554432000 134512640 137136520 4288221760 4288220656 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 36823 34374 198 641 0 36179 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 147292

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1372
/proc/meminfo: memFree=28127848/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=157216 CPUtime=1182.06 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 37432 0 0 0 118077 129 0 0 20 0 1 0 339642601 160989184 36857 33554432000 134512640 137136520 4288221760 4288220688 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 39304 36857 198 641 0 38660 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 157216

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1372
/proc/meminfo: memFree=28074556/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=172256 CPUtime=1242.05 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 41190 0 0 0 124072 133 0 0 20 0 1 0 339642601 176390144 40615 33554432000 134512640 137136520 4288221760 4288220800 134540859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 43064 40615 198 641 0 42420 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 172256

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1372
/proc/meminfo: memFree=27668112/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=172256 CPUtime=1302.04 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 41190 0 0 0 130064 140 0 0 20 0 1 0 339642601 176390144 40615 33554432000 134512640 137136520 4288221760 4288220876 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 43064 40615 198 641 0 42420 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 172256

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1372
/proc/meminfo: memFree=27260180/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=172256 CPUtime=1362.03 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 41190 0 0 0 136056 147 0 0 20 0 1 0 339642601 176390144 40615 33554432000 134512640 137136520 4288221760 4288220688 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 43064 40615 198 641 0 42420 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 172256

[startup+1422.31 s]
/proc/loadavg: 3.63 2.44 2.15 2/178 1374
/proc/meminfo: memFree=18431524/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=172292 CPUtime=1422.03 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 41199 0 0 0 142049 154 0 0 20 0 1 0 339642601 176427008 40624 33554432000 134512640 137136520 4288221760 4288220876 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 43073 40624 198 641 0 42429 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 172292

[startup+1482.3 s]
/proc/loadavg: 4.50 2.91 2.32 2/178 1374
/proc/meminfo: memFree=18515580/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=172292 CPUtime=1482.01 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 41199 0 0 0 148041 160 0 0 20 0 1 0 339642601 176427008 40624 33554432000 134512640 137136520 4288221760 4288220688 134544384 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 43073 40624 198 641 0 42429 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 172292

[startup+1542.3 s]
/proc/loadavg: 3.35 2.91 2.36 3/178 1488
/proc/meminfo: memFree=31385900/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=172292 CPUtime=1542 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 41199 0 0 0 154033 167 0 0 20 0 1 0 339642601 176427008 40624 33554432000 134512640 137136520 4288221760 4288220304 136295586 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 43073 40624 198 641 0 42429 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 172292

[startup+1602.3 s]
/proc/loadavg: 2.53 2.75 2.34 3/177 1488
/proc/meminfo: memFree=31385784/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=172292 CPUtime=1602 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 41199 0 0 0 160027 173 0 0 20 0 1 0 339642601 176427008 40624 33554432000 134512640 137136520 4288221760 4288220800 134540823 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 43073 40624 198 641 0 42429 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 172292

[startup+1662.3 s]
/proc/loadavg: 2.23 2.63 2.33 3/178 1491
/proc/meminfo: memFree=31385832/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=172292 CPUtime=1661.97 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 41216 0 0 0 166017 180 0 0 20 0 1 0 339642601 176427008 40624 33554432000 134512640 137136520 4288221760 4288220656 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 43073 40624 198 641 0 42429 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 172292

[startup+1722.31 s]
/proc/loadavg: 2.08 2.51 2.30 3/177 1492
/proc/meminfo: memFree=31247744/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=173948 CPUtime=1721.97 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 41902 0 0 0 172011 186 0 0 20 0 1 0 339642601 178122752 41070 33554432000 134512640 137136520 4288221760 4288220800 134540859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 43487 41070 198 641 0 42843 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 173948

[startup+1782.3 s]
/proc/loadavg: 2.03 2.42 2.28 3/177 1492
/proc/meminfo: memFree=31035296/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=173948 CPUtime=1781.95 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 41903 0 0 0 178000 195 0 0 20 0 1 0 339642601 178122752 41070 33554432000 134512640 137136520 4288221760 4288220688 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 43487 41070 198 641 0 42843 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 173948

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

[startup+1786.3 s]
/proc/loadavg: 2.03 2.41 2.28 3/177 1492
/proc/meminfo: memFree=31019904/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=173948 CPUtime=1785.95 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 41903 0 0 0 178400 195 0 0 20 0 1 0 339642601 178122752 41070 33554432000 134512640 137136520 4288221760 4288220528 134574394 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 43487 41070 198 641 0 42843 0
Current children cumulated CPU time (s) 1785.95
Current children cumulated vsize (KiB) 173948

[startup+1792.71 s]
/proc/loadavg: 2.10 2.42 2.28 3/177 1492
/proc/meminfo: memFree=30998576/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=173948 CPUtime=1792.36 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 41903 0 0 0 179040 196 0 0 20 0 1 0 339642601 178122752 41070 33554432000 134512640 137136520 4288221760 4288220876 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 43487 41070 198 641 0 42843 0
Current children cumulated CPU time (s) 1792.36
Current children cumulated vsize (KiB) 173948

[startup+1795.9 s]
/proc/loadavg: 2.09 2.41 2.28 3/177 1492
/proc/meminfo: memFree=30987896/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=173948 CPUtime=1795.55 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 41903 0 0 0 179359 196 0 0 20 0 1 0 339642601 178122752 41070 33554432000 134512640 137136520 4288221760 4288220688 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 43487 41070 198 641 0 42843 0
Current children cumulated CPU time (s) 1795.55
Current children cumulated vsize (KiB) 173948

[startup+1797.5 s]
/proc/loadavg: 2.09 2.41 2.28 3/177 1492
/proc/meminfo: memFree=30984548/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=173948 CPUtime=1797.15 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 41903 0 0 0 179519 196 0 0 20 0 1 0 339642601 178122752 41070 33554432000 134512640 137136520 4288221760 4288220688 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 43487 41070 198 641 0 42843 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 173948

[startup+1797.9 s]
/proc/loadavg: 2.09 2.41 2.28 3/177 1492
/proc/meminfo: memFree=30984548/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=173948 CPUtime=1797.55 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 41903 0 0 0 179559 196 0 0 20 0 1 0 339642601 178122752 41070 33554432000 134512640 137136520 4288221760 4288220688 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 43487 41070 198 641 0 42843 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 173948

[startup+1798.3 s]
/proc/loadavg: 2.09 2.41 2.28 3/177 1492
/proc/meminfo: memFree=30980084/32873844 swapFree=7116/7116
[pid=1285] ppid=1283 vsize=173948 CPUtime=1797.95 cores=1,3,5,7
/proc/1285/stat : 1285 (bsolo) R 1283 1285 30350 0 -1 4202496 41903 0 0 0 179599 196 0 0 20 0 1 0 339642601 178122752 41070 33554432000 134512640 137136520 4288221760 4288220688 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/1285/statm: 43487 41070 198 641 0 42843 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 173948

Child status: 0
Real time (s): 1798.35
CPU time (s): 1798.01
CPU user time (s): 1796.04
CPU system time (s): 1.9707
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 174400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.04
system time used= 1.9707
maximum resident set size= 164732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41905
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= 79
involuntary context switches= 1850

runsolver used 5.86011 second user time and 18.6852 second system time

The end

Launcher Data

Begin job on node103 at 2012-06-03 16:52:20
IDJOB=3737476
IDBENCH=48245
IDSOLVER=2320
FILE ID=node103/3737476-1338735140
RUNJOBID= node103-1338713869-30367
PBS_JOBID= 14636745
Free space on /tmp= 71116 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_10_3.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737476-1338735140/watcher-3737476-1338735140 -o /tmp/evaluation-result-3737476-1338735140/solver-3737476-1338735140 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3737476-1338735140.opb

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

MD5SUM BENCH= 4ec3492215da9d1ca4e43111c42870de
RANDOM SEED=681294110

node103.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.189
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.37
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.189
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.189
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.189
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.189
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.189
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	: 5411.36
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.189
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.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28222400 kB
Buffers:          174104 kB
Cached:           337856 kB
SwapCached:         5648 kB
Active:          3513456 kB
Inactive:         366412 kB
Active(anon):    3365556 kB
Inactive(anon):     4740 kB
Active(file):     147900 kB
Inactive(file):   361672 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67096352 kB
Dirty:              3912 kB
Writeback:             0 kB
AnonPages:       3374768 kB
Mapped:             9692 kB
Shmem:                 0 kB
Slab:             623672 kB
SReclaimable:      64360 kB
SUnreclaim:       559312 kB
KernelStack:        1456 kB
PageTables:        10640 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    3497404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2105344 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-3737476-1338735140.opb

Free space on /tmp at the end= 71116 MiB
End job on node103 at 2012-06-03 17:22:19