Trace number 3734949

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB09: bsolo 3.1SAT28 1798 1798.28

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
MD5SUMa70b0edfadf87ffd0bc1b32400cae43b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark1798.7
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
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 constraints14
Minimum length of a constraint74
Maximum length of a constraint76
Number of terms in the objective function 112
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 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1648
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5454
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3734949-1338718162.opb
0.00/0.00	c File size is 10354 bytes.
0.00/0.00	c Highest Coefficient sum: 5454
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 172 Constr: 14 0/0/14 Lit: 1058 Watch. Lit: 312
0.00/0.00	c Obj. Vars: 112 (65.1163 % of total variables)
0.00/0.00	c Pre-processing Time: 0.001 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    172       14     1058   75      322    2116      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 643
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c        0    172       15     1170   78      728    2340      1      0 0.00
0.00/0.07	c      100    172      123     7972   64     1013    2575    109   6250 0.02
0.00/0.07	c      352    172      381    24527   64     1544    2833    367   6769 0.05
0.00/0.07	o 641
0.08/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.08	c      491    172      526    33757   64     2029    2340    512   6460 0.08
0.08/0.08	o 639
0.08/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.08	c      517    172      554    35213   63     2191    2340    540   6382 0.08
0.08/0.08	o 608
0.08/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.09	c      534    172      572    36434   63     2294    2340    558   6357 0.08
0.08/0.09	o 428
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c      566    172      605    37990   62     2443    2340    591   6219 0.09
0.19/0.23	c      666    172      706    42929   60     2651    2575    692   6224 0.11
0.19/0.23	c      916    172      961    56530   58     3199    2833    947   6066 0.15
0.19/0.23	c     1391    172     1442    81833   56     4129    3117   1428   6021 0.23
0.19/0.23	o 418
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c     1424    172     1476    83259   56     4245    2340   1462   6008 0.24
0.19/0.24	o 416
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c     1436    172     1490    84292   56     4372    2340   1476   6008 0.24
0.19/0.29	c     1536    172     1592    90940   57     4612    2575   1578   5930 0.26
0.19/0.29	o 414
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c     1689    172     1746    99069   56     5029    2340   1732   5764 0.29
0.29/0.32	c     1791    172     1855   105366   56     5377    2575   1841   5667 0.32
0.29/0.32	o 391
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c     1806    172     1872   106394   56     5472    2340   1858   5643 0.32
0.29/0.38	c     1906    172     1973   110383   55     5762    2575   1959   5605 0.34
0.29/0.38	o 390
0.39/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.40	c     2104    172     2173   121035   55     6175    2340   2159   5450 0.39
0.39/0.40	o 388
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c     2188    172     2258   124991   55     6440    2340   2244   5415 0.40
0.39/0.41	o 387
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c     2224    172     2297   128180   55     6667    2340   2283   5384 0.41
0.39/0.48	c     2325    172     1185    63117   53     3110    2575   1171   5320 0.44
0.39/0.48	o 359
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c     2556    172     1417    74419   52     3664    2340   1403   5270 0.48
0.49/0.53	c     2656    172     1518    79351   52     3885    2575   1504   5269 0.50
0.49/0.53	o 340
0.49/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.56	c     2823    172     1689    88156   52     4340    2340   1675   5266 0.54
0.49/0.56	c     2924    172     1790    92344   51     4551    2575   1776   5297 0.55
0.49/0.56	o 321
0.49/0.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.58	c     3001    172     1869    96238   51     4809    2340   1855   5283 0.57
0.49/0.58	c     3101    172     1969    99845   50     5019    2575   1955   5291 0.59
0.49/0.58	o 296
0.49/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.59	c     3104    172     1973   100064   50     5119    2340   1959   5287 0.59
0.49/0.59	o 282
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c     3127    172     1997   101211   50     5272    2340   1983   5282 0.59
0.59/0.60	o 280
0.59/0.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.62	c     3178    172     2051   104908   51     5499    2340   2037   5270 0.60
0.59/0.62	c     3278    172     2152   109027   50     5700    2575   2138   5278 0.62
0.59/0.62	o 267
1.19/1.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.22	c     3305    172     2180   110312   50     5833    2340   2166   5271 0.63
1.19/1.22	c     3406    172     2282   114229   50     6050    2575   2268   5288 0.64
1.19/1.22	c     3656    172     2534   125123   49     6616    2833   2520   5252 0.70
1.19/1.22	c     4134    172     1544    72887   47     3971    3117   1530   5167 0.80
1.19/1.22	c     4947    172     2367   110913   46     5629    3429   2353   5246 0.94
1.19/1.22	c     6267    172     1924    93244   48     4675    3772   1910   5179 1.21
1.19/1.22	o 251
1.19/1.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.27	c     6325    172     1983    95612   48     4900    2340   1969   5180 1.22
1.19/1.27	c     6426    172     2087   102011   48     5131    2575   2073   5173 1.24
1.19/1.27	o 249
1.39/1.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.41	c     6585    172     2254   111883   49     5642    2340   2240   5176 1.27
1.39/1.41	c     6686    172     1185    58379   49     3225    2575   1171   5174 1.29
1.39/1.41	c     6936    172     1440    69604   48     3744    2833   1426   5191 1.34
1.39/1.41	o 247
1.39/1.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.44	c     7375    172     1899    94970   50     4877    2340   1885   5212 1.42
1.39/1.44	c     7475    172     2000    98483   49     5065    2575   1986   5223 1.43
1.39/1.44	o 246
1.39/1.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.48	c     7549    172     2077   103405   49     5359    2340   2063   5220 1.45
1.39/1.48	c     7651    172     2187   110728   50     5667    2575   2173   5208 1.47
1.39/1.48	o 240
1.49/1.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.50	c     7721    172     2261   113481   50     5934    2340   2247   5216 1.48
1.49/1.50	o 238
1.49/1.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.53	c     7820    172     1185    62975   53     3272    2340   1171   5202 1.50
1.49/1.53	c     7920    172     1286    69101   53     3484    2575   1272   5207 1.52
1.49/1.53	o 224
1.49/1.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.56	c     8002    172     1371    72831   53     3736    2340   1357   5219 1.53
1.49/1.56	c     8102    172     1473    77824   52     3982    2575   1459   5233 1.55
1.49/1.56	o 200
1.49/1.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.56	c     8175    172     1547    81101   52     4238    2340   1533   5240 1.56
1.49/1.56	o 158
1.49/1.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.56	c     8187    172     1560    81950   52     4372    2340   1546   5238 1.56
1.49/1.56	o 156
1.49/1.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.57	c     8201    172     1575    82887   52     4518    2340   1561   5236 1.57
1.49/1.57	o 154
1.49/1.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.58	c     8228    172     1603    84247   52     4689    2340   1589   5234 1.57
1.49/1.58	o 152
1.59/1.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.65	c     8288    172     1665    88736   53     4941    2340   1651   5229 1.58
1.59/1.65	c     8390    172     1769    92636   52     5137    2575   1755   5243 1.60
1.59/1.65	c     8640    172     2026   104700   51     5665    2833   2012   5223 1.65
1.59/1.65	o 150
1.59/1.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.66	c     8652    172     2039   105434   51     5786    2340   2025   5221 1.66
1.59/1.66	o 148
1.79/1.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.83	c     8664    172     2053   106216   51     5940    2340   2039   5222 1.66
1.79/1.83	c     8765    172     2160   112751   52     6215    2575   2146   5201 1.69
1.79/1.83	c     9016    172     2414   122965   50     6720    2833   2400   5214 1.73
1.79/1.83	c     9492    172     1432    66162   46     3622    3117   1418   5195 1.83
1.79/1.83	o 146
1.79/1.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.85	c     9540    172     1482    68517   46     3836    2340   1468   5198 1.83
1.79/1.85	o 144
1.79/1.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.85	c     9623    172     1567    72573   46     4116    2340   1553   5204 1.85
1.79/1.85	o 142
1.79/1.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.87	c     9651    172     1596    74335   46     4282    2340   1582   5202 1.85
1.79/1.87	o 139
1.89/1.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.90	c     9742    172     1688    77909   46     4562    2340   1674   5215 1.87
1.89/1.90	c     9842    172     1790    85594   47     4799    2575   1776   5212 1.89
1.89/1.90	o 137
2.20/2.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.20/2.27	c     9961    172     1910    89871   47     5144    2340   1896   5226 1.91
2.20/2.27	c    10062    172     2012    95070   47     5356    2575   1998   5224 1.93
2.20/2.27	c    10312    172     2268   107167   47     5915    2833   2254   5231 1.97
2.20/2.27	c    10788    172     2753   127098   46     6898    3117   2739   5234 2.06
2.20/2.27	c    11601    172     1970    91881   46     4833    3429   1956   5211 2.23
2.20/2.27	o 131
2.20/2.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.20/2.27	c    11818    172     2198   102210   46     5423    2340   2184   5208 2.27
2.20/2.27	o 129
4.78/4.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.78/4.88	c    11828    172     2210   102822   46     5558    2340   2196   5205 2.27
4.78/4.88	c    11928    172     2313   107192   46     5748    2575   2299   5206 2.29
4.78/4.88	c    12178    172     2565   117145   45     6232    2833   2551   5195 2.34
4.78/4.88	c    12654    172     1588    69515   43     3914    3117   1574   5177 2.44
4.78/4.88	c    13467    172     2408   103862   43     5551    3429   2394   5175 2.60
4.78/4.88	c    14787    172     1963    83007   42     4644    3772   1949   5146 2.87
4.78/4.88	c    16868    172     2145    91075   42     5075    4150   2131   5119 3.29
4.78/4.88	c    20091    172     3271   132628   40     7278    4566   3257   5107 3.93
4.78/4.88	o 128
5.19/5.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.19/5.26	c    24557    172     3122   136388   43     7378    2340   3108   5038 4.87
5.19/5.26	c    24657    166     1285    61832   48     3509    2575   1271   5035 4.90
5.19/5.26	c    24907    165     1539    71694   46     4031    2833   1525   5040 4.94
5.19/5.26	c    25382    163     2018    89261   44     4995    3117   2004   5045 5.03
5.19/5.26	c    26195    161     2840   122243   43     6633    3429   2826   5044 5.19
5.19/5.26	o 56
5.19/5.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.19/5.27	c    26537    160     3185   135440   42     7431    2316   3171   5046 5.26
5.19/5.27	o 54
8.18/8.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.18/8.29	c    26545    159     1193    47464   39     3185    2314   1179   5038 5.27
8.18/8.29	c    26646    154     1296    53324   41     3393    2546   1282   5039 5.29
8.18/8.29	c    26896    150     1546    63912   41     3886    2801   1532   5045 5.33
8.18/8.29	c    27371    149     2021    85042   42     4833    3082   2007   5054 5.42
8.18/8.29	c    28184    149     2834   123707   43     6459    3391   2820   5079 5.55
8.18/8.29	c    29504    149     2412   109938   45     5507    3731   2398   5098 5.79
8.18/8.29	c    31586    148     2579   114622   44     5842    4105   2565   5100 6.19
8.18/8.29	c    34809    144     3707   160481   43     8145    4516   3693   5074 6.86
8.18/8.29	c    39746    144     4046   176550   43     8786    4968   4032   5006 7.94
8.18/8.29	o 53
8.28/8.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.28/8.33	c    41351    144     3129   137672   43     7082    2284   3115   4986 8.29
8.28/8.33	c    41452    144     1290    59429   46     3322    2513   1276   4985 8.31
8.28/8.33	o 51
8.28/8.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.28/8.33	c    41511    144     1353    63810   47     3576    2284   1339   4986 8.32
8.28/8.33	o 49
9.68/9.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.68/9.73	c    41512    144     1355    63974   47     3664    2284   1341   4986 8.32
9.68/9.73	c    41613    144     1463    70907   48     3920    2513   1449   4989 8.34
9.68/9.73	c    41863    144     1713    82659   48     4423    2765   1699   4994 8.38
9.68/9.73	c    42338    144     2188   105447   48     5374    3042   2174   5007 8.46
9.68/9.73	c    43151    144     3001   143717   47     7002    3347   2987   5019 8.60
9.68/9.73	c    44471    144     2608   119576   45     5884    3682   2594   5029 8.84
9.68/9.73	c    46553    144     2799   125476   44     6264    4051   2785   5028 9.26
9.68/9.73	o 47
9.68/9.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.68/9.74	c    48769    144     2940   138260   47     6631    2284   2926   5015 9.72
9.68/9.74	o 45
9.68/9.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.68/9.74	c    48813    144     1233    58485   47     3218    2284   1219   5013 9.74
9.68/9.74	o 43
187.35/187.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
187.35/187.40	c    48815    144     1236    58726   47     3300    2284   1222   5012 9.74
187.35/187.40	c    48917    144     1338    63150   47     3507    2513   1324   5013 9.76
187.35/187.40	c    49167    144     1588    74186   46     4011    2765   1574   5017 9.80
187.35/187.40	c    49642    144     2063    94757   45     4960    3042   2049   5019 9.89
187.35/187.40	c    50455    144     2880   129736   45     6588    3347   2866   5018 10.05
187.35/187.40	c    51775    144     2482   106646   42     5634    3682   2468   5013 10.33
187.35/187.40	c    53857    144     2686   108742   40     6037    4051   2672   5012 10.74
187.35/187.40	c    57080    144     3835   163236   42     8338    4457   3821   5014 11.38
187.35/187.40	c    62016    144     4263   189245   44     9194    4903   4249   5007 12.38
187.35/187.40	c    69522    144     4308   199863   46     9286    5394   4294   4998 13.91
187.35/187.40	c    80883    144     4709   201089   42    10080    5934   4695   4962 16.30
187.35/187.40	c    98028    144     3789   165867   43     8251    6528   3775   4918 19.93
187.35/187.40	c   123847    144     6482   286055   44    13633    7181   6468   4868 25.44
187.35/187.40	c   162679    144     5379   236425   43    11439    7900   5365   4724 34.43
187.35/187.40	c   221031    144     7870   345854   43    16428    8691   7856   4598 48.06
187.35/187.40	c   308665    144     7822   347046   44    16322    9561   7808   4540 67.98
187.35/187.40	c   440218    144     9236   406391   44    19139   10518   9222   4451 98.90
187.35/187.40	c   637650    144    10550   481517   45    21764   11570  10536   4370 145.91
187.35/187.40	o 42
286.84/286.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
286.84/286.90	c   808506    144     6653   314099   47    14087    2284   6639   4315 187.36
286.84/286.90	c   808606    144     1286    56507   43     3266    2513   1272   4314 187.41
286.84/286.90	c   808856    144     1536    65839   42     3765    2765   1522   4314 187.45
286.84/286.90	c   809331    144     2011    85891   42     4715    3042   1997   4315 187.53
286.84/286.90	c   810144    144     2826   119874   42     6342    3347   2812   4316 187.67
286.84/286.90	c   811464    144     2427   101570   41     5518    3682   2413   4318 187.89
286.84/286.90	c   813545    144     2622   108628   41     5911    4051   2608   4321 188.25
286.84/286.90	c   816769    144     3779   157446   41     8231    4457   3765   4325 188.81
286.84/286.90	c   821705    144     4186   175938   42     9040    4903   4172   4331 189.72
286.84/286.90	c   829211    144     4221   181650   43     9108    5394   4207   4339 191.10
286.84/286.90	c   840572    144     4622   198560   42     9894    5934   4608   4351 193.17
286.84/286.90	c   857716    144     3704   160835   43     8069    6528   3690   4365 196.46
286.84/286.90	c   883536    144     6417   279818   43    13511    7181   6403   4384 201.52
286.84/286.90	c   922369    144     5284   229653   43    11239    7900   5270   4407 209.27
286.84/286.90	c   980721    144     7765   341155   43    16199    8691   7751   4431 221.29
286.84/286.90	c  1068353    144     7686   356363   46    16031    9561   7672   4454 239.83
286.84/286.90	c  1199905    144     9087   406837   44    18841   10518   9073   4452 269.48
286.84/286.90	o 41
420.13/420.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
420.13/420.27	c  1273590    144     8598   381361   44    18061    2284   8584   4439 286.85
420.13/420.27	c  1273690    144     1285    60566   47     3352    2513   1271   4439 286.90
420.13/420.27	c  1273941    144     1536    70519   45     3852    2765   1522   4439 286.94
420.13/420.27	c  1274417    144     2012    91292   45     4801    3042   1998   4440 287.02
420.13/420.27	c  1275231    144     2828   127696   45     6448    3347   2814   4440 287.16
420.13/420.27	c  1276551    144     2440   109038   44     5557    3682   2426   4441 287.39
420.13/420.27	c  1278633    144     2639   117436   44     5946    4051   2625   4443 287.75
420.13/420.27	c  1281856    144     3795   170386   44     8259    4457   3781   4446 288.30
420.13/420.27	c  1286793    144     4187   186667   44     9032    4903   4173   4450 289.16
420.13/420.27	c  1294299    144     4230   180691   42     9124    5394   4216   4455 290.49
420.13/420.27	c  1305660    144     4640   197239   42     9944    5934   4626   4465 292.42
420.13/420.27	c  1322805    144     3744   174562   46     8147    6528   3730   4476 295.50
420.13/420.27	c  1348624    144     6431   272796   42    13527    7181   6417   4489 300.41
420.13/420.27	c  1387457    144     5317   235269   44    11298    7900   5303   4499 308.38
420.13/420.27	c  1445809    144     7779   330022   42    16219    8691   7765   4501 321.18
420.13/420.27	c  1533442    144     7703   351009   45    16059    9561   7689   4511 339.90
420.13/420.27	c  1664995    144     9071   420259   46    18811   10518   9057   4513 368.90
420.13/420.27	c  1862427    144    10412   473837   45    21489   11570  10398   4499 413.92
420.13/420.27	o 39
482.81/482.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
482.81/482.98	c  1889136    144     7997   355769   44    16748    2284   7983   4495 420.20
482.81/482.98	c  1889236    144     1285    56582   44     3235    2513   1271   4495 420.27
482.81/482.98	c  1889486    144     1535    66506   43     3740    2765   1521   4495 420.31
482.81/482.98	c  1889961    144     2010    86291   42     4689    3042   1996   4495 420.38
482.81/482.98	c  1890776    144     2825   118357   41     6312    3347   2811   4496 420.51
482.81/482.98	c  1892097    144     2420    95933   39     5500    3682   2406   4497 420.72
482.81/482.98	c  1894178    144     2626   109613   41     5910    4051   2612   4498 421.04
482.81/482.98	c  1897401    144     3777   163399   43     8208    4457   3763   4501 421.52
482.81/482.98	c  1902337    144     4195   176119   41     9037    4903   4181   4504 422.30
482.81/482.98	c  1909843    144     4237   184168   43     9144    5394   4223   4508 423.58
482.81/482.98	c  1921206    144     4654   203566   43     9979    5934   4640   4514 425.57
482.81/482.98	c  1938350    144     3752   179112   47     8164    6528   3738   4521 428.74
482.81/482.98	c  1964169    144     6419   280616   43    13511    7181   6405   4528 433.75
482.81/482.98	c  2003001    144     5301   231255   43    11271    7900   5287   4539 441.21
482.81/482.98	c  2061353    144     7775   350735   45    16221    8691   7761   4549 453.11
482.81/482.98	c  2148986    144     7639   361499   47    15946    9561   7625   4564 470.79
482.81/482.98	o 34
482.90/483.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
482.90/483.01	c  2204672    144     5450   227202   41    11658    2284   5436   4565 482.90
482.90/483.01	o 30
482.90/483.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
482.90/483.01	c  2204682    144     1196    49579   41     3143    2284   1182   4565 482.93
482.90/483.01	o 28
1797.91/1798.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.28	c  2204708    143     1223    51116   41     3277    2282   1209   4565 482.93
1797.91/1798.28	c  2204809    137     1324    55939   42     3473    2511   1310   4565 482.95
1797.91/1798.28	c  2205060    136     1575    68021   43     3967    2763   1561   4565 482.99
1797.91/1798.28	c  2205535    135     2050    91342   44     4919    3040   2036   4565 483.07
1797.91/1798.28	c  2206348    135     2863   131294   45     6541    3345   2849   4566 483.21
1797.91/1798.28	c  2207668    135     2473   119990   48     5599    3680   2459   4566 483.44
1797.91/1798.28	c  2209750    132     2669   131009   49     5993    4049   2655   4567 483.77
1797.91/1798.28	c  2212973    132     3820   189756   49     8289    4454   3806   4569 484.30
1797.91/1798.28	c  2217909    130     4228   209454   49     9105    4900   4214   4571 485.12
1797.91/1798.28	c  2225415    130     4268   212316   49     9186    5391   4254   4574 486.43
1797.91/1798.28	c  2236776    130     4681   230727   49    10002    5931   4667   4579 488.47
1797.91/1798.28	c  2253920    130     3790   179625   47     8217    6525   3776   4584 491.60
1797.91/1798.28	c  2279740    130     6493   296224   45    13626    7178   6479   4594 496.23
1797.91/1798.28	c  2318572    130     5394   256939   47    11427    7896   5380   4601 503.88
1797.91/1798.28	c  2376924    130     7870   384064   48    16391    8686   7856   4599 516.76
1797.91/1798.28	c  2464557    130     7760   382988   49    16171    9555   7746   4601 535.57
1797.91/1798.28	c  2596109    130     9221   430767   46    19073   10511   9207   4617 562.19
1797.91/1798.28	c  2793542    130     5413   253446   46    11468   11563   5399   4610 605.88
1797.91/1798.28	c  3089795    130    10599   504073   47    21847   12720  10585   4572 675.72
1797.91/1798.28	c  3534277    130     7112   338141   47    14861   13993   7098   4507 784.15
1797.91/1798.28	c  4201104    130    12513   594760   47    25664   15393  12499   4357 964.16
1797.91/1798.28	c  5201449    130    14748   707779   47    30126   16933  14734   4161 1249.91
1797.91/1798.28	c  6702072    130     9745   472213   48    20140   18627   9731   3958 1693.17
1797.91/1798.28	c Resources Exceeded
1797.91/1798.28	v -x1 x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 x114 x115 -x116 x117 -x118 -x119 -x120 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 x147 -x148 -x149 -x150 -x151 x152 x153 x154 -x155 x156 x157 -x158 x159 x160 x161 x162 -x163 -x164 x165 x166 -x167 x168 x169 -x170 x171 -x172 
1797.91/1798.28	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.28	c  203  7044380 102397  7165726    15348   727920  15334   3917 1798.00
1797.91/1798.28	c Objective: 28
1797.91/1798.28	s SATISFIABLE
1797.91/1798.28	c Total time: 1798 s

