Trace number 3708071

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.2SAT10 1798 1798.28

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_2.opb
MD5SUMb690996610ff381ef60353517fe5a0e9
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 benchmark1797.53
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6
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 constraint64
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 1293
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4389
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.2 - 23/05/2010 : 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 Instance file HOME/instance-3708071-1338310748.opb
0.00/0.00	c File size is 7732 bytes.
0.00/0.00	c Highest Coefficient sum: 4389
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: 784 Watch. Lit: 226
0.00/0.00	c Obj. Vars: 96 (65.7534 % of total variables)
0.00/0.00	c Pre-processing Time: 0.001 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    146       12      784   65      229    1568      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 832
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        0    146       13      880   67      570    1760      1      0 0.00
0.00/0.04	c      102    146      149    10064   67      989    1937    137   6375 0.02
0.00/0.04	o 828
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      266    146      354    23421   66     1719    1760    342   6186 0.04
0.00/0.04	o 203
0.04/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.05	c      270    146      363    23995   66     1832    1760    351   6136 0.04
0.04/0.05	o 200
0.04/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.05	c      330    146      435    26829   61     2052    1760    423   6226 0.05
0.04/0.05	o 198
0.04/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.05	c      335    146      443    27138   61     2157    1760    431   6203 0.05
0.04/0.05	o 196
0.04/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.06	c      336    146      445    27309   61     2251    1760    433   6222 0.05
0.04/0.06	o 191
0.04/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.04/0.08	c      362    146      481    29264   60     2439    1760    469   6135 0.06
0.04/0.08	c      462    146      592    33175   56     2643    1937    580   6328 0.07
0.04/0.08	o 189
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c      546    146      684    36565   53     2926    1760    672   6500 0.08
0.09/0.19	c      646    146      796    40284   50     3152    1937    784   6659 0.10
0.09/0.19	o 187
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c      895    146     1079    50387   46     3828    1760   1067   6729 0.13
0.09/0.19	c      995    146     1187    53715   45     4063    1937   1175   6862 0.14
0.09/0.19	o 185
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c     1012    146     1207    54526   45     4193    1760   1195   6791 0.15
0.09/0.19	o 167
0.09/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.25	c     1051    146     1251    56683   45     4356    1760   1239   6737 0.16
0.09/0.25	c     1151    146     1355    59754   44     4573    1937   1343   6892 0.17
0.09/0.25	c     1401    146     1648    70536   42     5177    2131   1636   6546 0.21
0.09/0.25	o 153
0.09/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.26	c     1590    146     1859    78842   42     5700    1760   1847   6309 0.25
0.09/0.26	o 151
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c     1611    146      917    34978   38     2543    1760    905   6268 0.26
0.29/0.32	c     1711    146     1034    39733   38     2808    1937   1022   6221 0.28
0.29/0.32	c     1961    146     1328    53014   39     3410    2131   1316   6166 0.32
0.29/0.32	o 150
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c     2002    146     1380    55875   40     3666    1760   1368   6141 0.33
0.39/0.48	c     2102    146     1485    59278   39     3858    1937   1473   6218 0.34
0.39/0.48	c     2352    146     1765    68652   38     4428    2131   1753   6255 0.38
0.39/0.48	c     2827    146     1185    45004   37     2942    2345   1173   6132 0.46
0.39/0.48	o 130
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c     2955    146     1331    50234   37     3342    1760   1319   6118 0.48
0.39/0.48	o 122
0.39/0.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.49	c     2958    146     1336    50548   37     3445    1760   1324   6111 0.48
0.39/0.49	o 120
0.39/0.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.49	c     2986    145     1365    51559   37     3592    1758   1353   6118 0.49
0.39/0.49	o 113
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c     3027    143     1409    53236   37     3778    1754   1397   6102 0.50
0.49/0.53	c     3129    143     1537    60480   39     4192    1930   1525   6111 0.51
0.49/0.53	o 112
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c     3218    141     1636    64503   39     4524    1750   1624   6094 0.53
0.49/0.53	o 110
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c     3231    141     1650    64992   39     4641    1750   1638   6096 0.53
0.49/0.53	o 108
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c     3237    141     1658    65452   39     4757    1750   1646   6084 0.53
0.49/0.53	o 106
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c     3250    141     1677    66631   39     4915    1750   1665   6086 0.53
0.49/0.53	o 104
0.49/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.54	c     3257    141     1688    67278   39     5040    1750   1676   6087 0.54
0.49/0.54	o 102
0.49/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.54	c     3275    141     1710    68686   40     5186    1750   1698   6076 0.54
0.49/0.54	o 96
0.49/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.54	c     3282    141     1718    69237   40     5289    1750   1706   6066 0.54
0.49/0.54	o 94
2.59/2.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.67	c     3292    141     1730    70097   40     5402    1750   1718   6062 0.54
2.59/2.67	c     3392    141      914    35831   39     2437    1926    902   6067 0.56
2.59/2.67	c     3642    138     1172    43323   36     2958    2119   1160   6193 0.59
2.59/2.67	c     4117    136     1657    58664   35     3927    2331   1645   6314 0.65
2.59/2.67	c     4933    136     1305    42597   32     3144    2565   1293   6423 0.77
2.59/2.67	c     6253    136     1340    40675   30     3224    2822   1328   6561 0.95
2.59/2.67	c     8334    136     2026    60042   29     4592    3105   2014   6775 1.23
2.59/2.67	c    11559    136     2165    66031   30     4880    3416   2153   6934 1.67
2.59/2.67	c    16496    136     2034    66871   32     4617    3758   2022   6673 2.47
2.59/2.67	o 92
2.59/2.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.59/2.68	c    17730    134     3330   109621   32     7307    1736   3318   6630 2.67
2.59/2.68	o 90
2.69/2.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.78	c    17735    134      900    30076   33     2431    1736    888   6615 2.68
2.69/2.78	c    17835    134     1009    34661   34     2665    1910    997   6610 2.70
2.69/2.78	c    18085    134     1262    42584   33     3169    2102   1250   6617 2.73
2.69/2.78	o 87
2.69/2.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.78	c    18466    134     1663    56530   33     4065    1736   1651   6632 2.78
2.69/2.78	o 85
2.89/2.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.90	c    18473    134     1671    56937   34     4159    1736   1659   6633 2.79
2.89/2.90	c    18573    134      893    30103   33     2318    1910    881   6630 2.80
2.89/2.90	c    18823    134     1152    37734   32     2842    2102   1140   6639 2.83
2.89/2.90	o 78
2.89/2.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.95	c    19258    134     1599    52484   32     3815    1736   1587   6645 2.90
2.89/2.95	c    19358    134     1706    56131   32     4041    1910   1694   6643 2.91
2.89/2.95	o 65
3.39/3.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.39/3.41	c    19584    134      980    31170   31     2496    1736    968   6634 2.95
3.39/3.41	c    19684    134     1082    34993   32     2705    1910   1070   6629 2.97
3.39/3.41	c    19934    134     1338    42995   32     3219    2102   1326   6629 3.01
3.39/3.41	c    20409    134     1817    57764   31     4179    2313   1805   6626 3.08
3.39/3.41	c    21223    134     1451    47301   32     3475    2545   1439   6609 3.21
3.39/3.41	o 60
4.89/4.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.89/4.96	c    22437    134     1387    45909   33     3442    1736   1375   6577 3.41
4.89/4.96	c    22537    129     1505    51979   34     3762    1910   1493   6578 3.43
4.89/4.96	c    22788    126     1764    61704   34     4321    2102   1752   6574 3.47
4.89/4.96	c    23263    126     1155    41670   36     2838    2313   1143   6569 3.54
4.89/4.96	c    24077    124     1976    72526   36     4469    2545   1964   6576 3.66
4.89/4.96	c    25397    124     2004    73629   36     4546    2800   1992   6522 3.89
4.89/4.96	c    27480    124     2663    97323   36     5861    3081   2651   6459 4.25
4.89/4.96	c    30703    124     2777   101451   36     6076    3390   2765   6385 4.81
4.89/4.96	o 59
4.89/4.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.89/4.97	c    31504    123     1857    67708   36     4392    1714   1845   6354 4.96
4.89/4.97	o 57
5.59/5.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.59/5.65	c    31589    123      984    37175   37     2656    1714    972   6353 4.97
5.59/5.65	c    31689    122     1084    40650   37     2855    1886   1072   6353 4.99
5.59/5.65	c    31939    122     1335    49719   37     3354    2075   1323   6352 5.03
5.59/5.65	c    32417    122     1821    68037   37     4359    2283   1809   6352 5.10
5.59/5.65	c    33230    122     1464    53890   36     3447    2512   1452   6335 5.25
5.59/5.65	c    34550    122     1505    55939   37     3530    2764   1493   6307 5.48
5.59/5.65	o 55
5.79/5.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.79/5.84	c    35571    122     2536    94844   37     5714    1712   2524   6290 5.66
5.79/5.84	c    35671    122      998    37860   37     2574    1884    986   6288 5.67
5.79/5.84	c    35921    122     1251    46703   37     3085    2073   1239   6290 5.71
5.79/5.84	c    36396    122     1731    63819   36     4062    2281   1719   6290 5.79
5.79/5.84	o 53
5.99/6.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.99/6.03	c    36700    122     2042    75245   36     4820    1712   2030   6287 5.84
5.99/6.03	c    36800    122     1011    37917   37     2733    1884    999   6286 5.85
5.99/6.03	c    37050    122     1266    47583   37     3246    2073   1254   6289 5.89
5.99/6.03	c    37525    122     1749    66140   37     4220    2281   1737   6286 5.97
5.99/6.03	o 52
5.99/6.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.99/6.04	c    37905    122     2131    79289   37     5047    1712   2119   6280 6.04
5.99/6.04	o 50
6.19/6.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.19/6.21	c    37919    122      908    32950   36     2397    1712    896   6279 6.04
6.19/6.21	c    38019    122     1010    36588   36     2607    1884    998   6278 6.05
6.19/6.21	c    38269    122     1262    45673   36     3111    2073   1250   6277 6.10
6.19/6.21	c    38744    122     1737    62227   35     4061    2281   1725   6269 6.18
6.19/6.21	o 48
6.19/6.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.19/6.22	c    38955    122     1950    69307   35     4552    1712   1938   6266 6.22
6.19/6.22	o 46
6.29/6.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.29/6.38	c    38958    122      898    30301   33     2394    1712    886   6264 6.22
6.29/6.38	c    39058    122     1007    34826   34     2636    1884    995   6265 6.23
6.29/6.38	c    39308    122     1259    43246   34     3134    2073   1247   6270 6.27
6.29/6.38	c    39783    122     1738    59441   34     4095    2281   1726   6269 6.34
6.29/6.38	o 24
6.29/6.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.29/6.39	c    39989    122     1946    66349   34     4580    1712   1934   6268 6.38
6.29/6.39	o 22
6.29/6.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.29/6.39	c    40029    119      939    31123   33     2473    1706    927   6267 6.39
6.29/6.39	o 20
20.59/20.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.59/20.67	c    40047    118      959    32217   33     2592    1704    947   6267 6.39
20.59/20.67	c    40147    113     1061    35765   33     2787    1875   1049   6265 6.41
20.59/20.67	c    40397    111     1314    44936   34     3298    2063   1302   6266 6.45
20.59/20.67	c    40872    110     1793    62358   34     4252    2270   1781   6263 6.53
20.59/20.67	c    41685    110     1431    51198   35     3363    2498   1419   6255 6.66
20.59/20.67	c    43005    110     1474    52375   35     3448    2748   1462   6231 6.90
20.59/20.67	c    45086    110     2142    76917   35     4784    3023   2130   6205 7.26
20.59/20.67	c    48310    110     2270    81123   35     5045    3326   2258   6177 7.82
20.59/20.67	c    53246    110     2115    79282   37     4731    3659   2103   6102 8.72
20.59/20.67	c    60752    110     2184    81345   37     4868    4025   2172   5978 10.16
20.59/20.67	c    72114    110     3331   126177   37     7164    4428   3319   5848 12.33
20.59/20.67	c    89259    110     2484    93512   37     5465    4871   2472   5698 15.66
20.59/20.67	o 19
36.69/36.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.69/36.75	c   114074    110     2637   100175   37     5846    1688   2625   5520 20.66
36.69/36.75	c   114175    110      994    36774   36     2491    1857    982   5519 20.69
36.69/36.75	c   114425    110     1245    46317   37     2992    2043   1233   5520 20.73
36.69/36.75	c   114900    110     1721    63798   37     3941    2248   1709   5522 20.81
36.69/36.75	c   115713    110     1374    50916   37     3241    2473   1362   5526 20.94
36.69/36.75	c   117033    110     1433    52928   36     3356    2721   1421   5528 21.17
36.69/36.75	c   119114    110     2118    79665   37     4732    2994   2106   5532 21.53
36.69/36.75	c   122338    110     2282    87027   38     5059    3294   2270   5533 22.11
36.69/36.75	c   127274    110     2175    84420   38     4845    3624   2163   5525 23.03
36.69/36.75	c   134781    110     2297    86710   37     5090    3987   2285   5524 24.40
36.69/36.75	c   146143    110     3527   132111   37     7544    4386   3515   5521 26.47
36.69/36.75	c   163289    110     2890   111961   38     6275    4825   2878   5480 29.80
36.69/36.75	c   189109    110     4290   169924   39     9077    5308   4278   5413 34.94
36.69/36.75	o 18
41.38/41.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.38/41.48	c   197690    110     4833   185561   38    10228    1688   4821   5379 36.75
41.38/41.48	c   197791    110      995    36725   36     2499    1857    983   5377 36.78
41.38/41.48	c   198043    110     1248    46262   37     2998    2043   1236   5378 36.82
41.38/41.48	c   198518    110     1723    64183   37     3949    2248   1711   5379 36.90
41.38/41.48	c   199331    110     1374    50198   36     3239    2473   1362   5380 37.05
41.38/41.48	c   200651    110     1419    52529   37     3332    2721   1407   5384 37.27
41.38/41.48	c   202732    110     2105    79723   37     4715    2994   2093   5388 37.62
41.38/41.48	c   205956    110     2259    85168   37     5009    3294   2247   5392 38.19
41.38/41.48	c   210892    110     2142    81129   37     4779    3624   2130   5393 39.10
41.38/41.48	c   218398    110     2263    87410   38     5022    3987   2251   5401 40.43
41.38/41.48	o 17
41.38/41.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.38/41.49	c   223919    110     3733   142412   38     8034    1688   3721   5399 41.47
41.38/41.49	o 15
55.28/55.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
55.28/55.34	c   223973    110      954    35847   37     2528    1688    942   5398 41.49
55.28/55.34	c   224073    109     1054    39102   37     2706    1857   1042   5398 41.50
55.28/55.34	c   224323    109     1305    47721   36     3213    2043   1293   5400 41.54
55.28/55.34	c   224798    109     1781    65193   36     4169    2248   1769   5403 41.60
55.28/55.34	c   225611    108     1434    50360   35     3352    2473   1422   5408 41.72
55.28/55.34	c   226931    108     1491    51178   34     3454    2721   1479   5414 41.91
55.28/55.34	c   229012    108     2179    76629   35     4843    2994   2167   5428 42.19
55.28/55.34	c   232235    105     2339    84935   36     5161    3294   2327   5440 42.68
55.28/55.34	c   237171    102     2235    81634   36     4940    3624   2223   5457 43.46
55.28/55.34	c   244677    102     2374    86428   36     5223    3987   2362   5472 44.71
55.28/55.34	c   256038    102     3619   132379   36     7708    4386   3607   5495 46.59
55.28/55.34	c   273182     98     2951   116660   39     6371    4825   2939   5499 49.68
55.28/55.34	c   299001     98     4303   173295   40     9080    5308   4291   5426 55.10
55.28/55.34	o 14
149.36/149.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
149.36/149.44	c   300154     98     2766   108510   39     6053    1664   2754   5424 55.33
149.36/149.44	c   300254     98      993    36933   37     2446    1831    981   5424 55.35
149.36/149.44	c   300504     98     1243    46502   37     2949    2015   1231   5425 55.38
149.36/149.44	c   300979     98     1719    64207   37     3898    2217   1707   5427 55.46
149.36/149.44	c   301792     98     1406    50924   36     3269    2439   1394   5429 55.58
149.36/149.44	c   303112     98     1483    55336   37     3426    2683   1471   5433 55.79
149.36/149.44	c   305193     98     2187    83544   38     4831    2952   2175   5439 56.11
149.36/149.44	c   308416     98     2385    90580   37     5228    3248   2373   5448 56.60
149.36/149.44	c   313352     98     2347    89437   38     5159    3573   2335   5455 57.44
149.36/149.44	c   320858     98     2572    95371   37     5603    3931   2560   5466 58.69
149.36/149.44	c   332219     98     3947   147532   37     8345    4325   3935   5482 60.59
149.36/149.44	c   349363     98     3543   141378   39     7544    4758   3531   5487 63.66
149.36/149.44	c   375182     98     2828   106186   37     6110    5234   2816   5489 68.34
149.36/149.44	c   414017     98     4584   177925   38     9629    5758   4572   5468 75.72
149.36/149.44	c   472370     98     4734   188602   39     9930    6334   4722   5409 87.32
149.36/149.44	c   560005     98     6046   235553   38    12551    6968   6034   5317 105.31
149.36/149.44	c   691557     98     4035   159492   39     8534    7665   4023   5058 136.72
149.36/149.44	o 12
149.47/149.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
149.47/149.52	c   746237     98     4603   179869   39     9734    1664   4591   4994 149.42
149.47/149.52	c   746337     98      993    38149   38     2460    1831    981   4993 149.45
149.47/149.52	c   746589     98     1245    47876   38     2966    2015   1233   4994 149.49
149.47/149.52	o 10
1797.91/1798.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.27	c   746684     98     1342    51794   38     3208    1664   1330   4994 149.50
1797.91/1798.27	c   746784     98     1443    55541   38     3399    1831   1431   4994 149.52
1797.91/1798.27	c   747034     98     1693    65022   38     3906    2015   1681   4994 149.56
1797.91/1798.27	c   747509     98     1126    42203   37     2713    2217   1114   4995 149.64
1797.91/1798.27	c   748323     98     1940    74578   38     4343    2439   1928   4996 149.77
1797.91/1798.27	c   749644     98     2006    77010   38     4478    2683   1994   4998 149.98
1797.91/1798.27	c   751726     98     2717   105174   38     5893    2952   2705   5000 150.32
1797.91/1798.27	c   754949     98     2926   112537   38     6320    3248   2914   5004 150.85
1797.91/1798.27	c   759885     98     2883   113272   39     6225    3573   2871   5008 151.71
1797.91/1798.27	c   767391     98     3098   120102   38     6654    3931   3086   5014 153.05
1797.91/1798.27	c   778753     98     2491    96996   38     5446    4325   2479   5019 155.14
1797.91/1798.27	c   795897     98     4268   166059   38     8994    4758   4256   5027 158.29
1797.91/1798.27	c   821716     98     3571   137635   38     7608    5234   3559   5032 163.28
1797.91/1798.27	c   860548     98     5287   208286   39    11039    5758   5275   5040 170.71
1797.91/1798.27	c   918902     98     5427   211000   38    11325    6334   5415   5041 182.26
1797.91/1798.27	c  1006534     98     3507   136758   38     7471    6968   3495   5034 199.94
1797.91/1798.27	c  1138086     98     5040   196072   38    10545    7665   5028   5014 226.97
1797.91/1798.27	c  1335519     98     5457   210562   38    11373    8432   5445   4888 273.22
1797.91/1798.27	c  1631771     98     4435   175492   39     9328    9276   4423   4730 344.92
1797.91/1798.27	c  2076253     98     5421   209633   38    11301   10204   5409   4566 454.68
1797.91/1798.27	c  2743080     98    10040   393314   39    20542   11225  10028   4399 623.54
1797.91/1798.27	c  3743425     98     6032   234658   38    12523   12348   6020   4246 881.60
1797.91/1798.27	c  5244047     98    11622   456388   39    23718   13583  11610   4066 1289.67
1797.91/1798.27	c Resources Exceeded
1797.91/1798.27	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 -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 -x117 
1797.91/1798.27	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.27	c  188  7055194  41091  7105943     8352   331136   8340   3923 1798.00
1797.91/1798.27	c Objective: 10
1797.91/1798.27	s SATISFIABLE
1797.91/1798.27	c Total time: 1798 s

