Trace number 2657562

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
bsolo 3.2 ClSAT9 1798 1798.7

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 benchmark5
Best CPU time to get the best result obtained on this benchmark1790.14
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.2 - 23/05/2010 : 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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657562-1276600594.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.002 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   5444 0.01
0.00/0.01	o 350
0.01/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.02	c       50    146       65     4218   64      805    1776     53   5555 0.01
0.01/0.02	c      150    146      165     8473   51     1001    1954    153   6818 0.02
0.01/0.02	o 345
0.01/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.02	c      155    146      171     8842   51     1097    1776    159   6739 0.02
0.01/0.02	o 343
0.01/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.03	c      175    146      192    10150   52     1217    1776    180   6730 0.03
0.01/0.03	o 318
0.01/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.03	c      213    146      231    11611   50     1359    1776    219   6870 0.03
0.01/0.03	o 314
0.01/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.03	c      220    146      239    12217   51     1456    1776    227   6875 0.03
0.01/0.03	o 310
0.01/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.04	c      256    146      276    14273   51     1634    1776    264   6736 0.04
0.01/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   6840 0.04
0.09/0.10	c      402    146      423    20703   48     2014    1954    411   6931 0.06
0.09/0.10	c      652    146      673    33604   49     2518    2150    661   6653 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   6611 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   6490 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   6464 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   6396 0.12
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   6181 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   6122 0.14
0.09/0.14	o 264
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c      871    146      899    44511   49     3549    1776    887   6048 0.14
0.09/0.15	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   6026 0.15
0.09/0.18	c     1000    146     1029    51376   49     3920    1954   1017   5847 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   5866 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   5835 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   5805 0.19
0.19/0.22	c     1205    146     1237    59703   48     4505    1954   1225   5793 0.21
0.19/0.22	o 204
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c     1309    146     1342    63397   47     4799    1776   1330   5869 0.22
0.19/0.24	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   5845 0.24
0.19/0.28	c     1504    146     1538    72554   47     5302    1954   1526   5740 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   5719 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   5713 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   5708 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   5686 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   5668 0.30
0.49/0.57	c     1778    143      898    38441   42     2344    1948    886   5591 0.32
0.49/0.57	c     2028    140     1148    46411   40     2849    2143   1136   5794 0.35
0.49/0.57	c     2503    140     1623    61792   38     3792    2358   1611   6060 0.41
0.49/0.57	c     3316    139     1212    42126   34     2970    2594   1200   6007 0.55
0.49/0.57	o 106
8.59/8.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.59/8.61	c     3443    139     1340    46468   34     3321    1762   1328   6008 0.57
8.59/8.61	c     3543    139     1440    50107   34     3517    1939   1428   6005 0.59
8.59/8.61	c     3793    139     1690    58365   34     4026    2133   1678   6039 0.63
8.59/8.61	c     4269    139     1087    38157   35     2730    2347   1075   5978 0.71
8.59/8.61	c     5082    139     1900    63389   33     4346    2582   1888   6115 0.83
8.59/8.61	c     6402    139     1890    60375   31     4330    2841   1878   6102 1.05
8.59/8.61	c     8483    139     2501    90007   35     5565    3126   2489   5973 1.42
8.59/8.61	c    11706    139     2509    76154   30     5561    3439   2497   6154 1.90
8.59/8.61	c    16642    139     2156    74487   34     4857    3783   2144   6091 2.73
8.59/8.61	c    24149    139     1941    62579   32     4428    4162   1929   5955 4.05
8.59/8.61	c    35510    139     2690    90985   33     5921    4579   2678   5814 6.11
8.59/8.61	o 105
8.98/9.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.98/9.06	c    49958    138     3158   105115   33     6945    1760   3146   5799 8.61
8.98/9.06	c    50061    138     1003    36327   36     2546    1937    991   5776 8.67
8.98/9.06	c    50311    138     1253    45354   36     3046    2131   1241   5783 8.70
8.98/9.06	c    50786    138     1728    60534   35     3996    2345   1716   5796 8.76
8.98/9.06	c    51600    138     1314    44836   34     3172    2580   1302   5802 8.89
8.98/9.06	o 99
8.98/9.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.98/9.07	c    52644    138     2359    79755   33     5351    1760   2347   5811 9.06
8.98/9.07	o 97
9.38/9.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.38/9.43	c    52647    138      905    30378   33     2442    1760    893   5804 9.07
9.38/9.43	c    52747    138     1005    33801   33     2637    1937    993   5807 9.08
9.38/9.43	c    52997    138     1255    40892   32     3136    2131   1243   5816 9.11
9.38/9.43	c    53472    136     1730    55351   31     4092    2345   1718   5824 9.18
9.38/9.43	c    54285    136     1319    42940   32     3179    2580   1307   5822 9.32
9.38/9.43	o 90
9.38/9.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.38/9.45	c    54957    135     1992    64376   32     4617    1754   1980   5826 9.43
9.38/9.45	o 88
9.48/9.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.48/9.54	c    55009    135      954    31641   33     2530    1754    942   5822 9.45
9.48/9.54	c    55109    135     1054    34248   32     2726    1930   1042   5826 9.46
9.48/9.54	c    55359    135     1304    40761   31     3231    2124   1292   5834 9.49
9.48/9.54	o 87
9.48/9.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.48/9.54	c    55737    135     1683    50913   30     4070    1754   1671   5844 9.54
9.48/9.54	o 85
9.69/9.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.69/9.77	c    55738    135     1685    51067   30     4158    1754   1673   5844 9.54
9.69/9.77	c    55838    135      901    25928   28     2337    1930    889   5840 9.56
9.69/9.77	c    56088    135     1151    34432   29     2849    2124   1139   5844 9.60
9.69/9.77	c    56563    134     1626    51066   31     3783    2337   1614   5849 9.67
9.69/9.77	o 84
9.90/9.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.90/9.91	c    57244    134     2308    72404   31     5230    1752   2296   5860 9.77
9.90/9.91	c    57344    134     1001    32783   32     2533    1928    989   5855 9.79
9.90/9.91	c    57594    134     1251    40234   32     3036    2121   1239   5859 9.83
9.90/9.91	c    58069    134     1726    55353   32     3986    2334   1714   5870 9.89
9.90/9.91	o 81
9.90/9.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.90/9.92	c    58176    134     1834    58567   31     4283    1752   1822   5872 9.91
9.90/9.92	o 75
9.90/9.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.90/9.92	c    58201    134      927    29199   31     2466    1752    915   5869 9.91
9.90/9.92	o 65
10.89/10.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.89/10.92	c    58260    134      987    31931   32     2668    1752    975   5871 9.92
10.89/10.92	c    58360    134     1087    34662   31     2865    1928   1075   5874 9.93
10.89/10.92	c    58610    134     1337    41582   31     3374    2121   1325   5881 9.96
10.89/10.92	c    59085    134     1812    58260   32     4323    2334   1800   5886 10.04
10.89/10.92	c    59900    134     1422    48572   34     3378    2568   1410   5888 10.17
10.89/10.92	c    61221    134     1425    48018   33     3389    2825   1413   5885 10.40
10.89/10.92	c    63302    134     2050    72663   35     4634    3108   2038   5877 10.77
10.89/10.92	o 64
10.89/10.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.89/10.95	c    64329    134     3078   102712   33     6772    1752   3066   5889 10.92
10.89/10.95	o 62
10.89/10.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.89/10.95	c    64360    132      933    27333   29     2480    1748    921   5880 10.95
10.89/10.95	o 60
10.99/11.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.99/11.02	c    64375    130      949    28095   29     2588    1744    937   5880 10.95
10.99/11.02	c    64475    129     1049    31341   29     2792    1919   1037   5881 10.96
10.99/11.02	c    64728    124     1302    40912   31     3297    2111   1290   5885 11.00
10.99/11.02	o 53
11.19/11.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.19/11.27	c    64844    124     1419    45317   31     3603    1732   1407   5886 11.02
11.19/11.27	c    64945    124     1520    49768   32     3804    1906   1508   5888 11.03
11.19/11.27	c    65196    124     1771    58104   32     4297    2097   1759   5889 11.07
11.19/11.27	c    65675    122     1169    41170   35     2861    2307   1157   5888 11.15
11.19/11.27	o 52
11.19/11.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.19/11.27	c    66390    122     1885    65850   34     4358    1728   1873   5893 11.26
11.19/11.27	o 50
11.19/11.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.19/11.28	c    66403    122      915    31263   34     2412    1728    903   5890 11.27
11.19/11.28	o 46
11.58/11.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.58/11.62	c    66412    122      925    31824   34     2505    1728    913   5890 11.27
11.58/11.62	c    66512    122     1025    35339   34     2703    1901   1013   5891 11.29
11.58/11.62	c    66762    122     1275    43661   34     3201    2092   1263   5895 11.32
11.58/11.62	c    67237    122     1750    59751   34     4157    2302   1738   5898 11.40
11.58/11.62	c    68050    122     1375    46405   33     3262    2533   1363   5899 11.53
11.58/11.62	o 38
15.18/15.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.18/15.25	c    68651    122     1977    67320   34     4540    1728   1965   5908 11.62
15.18/15.25	c    68751    122     1001    34070   34     2515    1901    989   5906 11.64
15.18/15.25	c    69001    122     1251    41799   33     3020    2092   1239   5912 11.67
15.18/15.25	c    69476    122     1726    57522   33     3964    2302   1714   5917 11.74
15.18/15.25	c    70289    122     1349    44280   32     3213    2533   1337   5918 11.88
15.18/15.25	c    71609    122     1373    45639   33     3265    2787   1361   5922 12.09
15.18/15.25	c    73690    122     2025    71468   35     4564    3066   2013   5937 12.41
15.18/15.25	c    76914    122     2102    71158   33     4728    3373   2090   5936 12.96
15.18/15.25	c    81850    122     1875    64905   34     4268    3711   1863   5932 13.80
15.18/15.25	c    89356    122     3703   130944   35     7927    4083   3691   5927 15.07
15.18/15.25	o 36
15.88/15.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.88/15.98	c    90143    122     2419    83685   34     5425    1728   2407   5913 15.24
15.88/15.98	c    90243    122     1001    31616   31     2519    1901    989   5910 15.27
15.88/15.98	c    90493    122     1251    39538   31     3013    2092   1239   5913 15.30
15.88/15.98	c    90968    122     1726    54853   31     3965    2302   1714   5918 15.37
15.88/15.98	c    91781    122     1355    44149   32     3223    2533   1343   5918 15.51
15.88/15.98	c    93101    122     1374    44046   32     3267    2787   1362   5922 15.72
15.88/15.98	o 34
15.88/15.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.88/15.98	c    94671    122     1517    51827   34     3621    1728   1505   5926 15.97
15.88/15.98	o 32
25.08/25.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.08/25.10	c    94673    122     1520    52025   34     3697    1728   1508   5926 15.97
25.08/25.10	c    94773    114     1620    55916   34     3888    1901   1608   5926 15.99
25.08/25.10	c    95023    113     1870    65859   35     4389    2092   1858   5927 16.03
25.08/25.10	c    95499    110     1271    47222   37     3048    2302   1259   5927 16.11
25.08/25.10	c    96312    110     2084    79905   38     4679    2533   2072   5929 16.24
25.08/25.10	c    97633    110     2107    85248   40     4716    2787   2095   5926 16.47
25.08/25.10	c    99714    110     2755   113355   41     6018    3066   2743   5914 16.86
25.08/25.10	c   102937    110     2847   112018   39     6199    3373   2835   5906 17.43
25.08/25.10	c   107874    110     2599   107889   41     5706    3711   2587   5884 18.33
25.08/25.10	c   115381    110     2522   105784   41     5552    4083   2510   5811 19.85
25.08/25.10	c   126742    110     3487   139895   40     7474    4492   3475   5712 22.18
25.08/25.10	o 31
26.18/26.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.18/26.25	c   139699    110     2749   110765   40     6069    1704   2737   5567 25.09
26.18/26.25	c   139799    110     1001    39992   39     2500    1875    989   5565 25.12
26.18/26.25	c   140049    110     1251    49808   39     2995    2063   1239   5566 25.16
26.18/26.25	c   140525    110     1727    68816   39     3946    2270   1715   5568 25.24
26.18/26.25	c   141338    110     1383    54990   39     3260    2498   1371   5568 25.38
26.18/26.25	c   142659    110     1413    56667   40     3321    2748   1401   5569 25.61
26.18/26.25	c   144741    110     2098    84464   40     4692    3023   2086   5567 26.00
26.18/26.25	o 30
28.08/28.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
28.08/28.10	c   145869    110     1672    67953   40     3891    1704   1660   5557 26.25
28.08/28.10	c   145969    110      901    36410   40     2304    1875    889   5557 26.27
28.08/28.10	c   146220    110     1152    46278   40     2792    2063   1140   5559 26.30
28.08/28.10	c   146696    110     1628    63979   39     3750    2270   1616   5563 26.37
28.08/28.10	c   147510    110     1280    49407   38     3060    2498   1268   5565 26.51
28.08/28.10	c   148830    110     1311    52363   39     3123    2748   1299   5564 26.74
28.08/28.10	c   150912    110     1983    80157   40     4468    3023   1971   5565 27.12
28.08/28.10	c   154135    110     2100    84985   40     4691    3326   2088   5552 27.76
28.08/28.10	o 29
30.28/30.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.28/30.39	c   155840    110     2108    84299   39     4777    1704   2096   5546 28.09
30.28/30.39	c   155940    110     1001    39583   39     2490    1875    989   5546 28.12
30.28/30.39	c   156190    110     1251    49200   39     2987    2063   1239   5548 28.15
30.28/30.39	c   156665    110     1726    68004   39     3954    2270   1714   5552 28.22
30.28/30.39	c   157478    110     1362    54322   39     3222    2498   1350   5554 28.35
30.28/30.39	c   158798    110     1397    56118   40     3296    2748   1385   5556 28.58
30.28/30.39	c   160879    110     2071    82182   39     4638    3023   2059   5558 28.94
30.28/30.39	c   164102    110     2196    86997   39     4888    3326   2184   5552 29.55
30.28/30.39	o 27
33.48/33.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.48/33.55	c   168175    110     2867   118497   41     6284    1704   2855   5534 30.39
33.48/33.55	c   168276    110     1002    40109   40     2497    1875    990   5533 30.41
33.48/33.55	c   168526    110     1252    50250   40     2997    2063   1240   5534 30.45
33.48/33.55	c   169001    110     1727    69898   40     3944    2270   1715   5537 30.52
33.48/33.55	c   169815    110     1369    54788   40     3233    2498   1357   5538 30.66
33.48/33.55	c   171136    110     1399    55215   39     3298    2748   1387   5537 30.91
33.48/33.55	c   173217    110     2076    83612   40     4651    3023   2064   5533 31.30
33.48/33.55	c   176441    110     2197    88876   40     4889    3326   2185   5524 31.94
33.48/33.55	c   181377    110     2033    82569   40     4561    3659   2021   5500 32.98
33.48/33.55	o 25
41.27/41.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.27/41.39	c   184297    110     3079   124526   40     6714    1704   3067   5495 33.54
41.27/41.39	c   184397    110     1001    39916   39     2497    1875    989   5492 33.57
41.27/41.39	c   184649    110     1253    50311   40     3013    2063   1241   5493 33.61
41.27/41.39	c   185124    110     1728    70020   40     3954    2270   1716   5495 33.69
41.27/41.39	c   185937    110     1368    55346   40     3240    2498   1356   5495 33.84
41.27/41.39	c   187258    110     1409    56208   39     3316    2748   1397   5494 34.08
41.27/41.39	c   189339    110     2075    83079   40     4647    3023   2063   5492 34.47
41.27/41.39	c   192562    110     2192    88385   40     4878    3326   2180   5485 35.10
41.27/41.39	c   197499    110     2020    79801   39     4532    3659   2008   5478 36.05
41.27/41.39	c   205005    110     2083    80671   38     4659    4025   2071   5473 37.45
41.27/41.39	c   216366    110     3216   129895   40     6931    4428   3204   5436 39.80
41.27/41.39	o 23
57.47/57.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
57.47/57.58	c   223416    110     3521   142141   40     7603    1704   3509   5399 41.37
57.47/57.58	c   223516    110     1001    39961   39     2498    1875    989   5397 41.41
57.47/57.58	c   223766    110     1251    49608   39     2998    2063   1239   5399 41.44
57.47/57.58	c   224241    110     1726    68033   39     3954    2270   1714   5401 41.51
57.47/57.58	c   225054    110     1363    51626   37     3220    2498   1351   5403 41.65
57.47/57.58	c   226374    110     1396    52258   37     3288    2748   1384   5404 41.88
57.47/57.58	c   228455    110     2063    79845   38     4620    3023   2051   5407 42.25
57.47/57.58	c   231679    110     2184    85983   39     4866    3326   2172   5403 42.88
57.47/57.58	c   236616    110     2028    80845   39     4559    3659   2016   5392 43.88
57.47/57.58	c   244123    110     2079    82215   39     4659    4025   2067   5377 45.39
57.47/57.58	c   255485    110     3196   126221   39     6887    4428   3184   5350 47.75
57.47/57.58	c   272630    110     2321    91901   39     5141    4871   2309   5274 51.69
57.47/57.58	o 22
57.57/57.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
57.57/57.63	c   297194    110     4651   181141   38     9861    1704   4639   5163 57.55
57.57/57.63	o 20
57.57/57.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
57.57/57.63	c   297225    110      933    36008   38     2427    1704    921   5159 57.60
57.57/57.63	o 18
205.90/206.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
205.90/206.09	c   297234    110      943    36486   38     2505    1704    931   5159 57.61
205.90/206.09	c   297334    110     1043    40047   38     2698    1875   1031   5159 57.62
205.90/206.09	c   297584    110     1293    49501   38     3202    2063   1281   5160 57.66
205.90/206.09	c   298059    110     1768    68212   38     4152    2270   1756   5162 57.74
205.90/206.09	c   298872    110     1418    54616   38     3334    2498   1406   5163 57.88
205.90/206.09	c   300192    110     1456    57187   39     3409    2748   1444   5167 58.09
205.90/206.09	c   302275    110     2126    81902   38     4752    3023   2114   5170 58.46
205.90/206.09	c   305498    110     2257    84908   37     5017    3326   2245   5170 59.09
205.90/206.09	c   310435    110     2105    78638   37     4713    3659   2093   5169 60.05
205.90/206.09	c   317941    110     2152    81873   38     4800    4025   2140   5164 61.56
205.90/206.09	c   329303    110     3270   126476   38     7039    4428   3258   5154 63.89
205.90/206.09	c   346448    110     2424    95395   39     5346    4871   2412   5128 67.55
205.90/206.09	c   372267    110     3547   131071   36     7587    5359   3535   5071 73.40
205.90/206.09	c   411100    110     4384   170885   38     9268    5895   4372   4980 82.54
205.90/206.09	c   469452    110     3110   121284   38     6716    6485   3098   4807 97.65
205.90/206.09	c   557084    110     5551   217419   39    11603    7134   5539   4550 122.42
205.90/206.09	c   688636    110     3858   153641   39     8214    7848   3846   4234 162.61
205.90/206.09	o 16
206.00/206.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
206.00/206.13	c   820037    110     4615   178464   38     9789    1704   4603   3980 206.00
206.00/206.13	o 14
393.64/393.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
393.64/393.82	c   820047    108      912    34370   37     2382    1700    900   3979 206.04
393.64/393.82	c   820147    103     1012    38156   37     2564    1871   1000   3980 206.06
393.64/393.82	c   820397    103     1262    47741   37     3067    2059   1250   3980 206.10
393.64/393.82	c   820873    103     1738    66305   38     4018    2265   1726   3981 206.18
393.64/393.82	c   821686    100     1375    52356   38     3235    2492   1363   3982 206.32
393.64/393.82	c   823006    100     1406    54553   38     3291    2742   1394   3984 206.55
393.64/393.82	c   825087     98     2082    81952   39     4631    3017   2070   3987 206.90
393.64/393.82	c   828310     98     2218    88427   39     4912    3319   2206   3992 207.49
393.64/393.82	c   833246     98     2076    83718   40     4628    3651   2064   3997 208.45
393.64/393.82	c   840752     98     2139    82680   38     4744    4017   2127   4007 209.82
393.64/393.82	c   852113     98     3299   125039   37     7064    4419   3287   4020 211.96
393.64/393.82	c   869258     98     2523   100366   39     5515    4861   2511   4029 215.70
393.64/393.82	c   895078     98     3706   143816   38     7887    5348   3694   4042 221.41
393.64/393.82	c   933911     98     4620   178190   38     9719    5883   4608   4062 229.86
393.64/393.82	c   992264     98     3417   136053   39     7308    6472   3405   4053 244.81
393.64/393.82	c  1079897     98     6052   242102   40    12583    7120   6040   3998 270.10
393.64/393.82	c  1211449     98     4610   181348   39     9702    7833   4598   3891 311.27
393.64/393.82	c  1408881     98     4531   175746   38     9539    8617   4519   3755 375.15
393.64/393.82	o 11
773.09/773.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
773.09/773.47	c  1456367     98     8580   350657   40    17690    1680   8568   3699 393.67
773.09/773.47	c  1456467     98     1001    39378   39     2474    1849    989   3698 393.83
773.09/773.47	c  1456718     98     1252    49018   39     2976    2034   1240   3698 393.87
773.09/773.47	c  1457194     98     1728    67625   39     3918    2238   1716   3698 393.94
773.09/773.47	c  1458008     98     1391    52154   37     3253    2462   1379   3699 394.08
773.09/773.47	c  1459329     98     1447    53472   36     3365    2709   1435   3700 394.32
773.09/773.47	c  1461410     98     2150    80945   37     4769    2980   2138   3702 394.69
773.09/773.47	c  1464633     98     2324    88475   38     5109    3279   2312   3705 395.24
773.09/773.47	c  1469570     98     2224    85331   38     4913    3607   2212   3709 396.15
773.09/773.47	c  1477076     98     2368    92035   38     5199    3968   2356   3714 397.63
773.09/773.47	c  1488438     98     3634   140722   38     7740    4365   3622   3722 399.87
773.09/773.47	c  1505582     98     3056   115326   37     6570    4802   3044   3732 403.35
773.09/773.47	c  1531401     98     4533   180801   39     9532    5283   4521   3744 409.00
773.09/773.47	c  1570233     98     3246   126825   39     6961    5812   3234   3754 418.20
773.09/773.47	c  1628585     98     5740   227344   39    11941    6394   5728   3758 433.26
773.09/773.47	c  1716217     98     6146   240929   39    12758    7034   6134   3746 458.08
773.09/773.47	c  1847769     98     6366   255484   40    13195    7738   6354   3716 497.13
773.09/773.47	c  2045201     98     4796   183402   38    10056    8512   4784   3642 561.55
773.09/773.47	c  2341454     98     4972   200942   40    10402    9364   4960   3510 667.06
773.09/773.47	o 9
1797.89/1798.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.89/1798.69	c  2612750     98     7474   300903   40    15455    1680   7462   3379 773.18
1797.89/1798.69	c  2612851     98     1002    39879   39     2468    1849    990   3378 773.29
1797.89/1798.69	c  2613101     98     1252    50039   39     2969    2034   1240   3379 773.33
1797.89/1798.69	c  2613577     98     1728    68527   39     3920    2238   1716   3379 773.40
1797.89/1798.69	c  2614390     98     1392    52237   37     3251    2462   1380   3379 773.54
1797.89/1798.69	c  2615710     98     1447    55458   38     3357    2709   1435   3380 773.75
1797.89/1798.69	c  2617791     98     2140    82929   38     4746    2980   2128   3381 774.11
1797.89/1798.69	c  2621014     98     2303    90073   39     5070    3279   2291   3383 774.71
1797.89/1798.69	c  2625950     98     2208    86387   39     4878    3607   2196   3385 775.61
1797.89/1798.69	c  2633456     98     2371    91955   38     5214    3968   2359   3389 776.97
1797.89/1798.69	c  2644818     98     3644   142632   39     7748    4365   3632   3393 779.36
1797.89/1798.69	c  2661962     98     3065   118707   38     6593    4802   3053   3399 782.95
1797.89/1798.69	c  2687782     98     4524   174553   38     9518    5283   4512   3407 788.82
1797.89/1798.69	c  2726614     98     3212   125594   39     6892    5812   3200   3412 799.01
1797.89/1798.69	c  2784966     98     5675   231120   40    11818    6394   5663   3413 815.89
1797.89/1798.69	c  2872598     98     6039   242029   40    12543    7034   6027   3407 843.13
1797.89/1798.69	c  3004150     98     6199   241397   38    12868    7738   6187   3391 885.72
1797.89/1798.69	c  3201583     98     4614   181021   39     9695    8512   4602   3370 949.94
1797.89/1798.69	c  3497835     98     4894   194454   39    10249    9364   4882   3300 1059.72
1797.89/1798.69	c  3942318     98     6155   250958   40    12772   10301   6143   3158 1247.98
1797.89/1798.69	c  4609146     98     9614   378988   39    19695   11332   9602   2982 1545.52
1797.89/1798.69	c Resources Exceeded
1797.89/1798.69	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.89/1798.69	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.89/1798.69	c  258  5123589  37115  5173741    11063   443428  11051   2849 1798.00
1797.89/1798.69	c Objective: 9
1797.89/1798.69	s SATISFIABLE
1797.89/1798.69	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-2657562-1276600594/watcher-2657562-1276600594 -o /tmp/evaluation-result-2657562-1276600594/solver-2657562-1276600594 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657562-1276600594.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: 2.01 1.37 1.13 3/106 9328
/proc/meminfo: memFree=1538356/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=18604 CPUtime=0
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 331 0 0 0 0 0 0 0 20 0 1 0 1351706 19050496 247 1992294400 134512640 137138936 4291010496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4651 247 191 642 0 4007 0

