Trace number 3734883

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.1SAT3 1798 1798.28

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_4.opb
MD5SUMa470052ca6f8034e2c6c08868e52d9e8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1783.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved NO
Number of variables120
Total number of constraints10
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 constraints10
Minimum length of a constraint55
Maximum length of a constraint56
Number of terms in the objective function 80
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 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1207
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4131
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3734883-1338717379.opb
0.00/0.00	c File size is 5465 bytes.
0.00/0.00	c Highest Coefficient sum: 4131
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 120 Constr: 10 0/0/10 Lit: 558 Watch. Lit: 166
0.00/0.00	c Obj. Vars: 80 (66.6667 % 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    120       10      558   55      168    1116      0 -2147483648 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 780
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    120       11      638   58      421    1276      1 -2147483648 0.00
0.00/0.00	o 627
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       26    120       41     1893   46      555    1276     31   8666 0.00
0.00/0.00	o 303
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       28    120       44     2034   46      626    1276     34   9333 0.00
0.00/0.01	o 253
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       79    120      100     4442   44      812    1276     90   9875 0.01
0.00/0.02	c      179    120      202     7246   35     1023    1404    192  10529 0.02
0.00/0.02	o 242
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      216    120      243     8626   35     1168    1276    233  10800 0.02
0.00/0.02	o 240
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      232    120      260     9134   35     1275    1276    250  10545 0.02
0.00/0.02	o 238
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      235    120      264     9339   35     1359    1276    254  10217 0.02
0.00/0.02	o 236
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      250    120      281    10029   35     1472    1276    271  10416 0.02
0.00/0.03	o 234
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      278    120      310    11090   35     1607    1276    300   9928 0.03
0.00/0.06	c      380    120      413    13633   33     1839    1404    403  10270 0.04
0.00/0.06	o 213
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      608    120      644    20019   31     2357    1276    634   9500 0.06
0.00/0.06	o 211
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      609    120      646    20163   31     2435    1276    636   9369 0.07
0.00/0.06	o 189
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      614    120      652    20498   31     2516    1276    642   9446 0.07
0.00/0.06	o 185
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      616    120      655    20680   31     2604    1276    645   9333 0.07
0.00/0.06	o 183
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c      617    120      657    20811   31     2679    1276    647   9208 0.07
0.00/0.07	o 181
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c      618    120      659    20953   31     2761    1276    649   9223 0.07
0.00/0.07	o 179
0.06/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.09	c      637    120      681    22249   32     2903    1276    671   9100 0.07
0.06/0.09	c      737    120      785    26509   33     3133    1404    775   8471 0.09
0.06/0.09	o 177
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      751    120      800    27049   33     3198    1276    790   8438 0.09
0.09/0.11	c      851    120      901    31082   34     3460    1404    891   8104 0.10
0.09/0.11	o 173
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      864    120      915    31690   34     3521    1276    905   8074 0.11
0.09/0.12	o 171
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      941    120      995    34082   34     3781    1276    985   7974 0.12
0.09/0.12	o 167
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      942    120      997    34225   34     3860    1276    987   7983 0.12
0.09/0.12	o 165
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      947    120     1003    34492   34     3954    1276    993   7957 0.12
0.09/0.12	o 159
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c      987    120     1044    35930   34     4064    1276   1034   7896 0.12
0.09/0.13	o 157
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c     1038    120     1100    37999   34     4259    1276   1090   7746 0.13
0.09/0.13	o 155
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c     1048    120     1114    38703   34     4374    1276   1104   7705 0.14
0.09/0.14	o 115
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c     1075    120     1144    39548   34     4488    1276   1134   7624 0.14
0.09/0.14	o 113
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c     1077    120     1147    39711   34     4562    1276   1137   7638 0.14
0.09/0.14	o 111
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c     1088    119     1159    40191   34     4640    1274   1149   7608 0.14
0.09/0.15	o 107
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c     1134    119     1206    42373   35     4798    1274   1196   7411 0.15
0.09/0.15	o 103
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c     1149    118     1222    43118   35     4893    1272   1212   7365 0.16
0.09/0.18	c     1250    115      652    23897   36     1714    1400    642   7225 0.17
0.09/0.18	o 97
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c     1351    114      755    26464   35     1988    1264    745   7342 0.18
0.09/0.18	o 85
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c     1365    114      770    27138   35     2092    1264    760   7378 0.18
0.09/0.19	o 83
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c     1397    114      803    28418   35     2229    1264    793   7391 0.19
0.09/0.19	o 81
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c     1455    113      862    29878   34     2414    1262    852   7461 0.20
0.09/0.19	o 79
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c     1456    113      864    30010   34     2489    1262    854   7466 0.20
0.19/0.27	c     1556    112      964    32530   33     2688    1389    954   7553 0.21
0.19/0.27	c     1807    111     1216    38869   31     3190    1528   1206   7788 0.23
0.19/0.27	o 76
0.49/0.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.52	c     2173    110      785    19790   25     1963    1256    775   7959 0.27
0.49/0.52	c     2274    110      887    22379   25     2168    1382    877   8035 0.28
0.49/0.52	c     2524    110     1140    28734   25     2668    1521   1130   8194 0.31
0.49/0.52	c     3000    110      837    20826   24     2061    1674    827   8310 0.36
0.49/0.52	c     3813    110     1653    42696   25     3706    1842   1643   8492 0.45
0.49/0.52	o 40
0.49/0.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.52	c     4497    110     1387    35123   25     3231    1256   1377   8648 0.52
0.49/0.52	o 38
0.78/0.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.78/0.87	c     4501    107      654    16029   24     1767    1250    644   8622 0.52
0.78/0.87	c     4601    103      757    18528   24     1968    1376    747   8632 0.53
0.78/0.87	c     4851    100     1007    24979   24     2464    1514    997   8631 0.56
0.78/0.87	c     5326    100     1482    37521   25     3413    1666   1472   8590 0.62
0.78/0.87	c     6139    100     1435    37462   26     3252    1833   1425   8562 0.72
0.78/0.87	o 32
0.78/0.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.78/0.88	c     7403    100     1756    46396   26     3953    1236   1746   8479 0.87
0.78/0.88	o 30
0.88/0.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.88/0.93	c     7419     97      666    17700   26     1761    1230    656   8459 0.88
0.88/0.93	c     7521     91      769    20791   27     1962    1354    759   8460 0.89
0.88/0.93	c     7771     90     1019    28648   28     2462    1490   1009   8483 0.92
0.88/0.93	o 28
0.88/0.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.88/0.93	c     7866     90     1115    31683   28     2698    1216   1105   8467 0.93
0.88/0.93	o 26
0.88/0.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.88/0.93	c     7868     90     1118    31796   28     2751    1216   1108   8460 0.93
0.88/0.93	o 24
0.88/0.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.88/0.96	c     7872     90     1123    32011   28     2806    1216   1113   8464 0.93
0.88/0.96	c     7972     90     1223    34987   28     3013    1338   1213   8453 0.94
0.88/0.96	o 22
1.59/1.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.60	c     8116     90     1368    39363   28     3349    1216   1358   8445 0.96
1.59/1.60	c     8218     90      751    22298   29     1863    1338    741   8437 0.97
1.59/1.60	c     8469     90     1002    29699   29     2361    1472    992   8443 1.00
1.59/1.60	c     8945     90     1478    44808   30     3314    1620   1468   8462 1.06
1.59/1.60	c     9758     90     1450    44565   30     3260    1783   1440   8522 1.15
1.59/1.60	c    11078     90      933    27855   29     2222    1962    923   8508 1.30
1.59/1.60	c    13160     90     1022    31404   30     2403    2159   1012   8452 1.56
1.59/1.60	o 21
1.89/1.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.94	c    13571     90     1439    43828   30     3280    1216   1429   8444 1.61
1.89/1.94	c    13671     90      751    22156   29     1861    1338    741   8449 1.62
1.89/1.94	c    13921     90     1001    30059   30     2362    1472    991   8462 1.65
1.89/1.94	c    14396     90     1478    44769   30     3311    1620   1468   8463 1.70
1.89/1.94	c    15211     90     1460    43834   30     3277    1783   1450   8493 1.79
1.89/1.94	c    16531     90      940    28232   30     2234    1962    930   8538 1.94
1.89/1.94	o 18
1.89/1.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.94	c    16626     90     1036    31295   30     2478    1216   1026   8548 1.95
1.89/1.94	o 16
1.89/1.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.94	c    16626     90     1037    31345   30     2528    1216   1027   8548 1.95
1.89/1.94	o 14
8.09/8.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.09/8.12	c    16632     90     1044    31680   30     2590    1216   1034   8546 1.95
8.09/8.12	c    16732     87     1145    34785   30     2788    1338   1135   8554 1.96
8.09/8.12	c    16983     83      717    21823   30     1778    1472    707   8555 1.99
8.09/8.12	c    17460     82     1195    36804   30     2735    1620   1185   8592 2.03
8.09/8.12	c    18273     82     1170    35182   30     2684    1783   1160   8639 2.12
8.09/8.12	c    19595     81     1575    49094   31     3501    1962   1565   8739 2.24
8.09/8.12	c    21676     81     1636    51413   31     3619    2159   1626   8818 2.46
8.09/8.12	c    24899     80     1533    47880   31     3408    2375   1523   8857 2.81
8.09/8.12	c    29836     80     1631    52153   31     3605    2613   1621   8811 3.39
8.09/8.12	c    37342     80     2478    77469   31     5301    2875   2468   8641 4.32
8.09/8.12	c    48704     80     2127    67940   31     4598    3163   2117   8457 5.76
8.09/8.12	c    65848     80     3202   103653   32     6746    3480   3192   8253 7.98
8.09/8.12	o 13
11.88/12.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.88/12.00	c    66918     80     2510    79842   31     5401    1196   2500   8240 8.12
11.88/12.00	c    67018     80      749    23096   30     1832    1316    739   8239 8.13
11.88/12.00	c    67269     80     1000    30790   30     2333    1448    990   8244 8.16
11.88/12.00	c    67744     80     1475    45339   30     3285    1593   1465   8250 8.21
11.88/12.00	c    68557     80     1467    45349   30     3269    1753   1457   8262 8.30
11.88/12.00	c    69877     80      986    30429   30     2304    1929    976   8274 8.45
11.88/12.00	c    71960     80     1078    33880   31     2491    2122   1068   8292 8.68
11.88/12.00	c    75183     80     2119    67885   32     4574    2335   2109   8312 9.04
11.88/12.00	c    80120     80     2273    72920   32     4886    2569   2263   8327 9.62
11.88/12.00	c    87629     80     1925    61071   31     4184    2826   1915   8311 10.54
11.88/12.00	c    98990     80     1752    55829   31     3843    3109   1742   8295 11.93
11.88/12.00	o 12
13.59/13.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.59/13.66	c    99544     80     2307    73806   31     4991    1196   2297   8296 12.00
13.59/13.66	c    99645     80      750    23238   30     1833    1316    740   8296 12.01
13.59/13.66	c    99896     80     1001    30973   30     2340    1448    991   8301 12.03
13.59/13.66	c   100372     80     1477    46226   31     3290    1593   1467   8305 12.09
13.59/13.66	c   101186     80     1467    46488   31     3270    1753   1457   8307 12.18
13.59/13.66	c   102507     80      976    30429   31     2283    1929    966   8312 12.33
13.59/13.66	c   104590     80     1087    34516   31     2507    2122   1077   8324 12.56
13.59/13.66	c   107814     80     2132    67977   31     4595    2335   2122   8326 12.95
13.59/13.66	c   112750     80     2286    72353   31     4903    2569   2276   8329 13.54
13.59/13.66	o 11
16.49/16.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.49/16.57	c   113748     80     1974    62097   31     4316    1196   1964   8326 13.66
16.49/16.57	c   113848     80      749    23192   30     1828    1316    739   8326 13.67
16.49/16.57	c   114100     80     1001    31319   31     2332    1448    991   8329 13.70
16.49/16.57	c   114575     80     1476    46136   31     3283    1593   1466   8334 13.75
16.49/16.57	c   115390     80     1477    45677   30     3288    1753   1467   8342 13.83
16.49/16.57	c   116711     80     1000    31070   31     2331    1929    990   8350 13.98
16.49/16.57	c   118793     80     1092    34150   31     2521    2122   1082   8361 14.21
16.49/16.57	c   122016     80     2147    66665   31     4628    2335   2137   8367 14.58
16.49/16.57	c   126952     80     2329    73644   31     4992    2569   2319   8380 15.15
16.49/16.57	c   134460     80     1973    63888   32     4277    2826   1963   8370 16.06
16.49/16.57	o 9
33.78/33.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.78/33.88	c   138495     80     1684    53394   31     3741    1196   1674   8359 16.57
33.78/33.88	c   138596     80      751    22826   30     1837    1316    741   8358 16.58
33.78/33.88	c   138846     80     1001    30300   30     2333    1448    991   8360 16.61
33.78/33.88	c   139321     80     1476    45125   30     3286    1593   1466   8362 16.66
33.78/33.88	c   140134     80     1468    44922   30     3270    1753   1458   8365 16.75
33.78/33.88	c   141454     80      981    29445   30     2295    1929    971   8369 16.90
33.78/33.88	c   143535     80     1084    34034   31     2502    2122   1074   8376 17.14
33.78/33.88	c   146759     80     2138    67037   31     4608    2335   2128   8380 17.51
33.78/33.88	c   151695     80     2309    73645   31     4952    2569   2299   8386 18.09
33.78/33.88	c   159201     80     1957    62575   31     4246    2826   1947   8380 19.00
33.78/33.88	c   170562     80     1816    57083   31     3967    3109   1806   8356 20.41
33.78/33.88	c   187706     80     1606    51147   31     3558    3420   1596   8319 22.56
33.78/33.88	c   213527     80     3104    97386   31     6543    3763   3094   8239 25.91
33.78/33.88	c   252359     80     3801   121627   31     7937    4140   3791   8076 31.25
33.78/33.88	o 7
118.37/118.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
118.37/118.43	c   270741     80     3299   107890   32     6970    1196   3289   7993 33.87
118.37/118.43	c   270841     77      749    23643   31     1829    1316    739   7992 33.89
118.37/118.43	c   271091     76      999    30977   31     2325    1448    989   7993 33.92
118.37/118.43	c   271566     74     1474    45213   30     3271    1593   1464   7994 33.97
118.37/118.43	c   272379     73     1466    43840   29     3252    1753   1456   7997 34.06
118.37/118.43	c   273699     73      978    30063   30     2279    1929    968   8002 34.20
118.37/118.43	c   275781     72     1077    33160   30     2478    2122   1067   8010 34.43
118.37/118.43	c   279007     72     2126    66699   31     4571    2335   2116   8016 34.80
118.37/118.43	c   283945     72     2275    70895   31     4871    2569   2265   8025 35.38
118.37/118.43	c   291451     71     1908    59521   31     4133    2826   1898   8029 36.30
118.37/118.43	c   302812     70     1748    54245   31     3813    3109   1738   8033 37.69
118.37/118.43	c   319957     70     3092    97370   31     6501    3420   3082   7998 40.00
118.37/118.43	c   345777     70     2879    88650   30     6074    3763   2869   7951 43.49
118.37/118.43	c   384609     70     3599   113000   31     7515    4140   3589   7851 48.98
118.37/118.43	c   442961     70     3259   102452   31     6835    4555   3249   7706 57.48
118.37/118.43	c   530593     70     3342   106324   31     7000    5011   3332   7457 71.15
118.37/118.43	c   662147     70     3249   104030   32     6818    5513   3239   7152 92.58
118.37/118.43	o 5
209.26/209.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
209.26/209.39	c   814692     70     5530   177011   32    11406    1176   5520   6879 118.42
209.26/209.39	c   814792     70      749    23155   30     1808    1294    739   6879 118.45
209.26/209.39	c   815042     70      999    31052   31     2304    1424    989   6879 118.47
209.26/209.39	c   815517     70     1474    46075   31     3260    1567   1464   6880 118.52
209.26/209.39	c   816330     70     1480    45848   30     3268    1724   1470   6882 118.61
209.26/209.39	c   817650     70     1021    30688   30     2352    1897   1011   6885 118.75
209.26/209.39	c   819732     70     1163    35567   30     2633    2087   1153   6889 118.98
209.26/209.39	c   822955     70     1168    36282   31     2644    2296   1158   6895 119.35
209.26/209.39	c   827892     70     1405    43632   31     3116    2526   1395   6903 119.92
209.26/209.39	c   835400     70     2458    77763   31     5225    2779   2448   6912 120.85
209.26/209.39	c   846762     70     2499    77472   31     5332    3057   2489   6925 122.27
209.26/209.39	c   863906     70     2533    79575   31     5374    3363   2523   6936 124.55
209.26/209.39	c   889726     70     2734    86955   31     5770    3700   2724   6952 127.96
209.26/209.39	c   928560     70     2146    68073   31     4597    4071   2136   6961 133.39
209.26/209.39	c   986912     70     2793    87601   31     5892    4479   2783   6964 141.70
209.26/209.39	c  1074546     70     4315   135991   31     8932    4927   4305   6938 154.87
209.26/209.39	c  1206098     70     3920   125479   32     8174    5420   3910   6890 175.05
209.26/209.39	c  1403532     70     4381   139801   31     9068    5963   4371   6742 208.18
209.26/209.39	o 4
919.85/920.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
919.85/920.03	c  1410736     70     5570   176164   31    11478    1176   5560   6738 209.36
919.85/920.03	c  1410836     70      749    22368   29     1806    1294    739   6737 209.40
919.85/920.03	c  1411086     70      999    30114   30     2305    1424    989   6737 209.43
919.85/920.03	c  1411561     68     1474    44687   30     3250    1567   1464   6738 209.48
919.85/920.03	c  1412374     67     1482    44059   29     3263    1724   1472   6739 209.57
919.85/920.03	c  1413694     67     1030    30792   29     2364    1897   1020   6741 209.71
919.85/920.03	c  1415775     66     1163    34497   29     2630    2087   1153   6743 209.94
919.85/920.03	c  1418998     66     1178    35829   30     2658    2296   1168   6746 210.32
919.85/920.03	c  1423935     65     1418    43260   30     3131    2526   1408   6751 210.91
919.85/920.03	c  1431441     63     2464    76566   31     5222    2779   2454   6757 211.84
919.85/920.03	c  1442802     63     2522    78019   30     5338    3057   2512   6768 213.17
919.85/920.03	c  1459947     63     2573    80560   31     5442    3363   2563   6776 215.44
919.85/920.03	c  1485767     62     2758    84679   30     5807    3700   2748   6788 218.85
919.85/920.03	c  1524599     62     2179    66048   30     4648    4071   2169   6798 224.25
919.85/920.03	c  1582953     62     2860    89336   31     6008    4479   2850   6802 232.70
919.85/920.03	c  1670585     62     4441   140458   31     9177    4927   4431   6800 245.67
919.85/920.03	c  1802137     62     4057   128996   31     8405    5420   4047   6750 266.98
919.85/920.03	c  1999569     62     4468   138073   30     9227    5963   4458   6689 298.93
919.85/920.03	c  2295821     60     6014   183073   30    12315    6560   6004   6564 349.74
919.85/920.03	c  2740304     60     4223   127006   30     8737    7217   4213   6413 427.28
919.85/920.03	c  3407131     60     6245   195247   31    12778    7939   6235   6260 544.23
919.85/920.03	c  4407476     60     7966   240149   30    16222    8733   7956   5967 738.63
919.85/920.03	o 3
1797.91/1798.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.28	c  5304720     60     4974   155572   31    10255    1156   4964   5766 919.89
1797.91/1798.28	c  5304820     60      749    22041   29     1775    1272    739   5766 919.91
1797.91/1798.28	c  5305071     60     1000    29791   29     2278    1400    990   5766 919.94
1797.91/1798.28	c  5305549     60      771    22400   29     1821    1541    761   5766 919.99
1797.91/1798.28	c  5306363     60     1585    48114   30     3450    1696   1575   5767 920.07
1797.91/1798.28	c  5307683     60     1156    34709   30     2581    1866   1146   5767 920.22
1797.91/1798.28	c  5309764     60     1327    39773   29     2933    2053   1317   5768 920.45
1797.91/1798.28	c  5312988     60     1388    42271   30     3055    2259   1378   5769 920.82
1797.91/1798.28	c  5317924     60     1693    51195   30     3662    2485   1683   5771 921.39
1797.91/1798.28	c  5325430     60     1598    49584   31     3474    2734   1588   5774 922.28
1797.91/1798.28	c  5336791     60     1813    53895   29     3905    3008   1803   5777 923.76
1797.91/1798.28	c  5353936     60     2124    64749   30     4528    3309   2114   5781 926.06
1797.91/1798.28	c  5379757     60     2752    83751   30     5782    3640   2742   5787 929.47
1797.91/1798.28	c  5418589     60     2837    86011   30     5952    4005   2827   5798 934.50
1797.91/1798.28	c  5476941     60     2406    75516   31     5087    4406   2396   5807 943.07
1797.91/1798.28	c  5564575     60     3140    99664   31     6560    4847   3130   5821 955.82
1797.91/1798.28	c  5696127     60     2529    78588   31     5335    5332   2519   5835 976.12
1797.91/1798.28	c  5893559     60     3489   109450   31     7259    5866   3479   5850 1007.32
1797.91/1798.28	c  6189813     60     3832   120987   31     7938    6453   3822   5869 1054.53
1797.91/1798.28	c  6634295     60     6117   192383   31    12511    7099   6107   5840 1135.87
1797.91/1798.28	c  7301123     60     4549   144490   31     9374    7809   4539   5802 1258.19
1797.91/1798.28	c  8301469     60     6814   215784   31    13903    8590   6804   5679 1461.63
1797.91/1798.28	c  9802091     60     8422   262554   31    17123    9450   8412   5544 1767.76
1797.91/1798.28	c Resources Exceeded
1797.91/1798.28	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 x86 -x87 -x88 x89 -x90 -x91 x92 x93 -x94 x95 x96 -x97 -x98 x99 x100 -x101 x102 x103 x104 -x105 x106 -x107 -x108 x109 x110 x111 x112 -x113 x114 -x115 -x116 x117 -x118 x119 -x120 
1797.91/1798.28	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.28	c  211  9949777  28358  9984589     8779   276818   8769   5533 1798.00
1797.91/1798.28	c Objective: 3
1797.91/1798.28	s SATISFIABLE
1797.91/1798.28	c Total time: 1798 s

Verifier Data 

OK	3

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-3734883-1338717379/watcher-3734883-1338717379 -o /tmp/evaluation-result-3734883-1338717379/solver-3734883-1338717379 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3734883-1338717379.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 19832
/proc/meminfo: memFree=25888748/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=18600 CPUtime=0 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 295 0 0 0 0 0 0 0 20 0 1 0 337863312 19046400 246 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 4650 246 196 641 0 4006 0

[startup+0.073948 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 19832
/proc/meminfo: memFree=25888748/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=11160 CPUtime=0.06 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 388 0 0 0 6 0 0 0 20 0 1 0 337863312 11427840 339 33554432000 134512640 137136520 4294531072 4294530000 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 2790 339 197 641 0 2146 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11160

[startup+0.100271 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 19832
/proc/meminfo: memFree=25888748/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=11160 CPUtime=0.09 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 414 0 0 0 9 0 0 0 20 0 1 0 337863312 11427840 365 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 2790 365 197 641 0 2146 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11160

[startup+0.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 19832
/proc/meminfo: memFree=25888748/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=11536 CPUtime=0.29 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 491 0 0 0 29 0 0 0 20 0 1 0 337863312 11812864 442 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 2884 442 197 641 0 2240 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11536

[startup+0.700236 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 19832
/proc/meminfo: memFree=25888748/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=11536 CPUtime=0.68 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 502 0 0 0 68 0 0 0 20 0 1 0 337863312 11812864 453 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 2884 453 197 641 0 2240 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11536

[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19833
/proc/meminfo: memFree=25887780/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=11788 CPUtime=1.49 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 548 0 0 0 148 1 0 0 20 0 1 0 337863312 12070912 499 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 2947 499 197 641 0 2303 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11788

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19833
/proc/meminfo: memFree=25887168/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=12040 CPUtime=3.09 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 608 0 0 0 307 2 0 0 20 0 1 0 337863312 12328960 559 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3010 559 197 641 0 2366 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12040

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19833
/proc/meminfo: memFree=25886664/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=12424 CPUtime=6.29 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 721 0 0 0 626 3 0 0 20 0 1 0 337863312 12722176 672 33554432000 134512640 137136520 4294531072 4294530068 134555627 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3106 672 197 641 0 2462 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12424

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19833
/proc/meminfo: memFree=25885672/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=12552 CPUtime=12.69 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 760 0 0 0 1263 6 0 0 20 0 1 0 337863312 12853248 711 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3138 711 197 641 0 2494 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12552

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19833
/proc/meminfo: memFree=25885548/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=12552 CPUtime=25.49 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 760 0 0 0 2538 11 0 0 20 0 1 0 337863312 12853248 711 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3138 711 197 641 0 2494 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12552

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19833
/proc/meminfo: memFree=25885052/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=12920 CPUtime=51.08 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 852 0 0 0 5088 20 0 0 20 0 1 0 337863312 13230080 803 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3230 803 197 641 0 2586 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 12920

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19833
/proc/meminfo: memFree=25883192/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=13676 CPUtime=102.28 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1033 0 0 0 10188 40 0 0 20 0 1 0 337863312 14004224 984 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3419 984 197 641 0 2775 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 13676

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19833
/proc/meminfo: memFree=25883252/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=13676 CPUtime=162.26 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1039 0 0 0 16164 62 0 0 20 0 1 0 337863312 14004224 990 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3419 990 197 641 0 2775 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 13676

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19833
/proc/meminfo: memFree=25882880/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=13868 CPUtime=222.25 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1087 0 0 0 22141 84 0 0 20 0 1 0 337863312 14200832 1038 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3467 1038 197 641 0 2823 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 13868

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19837
/proc/meminfo: memFree=25882252/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=13868 CPUtime=282.24 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1087 0 0 0 28118 106 0 0 20 0 1 0 337863312 14200832 1038 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3467 1038 197 641 0 2823 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 13868

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19859
/proc/meminfo: memFree=25882128/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=13868 CPUtime=342.24 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1087 0 0 0 34097 127 0 0 20 0 1 0 337863312 14200832 1038 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3467 1038 197 641 0 2823 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 13868

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19859
/proc/meminfo: memFree=25881888/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=14240 CPUtime=402.23 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1174 0 0 0 40076 147 0 0 20 0 1 0 337863312 14581760 1125 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3560 1125 197 641 0 2916 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 14240

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19859
/proc/meminfo: memFree=25880956/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=14588 CPUtime=462.22 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1253 0 0 0 46055 167 0 0 20 0 1 0 337863312 14938112 1203 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3647 1203 197 641 0 3003 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 14588

[startup+522.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 19859
/proc/meminfo: memFree=25880956/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=14584 CPUtime=522.2 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1264 0 0 0 52034 186 0 0 20 0 1 0 337863312 14934016 1214 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3646 1214 197 641 0 3002 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 14584

[startup+582.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 19860
/proc/meminfo: memFree=25880708/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=14952 CPUtime=582.2 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1356 0 0 0 58014 206 0 0 20 0 1 0 337863312 15310848 1306 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3738 1306 197 641 0 3094 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 14952

[startup+642.3 s]

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

/proc/meminfo: memFree=25879716/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=15168 CPUtime=1122.12 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1457 0 0 0 111833 379 0 0 20 0 1 0 337863312 15532032 1371 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3792 1371 197 641 0 3148 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 15168

[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 19865
/proc/meminfo: memFree=25879592/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=15168 CPUtime=1182.11 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1457 0 0 0 117812 399 0 0 20 0 1 0 337863312 15532032 1371 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3792 1371 197 641 0 3148 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 15168

[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 19865
/proc/meminfo: memFree=25879344/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=15168 CPUtime=1242.1 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1457 0 0 0 123789 421 0 0 20 0 1 0 337863312 15532032 1371 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3792 1371 197 641 0 3148 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 15168

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19865
/proc/meminfo: memFree=25878972/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=15168 CPUtime=1302.09 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1457 0 0 0 129771 438 0 0 20 0 1 0 337863312 15532032 1371 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3792 1371 197 641 0 3148 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 15168

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19865
/proc/meminfo: memFree=25879096/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=15168 CPUtime=1362.07 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1457 0 0 0 135751 456 0 0 20 0 1 0 337863312 15532032 1371 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3792 1371 197 641 0 3148 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 15168

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19865
/proc/meminfo: memFree=25879220/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=15168 CPUtime=1422.07 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1457 0 0 0 141736 471 0 0 20 0 1 0 337863312 15532032 1371 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3792 1371 197 641 0 3148 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 15168

[startup+1482.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/175 19868
/proc/meminfo: memFree=25879716/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=15264 CPUtime=1482.05 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1467 0 0 0 147718 487 0 0 20 0 1 0 337863312 15630336 1381 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3816 1381 197 641 0 3172 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 15264

[startup+1542.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/175 19869
/proc/meminfo: memFree=25879592/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=15264 CPUtime=1542.05 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1467 0 0 0 153698 507 0 0 20 0 1 0 337863312 15630336 1381 33554432000 134512640 137136520 4294531072 4294530112 134540859 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3816 1381 197 641 0 3172 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 15264

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 19869
/proc/meminfo: memFree=25879592/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=15264 CPUtime=1602.04 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1474 0 0 0 159682 522 0 0 20 0 1 0 337863312 15630336 1388 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3816 1388 197 641 0 3172 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 15264

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 19869
/proc/meminfo: memFree=25879592/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=15264 CPUtime=1662.03 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1474 0 0 0 165663 540 0 0 20 0 1 0 337863312 15630336 1388 33554432000 134512640 137136520 4294531072 4294530112 134540859 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3816 1388 197 641 0 3172 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 15264

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19869
/proc/meminfo: memFree=25879592/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=15264 CPUtime=1722.02 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1474 0 0 0 171643 559 0 0 20 0 1 0 337863312 15630336 1388 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3816 1388 197 641 0 3172 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 15264

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19869
/proc/meminfo: memFree=25879096/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=15748 CPUtime=1782.02 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1588 0 0 0 177625 577 0 0 20 0 1 0 337863312 16125952 1502 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3937 1502 197 641 0 3293 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 15748

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19918
/proc/meminfo: memFree=25870008/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=15748 CPUtime=1791.61 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1588 0 0 0 178582 579 0 0 20 0 1 0 337863312 16125952 1502 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3937 1502 197 641 0 3293 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 15748

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19918
/proc/meminfo: memFree=25867528/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=15748 CPUtime=1794.81 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1588 0 0 0 178901 580 0 0 20 0 1 0 337863312 16125952 1502 33554432000 134512640 137136520 4294531072 4294530000 134544530 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3937 1502 197 641 0 3293 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 15748

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19918
/proc/meminfo: memFree=25866784/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=15748 CPUtime=1796.41 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1588 0 0 0 179060 581 0 0 20 0 1 0 337863312 16125952 1502 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3937 1502 197 641 0 3293 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 15748

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19918
/proc/meminfo: memFree=25865932/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=15748 CPUtime=1797.21 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1588 0 0 0 179140 581 0 0 20 0 1 0 337863312 16125952 1502 33554432000 134512640 137136520 4294531072 4294530112 134540859 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3937 1502 197 641 0 3293 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 15748

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19918
/proc/meminfo: memFree=25865932/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=15748 CPUtime=1797.61 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1588 0 0 0 179180 581 0 0 20 0 1 0 337863312 16125952 1502 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3937 1502 197 641 0 3293 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 15748

[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19918
/proc/meminfo: memFree=25865932/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=15748 CPUtime=1797.81 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1588 0 0 0 179200 581 0 0 20 0 1 0 337863312 16125952 1502 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3937 1502 197 641 0 3293 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 15748

[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19918
/proc/meminfo: memFree=25865932/32873852 swapFree=6856/6856
[pid=19832] ppid=19830 vsize=15748 CPUtime=1797.91 cores=0,2,4,6
/proc/19832/stat : 19832 (bsolo) R 19830 19832 18547 0 -1 4202496 1588 0 0 0 179210 581 0 0 20 0 1 0 337863312 16125952 1502 33554432000 134512640 137136520 4294531072 4294530188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/19832/statm: 3937 1502 197 641 0 3293 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 15748

Child status: 0
Real time (s): 1798.28
CPU time (s): 1798
CPU user time (s): 1792.18
CPU system time (s): 5.81912
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 15748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.18
system time used= 5.81912
maximum resident set size= 6012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1590
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= 1890

runsolver used 2.6146 second user time and 7.19591 second system time

The end

Launcher Data 

Begin job on node129 at 2012-06-03 11:56:19
IDJOB=3734883
IDBENCH=2914
IDSOLVER=2320
FILE ID=node129/3734883-1338717379
RUNJOBID= node129-1338702975-18563
PBS_JOBID= 14636718
Free space on /tmp= 70480 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_4.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734883-1338717379/watcher-3734883-1338717379 -o /tmp/evaluation-result-3734883-1338717379/solver-3734883-1338717379 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3734883-1338717379.opb

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

MD5SUM BENCH= a470052ca6f8034e2c6c08868e52d9e8
RANDOM SEED=754907755

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


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        25890004 kB
Buffers:          462476 kB
Cached:          5630992 kB
SwapCached:            0 kB
Active:          2577028 kB
Inactive:        3530228 kB
Active(anon):       5672 kB
Inactive(anon):    10748 kB
Active(file):    2571356 kB
Inactive(file):  3519480 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              8044 kB
Writeback:             0 kB
AnonPages:         20372 kB
Mapped:            15124 kB
Shmem:               204 kB
Slab:             741576 kB
SReclaimable:     183672 kB
SUnreclaim:       557904 kB
KernelStack:        1440 kB
PageTables:         4020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     142480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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-3734883-1338717379.opb

Free space on /tmp at the end= 70480 MiB
End job on node129 at 2012-06-03 12:26:17