Verifier Data 

OK	28

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734949-1338718162/watcher-3734949-1338718162 -o /tmp/evaluation-result-3734949-1338718162/solver-3734949-1338718162 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3734949-1338718162.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.03 2.08 1.98 3/176 1201
/proc/meminfo: memFree=27261488/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=18604 CPUtime=0 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 301 0 0 0 0 0 0 0 20 0 1 0 337941684 19050496 251 33554432000 134512640 137136520 4291458384 4291454792 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1201/statm: 4651 251 196 641 0 4007 0

[startup+0.08279 s]
/proc/loadavg: 2.03 2.08 1.98 3/176 1201
/proc/meminfo: memFree=27261488/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=11284 CPUtime=0.08 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 424 0 0 0 8 0 0 0 20 0 1 0 337941684 11554816 374 33554432000 134512640 137136520 4291458384 4291457312 134543927 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1201/statm: 2821 374 197 641 0 2177 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11284

[startup+0.100213 s]
/proc/loadavg: 2.03 2.08 1.98 3/176 1201
/proc/meminfo: memFree=27261488/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=11284 CPUtime=0.09 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 444 0 0 0 9 0 0 0 20 0 1 0 337941684 11554816 394 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1201/statm: 2821 394 197 641 0 2177 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11284

[startup+0.300177 s]
/proc/loadavg: 2.03 2.08 1.98 3/176 1201
/proc/meminfo: memFree=27261488/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=12284 CPUtime=0.29 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 670 0 0 0 29 0 0 0 20 0 1 0 337941684 12578816 620 33554432000 134512640 137136520 4291458384 4291457312 134543927 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1201/statm: 3071 620 197 641 0 2427 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12284

