Trace number 1880064

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 pbOPT1 439.788 439.929

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_4.opb
MD5SUM1757d8d914b8f8f6b2c05049538ae81a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark22.0466
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint44
Maximum length of a constraint46
Number of terms in the objective function 64
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 869
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3118
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1880064-1245241728.opb
0.00/0.00	c File size is 3578 bytes.
0.00/0.00	c Highest Coefficient sum: 3118
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 94 Constr: 8 0/0/8 Lit: 364 Watch. Lit: 106
0.00/0.00	c Obj. Vars: 64 (68.0851 % of total variables)
0.00/0.00	c Pre-processing Time: 0 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     94        8      364   45      110     728      0 -2147483648 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 844
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     94        9      428   47      301     856      1 -2147483648 0.00
0.00/0.00	o 790
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        2     94       14      697   49      459     856      6   2000 0.00
0.00/0.00	o 309
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        3     94       17      840   49      486     856      9   3000 0.00
0.00/0.00	o 289
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       12     94       36     1771   49      972     856     28   4000 0.00
0.00/0.00	o 287
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       16     94       45     2256   50     1204     856     37   4000 0.00
0.00/0.00	o 283
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       20     94       54     2736   50     1424     856     46   3333 0.01
0.00/0.00	o 281
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       22     94       59     3067   51     1616     856     51   3142 0.01
0.00/0.00	o 279
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       24     94       64     3389   52     1790     856     56   3000 0.01
0.00/0.01	o 269
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       26     94       69     3633   52     1888     856     61   2888 0.01
0.00/0.01	o 267
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       29     94       76     4034   53     2154     856     68   2636 0.01
0.00/0.01	o 263
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       30     94       79     4208   53     2278     856     71   2500 0.01
0.00/0.01	o 216
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       32     94       84     4438   52     2405     856     76   2461 0.01
0.00/0.01	o 212
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       33     94       87     4592   52     2478     856     79   2357 0.01
0.00/0.02	o 198
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c       56     94      134     6955   51     3492     856    126   2333 0.02
0.00/0.03	o 197
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c       68     94      159     8130   51     4208     856    151   2266 0.03
0.00/0.03	o 195
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c       71     94      165     8477   51     4350     856    157   2151 0.03
0.00/0.03	o 193
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c       72     94      168     8660   51     4486     856    160   2117 0.03
0.00/0.04	o 192
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c       81     94      186     9545   51     4853     856    178   2076 0.04
0.00/0.04	o 190
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c       83     94      191     9846   51     5063     856    183   2075 0.04
0.00/0.04	o 188
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c       85     94      196    10144   51     5270     856    188   2023 0.04
0.00/0.04	o 178
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c       87     94      201    10424   51     5401     856    193   1977 0.04
0.00/0.06	o 177
0.06/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.06	c      118     94      264    13389   50     6407     856    256   2034 0.06
0.06/0.06	o 169
0.06/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.07	c      130     94      289    14547   50     6858     856    281   2031 0.06
0.06/0.07	o 164
0.06/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.07	c      138     94      306    15500   50     7205     856    298   1943 0.07
0.06/0.07	o 152
0.06/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.10	c      140     94      311    15744   50     7372     856    303   1917 0.07
0.06/0.10	o 133
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      191     94      413    20375   49     9365     856    405   1929 0.10
0.09/0.12	o 115
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c      226     94      484    23845   49    10885     856    476   1822 0.12
0.09/0.13	o 111
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c      231     94      495    24422   49    11084     856    487   1804 0.13
0.09/0.13	o 109
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      238     94      510    25153   49    11117     856    502   1762 0.14
0.09/0.14	o 89
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      239     94      513    25335   49    11110     856    505   1731 0.14
0.09/0.14	o 85
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      243     94      522    25849   49    11236     856    514   1711 0.14
0.09/0.14	o 83
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c      246     94      529    26198   49    11458     856    521   1696 0.14
0.09/0.19	o 77
0.09/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.20	c      307     94      652    32214   49    13582     856    644   1582 0.19
0.09/0.20	o 69
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c      309     94      657    32527   49    13818     856    649   1560 0.20
0.19/0.20	o 65
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c      310     94      660    32678   49    13870     856    652   1542 0.20
0.19/0.20	o 63
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c      314     86      669    33197   49    14079     840    661   1516 0.21
0.19/0.21	o 61
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c      315     86      672    33381   49    14184     840    664   1507 0.21
0.19/0.21	o 57
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c      316     86      675    33567   49    14316     840    667   1497 0.21
0.19/0.21	o 56
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c      321     86      686    34133   49    14537     840    678   1486 0.22
0.19/0.22	o 54
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c      323     86      691    34369   49    14495     840    683   1461 0.22
0.19/0.22	o 50
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c      324     86      694    34550   49    14615     840    686   1446 0.22
0.19/0.23	o 43
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c      329     86      705    35030   49    14822     840    697   1424 0.23
0.19/0.24	o 37
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c      334     78      716    35520   49    15215     824    708   1403 0.24
0.19/0.24	o 33
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c      337     78      723    35885   49    15254     824    715   1392 0.24
0.29/0.33	c      437     78      475    20043   42     9188     907    467   1324 0.33
0.29/0.33	o 32
0.29/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.34	c      443     78      488    20689   42     9428     824    480   1322 0.34
0.29/0.34	o 30
0.29/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.34	c      449     78      501    21310   42     9683     824    493   1324 0.34
0.29/0.34	o 28
0.40/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.40/0.41	c      454     78      512    21895   42     9782     824    504   1315 0.34
0.40/0.41	c      554     70      701    30029   42    13416     907    693   1364 0.41
0.40/0.41	o 27
0.40/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.40/0.41	c      561     70      715    30533   42    13060     808    707   1361 0.41
0.40/0.41	o 26
0.40/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.40/0.42	c      564     70      722    30889   42    12869     808    714   1355 0.42
0.40/0.42	o 24
0.40/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.40/0.43	c      576     70      746    31924   42    13363     808    738   1352 0.43
0.40/0.43	o 22
0.40/0.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.40/0.47	c      578     70      751    32171   42    13404     808    743   1344 0.43
0.40/0.47	o 18
0.59/0.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.63	c      630     70      417    16149   38     7944     808    409   1298 0.48
0.59/0.63	c      730     70      613    24506   39    11491     889    605   1351 0.54
0.59/0.63	o 15
0.69/0.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.78	c      868     70      868    34971   40    14733     808    860   1382 0.63
0.69/0.78	c      968     62      601    22664   37    10280     889    593   1382 0.70
0.69/0.78	o 11
2.20/2.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.20/2.27	c     1104     62      852    32561   38    12828     792    844   1401 0.79
2.20/2.27	c     1204     62      598    22190   37     9843     872    590   1406 0.86
2.20/2.27	c     1455     62      567    18726   33     8611     960    559   1423 1.02
2.20/2.27	c     1931     62      904    32765   36    12536    1057    896   1429 1.35
2.20/2.27	c     2745     62      664    22144   33     9220    1163    656   1433 1.92
2.20/2.27	o 10
2.20/2.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.20/2.30	c     3239     62      936    32841   35    11924     792    928   1423 2.27
2.20/2.30	o 6
5.79/5.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.79/5.89	c     3260     62      450    16210   36     7614     792    442   1418 2.30
5.79/5.89	c     3360     54      610    22244   36     9248     872    602   1430 2.35
5.79/5.89	c     3611     54      570    19414   34     8044     960    562   1438 2.51
5.79/5.89	c     4086     54      852    29943   35    10759    1057    844   1455 2.81
5.79/5.89	c     4900     54     1085    37179   34    12124    1163   1077   1469 3.33
5.79/5.89	c     6220     54      829    25519   30     8263    1280    821   1486 4.18
5.79/5.89	c     8301     54     1074    35509   33    11672    1409   1066   1481 5.60
5.79/5.89	o 4
11.48/11.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.48/11.57	c     8697     54     1005    30876   30     9669     776    997   1475 5.90
11.48/11.57	c     8799     46      577    19307   33     7741     854    569   1476 5.96
11.48/11.57	c     9051     46      517    15943   30     6513     940    509   1476 6.13
11.48/11.57	c     9526     46      776    25537   32     8737    1035    768   1485 6.41
11.48/11.57	c    10340     46     1013    33615   33    11078    1139   1005   1492 6.93
11.48/11.57	c    11660     46      796    24372   30     8617    1253    788   1494 7.80
11.48/11.57	c    13741     46      971    31496   32     9829    1379    963   1470 9.35
11.48/11.57	o 3
130.95/131.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
130.95/131.01	c    16622     46     1273    42996   33    13006     760   1265   1436 11.57
130.95/131.01	c    16723     46      560    20084   35     8415     837    552   1435 11.65
130.95/131.01	c    16973     46      476    15443   32     6898     921    468   1433 11.84
130.95/131.01	c    17448     46      736    25389   34     9746    1014    728   1432 12.18
130.95/131.01	c    18261     46      870    28681   32    10123    1116    862   1430 12.76
130.95/131.01	c    19581     46     1048    34410   32    10918    1228   1040   1431 13.67
130.95/131.01	c    21664     46      911    26431   29     8448    1351    903   1437 15.07
130.95/131.01	c    24887     46      879    25038   28     7987    1487    871   1451 17.15
130.95/131.01	c    29825     46     1474    47193   32    13874    1636   1466   1447 20.60
130.95/131.01	c    37332     46     1569    51111   32    15503    1800   1561   1404 26.58
130.95/131.01	c    48694     46     1391    44921   32    13890    1981   1383   1359 35.81
130.95/131.01	c    65839     46     1169    35306   30     9931    2180   1161   1288 51.08
130.95/131.01	c    91659     46     2000    67917   33    19067    2399   1992   1239 73.94
130.95/131.01	c   130491     46     2072    72570   35    19160    2639   2064   1188 109.80
130.95/131.01	o 2
264.61/264.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
264.61/264.72	c   151825     46     1682    57708   34    15573     760   1674   1159 130.97
264.61/264.72	c   151925     46      559    19558   34     7436     837    551   1159 131.07
264.61/264.72	c   152176     38      470    14661   31     6068     921    462   1159 131.26
264.61/264.72	c   152651     38      678    21560   31     7460    1014    670   1160 131.59
264.61/264.72	c   153466     38      800    26120   32     8187    1116    792   1161 132.18
264.61/264.72	c   154788     38      912    27616   30     8372    1228    904   1162 133.11
264.61/264.72	c   156869     38      929    29055   31     8732    1351    921   1165 134.63
264.61/264.72	c   160092     38     1384    45205   32    12871    1487   1376   1167 137.17
264.61/264.72	c   165029     38      836    22389   26     6830    1636    828   1168 141.18
264.61/264.72	c   172535     38      985    28229   28     7979    1800    977   1171 147.22
264.61/264.72	c   183896     38     1083    30580   28     8735    1981   1075   1174 156.62
264.61/264.72	c   201040     38     1121    33655   30     8694    2180   1113   1178 170.65
264.61/264.72	c   226860     38     1842    60456   32    14792    2399   1834   1177 192.62
264.61/264.72	c   265692     38     2018    71001   35    17080    2639   2010   1180 225.15
264.61/264.72	o 1
439.75/439.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
439.75/439.92	c   309552     38     1850    63796   34    16072     749   1842   1169 264.63
439.75/439.92	c   309653     30      556    18386   33     6305     824    548   1169 264.72
439.75/439.92	c   309903     30      490    14294   29     5389     907    482   1169 264.88
439.75/439.92	c   310380     30      761    24970   32     7543     998    753   1170 265.17
439.75/439.92	c   311193     30      954    31558   33     9075    1098    946   1171 265.69
439.75/439.92	c   312513     30      600    15612   26     5044    1208    592   1172 266.55
439.75/439.92	c   314594     30     1189    38124   32    10485    1329   1181   1174 267.95
439.75/439.92	c   317818     30      911    25528   28     7305    1462    903   1176 270.21
439.75/439.92	c   322754     30     1402    43386   30    11330    1609   1394   1179 273.62
439.75/439.92	c   330261     30      930    24513   26     6574    1770    922   1184 278.92
439.75/439.92	c   341623     30     1697    59098   34    13759    1948   1689   1189 287.15
439.75/439.92	c   358769     30     1903    62932   33    14785    2143   1895   1199 298.99
439.75/439.92	c   384589     30     1639    52978   32    12904    2358   1631   1207 318.62
439.75/439.92	c   423421     30     1914    68206   35    14709    2594   1906   1217 347.81
439.75/439.92	c   481773     30     1747    56438   32    12835    2854   1739   1229 391.92
439.75/439.92	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 -x76 x77 x78 x79 x80 x81 -x82 x83 x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 x92 x93 -x75 x94 
439.75/439.92	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
439.75/439.92	c  120   541663   6143   550665     1469    42422   1461   1231 439.79
439.75/439.92	c Objective: 1
439.75/439.92	s OPTIMUM FOUND
439.75/439.92	c Total time: 439.786 s

