Trace number 3463191

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.2SAT2 1798 1797.96

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_1.opb
MD5SUM5bf563c7058af01702ea80887f1d43ad
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1320.51
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved NO
Number of variables120
Total number of constraints10
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint55
Maximum length of a constraint56
Number of terms in the objective function 80
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1086
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3768
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3463191-1307179346.opb
0.00/0.00	c File size is 5459 bytes.
0.00/0.00	c Highest Coefficient sum: 3768
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 120 Constr: 10 0/0/10 Lit: 558 Watch. Lit: 162
0.00/0.00	c Obj. Vars: 80 (66.6667 % of total variables)
0.00/0.00	c Pre-processing Time: 0 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    120       10      558   55      164    1116      0 -2147483648 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 1090
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    120       11      638   58      427    1276      1 -2147483648 0.00
0.00/0.00	o 1016
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       15    120       36     2072   57      617    1276     26   5000 0.00
0.00/0.00	o 1013
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       22    120       50     2766   55      763    1276     40   5500 0.00
0.00/0.00	o 995
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       23    120       52     2880   55      825    1276     42   5750 0.00
0.00/0.01	o 993
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       37    120       68     3908   57      939    1276     58   5285 0.01
0.00/0.01	o 971
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       39    120       73     4177   57     1025    1276     63   5571 0.01
0.00/0.01	o 969
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       40    120       75     4327   57     1097    1276     65   5000 0.01
0.00/0.01	o 967
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       71    120      121     6944   57     1352    1276    111   5071 0.01
0.00/0.02	o 774
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       96    120      155     8737   56     1418    1276    145   5052 0.02
0.00/0.02	o 770
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       99    120      160     9016   56     1513    1276    150   5210 0.02
0.00/0.02	o 768
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      109    120      173     9741   56     1564    1276    163   5190 0.02
0.00/0.02	o 290
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      109    120      174     9821   56     1524    1276    164   5190 0.02
0.00/0.02	o 277
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      112    120      179    10060   56     1555    1276    169   5090 0.02
0.00/0.02	o 253
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      113    120      181    10167   56     1628    1276    171   5136 0.02
0.00/0.02	o 245
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      114    120      183    10300   56     1703    1276    173   4956 0.02
0.00/0.02	o 237
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      121    120      192    10607   55     1786    1276    182   5041 0.02
0.00/0.02	o 235
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      125    120      197    10920   55     1855    1276    187   5208 0.02
0.00/0.03	o 116
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      184    120      265    13059   49     1998    1276    255   5750 0.03
0.00/0.03	o 114
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      199    120      282    13773   48     2085    1276    272   5852 0.03
0.00/0.04	o 112
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      283    116      373    16692   44     2283    1268    363   6288 0.04
0.00/0.05	o 110
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      292    116      383    17037   44     2371    1268    373   6347 0.05
0.00/0.05	o 108
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      347    116      440    18646   42     2539    1268    430   6425 0.05
0.00/0.05	o 106
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c      348    116      442    18791   42     2616    1268    432   6444 0.05
0.29/0.32	c      449    115      546    21478   39     2877    1395    536   6701 0.07
0.29/0.32	c      700    115      807    27989   34     3383    1535    797   7216 0.10
0.29/0.32	c     1177    115     1311    41251   31     4419    1689   1301   7402 0.16
0.29/0.32	c     1995    115     1291    35744   27     3064    1858   1281   7307 0.27
0.29/0.32	o 98
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c     2279    115     1598    45847   28     3788    1266   1588   7189 0.32
0.29/0.35	c     2379    115      762    23944   31     2034    1393    752   7144 0.33
0.29/0.35	o 91
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c     2482    115      876    28185   32     2385    1266    866   7152 0.35
0.29/0.35	o 89
0.29/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.36	c     2517    115      915    29272   31     2533    1266    905   7150 0.35
0.29/0.36	o 87
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c     2532    115      931    30036   32     2638    1266    921   7132 0.35
0.39/0.43	c     2632    114     1031    32660   31     2836    1393   1021   7171 0.37
0.39/0.43	c     2882    113     1290    39368   30     3353    1533   1280   7205 0.40
0.39/0.43	o 85
0.39/0.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.46	c     3094    113     1512    45864   30     3874    1262   1502   7162 0.43
0.39/0.46	c     3196    113      763    22263   29     1979    1389    753   7133 0.45
0.39/0.46	o 83
1.68/1.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.68/1.72	c     3271    113      845    24736   29     2225    1262    835   7157 0.46
1.68/1.72	c     3372    113      952    27522   28     2467    1389    942   7189 0.47
1.68/1.72	c     3623    113     1212    34289   28     2979    1528   1202   7246 0.50
1.68/1.72	c     4098    113      914    23646   25     2227    1681    904   7278 0.56
1.68/1.72	c     4911    113      875    22042   25     2148    1850    865   7384 0.67
1.68/1.72	c     6231    113     1282    33464   26     2965    2036   1272   7471 0.83
1.68/1.72	c     8313    113     1305    34448   26     3012    2240   1295   7523 1.10
1.68/1.72	c    11537    113     1195    32605   27     2796    2465   1185   7433 1.55
1.68/1.72	o 73
1.68/1.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.68/1.74	c    12743    113     2444    69103   28     5415    1262   2434   7391 1.72
1.68/1.74	o 71
1.68/1.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.68/1.74	c    12764    113      673    19436   28     1822    1262    663   7361 1.73
1.68/1.74	o 69
1.68/1.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.68/1.74	c    12771    113      682    19781   29     1919    1262    672   7360 1.74
1.68/1.74	o 67
1.68/1.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.68/1.74	c    12778    113      690    20145   29     2006    1262    680   7360 1.74
1.68/1.74	o 65
1.88/1.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.88/1.93	c    12801    113      715    21463   30     2137    1262    705   7356 1.74
1.88/1.93	c    12902    113      820    24526   29     2348    1389    810   7347 1.76
1.88/1.93	c    13154    113     1076    32395   30     2846    1528   1066   7319 1.80
1.88/1.93	c    13629    113      782    22693   29     1967    1681    772   7268 1.88
1.88/1.93	o 56
1.88/1.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.88/1.94	c    14001    113     1174    35651   30     2849    1262   1164   7239 1.93
1.88/1.94	o 54
1.88/1.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.88/1.94	c    14002    113     1176    35784   30     2922    1262   1166   7236 1.94
1.88/1.94	o 52
1.98/2.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.98/2.08	c    14007    113     1184    36197   30     3021    1262   1174   7235 1.94
1.98/2.08	c    14107    107      655    20595   31     1710    1389    645   7223 1.95
1.98/2.08	c    14357    107      909    27391   30     2218    1528    899   7214 1.99
1.98/2.08	c    14832    103     1389    40939   29     3187    1681   1379   7193 2.06
1.98/2.08	o 47
1.98/2.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.98/2.09	c    14931    102     1489    43514   29     3445    1240   1479   7185 2.08
1.98/2.09	o 45
1.98/2.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.98/2.09	c    14964    102      685    18691   27     1815    1240    675   7180 2.08
1.98/2.09	o 41
2.09/2.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.14	c    14970    102      692    19034   27     1889    1240    682   7179 2.08
2.09/2.14	c    15070    100      793    21669   27     2087    1365    783   7179 2.10
2.09/2.14	c    15320    100     1048    28544   27     2602    1502   1038   7182 2.13
2.09/2.14	o 34
2.09/2.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.17	c    15331    100     1060    28853   27     2688    1236   1050   7184 2.13
2.09/2.17	c    15432    100     1162    31571   27     2886    1360   1152   7184 2.15
2.09/2.17	o 29
2.09/2.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.17	c    15595    100     1326    35991   27     3273    1236   1316   7186 2.17
2.09/2.17	o 25
4.89/4.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.89/4.90	c    15605     95      660    17042   25     1753    1226    650   7181 2.17
4.89/4.90	c    15706     90      763    19967   26     1954    1349    753   7181 2.19
4.89/4.90	c    15956     90     1014    27645   27     2452    1484   1004   7187 2.22
4.89/4.90	c    16431     90     1489    42296   28     3409    1633   1479   7197 2.28
4.89/4.90	c    17244     90     1457    43107   29     3281    1797   1447   7196 2.40
4.89/4.90	c    18564     90      940    28801   30     2249    1977    930   7175 2.59
4.89/4.90	c    20645     90     2009    59234   29     4382    2175   1999   7155 2.88
4.89/4.90	c    23868     90     1884    58928   31     4139    2393   1874   7086 3.37
4.89/4.90	c    28804     90     1926    58954   30     4215    2633   1916   7063 4.08
4.89/4.90	o 23
4.89/4.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.89/4.91	c    34450     90     2214    68081   30     4858    1216   2204   7034 4.90
4.89/4.91	o 21
7.18/7.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.18/7.24	c    34500     90      701    21987   31     1816    1216    691   7030 4.91
7.18/7.24	c    34600     90      801    24988   31     2008    1338    791   7032 4.92
7.18/7.24	c    34850     90     1052    32756   31     2518    1472   1042   7034 4.95
7.18/7.24	c    35326     90      777    23310   30     1920    1620    767   7037 5.02
7.18/7.24	c    36139     90     1595    48219   30     3556    1783   1585   7044 5.13
7.18/7.24	c    37460     90     1090    30670   28     2546    1962   1080   7051 5.31
7.18/7.24	c    39541     90     1159    34204   29     2686    2159   1149   7081 5.58
7.18/7.24	c    42764     90     2178    65288   29     4717    2375   2168   7114 6.01
7.18/7.24	c    47700     90     2266    67805   29     4895    2613   2256   7083 6.73
7.18/7.24	o 19
8.49/8.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.49/8.51	c    51009     90     1566    45979   29     3546    1216   1556   7046 7.24
8.49/8.51	c    51109     90      749    21537   28     1859    1338    739   7047 7.25
8.49/8.51	c    51360     90     1000    28796   28     2360    1472    990   7055 7.28
8.49/8.51	c    51835     90     1477    42471   28     3321    1620   1467   7063 7.34
8.49/8.51	c    52648     90     1455    41805   28     3273    1783   1445   7066 7.45
8.49/8.51	c    53968     90      942    27124   28     2253    1962    932   7053 7.65
8.49/8.51	c    56049     90     1022    28982   28     2414    2159   1012   7031 7.97
8.49/8.51	c    59272     90     2036    58625   28     4441    2375   2026   7023 8.44
8.49/8.51	o 15
9.79/9.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.79/9.83	c    59657     90     1229    35236   28     2824    1216   1219   7012 8.51
9.79/9.83	c    59758     84      717    20458   28     1784    1338    707   7012 8.52
9.79/9.83	c    60008     80      967    28048   29     2279    1472    957   7013 8.56
9.79/9.83	c    60483     80     1442    43044   29     3228    1620   1432   7016 8.62
9.79/9.83	c    61297     80     1419    43377   30     3182    1783   1409   7019 8.73
9.79/9.83	c    62617     80     1825    57572   31     3999    1962   1815   7020 8.92
9.79/9.83	c    64698     80     1886    59564   31     4116    2159   1876   7015 9.22
9.79/9.83	c    67921     80     1795    56614   31     3940    2375   1785   7011 9.69
9.79/9.83	o 14
11.59/11.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.59/11.67	c    68849     80     1509    46125   30     3400    1196   1499   7000 9.84
11.59/11.67	c    68949     80      749    21678   28     1839    1316    739   6999 9.85
11.59/11.67	c    69199     80      999    29148   29     2335    1448    989   7003 9.88
11.59/11.67	c    69674     80     1474    43460   29     3289    1593   1464   7005 9.95
11.59/11.67	c    70488     80     1468    43333   29     3277    1753   1458   7008 10.06
11.59/11.67	c    71809     80      985    28877   29     2315    1929    975   7007 10.25
11.59/11.67	c    73890     80     1090    33392   30     2512    2122   1080   7014 10.53
11.59/11.67	c    77114     80     2145    67575   31     4625    2335   2135   7018 10.99
11.59/11.67	o 13
18.70/18.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.70/18.78	c    81551     80     1809    56707   31     3996    1196   1799   6988 11.67
18.70/18.78	c    81651     80      749    23197   30     1836    1316    739   6987 11.69
18.70/18.78	c    81901     80      999    30984   31     2337    1448    989   6989 11.72
18.70/18.78	c    82376     80     1475    46314   31     3286    1593   1465   6991 11.78
18.70/18.78	c    83189     80     1467    45959   31     3275    1753   1457   6994 11.89
18.70/18.78	c    84510     80      988    30324   30     2316    1929    978   6992 12.09
18.70/18.78	c    86592     80     1100    33989   30     2541    2122   1090   7002 12.37
18.70/18.78	c    89815     80     2148    65424   30     4638    2335   2138   7002 12.83
18.70/18.78	c    94751     80     2332    73292   31     5005    2569   2322   6994 13.55
18.70/18.78	c   102260     80     1967    61421   31     4273    2826   1957   6995 14.62
18.70/18.78	c   113621     80     1803    56955   31     3947    3109   1793   6933 16.39
18.70/18.78	o 12
18.89/18.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.89/18.95	c   128272     80     2240    71487   31     4863    1196   2230   6829 18.78
18.89/18.95	c   128372     80      749    22689   30     1838    1316    739   6829 18.80
18.89/18.95	c   128622     80      999    30452   30     2335    1448    989   6830 18.83
18.89/18.95	c   129097     80     1474    45648   30     3289    1593   1464   6833 18.89
18.89/18.95	o 9
58.98/59.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
58.98/59.03	c   129504     80     1059    32359   30     2506    1196   1049   6833 18.95
58.98/59.03	c   129604     80     1160    35458   30     2704    1316   1150   6833 18.96
58.98/59.03	c   129855     80      736    21884   29     1812    1448    726   6833 19.00
58.98/59.03	c   130331     80     1212    36834   30     2768    1593   1202   6837 19.06
58.98/59.03	c   131146     80     1208    36185   29     2755    1753   1198   6841 19.17
58.98/59.03	c   132466     80     1624    49622   30     3584    1929   1614   6846 19.35
58.98/59.03	c   134548     80     1722    53068   30     3785    2122   1712   6848 19.65
58.98/59.03	c   137773     80     1698    52694   31     3737    2335   1688   6846 20.12
58.98/59.03	c   142710     80     1855    58673   31     4049    2569   1845   6843 20.85
58.98/59.03	c   150216     80     1499    47470   31     3335    2826   1489   6831 21.99
58.98/59.03	c   161581     80     2799    86186   30     5939    3109   2789   6798 23.77
58.98/59.03	c   178725     80     2559    79654   31     5454    3420   2549   6759 26.44
58.98/59.03	c   204545     80     2322    72128   31     4985    3763   2312   6630 30.85
58.98/59.03	c   243377     80     3025    94831   31     6392    4140   3015   6549 37.16
58.98/59.03	c   301730     80     2681    80733   30     5702    4555   2671   6489 46.50
58.98/59.03	o 8
74.48/74.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
74.48/74.56	c   376549     80     3812   118109   30     8003    1196   3802   6379 59.02
74.48/74.56	c   376649     75      749    22482   30     1829    1316    739   6379 59.04
74.48/74.56	c   376899     73      999    29880   29     2321    1448    989   6380 59.08
74.48/74.56	c   377375     73     1475    44472   30     3275    1593   1465   6381 59.14
74.48/74.56	c   378188     71     1466    43174   29     3254    1753   1456   6383 59.24
74.48/74.56	c   379508     70      983    29241   29     2285    1929    973   6387 59.41
74.48/74.56	c   381589     70     1081    31401   29     2482    2122   1071   6394 59.67
74.48/74.56	c   384813     70     2135    60916   28     4595    2335   2125   6405 60.08
74.48/74.56	c   389750     70     2308    70513   30     4939    2569   2298   6417 60.73
74.48/74.56	c   397256     70     1949    57638   29     4226    2826   1939   6432 61.76
74.48/74.56	c   408617     70     1797    55113   30     3917    3109   1787   6448 63.36
74.48/74.56	c   425762     70     3162    96388   30     6650    3420   3152   6460 65.90
74.48/74.56	c   451582     70     2942    92706   31     6207    3763   2932   6469 69.80
74.48/74.56	o 7
94.17/94.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
94.17/94.25	c   482102     70     3015    93756   31     6381    1176   3005   6467 74.55
94.17/94.25	c   482202     70      749    22352   29     1805    1294    739   6466 74.56
94.17/94.25	c   482452     70      999    29836   29     2314    1424    989   6467 74.59
94.17/94.25	c   482928     70     1475    44190   29     3262    1567   1465   6468 74.65
94.17/94.25	c   483741     70     1487    44117   29     3283    1724   1477   6471 74.75
94.17/94.25	c   485061     70     1037    29896   28     2381    1897   1027   6474 74.92
94.17/94.25	c   487143     70     1176    33839   28     2657    2087   1166   6479 75.18
94.17/94.25	c   490366     70     1186    35571   29     2684    2296   1176   6485 75.60
94.17/94.25	c   495302     70     1438    40657   28     3191    2526   1428   6497 76.23
94.17/94.25	c   502808     70     2505    75196   30     5321    2779   2495   6505 77.28
94.17/94.25	c   514169     70     2546    75643   29     5398    3057   2536   6514 78.93
94.17/94.25	c   531313     70     2611    77997   29     5535    3363   2601   6524 81.43
94.17/94.25	c   557133     70     2828    82197   29     5969    3700   2818   6534 85.26
94.17/94.25	c   595965     70     2279    66170   29     4872    4071   2269   6541 91.11
94.17/94.25	o 4
1376.52/1376.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1376.52/1376.53	c   616162     70     3949   113153   28     8241    1176   3939   6538 94.24
1376.52/1376.53	c   616262     70      749    20628   27     1809    1294    739   6537 94.27
1376.52/1376.53	c   616512     70      999    27157   27     2309    1424    989   6538 94.29
1376.52/1376.53	c   616988     70     1475    39670   26     3261    1567   1465   6539 94.35
1376.52/1376.53	c   617801     69     1476    39194   26     3258    1724   1466   6542 94.44
1376.52/1376.53	c   619121     67     1020    29289   28     2348    1897   1010   6544 94.60
1376.52/1376.53	c   621202     67     1160    31418   27     2625    2087   1150   6549 94.84
1376.52/1376.53	c   624425     66     1182    31435   26     2669    2296   1172   6555 95.25
1376.52/1376.53	c   629362     66     1426    40384   28     3157    2526   1416   6563 95.89
1376.52/1376.53	c   636868     64     2484    71418   28     5268    2779   2474   6573 96.89
1376.52/1376.53	c   648230     64     2523    73949   29     5352    3057   2513   6587 98.40
1376.52/1376.53	c   665374     62     2565    74706   29     5430    3363   2555   6596 100.86
1376.52/1376.53	c   691193     62     2806    81139   28     5908    3700   2796   6608 104.59
1376.52/1376.53	c   730027     61     2264    67878   29     4823    4071   2254   6602 110.56
1376.52/1376.53	c   788380     61     2957    86075   29     6214    4479   2947   6572 119.96
1376.52/1376.53	c   876012     61     4541   140063   30     9370    4927   4531   6497 134.82
1376.52/1376.53	c  1007567     61     4227   127898   30     8751    5420   4217   6403 157.34
1376.52/1376.53	c  1205001     61     4752   144746   30     9800    5963   4742   6212 193.96
1376.52/1376.53	c  1501253     61     3441   104709   30     7177    6560   3431   5970 251.46
1376.52/1376.53	c  1945735     60     5053   154823   30    10399    7217   5043   5743 338.77
1376.52/1376.53	c  2612562     60     7137   208734   29    14567    7939   7127   5434 480.75
1376.52/1376.53	c  3612908     60     5248   155424   29    10790    8733   5238   5161 699.99
1376.52/1376.53	c  5113530     60     4500   140511   31     9287    9607   4490   4883 1047.16
1376.52/1376.53	o 3
1520.14/1520.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1520.14/1520.11	c  6467192     60     6546   191780   29    13405    1156   6536   4698 1376.56
1520.14/1520.11	c  6467292     60      749    20828   27     1781    1272    739   4697 1376.61
1520.14/1520.11	c  6467543     60     1000    27822   27     2284    1400    990   4698 1376.64
1520.14/1520.11	c  6468018     60      771    20733   26     1821    1541    761   4698 1376.70
1520.14/1520.11	c  6468831     60     1584    44131   27     3450    1696   1574   4698 1376.80
1520.14/1520.11	c  6470151     60     1160    33305   28     2600    1866   1150   4698 1376.96
1520.14/1520.11	c  6472232     60     1330    38241   28     2944    2053   1320   4699 1377.22
1520.14/1520.11	c  6475455     60     1409    37996   26     3092    2259   1399   4700 1377.61
1520.14/1520.11	c  6480391     60     1721    46909   27     3718    2485   1711   4702 1378.20
1520.14/1520.11	c  6487899     60     1643    48379   29     3572    2734   1633   4703 1379.25
1520.14/1520.11	c  6499261     60     1869    55852   29     4019    3008   1859   4706 1380.82
1520.14/1520.11	c  6516406     60     2200    66641   30     4688    3309   2190   4710 1383.32
1520.14/1520.11	c  6542226     60     2819    86411   30     5923    3640   2809   4715 1387.26
1520.14/1520.11	c  6581059     60     2933    86915   29     6149    4005   2923   4723 1393.15
1520.14/1520.11	c  6639411     60     2500    74376   29     5286    4406   2490   4733 1402.54
1520.14/1520.11	c  6727044     60     3252    98926   30     6788    4847   3242   4747 1417.08
1520.14/1520.11	c  6858596     60     2620    79916   30     5518    5332   2610   4763 1439.88
1520.14/1520.11	c  7056028     60     3588   109090   30     7462    5866   3578   4781 1475.80
1520.14/1520.11	o 2
1797.93/1797.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1797.96	c  7302878     60     4922   142859   29    10145    1156   4912   4804 1520.14
1797.93/1797.96	c  7302978     60      749    20658   27     1785    1272    739   4804 1520.17
1797.93/1797.96	c  7303228     60      999    28142   28     2279    1400    989   4804 1520.20
1797.93/1797.96	c  7303703     60      771    20881   27     1827    1541    761   4804 1520.26
1797.93/1797.96	c  7304517     60     1585    44506   28     3454    1696   1575   4804 1520.36
1797.93/1797.96	c  7305837     60     1164    32820   28     2612    1866   1154   4804 1520.52
1797.93/1797.96	c  7307918     60     1338    38058   28     2956    2053   1328   4805 1520.79
1797.93/1797.96	c  7311142     60     1403    41234   29     3094    2259   1393   4806 1521.21
1797.93/1797.96	c  7316078     60     1712    49040   28     3707    2485   1702   4807 1521.89
1797.93/1797.96	c  7323584     60     1602    46382   28     3489    2734   1592   4808 1522.93
1797.93/1797.96	c  7334946     60     1818    52364   28     3917    3008   1808   4811 1524.42
1797.93/1797.96	c  7352091     60     2145    61823   28     4574    3309   2135   4815 1526.85
1797.93/1797.96	c  7377912     59     2783    84381   30     5850    3640   2773   4819 1530.69
1797.93/1797.96	c  7416744     58     2866    83278   29     6010    4005   2856   4826 1536.70
1797.93/1797.96	c  7475096     57     2454    73454   29     5184    4406   2444   4835 1545.87
1797.93/1797.96	c  7562728     56     3233    96707   29     6739    4847   3223   4847 1560.07
1797.93/1797.96	c  7694280     56     2557    76943   30     5393    5332   2547   4860 1582.96
1797.93/1797.96	c  7891712     54     3513    96352   27     7296    5866   3503   4879 1617.29
1797.93/1797.96	c  8187965     54     4100   123954   30     8475    6453   4090   4889 1674.59
1797.93/1797.96	c  8632447     54     6417   194886   30    13100    7099   6407   4894 1763.73
1797.93/1797.96	c Resources Exceeded
1797.93/1797.96	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 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 x90 
1797.93/1797.96	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1797.96	c  227  8799388  23680  8829769     5372   165673   5362   4893 1798.00
1797.93/1797.96	c Objective: 2
1797.93/1797.96	s SATISFIABLE
1797.93/1797.96	c Total time: 1798 s