[startup+0.700175 s]
/proc/loadavg: 2.03 2.08 1.98 3/176 1201
/proc/meminfo: memFree=27261488/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=12784 CPUtime=0.69 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 795 0 0 0 69 0 0 0 20 0 1 0 337941684 13090816 745 33554432000 134512640 137136520 4291458384 4291457312 134544390 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1201/statm: 3196 745 197 641 0 2552 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12784

[startup+1.50018 s]
/proc/loadavg: 2.03 2.08 1.98 3/177 1202
/proc/meminfo: memFree=27259116/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=13288 CPUtime=1.49 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 924 0 0 0 149 0 0 0 20 0 1 0 337941684 13606912 874 33554432000 134512640 137136520 4291458384 4291457312 134544425 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1201/statm: 3322 874 197 641 0 2678 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13288

[startup+3.10015 s]
/proc/loadavg: 2.03 2.08 1.98 3/177 1202
/proc/meminfo: memFree=27258480/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=13288 CPUtime=3.09 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 924 0 0 0 308 1 0 0 20 0 1 0 337941684 13606912 874 33554432000 134512640 137136520 4291458384 4291456980 136500571 0 0 4096 16384 0 0 0 17 6 0 0 0 0 0
/proc/1201/statm: 3322 874 197 641 0 2678 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13288

