Trace number 2657558

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.2 ClSAT10 1798 1798.47

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
MD5SUM8d16c34d0eecf3c16ca4b890652c15ca
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 benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
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 1270
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4321
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 Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657558-1276602563.opb
0.00/0.00	c File size is 7734 bytes.
0.00/0.00	c Highest Coefficient sum: 4321
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: 220
0.00/0.00	c Obj. Vars: 96 (65.7534 % of total variables)
0.00/0.00	c Pre-processing Time: 0.002 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      226    1568      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 1114
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    146       13      880   67      564    1760      1      0 0.00
0.00/0.00	o 950
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       34    146       48     3267   68      708    1760     36   4857 0.01
0.00/0.01	o 452
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       59    146       74     4909   66      785    1760     62   6555 0.01
0.00/0.01	o 400
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      113    146      129     7147   55      976    1760    117   7533 0.01
0.00/0.02	o 293
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      159    146      176     9151   51     1132    1760    164   7571 0.02
0.00/0.03	o 292
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      211    146      229    11759   51     1291    1760    217   7535 0.03
0.00/0.03	o 291
0.06/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.09	c      284    146      303    14458   47     1548    1760    291   7675 0.04
0.06/0.09	c      384    146      403    19524   48     1744    1937    391   7680 0.05
0.06/0.09	c      634    146      653    31243   47     2248    2131    641   7123 0.09
0.06/0.09	o 283
0.06/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.09	c      653    146      673    32105   47     2337    1760    661   7097 0.09
0.06/0.09	o 281
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      677    146      698    33095   47     2459    1760    686   6979 0.10
0.09/0.10	o 279
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      690    146      712    33833   47     2570    1760    700   6969 0.10
0.09/0.14	c      790    146      812    38008   46     2830    1937    800   6869 0.12
0.09/0.14	o 271
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c      940    146      963    44430   46     3187    1760    951   6762 0.14
0.09/0.15	c     1041    146     1064    47881   45     3384    1937   1052   6759 0.15
0.09/0.15	o 265
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c     1050    146     1074    48556   45     3487    1760   1062   6730 0.16
0.09/0.19	c     1150    146     1174    53691   45     3727    1937   1162   6647 0.17
0.09/0.19	o 260
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c     1277    146     1302    57721   44     4012    1760   1290   6651 0.19
0.09/0.19	o 258
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c     1306    146     1332    59062   44     4151    1760   1320   6629 0.20
0.19/0.21	o 256
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c     1385    146     1412    62956   44     4437    1760   1400   6502 0.21
0.19/0.28	c     1485    146     1512    67459   44     4667    1937   1500   6428 0.23
0.19/0.28	c     1735    146     1762    75912   43     5164    2131   1750   6402 0.27
0.19/0.28	o 253
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c     1783    146     1811    78593   43     5353    1760   1799   6322 0.28
0.19/0.29	o 250
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c     1830    146      941    39080   41     2530    1760    929   6288 0.29
0.19/0.29	o 243
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c     1839    146      951    39521   41     2635    1760    939   6276 0.29
0.29/0.31	c     1939    146     1051    45711   43     2838    1937   1039   6315 0.31
0.29/0.31	o 241
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c     1990    146     1103    47678   43     3028    1760   1091   6297 0.32
0.29/0.33	o 230
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c     2088    146     1202    51135   42     3291    1760   1190   6346 0.33
0.29/0.33	o 226
0.29/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.34	c     2126    146     1241    52994   42     3486    1760   1229   6308 0.34
0.29/0.34	o 220
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c     2134    146     1250    53512   42     3603    1760   1238   6294 0.34
0.29/0.39	c     2236    146     1352    57530   42     3805    1937   1340   6263 0.36
0.29/0.39	o 213
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c     2438    146     1555    65347   42     4293    1760   1543   6219 0.39
0.29/0.39	o 211
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c     2439    146     1557    65522   42     4388    1760   1545   6206 0.39
0.29/0.39	o 209
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c     2446    146     1565    65858   42     4494    1760   1553   6192 0.40
0.29/0.39	o 205
0.29/0.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.39	c     2451    146     1571    66202   42     4590    1760   1559   6189 0.40
0.29/0.39	o 203
0.39/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.40	c     2457    146     1578    66535   42     4697    1760   1566   6188 0.40
0.39/0.40	o 201
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c     2466    146     1588    67189   42     4809    1760   1576   6165 0.40
0.39/0.41	o 199
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c     2509    146     1632    69236   42     4993    1760   1620   6119 0.41
0.39/0.42	o 181
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c     2561    146     1685    70987   42     5187    1760   1673   6083 0.42
0.39/0.42	o 177
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c     2561    146     1686    71083   42     5279    1760   1674   6083 0.42
0.39/0.42	o 173
0.39/0.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.46	c     2564    146     1690    71428   42     5381    1760   1678   6061 0.42
0.39/0.46	c     2664    146      893    39394   44     2338    1937    881   5933 0.45
0.39/0.46	o 140
0.39/0.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.47	c     2783    146     1013    43264   42     2672    1760   1001   5997 0.46
0.39/0.47	o 134
0.39/0.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.47	c     2860    146     1091    45589   41     2922    1760   1079   6033 0.47
0.39/0.47	o 132
0.39/0.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.50	c     2870    146     1102    46288   42     3038    1760   1090   6029 0.48
0.39/0.50	c     2970    146     1202    50308   41     3240    1937   1190   6048 0.49
0.39/0.50	o 123
0.49/0.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.51	c     3016    146     1249    51978   41     3431    1760   1237   6056 0.50
0.49/0.51	o 109
0.49/0.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.51	c     3093    145     1327    55097   41     3679    1758   1315   6052 0.51
0.49/0.51	o 101
0.59/0.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.64	c     3112    145     1347    55784   41     3806    1758   1335   6054 0.51
0.59/0.64	c     3212    144     1447    59807   41     4009    1934   1435   6060 0.53
0.59/0.64	c     3462    142     1697    69258   40     4511    2128   1685   6010 0.58
0.59/0.64	o 83
0.79/0.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.87	c     3801    142     2037    82501   40     5283    1752   2025   5957 0.64
0.79/0.87	c     3901    140      993    37371   37     2520    1928    981   5964 0.65
0.79/0.87	c     4151    139     1243    45559   36     3026    2121   1231   6024 0.69
0.79/0.87	c     4626    138     1718    59710   34     3977    2334   1706   6184 0.75
0.79/0.87	o 64
0.79/0.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.87	c     5426    135     1295    40734   31     3213    1738   1283   6243 0.87
0.79/0.87	o 62
0.79/0.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.87	c     5427    135     1297    40890   31     3299    1738   1285   6237 0.87
0.79/0.87	o 60
1.10/1.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.13	c     5460    135     1331    42836   32     3450    1738   1319   6240 0.88
1.10/1.13	c     5560    129     1431    47053   32     3647    1912   1419   6240 0.89
1.10/1.13	c     5810    127     1681    57054   33     4146    2104   1669   6260 0.93
1.10/1.13	c     6285    126     1084    40773   37     2694    2315   1072   6259 1.00
1.10/1.13	c     7098    126     1897    68666   36     4323    2547   1885   6331 1.12
1.10/1.13	o 45
1.29/1.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.32	c     7166    126     1966    71179   36     4539    1720   1954   6335 1.13
1.29/1.32	c     7266    125      993    33820   34     2510    1893    981   6323 1.15
1.29/1.32	c     7516    124     1243    42429   34     2997    2083   1231   6369 1.18
1.29/1.32	c     7991    123     1718    59595   34     3950    2292   1706   6408 1.25
1.29/1.32	o 43
7.60/7.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.60/7.69	c     8493    122     2221    77903   35     5030    1712   2209   6409 1.32
7.60/7.69	c     8593    122      993    35880   36     2496    1884    981   6403 1.34
7.60/7.69	c     8843    122     1243    45136   36     2994    2073   1231   6421 1.38
7.60/7.69	c     9318    122     1718    60977   35     3945    2281   1706   6426 1.45
7.60/7.69	c    10131    122     1357    46423   34     3224    2510   1345   6407 1.58
7.60/7.69	c    11451    122     1377    50132   36     3259    2762   1365   6382 1.79
7.60/7.69	c    13532    122     2054    74583   36     4622    3039   2042   6356 2.13
7.60/7.69	c    16756    122     2172    80705   37     4854    3343   2160   6294 2.66
7.60/7.69	c    21692    122     1984    70060   35     4477    3678   1972   6164 3.52
7.60/7.69	c    29198    122     2007    69228   34     4528    4046   1995   5972 4.89
7.60/7.69	c    40559    122     3064   107726   35     6641    4451   3052   5794 7.00
7.60/7.69	o 36
7.70/7.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.70/7.72	c    44015    122     4261   146595   34     9102    1712   4249   5724 7.69
7.70/7.72	o 34
10.79/10.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.79/10.90	c    44047    122      926    29758   32     2433    1712    914   5701 7.72
10.79/10.90	c    44147    122     1026    34456   33     2631    1884   1014   5703 7.74
10.79/10.90	c    44398    122     1277    42403   33     3135    2073   1265   5708 7.78
10.79/10.90	c    44874    122     1753    57512   32     4088    2281   1741   5720 7.84
10.79/10.90	c    45687    122     1390    44926   32     3293    2510   1378   5726 7.98
10.79/10.90	c    47007    122     1420    48270   33     3352    2762   1408   5740 8.19
10.79/10.90	c    49088    122     2082    72702   34     4666    3039   2070   5760 8.52
10.79/10.90	c    52312    122     2196    76353   34     4909    3343   2184   5778 9.05
10.79/10.90	c    57248    122     2008    69430   34     4528    3678   1996   5766 9.93
10.79/10.90	o 33
55.68/55.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
55.68/55.74	c    62642    122     3657   129908   35     7892    1712   3645   5749 10.90
55.68/55.74	c    62743    122      994    34864   35     2498    1884    982   5735 10.94
55.68/55.74	c    62993    122     1244    43482   34     2995    2073   1232   5739 10.98
55.68/55.74	c    63468    122     1719    59024   34     3951    2281   1707   5747 11.04
55.68/55.74	c    64281    122     1356    45140   33     3222    2510   1344   5753 11.17
55.68/55.74	c    65602    122     1385    47052   33     3279    2762   1373   5761 11.39
55.68/55.74	c    67683    122     2045    71651   35     4596    3039   2033   5768 11.73
55.68/55.74	c    70906    122     2160    72884   33     4827    3343   2148   5770 12.29
55.68/55.74	c    75842    122     1970    66240   33     4451    3678   1958   5758 13.17
55.68/55.74	c    83348    122     1984    69093   34     4476    4046   1972   5726 14.55
55.68/55.74	c    94709    122     3052   108471   35     6615    4451   3040   5665 16.72
55.68/55.74	c   111854    122     4370   159680   36     9245    4897   4358   5582 20.04
55.68/55.74	c   137674    122     2858   101054   35     6222    5387   2846   5432 25.34
55.68/55.74	c   176506    122     3522   129379   36     7558    5926   3510   5229 33.75
55.68/55.74	c   234858    122     4850   176142   36    10210    6519   4838   4981 47.14
55.68/55.74	o 32
58.68/58.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
58.68/58.72	c   269053    122     6103   211406   34    12794    1712   6091   4827 55.73
58.68/58.72	c   269154    111      994    33641   33     2492    1884    982   4822 55.81
58.68/58.72	c   269405    110     1245    43457   34     2993    2073   1233   4823 55.85
58.68/58.72	c   269880    110     1720    62509   36     3946    2281   1708   4825 55.93
58.68/58.72	c   270694    110     1358    54068   39     3219    2510   1346   4827 56.08
58.68/58.72	c   272015    110     1390    55281   39     3280    2762   1378   4830 56.31
58.68/58.72	c   274096    110     2053    83791   40     4609    3039   2041   4838 56.65
58.68/58.72	c   277319    110     2155    87758   40     4815    3343   2143   4838 57.31
58.68/58.72	c   282258    110     1960    80157   40     4424    3678   1948   4833 58.40
58.68/58.72	o 29
59.78/59.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
59.78/59.81	c   283718    110     3421   139811   40     7403    1688   3409   4832 58.71
59.78/59.81	c   283818    110      993    39454   39     2477    1857    981   4831 58.74
59.78/59.81	c   284069    110     1244    49555   39     2981    2043   1232   4832 58.78
59.78/59.81	c   284545    110     1720    68885   40     3929    2248   1708   4834 58.86
59.78/59.81	c   285359    110     1382    54265   39     3253    2473   1370   4835 59.02
59.78/59.81	c   286679    110     1435    57320   39     3363    2721   1423   4837 59.26
59.78/59.81	c   288763    110     2128    85709   40     4747    2994   2116   4843 59.62
59.78/59.81	o 27
62.17/62.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.17/62.21	c   289818    110     1649    66997   40     3848    1688   1637   4846 59.80
62.17/62.21	c   289919    110      893    35889   40     2277    1857    881   4846 59.82
62.17/62.21	c   290170    110     1144    45817   40     2777    2043   1132   4847 59.86
62.17/62.21	c   290645    110     1619    64645   39     3730    2248   1607   4849 59.93
62.17/62.21	c   291458    110     1283    50579   39     3054    2473   1271   4852 60.06
62.17/62.21	c   292778    110     1336    53412   39     3159    2721   1324   4855 60.29
62.17/62.21	c   294859    110     2021    79951   39     4535    2994   2009   4861 60.65
62.17/62.21	c   298082    110     2178    87235   40     4848    3294   2166   4867 61.24
62.17/62.21	o 25
121.56/121.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
121.56/121.66	c   302968    110     2018    81734   40     4584    1688   2006   4870 62.20
121.56/121.66	c   303068    110      993    38967   39     2471    1857    981   4870 62.22
121.56/121.66	c   303319    110     1244    48679   39     2974    2043   1232   4872 62.25
121.56/121.66	c   303794    110     1719    66816   38     3930    2248   1707   4874 62.32
121.56/121.66	c   304608    110     1367    53134   38     3226    2473   1355   4878 62.45
121.56/121.66	c   305930    110     1413    54426   38     3318    2721   1401   4882 62.65
121.56/121.66	c   308011    110     2097    82438   39     4686    2994   2085   4889 62.99
121.56/121.66	c   311235    110     2258    88993   39     5007    3294   2246   4898 63.53
121.56/121.66	c   316171    110     2148    85455   39     4789    3624   2136   4904 64.46
121.56/121.66	c   323677    110     2250    89533   39     4989    3987   2238   4910 65.92
121.56/121.66	c   335038    110     3466   142860   41     7419    4386   3454   4902 68.34
121.56/121.66	c   352182    110     2787   113155   40     6063    4825   2775   4881 72.15
121.56/121.66	c   378001    110     4178   169930   40     8845    5308   4166   4825 78.34
121.56/121.66	c   416833    110     5356   219208   40    11205    5839   5344   4724 88.23
121.56/121.66	c   475186    110     4604   187094   40     9694    6423   4592   4555 104.31
121.56/121.66	o 23
131.36/131.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
131.36/131.41	c   538179    110     5905   241443   40    12350    1688   5893   4424 121.63
131.36/131.41	c   538279    110      993    39232   39     2474    1857    981   4422 121.71
131.36/131.41	c   538529    110     1243    49153   39     2977    2043   1231   4423 121.74
131.36/131.41	c   539004    110     1718    67959   39     3929    2248   1706   4424 121.82
131.36/131.41	c   539817    110     1374    52443   38     3231    2473   1362   4426 121.95
131.36/131.41	c   541137    110     1421    54558   38     3326    2721   1409   4429 122.16
131.36/131.41	c   543219    110     2097    80786   38     4681    2994   2085   4432 122.55
131.36/131.41	c   546442    110     2251    88849   39     4991    3294   2239   4439 123.10
131.36/131.41	c   551380    110     2136    84029   39     4757    3624   2124   4446 124.01
131.36/131.41	c   558886    110     2254    89358   39     4996    3987   2242   4455 125.42
131.36/131.41	c   570248    110     3492   141369   40     7474    4386   3480   4461 127.81
131.36/131.41	o 21
151.46/151.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
151.46/151.52	c   586819    110     2242    91105   40     4979    1688   2230   4465 131.40
151.46/151.52	c   586920    110      994    39215   39     2479    1857    982   4465 131.42
151.46/151.52	c   587171    110     1245    48878   39     2984    2043   1233   4466 131.46
151.46/151.52	c   587646    110     1720    67407   39     3921    2248   1708   4468 131.52
151.46/151.52	c   588460    110     1378    50482   36     3250    2473   1366   4469 131.66
151.46/151.52	c   589781    110     1425    52527   36     3339    2721   1413   4471 131.90
151.46/151.52	c   591863    110     2127    82868   38     4745    2994   2115   4475 132.25
151.46/151.52	c   595086    110     2276    89613   39     5042    3294   2264   4479 132.86
151.46/151.52	c   600023    110     2168    84912   39     4825    3624   2156   4483 133.82
151.46/151.52	c   607530    110     2284    90598   39     5053    3987   2272   4490 135.29
151.46/151.52	c   618892    110     3516   138907   39     7518    4386   3504   4502 137.45
151.46/151.52	c   636036    110     2837   112549   39     6164    4825   2825   4511 140.98
151.46/151.52	c   661855    110     4204   164647   39     8894    5308   4192   4512 146.69
151.46/151.52	o 19
154.85/154.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
154.85/154.90	c   682559    110     3394   131463   38     7336    1688   3382   4505 151.49
154.85/154.90	c   682659    110      993    37137   37     2474    1857    981   4504 151.54
154.85/154.90	c   682909    110     1243    46821   37     2970    2043   1231   4505 151.57
154.85/154.90	c   683385    110     1719    65256   37     3926    2248   1707   4506 151.65
154.85/154.90	c   684198    110     1370    52653   38     3228    2473   1358   4507 151.79
154.85/154.90	c   685518    110     1414    54685   38     3319    2721   1402   4509 152.02
154.85/154.90	c   687600    110     2099    81271   38     4694    2994   2087   4512 152.39
154.85/154.90	c   690824    110     2250    89452   39     4993    3294   2238   4516 152.96
154.85/154.90	c   695760    110     2122    83444   39     4728    3624   2110   4520 153.90
154.85/154.90	o 15
319.11/319.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
319.11/319.25	c   700649    110     3318   129407   39     7185    1688   3306   4524 154.86
319.11/319.25	c   700749    108      993    37626   37     2471    1857    981   4524 154.89
319.11/319.25	c   700999    107     1243    46694   37     2955    2043   1231   4524 154.93
319.11/319.25	c   701474    107     1718    64694   37     3915    2248   1706   4525 154.99
319.11/319.25	c   702287    106     1368    49596   36     3209    2473   1356   4527 155.10
319.11/319.25	c   703607    106     1428    51963   36     3325    2721   1416   4531 155.28
319.11/319.25	c   705688    105     2120    78525   37     4704    2994   2108   4535 155.58
319.11/319.25	c   708911    105     2281    86254   37     5036    3294   2269   4542 156.07
319.11/319.25	c   713848    104     2188    80236   36     4827    3624   2176   4551 156.82
319.11/319.25	c   721354    104     2317    89484   38     5108    3987   2305   4561 158.15
319.11/319.25	c   732715    103     3552   134382   37     7576    4386   3540   4575 160.14
319.11/319.25	c   749859    101     2870   108191   37     6212    4825   2858   4586 163.50
319.11/319.26	c   775680     99     4232   168178   39     8934    5308   4220   4593 168.88
319.11/319.26	c   814512     98     2747   105748   38     5961    5839   2735   4582 177.74
319.11/319.26	c   872864     98     4971   203047   40    10410    6423   4959   4525 192.87
319.11/319.26	c   960497     98     4969   201083   40    10408    7066   4957   4434 216.58
319.11/319.26	c  1092050     98     4546   183783   40     9563    7773   4534   4246 257.19
319.11/319.26	o 14
358.80/358.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
358.80/358.93	c  1276885     98     5107   207308   40    10730    1664   5095   4000 319.18
358.80/358.93	c  1276986     98      994    38311   38     2447    1831    982   4000 319.24
358.80/358.93	c  1277236     98     1244    46728   37     2949    2015   1232   4000 319.27
358.80/358.93	c  1277712     98     1720    63004   36     3893    2217   1708   4001 319.33
358.80/358.93	c  1278526     98     1383    47841   34     3225    2439   1371   4002 319.46
358.80/358.93	c  1279847     98     1453    52629   36     3360    2683   1441   4003 319.68
358.80/358.93	c  1281928     98     2164    82359   38     4786    2952   2152   4006 320.00
358.80/358.93	c  1285151     98     2356    94026   39     5178    3248   2344   4008 320.59
358.80/358.93	c  1290088     98     2329    92646   39     5120    3573   2317   4012 321.52
358.80/358.93	c  1297594     98     2555   103685   40     5569    3931   2543   4017 322.98
358.80/358.93	c  1308955     98     3919   154932   39     8293    4325   3907   4023 325.30
358.80/358.93	c  1326100     98     3511   137836   39     7475    4758   3499   4028 329.21
358.80/358.93	c  1351919     98     2810   113815   40     6077    5234   2798   4030 335.41
358.80/358.93	c  1390751     98     4528   181024   39     9511    5758   4516   4036 344.55
358.80/358.93	o 12
1138.70/1139.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1138.70/1139.08	c  1445796     98     4203   168454   40     8910    1664   4191   4028 358.85
1138.70/1139.08	c  1445896     98      993    38237   38     2446    1831    981   4028 358.90
1138.70/1139.08	c  1446146     98     1243    47717   38     2943    2015   1231   4028 358.94
1138.70/1139.08	c  1446623     98     1720    66369   38     3902    2217   1708   4029 359.01
1138.70/1139.08	c  1447436     98     1389    52920   38     3236    2439   1377   4030 359.14
1138.70/1139.08	c  1448756     98     1461    56355   38     3376    2683   1449   4031 359.35
1138.70/1139.08	c  1450837     98     2162    84480   39     4786    2952   2150   4033 359.68
1138.70/1139.08	c  1454061     98     2355    93773   39     5171    3248   2343   4035 360.32
1138.70/1139.08	c  1458997     98     2314    89643   38     5084    3573   2302   4038 361.26
1138.70/1139.08	c  1466506     98     2528   100577   39     5517    3931   2516   4043 362.71
1138.70/1139.08	c  1477868     98     3890   155233   39     8236    4325   3878   4047 365.13
1138.70/1139.08	c  1495013     98     3454   135907   39     7368    4758   3442   4052 368.91
1138.70/1139.08	c  1520833     98     2721   108832   39     5905    5234   2709   4057 374.78
1138.70/1139.08	c  1559665     98     4445   174530   39     9347    5758   4433   4056 384.49
1138.70/1139.08	c  1618017     98     4511   181619   40     9478    6334   4499   4042 400.22
1138.70/1139.08	c  1705649     98     5695   230907   40    11853    6968   5683   4009 425.41
1138.70/1139.08	c  1837201     98     3545   142622   40     7553    7665   3533   3937 466.59
1138.70/1139.08	c  2034633     98     3894   141141   36     8243    8432   3882   3867 526.02
1138.70/1139.08	c  2330885     98     6939   274140   39    14334    9276   6927   3721 626.29
1138.70/1139.08	c  2775367     98     7644   299732   39    15743   10204   7632   3468 800.20
1138.70/1139.08	c  3442195     98     6843   265859   38    14144   11225   6831   3164 1087.80
1138.70/1139.08	o 10
1797.93/1798.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1798.46	c  3558554     98    10267   413557   40    21044    1664  10255   3124 1138.79
1797.93/1798.46	c  3558654     98      993    38512   38     2449    1831    981   3124 1139.00
1797.93/1798.46	c  3558905     98     1244    48090   38     2954    2015   1232   3124 1139.03
1797.93/1798.46	c  3559381     98     1720    66676   38     3901    2217   1708   3124 1139.09
1797.93/1798.46	c  3560194     98     1391    53550   38     3246    2439   1379   3125 1139.22
1797.93/1798.46	c  3561514     98     1453    55784   38     3368    2683   1441   3125 1139.44
1797.93/1798.46	c  3563595     98     2167    85181   39     4791    2952   2155   3126 1139.79
1797.93/1798.46	c  3566818     98     2371    94371   39     5203    3248   2359   3127 1140.33
1797.93/1798.46	c  3571754     98     2341    92213   39     5142    3573   2329   3129 1141.26
1797.93/1798.46	c  3579261     98     2565   101151   39     5585    3931   2553   3132 1142.72
1797.93/1798.46	c  3590624     98     3920   155765   39     8299    4325   3908   3136 1144.84
1797.93/1798.46	c  3607768     98     3487   138228   39     7434    4758   3475   3141 1148.37
1797.93/1798.46	c  3633587     98     2755   110129   39     5970    5234   2743   3148 1154.07
1797.93/1798.46	c  3672419     98     4446   175304   39     9347    5758   4434   3157 1162.94
1797.93/1798.46	c  3730771     98     4527   181724   40     9516    6334   4515   3168 1177.47
1797.93/1798.46	c  3818404     98     5679   223486   39    11815    6968   5667   3178 1201.17
1797.93/1798.46	c  3949956     98     3545   138491   39     7551    7665   3533   3190 1238.04
1797.93/1798.46	c  4147389     98     7677   309314   40    15810    8432   7665   3181 1303.50
1797.93/1798.46	c  4443641     98     6447   258415   40    13342    9276   6435   3159 1406.56
1797.93/1798.46	c  4888124     98     7179   287552   40    14820   10204   7167   3107 1573.09
1797.93/1798.46	c Resources Exceeded
1797.93/1798.46	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 x99 x100 x101 -x102 x103 -x104 -x105 -x106 x107 x108 x109 -x110 x111 x112 -x113 x114 -x115 x116 x117 -x118 x119 x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x129 x130 x131 -x132 -x133 x134 x135 x136 -x137 -x138 -x139 x140 -x141 -x142 x143 -x144 -x145 x146 
1797.93/1798.46	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1798.46	c  246  5439278  60375  5514830     8948   356672   8936   3025 1798.00
1797.93/1798.46	c Objective: 10
1797.93/1798.46	s SATISFIABLE
1797.93/1798.46	c Total time: 1798 s

