Trace number 3463187

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2SAT7 1798.05 1798.21

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_4.opb
MD5SUM740b964ee569656e2f29dedde6e3939b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark1798.93
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4
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 constraint62
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 1486
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4969
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.01	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.01	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Learning Strategy: Cardinality Constraint Learning
0.00/0.01	c Time Limit set to 1800
0.00/0.01	c Instance file HOME/instance-3463187-1307179353.opb
0.00/0.01	c File size is 7674 bytes.
0.00/0.01	c Highest Coefficient sum: 4969
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0 s
0.00/0.01	c Var: 146 Constr: 12 0/0/12 Lit: 778 Watch. Lit: 224
0.00/0.01	c Obj. Vars: 96 (65.7534 % of total variables)
0.00/0.01	c Pre-processing Time: 0 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    146       12      778   64      230    1556      0 -2147483648 0.00
0.00/0.01	c Switching off lower bounding mode.
0.00/0.01	o 965
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    146       13      874   67      564    1748      1      0 0.00
0.00/0.02	o 896
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       96    146      124     7315   58      941    1748    112   6400 0.01
0.00/0.02	o 465
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      109    146      151     8900   58     1150    1748    139   6812 0.02
0.00/0.03	c      209    146      277    15949   57     1612    1923    265   6966 0.03
0.00/0.03	o 461
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      217    146      292    16872   57     1798    1748    280   7000 0.03
0.00/0.04	o 394
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      247    146      327    18264   55     1971    1748    315   6675 0.04
0.00/0.04	o 392
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      248    146      329    18442   56     2067    1748    317   6702 0.04
0.00/0.04	o 390
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      265    146      350    19480   55     2224    1748    338   6625 0.04
0.00/0.06	c      366    146      468    25903   55     2624    1923    456   6535 0.06
0.00/0.06	o 342
0.07/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.07/0.09	c      399    146      510    28076   55     2799    1748    498   6435 0.06
0.07/0.09	c      499    146      628    34005   54     3109    1923    616   6237 0.08
0.07/0.09	o 309
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c      539    146      672    35856   53     3250    1748    660   6267 0.09
0.09/0.13	c      641    146      797    41591   52     3581    1923    785   6104 0.10
0.09/0.13	o 307
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c      782    146      960    48920   50     4091    1748    948   6157 0.13
0.09/0.13	o 269
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      799    146      978    49603   50     4171    1748    966   6146 0.13
0.09/0.14	o 265
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      848    146     1032    51488   49     4413    1748   1020   6144 0.14
0.09/0.14	o 263
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c      856    146     1041    52035   49     4474    1748   1029   6114 0.14
0.09/0.15	o 261
1.59/1.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.69	c      914    146     1108    55513   50     4755    1748   1096   6093 0.15
1.59/1.69	c     1014    146     1221    59766   48     5035    1923   1209   6182 0.16
1.59/1.69	c     1264    146     1509    71031   47     5686    2116   1497   6257 0.20
1.59/1.69	c     1740    146     2063    92333   44     6807    2328   2051   6020 0.29
1.59/1.69	c     2553    146     1804    71967   39     4185    2561   1792   5815 0.44
1.59/1.69	c     3874    146     1982    78623   39     4555    2818   1970   5756 0.67
1.59/1.69	c     5955    146     1422    54925   38     3403    3100   1410   5736 1.04
1.59/1.69	c     9178    146     1873    81497   43     4415    3411   1861   5542 1.66
1.59/1.69	o 254
1.69/1.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.70	c     9334    146     2063    90057   43     4893    1748   2051   5529 1.69
1.69/1.70	o 206
1.69/1.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.71	c     9419    146      980    43119   43     2606    1748    968   5530 1.70
1.69/1.71	o 204
1.69/1.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.76	c     9474    146     1042    45478   43     2825    1748   1030   5533 1.71
1.69/1.76	c     9574    146     1150    50214   43     3048    1923   1138   5546 1.73
1.69/1.76	o 177
1.69/1.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.69/1.76	c     9778    146     1373    58376   42     3622    1748   1361   5568 1.76
1.69/1.76	o 147
1.79/1.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.82	c     9783    146     1379    58631   42     3720    1748   1367   5568 1.76
1.79/1.82	c     9883    146     1492    63491   42     3947    1923   1480   5571 1.77
1.79/1.82	o 146
1.79/1.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.82	c    10099    146     1731    73103   42     4516    1748   1719   5567 1.81
1.79/1.82	o 144
1.79/1.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.84	c    10123    146     1758    74039   42     4665    1748   1746   5565 1.82
1.79/1.84	o 141
1.79/1.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.84	c    10204    146      930    36822   39     2521    1748    918   5560 1.83
1.79/1.84	o 135
1.79/1.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.86	c    10249    146      977    38767   39     2703    1748    965   5564 1.84
1.79/1.86	o 133
1.79/1.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.88	c    10338    146     1078    45276   42     3071    1748   1066   5564 1.86
1.79/1.88	c    10438    146     1187    48843   41     3291    1923   1175   5575 1.87
1.79/1.88	o 131
1.79/1.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.89	c    10469    146     1229    51761   42     3555    1748   1217   5574 1.88
1.79/1.89	o 129
1.89/1.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.90	c    10544    146     1314    54834   41     3824    1748   1302   5578 1.89
1.89/1.90	o 127
1.89/1.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.91	c    10572    146     1348    56643   42     4026    1748   1336   5578 1.90
1.89/1.91	o 125
2.48/2.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.48/2.53	c    10617    145     1413    60798   43     4353    1746   1401   5576 1.90
2.48/2.53	c    10717    141     1517    64096   42     4561    1921   1505   5581 1.92
2.48/2.53	c    10967    140     1787    73392   41     5142    2114   1775   5589 1.96
2.48/2.53	c    11442    138     1182    43048   36     3011    2326   1170   5595 2.04
2.48/2.53	c    12255    136     2036    73748   36     4719    2559   2024   5644 2.17
2.48/2.53	c    13575    136     2090    72303   34     4828    2815   2078   5701 2.38
2.48/2.53	o 120
2.48/2.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.48/2.54	c    14500    136     1618    55304   34     3972    1728   1606   5735 2.53
2.48/2.54	o 116
2.48/2.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.48/2.55	c    14567    136     1688    57862   34     4197    1728   1676   5730 2.54
2.48/2.55	o 114
2.69/2.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.73	c    14588    136     1715    59679   34     4380    1728   1703   5729 2.55
2.69/2.73	c    14688    136      917    32204   35     2409    1901    905   5730 2.56
2.69/2.73	c    14938    136     1180    42511   36     2947    2092   1168   5738 2.60
2.69/2.73	c    15413    136     1679    62040   36     3980    2302   1667   5746 2.68
2.69/2.73	o 113
3.09/3.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.11	c    15702    136     1975    72342   36     4651    1728   1963   5760 2.73
3.09/3.11	c    15802    136      989    36365   36     2514    1901    977   5762 2.74
3.09/3.11	c    16053    136     1245    44590   35     3020    2092   1233   5776 2.78
3.09/3.11	c    16528    136     1757    63157   35     4190    2302   1745   5791 2.85
3.09/3.11	c    17341    136     1412    50755   35     3420    2533   1400   5791 2.99
3.09/3.11	o 112
3.09/3.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.09/3.14	c    18107    136     2240    83144   37     5431    1728   2228   5816 3.11
3.09/3.14	c    18207    136      994    37031   37     2551    1901    982   5818 3.13
3.09/3.14	o 109
3.19/3.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.19/3.21	c    18293    136     1087    40409   37     2851    2010   1075   5823 3.14
3.19/3.21	c    18393    136     1192    44961   37     3120    2212   1180   5826 3.16
3.19/3.21	c    18643    136     1452    54067   37     3690    2434   1440   5835 3.19
3.19/3.21	o 90
3.19/3.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.19/3.21	c    18738    136     1552    57614   37     3971    2010   1540   5839 3.21
3.19/3.21	o 86
3.78/3.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.78/3.82	c    18739    136     1554    57767   37     4058    2010   1542   5839 3.21
3.78/3.82	c    18840    136     1660    61361   36     4268    2212   1648   5843 3.22
3.78/3.82	c    19090    136     1916    68767   35     4782    2434   1904   5863 3.26
3.78/3.82	c    19565    135     2412    85117   35     5769    2678   2400   5880 3.33
3.78/3.82	c    20379    135     1868    59048   31     4279    2946   1856   5910 3.45
3.78/3.82	c    21699    135     1701    52098   30     3932    3241   1689   5949 3.65
3.78/3.82	o 68
3.78/3.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.78/3.82	c    23035    135     3072    91978   29     6785    1726   3060   6036 3.82
3.78/3.82	o 66
3.78/3.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.78/3.82	c    23038    135      891    25323   28     2394    1726    879   6027 3.82
3.78/3.82	o 64
3.78/3.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.78/3.83	c    23041    135      895    25572   28     2484    1726    883   6026 3.82
3.78/3.83	o 62
3.98/4.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.98/4.01	c    23080    133      939    28137   29     2700    1722    927   6027 3.83
3.98/4.01	c    23180    129     1044    31748   30     2919    1895   1032   6028 3.85
3.98/4.01	c    23430    124     1298    40291   31     3439    2085   1286   6027 3.89
3.98/4.01	c    23905    124     1782    57874   32     4412    2294   1770   6019 3.97
3.98/4.01	o 55
4.18/4.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.18/4.26	c    24139    124     2028    67463   33     5017    1704   2016   6016 4.01
4.18/4.26	c    24239    124      990    35912   36     2561    1875    978   6014 4.03
4.18/4.26	c    24489    123     1241    44854   36     3067    2063   1229   6019 4.07
4.18/4.26	c    24964    122     1723    61908   35     4036    2270   1711   6024 4.14
4.18/4.26	o 54
4.29/4.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.29/4.33	c    25638    122     1239    44517   35     3100    1700   1227   6023 4.26
4.29/4.33	c    25738    122     1343    48626   36     3315    1871   1331   6024 4.27
4.29/4.33	c    25988    122     1593    57357   36     3813    2059   1581   6026 4.31
4.29/4.33	o 53
4.29/4.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.29/4.33	c    26068    122     1674    60047   35     4045    1700   1662   6025 4.33
4.29/4.33	o 51
4.79/4.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.79/4.84	c    26090    122     1699    61479   36     4192    1700   1687   6025 4.33
4.79/4.84	c    26190    122      894    32469   36     2323    1871    882   6023 4.35
4.79/4.84	c    26440    122     1147    41775   36     2833    2059   1135   6029 4.38
4.79/4.84	c    26915    122     1627    58360   35     3818    2265   1615   6034 4.46
4.79/4.84	c    27729    122     1274    43166   33     3089    2492   1262   6034 4.59
4.79/4.84	c    29050    122     1329    47719   35     3166    2742   1317   6030 4.82
4.79/4.84	o 49
4.79/4.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.79/4.85	c    29212    122     1495    53298   35     3578    1700   1483   6031 4.84
4.79/4.85	o 47
4.79/4.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.79/4.85	c    29222    122     1507    53960   35     3680    1700   1495   6031 4.84
4.79/4.85	o 45
7.39/7.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.39/7.42	c    29247    122     1538    55763   36     3853    1700   1526   6032 4.85
7.39/7.42	c    29347    122     1640    58998   35     4066    1871   1628   6033 4.86
7.39/7.42	c    29597    122     1892    67400   35     4569    2059   1880   6036 4.90
7.39/7.42	c    30072    122     1303    45828   35     3114    2265   1291   6036 4.98
7.39/7.42	c    30885    122     2124    74094   34     4758    2492   2112   6052 5.10
7.39/7.42	c    32205    122     2176    74829   34     4897    2742   2164   6054 5.32
7.39/7.42	c    34286    122     1451    49904   34     3411    3017   1439   6049 5.67
7.39/7.42	c    37509    122     1605    52798   32     3719    3319   1593   6058 6.19
7.39/7.42	c    42446    122     3189   110569   34     6901    3651   3177   6067 7.00
7.39/7.42	o 44
7.39/7.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.39/7.48	c    44838    122     1875    63115   33     4343    1700   1863   6042 7.42
7.39/7.48	c    44938    122      993    31501   31     2492    1871    981   6041 7.44
7.39/7.48	o 43
7.39/7.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.39/7.48	c    45187    122     1248    40928   32     3093    1700   1236   6045 7.47
7.39/7.48	o 41
10.29/10.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.29/10.31	c    45188    122     1250    41062   32     3166    1700   1238   6046 7.47
10.29/10.31	c    45288    122     1352    44438   32     3383    1871   1340   6047 7.49
10.29/10.31	c    45538    122     1603    52532   32     3880    2059   1591   6050 7.53
10.29/10.31	c    46014    122     2085    68308   32     4845    2265   2073   6054 7.60
10.29/10.31	c    46827    122     1736    54977   31     3979    2492   1724   6061 7.72
10.29/10.31	c    48147    122     1784    57095   32     4073    2742   1772   6065 7.94
10.29/10.31	c    50228    122     2466    80999   32     5440    3017   2454   6074 8.27
10.29/10.31	c    53451    122     2631    91572   34     5770    3319   2619   6082 8.79
10.29/10.31	c    58387    122     2564    84606   32     5687    3651   2552   6060 9.63
10.29/10.31	o 39
10.79/10.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.79/10.86	c    62486    122     2989   106752   35     6566    1700   2977   6062 10.31
10.79/10.86	c    62587    122      989    35559   35     2487    1871    977   6059 10.33
10.79/10.86	c    62837    122     1242    43634   35     2991    2059   1230   6061 10.37
10.79/10.86	c    63312    122     1718    59456   34     3939    2265   1706   6067 10.44
10.79/10.86	c    64126    122     1370    44498   32     3244    2492   1358   6070 10.56
10.79/10.86	c    65447    122     1420    47299   33     3344    2742   1408   6075 10.77
10.79/10.86	o 35
19.49/19.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.49/19.56	c    66027    122     2011    66604   33     4620    1700   1999   6079 10.86
19.49/19.56	c    66127    122      990    32073   32     2506    1871    978   6078 10.88
19.49/19.56	c    66378    122     1243    39784   32     3012    2059   1231   6079 10.92
19.49/19.56	c    66854    122     1722    55266   32     3975    2265   1710   6081 10.99
19.49/19.56	c    67667    122     1365    43876   32     3236    2492   1353   6080 11.13
19.49/19.56	c    68987    122     1413    45897   32     3341    2742   1401   6085 11.34
19.49/19.56	c    71068    122     2089    70099   33     4683    3017   2077   6089 11.67
19.49/19.56	c    74291    122     2239    76670   34     4984    3319   2227   6095 12.19
19.49/19.56	c    79228    122     2153    71233   33     4811    3651   2141   6081 13.03
19.49/19.56	c    86734    122     2302    81802   35     5112    4017   2290   6060 14.31
19.49/19.56	c    98096    122     3593   122108   33     7701    4419   3581   6016 16.30
19.49/19.56	c   115240    122     2925   101607   34     6368    4861   2913   5931 19.43
19.49/19.56	o 29
19.80/19.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
19.80/19.89	c   115996    122     3686   128762   34     7983    1700   3674   5929 19.56
19.80/19.89	c   116097    112      999    34847   34     2555    1871    987   5927 19.59
19.80/19.89	c   116348    111     1252    45014   35     3075    2059   1240   5927 19.63
19.80/19.89	c   116824    110     1731    64317   37     4032    2265   1719   5928 19.71
19.80/19.89	c   117637    110     1382    54775   39     3255    2492   1370   5929 19.84
19.80/19.89	o 24
24.38/24.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.38/24.45	c   117920    110     1668    66056   39     3889    1676   1656   5929 19.89
24.38/24.45	c   118020    110      898    34763   38     2276    1844    886   5928 19.91
24.38/24.45	c   118270    110     1148    44118   38     2779    2029   1136   5929 19.95
24.38/24.45	c   118746    110     1625    62889   38     3734    2232   1613   5931 20.02
24.38/24.45	c   119560    110     1284    49112   38     3047    2456   1272   5932 20.16
24.38/24.45	c   120880    110     1342    50595   37     3166    2702   1330   5934 20.37
24.38/24.45	c   122962    110     2048    76054   37     4578    2973   2036   5950 20.66
24.38/24.45	c   126186    110     2249    84356   37     4984    3271   2237   5970 21.14
24.38/24.45	c   131122    110     2220    86112   38     4922    3599   2208   5982 21.92
24.38/24.45	c   138629    110     2446    95845   39     5372    3959   2434   5972 23.21
24.38/24.45	o 20
32.49/32.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.49/32.52	c   145330    110     3132   122373   39     6822    1676   3120   5943 24.45
32.49/32.52	c   145430    110      987    38274   38     2460    1844    975   5942 24.47
32.49/32.52	c   145680    110     1238    47789   38     2958    2029   1226   5942 24.51
32.49/32.52	c   146156    110     1718    66521   38     3921    2232   1706   5945 24.58
32.49/32.52	c   146969    110     1398    53214   38     3273    2456   1386   5948 24.71
32.49/32.52	c   148289    110     1465    56178   38     3416    2702   1453   5951 24.92
32.49/32.52	c   150370    110     2160    84347   39     4806    2973   2148   5952 25.26
32.49/32.52	c   153593    110     2356    90490   38     5196    3271   2344   5948 25.82
32.49/32.52	c   158529    110     2284    88816   38     5043    3599   2272   5944 26.67
32.49/32.52	c   166035    110     2449    93308   38     5385    3959   2437   5924 28.02
32.49/32.52	c   177396    110     3748   144651   38     7975    4355   3736   5899 30.07
32.49/32.52	o 13
32.49/32.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.49/32.53	c   190424    110     3524   138554   39     7590    1676   3512   5854 32.52
32.49/32.53	o 11
92.69/92.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
92.69/92.71	c   190434    109      898    33976   37     2335    1674    886   5853 32.53
92.69/92.71	c   190534    107      998    37668   37     2535    1842    986   5854 32.55
92.69/92.71	c   190784    105     1248    47300   37     3031    2027   1236   5855 32.58
92.69/92.71	c   191259    102     1725    65358   37     3971    2230   1713   5856 32.66
92.69/92.71	c   192072    101     1386    52877   38     3239    2454   1374   5858 32.79
92.69/92.71	c   193392    101     1445    55817   38     3349    2700   1433   5863 32.98
92.69/92.71	c   195473    100     2153    81795   37     4763    2971   2141   5872 33.29
92.69/92.71	c   198697     99     2340    91227   38     5146    3269   2328   5881 33.78
92.69/92.71	c   203633     98     2275    87404   38     5006    3596   2263   5889 34.57
92.69/92.71	c   211139     98     2464    97497   39     5392    3956   2452   5889 35.85
92.69/92.71	c   222501     98     3766   149651   39     7993    4352   3754   5870 37.90
92.69/92.71	c   239645     98     3223   129396   40     6904    4788   3211   5834 41.08
92.69/92.71	c   265465     98     4843   192980   39    10145    5267   4831   5811 45.68
92.69/92.71	c   304297     98     3671   145318   39     7802    5794   3659   5693 53.45
92.69/92.71	c   362649     98     3455   135063   39     7374    6374   3443   5603 64.72
92.69/92.71	c   450281     98     4131   167601   40     8722    7012   4119   5501 81.85
92.69/92.71	o 7
1798.03/1798.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.03/1798.00	c   500574     98     4851   194262   40    10226    1652   4839   5399 92.71
1798.03/1798.00	c   500674     94      987    37419   37     2431    1818    975   5398 92.75
1798.03/1798.00	c   500924     93     1238    46962   37     2933    2000   1226   5398 92.78
1798.03/1798.00	c   501399     91     1715    65065   37     3883    2201   1703   5399 92.86
1798.03/1798.00	c   502212     90     1398    53294   38     3241    2422   1386   5401 92.97
1798.03/1798.00	c   503532     90     1476    54713   37     3396    2665   1464   5403 93.18
1798.03/1798.00	c   505614     89     2191    80257   36     4816    2932   2179   5408 93.49
1798.03/1798.00	c   508837     88     2408    90050   37     5251    3226   2396   5412 94.00
1798.03/1798.00	c   513773     88     2404    92580   38     5240    3549   2392   5417 94.83
1798.03/1798.00	c   521279     88     2669    98943   37     5773    3904   2657   5432 95.95
1798.03/1798.00	c   532641     88     2128    80226   37     4688    4295   2116   5445 97.81
1798.03/1798.00	c   549785     88     4023   150836   37     8475    4725   4011   5448 100.91
1798.03/1798.00	c   575604     86     3509   137096   39     7447    5198   3497   5440 105.79
1798.03/1798.00	c   614436     86     2864   113912   39     6162    5718   2852   5421 113.33
1798.03/1798.00	c   672788     86     3448   130920   37     7320    6290   3436   5436 123.76
1798.03/1798.00	c   760420     86     5312   206370   38    11054    6920   5300   5392 141.01
1798.03/1798.00	c   891972     86     4138   159762   38     8702    7613   4126   5251 169.84
1798.03/1798.00	c  1089405     86     5792   232613   40    12014    8375   5780   5005 217.62
1798.03/1798.00	c  1385657     86     6641   262659   39    13708    9213   6629   4777 290.02
1798.03/1798.00	c  1830139     86     6196   251736   40    12817   10135   6184   4562 401.13
1798.03/1798.00	c  2496967     86     5141   208692   40    10713   11149   5129   4274 584.17
1798.03/1798.00	c  3497313     86     7669   312806   40    15770   12264   7657   4005 873.17
1798.03/1798.00	c  4997936     86    11270   459036   40    22962   13491  11258   3791 1318.17
1798.03/1798.00	c Resources Exceeded
1798.03/1798.00	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 
1798.03/1798.00	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.03/1798.00	c  198  6557857  47299  6616873     6820   277849   6808   3647 1798.05
1798.03/1798.00	c Objective: 7
1798.03/1798.00	s SATISFIABLE
1798.03/1798.00	c Total time: 1798.05 s