[startup+6.30017 s]
/proc/loadavg: 2.02 2.08 1.98 3/177 1202
/proc/meminfo: memFree=27257860/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=13660 CPUtime=6.29 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 1039 0 0 0 627 2 0 0 20 0 1 0 337941684 13987840 989 33554432000 134512640 137136520 4291458384 4291456056 134598538 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1201/statm: 3415 989 197 641 0 2771 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13660

[startup+12.7002 s]
/proc/loadavg: 2.02 2.07 1.98 3/177 1202
/proc/meminfo: memFree=27257256/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=14156 CPUtime=12.68 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 1149 0 0 0 1265 3 0 0 20 0 1 0 337941684 14495744 1099 33554432000 134512640 137136520 4291458384 4291455424 134600365 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1201/statm: 3539 1099 197 641 0 2895 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14156

[startup+25.5002 s]
/proc/loadavg: 2.02 2.07 1.98 3/177 1202
/proc/meminfo: memFree=27256200/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=15272 CPUtime=25.48 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 1437 0 0 0 2541 7 0 0 20 0 1 0 337941684 15638528 1386 33554432000 134512640 137136520 4291458384 4291457312 134544148 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/1201/statm: 3818 1386 197 641 0 3174 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15272

[startup+51.1002 s]
/proc/loadavg: 2.01 2.06 1.98 3/177 1205
/proc/meminfo: memFree=27254896/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=16732 CPUtime=51.08 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 1791 0 0 0 5093 15 0 0 20 0 1 0 337941684 17133568 1739 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 4183 1739 197 641 0 3539 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16732