Verifier Data 

OK	2

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3463191-1307179346/watcher-3463191-1307179346 -o /tmp/evaluation-result-3463191-1307179346/solver-3463191-1307179346 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463191-1307179346.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.03 2.00 2/373 20809
/proc/meminfo: memFree=22763264/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=18600 CPUtime=0 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 298 0 0 0 0 0 0 0 25 0 1 0 829535062 19046400 251 33554432000 134512640 137138936 4287474096 18446744073709551615 136505207 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20809/statm: 4650 251 192 642 0 4006 0

[startup+0.0926209 s]
/proc/loadavg: 2.05 2.03 2.00 2/373 20809
/proc/meminfo: memFree=22763264/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=11172 CPUtime=0.08 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 394 0 0 0 8 0 0 0 25 0 1 0 829535062 11440128 347 33554432000 134512640 137138936 4287474096 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20809/statm: 2793 348 192 642 0 2149 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11172

[startup+0.100586 s]
/proc/loadavg: 2.05 2.03 2.00 2/373 20809
/proc/meminfo: memFree=22763264/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=11172 CPUtime=0.09 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 401 0 0 0 9 0 0 0 25 0 1 0 829535062 11440128 354 33554432000 134512640 137138936 4287474096 18446744073709551615 136504080 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20809/statm: 2793 354 192 642 0 2149 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11172