Verifier Data 

OK	1

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880064-1245241728/watcher-1880064-1245241728 -o /tmp/evaluation-result-1880064-1245241728/solver-1880064-1245241728 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880064-1245241728.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.91 3/64 11719
/proc/meminfo: memFree=1827120/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=26328 CPUtime=0
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 261 0 0 0 0 0 0 0 18 0 1 0 191772762 26959872 244 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 6582 245 196 640 0 5938 0

[startup+0.062677 s]
/proc/loadavg: 0.92 0.98 0.91 3/64 11719
/proc/meminfo: memFree=1827120/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=18780 CPUtime=0.06
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 341 0 0 0 6 0 0 0 18 0 1 0 191772762 19230720 324 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 4695 324 197 640 0 4051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18780

[startup+0.101683 s]
/proc/loadavg: 0.92 0.98 0.91 3/64 11719
/proc/meminfo: memFree=1827120/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=18912 CPUtime=0.09
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 383 0 0 0 9 0 0 0 18 0 1 0 191772762 19365888 366 1992294400 134512640 137136520 4294956256 18446744073709551615 136379950 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 4728 366 197 640 0 4084 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18912

[startup+0.301716 s]
/proc/loadavg: 0.92 0.98 0.91 3/64 11719
/proc/meminfo: memFree=1827120/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=19436 CPUtime=0.29
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 507 0 0 0 29 0 0 0 19 0 1 0 191772762 19902464 490 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 4859 490 197 640 0 4215 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19436