[startup+0.0176171 s]
/proc/loadavg: 2.01 1.37 1.13 3/106 9328
/proc/meminfo: memFree=1538356/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=10792 CPUtime=0.01
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 345 0 0 0 1 0 0 0 20 0 1 0 1351706 11051008 261 1992294400 134512640 137138936 4291010496 18446744073709551615 134618140 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 2698 261 191 642 0 2054 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10792

[startup+0.100631 s]
/proc/loadavg: 2.01 1.37 1.13 3/106 9328
/proc/meminfo: memFree=1538356/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=11176 CPUtime=0.09
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 451 0 0 0 9 0 0 0 20 0 1 0 1351706 11444224 367 1992294400 134512640 137138936 4291010496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 2794 367 191 642 0 2150 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11176

[startup+0.300668 s]
/proc/loadavg: 2.01 1.37 1.13 3/106 9328
/proc/meminfo: memFree=1538356/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=11948 CPUtime=0.29
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 639 0 0 0 29 0 0 0 20 0 1 0 1351706 12234752 555 1992294400 134512640 137138936 4291010496 18446744073709551615 134575213 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 2987 555 191 642 0 2343 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11948

[startup+0.70074 s]
/proc/loadavg: 2.01 1.37 1.13 3/106 9328
/proc/meminfo: memFree=1538356/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=12208 CPUtime=0.69
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 680 0 0 0 68 1 0 0 21 0 1 0 1351706 12500992 596 1992294400 134512640 137138936 4291010496 18446744073709551615 136504393 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 3052 596 191 642 0 2408 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12208

