Trace number 3734773

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.1SAT7 1798 1798.29

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_1.opb
MD5SUMcdfa46b59876181d5d89fd18757b8cfb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1790.16
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint66
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1273
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4329
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.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-3734773-1338716493.opb
0.00/0.00	c File size is 7798 bytes.
0.00/0.00	c Highest Coefficient sum: 4329
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 146 Constr: 12 0/0/12 Lit: 792 Watch. Lit: 220
0.00/0.00	c Obj. Vars: 96 (65.7534 % of total variables)
0.00/0.00	c Pre-processing Time: 0 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    146       12      792   66      228    1584      0 -2147483648 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 1026
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    146       13      888   68      580    1776      1      0 0.00
0.00/0.01	o 823
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       49    146       68     4397   64      828    1776     56   5444 0.01
0.00/0.01	o 350
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       50    146       70     4555   65      891    1776     58   5555 0.01
0.00/0.02	c      150    146      172     8911   51     1103    1954    160   6000 0.03
0.00/0.02	o 345
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      155    146      178     9280   52     1199    1776    166   5961 0.03
0.00/0.03	o 343
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      175    146      200    10649   53     1323    1776    188   6034 0.03
0.00/0.03	o 318
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      213    146      239    12110   50     1465    1776    227   6264 0.03
0.00/0.03	o 314
0.03/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.04	c      220    146      247    12716   51     1562    1776    235   6111 0.04
0.03/0.04	o 310
0.03/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.05	c      256    146      284    14772   52     1740    1776    272   6095 0.04
0.03/0.05	o 306
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      301    146      330    16710   50     1911    1776    318   6142 0.05
0.09/0.11	c      402    146      434    21375   49     2138    1954    422   6281 0.06
0.09/0.11	c      652    146      692    34786   50     2707    2150    680   6209 0.10
0.09/0.11	o 305
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      681    146      722    36113   50     2839    1776    710   6190 0.11
0.09/0.11	o 303
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      714    146      758    37735   49     2996    1776    746   6102 0.12
0.09/0.12	o 301
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      724    146      769    38385   49     3106    1776    757   6084 0.12
0.09/0.12	o 299
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      742    146      789    39576   50     3241    1776    777   6032 0.12
0.09/0.14	o 297
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      816    146      867    43913   50     3522    1776    855   5870 0.14
0.09/0.14	o 293
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c      851    146      903    45360   50     3659    1776    891   5828 0.15
0.09/0.15	o 264
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c      871    146      924    46052   49     3781    1776    912   5806 0.15
0.09/0.15	o 259
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c      898    146      952    47123   49     3892    1776    940   5793 0.15
0.09/0.18	c     1000    146     1060    53330   50     4184    1954   1048   5649 0.18
0.09/0.18	o 224
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c     1056    146     1117    55109   49     4243    1776   1105   5708 0.18
0.09/0.18	o 216
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c     1062    146     1124    55417   49     4323    1776   1112   5679 0.19
0.09/0.19	o 208
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c     1103    146     1167    57431   49     4562    1776   1155   5656 0.20
0.19/0.22	c     1205    146     1273    61912   48     4781    1954   1261   5710 0.21
0.19/0.22	o 204
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c     1309    146     1378    65606   47     5075    1776   1366   5766 0.23
0.19/0.24	o 202
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c     1403    146     1475    69024   46     5356    1776   1463   5773 0.24
0.19/0.28	c     1504    146     1579    74997   47     5616    1954   1567   5696 0.26
0.19/0.28	o 120
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c     1613    146     1690    78662   46     5850    1776   1678   5699 0.28
0.19/0.28	o 118
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c     1617    144     1695    78854   46     5958    1772   1683   5693 0.28
0.19/0.28	o 116
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c     1627    144     1706    79526   46     5939    1772   1694   5688 0.29
0.19/0.29	o 114
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c     1666    143     1747    81766   46     6079    1770   1735   5686 0.29
0.19/0.29	o 112
2.79/2.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.85	c     1678    143     1760    82570   46     6195    1770   1748   5668 0.30
2.79/2.85	c     1778    143      932    40442   43     2434    1948    920   5644 0.32
2.79/2.85	c     2028    142     1185    48772   41     2950    2143   1173   5794 0.35
2.79/2.85	c     2504    142     1665    64465   38     3908    2358   1653   5976 0.42
2.79/2.85	c     3318    141     1262    45019   35     3080    2594   1250   5946 0.56
2.79/2.85	c     4638    141     2585    95726   37     5732    2854   2573   5938 0.78
2.79/2.85	c     6719    139     1781    58010   32     4118    3140   1769   6004 1.12
2.79/2.85	c     9942    139     1815    59969   33     4185    3455   1803   6140 1.62
2.79/2.85	c    14878    136     3273   116755   35     7093    3801   3261   6125 2.43
2.79/2.85	o 111
3.59/3.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.59/3.68	c    17133    136     3607   130088   36     7856    1756   3595   6003 2.85
3.59/3.68	c    17233    136     1005    35148   34     2566    1932    993   5989 2.88
3.59/3.68	c    17483    136     1258    42861   34     3056    2126   1246   6005 2.91
3.59/3.68	c    17958    136     1743    59992   34     4035    2339   1731   6032 2.98
3.59/3.68	c    18771    136     1353    45468   33     3251    2573   1341   6059 3.10
3.59/3.68	c    20091    134     1364    43905   32     3271    2831   1352   6095 3.30
3.59/3.68	c    22172    134     2003    75461   37     4563    3115   1991   6043 3.67
3.59/3.68	o 109
3.69/3.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.73	c    22238    134     2070    78154   37     4787    1752   2058   6042 3.68
3.69/3.73	c    22338    134     1003    38185   38     2554    1928    991   6042 3.70
3.69/3.73	o 107
3.69/3.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.73	c    22553    134     1221    47097   38     3094    1752   1209   6044 3.73
3.69/3.73	o 105
3.69/3.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.74	c    22583    134     1252    48272   38     3224    1752   1240   6044 3.74
3.69/3.74	o 101
3.69/3.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.74	c    22636    134     1309    51036   38     3453    1752   1297   6045 3.74
3.69/3.74	o 99
4.48/4.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.48/4.53	c    22647    134     1321    51535   39     3556    1752   1309   6045 3.75
4.48/4.53	c    22747    134     1421    54483   38     3767    1928   1409   6048 3.76
4.48/4.53	c    22997    134     1671    61990   37     4278    2121   1659   6051 3.80
4.48/4.53	c    23473    134     1086    36729   33     2719    2334   1074   6040 3.89
4.48/4.53	c    24286    134     1902    67182   35     4375    2568   1890   6042 4.02
4.48/4.53	c    25606    134     1897    68594   36     4333    2825   1885   6037 4.24
4.48/4.53	o 98
5.39/5.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.39/5.46	c    27312    134     2148    79764   37     4911    1752   2136   6031 4.53
5.39/5.46	c    27412    134     1002    36553   36     2542    1928    990   6031 4.54
5.39/5.46	c    27662    134     1253    43769   34     3043    2121   1241   6039 4.58
5.39/5.46	c    28137    134     1731    58425   33     4001    2334   1719   6047 4.65
5.39/5.46	c    28950    134     1340    41038   30     3230    2568   1328   6061 4.78
5.39/5.46	c    30270    134     1345    40958   30     3226    2825   1333   6085 4.97
5.39/5.46	c    32351    134     1960    65353   33     4459    3108   1948   6102 5.30
5.39/5.46	o 88
16.08/16.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.08/16.15	c    33262    134     2876    99997   34     6419    1752   2864   6090 5.46
16.08/16.15	c    33362    134     1001    36216   36     2583    1928    989   6092 5.48
16.08/16.15	c    33612    134     1251    43610   34     3081    2121   1239   6102 5.51
16.08/16.15	c    34087    134     1727    56930   32     4036    2334   1715   6121 5.57
16.08/16.15	c    34900    134     1347    37794   28     3229    2568   1335   6146 5.68
16.08/16.15	c    36221    134     1355    40575   29     3241    2825   1343   6188 5.85
16.08/16.15	c    38302    134     1993    57169   28     4520    3108   1981   6255 6.12
16.08/16.15	c    41525    134     2031    63125   31     4594    3419   2019   6325 6.57
16.08/16.15	c    46461    134     1750    52379   29     4039    3761   1738   6410 7.25
16.08/16.15	c    53968    134     3519   106710   30     7573    4138   3507   6482 8.32
16.08/16.15	c    65329    134     2275    72010   31     5079    4552   2263   6443 10.14
16.08/16.15	c    82473    134     3273    96418   29     7084    5008   3261   6460 12.77
16.08/16.15	o 69
16.08/16.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.08/16.16	c   103265    134     3799   120704   31     8247    1752   3787   6396 16.14
16.08/16.16	o 61
16.08/16.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.08/16.16	c   103268    134      905    26105   28     2425    1752    893   6391 16.16
16.08/16.16	o 59
16.69/16.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
16.69/16.77	c   103279    134      917    26894   29     2530    1752    905   6391 16.16
16.69/16.77	c   103379    129     1017    30344   29     2732    1928   1005   6391 16.18
16.69/16.77	c   103629    129     1267    39419   31     3228    2121   1255   6391 16.21
16.69/16.77	c   104104    129     1743    58170   33     4186    2334   1731   6395 16.28
16.69/16.77	c   104917    127     1342    53180   39     3200    2568   1330   6399 16.39
16.69/16.77	c   106238    126     1348    54425   40     3234    2825   1336   6401 16.60
16.69/16.77	o 58
17.09/17.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.09/17.14	c   107362    125     2473    97406   39     5558    1734   2461   6402 16.77
17.09/17.14	c   107462    125     1000    37376   37     2524    1908    988   6400 16.79
17.09/17.14	c   107713    125     1253    46866   37     3061    2099   1241   6400 16.83
17.09/17.14	c   108188    123     1728    64026   37     4011    2309   1716   6400 16.90
17.09/17.14	c   109001    123     1359    50649   37     3237    2540   1347   6397 17.04
17.09/17.14	o 51
17.68/17.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.68/17.76	c   109585    123     1944    73345   37     4489    1730   1932   6395 17.14
17.68/17.76	c   109685    122     1002    38252   38     2525    1904    990   6394 17.15
17.68/17.76	c   109935    122     1252    46628   37     3030    2095   1240   6395 17.19
17.68/17.76	c   110410    122     1727    63233   36     3979    2305   1715   6393 17.27
17.68/17.76	c   111223    122     1357    47824   35     3239    2536   1345   6392 17.40
17.68/17.76	c   112545    122     1370    48823   35     3257    2790   1358   6386 17.62
17.68/17.76	o 47
17.98/18.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.98/18.07	c   113367    122     2193    78391   35     4978    1728   2181   6384 17.76
17.98/18.07	c   113467    122     1001    34697   34     2521    1901    989   6384 17.77
17.98/18.07	c   113717    122     1251    42498   33     3017    2092   1239   6384 17.81
17.98/18.07	c   114192    122     1727    57503   33     3974    2302   1715   6386 17.88
17.98/18.07	c   115006    122     1353    42856   31     3221    2533   1341   6386 18.01
17.98/18.07	o 45
17.98/18.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.98/18.08	c   115425    122     1774    55813   31     4132    1728   1762   6388 18.07
17.98/18.08	o 41
25.19/25.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.19/25.22	c   115476    122      955    30487   31     2510    1728    943   6387 18.08
25.19/25.22	c   115576    122     1055    33707   31     2709    1901   1043   6387 18.09
25.19/25.22	c   115826    122     1306    42533   32     3212    2092   1294   6389 18.13
25.19/25.22	c   116301    122     1784    59287   33     4169    2302   1772   6391 18.20
25.19/25.22	c   117114    122     1416    49083   34     3353    2533   1404   6394 18.32
25.19/25.22	c   118434    122     1443    51847   35     3395    2787   1431   6405 18.49
25.19/25.22	c   120515    122     2100    76866   36     4713    3066   2088   6419 18.77
25.19/25.22	c   123738    122     2189    80309   36     4887    3373   2177   6428 19.25
25.19/25.22	c   128675    122     1972    66602   33     4452    3711   1960   6431 20.01
25.19/25.22	c   136181    122     1909    66752   34     4337    4083   1897   6439 21.15
25.19/25.22	c   147542    122     2904    99818   34     6324    4492   2892   6426 22.96
25.19/25.22	o 40
25.19/25.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.19/25.24	c   161225    122     2920    97572   33     6428    1728   2908   6393 25.22
25.19/25.24	o 36
25.19/25.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.19/25.30	c   161324    122     1001    33491   33     2591    1728    989   6393 25.23
25.19/25.30	c   161424    122     1102    37698   34     2807    1901   1090   6393 25.25
25.19/25.30	c   161674    122     1358    46478   34     3378    2092   1346   6394 25.28
25.19/25.30	o 32
26.98/27.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.98/27.08	c   161739    122     1424    48792   34     3583    1728   1412   6394 25.29
26.98/27.08	c   161839    113     1524    52321   34     3779    1901   1512   6394 25.31
26.98/27.08	c   162089    110     1774    61730   34     4260    2092   1762   6393 25.35
26.98/27.08	c   162564    110     1168    41987   35     2841    2302   1156   6394 25.42
26.98/27.08	c   163377    110     1981    72750   36     4461    2533   1969   6401 25.52
26.98/27.08	c   164697    110     1993    76891   38     4491    2787   1981   6405 25.71
26.98/27.08	c   166779    110     2648   103269   38     5797    3066   2636   6412 26.01
26.98/27.08	c   170004    110     2728   110325   40     5972    3373   2716   6409 26.52
26.98/27.08	o 30
32.48/32.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.48/32.58	c   173137    110     2427    98151   40     5427    1704   2415   6393 27.08
32.48/32.58	c   173237    110     1001    40143   40     2491    1875    989   6392 27.10
32.48/32.58	c   173487    110     1251    50200   40     3004    2063   1239   6393 27.14
32.48/32.58	c   173963    110     1728    69773   40     3963    2270   1716   6393 27.21
32.48/32.58	c   174777    110     1374    53838   39     3240    2498   1362   6396 27.32
32.48/32.58	c   176099    110     1406    57133   40     3310    2748   1394   6396 27.53
32.48/32.58	c   178180    110     2070    83953   40     4634    3023   2058   6388 27.89
32.48/32.58	c   181404    110     2182    86738   39     4862    3326   2170   6385 28.41
32.48/32.58	c   186340    110     2037    79335   38     4579    3659   2025   6375 29.23
32.48/32.58	c   193846    110     2076    83787   40     4659    4025   2064   6343 30.56
32.48/32.58	o 29
50.07/50.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
50.07/50.19	c   205161    110     3159   128707   40     6873    1704   3147   6298 32.57
50.07/50.19	c   205261    110     1001    39470   39     2498    1875    989   6298 32.59
50.07/50.19	c   205511    110     1251    48524   38     2990    2063   1239   6300 32.62
50.07/50.19	c   205986    110     1726    65880   38     3936    2270   1714   6304 32.67
50.07/50.19	c   206800    110     1365    50195   36     3228    2498   1353   6309 32.78
50.07/50.19	c   208120    110     1405    52037   37     3302    2748   1393   6315 32.95
50.07/50.19	c   210201    110     2084    75871   36     4656    3023   2072   6327 33.22
50.07/50.19	c   213425    110     2221    85547   38     4930    3326   2209   6345 33.63
50.07/50.19	c   218362    110     2070    79369   38     4638    3659   2058   6360 34.33
50.07/50.19	c   225868    110     2131    82983   38     4749    4025   2119   6368 35.47
50.07/50.19	c   237229    110     3243   129062   39     6989    4428   3231   6371 37.23
50.07/50.19	c   254374    110     2387    92847   38     5259    4871   2375   6381 39.86
50.07/50.19	c   280193    110     3503   140515   40     7507    5359   3491   6318 44.35
50.07/50.19	o 22
50.17/50.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
50.17/50.20	c   311838    110     5308   218629   41    11184    1704   5296   6214 50.18
50.17/50.20	o 20
50.17/50.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
50.17/50.21	c   311853    110      917    37453   40     2394    1704    905   6213 50.19
50.17/50.21	o 18
123.77/123.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
123.77/123.84	c   311874    110      939    38559   41     2496    1704    927   6213 50.20
123.77/123.84	c   311974    110     1039    42261   40     2694    1875   1027   6213 50.21
123.77/123.84	c   312224    110     1289    51955   40     3187    2063   1277   6213 50.25
123.77/123.84	c   312699    110     1764    70414   39     4131    2270   1752   6214 50.32
123.77/123.84	c   313512    110     1400    53756   38     3289    2498   1388   6215 50.44
123.77/123.84	c   314833    110     1445    55328   38     3380    2748   1433   6216 50.65
123.77/123.84	c   316914    110     2119    79540   37     4736    3023   2107   6217 50.97
123.77/123.84	c   320137    110     2262    85104   37     5026    3326   2250   6220 51.47
123.77/123.84	c   325074    110     2100    82208   39     4698    3659   2088   6221 52.25
123.77/123.84	c   332580    110     2160    82803   38     4808    4025   2148   6219 53.47
123.77/123.84	c   343941    110     3269   121831   37     7030    4428   3257   6204 55.43
123.77/123.84	c   361085    110     2456    92085   37     5408    4871   2444   6171 58.51
123.77/123.84	c   386904    110     3605   138960   38     7705    5359   3593   6125 63.16
123.77/123.84	c   425736    110     4476   173723   38     9454    5895   4464   6073 70.10
123.77/123.84	c   484088    110     3210   127109   39     6922    6485   3198   5973 81.05
123.77/123.84	c   571720    110     5690   223224   39    11877    7134   5678   5852 97.69
123.77/123.84	c   703272    110     4018   158911   39     8533    7848   4006   5735 122.61
123.77/123.84	o 17
318.23/318.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
318.23/318.30	c   709173    110     5958   233549   39    12475    1704   5946   5727 123.82
318.23/318.30	c   709273    110     1001    38889   38     2498    1875    989   5726 123.85
318.23/318.30	c   709523    110     1251    48426   38     2997    2063   1239   5727 123.88
318.23/318.30	c   709998    110     1726    66615   38     3952    2270   1714   5727 123.95
318.23/318.30	c   710811    110     1366    51887   37     3231    2498   1354   5729 124.07
318.23/318.30	c   712131    110     1398    53050   37     3298    2748   1386   5730 124.27
318.23/318.30	c   714212    110     2078    78296   37     4653    3023   2066   5733 124.57
318.23/318.30	c   717435    110     2206    85780   38     4908    3326   2194   5738 125.03
318.23/318.30	c   722372    110     2043    79202   38     4587    3659   2031   5741 125.81
318.23/318.30	c   729879    110     2098    82783   39     4698    4025   2086   5750 126.93
318.23/318.30	c   741241    110     3258   113938   34     7008    4428   3246   5765 128.56
318.23/318.30	c   758385    110     2441    88575   36     5368    4871   2429   5777 131.28
318.23/318.30	c   784206    110     3591   137530   38     7678    5359   3579   5795 135.31
318.23/318.30	c   823038    110     4441   162206   36     9375    5895   4429   5792 142.07
318.23/318.30	c   881391    110     3160   127236   40     6819    6485   3148   5751 153.24
318.23/318.30	c   969024    110     5636   215686   38    11775    7134   5624   5712 169.63
318.23/318.30	c  1100576    110     3907   154748   39     8308    7848   3895   5645 194.95
318.23/318.30	c  1298008    110     7368   293890   39    15230    8633   7356   5545 234.08
318.23/318.30	c  1594260    110     7808   308607   39    16109    9497   7796   5391 295.71
318.23/318.30	o 15
979.53/979.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
979.53/979.71	c  1695434    110     8569   337135   39    17694    1704   8557   5327 318.24
979.53/979.71	c  1695534    107     1001    39168   39     2499    1875    989   5327 318.29
979.53/979.71	c  1695784    106     1251    48516   38     2999    2063   1239   5327 318.32
979.53/979.71	c  1696259    106     1726    65939   38     3930    2270   1714   5327 318.37
979.53/979.71	c  1697072    105     1370    50457   36     3233    2498   1358   5328 318.48
979.53/979.71	c  1698393    103     1404    53491   38     3290    2748   1392   5329 318.65
979.53/979.71	c  1700474    102     2081    77150   37     4640    3023   2069   5332 318.90
979.53/979.71	c  1703697    102     2212    80371   36     4887    3326   2200   5336 319.27
979.53/979.71	c  1708634    101     2054    76139   37     4581    3659   2042   5341 319.86
979.53/979.71	c  1716140    101     2114    75565   35     4702    4025   2102   5348 320.84
979.53/979.71	c  1727501    101     3252   114314   35     6974    4428   3240   5358 322.36
979.53/979.71	c  1744645    101     2423    84256   34     5311    4871   2411   5373 324.70
979.53/979.71	c  1770466    100     3561   139390   39     7602    5359   3549   5390 328.47
979.53/979.71	c  1809298     98     4399   173024   39     9275    5895   4387   5400 335.03
979.53/979.71	c  1867651     98     3124   125032   40     6725    6485   3112   5402 345.71
979.53/979.71	c  1955283     98     5582   215409   38    11627    7134   5570   5421 360.62
979.53/979.71	c  2086835     98     3938   145860   37     8342    7848   3926   5421 384.92
979.53/979.71	c  2284269     98     7474   287029   38    15426    8633   7462   5380 424.57
979.53/979.71	c  2580523     98     7994   317819   39    16469    9497   7982   5317 485.25
979.53/979.71	c  3025005     98     7821   308602   39    16109   10447   7809   5243 576.89
979.53/979.71	c  3691834     98     7367   285331   38    15202   11492   7355   5099 724.03
979.53/979.71	c  4692180     98     7887   309356   39    16253   12642   7875   4872 962.93
979.53/979.71	o 13
979.53/979.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
979.53/979.77	c  4756579     98     8718   340306   39    17961    1680   8706   4855 979.56
979.53/979.77	o 7
1797.91/1798.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.28	c  4756666     98      989    38602   39     2493    1680    977   4855 979.62
1797.91/1798.28	c  4756766     97     1089    42379   38     2685    1849   1077   4855 979.63
1797.91/1798.28	c  4757016     97     1339    52059   38     3186    2034   1327   4855 979.66
1797.91/1798.28	c  4757491     97     1814    70642   38     4135    2238   1802   4855 979.72
1797.91/1798.28	c  4758304     97     1466    56424   38     3389    2462   1454   4856 979.82
1797.91/1798.28	c  4759624     96     1521    58709   38     3498    2709   1509   4856 979.99
1797.91/1798.28	c  4761705     94     2204    86441   39     4869    2980   2192   4857 980.27
1797.91/1798.28	c  4764928     93     2365    94195   39     5188    3279   2353   4858 980.72
1797.91/1798.28	c  4769864     90     2264    88549   39     4965    3607   2252   4860 981.43
1797.91/1798.28	c  4777371     89     2418    96194   39     5281    3968   2406   4862 982.50
1797.91/1798.28	c  4788732     89     3686   146108   39     7815    4365   3674   4866 984.09
1797.91/1798.28	c  4805876     89     3101   127824   41     6646    4802   3089   4870 986.79
1797.91/1798.28	c  4831695     89     4589   182863   39     9620    5283   4577   4876 990.75
1797.91/1798.28	c  4870528     89     3320   128451   38     7089    5812   3308   4883 997.35
1797.91/1798.28	c  4928880     86     5809   224916   38    12057    6394   5797   4892 1007.50
1797.91/1798.28	c  5016512     86     6189   243811   39    12826    7034   6177   4901 1023.38
1797.91/1798.28	c  5148064     86     6392   249511   39    13233    7738   6380   4913 1047.68
1797.91/1798.28	c  5345497     86     4827   189005   39    10103    8512   4815   4925 1085.17
1797.91/1798.28	c  5641750     86     5133   205502   40    10710    9364   5121   4925 1145.34
1797.91/1798.28	c  6086233     86     6530   249057   38    13505   10301   6518   4887 1245.38
1797.91/1798.28	c  6753061     86     9862   393279   39    20168   11332   9850   4825 1399.59
1797.91/1798.28	c  7753408     86     7149   288596   40    14745   12466   7137   4694 1651.45
1797.91/1798.28	c Resources Exceeded
1797.91/1798.28	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 x99 -x100 -x101 -x102 -x103 x104 x105 x106 x107 x108 -x109 -x110 -x111 -x112 x113 -x114 x115 x116 x117 -x118 x119 x120 x121 x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 x132 x133 x134 -x135 x136 x137 -x138 x139 -x140 x141 -x142 -x143 x144 -x145 x146 
1797.91/1798.28	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.28	c  232  8325196  46489  8384087     8704   330238   8692   4630 1798.00
1797.91/1798.28	c Objective: 7
1797.91/1798.28	s SATISFIABLE
1797.91/1798.28	c Total time: 1798 s

