Trace number 1878626

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 clSAT9 1798 1798.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_1.opb
MD5SUMcdfa46b59876181d5d89fd18757b8cfb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
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 constraints12
Minimum length of a constraint66
Maximum length of a constraint66
Number of terms in the objective function 96
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 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1273
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4329
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: Clause 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-1878626-1245174765.opb
0.00/0.00	c File size is 7798 bytes.
0.00/0.00	c Highest Coefficient sum: 4329
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 146 Constr: 12 0/0/12 Lit: 792 Watch. Lit: 220
0.00/0.00	c Obj. Vars: 96 (65.7534 % of total variables)
0.00/0.00	c Pre-processing Time: 0.001 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    146       12      792   66      228    1584      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 1026
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    146       13      888   68      580    1776      1      0 0.00
0.00/0.01	o 823
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       49    146       63     4060   64      742    1776     51   6125 0.01
0.00/0.01	o 350
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       50    146       65     4218   64      805    1776     53   6250 0.01
0.00/0.02	c      150    146      165     8473   51     1001    1954    153   7142 0.02
0.00/0.02	o 345
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      155    146      171     8842   51     1097    1776    159   7045 0.02
0.00/0.02	o 343
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      175    146      192    10150   52     1217    1776    180   7000 0.03
0.00/0.03	o 318
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      213    146      231    11611   50     1359    1776    219   7100 0.03
0.00/0.03	o 314
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      220    146      239    12217   51     1456    1776    227   7096 0.03
0.00/0.03	o 310
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      256    146      276    14273   51     1634    1776    264   6918 0.04
0.00/0.04	o 306
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      301    146      322    16211   50     1805    1776    310   7000 0.04
0.09/0.10	c      402    146      423    20703   48     2014    1954    411   7052 0.06
0.09/0.10	c      652    146      673    33604   49     2518    2150    661   6791 0.10
0.09/0.10	o 305
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      681    146      703    34931   49     2650    1776    691   6742 0.10
0.09/0.11	o 303
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      714    146      737    36441   49     2802    1776    725   6611 0.11
0.09/0.11	o 301
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      724    146      748    37091   49     2912    1776    736   6581 0.11
0.09/0.11	o 299
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c      742    146      767    38236   49     3045    1776    755   6508 0.11
0.09/0.13	o 297
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      816    146      842    42372   50     3290    1776    830   6276 0.13
0.09/0.14	o 293
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      851    146      878    43819   49     3427    1776    866   6166 0.14
0.09/0.14	o 264
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      871    146      899    44511   49     3549    1776    887   6133 0.14
0.09/0.14	o 259
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c      898    146      927    45582   49     3660    1776    915   6108 0.15
0.09/0.18	c     1000    146     1029    51376   49     3920    1954   1017   5917 0.17
0.09/0.18	o 224
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c     1056    146     1086    53155   48     3979    1776   1074   5932 0.18
0.09/0.18	o 216
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c     1062    146     1093    53463   48     4059    1776   1081   5932 0.18
0.09/0.19	o 208
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c     1103    146     1135    55420   48     4296    1776   1123   5867 0.19
0.19/0.22	c     1205    146     1237    59703   48     4505    1954   1225   5878 0.20
0.19/0.22	o 204
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c     1309    146     1342    63397   47     4799    1776   1330   5950 0.22
0.19/0.23	o 202
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c     1403    146     1437    66753   46     5076    1776   1425   5944 0.24
0.19/0.28	c     1504    146     1538    72554   47     5302    1954   1526   5806 0.26
0.19/0.28	o 120
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c     1613    146     1648    76188   46     5534    1776   1636   5781 0.28
0.19/0.28	o 118
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c     1617    144     1653    76380   46     5642    1772   1641   5754 0.28
0.19/0.28	o 116
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c     1627    144     1664    77052   46     5623    1772   1652   5749 0.28
0.19/0.29	o 114
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c     1666    143     1704    79243   46     5760    1770   1692   5725 0.29
0.19/0.29	o 112
0.49/0.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.57	c     1678    143     1717    80047   46     5876    1770   1705   5726 0.29
0.49/0.57	c     1778    143      898    38441   42     2344    1948    886   5644 0.32
0.49/0.57	c     2028    140     1148    46411   40     2849    2143   1136   5844 0.35
0.49/0.57	c     2503    140     1623    61792   38     3792    2358   1611   6104 0.41
0.49/0.57	c     3316    139     1212    42126   34     2970    2594   1200   6051 0.55
0.49/0.57	o 106
8.48/8.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.48/8.52	c     3443    139     1340    46468   34     3321    1762   1328   6050 0.57
8.48/8.52	c     3543    139     1440    50107   34     3517    1939   1428   6046 0.59
8.48/8.52	c     3793    139     1690    58365   34     4026    2133   1678   6088 0.62
8.48/8.52	c     4269    139     1087    38157   35     2730    2347   1075   6021 0.71
8.48/8.52	c     5082    139     1900    63389   33     4346    2582   1888   6167 0.82
8.48/8.52	c     6402    139     1890    60375   31     4330    2841   1878   6155 1.04
8.48/8.52	c     8483    139     2501    90007   35     5565    3126   2489   6020 1.41
8.48/8.52	c    11706    139     2509    76154   30     5561    3439   2497   6206 1.89
8.48/8.52	c    16642    139     2156    74487   34     4857    3783   2144   6143 2.71
8.48/8.52	c    24149    139     1941    62579   32     4428    4162   1929   6011 4.02
8.48/8.52	c    35510    139     2690    90985   33     5921    4579   2678   5871 6.05
8.48/8.52	o 105
8.89/8.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.89/8.96	c    49958    138     3158   105115   33     6945    1760   3146   5862 8.52
8.89/8.96	c    50061    138     1003    36327   36     2546    1937    991   5838 8.57
8.89/8.96	c    50311    138     1253    45354   36     3046    2131   1241   5845 8.61
8.89/8.96	c    50786    138     1728    60534   35     3996    2345   1716   5857 8.67
8.89/8.96	c    51600    138     1314    44836   34     3172    2580   1302   5863 8.80
8.89/8.96	o 99
8.89/8.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.89/8.98	c    52644    138     2359    79755   33     5351    1760   2347   5872 8.96
8.89/8.98	o 97
9.29/9.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.29/9.34	c    52647    138      905    30378   33     2442    1760    893   5864 8.98
9.29/9.34	c    52747    138     1005    33801   33     2637    1937    993   5867 8.99
9.29/9.34	c    52997    138     1255    40892   32     3136    2131   1243   5876 9.02
9.29/9.34	c    53472    136     1730    55351   31     4092    2345   1718   5884 9.09
9.29/9.34	c    54285    136     1319    42940   32     3179    2580   1307   5882 9.23
9.29/9.34	o 90
9.29/9.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.29/9.35	c    54957    135     1992    64376   32     4617    1754   1980   5885 9.34
9.29/9.35	o 88
9.39/9.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.39/9.44	c    55009    135      954    31641   33     2530    1754    942   5882 9.35
9.39/9.44	c    55109    135     1054    34248   32     2726    1930   1042   5885 9.36
9.39/9.44	c    55359    135     1304    40761   31     3231    2124   1292   5893 9.39
9.39/9.44	o 87
9.39/9.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.39/9.44	c    55737    135     1683    50913   30     4070    1754   1671   5903 9.44
9.39/9.44	o 85
9.59/9.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.59/9.67	c    55738    135     1685    51067   30     4158    1754   1673   5903 9.44
9.59/9.67	c    55838    135      901    25928   28     2337    1930    889   5900 9.46
9.59/9.67	c    56088    135     1151    34432   29     2849    2124   1139   5902 9.50
9.59/9.67	c    56563    134     1626    51066   31     3783    2337   1614   5908 9.57
9.59/9.67	o 84
9.79/9.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.79/9.81	c    57244    134     2308    72404   31     5230    1752   2296   5918 9.67
9.79/9.81	c    57344    134     1001    32783   32     2533    1928    989   5912 9.70
9.79/9.81	c    57594    134     1251    40234   32     3036    2121   1239   5917 9.73
9.79/9.81	c    58069    134     1726    55353   32     3986    2334   1714   5927 9.80
9.79/9.81	o 81
9.79/9.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.79/9.82	c    58176    134     1834    58567   31     4283    1752   1822   5930 9.81
9.79/9.82	o 75
9.79/9.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.79/9.83	c    58201    134      927    29199   31     2466    1752    915   5927 9.82
9.79/9.83	o 65
10.79/10.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.79/10.82	c    58260    134      987    31931   32     2668    1752    975   5928 9.83
10.79/10.82	c    58360    134     1087    34662   31     2865    1928   1075   5932 9.84
10.79/10.82	c    58610    134     1337    41582   31     3374    2121   1325   5939 9.87
10.79/10.82	c    59085    134     1812    58260   32     4323    2334   1800   5944 9.94
10.79/10.82	c    59900    134     1422    48572   34     3378    2568   1410   5945 10.07
10.79/10.82	c    61221    134     1425    48018   33     3389    2825   1413   5940 10.30
10.79/10.82	c    63302    134     2050    72663   35     4634    3108   2038   5930 10.67
10.79/10.82	o 64
10.79/10.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.79/10.85	c    64329    134     3078   102712   33     6772    1752   3066   5943 10.82
10.79/10.85	o 62
10.79/10.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.79/10.85	c    64360    132      933    27333   29     2480    1748    921   5932 10.85
10.79/10.85	o 60
10.89/10.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.89/10.92	c    64375    130      949    28095   29     2588    1744    937   5932 10.85
10.89/10.92	c    64475    129     1049    31341   29     2792    1919   1037   5934 10.87
10.89/10.92	c    64728    124     1302    40912   31     3297    2111   1290   5938 10.90
10.89/10.92	o 53
11.09/11.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.09/11.17	c    64844    124     1419    45317   31     3603    1732   1407   5939 10.92
11.09/11.17	c    64945    124     1520    49768   32     3804    1906   1508   5940 10.93
11.09/11.17	c    65196    124     1771    58104   32     4297    2097   1759   5942 10.97
11.09/11.17	c    65675    122     1169    41170   35     2861    2307   1157   5940 11.06
11.09/11.17	o 52
11.09/11.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.09/11.17	c    66390    122     1885    65850   34     4358    1728   1873   5945 11.17
11.09/11.17	o 50
11.09/11.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.09/11.18	c    66403    122      915    31263   34     2412    1728    903   5942 11.17
11.09/11.18	o 46
11.49/11.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.49/11.52	c    66412    122      925    31824   34     2505    1728    913   5942 11.18
11.49/11.52	c    66512    122     1025    35339   34     2703    1901   1013   5943 11.19
11.49/11.52	c    66762    122     1275    43661   34     3201    2092   1263   5946 11.23
11.49/11.52	c    67237    122     1750    59751   34     4157    2302   1738   5949 11.30
11.49/11.52	c    68050    122     1375    46405   33     3262    2533   1363   5950 11.44
11.49/11.52	o 38
15.08/15.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.08/15.14	c    68651    122     1977    67320   34     4540    1728   1965   5959 11.52
15.08/15.14	c    68751    122     1001    34070   34     2515    1901    989   5957 11.54
15.08/15.14	c    69001    122     1251    41799   33     3020    2092   1239   5962 11.57
15.08/15.14	c    69476    122     1726    57522   33     3964    2302   1714   5967 11.64
15.08/15.14	c    70289    122     1349    44280   32     3213    2533   1337   5967 11.78
15.08/15.14	c    71609    122     1373    45639   33     3265    2787   1361   5971 11.99
15.08/15.14	c    73690    122     2025    71468   35     4564    3066   2013   5985 12.31
15.08/15.14	c    76914    122     2102    71158   33     4728    3373   2090   5981 12.86
15.08/15.14	c    81850    122     1875    64905   34     4268    3711   1863   5975 13.70
15.08/15.14	c    89356    122     3703   130944   35     7927    4083   3691   5968 14.97
15.08/15.14	o 36
15.78/15.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.78/15.87	c    90143    122     2419    83685   34     5425    1728   2407   5953 15.14
15.78/15.87	c    90243    122     1001    31616   31     2519    1901    989   5949 15.17
15.78/15.87	c    90493    122     1251    39538   31     3013    2092   1239   5953 15.20
15.78/15.87	c    90968    122     1726    54853   31     3965    2302   1714   5958 15.27
15.78/15.87	c    91781    122     1355    44149   32     3223    2533   1343   5958 15.40
15.78/15.87	c    93101    122     1374    44046   32     3267    2787   1362   5961 15.62
15.78/15.87	o 34
15.78/15.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.78/15.87	c    94671    122     1517    51827   34     3621    1728   1505   5964 15.87
15.78/15.87	o 32
24.89/24.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.89/24.98	c    94673    122     1520    52025   34     3697    1728   1508   5964 15.87
24.89/24.98	c    94773    114     1620    55916   34     3888    1901   1608   5964 15.89
24.89/24.98	c    95023    113     1870    65859   35     4389    2092   1858   5966 15.93
24.89/24.98	c    95499    110     1271    47222   37     3048    2302   1259   5965 16.01
24.89/24.98	c    96312    110     2084    79905   38     4679    2533   2072   5967 16.14
24.89/24.98	c    97633    110     2107    85248   40     4716    2787   2095   5963 16.37
24.89/24.98	c    99714    110     2755   113355   41     6018    3066   2743   5948 16.76
24.89/24.98	c   102937    110     2847   112018   39     6199    3373   2835   5938 17.33
24.89/24.98	c   107874    110     2599   107889   41     5706    3711   2587   5914 18.24
24.89/24.98	c   115381    110     2522   105784   41     5552    4083   2510   5839 19.76
24.89/24.98	c   126742    110     3487   139895   40     7474    4492   3475   5740 22.08
24.89/24.98	o 31
26.08/26.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.08/26.13	c   139699    110     2749   110765   40     6069    1704   2737   5593 24.97
26.08/26.13	c   139799    110     1001    39992   39     2500    1875    989   5591 25.00
26.08/26.13	c   140049    110     1251    49808   39     2995    2063   1239   5592 25.04
26.08/26.13	c   140525    110     1727    68816   39     3946    2270   1715   5594 25.12
26.08/26.13	c   141338    110     1383    54990   39     3260    2498   1371   5595 25.26
26.08/26.13	c   142659    110     1413    56667   40     3321    2748   1401   5595 25.49
26.08/26.13	c   144741    110     2098    84464   40     4692    3023   2086   5593 25.88
26.08/26.13	o 30
27.88/27.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.88/27.97	c   145869    110     1672    67953   40     3891    1704   1660   5583 26.12
27.88/27.97	c   145969    110      901    36410   40     2304    1875    889   5583 26.14
27.88/27.97	c   146220    110     1152    46278   40     2792    2063   1140   5585 26.18
27.88/27.97	c   146696    110     1628    63979   39     3750    2270   1616   5589 26.25
27.88/27.97	c   147510    110     1280    49407   38     3060    2498   1268   5591 26.38
27.88/27.97	c   148830    110     1311    52363   39     3123    2748   1299   5591 26.62
27.88/27.97	c   150912    110     1983    80157   40     4468    3023   1971   5591 26.99
27.88/27.97	c   154135    110     2100    84985   40     4691    3326   2088   5578 27.63
27.88/27.97	o 29
30.18/30.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.18/30.26	c   155840    110     2108    84299   39     4777    1704   2096   5573 27.96
30.18/30.26	c   155940    110     1001    39583   39     2490    1875    989   5572 27.98
30.18/30.26	c   156190    110     1251    49200   39     2987    2063   1239   5575 28.01
30.18/30.26	c   156665    110     1726    68004   39     3954    2270   1714   5578 28.08
30.18/30.26	c   157478    110     1362    54322   39     3222    2498   1350   5580 28.22
30.18/30.26	c   158798    110     1397    56118   40     3296    2748   1385   5582 28.44
30.18/30.26	c   160879    110     2071    82182   39     4638    3023   2059   5584 28.81
30.18/30.26	c   164102    110     2196    86997   39     4888    3326   2184   5577 29.42
30.18/30.26	o 27
33.28/33.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.28/33.39	c   168175    110     2867   118497   41     6284    1704   2855   5557 30.26
33.28/33.39	c   168276    110     1002    40109   40     2497    1875    990   5556 30.29
33.28/33.39	c   168526    110     1252    50250   40     2997    2063   1240   5557 30.32
33.28/33.39	c   169001    110     1727    69898   40     3944    2270   1715   5560 30.39
33.28/33.39	c   169815    110     1369    54788   40     3233    2498   1357   5560 30.54
33.28/33.39	c   171136    110     1399    55215   39     3298    2748   1387   5559 30.78
33.28/33.39	c   173217    110     2076    83612   40     4651    3023   2064   5559 31.16
33.28/33.39	c   176441    110     2197    88876   40     4889    3326   2185   5557 31.75
33.28/33.39	c   181377    110     2033    82569   40     4561    3659   2021   5531 32.79
33.28/33.39	o 25
41.17/41.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.17/41.25	c   184297    110     3079   124526   40     6714    1704   3067   5521 33.38
41.17/41.25	c   184397    110     1001    39916   39     2497    1875    989   5518 33.41
41.17/41.25	c   184649    110     1253    50311   40     3013    2063   1241   5518 33.46
41.17/41.25	c   185124    110     1728    70020   40     3954    2270   1716   5519 33.54
41.17/41.25	c   185937    110     1368    55346   40     3240    2498   1356   5517 33.70
41.17/41.25	c   187258    110     1409    56208   39     3316    2748   1397   5514 33.96
41.17/41.25	c   189339    110     2075    83079   40     4647    3023   2063   5512 34.35
41.17/41.25	c   192562    110     2192    88385   40     4878    3326   2180   5504 34.98
41.17/41.25	c   197499    110     2020    79801   39     4532    3659   2008   5496 35.94
41.17/41.25	c   205005    110     2083    80671   38     4659    4025   2071   5489 37.34
41.17/41.25	c   216366    110     3216   129895   40     6931    4428   3204   5452 39.68
41.17/41.25	o 23
57.37/57.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
57.37/57.44	c   223416    110     3521   142141   40     7603    1704   3509   5417 41.24
57.37/57.44	c   223516    110     1001    39961   39     2498    1875    989   5415 41.27
57.37/57.44	c   223766    110     1251    49608   39     2998    2063   1239   5417 41.30
57.37/57.44	c   224241    110     1726    68033   39     3954    2270   1714   5419 41.37
57.37/57.44	c   225054    110     1363    51626   37     3220    2498   1351   5421 41.51
57.37/57.44	c   226374    110     1396    52258   37     3288    2748   1384   5422 41.74
57.37/57.44	c   228455    110     2063    79845   38     4620    3023   2051   5425 42.10
57.37/57.44	c   231679    110     2184    85983   39     4866    3326   2172   5422 42.73
57.37/57.44	c   236616    110     2028    80845   39     4559    3659   2016   5411 43.72
57.37/57.44	c   244123    110     2079    82215   39     4659    4025   2067   5397 45.23
57.37/57.44	c   255485    110     3196   126221   39     6887    4428   3184   5369 47.58
57.37/57.44	c   272630    110     2321    91901   39     5141    4871   2309   5290 51.54
57.37/57.44	o 22
57.37/57.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
57.37/57.49	c   297194    110     4651   181141   38     9861    1704   4639   5175 57.42
57.37/57.49	o 20
57.37/57.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
57.37/57.49	c   297225    110      933    36008   38     2427    1704    921   5171 57.47
57.37/57.49	o 18
205.73/205.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
205.73/205.81	c   297234    110      943    36486   38     2505    1704    931   5171 57.47
205.73/205.81	c   297334    110     1043    40047   38     2698    1875   1031   5172 57.49
205.73/205.81	c   297584    110     1293    49501   38     3202    2063   1281   5172 57.53
205.73/205.81	c   298059    110     1768    68212   38     4152    2270   1756   5174 57.61
205.73/205.81	c   298872    110     1418    54616   38     3334    2498   1406   5175 57.74
205.73/205.81	c   300192    110     1456    57187   39     3409    2748   1444   5179 57.96
205.73/205.81	c   302275    110     2126    81902   38     4752    3023   2114   5182 58.33
205.73/205.81	c   305498    110     2257    84908   37     5017    3326   2245   5181 58.96
205.73/205.81	c   310435    110     2105    78638   37     4713    3659   2093   5180 59.92
205.73/205.81	c   317941    110     2152    81873   38     4800    4025   2140   5175 61.43
205.73/205.81	c   329303    110     3270   126476   38     7039    4428   3258   5164 63.76
205.73/205.81	c   346448    110     2424    95395   39     5346    4871   2412   5139 67.41
205.73/205.81	c   372267    110     3547   131071   36     7587    5359   3535   5080 73.27
205.73/205.81	c   411100    110     4384   170885   38     9268    5895   4372   4988 82.42
205.73/205.81	c   469452    110     3110   121284   38     6716    6485   3098   4814 97.51
205.73/205.81	c   557084    110     5551   217419   39    11603    7134   5539   4558 122.21
205.73/205.81	c   688636    110     3858   153641   39     8214    7848   3846   4241 162.34
205.73/205.81	o 16
205.73/205.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
205.73/205.85	c   820037    110     4615   178464   38     9789    1704   4603   3985 205.75
205.73/205.85	o 14
393.38/393.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
393.38/393.51	c   820047    108      912    34370   37     2382    1700    900   3984 205.79
393.38/393.51	c   820147    103     1012    38156   37     2564    1871   1000   3985 205.81
393.38/393.51	c   820397    103     1262    47741   37     3067    2059   1250   3985 205.84
393.38/393.51	c   820873    103     1738    66305   38     4018    2265   1726   3986 205.92
393.38/393.51	c   821686    100     1375    52356   38     3235    2492   1363   3987 206.07
393.38/393.51	c   823006    100     1406    54553   38     3291    2742   1394   3989 206.29
393.38/393.51	c   825087     98     2082    81952   39     4631    3017   2070   3992 206.64
393.38/393.51	c   828310     98     2218    88427   39     4912    3319   2206   3997 207.22
393.38/393.51	c   833246     98     2076    83718   40     4628    3651   2064   4002 208.18
393.38/393.51	c   840752     98     2139    82680   38     4744    4017   2127   4012 209.55
393.38/393.51	c   852113     98     3299   125039   37     7064    4419   3287   4025 211.69
393.38/393.51	c   869258     98     2523   100366   39     5515    4861   2511   4035 215.42
393.38/393.51	c   895078     98     3706   143816   38     7887    5348   3694   4047 221.12
393.38/393.51	c   933911     98     4620   178190   38     9719    5883   4608   4068 229.53
393.38/393.51	c   992264     98     3417   136053   39     7308    6472   3405   4058 244.49
393.38/393.51	c  1079897     98     6052   242102   40    12583    7120   6040   4003 269.77
393.38/393.51	c  1211449     98     4610   181348   39     9702    7833   4598   3896 310.88
393.38/393.51	c  1408881     98     4531   175746   38     9539    8617   4519   3758 374.82
393.38/393.51	o 11
773.17/773.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
773.17/773.40	c  1456367     98     8580   350657   40    17690    1680   8568   3702 393.40
773.17/773.40	c  1456467     98     1001    39378   39     2474    1849    989   3700 393.56
773.17/773.40	c  1456718     98     1252    49018   39     2976    2034   1240   3700 393.60
773.17/773.40	c  1457194     98     1728    67625   39     3918    2238   1716   3701 393.68
773.17/773.40	c  1458008     98     1391    52154   37     3253    2462   1379   3702 393.81
773.17/773.40	c  1459329     98     1447    53472   36     3365    2709   1435   3703 394.05
773.17/773.40	c  1461410     98     2150    80945   37     4769    2980   2138   3705 394.43
773.17/773.40	c  1464633     98     2324    88475   38     5109    3279   2312   3708 394.99
773.17/773.40	c  1469570     98     2224    85331   38     4913    3607   2212   3712 395.90
773.17/773.40	c  1477076     98     2368    92035   38     5199    3968   2356   3717 397.38
773.17/773.40	c  1488438     98     3634   140722   38     7740    4365   3622   3724 399.61
773.17/773.40	c  1505582     98     3056   115326   37     6570    4802   3044   3735 403.06
773.17/773.40	c  1531401     98     4533   180801   39     9532    5283   4521   3746 408.73
773.17/773.40	c  1570233     98     3246   126825   39     6961    5812   3234   3756 417.98
773.17/773.40	c  1628585     98     5740   227344   39    11941    6394   5728   3760 433.05
773.17/773.40	c  1716217     98     6146   240929   39    12758    7034   6134   3748 457.85
773.17/773.40	c  1847769     98     6366   255484   40    13195    7738   6354   3720 496.70
773.17/773.40	c  2045201     98     4796   183402   38    10056    8512   4784   3647 560.74
773.17/773.40	c  2341454     98     4972   200942   40    10402    9364   4960   3513 666.35
773.17/773.40	o 9
1797.99/1798.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.99/1798.51	c  2612750     98     7474   300903   40    15455    1680   7462   3379 773.18
1797.99/1798.51	c  2612851     98     1002    39879   39     2468    1849    990   3378 773.29
1797.99/1798.51	c  2613101     98     1252    50039   39     2969    2034   1240   3379 773.33
1797.99/1798.51	c  2613577     98     1728    68527   39     3920    2238   1716   3379 773.40
1797.99/1798.51	c  2614390     98     1392    52237   37     3251    2462   1380   3379 773.54
1797.99/1798.51	c  2615710     98     1447    55458   38     3357    2709   1435   3380 773.76
1797.99/1798.51	c  2617791     98     2140    82929   38     4746    2980   2128   3381 774.12
1797.99/1798.51	c  2621014     98     2303    90073   39     5070    3279   2291   3383 774.72
1797.99/1798.51	c  2625950     98     2208    86387   39     4878    3607   2196   3385 775.62
1797.99/1798.51	c  2633456     98     2371    91955   38     5214    3968   2359   3389 777.00
1797.99/1798.51	c  2644818     98     3644   142632   39     7748    4365   3632   3393 779.40
1797.99/1798.51	c  2661962     98     3065   118707   38     6593    4802   3053   3399 782.98
1797.99/1798.51	c  2687782     98     4524   174553   38     9518    5283   4512   3407 788.86
1797.99/1798.51	c  2726614     98     3212   125594   39     6892    5812   3200   3412 799.05
1797.99/1798.51	c  2784966     98     5675   231120   40    11818    6394   5663   3413 815.90
1797.99/1798.51	c  2872598     98     6039   242029   40    12543    7034   6027   3406 843.22
1797.99/1798.51	c  3004150     98     6199   241397   38    12868    7738   6187   3390 886.03
1797.99/1798.51	c  3201583     98     4614   181021   39     9695    8512   4602   3369 950.30
1797.99/1798.51	c  3497835     98     4894   194454   39    10249    9364   4882   3298 1060.33
1797.99/1798.51	c  3942318     98     6155   250958   40    12772   10301   6143   3155 1249.30
1797.99/1798.51	c  4609146     98     9614   378988   39    19695   11332   9602   2975 1548.81
1797.99/1798.51	c Resources Exceeded
1797.99/1798.51	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 x110 x111 x112 -x113 x114 -x115 x116 x117 x118 -x119 x120 -x121 x122 x123 x124 -x125 x126 x127 -x128 -x129 x130 -x131 -x132 x133 x134 -x135 x136 -x137 x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 
1797.99/1798.51	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.99/1798.51	c  258  5114812  37089  5164938     7982   322936   7970   2844 1798.00
1797.99/1798.51	c Objective: 9
1797.99/1798.51	s SATISFIABLE
1797.99/1798.51	c Total time: 1798 s