[startup+1.50089 s]
/proc/loadavg: 2.01 1.37 1.13 2/107 9329
/proc/meminfo: memFree=1536612/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=12332 CPUtime=1.49
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 740 0 0 0 147 2 0 0 23 0 1 0 1351706 12627968 656 1992294400 134512640 137138936 4291010496 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 3083 656 191 642 0 2439 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12332

[startup+3.10117 s]
/proc/loadavg: 2.01 1.37 1.13 2/107 9329
/proc/meminfo: memFree=1536116/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=12848 CPUtime=3.09
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 851 0 0 0 306 3 0 0 25 0 1 0 1351706 13156352 767 1992294400 134512640 137138936 4291010496 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 3212 767 191 642 0 2568 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12848

[startup+6.30076 s]
/proc/loadavg: 1.93 1.37 1.13 2/107 9329
/proc/meminfo: memFree=1535248/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=13100 CPUtime=6.29
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 921 0 0 0 624 5 0 0 25 0 1 0 1351706 13414400 837 1992294400 134512640 137138936 4291010496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 3275 837 191 642 0 2631 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13100

[startup+12.7009 s]
/proc/loadavg: 1.85 1.36 1.13 2/107 9329
/proc/meminfo: memFree=1535000/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=13084 CPUtime=12.68
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 943 0 0 0 1259 9 0 0 25 0 1 0 1351706 13398016 845 1992294400 134512640 137138936 4291010496 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 3271 845 191 642 0 2627 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 13084