Verifier Data 

OK	10

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-3708071-1338310748/watcher-3708071-1338310748 -o /tmp/evaluation-result-3708071-1338310748/solver-3708071-1338310748 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708071-1338310748.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: 0.00 0.00 1.66 3/176 10372
/proc/meminfo: memFree=29913176/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=18608 CPUtime=0 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 297 0 0 0 0 0 0 0 20 0 1 0 297199775 19054592 248 33554432000 134512640 137138936 4288690864 4288689144 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4652 248 192 642 0 4008 0

[startup+0.049105 s]
/proc/loadavg: 0.00 0.00 1.66 3/176 10372
/proc/meminfo: memFree=29913176/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=11044 CPUtime=0.04 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 382 0 0 0 4 0 0 0 20 0 1 0 297199775 11309056 333 33554432000 134512640 137138936 4288690864 4288689144 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 2761 333 192 642 0 2117 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11044

[startup+0.10026 s]
/proc/loadavg: 0.00 0.00 1.66 3/176 10372
/proc/meminfo: memFree=29913176/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=11292 CPUtime=0.09 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 446 0 0 0 9 0 0 0 20 0 1 0 297199775 11563008 397 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 2823 397 192 642 0 2179 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11292

[startup+0.300227 s]
/proc/loadavg: 0.00 0.00 1.66 3/176 10372
/proc/meminfo: memFree=29913176/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=11924 CPUtime=0.29 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 602 0 0 0 29 0 0 0 20 0 1 0 297199775 12210176 553 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 2981 553 192 642 0 2337 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11924