Verifier Data 

OK	7

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

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

running on 4 cores: 1,3,5,7

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.10 2.05 2.01 3/488 19585
/proc/meminfo: memFree=20360704/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=18604 CPUtime=0 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 292 0 0 0 0 0 0 0 22 0 1 0 562126598 19050496 244 33554432000 134512640 137138936 4294810992 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4651 244 192 642 0 4007 0

[startup+0.0784871 s]
/proc/loadavg: 2.10 2.05 2.01 3/488 19585
/proc/meminfo: memFree=20360704/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=11168 CPUtime=0.07 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 410 0 0 0 7 0 0 0 22 0 1 0 562126598 11436032 362 33554432000 134512640 137138936 4294810992 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 2792 362 192 642 0 2148 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11168

[startup+0.100481 s]
/proc/loadavg: 2.10 2.05 2.01 3/488 19585
/proc/meminfo: memFree=20360704/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=11296 CPUtime=0.09 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 436 0 0 0 9 0 0 0 22 0 1 0 562126598 11567104 388 33554432000 134512640 137138936 4294810992 18446744073709551615 134618174 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 2824 388 192 642 0 2180 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11296

[startup+0.300457 s]
/proc/loadavg: 2.10 2.05 2.01 3/488 19585
/proc/meminfo: memFree=20360704/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=12172 CPUtime=0.29 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 656 0 0 0 29 0 0 0 23 0 1 0 562126598 12464128 608 33554432000 134512640 137138936 4294810992 18446744073709551615 134543132 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 3043 608 192 642 0 2399 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12172

