Trace number 3741401

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.1SAT137 1798 1798.31

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-538867.opb
MD5SUM3b75c8039d6468258a1aa0343ce1fddb
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark122
Best CPU time to get the best result obtained on this benchmark58.879
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables792
Total number of constraints1170
Number of constraints which are clauses1143
Number of constraints which are cardinality constraints (but not clauses)27
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint18
Number of terms in the objective function 666
Biggest coefficient in the objective function 80
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 18684
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 18684
Number of bits of the biggest sum of numbers15
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-3741401-1338771920.opb
0.00/0.00	c File size is 46134 bytes.
0.00/0.00	c Highest Coefficient sum: 18684
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: 792 Constr: 1188 1161/27/0 Lit: 4050 Watch. Lit: 2637
0.00/0.00	c Obj. Vars: 666 (84.0909 % of total variables)
0.00/0.00	c Pre-processing Time: 0.006 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    792     1188     4050    3     2637    1682      0      0 0.01
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 477
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        2    792     1191     4764    4     3283    3014      3    285 0.01
0.00/0.00	o 452
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        4    792     1194     5516    4     3926    3014      6    500 0.01
0.00/0.01	o 417
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       26    792     1218     6941    5     4641    3014     30   1999 0.01
0.00/0.02	o 402
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       41    792     1234     8192    6     5311    3014     46   1952 0.02
0.00/0.02	o 367
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c       46    792     1240     9034    7     5962    3014     52   2000 0.02
0.00/0.04	o 362
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c       92    792     1290    11947    9     6690    3014    102   2300 0.04
0.19/0.23	c      192    792     1398    16063   11     6859    3316    210   3310 0.06
0.19/0.23	c      442    792     1650    25959   15     7412    3648    462   2646 0.17
0.19/0.23	o 342
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c      608    792     1823    34696   19     8546    3014    635   2587 0.23
0.19/0.23	o 337
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c      612    792     1828    35537   19     9172    3014    640   2571 0.24
0.19/0.24	o 322
1.19/1.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.19/1.21	c      629    792     1847    37027   20     9867    3014    659   2577 0.24
1.19/1.21	c      729    792     1949    41674   21    10055    3316    761   2430 0.30
1.19/1.21	c      979    792     2211    55072   24    10862    3648   1023   2423 0.40
1.19/1.21	c     1454    792     2714    88194   32    12035    4013   1526   2240 0.65
1.19/1.21	c     2267    792     3540   133435   37    13776    4415   2352   2031 1.12
1.19/1.21	o 312
1.29/1.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.37	c     2442    792     3721   143466   38    14781    3014   2533   2014 1.21
1.29/1.37	c     2542    792     3825   149469   39    14998    3316   2637   2009 1.26
1.29/1.37	o 287
1.49/1.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.55	c     2707    792     3994   159989   40    16023    3014   2806   1975 1.37
1.49/1.55	c     2807    792     4097   166663   40    16219    3316   2909   1957 1.43
1.49/1.55	o 282
1.69/1.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.77	c     2998    792     4294   178746   41    17228    3014   3106   1925 1.56
1.69/1.77	c     3099    792     2801    92469   33     6642    3316   1613   1930 1.60
1.69/1.77	c     3350    792     3056   106122   34     7153    3648   1868   1938 1.73
1.69/1.77	o 247
2.49/2.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.56	c     3452    792     3163   114015   36     7999    3014   1975   1942 1.78
2.49/2.56	c     3552    792     3268   120059   36     8248    3316   2080   1944 1.83
2.49/2.56	c     3803    792     3522   137129   38     8798    3648   2334   1947 1.95
2.49/2.56	c     4279    792     4010   167503   41     9790    4013   2822   1942 2.20
2.49/2.56	o 242
4.69/4.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.69/4.74	c     5007    792     4753   193102   40    11920    3014   3565   1951 2.57
4.69/4.74	c     5109    792     2799    82301   29     6506    3316   1611   1951 2.62
4.69/4.74	c     5359    792     3052    91762   30     7014    3648   1864   1964 2.73
4.69/4.74	c     5835    792     3540   108738   30     8089    4013   2352   1991 2.93
4.69/4.74	c     6650    792     4392   140666   32     9854    4415   3204   2012 3.31
4.69/4.74	c     7970    792     3403    75982   22     7765    4857   2215   2033 3.92
4.69/4.74	o 237
20.19/20.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.19/20.22	c     9850    792     5337   162881   30    12476    3014   4149   2075 4.75
20.19/20.22	c     9951    792     2798    79884   28     6599    3316   1610   2076 4.79
20.19/20.22	c    10202    792     3069    94905   30     7406    3648   1881   2085 4.89
20.19/20.22	c    10677    792     3566   123117   34     8450    4013   2378   2089 5.11
20.19/20.22	c    11490    792     4394   166538   37    10104    4415   3206   2084 5.51
20.19/20.22	c    12810    792     3397   110190   32     7768    4857   2209   2083 6.15
20.19/20.22	c    14894    792     5530   192793   34    12117    5343   4342   2081 7.16
20.19/20.22	c    18118    792     6024   179308   29    12979    5878   4836   2086 8.68
20.19/20.22	c    23057    792     4991   133932   26    10895    6466   3803   2054 11.22
20.19/20.22	c    30563    792     5876   189627   32    12838    7113   4688   2016 15.15
20.19/20.22	o 227
26.58/26.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.58/26.62	c    38948    792     7113   361624   50    15983    3014   5925   1926 20.22
26.58/26.62	c    39048    792     2800    96789   34     6601    3316   1612   1925 20.27
26.58/26.62	c    39298    792     3061   110432   36     7273    3648   1873   1928 20.38
26.58/26.62	c    39773    792     3544   133201   37     8329    4013   2356   1930 20.60
26.58/26.62	c    40586    792     4379   181598   41    10053    4415   3191   1929 21.03
26.58/26.62	c    41906    792     3397   132419   38     8050    4857   2209   1927 21.74
26.58/26.62	c    43987    792     5531   239799   43    12446    5343   4343   1919 22.92
26.58/26.62	c    47213    792     6027   250589   41    13343    5878   4839   1916 24.63
26.58/26.62	o 212
29.49/29.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.49/29.54	c    51153    792     6937   251426   36    15570    3014   5749   1921 26.62
29.49/29.54	c    51257    792     2802    64236   22     6515    3316   1614   1922 26.67
29.49/29.54	c    51507    792     3064    72063   23     7044    3648   1876   1924 26.76
29.49/29.54	c    51982    792     3561    87331   24     8035    4013   2373   1926 26.98
29.49/29.54	c    52795    792     4396   111461   25     9714    4415   3208   1929 27.36
29.49/29.54	c    54115    792     3431    72509   21     7779    4857   2243   1933 27.99
29.49/29.54	c    56198    792     5564   137990   24    12043    5343   4376   1944 28.90
29.49/29.54	o 207
43.39/43.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
43.39/43.47	c    57531    792     4198   106021   25     9962    3014   3010   1947 29.54
43.39/43.47	c    57632    792     2696    56586   20     6302    3316   1508   1948 29.58
43.39/43.47	c    57885    792     2962    64796   21     6839    3648   1774   1949 29.69
43.39/43.47	c    58361    792     3454    84056   24     7819    4013   2266   1951 29.91
43.39/43.47	c    59176    792     4284   105269   24     9476    4415   3096   1955 30.27
43.39/43.47	c    60500    792     3397    67809   19     7707    4857   2209   1957 30.91
43.39/43.47	c    62582    792     5535   148923   26    12050    5343   4347   1966 31.82
43.39/43.47	c    65806    792     6052   163870   27    13113    5878   4864   1971 33.38
43.39/43.47	c    70743    792     5011   156646   31    10973    6466   3823   1965 35.99
43.39/43.47	c    78249    792     5984   178950   29    12964    7113   4796   1939 40.35
43.39/43.47	o 202
46.28/46.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
46.28/46.32	c    84251    792     4921   140136   28    11613    3014   3733   1938 43.47
46.28/46.32	c    84352    792     2801    64432   23     6705    3316   1613   1938 43.51
46.28/46.32	c    84603    792     3063    76482   24     7296    3648   1875   1939 43.62
46.28/46.32	c    85079    792     3568   104465   29     8521    4013   2380   1941 43.82
46.28/46.32	c    85893    792     4403   145279   32    10382    4415   3215   1944 44.18
46.28/46.32	c    87214    792     3420   106061   31     7792    4857   2232   1945 44.83
46.28/46.32	c    89296    792     5561   186194   33    12094    5343   4373   1945 45.91
46.28/46.32	o 187
49.69/49.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
49.69/49.77	c    90164    792     6474   221186   34    14588    3014   5286   1946 46.31
49.69/49.77	c    90265    792     2800    63976   22     6516    3316   1612   1946 46.36
49.69/49.77	c    90518    792     3063    73153   23     7080    3648   1875   1948 46.47
49.69/49.77	c    90993    792     3558    85945   24     8071    4013   2370   1949 46.67
49.69/49.77	c    91806    792     4394   118822   27     9741    4415   3206   1950 47.06
49.69/49.77	c    93127    792     3425    83421   24     7760    4857   2237   1952 47.69
49.69/49.77	c    95208    792     5553   159715   28    12048    5343   4365   1957 48.64
49.69/49.77	o 182
176.46/176.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
176.46/176.59	c    97537    792     5222   143315   27    12034    3015   4034   1959 49.77
176.46/176.59	c    97637    792     2802    59161   21     6518    3317   1614   1960 49.81
176.46/176.59	c    97888    792     3055    67367   22     7023    3649   1867   1960 49.93
176.46/176.59	c    98363    792     3539    81845   23     7990    4014   2351   1961 50.15
176.46/176.59	c    99176    792     4416   113619   25     9749    4416   3228   1962 50.54
176.46/176.59	c   100496    792     3477    76678   22     7872    4858   2289   1963 51.18
176.46/176.59	c   102577    792     5694   168183   29    12388    5344   4506   1966 52.16
176.46/176.59	c   105801    792     6330   197982   31    13614    5879   5142   1962 53.92
176.46/176.59	c   110738    792     5414   130303   24    11746    6467   4226   1962 56.41
176.46/176.59	c   118244    792     6744   180116   26    14402    7114   5556   1955 60.45
176.46/176.59	c   129605    792     7426   246336   33    15829    7826   6238   1949 66.47
176.46/176.59	c   146749    792     8983   369619   41    19332    8609   7795   1915 76.62
176.46/176.59	c   172568    792     9124   287952   31    19200    9470   7936   1879 91.80
176.46/176.59	c   211401    792    10610   351533   33    22686   10418   9422   1847 114.40
176.46/176.59	c   269753    792     8239   284562   34    17940   11460   7051   1844 146.21
176.46/176.59	o 172
191.37/191.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
191.37/191.42	c   329287    792    12101   349980   28    25987    3014  10913   1864 176.57
191.37/191.42	c   329388    792     2808    74805   26     6640    3316   1620   1864 176.63
191.37/191.42	c   329638    792     3071    85055   27     7174    3648   1883   1865 176.73
191.37/191.42	c   330113    792     3571   100716   28     8169    4013   2383   1865 176.93
191.37/191.42	c   330926    792     4423   129563   29     9872    4415   3235   1866 177.29
191.37/191.42	c   332246    792     3494    76217   21     7960    4857   2306   1867 177.89
191.37/191.42	c   334327    792     5667   148456   26    12452    5343   4479   1869 178.84
191.37/191.42	c   337551    792     6174   159645   25    13294    5878   4986   1872 180.28
191.37/191.42	c   342490    792     5213   134723   25    11350    6466   4025   1875 182.58
191.37/191.42	c   349997    792     6607   267463   40    14128    7113   5419   1875 186.65
191.37/191.42	o 152
217.96/218.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
217.96/218.00	c   360127    792     6087   197401   32    14031    3014   4899   1881 191.39
217.96/218.00	c   360227    792     2799    63504   22     6799    3316   1611   1881 191.45
217.96/218.00	c   360477    792     3053    69264   22     7307    3648   1865   1881 191.55
217.96/218.00	c   360953    792     3558    83546   23     8320    4013   2370   1882 191.75
217.96/218.00	c   361767    792     4385   110758   25     9974    4415   3197   1883 192.11
217.96/218.00	c   363087    792     3397    83426   24     7817    4857   2209   1884 192.72
217.96/218.00	c   365168    792     5505   159664   29    12293    5343   4317   1886 193.60
217.96/218.00	c   368391    792     5994   181777   30    13402    5878   4806   1888 195.08
217.96/218.00	c   373329    792     5064   122131   24    11060    6466   3876   1890 197.45
217.96/218.00	c   380835    792     6212   175913   28    13429    7113   5024   1892 201.22
217.96/218.00	c   392197    792     6913   240812   34    14810    7825   5725   1894 207.01
217.96/218.00	c   409342    792     8669   290891   33    18305    8608   7481   1891 216.44
217.96/218.00	o 147
1503.33/1503.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1503.33/1503.61	c   412492    792     7431   248679   33    16439    3014   6243   1892 217.97
1503.33/1503.61	c   412593    792     2801    60720   21     6520    3316   1613   1892 218.02
1503.33/1503.61	c   412844    792     3056    69905   22     7028    3648   1868   1892 218.12
1503.33/1503.61	c   413322    792     3555    87273   24     8031    4013   2367   1892 218.35
1503.33/1503.61	c   414137    792     4426   115913   26     9776    4415   3238   1893 218.70
1503.33/1503.61	c   415457    792     3397    69863   20     7713    4857   2209   1894 219.31
1503.33/1503.61	c   417538    792     5564   132420   23    12045    5343   4376   1895 220.29
1503.33/1503.61	c   420762    792     6186   154116   24    13288    5878   4998   1896 221.81
1503.33/1503.61	c   425698    792     5128   139177   27    11174    6466   3940   1898 224.18
1503.33/1503.61	c   433206    792     6348   214062   33    13633    7113   5160   1899 228.08
1503.33/1503.61	c   444568    792     7197   174435   24    15316    7825   6009   1903 233.54
1503.33/1503.61	c   461712    792     5249   149847   28    11421    8608   4061   1905 242.32
1503.33/1503.61	c   487531    792     9711   448549   46    20707    9469   8523   1905 255.86
1503.33/1503.61	c   526365    792     6555   224009   34    14149   10416   5367   1900 276.98
1503.33/1503.61	c   584718    792     9049   410017   45    19669   11458   7861   1910 306.01
1503.33/1503.61	c   672350    792    12299   379010   30    25939   12604  11111   1910 351.96
1503.33/1503.61	c   803903    792    13021   664942   51    28425   13865  11833   1838 437.32
1503.33/1503.61	c  1001336    792    10279   273794   26    21508   15252   9091   1816 551.16
1503.33/1503.61	c  1297588    792    11431   357126   31    23805   16778  10243   1763 735.78
1503.33/1503.61	c  1742070    792    13331   684917   51    27833   18456  12143   1652 1054.33
1503.33/1503.61	c  2408898    792    15472   456046   29    31860   20302  14284   1614 1491.68
1503.33/1503.61	o 137
1797.99/1798.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.99/1798.30	c  2427162    792    13875   600952   43    30050    3014  12687   1614 1503.36
1797.99/1798.30	c  2427263    792     2805    80618   28     6761    3316   1617   1614 1503.46
1797.99/1798.30	c  2427513    792     3063    91285   29     7353    3648   1875   1614 1503.56
1797.99/1798.30	c  2427988    792     3547   115191   32     8380    4013   2359   1614 1503.79
1797.99/1798.30	c  2428802    792     4386   149542   34    10091    4415   3198   1614 1504.18
1797.99/1798.30	c  2430122    792     3430    88138   25     7778    4857   2242   1614 1504.85
1797.99/1798.30	c  2432204    792     5618   154929   27    12154    5343   4430   1615 1505.78
1797.99/1798.30	c  2435427    792     6145   168850   27    13207    5878   4957   1615 1507.24
1797.99/1798.30	c  2440364    792     5260   129714   24    11449    6466   4072   1616 1509.47
1797.99/1798.30	c  2447872    792     6392   150019   23    13705    7113   5204   1617 1513.22
1797.99/1798.30	c  2459234    792     7177   164062   22    15275    7825   5989   1619 1518.56
1797.99/1798.30	c  2476379    792     5102   106338   20    11125    8608   3914   1621 1527.25
1797.99/1798.30	c  2502198    792     5993   148142   24    12905    9469   4805   1624 1540.24
1797.99/1798.30	c  2541031    792     7766   179660   23    16448   10416   6578   1629 1559.41
1797.99/1798.30	c  2599383    792     9983   308991   30    20894   11458   8795   1633 1590.94
1797.99/1798.30	c  2687015    792     8355   291482   34    17630   12604   7167   1637 1640.94
1797.99/1798.30	c  2818567    792    10863   269856   24    22657   13865   9675   1641 1716.83
1797.99/1798.30	c Resources Exceeded
1797.99/1798.30	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 -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 -x573 -x574 x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 
1797.99/1798.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.99/1798.30	c  156  2949098 1276467  6745657    13735   409052  12547   1640 1798.00
1797.99/1798.30	c Objective: 137
1797.99/1798.30	s SATISFIABLE
1797.99/1798.30	c Total time: 1798 s