[startup+0.700225 s]
/proc/loadavg: 0.00 0.00 1.66 3/176 10372
/proc/meminfo: memFree=29913176/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=12052 CPUtime=0.69 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 622 0 0 0 69 0 0 0 20 0 1 0 297199775 12341248 573 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 3013 573 192 642 0 2369 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12052

[startup+1.50023 s]
/proc/loadavg: 0.00 0.00 1.66 3/177 10373
/proc/meminfo: memFree=29888204/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=12304 CPUtime=1.49 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 680 0 0 0 149 0 0 0 20 0 1 0 297199775 12599296 631 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 3076 631 192 642 0 2432 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12304

[startup+3.10023 s]
/proc/loadavg: 0.16 0.03 1.66 3/177 10373
/proc/meminfo: memFree=29890180/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=12560 CPUtime=3.09 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 759 0 0 0 308 1 0 0 20 0 1 0 297199775 12861440 710 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 3140 710 192 642 0 2496 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12560

[startup+6.30023 s]
/proc/loadavg: 0.16 0.03 1.66 3/177 10373
/proc/meminfo: memFree=29889816/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=12688 CPUtime=6.29 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 793 0 0 0 627 2 0 0 20 0 1 0 297199775 12992512 744 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 3172 744 192 642 0 2528 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12688