[startup+102.306 s]
/proc/loadavg: 2.00 2.05 1.98 3/177 1206
/proc/meminfo: memFree=27253408/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=17956 CPUtime=102.27 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 2099 0 0 0 10198 29 0 0 20 0 1 0 337941684 18386944 2047 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 4489 2047 197 641 0 3845 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 17956

[startup+162.3 s]
/proc/loadavg: 2.00 2.04 1.98 3/177 1206
/proc/meminfo: memFree=27252228/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=18988 CPUtime=162.26 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 2401 0 0 0 16181 45 0 0 20 0 1 0 337941684 19443712 2324 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 4747 2324 197 641 0 4103 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 18988

[startup+222.3 s]
/proc/loadavg: 2.00 2.03 1.98 3/177 1206
/proc/meminfo: memFree=27250988/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=19056 CPUtime=222.24 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 2441 0 0 0 22162 62 0 0 20 0 1 0 337941684 19513344 2343 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 4764 2343 197 641 0 4120 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 19056

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/177 1206
/proc/meminfo: memFree=27250988/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=19056 CPUtime=282.24 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 2441 0 0 0 28143 81 0 0 20 0 1 0 337941684 19513344 2343 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 4764 2343 197 641 0 4120 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 19056

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/177 1206
/proc/meminfo: memFree=27249932/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=19056 CPUtime=342.23 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 2441 0 0 0 34127 96 0 0 20 0 1 0 337941684 19513344 2343 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 4764 2343 197 641 0 4120 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 19056

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/177 1207
/proc/meminfo: memFree=27249808/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=19056 CPUtime=402.23 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 2441 0 0 0 40109 114 0 0 20 0 1 0 337941684 19513344 2343 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 4764 2343 197 641 0 4120 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 19056

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/177 1207
/proc/meminfo: memFree=27249312/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=18992 CPUtime=462.21 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 2441 0 0 0 46090 131 0 0 20 0 1 0 337941684 19447808 2327 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 4748 2327 197 641 0 4104 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 18992