[startup+25.5002 s]
/proc/loadavg: 1.66 1.34 1.13 2/107 9331
/proc/meminfo: memFree=1534628/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=13700 CPUtime=25.48
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 1070 0 0 0 2530 18 0 0 25 0 1 0 1351706 14028800 972 1992294400 134512640 137138936 4291010496 18446744073709551615 134575773 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 3425 972 191 642 0 2781 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 13700

[startup+51.1009 s]
/proc/loadavg: 1.44 1.31 1.12 2/107 9331
/proc/meminfo: memFree=1534628/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=13584 CPUtime=51.06
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 1070 0 0 0 5073 33 0 0 25 0 1 0 1351706 13910016 970 1992294400 134512640 137138936 4291010496 18446744073709551615 136504160 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 3396 970 191 642 0 2752 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 13584

[startup+102.308 s]
/proc/loadavg: 1.19 1.26 1.11 2/107 9333
/proc/meminfo: memFree=1533388/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=14712 CPUtime=102.25
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 1350 0 0 0 10163 62 0 0 25 0 1 0 1351706 15065088 1250 1992294400 134512640 137138936 4291010496 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 3678 1250 191 642 0 3034 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 14712

[startup+162.301 s]
/proc/loadavg: 1.07 1.21 1.10 2/107 9333
/proc/meminfo: memFree=1532768/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=15328 CPUtime=162.22
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 1485 0 0 0 16136 86 0 0 25 0 1 0 1351706 15695872 1385 1992294400 134512640 137138936 4291010496 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 3832 1385 191 642 0 3188 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 15328