[startup+0.700376 s]
/proc/loadavg: 2.10 2.05 2.01 3/488 19585
/proc/meminfo: memFree=20360704/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=12428 CPUtime=0.69 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 707 0 0 0 69 0 0 0 25 0 1 0 562126598 12726272 659 33554432000 134512640 137138936 4294810992 18446744073709551615 134603296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 3107 659 192 642 0 2463 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12428

[startup+1.50025 s]
/proc/loadavg: 2.10 2.05 2.01 3/489 19586
/proc/meminfo: memFree=20358092/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=12684 CPUtime=1.48 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 771 0 0 0 148 0 0 0 25 0 1 0 562126598 12988416 723 33554432000 134512640 137138936 4294810992 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 3171 723 192 642 0 2527 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12684

[startup+3.10095 s]
/proc/loadavg: 2.10 2.05 2.01 3/489 19586
/proc/meminfo: memFree=20356900/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=12808 CPUtime=3.09 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 798 0 0 0 307 2 0 0 25 0 1 0 562126598 13115392 750 33554432000 134512640 137138936 4294810992 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 3202 750 192 642 0 2558 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12808

[startup+6.30039 s]
/proc/loadavg: 2.25 2.08 2.02 3/489 19586
/proc/meminfo: memFree=20356652/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=12808 CPUtime=6.28 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 798 0 0 0 625 3 0 0 25 0 1 0 562126598 13115392 750 33554432000 134512640 137138936 4294810992 18446744073709551615 134544526 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 3202 750 192 642 0 2558 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 12808