Verifier Data 

OK	10

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657558-1276602563/watcher-2657558-1276602563 -o /tmp/evaluation-result-2657558-1276602563/solver-2657558-1276602563 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657558-1276602563.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.08 1.02 1.01 3/106 2587
/proc/meminfo: memFree=1778712/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=18604 CPUtime=0
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 330 0 0 0 0 0 0 0 17 0 1 0 35860142 19050496 247 1992294400 134512640 137138936 4289087056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 4651 247 191 642 0 4007 0

[startup+0.0698729 s]
/proc/loadavg: 1.08 1.02 1.01 3/106 2587
/proc/meminfo: memFree=1778712/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=11048 CPUtime=0.06
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 416 0 0 0 6 0 0 0 17 0 1 0 35860142 11313152 333 1992294400 134512640 137138936 4289087056 18446744073709551615 134576208 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 2762 333 191 642 0 2118 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11048

[startup+0.100876 s]
/proc/loadavg: 1.08 1.02 1.01 3/106 2587
/proc/meminfo: memFree=1778712/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=11176 CPUtime=0.09
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 450 0 0 0 9 0 0 0 17 0 1 0 35860142 11444224 367 1992294400 134512640 137138936 4289087056 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 2794 367 191 642 0 2150 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11176

[startup+0.300894 s]
/proc/loadavg: 1.08 1.02 1.01 3/106 2587
/proc/meminfo: memFree=1778712/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=11948 CPUtime=0.29
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 631 0 0 0 29 0 0 0 17 0 1 0 35860142 12234752 548 1992294400 134512640 137138936 4289087056 18446744073709551615 136504446 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 2987 548 191 642 0 2343 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11948