[startup+0.300586 s]
/proc/loadavg: 2.05 2.03 2.00 2/373 20809
/proc/meminfo: memFree=22763264/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=11680 CPUtime=0.29 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 512 0 0 0 29 0 0 0 25 0 1 0 829535062 11960320 465 33554432000 134512640 137138936 4287474096 18446744073709551615 134575898 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20809/statm: 2920 465 192 642 0 2276 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11680

[startup+0.700505 s]
/proc/loadavg: 2.05 2.03 2.00 2/373 20809
/proc/meminfo: memFree=22763264/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=11680 CPUtime=0.69 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 512 0 0 0 69 0 0 0 25 0 1 0 829535062 11960320 465 33554432000 134512640 137138936 4287474096 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20809/statm: 2920 465 192 642 0 2276 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11680

[startup+1.50036 s]
/proc/loadavg: 2.05 2.03 2.00 3/374 20810
/proc/meminfo: memFree=22761772/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=11808 CPUtime=1.48 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 554 0 0 0 148 0 0 0 25 0 1 0 829535062 12091392 507 33554432000 134512640 137138936 4287474096 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20809/statm: 2952 507 192 642 0 2308 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11808

[startup+3.10108 s]
/proc/loadavg: 2.05 2.03 2.00 3/374 20810
/proc/meminfo: memFree=22760656/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=11936 CPUtime=3.09 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 578 0 0 0 308 1 0 0 25 0 1 0 829535062 12222464 531 33554432000 134512640 137138936 4287474096 18446744073709551615 134599660 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20809/statm: 2984 531 192 642 0 2340 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11936