[startup+12.7002 s]
/proc/loadavg: 0.44 0.10 1.66 3/177 10373
/proc/meminfo: memFree=29883136/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=13448 CPUtime=12.69 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 971 0 0 0 1265 4 0 0 20 0 1 0 297199775 13770752 922 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 3362 922 192 642 0 2718 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13448

[startup+25.5002 s]
/proc/loadavg: 0.68 0.16 1.67 3/177 10373
/proc/meminfo: memFree=29870236/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=13832 CPUtime=25.48 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 1058 0 0 0 2541 7 0 0 20 0 1 0 297199775 14163968 1009 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 3458 1009 192 642 0 2814 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 13832

[startup+51.1002 s]
/proc/loadavg: 1.13 0.31 1.67 3/177 10373
/proc/meminfo: memFree=29845328/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=13892 CPUtime=51.08 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 1131 0 0 0 5093 15 0 0 20 0 1 0 297199775 14225408 1047 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 3473 1047 192 642 0 2829 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13892

[startup+102.306 s]
/proc/loadavg: 1.65 0.59 1.69 3/178 10376
/proc/meminfo: memFree=29801856/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=14868 CPUtime=102.28 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 1350 0 0 0 10198 30 0 0 20 0 1 0 297199775 15224832 1266 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 3717 1266 192 642 0 3073 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 14868