Verifier Data 

OK	7

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-3734773-1338716493/watcher-3734773-1338716493 -o /tmp/evaluation-result-3734773-1338716493/solver-3734773-1338716493 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3734773-1338716493.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 1.91 3/176 30744
/proc/meminfo: memFree=31596164/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=18604 CPUtime=0 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 298 0 0 0 0 0 0 0 20 0 1 0 337777843 19050496 249 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30744/statm: 4651 249 196 641 0 4007 0

[startup+0.038061 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30744
/proc/meminfo: memFree=31596164/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=10920 CPUtime=0.03 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 343 0 0 0 3 0 0 0 20 0 1 0 337777843 11182080 294 33554432000 134512640 137136520 4293731600 4293728280 134598592 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30744/statm: 2730 294 197 641 0 2086 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10920

[startup+0.100203 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30744
/proc/meminfo: memFree=31596164/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=11172 CPUtime=0.09 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 420 0 0 0 9 0 0 0 20 0 1 0 337777843 11440128 371 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30744/statm: 2793 371 197 641 0 2149 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11172

[startup+0.300176 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30744
/proc/meminfo: memFree=31596164/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=12044 CPUtime=0.29 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 618 0 0 0 29 0 0 0 20 0 1 0 337777843 12333056 569 33554432000 134512640 137136520 4293731600 4293730528 134544148 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30744/statm: 3011 569 197 641 0 2367 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12044

[startup+0.700173 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 30744
/proc/meminfo: memFree=31596164/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=12172 CPUtime=0.69 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 655 0 0 0 69 0 0 0 20 0 1 0 337777843 12464128 606 33554432000 134512640 137136520 4293731600 4293728280 134599936 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30744/statm: 3043 606 197 641 0 2399 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12172

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30745
/proc/meminfo: memFree=31594428/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=12428 CPUtime=1.49 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 716 0 0 0 149 0 0 0 20 0 1 0 337777843 12726272 667 33554432000 134512640 137136520 4293731600 4293730528 134544145 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30744/statm: 3107 667 197 641 0 2463 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12428

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30745
/proc/meminfo: memFree=31593716/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=12924 CPUtime=3.09 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 847 0 0 0 308 1 0 0 20 0 1 0 337777843 13234176 798 33554432000 134512640 137136520 4293731600 4293730528 134544604 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30744/statm: 3231 798 197 641 0 2587 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12924

[startup+6.30017 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30745
/proc/meminfo: memFree=31592972/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=12924 CPUtime=6.29 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 847 0 0 0 626 3 0 0 20 0 1 0 337777843 13234176 798 33554432000 134512640 137136520 4293731600 4293730496 134544455 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30744/statm: 3231 798 197 641 0 2587 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12924

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30745
/proc/meminfo: memFree=31592608/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=13300 CPUtime=12.69 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 930 0 0 0 1263 6 0 0 20 0 1 0 337777843 13619200 881 33554432000 134512640 137136520 4293731600 4293730196 136509123 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30744/statm: 3325 881 197 641 0 2681 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13300

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30745
/proc/meminfo: memFree=31592684/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=13412 CPUtime=25.48 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 977 0 0 0 2539 9 0 0 20 0 1 0 337777843 13733888 927 33554432000 134512640 137136520 4293731600 4293730312 136502757 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30744/statm: 3353 927 197 641 0 2709 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 13412

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30745
/proc/meminfo: memFree=31591568/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=14256 CPUtime=51.07 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 1173 0 0 0 5089 18 0 0 20 0 1 0 337777843 14598144 1123 33554432000 134512640 137136520 4293731600 4293728944 134600205 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30744/statm: 3564 1123 197 641 0 2920 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 14256

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30745
/proc/meminfo: memFree=31590700/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=15228 CPUtime=102.27 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 1412 0 0 0 10191 36 0 0 20 0 1 0 337777843 15593472 1362 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 3807 1362 197 641 0 3163 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 15228

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30745
/proc/meminfo: memFree=31590016/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=15604 CPUtime=162.25 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 1526 0 0 0 16168 57 0 0 20 0 1 0 337777843 15978496 1475 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 3901 1475 197 641 0 3257 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 15604

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30745
/proc/meminfo: memFree=31590016/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=15840 CPUtime=222.25 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 1571 0 0 0 22149 76 0 0 20 0 1 0 337777843 16220160 1520 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 3960 1520 197 641 0 3316 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 15840

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30746
/proc/meminfo: memFree=31589520/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=16324 CPUtime=282.24 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 1704 0 0 0 28131 93 0 0 20 0 1 0 337777843 16715776 1653 33554432000 134512640 137136520 4293731600 4293730640 134540859 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4081 1653 197 641 0 3437 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 16324

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30746
/proc/meminfo: memFree=31589024/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=16652 CPUtime=342.23 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 1829 0 0 0 34111 112 0 0 20 0 1 0 337777843 17051648 1741 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4163 1741 197 641 0 3519 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 16652

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30746
/proc/meminfo: memFree=31587844/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=16652 CPUtime=402.22 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 1829 0 0 0 40092 130 0 0 20 0 1 0 337777843 17051648 1741 33554432000 134512640 137136520 4293731600 4293730640 134540859 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4163 1741 197 641 0 3519 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 16652

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30746
/proc/meminfo: memFree=31587720/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=16652 CPUtime=462.21 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 1829 0 0 0 46074 147 0 0 20 0 1 0 337777843 17051648 1741 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4163 1741 197 641 0 3519 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 16652

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 30749
/proc/meminfo: memFree=31586896/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=16920 CPUtime=522.2 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 1897 0 0 0 52054 166 0 0 20 0 1 0 337777843 17326080 1808 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4230 1808 197 641 0 3586 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 16920

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 30750
/proc/meminfo: memFree=31586664/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=17164 CPUtime=582.19 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 1951 0 0 0 58035 184 0 0 20 0 1 0 337777843 17575936 1860 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4291 1860 197 641 0 3647 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 17164

[startup+642.3 s]

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

/proc/meminfo: memFree=31601948/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=18432 CPUtime=1122.11 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 2361 0 0 0 111875 336 0 0 20 0 1 0 337777843 18874368 2186 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4608 2186 197 641 0 3964 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 18432

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 30874
/proc/meminfo: memFree=31599752/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=18432 CPUtime=1182.1 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 2361 0 0 0 117856 354 0 0 20 0 1 0 337777843 18874368 2186 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4608 2186 197 641 0 3964 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 18432

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30874
/proc/meminfo: memFree=31598480/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=18432 CPUtime=1242.09 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 2361 0 0 0 123839 370 0 0 20 0 1 0 337777843 18874368 2186 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4608 2186 197 641 0 3964 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 18432

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30874
/proc/meminfo: memFree=31597984/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=18432 CPUtime=1302.09 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 2361 0 0 0 129822 387 0 0 20 0 1 0 337777843 18874368 2186 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4608 2186 197 641 0 3964 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 18432

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30874
/proc/meminfo: memFree=31598232/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=18432 CPUtime=1362.07 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 2361 0 0 0 135805 402 0 0 20 0 1 0 337777843 18874368 2186 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4608 2186 197 641 0 3964 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 18432

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30874
/proc/meminfo: memFree=31597860/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=18432 CPUtime=1422.06 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 2361 0 0 0 141789 417 0 0 20 0 1 0 337777843 18874368 2186 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4608 2186 197 641 0 3964 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 18432

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 30875
/proc/meminfo: memFree=31597612/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=18432 CPUtime=1482.06 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 2361 0 0 0 147775 431 0 0 20 0 1 0 337777843 18874368 2186 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4608 2186 197 641 0 3964 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 18432

[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 1.93 3/177 30875
/proc/meminfo: memFree=31597116/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=18432 CPUtime=1542.05 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 2361 0 0 0 153756 449 0 0 20 0 1 0 337777843 18874368 2186 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4608 2186 197 641 0 3964 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 18432

[startup+1602.3 s]
/proc/loadavg: 2.07 2.03 1.93 3/177 30875
/proc/meminfo: memFree=31596928/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=18432 CPUtime=1602.04 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 2361 0 0 0 159741 463 0 0 20 0 1 0 337777843 18874368 2186 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4608 2186 197 641 0 3964 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 18432

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/177 30875
/proc/meminfo: memFree=31596928/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=18684 CPUtime=1662.03 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 2418 0 0 0 165727 476 0 0 20 0 1 0 337777843 19132416 2243 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4671 2243 197 641 0 4027 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 18684

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/178 30878
/proc/meminfo: memFree=31596780/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=18788 CPUtime=1722.01 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 2431 0 0 0 171710 491 0 0 20 0 1 0 337777843 19238912 2256 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4697 2256 197 641 0 4053 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 18788

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 30879
/proc/meminfo: memFree=31596680/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=18748 CPUtime=1782.01 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 2431 0 0 0 177693 508 0 0 20 0 1 0 337777843 19197952 2256 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4687 2256 197 641 0 4043 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 18748

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 30879
/proc/meminfo: memFree=31596804/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=18748 CPUtime=1791.61 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 2431 0 0 0 178651 510 0 0 20 0 1 0 337777843 19197952 2256 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4687 2256 197 641 0 4043 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 18748

[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 30879
/proc/meminfo: memFree=31596184/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=18744 CPUtime=1794.81 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 2431 0 0 0 178970 511 0 0 20 0 1 0 337777843 19193856 2256 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4686 2256 197 641 0 4042 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 18744

[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 30879
/proc/meminfo: memFree=31596184/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=18744 CPUtime=1796.41 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 2431 0 0 0 179129 512 0 0 20 0 1 0 337777843 19193856 2256 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4686 2256 197 641 0 4042 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 18744

[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 30879
/proc/meminfo: memFree=31596184/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=18744 CPUtime=1797.21 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 2431 0 0 0 179209 512 0 0 20 0 1 0 337777843 19193856 2256 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4686 2256 197 641 0 4042 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 18744

[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 30879
/proc/meminfo: memFree=31596184/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=18744 CPUtime=1797.61 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 2431 0 0 0 179249 512 0 0 20 0 1 0 337777843 19193856 2256 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4686 2256 197 641 0 4042 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 18744

[startup+1798.1 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 30879
/proc/meminfo: memFree=31596184/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=18744 CPUtime=1797.81 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 2431 0 0 0 179269 512 0 0 20 0 1 0 337777843 19193856 2256 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4686 2256 197 641 0 4042 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 18744

[startup+1798.2 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 30879
/proc/meminfo: memFree=31596184/32873844 swapFree=7116/7116
[pid=30744] ppid=30742 vsize=18744 CPUtime=1797.91 cores=0,2,4,6
/proc/30744/stat : 30744 (bsolo) R 30742 30744 30350 0 -1 4202496 2431 0 0 0 179279 512 0 0 20 0 1 0 337777843 19193856 2256 33554432000 134512640 137136520 4293731600 4293730716 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30744/statm: 4686 2256 197 641 0 4042 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 18744

Child status: 0
Real time (s): 1798.29
CPU time (s): 1798
CPU user time (s): 1792.88
CPU system time (s): 5.12422
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 18792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.88
system time used= 5.12422
maximum resident set size= 9028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2433
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2092

runsolver used 2.80257 second user time and 7.00593 second system time

The end

Launcher Data 

Begin job on node103 at 2012-06-03 11:41:33
IDJOB=3734773
IDBENCH=2902
IDSOLVER=2320
FILE ID=node103/3734773-1338716493
RUNJOBID= node103-1338713869-30366
PBS_JOBID= 14636745
Free space on /tmp= 71124 MiB

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

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

MD5SUM BENCH= cdfa46b59876181d5d89fd18757b8cfb
RANDOM SEED=724280453

node103.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.189
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.37
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.189
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.189
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.189
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.189
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.189
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	: 5411.36
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.189
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.189
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31596708 kB
Buffers:          166400 kB
Cached:           326596 kB
SwapCached:         5648 kB
Active:           159708 kB
Inactive:         358640 kB
Active(anon):      23248 kB
Inactive(anon):     4740 kB
Active(file):     136460 kB
Inactive(file):   353900 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67096352 kB
Dirty:              3888 kB
Writeback:             0 kB
AnonPages:         28392 kB
Mapped:             9620 kB
Shmem:                 0 kB
Slab:             622768 kB
SReclaimable:      63444 kB
SUnreclaim:       559324 kB
KernelStack:        1472 kB
PageTables:         3664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     158200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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-3734773-1338716493.opb

Free space on /tmp at the end= 71120 MiB
End job on node103 at 2012-06-03 12:11:31