[startup+6.30048 s]
/proc/loadavg: 2.04 2.03 2.00 4/374 20810
/proc/meminfo: memFree=22760160/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=12060 CPUtime=6.28 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 629 0 0 0 626 2 0 0 25 0 1 0 829535062 12349440 582 33554432000 134512640 137138936 4287474096 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20809/statm: 3015 582 192 642 0 2371 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 12060

[startup+12.7003 s]
/proc/loadavg: 2.04 2.03 2.00 3/374 20810
/proc/meminfo: memFree=22759636/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=12060 CPUtime=12.69 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 629 0 0 0 1265 4 0 0 25 0 1 0 829535062 12349440 582 33554432000 134512640 137138936 4287474096 18446744073709551615 134618927 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20809/statm: 3015 582 192 642 0 2371 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12060

[startup+25.5009 s]
/proc/loadavg: 2.03 2.03 2.00 3/374 20810
/proc/meminfo: memFree=22758748/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=12432 CPUtime=25.49 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 706 0 0 0 2541 8 0 0 25 0 1 0 829535062 12730368 659 33554432000 134512640 137138936 4287474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20809/statm: 3108 659 192 642 0 2464 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 12432

[startup+51.1003 s]
/proc/loadavg: 2.02 2.02 2.00 3/374 20811
/proc/meminfo: memFree=22757724/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=13180 CPUtime=51.07 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 890 0 0 0 5089 18 0 0 25 0 1 0 829535062 13496320 843 33554432000 134512640 137138936 4287474096 18446744073709551615 134542766 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3295 843 192 642 0 2651 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 13180