[startup+162.3 s]
/proc/loadavg: 1.87 0.84 1.71 3/178 10399
/proc/meminfo: memFree=29764648/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=15604 CPUtime=162.26 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 1546 0 0 0 16180 46 0 0 20 0 1 0 297199775 15978496 1461 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 3901 1461 192 642 0 3257 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 15604

[startup+222.3 s]
/proc/loadavg: 1.95 1.05 1.73 3/177 10399
/proc/meminfo: memFree=29732540/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=15500 CPUtime=222.26 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 1546 0 0 0 22159 67 0 0 20 0 1 0 297199775 15872000 1449 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 3875 1449 192 642 0 3231 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 15500

[startup+282.3 s]
/proc/loadavg: 2.02 1.22 1.74 3/177 10399
/proc/meminfo: memFree=29695896/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=16088 CPUtime=282.24 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 1673 0 0 0 28142 82 0 0 20 0 1 0 297199775 16474112 1576 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4022 1576 192 642 0 3378 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 16088

[startup+342.3 s]
/proc/loadavg: 2.07 1.39 1.76 3/177 10400
/proc/meminfo: memFree=29663952/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=16088 CPUtime=342.23 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 1682 0 0 0 34127 96 0 0 20 0 1 0 297199775 16474112 1585 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4022 1585 192 642 0 3378 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 16088