[startup+12.7003 s]
/proc/loadavg: 2.23 2.08 2.02 3/489 19587
/proc/meminfo: memFree=20355888/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=12804 CPUtime=12.68 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 810 0 0 0 1263 5 0 0 25 0 1 0 562126598 13111296 762 33554432000 134512640 137138936 4294810992 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 3201 762 192 642 0 2557 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 12804

[startup+25.501 s]
/proc/loadavg: 2.18 2.08 2.02 3/489 19587
/proc/meminfo: memFree=20355644/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=13188 CPUtime=25.49 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 916 0 0 0 2537 12 0 0 25 0 1 0 562126598 13504512 868 33554432000 134512640 137138936 4294810992 18446744073709551615 134576955 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 3297 868 192 642 0 2653 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13188

[startup+51.1005 s]
/proc/loadavg: 2.12 2.07 2.01 3/489 19588
/proc/meminfo: memFree=20354752/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=14072 CPUtime=51.09 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 1131 0 0 0 5088 21 0 0 25 0 1 0 562126598 14409728 1083 33554432000 134512640 137138936 4294810992 18446744073709551615 134603100 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 3518 1083 192 642 0 2874 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 14072

[startup+102.317 s]
/proc/loadavg: 2.09 2.07 2.02 3/489 19589
/proc/meminfo: memFree=20353740/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=15328 CPUtime=102.3 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 1433 0 0 0 10189 41 0 0 25 0 1 0 562126598 15695872 1385 33554432000 134512640 137138936 4294810992 18446744073709551615 134606705 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 3832 1385 192 642 0 3188 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 15328