[startup+0.702782 s]
/proc/loadavg: 0.92 0.98 0.91 3/64 11719
/proc/meminfo: memFree=1827120/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=19436 CPUtime=0.69
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 507 0 0 0 69 0 0 0 22 0 1 0 191772762 19902464 490 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 4859 490 197 640 0 4215 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19436

[startup+1.50192 s]
/proc/loadavg: 0.92 0.98 0.91 2/65 11720
/proc/meminfo: memFree=1825896/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=19440 CPUtime=1.49
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 508 0 0 0 149 0 0 0 25 0 1 0 191772762 19906560 491 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 4860 491 197 640 0 4216 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19440

[startup+3.10118 s]
/proc/loadavg: 0.92 0.98 0.91 2/65 11720
/proc/meminfo: memFree=1825768/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=19564 CPUtime=3.09
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 524 0 0 0 309 0 0 0 25 0 1 0 191772762 20033536 507 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 4891 507 197 640 0 4247 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19564

[startup+6.30171 s]
/proc/loadavg: 0.93 0.98 0.91 2/65 11720
/proc/meminfo: memFree=1825512/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=19680 CPUtime=6.29
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 553 0 0 0 628 1 0 0 25 0 1 0 191772762 20152320 536 1992294400 134512640 137136520 4294956256 18446744073709551615 136500595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 4920 536 197 640 0 4276 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19680