Verifier Data 

OK	9

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878626-1245174765/watcher-1878626-1245174765 -o /tmp/evaluation-result-1878626-1245174765/solver-1878626-1245174765 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878626-1245174765.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: 1.00 1.00 1.00 3/64 5868
/proc/meminfo: memFree=1898736/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=18520 CPUtime=0
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 185073507 18964480 244 1992294400 134512640 137136520 4294956256 18446744073709551615 134607024 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4630 244 196 640 0 3986 0

[startup+0.0597829 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5868
/proc/meminfo: memFree=1898736/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=10964 CPUtime=0.05
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 339 0 0 0 5 0 0 0 18 0 1 0 185073507 11227136 321 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 2741 321 196 640 0 2097 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10964

[startup+0.101788 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5868
/proc/meminfo: memFree=1898736/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=11220 CPUtime=0.09
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 391 0 0 0 9 0 0 0 18 0 1 0 185073507 11489280 373 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 2805 373 196 640 0 2161 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11220

[startup+0.301808 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5868
/proc/meminfo: memFree=1898736/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=11864 CPUtime=0.29
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 577 0 0 0 29 0 0 0 19 0 1 0 185073507 12148736 559 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 2966 559 196 640 0 2322 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11864

[startup+0.701849 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5868
/proc/meminfo: memFree=1898736/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=12124 CPUtime=0.69
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 617 0 0 0 69 0 0 0 22 0 1 0 185073507 12414976 599 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 3031 599 196 640 0 2387 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12124

[startup+1.50193 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5869
/proc/meminfo: memFree=1897000/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=12380 CPUtime=1.49
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 688 0 0 0 149 0 0 0 25 0 1 0 185073507 12677120 670 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 3095 670 196 640 0 2451 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12380

[startup+3.10109 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5869
/proc/meminfo: memFree=1896488/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=12764 CPUtime=3.09
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 788 0 0 0 308 1 0 0 25 0 1 0 185073507 13070336 770 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 3191 770 196 640 0 2547 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12764

[startup+6.30142 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5869
/proc/meminfo: memFree=1895984/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=13016 CPUtime=6.29
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 858 0 0 0 626 3 0 0 25 0 1 0 185073507 13328384 840 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 3254 840 196 640 0 2610 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13016

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5869
/proc/meminfo: memFree=1895808/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=13000 CPUtime=12.69
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 880 0 0 0 1263 6 0 0 25 0 1 0 185073507 13312000 848 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 3250 848 196 640 0 2606 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13000

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5869
/proc/meminfo: memFree=1895368/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=13608 CPUtime=25.49
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 1007 0 0 0 2537 12 0 0 25 0 1 0 185073507 13934592 975 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 3402 975 196 640 0 2758 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13608

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5869
/proc/meminfo: memFree=1895432/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=13500 CPUtime=51.07
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 1007 0 0 0 5085 22 0 0 25 0 1 0 185073507 13824000 973 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 3375 973 196 640 0 2731 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 13500

[startup+102.304 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5869
/proc/meminfo: memFree=1894280/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=14628 CPUtime=102.26
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 1287 0 0 0 10186 40 0 0 25 0 1 0 185073507 14979072 1253 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 3657 1253 196 640 0 3013 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 14628

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5869
/proc/meminfo: memFree=1893704/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=15244 CPUtime=162.24
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 1422 0 0 0 16164 60 0 0 25 0 1 0 185073507 15609856 1388 1992294400 134512640 137136520 4294956256 18446744073709551615 134540856 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 3811 1388 196 640 0 3167 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 15244

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5869
/proc/meminfo: memFree=1893192/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=15672 CPUtime=222.23
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 1537 0 0 0 22143 80 0 0 25 0 1 0 185073507 16048128 1503 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 3918 1503 196 640 0 3274 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 15672

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5869
/proc/meminfo: memFree=1893128/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=15672 CPUtime=282.21
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 1537 0 0 0 28121 100 0 0 25 0 1 0 185073507 16048128 1503 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 3918 1503 196 640 0 3274 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 15672

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5869
/proc/meminfo: memFree=1893064/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=15776 CPUtime=342.19
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 1554 0 0 0 34103 116 0 0 25 0 1 0 185073507 16154624 1520 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 3944 1520 196 640 0 3300 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 15776

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5869
/proc/meminfo: memFree=1892552/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=16224 CPUtime=402.17
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 1670 0 0 0 40085 132 0 0 25 0 1 0 185073507 16613376 1636 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4056 1636 196 640 0 3412 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 16224

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5869
/proc/meminfo: memFree=1892552/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=16224 CPUtime=462.16
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 1670 0 0 0 46061 155 0 0 25 0 1 0 185073507 16613376 1636 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4056 1636 196 640 0 3412 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 16224

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5875
/proc/meminfo: memFree=1892488/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=16224 CPUtime=522.14
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 1670 0 0 0 52040 174 0 0 25 0 1 0 185073507 16613376 1636 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4056 1636 196 640 0 3412 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 16224

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5875
/proc/meminfo: memFree=1892360/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=16224 CPUtime=582.12
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 1682 0 0 0 58020 192 0 0 25 0 1 0 185073507 16613376 1648 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4056 1648 196 640 0 3412 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 16224

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5875
/proc/meminfo: memFree=1892360/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=16224 CPUtime=642.11
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 1682 0 0 0 64004 207 0 0 25 0 1 0 185073507 16613376 1648 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4056 1648 196 640 0 3412 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 16224

[startup+702.301 s]

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

/proc/meminfo: memFree=1891720/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=16720 CPUtime=1061.99
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 1816 0 0 0 105879 320 0 0 25 0 1 0 185073507 17121280 1778 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4180 1778 196 640 0 3536 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 16720

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5875
/proc/meminfo: memFree=1891656/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=16720 CPUtime=1121.96
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 1816 0 0 0 111864 332 0 0 25 0 1 0 185073507 17121280 1778 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4180 1778 196 640 0 3536 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 16720

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5875
/proc/meminfo: memFree=1891592/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=16720 CPUtime=1181.95
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 1816 0 0 0 117850 345 0 0 25 0 1 0 185073507 17121280 1778 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4180 1778 196 640 0 3536 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 16720

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5875
/proc/meminfo: memFree=1891528/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=16720 CPUtime=1241.93
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 1816 0 0 0 123836 357 0 0 25 0 1 0 185073507 17121280 1778 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4180 1778 196 640 0 3536 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 16720

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5875
/proc/meminfo: memFree=1891080/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=17236 CPUtime=1301.92
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 1933 0 0 0 129823 369 0 0 25 0 1 0 185073507 17649664 1895 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4309 1895 196 640 0 3665 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 17236

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5875
/proc/meminfo: memFree=1890952/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=17316 CPUtime=1361.9
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 1947 0 0 0 135807 383 0 0 25 0 1 0 185073507 17731584 1909 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4329 1909 196 640 0 3685 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 17316

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5875
/proc/meminfo: memFree=1890888/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=17220 CPUtime=1421.89
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 1947 0 0 0 141794 395 0 0 25 0 1 0 185073507 17633280 1903 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4305 1903 196 640 0 3661 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 17220

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5875
/proc/meminfo: memFree=1890824/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=17212 CPUtime=1481.87
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 1947 0 0 0 147780 407 0 0 25 0 1 0 185073507 17625088 1901 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4303 1901 196 640 0 3659 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 17212

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5875
/proc/meminfo: memFree=1890888/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=17204 CPUtime=1541.85
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 1947 0 0 0 153766 419 0 0 25 0 1 0 185073507 17616896 1899 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4301 1899 196 640 0 3657 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 17204

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5875
/proc/meminfo: memFree=1890248/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=17916 CPUtime=1601.83
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 2106 0 0 0 159752 431 0 0 25 0 1 0 185073507 18345984 2058 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4479 2058 196 640 0 3835 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 17916

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5875
/proc/meminfo: memFree=1890184/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=17892 CPUtime=1661.82
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 2117 0 0 0 165739 443 0 0 25 0 1 0 185073507 18321408 2069 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4473 2069 196 640 0 3829 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 17892

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5875
/proc/meminfo: memFree=1890184/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=17864 CPUtime=1721.8
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 2117 0 0 0 171722 458 0 0 25 0 1 0 185073507 18292736 2064 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4466 2064 196 640 0 3822 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 17864

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5875
/proc/meminfo: memFree=1890056/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=17952 CPUtime=1781.78
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 2137 0 0 0 177706 472 0 0 25 0 1 0 185073507 18382848 2084 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4488 2084 196 640 0 3844 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 17952

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5875
/proc/meminfo: memFree=1890056/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=17952 CPUtime=1791.39
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 2137 0 0 0 178664 475 0 0 25 0 1 0 185073507 18382848 2084 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4488 2084 196 640 0 3844 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 17952

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5875
/proc/meminfo: memFree=1889992/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=18048 CPUtime=1794.59
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 2142 0 0 0 178983 476 0 0 25 0 1 0 185073507 18481152 2089 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4512 2089 196 640 0 3868 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (KiB) 18048

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5875
/proc/meminfo: memFree=1889992/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=18048 CPUtime=1796.18
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 2142 0 0 0 179142 476 0 0 25 0 1 0 185073507 18481152 2089 1992294400 134512640 137136520 4294956256 18446744073709551615 134544387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4512 2089 196 640 0 3868 0
Current children cumulated CPU time (s) 1796.18
Current children cumulated vsize (KiB) 18048

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5875
/proc/meminfo: memFree=1889992/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=18048 CPUtime=1796.98
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 2142 0 0 0 179222 476 0 0 25 0 1 0 185073507 18481152 2089 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4512 2089 196 640 0 3868 0
Current children cumulated CPU time (s) 1796.98
Current children cumulated vsize (KiB) 18048

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5875
/proc/meminfo: memFree=1889992/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=18048 CPUtime=1797.78
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 2142 0 0 0 179302 476 0 0 25 0 1 0 185073507 18481152 2089 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4512 2089 196 640 0 3868 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 18048

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 5875
/proc/meminfo: memFree=1889992/2055920 swapFree=4192812/4192956
[pid=5868] ppid=5866 vsize=18048 CPUtime=1797.99
/proc/5868/stat : 5868 (bsolo) R 5866 5868 5825 0 -1 4194304 2142 0 0 0 179322 477 0 0 25 0 1 0 185073507 18481152 2089 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5868/statm: 4512 2089 196 640 0 3868 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 18048

Child status: 0
Real time (s): 1798.51
CPU time (s): 1798
CPU user time (s): 1793.23
CPU system time (s): 4.77127
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 18048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.23
system time used= 4.77127
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2144
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= 2781

runsolver used 1.21081 second user time and 3.79642 second system time

The end

Launcher Data 

Begin job on node45 at 2009-06-16 19:52:45
IDJOB=1878626
IDBENCH=2902
IDSOLVER=700
FILE ID=node45/1878626-1245174765
PBS_JOBID= 9363928
Free space on /tmp= 66172 MiB

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

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

MD5SUM BENCH= cdfa46b59876181d5d89fd18757b8cfb
RANDOM SEED=528847414

node45.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.240
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.240
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:       1899224 kB
Buffers:         32068 kB
Cached:          62108 kB
SwapCached:        140 kB
Active:          58804 kB
Inactive:        49332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1899224 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3980 kB
Writeback:           0 kB
Mapped:          23612 kB
Slab:            34536 kB
Committed_AS:   159516 kB
PageTables:       1380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878626-1245174765.opb

Free space on /tmp at the end= 66168 MiB
End job on node45 at 2009-06-16 20:22:44