[startup+222.301 s]
/proc/loadavg: 1.08 1.19 1.09 2/107 9335
/proc/meminfo: memFree=1532396/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=15756 CPUtime=222.2
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 1600 0 0 0 22105 115 0 0 25 0 1 0 1351706 16134144 1500 1992294400 134512640 137138936 4291010496 18446744073709551615 134618938 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 3939 1500 191 642 0 3295 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 15756

[startup+282.301 s]
/proc/loadavg: 1.03 1.15 1.09 2/107 9337
/proc/meminfo: memFree=1532272/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=15756 CPUtime=282.17
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 1600 0 0 0 28077 140 0 0 25 0 1 0 1351706 16134144 1500 1992294400 134512640 137138936 4291010496 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 3939 1500 191 642 0 3295 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 15756

[startup+342.301 s]
/proc/loadavg: 1.01 1.12 1.08 2/107 9339
/proc/meminfo: memFree=1532148/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=15860 CPUtime=342.15
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 1617 0 0 0 34049 166 0 0 25 0 1 0 1351706 16240640 1517 1992294400 134512640 137138936 4291010496 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 3965 1517 191 642 0 3321 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 15860

[startup+402.3 s]
/proc/loadavg: 1.00 1.10 1.07 2/107 9341
/proc/meminfo: memFree=1531652/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=16308 CPUtime=402.13
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 1733 0 0 0 40022 191 0 0 25 0 1 0 1351706 16699392 1633 1992294400 134512640 137138936 4291010496 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4077 1633 191 642 0 3433 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 16308