[startup+102.313 s]
/proc/loadavg: 2.01 2.02 2.00 3/374 20812
/proc/meminfo: memFree=22757592/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=13064 CPUtime=102.28 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 897 0 0 0 10189 39 0 0 25 0 1 0 829535062 13377536 841 33554432000 134512640 137138936 4287474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3266 841 192 642 0 2622 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 13064

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 20814
/proc/meminfo: memFree=22756464/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=13448 CPUtime=162.28 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 984 0 0 0 16168 60 0 0 25 0 1 0 829535062 13770752 928 33554432000 134512640 137138936 4287474096 18446744073709551615 136504482 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3362 928 192 642 0 2718 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 13448

[startup+222.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/374 20815
/proc/meminfo: memFree=22756060/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=13800 CPUtime=222.28 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1073 0 0 0 22147 81 0 0 25 0 1 0 829535062 14131200 1017 33554432000 134512640 137138936 4287474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3450 1017 192 642 0 2806 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 13800

[startup+282.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/374 20817
/proc/meminfo: memFree=22755300/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=14160 CPUtime=282.28 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1152 0 0 0 28128 100 0 0 25 0 1 0 829535062 14499840 1096 33554432000 134512640 137138936 4287474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3540 1096 192 642 0 2896 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 14160

[startup+342.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/374 20819
/proc/meminfo: memFree=22755016/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=14420 CPUtime=342.29 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1231 0 0 0 34111 118 0 0 25 0 1 0 829535062 14766080 1175 33554432000 134512640 137138936 4287474096 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3605 1175 192 642 0 2961 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 14420

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/374 20820
/proc/meminfo: memFree=22754728/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=14496 CPUtime=402.29 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1244 0 0 0 40094 135 0 0 25 0 1 0 829535062 14843904 1188 33554432000 134512640 137138936 4287474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3624 1188 192 642 0 2980 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 14496

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 20822
/proc/meminfo: memFree=22754700/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=14496 CPUtime=462.29 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1244 0 0 0 46080 149 0 0 25 0 1 0 829535062 14843904 1188 33554432000 134512640 137138936 4287474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3624 1188 192 642 0 2980 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 14496

[startup+522.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/374 20823
/proc/meminfo: memFree=22754296/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=14840 CPUtime=522.29 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1328 0 0 0 52063 166 0 0 25 0 1 0 829535062 15196160 1272 33554432000 134512640 137138936 4287474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3710 1272 192 642 0 3066 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 14840

[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/374 20825
/proc/meminfo: memFree=22753524/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=14840 CPUtime=582.3 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1336 0 0 0 58046 184 0 0 25 0 1 0 829535062 15196160 1280 33554432000 134512640 137138936 4287474096 18446744073709551615 134542220 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3710 1280 192 642 0 3066 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 14840

[startup+642.3 s]

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

/proc/meminfo: memFree=22751920/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=15760 CPUtime=1062.3 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1551 0 0 0 105919 311 0 0 25 0 1 0 829535062 16138240 1495 33554432000 134512640 137138936 4287474096 18446744073709551615 134542796 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3940 1495 192 642 0 3296 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 15760

[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/374 20839
/proc/meminfo: memFree=22751892/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=15752 CPUtime=1122.31 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1551 0 0 0 111905 326 0 0 25 0 1 0 829535062 16130048 1495 33554432000 134512640 137138936 4287474096 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3938 1495 192 642 0 3294 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 15752

[startup+1182.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/374 20841
/proc/meminfo: memFree=22751496/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=15744 CPUtime=1182.31 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1551 0 0 0 117890 341 0 0 25 0 1 0 829535062 16121856 1495 33554432000 134512640 137138936 4287474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3936 1495 192 642 0 3292 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 15744

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/374 20843
/proc/meminfo: memFree=22751216/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=15732 CPUtime=1242.31 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1551 0 0 0 123876 355 0 0 25 0 1 0 829535062 16109568 1495 33554432000 134512640 137138936 4287474096 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3933 1495 192 642 0 3289 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 15732

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 20844
/proc/meminfo: memFree=22751060/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=15720 CPUtime=1302.32 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1551 0 0 0 129862 370 0 0 25 0 1 0 829535062 16097280 1495 33554432000 134512640 137138936 4287474096 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3930 1495 192 642 0 3286 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 15720

[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/374 20846
/proc/meminfo: memFree=22750904/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=15712 CPUtime=1362.32 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1551 0 0 0 135849 383 0 0 25 0 1 0 829535062 16089088 1495 33554432000 134512640 137138936 4287474096 18446744073709551615 134618093 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3928 1495 192 642 0 3284 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 15712

[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/374 20847
/proc/meminfo: memFree=22751608/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=15240 CPUtime=1422.33 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1551 0 0 0 141829 404 0 0 25 0 1 0 829535062 15605760 1385 33554432000 134512640 137138936 4287474096 18446744073709551615 134572775 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3810 1385 192 642 0 3166 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 15240

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 20849
/proc/meminfo: memFree=22751716/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=15240 CPUtime=1482.32 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1551 0 0 0 147808 424 0 0 25 0 1 0 829535062 15605760 1385 33554432000 134512640 137138936 4287474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3810 1385 192 642 0 3166 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 15240

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/374 20851
/proc/meminfo: memFree=22753300/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=13740 CPUtime=1542.32 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1551 0 0 0 153788 444 0 0 25 0 1 0 829535062 14069760 1010 33554432000 134512640 137138936 4287474096 18446744073709551615 135984567 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3435 1010 192 642 0 2791 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 13740

[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/374 20852
/proc/meminfo: memFree=22753028/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=13740 CPUtime=1602.32 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1551 0 0 0 159768 464 0 0 25 0 1 0 829535062 14069760 1010 33554432000 134512640 137138936 4287474096 18446744073709551615 134607006 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3435 1010 192 642 0 2791 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 13740

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/374 20854
/proc/meminfo: memFree=22752372/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=13740 CPUtime=1662.33 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1551 0 0 0 165749 484 0 0 25 0 1 0 829535062 14069760 1010 33554432000 134512640 137138936 4287474096 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3435 1010 192 642 0 2791 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 13740

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/374 20936
/proc/meminfo: memFree=22741664/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=14072 CPUtime=1722.33 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1623 0 0 0 171731 502 0 0 25 0 1 0 829535062 14409728 1082 33554432000 134512640 137138936 4287474096 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3518 1082 192 642 0 2874 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 14072

[startup+1782.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/374 20938
/proc/meminfo: memFree=22719204/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=14436 CPUtime=1782.33 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1718 0 0 0 177710 523 0 0 25 0 1 0 829535062 14782464 1177 33554432000 134512640 137138936 4287474096 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3609 1177 192 642 0 2965 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 14436

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

[startup+1785.5 s]
/proc/loadavg: 2.09 2.03 2.01 3/374 20938
/proc/meminfo: memFree=22719204/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=14436 CPUtime=1785.53 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1718 0 0 0 178029 524 0 0 25 0 1 0 829535062 14782464 1177 33554432000 134512640 137138936 4287474096 18446744073709551615 134542758 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3609 1177 192 642 0 2965 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 14436

[startup+1791.91 s]
/proc/loadavg: 2.08 2.03 2.01 3/374 20938
/proc/meminfo: memFree=22719576/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=14436 CPUtime=1791.94 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1718 0 0 0 178669 525 0 0 25 0 1 0 829535062 14782464 1177 33554432000 134512640 137138936 4287474096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3609 1177 192 642 0 2965 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 14436

[startup+1795.1 s]
/proc/loadavg: 2.08 2.03 2.01 3/374 20938
/proc/meminfo: memFree=22719568/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=14436 CPUtime=1795.14 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1718 0 0 0 178987 527 0 0 25 0 1 0 829535062 14782464 1177 33554432000 134512640 137138936 4287474096 18446744073709551615 134542357 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3609 1177 192 642 0 2965 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 14436

[startup+1796.7 s]
/proc/loadavg: 2.08 2.03 2.01 3/374 20938
/proc/meminfo: memFree=22719568/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=14436 CPUtime=1796.73 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1718 0 0 0 179146 527 0 0 25 0 1 0 829535062 14782464 1177 33554432000 134512640 137138936 4287474096 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3609 1177 192 642 0 2965 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 14436

[startup+1797.5 s]
/proc/loadavg: 2.08 2.03 2.01 3/374 20938
/proc/meminfo: memFree=22718824/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=14436 CPUtime=1797.53 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1718 0 0 0 179225 528 0 0 25 0 1 0 829535062 14782464 1177 33554432000 134512640 137138936 4287474096 18446744073709551615 136502581 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3609 1177 192 642 0 2965 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 14436

[startup+1797.9 s]
/proc/loadavg: 2.08 2.03 2.01 3/374 20938
/proc/meminfo: memFree=22718824/32951124 swapFree=37148216/67111528
[pid=20809] ppid=20807 vsize=14436 CPUtime=1797.93 cores=0,2,4,6
/proc/20809/stat : 20809 (bsolo) R 20807 20809 19222 0 -1 4202496 1718 0 0 0 179265 528 0 0 25 0 1 0 829535062 14782464 1177 33554432000 134512640 137138936 4287474096 18446744073709551615 134618019 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20809/statm: 3609 1177 192 642 0 2965 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 14436

Child status: 0
Real time (s): 1797.96
CPU time (s): 1798
CPU user time (s): 1792.72
CPU system time (s): 5.2802
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 15768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.72
system time used= 5.2802
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1719
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= 4
involuntary context switches= 2797

runsolver used 6.60799 second user time and 13.108 second system time

The end

Launcher Data 

Begin job on node104 at 2011-06-04 11:22:26
IDJOB=3463191
IDBENCH=2923
IDSOLVER=1955
FILE ID=node104/3463191-1307179346
RUNJOBID= node104-1307174925-20281
PBS_JOBID= 13508864
Free space on /tmp= 73952 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463191-1307179346/watcher-3463191-1307179346 -o /tmp/evaluation-result-3463191-1307179346/solver-3463191-1307179346 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463191-1307179346.opb

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

MD5SUM BENCH= 5bf563c7058af01702ea80887f1d43ad
RANDOM SEED=1934814014

node104.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5293.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22763428 kB
Buffers:        420068 kB
Cached:        7649384 kB
SwapCached:     163904 kB
Active:        3782188 kB
Inactive:      6067900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22763428 kB
SwapTotal:    67111528 kB
SwapFree:     37148216 kB
Dirty:            3980 kB
Writeback:           0 kB
AnonPages:     1640236 kB
Mapped:          11880 kB
Slab:           182144 kB
PageTables:      88800 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 87739708 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73948 MiB
End job on node104 at 2011-06-04 11:52:24