Verifier Data

OK	137

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-3741401-1338771920/watcher-3741401-1338771920 -o /tmp/evaluation-result-3741401-1338771920/solver-3741401-1338771920 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3741401-1338771920.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.01 2.01 2.00 3/177 6188
/proc/meminfo: memFree=27720280/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=11060 CPUtime=0 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 383 0 0 0 0 0 0 0 20 0 1 0 343317512 11325440 324 33554432000 134512640 137136520 4292330320 4292319324 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 2765 324 190 641 0 2121 0

[startup+0.089383 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 6188
/proc/meminfo: memFree=27720280/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=11352 CPUtime=0.08 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 461 0 0 0 8 0 0 0 20 0 1 0 343317512 11624448 402 33554432000 134512640 137136520 4292330320 4292329248 134544112 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 2838 402 196 641 0 2194 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11352

[startup+0.100207 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 6188
/proc/meminfo: memFree=27720280/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=11352 CPUtime=0.09 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 465 0 0 0 9 0 0 0 20 0 1 0 343317512 11624448 406 33554432000 134512640 137136520 4292330320 4292329436 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 2838 406 196 641 0 2194 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11352

[startup+0.300173 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 6188
/proc/meminfo: memFree=27720280/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=11736 CPUtime=0.29 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 558 0 0 0 29 0 0 0 20 0 1 0 343317512 12017664 499 33554432000 134512640 137136520 4292330320 4292329248 134543927 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 2934 499 196 641 0 2290 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11736

[startup+0.700175 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 6188
/proc/meminfo: memFree=27720280/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=12460 CPUtime=0.69 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 751 0 0 0 69 0 0 0 20 0 1 0 343317512 12759040 692 33554432000 134512640 137136520 4292330320 4292329248 134543624 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 3115 692 196 641 0 2471 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12460

[startup+1.50019 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 6189
/proc/meminfo: memFree=27717320/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=13720 CPUtime=1.49 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 1054 0 0 0 149 0 0 0 20 0 1 0 343317512 14049280 995 33554432000 134512640 137136520 4292330320 4292328644 136498305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 3430 995 196 641 0 2786 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13720

[startup+3.10018 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 6189
/proc/meminfo: memFree=27715228/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=13940 CPUtime=3.09 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 1095 0 0 0 308 1 0 0 20 0 1 0 343317512 14274560 1036 33554432000 134512640 137136520 4292330320 4292328912 134616694 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 3485 1036 197 641 0 2841 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13940

[startup+6.30017 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 6189
/proc/meminfo: memFree=27711616/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=14428 CPUtime=6.29 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 1231 0 0 0 628 1 0 0 20 0 1 0 343317512 14774272 1172 33554432000 134512640 137136520 4292330320 4292328940 134551040 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 3607 1172 197 641 0 2963 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14428

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6189
/proc/meminfo: memFree=27705232/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=14828 CPUtime=12.68 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 1324 0 0 0 1265 3 0 0 20 0 1 0 343317512 15183872 1265 33554432000 134512640 137136520 4292330320 4292328912 134616472 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 3707 1265 197 641 0 3063 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14828

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6190
/proc/meminfo: memFree=27694728/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=16816 CPUtime=25.49 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 1829 0 0 0 2543 6 0 0 20 0 1 0 343317512 17219584 1770 33554432000 134512640 137136520 4292330320 4292329088 134571159 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 4204 1770 197 641 0 3560 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16816

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6190
/proc/meminfo: memFree=27679444/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=16816 CPUtime=51.09 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 1829 0 0 0 5096 13 0 0 20 0 1 0 343317512 17219584 1770 33554432000 134512640 137136520 4292330320 4292328916 136509091 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 4204 1770 197 641 0 3560 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16816

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6190
/proc/meminfo: memFree=27650972/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=17192 CPUtime=102.28 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 1919 0 0 0 10206 22 0 0 20 0 1 0 343317512 17604608 1860 33554432000 134512640 137136520 4292330320 4292329436 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 4298 1860 197 641 0 3654 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 17192

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6190
/proc/meminfo: memFree=27623688/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=18076 CPUtime=162.26 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 2318 0 0 0 16191 35 0 0 20 0 1 0 343317512 18509824 2097 33554432000 134512640 137136520 4292330320 4292329436 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 4519 2097 197 641 0 3875 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 18076

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6190
/proc/meminfo: memFree=27597716/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=18028 CPUtime=222.26 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 2318 0 0 0 22177 49 0 0 20 0 1 0 343317512 18460672 2087 33554432000 134512640 137136520 4292330320 4292328944 134554213 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 4507 2087 197 641 0 3863 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 18028

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6193
/proc/meminfo: memFree=27566468/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=18592 CPUtime=282.24 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 2447 0 0 0 28162 62 0 0 20 0 1 0 343317512 19038208 2216 33554432000 134512640 137136520 4292330320 4292329436 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 4648 2216 197 641 0 4004 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 18592

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6194
/proc/meminfo: memFree=27530772/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=19708 CPUtime=342.24 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 2738 0 0 0 34148 76 0 0 20 0 1 0 343317512 20180992 2507 33554432000 134512640 137136520 4292330320 4292320840 134598576 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 4927 2507 197 641 0 4283 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 19708

[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 6194
/proc/meminfo: memFree=27496656/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=21696 CPUtime=402.22 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 3216 0 0 0 40136 86 0 0 20 0 1 0 343317512 22216704 2985 33554432000 134512640 137136520 4292330320 4292320664 134599058 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 5424 2985 197 641 0 4780 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 21696

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 6194
/proc/meminfo: memFree=27469748/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=22464 CPUtime=462.21 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 3423 0 0 0 46124 97 0 0 20 0 1 0 343317512 23003136 3190 33554432000 134512640 137136520 4292330320 4292329248 134544112 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 5616 3190 197 641 0 4972 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 22464

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6194
/proc/meminfo: memFree=27443836/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=22464 CPUtime=522.2 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 3423 0 0 0 52109 111 0 0 20 0 1 0 343317512 23003136 3190 33554432000 134512640 137136520 4292330320 4292329248 134543819 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 5616 3190 197 641 0 4972 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 22464

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6194
/proc/meminfo: memFree=27419284/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=22472 CPUtime=582.19 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 3425 0 0 0 58096 123 0 0 20 0 1 0 343317512 23011328 3192 33554432000 134512640 137136520 4292330320 4292328848 136362942 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 5618 3192 197 641 0 4974 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 22472

[startup+642.3 s]

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

/proc/meminfo: memFree=27252128/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=25908 CPUtime=1062.11 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 4288 0 0 0 106009 202 0 0 20 0 1 0 343317512 26529792 4055 33554432000 134512640 137136520 4292330320 4292329436 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 6477 4055 197 641 0 5833 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 25908

[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 6199
/proc/meminfo: memFree=27233936/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=25908 CPUtime=1122.1 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 4288 0 0 0 111998 212 0 0 20 0 1 0 343317512 26529792 4055 33554432000 134512640 137136520 4292330320 4292329436 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 6477 4055 197 641 0 5833 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 25908

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 6199
/proc/meminfo: memFree=27218080/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=25908 CPUtime=1182.09 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 4290 0 0 0 117987 222 0 0 20 0 1 0 343317512 26529792 4055 33554432000 134512640 137136520 4292330320 4292328912 134616694 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 6477 4055 197 641 0 5833 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 25908

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6200
/proc/meminfo: memFree=27199236/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=25872 CPUtime=1242.07 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 4290 0 0 0 123974 233 0 0 20 0 1 0 343317512 26492928 4048 33554432000 134512640 137136520 4292330320 4292329436 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 6468 4048 197 641 0 5824 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 25872

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6200
/proc/meminfo: memFree=27184728/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=25868 CPUtime=1302.08 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 4290 0 0 0 129962 246 0 0 20 0 1 0 343317512 26488832 4047 33554432000 134512640 137136520 4292330320 4292320760 134598697 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 6467 4047 197 641 0 5823 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 25868

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6200
/proc/meminfo: memFree=27163152/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=25860 CPUtime=1362.06 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 4290 0 0 0 135953 253 0 0 20 0 1 0 343317512 26480640 4045 33554432000 134512640 137136520 4292330320 4292329436 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 6465 4045 197 641 0 5821 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 25860

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6200
/proc/meminfo: memFree=27127444/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=25848 CPUtime=1422.05 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 4290 0 0 0 141945 260 0 0 20 0 1 0 343317512 26468352 4042 33554432000 134512640 137136520 4292330320 4292328912 134616813 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 6462 4042 197 641 0 5818 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 25848

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6203
/proc/meminfo: memFree=27107960/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=25844 CPUtime=1482.04 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 4290 0 0 0 147933 271 0 0 20 0 1 0 343317512 26464256 4041 33554432000 134512640 137136520 4292330320 4292327988 136498324 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 6461 4041 197 641 0 5817 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 25844

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6204
/proc/meminfo: memFree=27090112/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=25676 CPUtime=1542.03 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 4292 0 0 0 153920 283 0 0 20 0 1 0 343317512 26292224 3999 33554432000 134512640 137136520 4292330320 4292329248 134543819 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 6419 3999 197 641 0 5775 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 25676

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 6204
/proc/meminfo: memFree=27071892/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=24780 CPUtime=1602.02 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 4292 0 0 0 159905 297 0 0 20 0 1 0 343317512 25374720 3775 33554432000 134512640 137136520 4292330320 4292328976 134601713 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 6195 3775 197 641 0 5551 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 24780

[startup+1662.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/178 6252
/proc/meminfo: memFree=27852376/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=24780 CPUtime=1662.01 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 4292 0 0 0 165891 310 0 0 20 0 1 0 343317512 25374720 3775 33554432000 134512640 137136520 4292330320 4292329436 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 6195 3775 197 641 0 5551 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 24780

[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 6252
/proc/meminfo: memFree=27852308/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=24780 CPUtime=1722 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 4292 0 0 0 171877 323 0 0 20 0 1 0 343317512 25374720 3775 33554432000 134512640 137136520 4292330320 4292329168 136499604 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 6195 3775 197 641 0 5551 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 24780

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 6252
/proc/meminfo: memFree=27851992/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=24780 CPUtime=1781.99 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 4292 0 0 0 177866 333 0 0 20 0 1 0 343317512 25374720 3775 33554432000 134512640 137136520 4292330320 4292329436 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 6195 3775 197 641 0 5551 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 24780

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

[startup+1791.91 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 6252
/proc/meminfo: memFree=27851804/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=24780 CPUtime=1791.59 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 4292 0 0 0 178825 334 0 0 20 0 1 0 343317512 25374720 3775 33554432000 134512640 137136520 4292330320 4292328960 134606749 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 6195 3775 197 641 0 5551 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 24780

[startup+1795.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 6252
/proc/meminfo: memFree=27851680/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=24780 CPUtime=1794.79 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 4292 0 0 0 179144 335 0 0 20 0 1 0 343317512 25374720 3775 33554432000 134512640 137136520 4292330320 4292329248 134543865 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 6195 3775 197 641 0 5551 0
Current children cumulated CPU time (s) 1794.79
Current children cumulated vsize (KiB) 24780

[startup+1796.7 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 6252
/proc/meminfo: memFree=27851680/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=24780 CPUtime=1796.39 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 4292 0 0 0 179304 335 0 0 20 0 1 0 343317512 25374720 3775 33554432000 134512640 137136520 4292330320 4292329248 134543878 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 6195 3775 197 641 0 5551 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 24780

[startup+1797.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 6252
/proc/meminfo: memFree=27851680/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=24780 CPUtime=1797.19 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 4292 0 0 0 179384 335 0 0 20 0 1 0 343317512 25374720 3775 33554432000 134512640 137136520 4292330320 4292329032 136502204 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 6195 3775 197 641 0 5551 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 24780

[startup+1797.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 6252
/proc/meminfo: memFree=27851680/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=24780 CPUtime=1797.59 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 4292 0 0 0 179424 335 0 0 20 0 1 0 343317512 25374720 3775 33554432000 134512640 137136520 4292330320 4292329088 134574321 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 6195 3775 197 641 0 5551 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 24780

[startup+1798.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 6252
/proc/meminfo: memFree=27851680/32873648 swapFree=7116/7116
[pid=6188] ppid=6186 vsize=24780 CPUtime=1797.99 cores=0,2,4,6
/proc/6188/stat : 6188 (bsolo) R 6186 6188 5461 0 -1 4202496 4292 0 0 0 179464 335 0 0 20 0 1 0 343317512 25374720 3775 33554432000 134512640 137136520 4292330320 4292328984 136503138 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/6188/statm: 6195 3775 197 641 0 5551 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 24780

Child status: 0
Real time (s): 1798.31
CPU time (s): 1798
CPU user time (s): 1794.65
CPU system time (s): 3.35549
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 25908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.65
system time used= 3.35549
maximum resident set size= 16220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4294
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= 8
involuntary context switches= 2290

runsolver used 2.99055 second user time and 8.24275 second system time

The end

Launcher Data

Begin job on node123 at 2012-06-04 03:05:20
IDJOB=3741401
IDBENCH=89854
IDSOLVER=2320
FILE ID=node123/3741401-1338771920
RUNJOBID= node123-1338763533-5477
PBS_JOBID= 14636811
Free space on /tmp= 71292 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-538867.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3741401-1338771920/watcher-3741401-1338771920 -o /tmp/evaluation-result-3741401-1338771920/solver-3741401-1338771920 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3741401-1338771920.opb

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

MD5SUM BENCH= 3b75c8039d6468258a1aa0343ce1fddb
RANDOM SEED=1563072192

node123.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.217
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.43
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.217
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.217
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		: 2667.217
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		: 2667.217
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		: 2667.217
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		: 2667.217
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.217
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:       32873648 kB
MemFree:        27721228 kB
Buffers:         1811200 kB
Cached:          2282816 kB
SwapCached:         2268 kB
Active:          2345256 kB
Inactive:        1918164 kB
Active(anon):     161940 kB
Inactive(anon):     5504 kB
Active(file):    2183316 kB
Inactive(file):  1912660 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100316 kB
Dirty:              3740 kB
Writeback:             0 kB
AnonPages:        170564 kB
Mapped:            11508 kB
Shmem:                 0 kB
Slab:             750532 kB
SReclaimable:     194620 kB
SUnreclaim:       555912 kB
KernelStack:        1472 kB
PageTables:         4300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     291332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3741401-1338771920.opb

Free space on /tmp at the end= 71296 MiB
End job on node123 at 2012-06-04 03:35:19