[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.91 2/65 11720
/proc/meminfo: memFree=1825392/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=19664 CPUtime=12.69
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 553 0 0 0 1267 2 0 0 25 0 1 0 191772762 20135936 536 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 4916 536 197 640 0 4272 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19664

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.91 2/65 11720
/proc/meminfo: memFree=1825200/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=19792 CPUtime=25.48
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 592 0 0 0 2544 4 0 0 25 0 1 0 191772762 20267008 575 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 4948 575 197 640 0 4304 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19792

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.91 2/65 11720
/proc/meminfo: memFree=1824944/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=20176 CPUtime=51.07
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 678 0 0 0 5099 8 0 0 25 0 1 0 191772762 20660224 661 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 5044 661 197 640 0 4400 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20176

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.91 2/65 11720
/proc/meminfo: memFree=1824496/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=20560 CPUtime=102.26
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 778 0 0 0 10211 15 0 0 25 0 1 0 191772762 21053440 761 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 5140 761 197 640 0 4496 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 20560

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/65 11720
/proc/meminfo: memFree=1824176/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=20820 CPUtime=162.24
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 846 0 0 0 16203 21 0 0 25 0 1 0 191772762 21319680 829 1992294400 134512640 137136520 4294956256 18446744073709551615 134544431 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 5205 829 197 640 0 4561 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 20820

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/65 11720
/proc/meminfo: memFree=1824112/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=20820 CPUtime=222.21
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 846 0 0 0 22192 29 0 0 25 0 1 0 191772762 21319680 829 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 5205 829 197 640 0 4561 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 20820

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/65 11720
/proc/meminfo: memFree=1823984/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=20820 CPUtime=282.2
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 863 0 0 0 28184 36 0 0 25 0 1 0 191772762 21319680 846 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 5205 846 197 640 0 4561 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 20820

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/65 11720
/proc/meminfo: memFree=1823920/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=20820 CPUtime=342.18
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 863 0 0 0 34174 44 0 0 25 0 1 0 191772762 21319680 846 1992294400 134512640 137136520 4294956256 18446744073709551615 136502340 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 5205 846 197 640 0 4561 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 20820

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/65 11720
/proc/meminfo: memFree=1823728/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=21048 CPUtime=402.16
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 914 0 0 0 40163 53 0 0 25 0 1 0 191772762 21553152 897 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 5262 897 197 640 0 4618 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 21048

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

[startup+409.502 s]
/proc/loadavg: 0.99 0.98 0.91 2/65 11720
/proc/meminfo: memFree=1823600/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=21176 CPUtime=409.36
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 935 0 0 0 40882 54 0 0 25 0 1 0 191772762 21684224 918 1992294400 134512640 137136520 4294956256 18446744073709551615 134539410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 5294 918 197 640 0 4650 0
Current children cumulated CPU time (s) 409.36
Current children cumulated vsize (KiB) 21176

[startup+422.303 s]
/proc/loadavg: 0.99 0.98 0.91 2/65 11720
/proc/meminfo: memFree=1823536/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=21176 CPUtime=422.16
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 954 0 0 0 42161 55 0 0 25 0 1 0 191772762 21684224 937 1992294400 134512640 137136520 4294956256 18446744073709551615 134544184 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 5294 937 197 640 0 4650 0
Current children cumulated CPU time (s) 422.16
Current children cumulated vsize (KiB) 21176

[startup+428.702 s]
/proc/loadavg: 0.99 0.98 0.91 2/65 11720
/proc/meminfo: memFree=1823536/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=21176 CPUtime=428.55
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 954 0 0 0 42799 56 0 0 25 0 1 0 191772762 21684224 937 1992294400 134512640 137136520 4294956256 18446744073709551615 134544455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 5294 937 197 640 0 4650 0
Current children cumulated CPU time (s) 428.55
Current children cumulated vsize (KiB) 21176

[startup+435.102 s]
/proc/loadavg: 0.99 0.98 0.91 2/65 11720
/proc/meminfo: memFree=1823536/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=21176 CPUtime=434.96
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 954 0 0 0 43439 57 0 0 25 0 1 0 191772762 21684224 937 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 5294 937 197 640 0 4650 0
Current children cumulated CPU time (s) 434.96
Current children cumulated vsize (KiB) 21176

[startup+438.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/65 11720
/proc/meminfo: memFree=1823536/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=21176 CPUtime=438.15
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 954 0 0 0 43758 57 0 0 25 0 1 0 191772762 21684224 937 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 5294 937 197 640 0 4650 0
Current children cumulated CPU time (s) 438.15
Current children cumulated vsize (KiB) 21176

[startup+439.102 s]
/proc/loadavg: 0.99 0.98 0.91 2/65 11720
/proc/meminfo: memFree=1823536/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=21176 CPUtime=438.95
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 954 0 0 0 43838 57 0 0 25 0 1 0 191772762 21684224 937 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 5294 937 197 640 0 4650 0
Current children cumulated CPU time (s) 438.95
Current children cumulated vsize (KiB) 21176

[startup+439.502 s]
/proc/loadavg: 0.99 0.98 0.91 2/65 11720
/proc/meminfo: memFree=1823536/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=21176 CPUtime=439.35
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 954 0 0 0 43878 57 0 0 25 0 1 0 191772762 21684224 937 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 5294 937 197 640 0 4650 0
Current children cumulated CPU time (s) 439.35
Current children cumulated vsize (KiB) 21176

[startup+439.902 s]
/proc/loadavg: 0.99 0.98 0.91 2/65 11720
/proc/meminfo: memFree=1823536/2055920 swapFree=4180300/4192956
[pid=11719] ppid=11717 vsize=21176 CPUtime=439.75
/proc/11719/stat : 11719 (bsolo) R 11717 11719 11546 0 -1 4194304 954 0 0 0 43918 57 0 0 25 0 1 0 191772762 21684224 937 1992294400 134512640 137136520 4294956256 18446744073709551615 134540850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 5294 937 197 640 0 4650 0
Current children cumulated CPU time (s) 439.75
Current children cumulated vsize (KiB) 21176

Child status: 0
Real time (s): 439.929
CPU time (s): 439.788
CPU user time (s): 439.211
CPU system time (s): 0.576912
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 21176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 439.211
system time used= 0.576912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 956
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= 2
involuntary context switches= 482

runsolver used 0.278957 second user time and 0.972852 second system time

The end

Launcher Data 

Begin job on node31 at 2009-06-17 14:28:48
IDJOB=1880064
IDBENCH=2928
IDSOLVER=701
FILE ID=node31/1880064-1245241728
PBS_JOBID= 9372307
Free space on /tmp= 66272 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_4.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880064-1245241728/watcher-1880064-1245241728 -o /tmp/evaluation-result-1880064-1245241728/solver-1880064-1245241728 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1880064-1245241728.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 1757d8d914b8f8f6b2c05049538ae81a
RANDOM SEED=1077642375

node31.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.258
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.258
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1827600 kB
Buffers:         29520 kB
Cached:         112056 kB
SwapCached:       5712 kB
Active:          46412 kB
Inactive:       103324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1827600 kB
SwapTotal:     4192956 kB
SwapFree:      4180300 kB
Dirty:            3992 kB
Writeback:           0 kB
Mapped:          13808 kB
Slab:            64408 kB
Committed_AS:   204396 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1880064-1245241728.opb

Free space on /tmp at the end= 66268 MiB
End job on node31 at 2009-06-17 14:36:08