[startup+0.700934 s]
/proc/loadavg: 1.08 1.02 1.01 3/106 2587
/proc/meminfo: memFree=1778712/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=12080 CPUtime=0.69
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 646 0 0 0 68 1 0 0 17 0 1 0 35860142 12369920 563 1992294400 134512640 137138936 4289087056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 3020 563 191 642 0 2376 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12080

[startup+1.50101 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 2588
/proc/meminfo: memFree=1776968/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=12080 CPUtime=1.49
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 651 0 0 0 148 1 0 0 18 0 1 0 35860142 12369920 568 1992294400 134512640 137138936 4289087056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 3020 568 191 642 0 2376 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12080

[startup+3.10116 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 2588
/proc/meminfo: memFree=1776348/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=12724 CPUtime=3.09
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 818 0 0 0 307 2 0 0 21 0 1 0 35860142 13029376 735 1992294400 134512640 137138936 4289087056 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 3181 735 191 642 0 2537 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12724

[startup+6.30047 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 2588
/proc/meminfo: memFree=1775728/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=13100 CPUtime=6.29
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 904 0 0 0 624 5 0 0 25 0 1 0 35860142 13414400 821 1992294400 134512640 137138936 4289087056 18446744073709551615 134575614 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 3275 821 191 642 0 2631 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13100

[startup+12.7011 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 2588
/proc/meminfo: memFree=1775356/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=13356 CPUtime=12.69
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 972 0 0 0 1258 11 0 0 25 0 1 0 35860142 13676544 889 1992294400 134512640 137138936 4289087056 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 3339 889 191 642 0 2695 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13356

[startup+25.5013 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 2590
/proc/meminfo: memFree=1775108/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=13592 CPUtime=25.49
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 1040 0 0 0 2529 20 0 0 25 0 1 0 35860142 13918208 957 1992294400 134512640 137138936 4289087056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 3398 957 191 642 0 2754 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13592

[startup+51.1007 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 2590
/proc/meminfo: memFree=1774240/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=14476 CPUtime=51.08
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 1267 0 0 0 5076 32 0 0 25 0 1 0 35860142 14823424 1184 1992294400 134512640 137138936 4289087056 18446744073709551615 134572962 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 3619 1184 191 642 0 2975 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 14476

[startup+102.309 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 2592
/proc/meminfo: memFree=1774116/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=14572 CPUtime=102.28
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 1289 0 0 0 10166 62 0 0 25 0 1 0 35860142 14921728 1203 1992294400 134512640 137138936 4289087056 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 3643 1203 191 642 0 2999 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 14572

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2592
/proc/meminfo: memFree=1773744/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=14752 CPUtime=162.25
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 1377 0 0 0 16127 98 0 0 25 0 1 0 35860142 15106048 1262 1992294400 134512640 137138936 4289087056 18446744073709551615 134603153 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 3688 1262 191 642 0 3044 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 14752

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2594
/proc/meminfo: memFree=1773372/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=15252 CPUtime=222.23
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 1482 0 0 0 22096 127 0 0 25 0 1 0 35860142 15618048 1365 1992294400 134512640 137138936 4289087056 18446744073709551615 136504029 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 3813 1365 191 642 0 3169 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 15252

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2596
/proc/meminfo: memFree=1772876/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=15732 CPUtime=282.22
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 1606 0 0 0 28071 151 0 0 25 0 1 0 35860142 16109568 1489 1992294400 134512640 137138936 4289087056 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 3933 1489 191 642 0 3289 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 15732

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2598
/proc/meminfo: memFree=1772628/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=15820 CPUtime=342.2
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 1629 0 0 0 34042 178 0 0 25 0 1 0 35860142 16199680 1512 1992294400 134512640 137138936 4289087056 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 3955 1512 191 642 0 3311 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 15820

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2600
/proc/meminfo: memFree=1772504/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=15684 CPUtime=402.2
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 1629 0 0 0 40013 207 0 0 25 0 1 0 35860142 16060416 1495 1992294400 134512640 137138936 4289087056 18446744073709551615 134575640 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 3921 1495 191 642 0 3277 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 15684

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2600
/proc/meminfo: memFree=1772504/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=15684 CPUtime=462.18
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 1629 0 0 0 45985 233 0 0 25 0 1 0 35860142 16060416 1495 1992294400 134512640 137138936 4289087056 18446744073709551615 134542823 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 3921 1495 191 642 0 3277 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 15684

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2602
/proc/meminfo: memFree=1772380/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=15684 CPUtime=522.16
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 1629 0 0 0 51954 262 0 0 25 0 1 0 35860142 16060416 1495 1992294400 134512640 137138936 4289087056 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 3921 1495 191 642 0 3277 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 15684

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2604
/proc/meminfo: memFree=1772132/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=16056 CPUtime=582.15
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 1713 0 0 0 57927 288 0 0 25 0 1 0 35860142 16441344 1579 1992294400 134512640 137138936 4289087056 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 4014 1579 191 642 0 3370 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 16056

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2606
/proc/meminfo: memFree=1771636/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=16664 CPUtime=642.14
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 1859 0 0 0 63905 309 0 0 25 0 1 0 35860142 17063936 1725 1992294400 134512640 137138936 4289087056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 4166 1725 191 642 0 3522 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 16664

[startup+702.302 s]

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

/proc/meminfo: memFree=1770024/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=17900 CPUtime=1122
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 2183 0 0 0 111731 469 0 0 25 0 1 0 35860142 18329600 2049 1992294400 134512640 137138936 4289087056 18446744073709551615 136504140 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 4475 2049 191 642 0 3831 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 17900

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2629
/proc/meminfo: memFree=1769900/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=17872 CPUtime=1181.99
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 2183 0 0 0 117701 498 0 0 25 0 1 0 35860142 18300928 2042 1992294400 134512640 137138936 4289087056 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 4468 2042 191 642 0 3824 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 17872

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2631
/proc/meminfo: memFree=1769776/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=17872 CPUtime=1241.97
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 2183 0 0 0 123672 525 0 0 25 0 1 0 35860142 18300928 2042 1992294400 134512640 137138936 4289087056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 4468 2042 191 642 0 3824 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 17872

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2633
/proc/meminfo: memFree=1769652/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=17872 CPUtime=1301.96
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 2183 0 0 0 129647 549 0 0 25 0 1 0 35860142 18300928 2042 1992294400 134512640 137138936 4289087056 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 4468 2042 191 642 0 3824 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 17872

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2633
/proc/meminfo: memFree=1769652/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=17872 CPUtime=1361.93
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 2183 0 0 0 135620 573 0 0 25 0 1 0 35860142 18300928 2042 1992294400 134512640 137138936 4289087056 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 4468 2042 191 642 0 3824 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 17872

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2635
/proc/meminfo: memFree=1769652/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=17872 CPUtime=1421.93
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 2183 0 0 0 141596 597 0 0 25 0 1 0 35860142 18300928 2042 1992294400 134512640 137138936 4289087056 18446744073709551615 136501718 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 4468 2042 191 642 0 3824 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 17872

[startup+1482.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 2640
/proc/meminfo: memFree=1768908/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=17864 CPUtime=1481.91
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 2183 0 0 0 147568 623 0 0 25 0 1 0 35860142 18292736 2040 1992294400 134512640 137138936 4289087056 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 4466 2040 191 642 0 3822 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 17864

[startup+1542.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 2642
/proc/meminfo: memFree=1768908/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=17852 CPUtime=1541.89
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 2183 0 0 0 153543 646 0 0 25 0 1 0 35860142 18280448 2037 1992294400 134512640 137138936 4289087056 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 4463 2037 191 642 0 3819 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 17852

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2644
/proc/meminfo: memFree=1768908/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=17848 CPUtime=1601.88
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 2183 0 0 0 159519 669 0 0 25 0 1 0 35860142 18276352 2036 1992294400 134512640 137138936 4289087056 18446744073709551615 135984545 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 4462 2036 191 642 0 3818 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 17848

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2644
/proc/meminfo: memFree=1768908/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=17848 CPUtime=1661.86
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 2183 0 0 0 165494 692 0 0 25 0 1 0 35860142 18276352 2036 1992294400 134512640 137138936 4289087056 18446744073709551615 136502641 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 4462 2036 191 642 0 3818 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 17848

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2646
/proc/meminfo: memFree=1768908/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=17848 CPUtime=1721.85
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 2183 0 0 0 171475 710 0 0 25 0 1 0 35860142 18276352 2036 1992294400 134512640 137138936 4289087056 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 4462 2036 191 642 0 3818 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 17848

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2648
/proc/meminfo: memFree=1768908/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=17848 CPUtime=1781.83
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 2183 0 0 0 177453 730 0 0 25 0 1 0 35860142 18276352 2036 1992294400 134512640 137138936 4289087056 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 4462 2036 191 642 0 3818 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 17848

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2648
/proc/meminfo: memFree=1768908/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=17848 CPUtime=1791.44
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 2183 0 0 0 178410 734 0 0 25 0 1 0 35860142 18276352 2036 1992294400 134512640 137138936 4289087056 18446744073709551615 135984587 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 4462 2036 191 642 0 3818 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 17848

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2648
/proc/meminfo: memFree=1768908/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=17848 CPUtime=1794.64
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 2183 0 0 0 178728 736 0 0 25 0 1 0 35860142 18276352 2036 1992294400 134512640 137138936 4289087056 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 4462 2036 191 642 0 3818 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 17848

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2648
/proc/meminfo: memFree=1768908/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=17848 CPUtime=1796.23
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 2183 0 0 0 178887 736 0 0 25 0 1 0 35860142 18276352 2036 1992294400 134512640 137138936 4289087056 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 4462 2036 191 642 0 3818 0
Current children cumulated CPU time (s) 1796.23
Current children cumulated vsize (KiB) 17848

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2648
/proc/meminfo: memFree=1768908/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=17848 CPUtime=1797.03
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 2183 0 0 0 178967 736 0 0 25 0 1 0 35860142 18276352 2036 1992294400 134512640 137138936 4289087056 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 4462 2036 191 642 0 3818 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (KiB) 17848

[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2648
/proc/meminfo: memFree=1768908/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=17848 CPUtime=1797.42
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 2183 0 0 0 179006 736 0 0 25 0 1 0 35860142 18276352 2036 1992294400 134512640 137138936 4289087056 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 4462 2036 191 642 0 3818 0
Current children cumulated CPU time (s) 1797.42
Current children cumulated vsize (KiB) 17848

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2648
/proc/meminfo: memFree=1768908/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=17848 CPUtime=1797.82
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 2183 0 0 0 179046 736 0 0 25 0 1 0 35860142 18276352 2036 1992294400 134512640 137138936 4289087056 18446744073709551615 134542930 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 4462 2036 191 642 0 3818 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 17848

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 2648
/proc/meminfo: memFree=1768908/2059040 swapFree=4140408/4192956
[pid=2587] ppid=2585 vsize=17848 CPUtime=1797.93
/proc/2587/stat : 2587 (bsolo_pb10) R 2585 2587 2562 0 -1 4202496 2183 0 0 0 179057 736 0 0 25 0 1 0 35860142 18276352 2036 1992294400 134512640 137138936 4289087056 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/2587/statm: 4462 2036 191 642 0 3818 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 17848

Child status: 0
Real time (s): 1798.47
CPU time (s): 1798
CPU user time (s): 1790.63
CPU system time (s): 7.37088
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 17900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.63
system time used= 7.37088
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2184
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= 1
involuntary context switches= 3020

runsolver used 2.81857 second user time and 8.64768 second system time

The end

Launcher Data 

Begin job on node004 at 2010-06-15 13:49:23
IDJOB=2657558
IDBENCH=2910
IDSOLVER=1163
FILE ID=node004/2657558-1276602563
PBS_JOBID= 11172268
Free space on /tmp= 62564 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657558-1276602563/watcher-2657558-1276602563 -o /tmp/evaluation-result-2657558-1276602563/solver-2657558-1276602563 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657558-1276602563.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca
RANDOM SEED=2002481991

node004.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.210
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.210
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1779240 kB
Buffers:         49752 kB
Cached:         136252 kB
SwapCached:       6516 kB
Active:          97952 kB
Inactive:       101760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1779240 kB
SwapTotal:     4192956 kB
SwapFree:      4140408 kB
Dirty:            4008 kB
Writeback:           0 kB
AnonPages:       11896 kB
Mapped:          13100 kB
Slab:            58172 kB
PageTables:       3976 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181636 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62560 MiB
End job on node004 at 2010-06-15 14:19:21