Trace number 3731143

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.1SAT47122 1798.01 1798.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-cracpb1.opb
MD5SUM75f6d21683e6eb738b98c93cf5598ff3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark22199
Best CPU time to get the best result obtained on this benchmark0.202968
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 22199
Optimality of the best value was proved YES
Number of variables572
Total number of constraints126
Number of constraints which are clauses3
Number of constraints which are cardinality constraints (but not clauses)54
Number of constraints which are nor clauses,nor cardinality constraints69
Minimum length of a constraint4
Maximum length of a constraint518
Number of terms in the objective function 572
Biggest coefficient in the objective function 5000
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 547769
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 5000
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 547769
Number of bits of the biggest sum of numbers20
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-3731143-1338687786.opb
0.00/0.00	c File size is 42319 bytes.
0.00/0.00	c Highest Coefficient sum: 547769
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 572 Constr: 215 58/153/4 Lit: 6215 Watch. Lit: 2659
0.00/0.00	c Obj. Vars: 572 (100 % of total variables)
0.00/0.01	c Pre-processing Time: 0.012 s
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c        0    566      215     6215   28     2683   23030      0      0 0.01
0.00/0.03	c Initial Lower Bound: 22199
0.00/0.03	c Initial Path Cost: 0
0.10/0.11	c      101    566      330    12777   38     3357   25334    115   2195 0.05
0.10/0.11	c      253    566      486    58105  119     3994   27868    271   2342 0.11
0.10/0.11	o 208637
0.49/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.56	c      257    566      493    58901  119     4602   24396    278   2336 0.11
0.49/0.56	o 208248
0.99/1.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.02	c      257    566      494    59467  120     4952   24396    279    456 0.56
0.99/1.02	o 204643
1.39/1.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.40	c      258    566      497    60788  122     5273   24396    282    251 1.03
1.39/1.40	o 76197
2.09/2.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.15	c      258    566      498    61354  123     5574   24396    283    183 1.41
2.09/2.15	o 73811
2.49/2.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.52	c      315    566      633   104568  165     6077   24396    418    146 2.15
2.49/2.52	o 71449
3.29/3.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.29/3.30	c      315    566      634   105134  165     6387   24396    419    124 2.52
3.29/3.30	o 70622
4.50/4.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.50/4.57	c      363    566      739   138084  186     6976   24396    524    109 3.31
4.50/4.57	c      463    566      968   216109  223     8201   26836    753    109 4.25
4.50/4.57	o 70258
5.09/5.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.09/5.14	c      464    566      972   217308  223     8504   24396    757    101 4.58
5.09/5.14	o 67326
8.59/8.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.59/8.64	c      487    566     1040   242523  233     8952   24396    825     94 5.14
8.59/8.64	c      587    566     1220   303547  248     9701   26836   1005     99 5.91
8.59/8.64	c      837    566     1492   386178  258    10255   29520   1277    121 6.89
8.59/8.64	c     1313    566     2066   565706  273    11903   32473   1851    159 8.23
8.59/8.64	o 67171
9.68/9.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.68/9.80	c     1333    566     2121   585070  275    12445   24396   1906    154 8.64
9.68/9.80	c     1434    566     2239   608234  271    13059   26836   2024    153 9.31
9.68/9.80	o 67157
13.08/13.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
13.08/13.19	c     1447    566     2277   619566  272    13359   24396   2062    147 9.79
13.08/13.19	c     1547    566     2436   658027  270    14032   26836   2221    145 10.65
13.08/13.19	c     1798    566     2835   783013  276    15520   29520   2620    150 11.92
13.08/13.19	o 66957
26.50/26.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.50/26.50	c     1858    566     2971   820221  276    15992   24396   2756    140 13.19
26.50/26.50	c     1960    566     3248   909474  280    16759   26836   3033    133 14.68
26.50/26.50	c     2211    566     3538   949537  268    17620   29520   3323    135 16.28
26.50/26.50	c     2686    566     4280  1158621  270    19245   32473   4065    147 18.20
26.50/26.50	c     3502    566     5209  1371604  263    21620   35721   4994    168 20.79
26.50/26.50	o 66219
34.09/34.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
34.09/34.12	c     4494    566     7890  2261178  286    26622   24396   7675    169 26.50
34.09/34.12	c     4600    566     8149  2339959  287    27241   26836   7934    168 27.30
34.09/34.12	c     4852    566     8764  2535469  289    28412   29520   8549    166 29.13
34.09/34.12	c     5328    566     9972  3005685  301    32197   32473   9757    169 31.34
34.09/34.12	c     6141    566    11180  3426670  306    36250   35721  10965    182 33.62
34.09/34.12	o 64523
34.49/34.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
34.49/34.56	c     6170    566    11244  3447419  306    36758   24396  11029    180 34.11
34.49/34.56	o 64510
116.13/116.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
116.13/116.26	c     6190    566    11304  3468942  306    37266   24396  11089    179 34.55
116.13/116.26	c     6291    566    11456  3515944  306    37960   26836  11241    178 35.23
116.13/116.26	c     6541    566    12107  3731585  308    38837   29520  11892    176 36.99
116.13/116.26	c     7026    566    13341  4167283  312    42155   32473  13126    175 40.01
116.13/116.26	c     7840    566    14267  4421280  309    44864   35721  14052    185 42.20
116.13/116.26	c     9164    566    17332  5212599  300    50053   39294  17117    183 50.04
116.13/116.26	c    11246    566    20050  6022737  300    57651   43224  19835    200 56.08
116.13/116.26	c    14470    566    28209  9134585  323    74026   47547  27994    199 72.70
116.13/116.26	c    19408    566    37710 12366157  327    95598   52302  37495    198 97.67
116.13/116.26	c    26914    566    45369 14506849  319   111517   57533  45154    236 113.81
116.13/116.26	o 63171
122.33/122.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
122.33/122.40	c    27322    566    46458 14964435  322   114352   24396  46243    235 116.20
122.33/122.40	c    27422    566    12664  3661064  289    30615   26836  12449    232 117.71
122.33/122.40	c    27673    566    13015  3750483  288    31341   29520  12800    232 118.82
122.33/122.40	c    28148    566    13895  4067312  292    33404   32473  13680    232 121.14
122.33/122.40	o 62983
130.12/130.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
130.12/130.27	c    28307    566    14244  4181001  293    34763   24162  14029    231 122.34
130.12/130.27	c    28407    566    14483  4258690  294    35173   26579  14268    230 123.13
130.12/130.27	c    28657    566    14821  4369594  294    36078   29237  14606    230 124.07
130.12/130.27	c    29135    566    15737  4692046  298    38169   32161  15522    230 126.25
130.12/130.27	c    29949    566    17260  5237076  303    42031   35378  17045    230 129.75
130.12/130.27	o 62302
131.72/131.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
131.72/131.84	c    29971    566    17313  5256013  303    42588   24162  17098    230 130.21
131.72/131.84	c    30073    566    17457  5305378  303    42950   26579  17242    229 130.79
131.72/131.84	o 61746
162.10/162.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
162.10/162.25	c    30191    566    17714  5395618  304    44159   24162  17499    229 131.77
162.10/162.25	c    30291    566    17905  5466757  305    44670   26579  17690    228 132.38
162.10/162.25	c    30542    566    18258  5579636  305    45489   29237  18043    228 133.45
162.10/162.25	c    31047    566    19367  5941786  306    47427   32161  19152    227 136.40
162.10/162.25	c    31860    566    20240  6196944  306    49732   35378  20025    230 138.48
162.10/162.25	c    33180    566    22278  6904199  309    54411   38916  22063    233 142.33
162.10/162.25	c    35262    566    24993  7798567  312    60947   42808  24778    237 148.70
162.10/162.25	c    38485    566    30150  9493998  314    74646   47089  29935    238 161.18
162.10/162.25	o 61680
165.50/165.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
165.50/165.64	c    38638    566    30416  9571369  314    76144   24162  30201    238 162.16
165.50/165.64	c    38748    566    12544  3911035  311    34762   26579  12329    237 163.28
165.50/165.64	c    38999    566    12899  3990287  309    36496   29237  12684    236 164.70
165.50/165.64	o 58335
166.30/166.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
166.30/166.45	c    39066    566    13063  4041673  309    37372   24162  12848    235 165.56
166.30/166.45	o 58052
189.40/189.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
189.40/189.59	c    39134    566    13188  4079241  309    38040   24162  12973    235 166.37
189.40/189.59	c    39234    566    13394  4135846  308    38598   26579  13179    234 167.30
189.40/189.59	c    39492    566    14022  4298630  306    39566   29237  13807    233 169.38
189.40/189.59	c    39967    566    14996  4547852  303    42256   32161  14781    232 172.24
189.40/189.59	c    40781    566    16378  5003983  305    45415   35378  16163    232 175.45
189.40/189.59	c    42101    566    18760  5862900  312    51872   38916  18545    233 180.69
189.40/189.59	c    44183    566    21219  6537815  308    57537   42808  21004    237 186.06
189.40/189.59	o 57929
192.89/193.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
192.89/193.04	c    45172    566    22516  6952177  308    61113   24162  22301    238 189.50
192.89/193.04	c    45272    566    22759  7050282  309    61568   26579  22544    237 190.43
192.89/193.04	c    45523    566    23280  7256997  311    63111   29237  23065    237 191.97
192.89/193.04	o 57813
194.40/194.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
194.40/194.52	c    45666    566    23575  7377088  312    64233   24162  23360    236 192.96
194.40/194.52	c    45766    566    23792  7465469  313    64719   26579  23577    236 193.78
194.40/194.52	o 57744
202.60/202.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
202.60/202.79	c    45828    566    23925  7521465  314    65574   24162  23710    235 194.43
202.60/202.79	c    45928    566    24123  7598157  314    65978   26579  23908    235 195.24
202.60/202.79	c    46178    566    24625  7790249  316    67869   29237  24410    234 196.81
202.60/202.79	c    46653    566    25390  8064247  317    69952   32161  25175    234 199.10
202.60/202.79	c    47466    566    26428  8400130  317    72496   35378  26213    234 202.17
202.60/202.79	o 57201
205.60/205.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
205.60/205.76	c    47499    566    26516  8432473  318    73083   24162  26301    234 202.70
205.60/205.76	c    47599    566    12561  3767423  299    36110   26579  12346    233 203.61
205.60/205.76	c    47849    566    12986  3904241  300    37203   29237  12771    233 204.66
205.60/205.76	o 57116
251.69/251.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
251.69/251.83	c    48078    566    13336  4017993  301    38468   24162  13121    233 205.67
251.69/251.83	c    48178    566    13494  4066274  301    39038   26579  13279    233 206.43
251.69/251.83	c    48428    566    13989  4242208  303    40082   29237  13774    233 207.65
251.69/251.83	c    48903    566    14812  4525421  305    42205   32161  14597    233 209.49
251.69/251.83	c    49716    566    16214  5021436  309    46433   35378  15999    234 212.31
251.69/251.83	c    51041    566    19058  6111619  320    53779   38916  18843    234 217.59
251.69/251.83	c    53125    566    22545  7416831  328    61668   42808  22330    236 225.10
251.69/251.83	c    56349    566    26290  8504097  323    70393   47089  26075    242 232.81
251.69/251.83	c    61286    566    34379 11307054  328    92335   51798  34164    245 249.46
251.69/251.83	o 56842
307.98/308.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
307.98/308.16	c    62032    566    35432 11653300  328    95442   24162  35217    246 251.74
307.98/308.16	c    62132    566    12506  3851173  307    35928   26579  12291    245 252.66
307.98/308.16	c    62383    566    12779  3912997  306    36571   29237  12564    245 253.61
307.98/308.16	c    62858    566    13446  4127837  306    38059   32161  13231    246 255.11
307.98/308.16	c    63671    566    15339  4707534  306    42615   35378  15124    244 260.06
307.98/308.16	c    64991    566    17970  5628654  313    48247   38916  17755    244 265.63
307.98/308.16	c    67072    566    21849  6890622  315    58032   42808  21634    243 275.93
307.98/308.16	c    70296    566    26243  8292367  315    68577   47089  26028    246 285.62
307.98/308.16	c    75232    566    32756 10381183  316    83818   51798  32541    249 301.49
307.98/308.16	o 56824
318.18/318.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
318.18/318.33	c    76635    566    35036 11010649  314    89528   24162  34821    248 308.05
318.18/318.33	c    76735    566    12557  3707265  295    33257   26579  12342    248 309.07
318.18/318.33	c    76985    566    13028  3838484  294    34446   29237  12813    247 310.58
318.18/318.33	c    77461    566    13832  3999484  289    36168   32161  13617    247 312.67
318.18/318.33	c    78277    566    15304  4351524  284    39858   35378  15089    246 317.73
318.18/318.33	o 56666
336.28/336.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
336.28/336.41	c    78310    566    15388  4377040  284    40434   24162  15173    246 318.23
336.28/336.41	c    78410    566    15591  4444724  285    40983   26579  15376    245 318.91
336.28/336.41	c    78663    566    16203  4595884  283    42004   29237  15988    245 320.71
336.28/336.41	c    79138    566    17334  4959604  286    44260   32161  17119    244 323.81
336.28/336.41	c    79951    566    19349  5644098  291    48407   35378  19134    243 328.67
336.28/336.41	c    81271    566    20755  6016934  289    52009   38916  20540    245 331.34
336.28/336.41	o 54320
343.38/343.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
343.38/343.59	c    82633    566    22757  6640067  291    59208   24162  22542    245 336.30
343.38/343.59	c    82737    566    22939  6682754  291    60049   26579  22724    245 337.13
343.38/343.59	c    82997    566    23547  6834266  290    61002   29237  23332    244 339.06
343.38/343.59	c    83473    566    24371  7075761  290    62970   32161  24156    244 341.52
343.38/343.59	o 53773
350.27/350.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
350.27/350.46	c    83764    566    25070  7305709  291    65103   24162  24855    243 343.48
350.27/350.46	c    83877    566    12602  3370934  267    34574   26579  12387    243 344.57
350.27/350.46	c    84127    566    13265  3604026  271    35936   29237  13050    242 346.47
350.27/350.46	c    84612    566    14533  4035439  277    38555   32161  14318    241 349.94
350.27/350.46	o 53768
468.84/469.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
468.84/469.05	c    84626    566    14576  4051351  277    39086   24162  14361    241 350.35
468.84/469.05	c    84732    566    14864  4142494  278    39622   26579  14649    241 351.36
468.84/469.05	c    84982    566    15417  4317112  280    41141   29237  15202    240 352.85
468.84/469.05	c    85457    566    16227  4551024  280    43339   32161  16012    240 355.43
468.84/469.05	c    86272    566    17469  4971483  284    46020   35378  17254    240 358.13
468.84/469.05	c    87595    566    21188  6290587  296    53563   38916  20973    239 365.25
468.84/469.05	c    89676    566    24541  7562002  308    61052   42808  24326    241 371.42
468.84/469.05	c    92900    566    31020  9938858  320    77976   47089  30805    241 384.71
468.84/469.05	c    97842    566    44231 15080886  340   108909   51798  44016    240 406.44
468.84/469.05	c   105348    566    17519  5805195  331    44484   56978  17304    246 427.91
468.84/469.05	o 52618
642.81/643.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
642.81/643.08	c   112916    566    31600 10102168  319    75507   24459  31385    240 468.90
642.81/643.08	c   113016    566    12760  3516058  275    31087   26905  12545    240 470.02
642.81/643.08	c   113272    566    13428  3699602  275    32277   29596  13213    240 471.72
642.81/643.08	c   113748    566    14397  4005032  278    34656   32556  14182    239 473.98
642.81/643.08	c   114562    566    15382  4211669  273    37842   35812  15167    240 476.66
642.81/643.08	c   115882    566    18291  5377169  293    45045   39394  18076    240 482.59
642.81/643.08	c   117967    566    23706  7607432  320    56785   43334  23491    239 492.66
642.81/643.08	c   121190    566    27250  8716239  319    64529   47668  27035    242 499.60
642.81/643.08	c   126126    566    32492  9979485  307    75390   52435  32277    246 511.54
642.81/643.08	c   133632    566    43386 13792824  317   100889   57679  43171    250 532.43
642.81/643.08	c   144993    566    14200  4204008  296    36208   63447  13985    255 568.39
642.81/643.08	c   162138    566    37324 11837867  317    85708   69792  37109    261 619.93
642.81/643.08	o 49177
644.71/644.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
644.71/644.99	c   167887    566    45879 14215804  309   106709   24162  45664    261 642.91
644.71/644.99	c   167989    566    12635  3515376  278    32276   26579  12420    260 644.30
644.71/644.99	o 49064
710.00/710.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
710.00/710.23	c   168013    566    12705  3541410  278    33040   24162  12490    260 644.82
710.00/710.23	c   168113    566    12910  3613918  279    33449   26579  12695    260 645.73
710.00/710.23	c   168363    566    13396  3783383  282    34654   29237  13181    260 646.95
710.00/710.23	c   168839    566    14110  4009801  284    36146   32161  13895    260 648.82
710.00/710.23	c   169652    566    15428  4478351  290    39180   35378  15213    260 651.58
710.00/710.23	c   170975    566    18203  5558241  305    45855   38916  17988    260 656.56
710.00/710.23	c   173059    566    23054  7075668  306    55948   42808  22839    258 669.40
710.00/710.23	c   176282    566    27586  8410079  304    66265   47089  27371    259 679.93
710.00/710.23	c   181223    566    41677 13893697  333    94503   51798  41462    256 707.72
710.00/710.23	o 48704
829.29/829.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
829.29/829.54	c   181824    566    42729 14265089  333    97591   24162  42514    256 710.05
829.29/829.54	c   181932    566    12651  4559262  360    29583   26579  12436    255 711.62
829.29/829.54	c   182185    566    13261  4760422  358    30805   29237  13046    255 713.59
829.29/829.54	c   182660    566    14346  5124330  357    33274   32161  14131    254 716.46
829.29/829.54	c   183473    566    15352  5415663  352    35539   35378  15137    255 718.85
829.29/829.54	c   184794    566    16882  5663682  335    39948   38916  16667    255 722.98
829.29/829.54	c   186877    566    21231  7215008  339    49617   42808  21016    255 731.16
829.29/829.54	c   190141    566    29291 10092551  344    67084   47089  29076    253 749.36
829.29/829.54	c   195078    566    34738 11417117  328    79639   51798  34523    256 761.72
829.29/829.54	c   202586    566    46475 14925791  321   106108   56978  46260    256 790.95
829.29/829.54	c   213954    566    23800  7787853  327    63595   62676  23585    258 827.69
829.29/829.54	o 48360
832.19/832.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
832.19/832.44	c   214246    566    24332  7958659  327    65608   25162  24117    258 829.34
832.19/832.44	c   214346    566    24598  8049764  327    66101   27679  24383    258 830.29
832.19/832.44	c   214608    566    25023  8180939  326    67207   30447  24808    258 831.71
832.19/832.44	o 47563
870.38/870.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
870.38/870.62	c   214639    566    25093  8205467  327    67642   25162  24878    257 832.24
870.38/870.62	c   214739    566    25290  8272065  327    68408   27679  25075    257 833.04
870.38/870.62	c   214990    566    25769  8426246  326    69612   30447  25554    257 834.58
870.38/870.62	c   215476    566    26893  8768249  326    71718   33492  26678    257 837.71
870.38/870.62	c   216304    566    28750  9393747  326    76192   36842  28535    256 842.54
870.38/870.62	c   217626    566    30135  9663878  320    79434   40527  29920    257 846.17
870.38/870.62	c   219710    566    35950 10844230  301    91227   44580  35735    255 861.19
870.38/870.62	c   222935    566    39372 11796184  299    98491   49039  39157    256 869.30
870.38/870.62	o 47122
1797.99/1798.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.99/1798.40	c   223047    566    39695 11908768  300    99393   25162  39480    256 870.41
1797.99/1798.40	c   223148    566    13042  3222037  247    31509   27679  12827    255 872.09
1797.99/1798.40	c   223399    566    13415  3296095  245    32266   30447  13200    255 873.32
1797.99/1798.40	c   223875    566    13978  3437439  245    34135   33492  13763    255 875.13
1797.99/1798.40	c   224688    566    15314  3868249  252    37372   36842  15099    255 878.81
1797.99/1798.40	c   226008    566    18117  4503357  248    43435   40527  17902    254 887.49
1797.99/1798.40	c   228103    566    22151  5394632  243    52690   44580  21936    253 899.71
1797.99/1798.40	c   231329    566    29938  7264142  242    68293   49039  29723    251 921.08
1797.99/1798.40	c   236268    566    40994 11387096  277    96702   53943  40779    249 945.33
1797.99/1798.40	c   243775    566    50712 14502541  285   119097   59338  50497    252 967.02
1797.99/1798.40	c   255136    566    17226  4849122  281    40884   65272  17011    255 997.58
1797.99/1798.40	c   272283    566    39275 11491964  292    86736   71800  39060    258 1053.20
1797.99/1798.40	c   298102    566    69461 20181481  290   149430   78981  69246    263 1132.88
1797.99/1798.40	c   336936    566    43339 12638052  291    95599   86880  43124    271 1242.40
1797.99/1798.40	c   395288    566    59482 21410798  359   157397   95569  59267    269 1468.60
1797.99/1798.40	c Resources Exceeded
1797.99/1798.40	v -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 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 x287 -x288 -x289 -x290 -x291 -x292 x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -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 
1797.99/1798.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.99/1798.40	c  191   478858  35218   618911    82197 25408461  81982    266 1798.01
1797.99/1798.40	c Objective: 47122
1797.99/1798.40	s SATISFIABLE
1797.99/1798.40	c Total time: 1798.01 s