[startup+402.3 s]
/proc/loadavg: 2.02 1.49 1.77 3/177 10400
/proc/meminfo: memFree=29641260/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=16676 CPUtime=402.23 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 1819 0 0 0 40112 111 0 0 20 0 1 0 297199775 17076224 1722 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4169 1722 192 642 0 3525 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 16676

[startup+462.3 s]
/proc/loadavg: 2.01 1.58 1.78 3/177 10400
/proc/meminfo: memFree=29618852/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=17152 CPUtime=462.22 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 1948 0 0 0 46098 124 0 0 20 0 1 0 297199775 17563648 1851 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4288 1851 192 642 0 3644 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 17152

[startup+522.3 s]
/proc/loadavg: 2.00 1.65 1.79 3/177 10400
/proc/meminfo: memFree=29599336/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=17228 CPUtime=522.21 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 1963 0 0 0 52084 137 0 0 20 0 1 0 297199775 17641472 1865 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4307 1865 192 642 0 3663 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 17228

[startup+582.3 s]
/proc/loadavg: 2.00 1.72 1.81 3/177 10400
/proc/meminfo: memFree=29582472/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=17228 CPUtime=582.2 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 1969 0 0 0 58066 154 0 0 20 0 1 0 297199775 17641472 1871 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4307 1871 192 642 0 3663 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 17228