[startup+462.3 s]
/proc/loadavg: 1.06 1.09 1.07 2/107 9341
/proc/meminfo: memFree=1531652/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=16308 CPUtime=462.11
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 1733 0 0 0 45991 220 0 0 25 0 1 0 1351706 16699392 1633 1992294400 134512640 137138936 4291010496 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4077 1633 191 642 0 3433 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 16308

[startup+522.301 s]
/proc/loadavg: 1.07 1.09 1.07 2/107 9343
/proc/meminfo: memFree=1531528/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=16308 CPUtime=522.08
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 1733 0 0 0 51961 247 0 0 25 0 1 0 1351706 16699392 1633 1992294400 134512640 137138936 4291010496 18446744073709551615 136520986 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4077 1633 191 642 0 3433 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 16308

[startup+582.301 s]
/proc/loadavg: 1.07 1.08 1.07 2/107 9345
/proc/meminfo: memFree=1531404/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=16308 CPUtime=582.06
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 1745 0 0 0 57939 267 0 0 25 0 1 0 1351706 16699392 1645 1992294400 134512640 137138936 4291010496 18446744073709551615 136511209 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4077 1645 191 642 0 3433 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 16308

[startup+642.301 s]
/proc/loadavg: 1.07 1.08 1.07 2/107 9347
/proc/meminfo: memFree=1531404/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=16308 CPUtime=642.05
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 1745 0 0 0 63914 291 0 0 25 0 1 0 1351706 16699392 1645 1992294400 134512640 137138936 4291010496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4077 1645 191 642 0 3433 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 16308