Verifier Data 

OK	47122

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31613
/proc/meminfo: memFree=31402520/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=10920 CPUtime=0 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 342 0 0 0 0 0 0 0 20 0 1 0 334905597 11182080 284 33554432000 134512640 137136520 4287991520 4287983356 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 2730 284 189 641 0 2086 0

[startup+0.104534 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31613
/proc/meminfo: memFree=31402520/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=11752 CPUtime=0.1 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 768 0 0 0 10 0 0 0 20 0 1 0 334905597 12034048 600 33554432000 134512640 137136520 4287991520 4287990072 136502837 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 2938 600 292 641 0 2294 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11752

[startup+0.200274 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31613
/proc/meminfo: memFree=31402520/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=12768 CPUtime=0.19 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 2866 0 0 0 19 0 0 0 20 0 1 0 334905597 13074432 686 33554432000 134512640 137136520 4287991520 4287989208 135443252 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 3192 686 292 641 0 2548 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12768

[startup+0.300263 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31613
/proc/meminfo: memFree=31402520/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=12752 CPUtime=0.29 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 6029 0 0 0 29 0 0 0 20 0 1 0 334905597 13058048 692 33554432000 134512640 137136520 4287991520 4287989280 135448314 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 3188 692 292 641 0 2544 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12752

[startup+0.700248 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31613
/proc/meminfo: memFree=31402520/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=11888 CPUtime=0.69 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 16741 0 0 0 68 1 0 0 20 0 1 0 334905597 12173312 648 33554432000 134512640 137136520 4287991520 4287990636 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 3005 655 293 641 0 2361 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11888

[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31614
/proc/meminfo: memFree=31400428/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=12684 CPUtime=1.49 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 38522 0 0 0 144 5 0 0 20 0 1 0 334905597 12988416 682 33554432000 134512640 137136520 4287991520 4287989104 135379074 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 3171 684 293 641 0 2527 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12684

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31614
/proc/meminfo: memFree=31399660/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=13612 CPUtime=3.09 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 76497 0 0 0 299 10 0 0 20 0 1 0 334905597 13938688 900 33554432000 134512640 137136520 4287991520 4287989708 136526053 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 3403 900 293 641 0 2759 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13612

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31614
/proc/meminfo: memFree=31398048/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=16012 CPUtime=6.29 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 147722 0 0 0 609 20 0 0 20 0 1 0 334905597 16396288 1532 33554432000 134512640 137136520 4287991520 4287989208 135443262 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 4003 1532 293 641 0 3359 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16012

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31614
/proc/meminfo: memFree=31390640/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=22620 CPUtime=12.69 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 266612 0 0 0 1233 36 0 0 20 0 1 0 334905597 23162880 3208 33554432000 134512640 137136520 4287991520 4287989208 135442568 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 5655 3208 295 641 0 5011 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22620

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31614
/proc/meminfo: memFree=31372100/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=40064 CPUtime=25.48 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 470383 0 0 0 2479 69 0 0 20 0 1 0 334905597 41025536 7521 33554432000 134512640 137136520 4287991520 4287989312 134732437 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 10016 7521 295 641 0 9372 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40064

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31614
/proc/meminfo: memFree=31330552/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=81516 CPUtime=51.08 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 945050 0 0 0 4966 142 0 0 20 0 1 0 334905597 83472384 17870 33554432000 134512640 137136520 4287991520 4287989176 136504572 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 20379 17870 295 641 0 19735 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 81516

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31614
/proc/meminfo: memFree=31228048/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=181360 CPUtime=102.25 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 1698422 0 0 0 9962 263 0 0 20 0 1 0 334905597 185712640 42960 33554432000 134512640 137136520 4287991520 4287990144 134554431 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 45340 42960 295 641 0 44696 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 181360

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31614
/proc/meminfo: memFree=31200924/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=207184 CPUtime=162.2 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 1765731 0 0 0 15939 281 0 0 20 0 1 0 334905597 212156416 49442 33554432000 134512640 137136520 4287991520 4287990560 134540859 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 51796 49442 295 641 0 51152 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 207184

[startup+222.307 s]
/proc/loadavg: 2.11 2.03 2.01 3/177 31614
/proc/meminfo: memFree=31201356/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=207184 CPUtime=222.2 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 1765731 0 0 0 21935 285 0 0 20 0 1 0 334905597 212156416 49442 33554432000 134512640 137136520 4287991520 4287988976 134719153 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 51796 49442 295 641 0 51152 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 207184

[startup+282.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/177 31615
/proc/meminfo: memFree=31201356/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=207184 CPUtime=282.19 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 1765731 0 0 0 27930 289 0 0 20 0 1 0 334905597 212156416 49442 33554432000 134512640 137136520 4287991520 4287990636 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 51796 49442 295 641 0 51152 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 207184

[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 31615
/proc/meminfo: memFree=31201480/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=207184 CPUtime=342.18 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 1765731 0 0 0 33925 293 0 0 20 0 1 0 334905597 212156416 49442 33554432000 134512640 137136520 4287991520 4287989312 134732462 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 51796 49442 295 641 0 51152 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 207184

[startup+402.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 31663
/proc/meminfo: memFree=31218988/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=207184 CPUtime=402.16 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 1765731 0 0 0 39921 295 0 0 20 0 1 0 334905597 212156416 49442 33554432000 134512640 137136520 4287991520 4287989312 134732432 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 51796 49442 295 641 0 51152 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 207184

[startup+462.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 31666
/proc/meminfo: memFree=31151000/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=242780 CPUtime=462.15 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 1909703 0 0 0 45892 323 0 0 20 0 1 0 334905597 248606720 58337 33554432000 134512640 137136520 4287991520 4287990448 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 60695 58337 295 641 0 60051 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 242780

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 31666
/proc/meminfo: memFree=31144512/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=242780 CPUtime=522.13 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 1909706 0 0 0 51886 327 0 0 20 0 1 0 334905597 248606720 58337 33554432000 134512640 137136520 4287991520 4287990448 134544256 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 60695 58337 295 641 0 60051 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 242780

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31667
/proc/meminfo: memFree=31127524/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=252544 CPUtime=582.13 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 1977316 0 0 0 57872 341 0 0 20 0 1 0 334905597 258605056 60774 33554432000 134512640 137136520 4287991520 4287989152 135375834 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 63136 60774 295 641 0 62492 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 252544

[startup+642.3 s]

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

/proc/meminfo: memFree=30774260/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=261156 CPUtime=1062.05 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 2039210 0 0 0 105829 376 0 0 20 0 1 0 334905597 267423744 62935 33554432000 134512640 137136520 4287991520 4287990416 134544157 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 65289 62935 295 641 0 64645 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 261156

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 31695
/proc/meminfo: memFree=30771904/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=263700 CPUtime=1122.04 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 2042620 0 0 0 111823 381 0 0 20 0 1 0 334905597 270028800 63561 33554432000 134512640 137136520 4287991520 4287990636 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 65925 63561 295 641 0 65281 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 263700

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/176 31695
/proc/meminfo: memFree=30714004/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=317152 CPUtime=1182.03 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 2151734 0 0 0 117797 406 0 0 20 0 1 0 334905597 324763648 76966 33554432000 134512640 137136520 4287991520 4287990232 136502029 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 79288 76966 295 641 0 78644 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 317152

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31696
/proc/meminfo: memFree=30686108/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=317152 CPUtime=1242.03 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 2151734 0 0 0 123792 411 0 0 20 0 1 0 334905597 324763648 76966 33554432000 134512640 137136520 4287991520 4287990288 134574206 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 79288 76966 295 641 0 78644 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 317152

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31696
/proc/meminfo: memFree=30685816/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=317152 CPUtime=1302.02 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 2151734 0 0 0 129787 415 0 0 20 0 1 0 334905597 324763648 76966 33554432000 134512640 137136520 4287991520 4287988976 134718944 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 79288 76966 295 641 0 78644 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 317152

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31696
/proc/meminfo: memFree=30611540/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=391088 CPUtime=1362 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 2563152 0 0 0 135718 482 0 0 20 0 1 0 334905597 400474112 95450 33554432000 134512640 137136520 4287991520 4287989864 134598562 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 97772 95450 295 641 0 97128 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 391088

[startup+1422.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 31696
/proc/meminfo: memFree=30611788/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=391088 CPUtime=1422.01 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 2563152 0 0 0 141715 486 0 0 20 0 1 0 334905597 400474112 95450 33554432000 134512640 137136520 4287991520 4287989696 135497252 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 97772 95450 295 641 0 97128 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 391088

[startup+1482.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/177 31696
/proc/meminfo: memFree=30611636/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=391088 CPUtime=1481.96 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 2563197 0 0 0 147707 489 0 0 20 0 1 0 334905597 400474112 95450 33554432000 134512640 137136520 4287991520 4287989312 134730264 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 97772 95450 295 641 0 97128 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 391088

[startup+1542.31 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 31697
/proc/meminfo: memFree=30594176/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=409064 CPUtime=1541.94 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 2655612 0 0 0 153687 507 0 0 20 0 1 0 334905597 418881536 99944 33554432000 134512640 137136520 4287991520 4287990448 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 102266 99944 295 641 0 101622 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 409064

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31697
/proc/meminfo: memFree=30540608/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=462056 CPUtime=1601.92 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 2823564 0 0 0 159651 541 0 0 20 0 1 0 334905597 473145344 113191 33554432000 134512640 137136520 4287991520 4287990448 134544419 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 115514 113191 295 641 0 114870 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 462056

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 31700
/proc/meminfo: memFree=30540848/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=462056 CPUtime=1661.91 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 2823564 0 0 0 165646 545 0 0 20 0 1 0 334905597 473145344 113191 33554432000 134512640 137136520 4287991520 4287990112 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 115514 113191 295 641 0 114870 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 462056

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31700
/proc/meminfo: memFree=30541104/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=462056 CPUtime=1721.9 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 2823564 0 0 0 171642 548 0 0 20 0 1 0 334905597 473145344 113191 33554432000 134512640 137136520 4287991520 4287990636 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 115514 113191 295 641 0 114870 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 462056

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31700
/proc/meminfo: memFree=30540732/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=462056 CPUtime=1781.89 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 2823564 0 0 0 177638 551 0 0 20 0 1 0 334905597 473145344 113191 33554432000 134512640 137136520 4287991520 4287990016 136498324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 115514 113191 295 641 0 114870 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 462056

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

[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31700
/proc/meminfo: memFree=30540980/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=462056 CPUtime=1791.59 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 2823564 0 0 0 178608 551 0 0 20 0 1 0 334905597 473145344 113191 33554432000 134512640 137136520 4287991520 4287989312 134732432 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 115514 113191 295 641 0 114870 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 462056

[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31700
/proc/meminfo: memFree=30540988/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=462056 CPUtime=1794.8 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 2823564 0 0 0 178928 552 0 0 20 0 1 0 334905597 473145344 113191 33554432000 134512640 137136520 4287991520 4287990448 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 115514 113191 295 641 0 114870 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 462056

[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31701
/proc/meminfo: memFree=30540988/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=462056 CPUtime=1796.4 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 2823564 0 0 0 179088 552 0 0 20 0 1 0 334905597 473145344 113191 33554432000 134512640 137136520 4287991520 4287984600 136503155 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 115514 113191 295 641 0 114870 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 462056

[startup+1797.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31701
/proc/meminfo: memFree=30540980/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=462056 CPUtime=1797.2 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 2823564 0 0 0 179168 552 0 0 20 0 1 0 334905597 473145344 113191 33554432000 134512640 137136520 4287991520 4287990448 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 115514 113191 295 641 0 114870 0
Current children cumulated CPU time (s) 1797.2
Current children cumulated vsize (KiB) 462056

[startup+1798 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31701
/proc/meminfo: memFree=30540980/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=462056 CPUtime=1797.59 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 2823564 0 0 0 179207 552 0 0 20 0 1 0 334905597 473145344 113191 33554432000 134512640 137136520 4287991520 4287990448 134544467 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 115514 113191 295 641 0 114870 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 462056

[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31701
/proc/meminfo: memFree=30540980/32873844 swapFree=7116/7116
[pid=31613] ppid=31611 vsize=462056 CPUtime=1797.99 cores=0,2,4,6
/proc/31613/stat : 31613 (bsolo) R 31611 31613 29538 0 -1 4202496 2823564 0 0 0 179247 552 0 0 20 0 1 0 334905597 473145344 113191 33554432000 134512640 137136520 4287991520 4287990448 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31613/statm: 115514 113191 295 641 0 114870 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 462056

Child status: 0
Real time (s): 1798.41
CPU time (s): 1798.01
CPU user time (s): 1792.48
CPU system time (s): 5.52816
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 462600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.48
system time used= 5.52816
maximum resident set size= 453140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2823566
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= 178
involuntary context switches= 1842

runsolver used 3.46247 second user time and 8.82866 second system time

The end

Launcher Data 

Begin job on node111 at 2012-06-03 03:43:06
IDJOB=3731143
IDBENCH=1855
IDSOLVER=2320
FILE ID=node111/3731143-1338687786
RUNJOBID= node111-1338678630-29557
PBS_JOBID= 14636702
Free space on /tmp= 67392 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-cracpb1.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3731143-1338687786/watcher-3731143-1338687786 -o /tmp/evaluation-result-3731143-1338687786/solver-3731143-1338687786 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3731143-1338687786.opb

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

MD5SUM BENCH= 75f6d21683e6eb738b98c93cf5598ff3
RANDOM SEED=1943582134

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
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	: 5332.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31402916 kB
Buffers:          168284 kB
Cached:           486712 kB
SwapCached:         1404 kB
Active:           182192 kB
Inactive:         504684 kB
Active(anon):      32700 kB
Inactive(anon):     1276 kB
Active(file):     149492 kB
Inactive(file):   503408 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100152 kB
Dirty:              4132 kB
Writeback:             0 kB
AnonPages:         43764 kB
Mapped:             9988 kB
Shmem:                 0 kB
Slab:             645832 kB
SReclaimable:      87696 kB
SUnreclaim:       558136 kB
KernelStack:        1448 kB
PageTables:         4028 kB
NFS_Unstable:         32 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     162060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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-3731143-1338687786.opb

Free space on /tmp at the end= 67388 MiB
End job on node111 at 2012-06-03 04:13:05