[startup+642.3 s]

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

/proc/meminfo: memFree=29435272/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=18696 CPUtime=1122.12 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 2345 0 0 0 111927 285 0 0 20 0 1 0 297199775 19144704 2247 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4674 2247 192 642 0 4030 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 18696

[startup+1182.3 s]
/proc/loadavg: 2.00 1.95 1.88 3/177 10405
/proc/meminfo: memFree=29418904/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=18696 CPUtime=1182.11 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 2345 0 0 0 117913 298 0 0 20 0 1 0 297199775 19144704 2247 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4674 2247 192 642 0 4030 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 18696

[startup+1242.3 s]
/proc/loadavg: 2.00 1.96 1.89 3/177 10406
/proc/meminfo: memFree=29403900/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=18696 CPUtime=1242.1 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 2345 0 0 0 123895 315 0 0 20 0 1 0 297199775 19144704 2247 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4674 2247 192 642 0 4030 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 18696

[startup+1302.3 s]
/proc/loadavg: 2.10 2.00 1.90 3/178 10409
/proc/meminfo: memFree=29392400/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=19204 CPUtime=1302.09 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 2465 0 0 0 129882 327 0 0 20 0 1 0 297199775 19664896 2367 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4801 2367 192 642 0 4157 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 19204

[startup+1362.3 s]
/proc/loadavg: 2.04 2.00 1.91 3/177 10409
/proc/meminfo: memFree=29379200/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=19296 CPUtime=1362.08 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 2495 0 0 0 135866 342 0 0 20 0 1 0 297199775 19759104 2396 33554432000 134512640 137138936 4288690864 4288689904 134540744 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4824 2396 192 642 0 4180 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 19296

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 10409
/proc/meminfo: memFree=29369280/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=19412 CPUtime=1422.08 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 2510 0 0 0 141851 357 0 0 20 0 1 0 297199775 19877888 2409 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4853 2409 192 642 0 4209 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 19412

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10409
/proc/meminfo: memFree=29350928/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=19412 CPUtime=1482.06 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 2517 0 0 0 147834 372 0 0 20 0 1 0 297199775 19877888 2416 33554432000 134512640 137138936 4288690864 4288689904 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4853 2416 192 642 0 4209 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 19412

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10410
/proc/meminfo: memFree=29325756/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=19400 CPUtime=1542.06 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 2517 0 0 0 153820 386 0 0 20 0 1 0 297199775 19865600 2416 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4850 2416 192 642 0 4206 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 19400

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10410
/proc/meminfo: memFree=29300956/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=19388 CPUtime=1602.04 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 2517 0 0 0 159807 397 0 0 20 0 1 0 297199775 19853312 2416 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4847 2416 192 642 0 4203 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 19388

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10410
/proc/meminfo: memFree=29274296/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=19380 CPUtime=1662.03 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 2517 0 0 0 165791 412 0 0 20 0 1 0 297199775 19845120 2416 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4845 2416 192 642 0 4201 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 19380

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10410
/proc/meminfo: memFree=29250536/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=19380 CPUtime=1722.02 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 2517 0 0 0 171776 426 0 0 20 0 1 0 297199775 19845120 2416 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4845 2416 192 642 0 4201 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 19380

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/177 10410
/proc/meminfo: memFree=29227712/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=19436 CPUtime=1782.02 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 2557 0 0 0 177762 440 0 0 20 0 1 0 297199775 19902464 2433 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4859 2433 192 642 0 4215 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 19436

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