[startup+702.301 s]

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

/proc/meminfo: memFree=1530164/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=16804 CPUtime=1121.85
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 1879 0 0 0 111710 475 0 0 25 0 1 0 1351706 17207296 1775 1992294400 134512640 137138936 4291010496 18446744073709551615 134542958 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4201 1775 191 642 0 3557 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 16804

[startup+1182.3 s]
/proc/loadavg: 1.00 1.03 1.06 2/107 9364
/proc/meminfo: memFree=1530412/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=16804 CPUtime=1181.83
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 1879 0 0 0 117688 495 0 0 25 0 1 0 1351706 17207296 1775 1992294400 134512640 137138936 4291010496 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4201 1775 191 642 0 3557 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 16804

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.05 2/107 9366
/proc/meminfo: memFree=1530412/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=16804 CPUtime=1241.81
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 1879 0 0 0 123665 516 0 0 25 0 1 0 1351706 17207296 1775 1992294400 134512640 137138936 4291010496 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4201 1775 191 642 0 3557 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 16804

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.05 2/107 9368
/proc/meminfo: memFree=1529792/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=17320 CPUtime=1301.79
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 1997 0 0 0 129645 534 0 0 25 0 1 0 1351706 17735680 1893 1992294400 134512640 137138936 4291010496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4330 1893 191 642 0 3686 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 17320

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.04 2/107 9368
/proc/meminfo: memFree=1529792/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=17396 CPUtime=1361.77
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 2010 0 0 0 135625 552 0 0 25 0 1 0 1351706 17813504 1906 1992294400 134512640 137138936 4291010496 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4349 1906 191 642 0 3705 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 17396

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.03 2/107 9370
/proc/meminfo: memFree=1529668/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=17304 CPUtime=1421.75
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 2010 0 0 0 141607 568 0 0 25 0 1 0 1351706 17719296 1900 1992294400 134512640 137138936 4291010496 18446744073709551615 134542955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4326 1900 191 642 0 3682 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 17304

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.03 2/107 9372
/proc/meminfo: memFree=1529668/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=17296 CPUtime=1481.71
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 2010 0 0 0 147584 587 0 0 25 0 1 0 1351706 17711104 1898 1992294400 134512640 137138936 4291010496 18446744073709551615 136511212 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4324 1898 191 642 0 3680 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 17296

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 9374
/proc/meminfo: memFree=1529668/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=17288 CPUtime=1541.69
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 2010 0 0 0 153567 602 0 0 25 0 1 0 1351706 17702912 1896 1992294400 134512640 137138936 4291010496 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4322 1896 191 642 0 3678 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 17288

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.02 2/107 9376
/proc/meminfo: memFree=1528924/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=18000 CPUtime=1601.67
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 2169 0 0 0 159544 623 0 0 25 0 1 0 1351706 18432000 2055 1992294400 134512640 137138936 4291010496 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4500 2055 191 642 0 3856 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 18000

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 9376
/proc/meminfo: memFree=1528800/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=17976 CPUtime=1661.65
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 2180 0 0 0 165524 641 0 0 25 0 1 0 1351706 18407424 2066 1992294400 134512640 137138936 4291010496 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4494 2066 191 642 0 3850 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 17976

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9378
/proc/meminfo: memFree=1528800/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=17948 CPUtime=1721.62
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 2180 0 0 0 171503 659 0 0 25 0 1 0 1351706 18378752 2061 1992294400 134512640 137138936 4291010496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4487 2061 191 642 0 3843 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 17948

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9380
/proc/meminfo: memFree=1528676/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=18036 CPUtime=1781.6
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 2200 0 0 0 177483 677 0 0 25 0 1 0 1351706 18468864 2081 1992294400 134512640 137138936 4291010496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4509 2081 191 642 0 3865 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 18036

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9380
/proc/meminfo: memFree=1528676/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=18132 CPUtime=1791.2
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 2205 0 0 0 178440 680 0 0 25 0 1 0 1351706 18567168 2086 1992294400 134512640 137138936 4291010496 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4533 2086 191 642 0 3889 0
Current children cumulated CPU time (s) 1791.2
Current children cumulated vsize (KiB) 18132

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9380
/proc/meminfo: memFree=1528676/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=18132 CPUtime=1794.4
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 2205 0 0 0 178759 681 0 0 25 0 1 0 1351706 18567168 2086 1992294400 134512640 137138936 4291010496 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4533 2086 191 642 0 3889 0
Current children cumulated CPU time (s) 1794.4
Current children cumulated vsize (KiB) 18132

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9380
/proc/meminfo: memFree=1528676/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=18128 CPUtime=1795.99
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 2205 0 0 0 178918 681 0 0 25 0 1 0 1351706 18563072 2086 1992294400 134512640 137138936 4291010496 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4532 2086 191 642 0 3888 0
Current children cumulated CPU time (s) 1795.99
Current children cumulated vsize (KiB) 18128

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9380
/proc/meminfo: memFree=1528676/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=18128 CPUtime=1796.8
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 2205 0 0 0 178998 682 0 0 25 0 1 0 1351706 18563072 2086 1992294400 134512640 137138936 4291010496 18446744073709551615 134618546 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4532 2086 191 642 0 3888 0
Current children cumulated CPU time (s) 1796.8
Current children cumulated vsize (KiB) 18128

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9380
/proc/meminfo: memFree=1528676/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=18128 CPUtime=1797.59
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 2205 0 0 0 179077 682 0 0 25 0 1 0 1351706 18563072 2086 1992294400 134512640 137138936 4291010496 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4532 2086 191 642 0 3888 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 18128

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9380
/proc/meminfo: memFree=1528676/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=18128 CPUtime=1797.8
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 2205 0 0 0 179098 682 0 0 25 0 1 0 1351706 18563072 2086 1992294400 134512640 137138936 4291010496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4532 2086 191 642 0 3888 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 18128

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9380
/proc/meminfo: memFree=1528676/2059040 swapFree=4192956/4192956
[pid=9328] ppid=9326 vsize=18128 CPUtime=1797.89
/proc/9328/stat : 9328 (bsolo_pb10) R 9326 9328 2337 0 -1 4202496 2205 0 0 0 179107 682 0 0 25 0 1 0 1351706 18563072 2086 1992294400 134512640 137138936 4291010496 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9328/statm: 4532 2086 191 642 0 3888 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 18128