[startup+162.301 s]
/proc/loadavg: 2.03 2.06 2.01 3/489 19591
/proc/meminfo: memFree=20352852/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=15236 CPUtime=162.29 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 1433 0 0 0 16167 62 0 0 25 0 1 0 562126598 15601664 1383 33554432000 134512640 137138936 4294810992 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 3809 1383 192 642 0 3165 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 15236

[startup+222.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/489 19592
/proc/meminfo: memFree=20351296/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=16064 CPUtime=222.29 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 1630 0 0 0 22151 78 0 0 25 0 1 0 562126598 16449536 1580 33554432000 134512640 137138936 4294810992 18446744073709551615 134618200 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4016 1580 192 642 0 3372 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 16064

[startup+282.301 s]
/proc/loadavg: 2.04 2.06 2.01 3/489 19622
/proc/meminfo: memFree=20998332/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=16156 CPUtime=282.29 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 1653 0 0 0 28131 98 0 0 25 0 1 0 562126598 16543744 1603 33554432000 134512640 137138936 4294810992 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4039 1603 192 642 0 3395 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 16156

[startup+342.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/489 19623
/proc/meminfo: memFree=20996644/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=16660 CPUtime=342.3 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 1780 0 0 0 34113 117 0 0 25 0 1 0 562126598 17059840 1730 33554432000 134512640 137138936 4294810992 18446744073709551615 136297621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4165 1730 192 642 0 3521 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 16660

[startup+402.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/489 19625
/proc/meminfo: memFree=20997204/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=17280 CPUtime=402.3 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 1928 0 0 0 40098 132 0 0 25 0 1 0 562126598 17694720 1878 33554432000 134512640 137138936 4294810992 18446744073709551615 134618446 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4320 1878 192 642 0 3676 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 17280

[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/489 19627
/proc/meminfo: memFree=20996796/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=17280 CPUtime=462.3 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 1944 0 0 0 46083 147 0 0 25 0 1 0 562126598 17694720 1894 33554432000 134512640 137138936 4294810992 18446744073709551615 134542363 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4320 1894 192 642 0 3676 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 17280

[startup+522.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/489 19628
/proc/meminfo: memFree=20996876/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=17280 CPUtime=522.29 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 1944 0 0 0 52068 161 0 0 25 0 1 0 562126598 17694720 1894 33554432000 134512640 137138936 4294810992 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4320 1894 192 642 0 3676 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 17280

[startup+582.301 s]
/proc/loadavg: 2.21 2.07 2.01 3/489 19630
/proc/meminfo: memFree=20997084/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=17364 CPUtime=582.3 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 1948 0 0 0 58052 178 0 0 25 0 1 0 562126598 17780736 1898 33554432000 134512640 137138936 4294810992 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4341 1898 192 642 0 3697 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 17364

[startup+642.3 s]

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

/proc/meminfo: memFree=20912148/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=18744 CPUtime=1122.31 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 2304 0 0 0 111916 315 0 0 25 0 1 0 562126598 19193856 2254 33554432000 134512640 137138936 4294810992 18446744073709551615 136297655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4686 2254 192 642 0 4042 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 18744

[startup+1182.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/489 19646
/proc/meminfo: memFree=20882220/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=18744 CPUtime=1182.32 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 2304 0 0 0 117901 331 0 0 25 0 1 0 562126598 19193856 2254 33554432000 134512640 137138936 4294810992 18446744073709551615 134618446 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4686 2254 192 642 0 4042 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 18744

[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/489 19647
/proc/meminfo: memFree=20881676/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=18744 CPUtime=1242.32 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 2309 0 0 0 123886 346 0 0 25 0 1 0 562126598 19193856 2259 33554432000 134512640 137138936 4294810992 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4686 2259 192 642 0 4042 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 18744

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/489 19649
/proc/meminfo: memFree=20881756/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=18700 CPUtime=1302.33 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 2309 0 0 0 129872 361 0 0 25 0 1 0 562126598 19148800 2250 33554432000 134512640 137138936 4294810992 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4675 2250 192 642 0 4031 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 18700

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 19651
/proc/meminfo: memFree=20881580/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=19440 CPUtime=1362.32 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 2493 0 0 0 135855 377 0 0 25 0 1 0 562126598 19906560 2433 33554432000 134512640 137138936 4294810992 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4860 2433 192 642 0 4216 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 19440

[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 19652
/proc/meminfo: memFree=20881780/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=19440 CPUtime=1422.34 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 2495 0 0 0 141842 392 0 0 25 0 1 0 562126598 19906560 2435 33554432000 134512640 137138936 4294810992 18446744073709551615 134542557 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4860 2435 192 642 0 4216 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 19440

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 19654
/proc/meminfo: memFree=20884836/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=19440 CPUtime=1482.32 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 2495 0 0 0 147826 406 0 0 25 0 1 0 562126598 19906560 2435 33554432000 134512640 137138936 4294810992 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4860 2435 192 642 0 4216 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 19440

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/489 19655
/proc/meminfo: memFree=20886032/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=19440 CPUtime=1542.33 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 2495 0 0 0 153813 420 0 0 25 0 1 0 562126598 19906560 2435 33554432000 134512640 137138936 4294810992 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4860 2435 192 642 0 4216 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 19440

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/489 19657
/proc/meminfo: memFree=20887100/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=19528 CPUtime=1602.33 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 2515 0 0 0 159798 435 0 0 25 0 1 0 562126598 19996672 2455 33554432000 134512640 137138936 4294810992 18446744073709551615 134575637 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4882 2455 192 642 0 4238 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 19528

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/489 19659
/proc/meminfo: memFree=20888300/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=19528 CPUtime=1662.32 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 2515 0 0 0 165784 448 0 0 25 0 1 0 562126598 19996672 2455 33554432000 134512640 137138936 4294810992 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4882 2455 192 642 0 4238 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 19528

[startup+1722.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/489 19660
/proc/meminfo: memFree=20888260/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=19528 CPUtime=1722.32 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 2515 0 0 0 171769 463 0 0 25 0 1 0 562126598 19996672 2455 33554432000 134512640 137138936 4294810992 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4882 2455 192 642 0 4238 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 19528

[startup+1782.3 s]
/proc/loadavg: 2.15 2.06 2.02 3/489 19662
/proc/meminfo: memFree=20887088/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=19528 CPUtime=1782.33 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 2515 0 0 0 177757 476 0 0 25 0 1 0 562126598 19996672 2455 33554432000 134512640 137138936 4294810992 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4882 2455 192 642 0 4238 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 19528

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

[startup+1791.92 s]
/proc/loadavg: 2.13 2.06 2.02 3/489 19662
/proc/meminfo: memFree=20887056/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=19528 CPUtime=1791.95 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 2515 0 0 0 178717 478 0 0 25 0 1 0 562126598 19996672 2455 33554432000 134512640 137138936 4294810992 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4882 2455 192 642 0 4238 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 19528

[startup+1795.1 s]
/proc/loadavg: 2.12 2.06 2.02 3/489 19662
/proc/meminfo: memFree=20886928/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=19528 CPUtime=1795.13 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 2515 0 0 0 179035 478 0 0 25 0 1 0 562126598 19996672 2455 33554432000 134512640 137138936 4294810992 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4882 2455 192 642 0 4238 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 19528

[startup+1796.7 s]
/proc/loadavg: 2.12 2.06 2.02 3/489 19662
/proc/meminfo: memFree=20886928/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=19528 CPUtime=1796.73 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 2515 0 0 0 179195 478 0 0 25 0 1 0 562126598 19996672 2455 33554432000 134512640 137138936 4294810992 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4882 2455 192 642 0 4238 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 19528

[startup+1797.5 s]
/proc/loadavg: 2.12 2.06 2.02 3/489 19662
/proc/meminfo: memFree=20887052/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=19528 CPUtime=1797.53 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 2515 0 0 0 179274 479 0 0 25 0 1 0 562126598 19996672 2455 33554432000 134512640 137138936 4294810992 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4882 2455 192 642 0 4238 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 19528

[startup+1797.9 s]
/proc/loadavg: 2.12 2.06 2.02 3/489 19662
/proc/meminfo: memFree=20887052/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=19528 CPUtime=1797.93 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) R 19583 19585 17058 0 -1 4202496 2515 0 0 0 179314 479 0 0 25 0 1 0 562126598 19996672 2455 33554432000 134512640 137138936 4294810992 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/19585/statm: 4882 2455 192 642 0 4238 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 19528

[startup+1798.1 s]
/proc/loadavg: 2.12 2.06 2.02 3/489 19662
/proc/meminfo: memFree=20887052/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=0 CPUtime=1798.04 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) S 19583 19585 17058 0 -1 4202500 2516 0 0 0 179325 479 0 0 25 0 1 0 562126598 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/19585/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 0

[startup+1798.2 s]
/proc/loadavg: 2.12 2.06 2.02 3/489 19662
/proc/meminfo: memFree=20887052/32951124 swapFree=46575304/67111528
[pid=19585] ppid=19583 vsize=0 CPUtime=1798.04 cores=1,3,5,7
/proc/19585/stat : 19585 (bsolo) S 19583 19585 17058 0 -1 4202500 2516 0 0 0 179325 479 0 0 25 0 1 0 562126598 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/19585/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.21
CPU time (s): 1798.05
CPU user time (s): 1793.26
CPU system time (s): 4.79227
CPU usage (%): 99.9909
Max. virtual memory (cumulated for all children) (KiB): 19528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.26
system time used= 4.79227
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2516
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= 5
involuntary context switches= 3057

runsolver used 8.83366 second user time and 20.1499 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-04 11:22:33
IDJOB=3463187
IDBENCH=2925
IDSOLVER=1955
FILE ID=node107/3463187-1307179353
RUNJOBID= node107-1307173959-19066
PBS_JOBID= 13508844
Free space on /tmp= 73880 MiB

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

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

MD5SUM BENCH= 740b964ee569656e2f29dedde6e3939b
RANDOM SEED=1168246383

node107.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5359.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20360984 kB
Buffers:        335364 kB
Cached:        2174300 kB
SwapCached:      22548 kB
Active:       10209820 kB
Inactive:      2028732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20360984 kB
SwapTotal:    67111528 kB
SwapFree:     46575304 kB
Dirty:            3928 kB
Writeback:           0 kB
AnonPages:     9724256 kB
Mapped:          33488 kB
Slab:           186748 kB
PageTables:      96444 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 146134968 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73812 MiB
End job on node107 at 2011-06-04 11:52:32