[startup+1791.91 s]
/proc/loadavg: 2.04 2.01 1.91 3/177 10410
/proc/meminfo: memFree=29224116/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=19436 CPUtime=1791.62 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 2557 0 0 0 178721 441 0 0 20 0 1 0 297199775 19902464 2433 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4859 2433 192 642 0 4215 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 19436

[startup+1795.1 s]
/proc/loadavg: 2.04 2.01 1.91 3/177 10410
/proc/meminfo: memFree=29222876/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=19436 CPUtime=1794.81 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 2557 0 0 0 179040 441 0 0 20 0 1 0 297199775 19902464 2433 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4859 2433 192 642 0 4215 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 19436

[startup+1796.7 s]
/proc/loadavg: 2.04 2.01 1.91 3/177 10410
/proc/meminfo: memFree=29222628/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=19436 CPUtime=1796.41 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 2557 0 0 0 179199 442 0 0 20 0 1 0 297199775 19902464 2433 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4859 2433 192 642 0 4215 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 19436

[startup+1797.5 s]
/proc/loadavg: 2.03 2.01 1.91 3/177 10410
/proc/meminfo: memFree=29222256/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=19436 CPUtime=1797.21 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 2557 0 0 0 179279 442 0 0 20 0 1 0 297199775 19902464 2433 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4859 2433 192 642 0 4215 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 19436

[startup+1797.9 s]
/proc/loadavg: 2.03 2.01 1.91 3/177 10410
/proc/meminfo: memFree=29222256/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=19436 CPUtime=1797.61 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 2557 0 0 0 179319 442 0 0 20 0 1 0 297199775 19902464 2433 33554432000 134512640 137138936 4288690864 4288689904 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4859 2433 192 642 0 4215 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 19436

[startup+1798.1 s]
/proc/loadavg: 2.03 2.01 1.91 3/177 10410
/proc/meminfo: memFree=29222256/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=19436 CPUtime=1797.81 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 2557 0 0 0 179339 442 0 0 20 0 1 0 297199775 19902464 2433 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4859 2433 192 642 0 4215 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 19436

[startup+1798.2 s]
/proc/loadavg: 2.03 2.01 1.91 3/177 10410
/proc/meminfo: memFree=29222256/32873844 swapFree=7116/7116
[pid=10372] ppid=10370 vsize=19436 CPUtime=1797.91 cores=1,3,5,7
/proc/10372/stat : 10372 (bsolo) R 10370 10372 10328 0 -1 4202496 2557 0 0 0 179349 442 0 0 20 0 1 0 297199775 19902464 2433 33554432000 134512640 137138936 4288690864 4288689980 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10372/statm: 4859 2433 192 642 0 4215 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 19436

Child status: 0
Real time (s): 1798.28
CPU time (s): 1798
CPU user time (s): 1793.57
CPU system time (s): 4.42733
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 19600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.57
system time used= 4.42733
maximum resident set size= 9824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2558
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= 6
involuntary context switches= 1851

runsolver used 2.84457 second user time and 7.2429 second system time

The end

Launcher Data 

Begin job on node146 at 2012-05-29 18:59:09
IDJOB=3708071
IDBENCH=2908
IDSOLVER=2286
FILE ID=node146/3708071-1338310748
RUNJOBID= node146-1338310748-10345
PBS_JOBID= 14632082
Free space on /tmp= 71120 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_2.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708071-1338310748/watcher-3708071-1338310748 -o /tmp/evaluation-result-3708071-1338310748/solver-3708071-1338310748 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708071-1338310748.opb

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

MD5SUM BENCH= b690996610ff381ef60353517fe5a0e9
RANDOM SEED=709189190

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29915660 kB
Buffers:          443644 kB
Cached:          1636416 kB
SwapCached:         2180 kB
Active:          1095188 kB
Inactive:         990512 kB
Active(anon):       4696 kB
Inactive(anon):     2668 kB
Active(file):    1090492 kB
Inactive(file):   987844 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100344 kB
Dirty:             12824 kB
Writeback:             8 kB
AnonPages:         11264 kB
Mapped:             8956 kB
Shmem:                 0 kB
Slab:             731724 kB
SReclaimable:     173196 kB
SUnreclaim:       558528 kB
KernelStack:        1384 kB
PageTables:         4340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     124660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71116 MiB
End job on node146 at 2012-05-29 19:29:07