Child status: 0
Real time (s): 1798.7
CPU time (s): 1798
CPU user time (s): 1791.18
CPU system time (s): 6.82596
CPU usage (%): 99.9613
Max. virtual memory (cumulated for all children) (KiB): 18132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.18
system time used= 6.82596
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2206
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= 1
involuntary context switches= 26976

runsolver used 3.04354 second user time and 8.42072 second system time

The end

Launcher Data 

Begin job on node044 at 2010-06-15 13:16:34
IDJOB=2657562
IDBENCH=2902
IDSOLVER=1163
FILE ID=node044/2657562-1276600594
PBS_JOBID= 11173567
Free space on /tmp= 62588 MiB

SOLVER NAME= bsolo 3.2 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_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657562-1276600594/watcher-2657562-1276600594 -o /tmp/evaluation-result-2657562-1276600594/solver-2657562-1276600594 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657562-1276600594.opb

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

MD5SUM BENCH= cdfa46b59876181d5d89fd18757b8cfb
RANDOM SEED=268227129

node044.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.266
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.53
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.266
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1538760 kB
Buffers:         49872 kB
Cached:         344260 kB
SwapCached:          0 kB
Active:         186852 kB
Inactive:       266684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1538760 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3880 kB
Writeback:           4 kB
AnonPages:       59308 kB
Mapped:          15424 kB
Slab:            44776 kB
PageTables:       4008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179936 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62584 MiB
End job on node044 at 2010-06-15 13:46:33