[startup+522.3 s]
/proc/loadavg: 2.04 2.02 1.98 3/177 1207
/proc/meminfo: memFree=27248940/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=18860 CPUtime=522.2 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 2441 0 0 0 52072 148 0 0 20 0 1 0 337941684 19312640 2294 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 4715 2294 197 641 0 4071 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 18860

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/178 1208
/proc/meminfo: memFree=27248248/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=18860 CPUtime=582.19 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 2441 0 0 0 58054 165 0 0 20 0 1 0 337941684 19312640 2294 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 4715 2294 197 641 0 4071 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 18860

[startup+642.3 s]

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

/proc/meminfo: memFree=27244060/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=22556 CPUtime=1122.12 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 3418 0 0 0 111923 289 0 0 20 0 1 0 337941684 23097344 3209 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 5639 3209 197 641 0 4995 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 22556

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1214
/proc/meminfo: memFree=27243556/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=22556 CPUtime=1182.1 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 3418 0 0 0 117909 301 0 0 20 0 1 0 337941684 23097344 3209 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 5639 3209 197 641 0 4995 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 22556

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1217
/proc/meminfo: memFree=27242988/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=22556 CPUtime=1242.09 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 3418 0 0 0 123895 314 0 0 20 0 1 0 337941684 23097344 3209 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 5639 3209 197 641 0 4995 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 22556

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1218
/proc/meminfo: memFree=27241260/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=23532 CPUtime=1302.09 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 3669 0 0 0 129881 328 0 0 20 0 1 0 337941684 24096768 3460 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 5883 3460 197 641 0 5239 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 23532

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 1218
/proc/meminfo: memFree=27241384/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=23636 CPUtime=1362.07 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 3682 0 0 0 135867 340 0 0 20 0 1 0 337941684 24203264 3473 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 5909 3473 197 641 0 5265 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 23636

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 1218
/proc/meminfo: memFree=27241384/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=23636 CPUtime=1422.07 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 3688 0 0 0 141853 354 0 0 20 0 1 0 337941684 24203264 3479 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 5909 3479 197 641 0 5265 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 23636

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1218
/proc/meminfo: memFree=27241012/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=23712 CPUtime=1482.06 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 3709 0 0 0 147839 367 0 0 20 0 1 0 337941684 24281088 3500 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 5928 3500 197 641 0 5284 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 23712

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1218
/proc/meminfo: memFree=27241136/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=23640 CPUtime=1542.05 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 3709 0 0 0 153824 381 0 0 20 0 1 0 337941684 24207360 3489 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 5910 3489 197 641 0 5266 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 23640

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1315
/proc/meminfo: memFree=27242724/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=23628 CPUtime=1602.04 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 3709 0 0 0 159809 395 0 0 20 0 1 0 337941684 24195072 3486 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 5907 3486 197 641 0 5263 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 23628

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1315
/proc/meminfo: memFree=27205712/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=23596 CPUtime=1662.03 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 3737 0 0 0 165795 408 0 0 20 0 1 0 337941684 24162304 3478 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 5899 3478 197 641 0 5255 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 23596

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1315
/proc/meminfo: memFree=27186596/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=24416 CPUtime=1722.02 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 3934 0 0 0 171781 421 0 0 20 0 1 0 337941684 25001984 3675 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 6104 3675 197 641 0 5460 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 24416

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1315
/proc/meminfo: memFree=27170280/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=24540 CPUtime=1782.02 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 3972 0 0 0 177767 435 0 0 20 0 1 0 337941684 25128960 3712 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 6135 3712 197 641 0 5491 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 24540

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1315
/proc/meminfo: memFree=27168348/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=24668 CPUtime=1791.62 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 3995 0 0 0 178725 437 0 0 20 0 1 0 337941684 25260032 3735 33554432000 134512640 137136520 4291458384 4291457424 134540859 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 6167 3735 197 641 0 5523 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 24668

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1315
/proc/meminfo: memFree=27167480/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=24668 CPUtime=1794.81 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 3995 0 0 0 179044 437 0 0 20 0 1 0 337941684 25260032 3735 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 6167 3735 197 641 0 5523 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 24668

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1315
/proc/meminfo: memFree=27167108/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=24668 CPUtime=1796.41 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 3995 0 0 0 179203 438 0 0 20 0 1 0 337941684 25260032 3735 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 6167 3735 197 641 0 5523 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 24668

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1315
/proc/meminfo: memFree=27166860/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=24668 CPUtime=1797.21 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 3995 0 0 0 179283 438 0 0 20 0 1 0 337941684 25260032 3735 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 6167 3735 197 641 0 5523 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 24668

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1315
/proc/meminfo: memFree=27166860/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=24668 CPUtime=1797.61 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 3995 0 0 0 179323 438 0 0 20 0 1 0 337941684 25260032 3735 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 6167 3735 197 641 0 5523 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 24668

[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1315
/proc/meminfo: memFree=27166860/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=24668 CPUtime=1797.81 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 3995 0 0 0 179343 438 0 0 20 0 1 0 337941684 25260032 3735 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 6167 3735 197 641 0 5523 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 24668

[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1315
/proc/meminfo: memFree=27166860/32873844 swapFree=7384/7384
[pid=1201] ppid=1199 vsize=24668 CPUtime=1797.91 cores=0,2,4,6
/proc/1201/stat : 1201 (bsolo) R 1199 1201 797 0 -1 4202496 3995 0 0 0 179353 438 0 0 20 0 1 0 337941684 25260032 3735 33554432000 134512640 137136520 4291458384 4291457500 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/1201/statm: 6167 3735 197 641 0 5523 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 24668

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.61
system time used= 4.38733
maximum resident set size= 14944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3997
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= 7
involuntary context switches= 1960

runsolver used 2.73158 second user time and 7.07892 second system time

The end

Launcher Data 

Begin job on node136 at 2012-06-03 12:09:22
IDJOB=3734949
IDBENCH=2924
IDSOLVER=2320
FILE ID=node136/3734949-1338718162
RUNJOBID= node136-1338714359-813
PBS_JOBID= 14636754
Free space on /tmp= 69816 MiB

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

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

MD5SUM BENCH= a70b0edfadf87ffd0bc1b32400cae43b
RANDOM SEED=1093306299

node136.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27262224 kB
Buffers:         1255728 kB
Cached:          3422580 kB
SwapCached:        20316 kB
Active:          2692400 kB
Inactive:        2028456 kB
Active(anon):      15060 kB
Inactive(anon):    22312 kB
Active(file):    2677340 kB
Inactive(file):  2006144 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108856 kB
SwapFree:       67083208 kB
Dirty:              3912 kB
Writeback:             0 kB
AnonPages:         23248 kB
Mapped:            10556 kB
Shmem:                 0 kB
Slab:             751844 kB
SReclaimable:     192948 kB
SUnreclaim:       558896 kB
KernelStack:        1504 kB
PageTables:         4228 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     145292 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3734949-1338718162.opb

Free space on /tmp at the end= 69812 MiB
End job on node136 at 2012-06-03 12:39:21