Trace number 3734738

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
PB07: bsolo 3.0.17OPT0 1198.48 1198.67

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_3.opb
MD5SUM455599f2e36aed56b051b7169c43fa6c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark305.689
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables120
Total number of constraints10
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 constraints10
Minimum length of a constraint55
Maximum length of a constraint56
Number of terms in the objective function 80
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 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1162
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3997
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.01	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.01	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.01	c type "bsolo -h" for help
0.00/0.01	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.01	c Memory Limit set to 15500 MB
0.00/0.01	c Instance file HOME/instance-3734738-1338700850.opb
0.00/0.01	c File size is 5435 bytes.
0.00/0.01	c Highest Coefficient sum: 3997
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.001 s
0.00/0.01	c Var: 120 Constr: 10 0/0/10 Lit: 554 Watch. Lit: 164
0.00/0.01	c Obj. Vars: 80 (66.6667 % of total variables)
0.00/0.01	c Pre-processing Time: 0.001 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    120       10      554   55      164    1108      0      0 0.00
0.00/0.01	c Switching off LPR mode.
0.00/0.01	o 924	0.002
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    120       11      634   57      414    1268      1      0 0.00
0.00/0.01	o 633	0.004
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       57    120       69     3666   53      590    1268     59  14250 0.00
0.00/0.01	o 630	0.004
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       58    120       71     3799   53      652    1268     61  14500 0.00
0.00/0.01	o 628	0.005
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       61    120       75     4055   54      728    1268     65  12200 0.01
0.00/0.02	o 624	0.007
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      100    120      115     5893   51      874    1268    105  14285 0.01
0.00/0.02	o 622	0.008
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      104    120      120     6211   51      952    1268    110  13000 0.01
0.00/0.02	o 620	0.009
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      114    120      131     6866   52     1047    1268    121  12666 0.01
0.00/0.02	o 618	0.009
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      122    120      140     7387   52     1133    1268    130  13555 0.01
0.00/0.02	o 616	0.012
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      153    120      172     9294   54     1307    1268    162  12750 0.01
0.00/0.02	o 246	0.012
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      153    120      173     9374   54     1226    1268    163  12750 0.01
0.00/0.02	o 244	0.012
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      154    120      175     9497   54     1283    1268    165  12833 0.01
0.00/0.02	o 239	0.013
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      166    120      188    10024   53     1290    1268    178  12769 0.01
0.00/0.03	o 192	0.017
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      238    120      261    12457   47     1450    1268    251  14000 0.02
0.00/0.03	o 178	0.021
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      305    120      329    14652   44     1621    1268    319  14523 0.02
0.00/0.03	o 176	0.021
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      309    120      334    14871   44     1689    1268    324  14714 0.02
0.00/0.03	o 174	0.023
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      324    120      350    15672   44     1781    1268    340  14086 0.02
0.00/0.05	c      425    120      451    19388   42     1991    1395    441  14655 0.03
0.00/0.05	o 161	0.04
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      635    120      662    24735   37     2485    1268    652  15875 0.04
0.00/0.05	o 143	0.046
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      712    120      740    27097   36     2685    1268    730  15478 0.05
0.00/0.06	o 141	0.047
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      719    120      748    27610   36     2779    1268    738  15297 0.05
0.00/0.06	o 139	0.048
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c      737    120      767    28600   37     2870    1268    757  15354 0.05
0.00/0.07	c      837    120      867    32595   37     3149    1395    857  14431 0.06
0.00/0.07	o 138	0.062
0.00/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.08	c      887    120      918    34419   37     3280    1268    908  14306 0.06
0.00/0.08	o 136	0.068
0.07/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.07/0.08	c      955    120      987    37322   37     3481    1268    977  14044 0.07
0.07/0.08	o 134	0.072
0.07/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.07/0.08	c      991    120     1024    39163   38     3634    1268   1014  13763 0.07
0.07/0.08	o 130	0.072
0.07/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.07/0.09	c      992    120     1026    39306   38     3716    1268   1016  13777 0.07
0.07/0.09	o 128	0.08
0.08/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.10	c     1070    120     1105    42054   38     3979    1268   1095  13375 0.08
0.08/0.10	c     1170    113     1205    44831   37     4177    1395   1195  13146 0.09
0.08/0.10	o 123	0.089
0.08/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.11	c     1176    113     1212    45125   37     4239    1254   1202  13213 0.09
0.08/0.11	c     1276    113      648    23330   36     1688    1380    638  12633 0.10
0.08/0.11	o 103	0.105
0.08/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.12	c     1339    113      712    25583   35     1889    1254    702  12752 0.10
0.08/0.12	o 86	0.107
0.08/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.12	c     1365    113      739    26524   35     2014    1254    729  12757 0.11
0.08/0.12	o 84	0.107
0.08/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.12	c     1369    113      744    26788   36     2096    1254    734  12794 0.11
0.08/0.12	o 82	0.107
0.08/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.12	c     1370    113      746    26904   36     2173    1254    736  12803 0.11
0.08/0.12	o 78	0.107
0.08/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.13	c     1371    113      748    27037   36     2248    1254    738  12694 0.11
0.08/0.13	c     1471    113      848    29703   35     2449    1380    838  13017 0.11
0.08/0.13	o 67	0.126
0.08/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.13	c     1674    112     1052    37127   35     2927    1252   1042  13285 0.13
0.08/0.13	o 65	0.126
0.08/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.15	c     1676    112     1055    37295   35     3003    1252   1045  13301 0.13
0.08/0.15	c     1778    112     1157    40143   34     3189    1378   1147  13368 0.13
0.08/0.15	o 56	0.14
0.08/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.16	c     1868    112     1248    42716   34     3462    1252   1238  13342 0.14
0.08/0.16	c     1968    106      694    22822   32     1779    1378    684  13387 0.15
0.08/0.16	o 55	0.15
0.08/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.17	c     2010    103      737    24175   32     1930    1234    727  13399 0.15
0.08/0.17	c     2110    101      837    26973   32     2122    1358    827  13612 0.15
0.08/0.17	o 49	0.159
0.08/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.17	c     2178    101      906    28917   31     2325    1230    896  13698 0.16
0.08/0.17	o 47	0.161
0.08/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.17	c     2207    101      936    29919   31     2447    1230    926  13708 0.16
0.08/0.17	o 45	0.161
0.08/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.17	c     2214    101      944    30289   32     2521    1230    934  13751 0.16
0.08/0.17	o 32	0.166
0.08/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.17	c     2282    100     1013    32445   32     2709    1228   1003  13746 0.17
0.08/0.17	o 28	0.166
0.08/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.18	c     2283    100     1015    32540   32     2771    1228   1005  13753 0.17
0.08/0.18	o 26	0.166
0.18/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.18/0.24	c     2287     99     1020    32755   32     2836    1226   1010  13777 0.17
0.18/0.24	c     2387     90     1120    35536   31     3022    1349   1110  13797 0.17
0.18/0.24	c     2637     90     1370    43169   31     3526    1484   1360  13952 0.19
0.18/0.24	c     3112     90     1075    32196   29     2517    1633   1065  14145 0.22
0.18/0.24	o 24	0.235
0.38/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.40	c     3359     90     1323    39604   29     3060    1208   1313  14293 0.23
0.38/0.40	c     3460     90      746    21622   28     1844    1329    736  14356 0.24
0.38/0.40	c     3710     90      996    28907   29     2348    1462    986  14606 0.25
0.38/0.40	c     4186     90     1472    42781   29     3299    1609   1462  14687 0.28
0.38/0.40	c     5000     90     1459    42376   29     3271    1770   1449  14577 0.34
0.38/0.40	o 22	0.396
0.38/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.44	c     5730     90     1278    37034   28     2965    1208   1268  14469 0.40
0.38/0.44	c     5830     90      745    20899   28     1846    1329    735  14502 0.40
0.38/0.44	c     6080     90      995    28162   28     2351    1462    985  14580 0.42
0.38/0.44	o 20	0.428
0.38/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.38/0.44	c     6270     90     1186    33639   28     2781    1208   1176  14649 0.43
0.38/0.44	o 18	0.428
0.78/0.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.78/0.89	c     6271     90     1188    33719   28     2833    1208   1178  14651 0.43
0.78/0.89	c     6371     90      657    18314   27     1669    1329    647  14645 0.43
0.78/0.89	c     6621     90      907    25751   28     2166    1462    897  14812 0.45
0.78/0.89	c     7096     90     1382    39356   28     3123    1609   1372  14938 0.47
0.78/0.89	c     7909     90     1374    38790   28     3103    1770   1364  15007 0.53
0.78/0.89	c     9229     90     1779    50504   28     3916    1948   1769  14885 0.62
0.78/0.89	c    11310     90     1859    53808   28     4079    2143   1849  14881 0.76
0.78/0.89	o 17	0.877
2.28/2.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.28/2.36	c    12968     90     1315    38018   28     3037    1208   1305  14769 0.88
2.28/2.36	c    13068     90      745    21023   28     1844    1329    735  14766 0.89
2.28/2.36	c    13318     90      995    28401   28     2343    1462    985  14781 0.90
2.28/2.36	c    13793     90     1470    42624   28     3297    1609   1460  14751 0.94
2.28/2.36	c    14606     90     1461    42388   29     3284    1770   1451  14753 0.99
2.28/2.36	c    15926     90      964    27552   28     2285    1948    954  14691 1.08
2.28/2.36	c    18008     90     1041    29772   28     2442    2143   1031  14581 1.24
2.28/2.36	c    21232     90     2083    61117   29     4516    2358   2073  14221 1.49
2.28/2.36	c    26168     90     2210    64875   29     4781    2594   2200  13823 1.89
2.28/2.36	o 16	2.348
2.38/2.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.38/2.49	c    31659     90     2402    70827   29     5215    1208   2392  13483 2.35
2.38/2.49	c    31759     82      745    21123   28     1840    1329    735  13462 2.36
2.38/2.49	c    32010     81      996    28572   28     2340    1462    986  13477 2.38
2.38/2.49	c    32485     80     1471    42462   28     3287    1609   1461  13512 2.40
2.38/2.49	o 14	2.457
2.78/2.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.78/2.87	c    33291     80     1445    41767   28     3275    1188   1435  13549 2.46
2.78/2.87	c    33393     80      747    21145   28     1826    1307    737  13546 2.46
2.78/2.87	c    33643     80      997    28726   28     2316    1438    987  13560 2.48
2.78/2.87	c    34118     80     1472    42622   28     3275    1582   1462  13582 2.51
2.78/2.87	c    34931     80     1466    42471   28     3265    1741   1456  13618 2.56
2.78/2.87	c    36251     80     1015    29377   28     2367    1916   1005  13633 2.66
2.78/2.87	c    38332     80     1126    33410   29     2587    2108   1116  13636 2.81
2.78/2.87	o 10	2.861
10.58/10.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.58/10.69	c    39033     80     1828    54142   29     4026    1188   1818  13643 2.86
10.58/10.69	c    39134     80      746    20889   28     1825    1307    736  13635 2.87
10.58/10.69	c    39385     80      997    28289   28     2330    1438    987  13642 2.89
10.58/10.69	c    39860     80     1472    42141   28     3278    1582   1462  13664 2.92
10.58/10.69	c    40673     80     1469    41476   28     3275    1741   1459  13667 2.98
10.58/10.69	c    41993     80      994    28007   28     2320    1916    984  13691 3.07
10.58/10.69	c    44074     80     1115    32212   28     2558    2108   1105  13666 3.23
10.58/10.69	c    47297     80     1113    31446   28     2560    2319   1103  13669 3.46
10.58/10.69	c    52233     80     1322    38624   29     2973    2551   1312  13577 3.85
10.58/10.69	c    59739     80     2337    66618   28     5009    2807   2327  13421 4.45
10.58/10.69	c    71100     80     2285    64247   28     4883    3088   2275  13161 5.40
10.58/10.69	c    88246     80     2182    62167   28     4694    3397   2172  12704 6.95
10.58/10.69	c   114065     80     2157    63319   29     4640    3737   2147  12008 9.50
10.58/10.69	o 9	10.685
21.98/22.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.98/22.04	c   126196     80     2926    83763   28     6228    1188   2916  11810 10.69
21.98/22.04	c   126296     80      745    20256   27     1823    1307    735  11806 10.70
21.98/22.04	c   126546     80      995    27347   27     2322    1438    985  11813 10.71
21.98/22.04	c   127021     80     1470    41188   28     3263    1582   1460  11824 10.74
21.98/22.04	c   127836     80     1475    41565   28     3281    1741   1465  11841 10.80
21.98/22.04	c   129156     80     1004    28421   28     2342    1916    994  11872 10.88
21.98/22.04	c   131237     80     1121    32284   28     2571    2108   1111  11904 11.02
21.98/22.04	c   134461     80     1116    31507   28     2566    2319   1106  11936 11.27
21.98/22.04	c   139397     80     1313    38069   28     2957    2551   1303  11967 11.65
21.98/22.04	c   146903     80     2318    67649   29     4973    2807   2308  12012 12.23
21.98/22.04	c   158264     80     2241    65563   29     4812    3088   2231  11964 13.23
21.98/22.04	c   175409     80     2125    62568   29     4584    3397   2115  11831 14.83
21.98/22.04	c   201229     80     2093    61120   29     4519    3737   2083  11688 17.22
21.98/22.04	c   240061     80     3074    92460   30     6478    4111   3064  11407 21.05
21.98/22.04	o 7	22.025
34.18/34.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
34.18/34.23	c   249432     80     4114   122803   29     8602    1188   4104  11324 22.02
34.18/34.23	c   249532     76      745    21011   28     1814    1307    735  11321 22.04
34.18/34.23	c   249783     73      996    28095   28     2312    1438    986  11326 22.05
34.18/34.23	c   250258     71     1471    41682   28     3259    1582   1461  11333 22.08
34.18/34.23	c   251071     71     1473    41671   28     3262    1741   1463  11343 22.13
34.18/34.23	c   252392     70     1012    28080   27     2336    1916   1002  11358 22.22
34.18/34.23	c   254473     70     1130    32202   28     2576    2108   1120  11372 22.38
34.18/34.23	c   257696     70     1115    31854   28     2546    2319   1105  11390 22.62
34.18/34.23	c   262632     70     1317    36533   27     2949    2551   1307  11402 23.03
34.18/34.23	c   270138     70     2325    68463   29     4965    2807   2315  11421 23.65
34.18/34.23	c   281500     70     2263    64956   28     4842    3088   2253  11417 24.66
34.18/34.23	c   298644     70     2162    63086   29     4640    3397   2152  11357 26.30
34.18/34.23	c   324464     70     2153    61428   28     4620    3737   2143  11235 28.88
34.18/34.23	c   363297     70     3133    92496   29     6586    4111   3123  11035 32.92
34.18/34.23	o 6	34.218
42.08/42.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
42.08/42.19	c   374976     70     2320    67153   28     4980    1168   2310  10958 34.22
42.08/42.19	c   375076     70      745    20258   27     1783    1285    735  10958 34.23
42.08/42.19	c   375326     70      995    27074   27     2294    1414    985  10962 34.24
42.08/42.19	c   375801     70     1470    40707   27     3246    1556   1460  10967 34.27
42.08/42.19	c   376614     70     1479    41788   28     3256    1712   1469  10975 34.31
42.08/42.19	c   377934     70     1041    28815   27     2384    1884   1031  10982 34.41
42.08/42.19	c   380015     70     1188    33706   28     2683    2073   1178  10995 34.56
42.08/42.19	c   383238     70     1224    34086   27     2750    2281   1214  11013 34.80
42.08/42.19	c   388174     70     1509    43040   28     3324    2510   1499  11031 35.19
42.08/42.19	c   395680     70     1337    38636   28     2972    2762   1327  11059 35.78
42.08/42.19	c   407042     70     1474    42402   28     3256    3039   1464  11081 36.73
42.08/42.19	c   424186     70     1639    47391   28     3581    3343   1629  11092 38.24
42.08/42.19	c   450005     70     2024    57984   28     4353    3678   2014  11073 40.64
42.08/42.19	o 5	42.175
403.72/403.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
403.72/403.81	c   465976     70     3081    89118   28     6498    1168   3071  11048 42.17
403.72/403.81	c   466076     70      745    20613   27     1799    1285    735  11047 42.19
403.72/403.81	c   466327     70      996    27841   27     2302    1414    986  11049 42.20
403.72/403.81	c   466802     70     1471    41542   28     3244    1556   1461  11052 42.23
403.72/403.81	c   467616     70     1480    41811   28     3264    1712   1470  11057 42.29
403.72/403.81	c   468937     70     1046    29296   28     2398    1884   1036  11067 42.37
403.72/403.81	c   471018     70     1193    33789   28     2686    2073   1183  11077 42.52
403.72/403.81	c   474241     70     1225    34189   27     2757    2281   1215  11085 42.78
403.72/403.81	c   479177     70     1511    43010   28     3321    2510   1501  11097 43.18
403.72/403.81	c   486683     70     1347    38339   28     3000    2762   1337  11117 43.78
403.72/403.81	c   498044     70     1467    41502   28     3239    3039   1457  11142 44.70
403.72/403.81	c   515189     70     1654    47761   28     3619    3343   1644  11143 46.23
403.72/403.81	c   541009     70     2038    58950   28     4384    3678   2028  11122 48.64
403.72/403.81	c   579841     70     3604   101142   28     7512    4046   3594  11067 52.39
403.72/403.81	c   638193     70     2592    74687   28     5484    4451   2582  10862 58.75
403.72/403.81	c   725827     70     2458    70494   28     5219    4897   2448  10609 68.41
403.72/403.81	c   857380     70     2978    86036   28     6266    5387   2968  10136 84.58
403.72/403.81	c  1054812     70     4757   135946   28     9815    5926   4747   9612 109.74
403.72/403.81	c  1351064     70     5316   156951   29    10935    6519   5306   9064 149.05
403.72/403.81	c  1795546     70     6550   194174   29    13394    7171   6540   8490 211.47
403.72/403.81	c  2462373     70     5807   172771   29    11922    7889   5797   7944 309.95
403.72/403.81	o 1	403.74
1198.40/1198.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1198.40/1198.67	c  3058450     70     6761   201360   29    13858    1168   6751   7575 403.74
1198.40/1198.67	c  3058551     60      746    20900   28     1781    1285    736   7574 403.77
1198.40/1198.67	c  3058801     49      996    27877   27     2257    1414    986   7575 403.79
1198.40/1198.67	c  3059277     44     1472    41690   28     3198    1556   1462   7575 403.82
1198.40/1198.67	c  3060090     40     1483    41328   27     3208    1712   1473   7576 403.87
1198.40/1198.67	c  3061411     40     1047    28742   27     2344    1884   1037   7578 403.96
1198.40/1198.67	c  3063492     40     1199    32752   27     2649    2073   1189   7581 404.10
1198.40/1198.67	c  3066715     40     1246    33886   27     2739    2281   1236   7584 404.33
1198.40/1198.67	c  3071652     40     1523    42723   28     3289    2510   1513   7589 404.72
1198.40/1198.67	c  3079159     40     1357    37269   27     2959    2762   1347   7597 405.30
1198.40/1198.67	c  3090520     40     1476    40441   27     3194    3039   1466   7607 406.24
1198.40/1198.67	c  3107665     40     1634    45807   28     3513    3343   1624   7623 407.64
1198.40/1198.67	c  3133484     40     2017    56426   27     4279    3678   2007   7643 409.97
1198.40/1198.67	c  3172317     40     3622   103120   28     7493    4046   3612   7668 413.70
1198.40/1198.67	c  3230669     40     2601    75426   28     5450    4451   2591   7706 419.23
1198.40/1198.67	c  3318301     40     2526    71742   28     5290    4897   2516   7745 428.39
1198.40/1198.67	c  3449856     40     3112    87096   27     6469    5387   3102   7785 443.14
1198.40/1198.67	c  3647288     40     4876   140923   28     9993    5926   4866   7804 467.32
1198.40/1198.67	c  3943540     40     5362   156346   29    10964    6519   5352   7829 503.66
1198.40/1198.67	c  4388023     40     3412    99631   29     7071    7171   3402   7769 564.75
1198.40/1198.67	c  5054850     40     6260   181752   29    12768    7889   6250   7694 656.91
1198.40/1198.67	c  6055197     40     6777   197247   29    13804    8678   6767   7468 810.73
1198.40/1198.67	c  7555821     40     6670   194025   29    13587    9546   6660   7164 1054.61
1198.40/1198.67	o 0	1198.48
1198.40/1198.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1198.40/1198.67	c  8404015     40     5812   170612   29    11871    1108   5802   7012 1198.48
1198.40/1198.67	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 
1198.40/1198.67	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1198.40/1198.67	c  187  8404015   7986  8418495     5812   170612   5802   7012 1198.48
1198.40/1198.67	c Objective: 0
1198.40/1198.67	s OPTIMUM FOUND
1198.40/1198.67	c Total time: 1198.48 s

Verifier Data 

OK	0

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-3734738-1338700850/watcher-3734738-1338700850 -o /tmp/evaluation-result-3734738-1338700850/solver-3734738-1338700850 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3734738-1338700850.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 11882
/proc/meminfo: memFree=27256768/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/11882/stat : 11882 (runsolver) D 11880 11882 9030 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 336211087 12095488 50 33554432000 4194304 5436572 140735997838896 140735997835192 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/11882/statm: 2953 50 31 304 0 2645 0

[startup+0.083155 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 11882
/proc/meminfo: memFree=27256768/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=5212 CPUtime=0.07 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 631 0 0 0 7 0 0 0 20 0 1 0 336211087 5337088 566 33554432000 134512640 135840783 4293590976 4293590336 134551347 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 1303 566 350 325 0 239 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5212

[startup+0.100212 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 11882
/proc/meminfo: memFree=27256768/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=5340 CPUtime=0.08 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 657 0 0 0 8 0 0 0 20 0 1 0 336211087 5468160 592 33554432000 134512640 135840783 4293590976 4293590336 134550887 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 1335 592 350 325 0 271 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5340

[startup+0.30018 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 11882
/proc/meminfo: memFree=27256768/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=5468 CPUtime=0.28 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 678 0 0 0 28 0 0 0 20 0 1 0 336211087 5599232 613 33554432000 134512640 135840783 4293590976 4293590336 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 1367 613 350 325 0 303 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5468

[startup+0.700179 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 11882
/proc/meminfo: memFree=27256768/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=5600 CPUtime=0.68 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 715 0 0 0 68 0 0 0 20 0 1 0 336211087 5734400 650 33554432000 134512640 135840783 4293590976 4293589472 2171343 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 1400 650 350 325 0 336 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 5600

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.05 3/178 11883
/proc/meminfo: memFree=27249912/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=5728 CPUtime=1.48 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 743 0 0 0 148 0 0 0 20 0 1 0 336211087 5865472 678 33554432000 134512640 135840783 4293590976 4293590288 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 1432 678 350 325 0 368 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 5728

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.04 3/178 11883
/proc/meminfo: memFree=27250720/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=5964 CPUtime=3.08 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 803 0 0 0 308 0 0 0 20 0 1 0 336211087 6107136 738 33554432000 134512640 135840783 4293590976 4293590336 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 1491 738 350 325 0 427 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 5964

[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.04 3/178 11883
/proc/meminfo: memFree=27253948/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=6096 CPUtime=6.28 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 861 0 0 0 628 0 0 0 20 0 1 0 336211087 6242304 796 33554432000 134512640 135840783 4293590976 4293590336 134550777 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 1524 796 350 325 0 460 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 6096

[startup+12.7001 s]
/proc/loadavg: 2.00 2.00 2.04 3/176 11883
/proc/meminfo: memFree=27255252/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=6484 CPUtime=12.68 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 944 0 0 0 1268 0 0 0 20 0 1 0 336211087 6639616 879 33554432000 134512640 135840783 4293590976 4293590336 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 1621 879 350 325 0 557 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 6484

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 11884
/proc/meminfo: memFree=27246488/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=6748 CPUtime=25.48 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 1001 0 0 0 2548 0 0 0 20 0 1 0 336211087 6909952 936 33554432000 134512640 135840783 4293590976 4293590336 134551368 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 1687 936 350 325 0 623 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 6748

[startup+51.1001 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 11884
/proc/meminfo: memFree=27247528/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=6744 CPUtime=51.07 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 1014 0 0 0 5107 0 0 0 20 0 1 0 336211087 6905856 949 33554432000 134512640 135840783 4293590976 4293590336 134551058 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 1686 949 350 325 0 622 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 6744

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 11884
/proc/meminfo: memFree=27256728/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=7356 CPUtime=102.27 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 1171 0 0 0 10227 0 0 0 20 0 1 0 336211087 7532544 1106 33554432000 134512640 135840783 4293590976 4293590400 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 1839 1106 350 325 0 775 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 7356

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 11884
/proc/meminfo: memFree=27251816/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=7896 CPUtime=162.26 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 1339 0 0 0 16226 0 0 0 20 0 1 0 336211087 8085504 1243 33554432000 134512640 135840783 4293590976 4293590336 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 1974 1243 350 325 0 910 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 7896

[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.03 3/177 11884
/proc/meminfo: memFree=27250308/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=8332 CPUtime=222.25 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 1533 0 0 0 22225 0 0 0 20 0 1 0 336211087 8531968 1337 33554432000 134512640 135840783 4293590976 4293590336 134551116 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2083 1337 350 325 0 1019 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 8332

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.02 3/177 11884
/proc/meminfo: memFree=27246872/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=8328 CPUtime=282.24 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 1551 0 0 0 28224 0 0 0 20 0 1 0 336211087 8527872 1354 33554432000 134512640 135840783 4293590976 4293590400 134546112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2082 1354 350 325 0 1018 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 8328

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 11885
/proc/meminfo: memFree=27248572/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=8640 CPUtime=342.23 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 1626 0 0 0 34223 0 0 0 20 0 1 0 336211087 8847360 1427 33554432000 134512640 135840783 4293590976 4293590288 134551365 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2160 1427 350 325 0 1096 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 8640

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.02 3/178 11886
/proc/meminfo: memFree=27255060/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=8656 CPUtime=402.22 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 1752 0 0 0 40222 0 0 0 20 0 1 0 336211087 8863744 1439 33554432000 134512640 135840783 4293590976 4293590288 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2164 1439 350 325 0 1100 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 8656

[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.01 3/177 11886
/proc/meminfo: memFree=27255416/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=8656 CPUtime=462.21 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 1752 0 0 0 46221 0 0 0 20 0 1 0 336211087 8863744 1439 33554432000 134512640 135840783 4293590976 4293590288 134550948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2164 1439 350 325 0 1100 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 8656

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.01 3/177 11886
/proc/meminfo: memFree=27244724/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=8656 CPUtime=522.2 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 1752 0 0 0 52220 0 0 0 20 0 1 0 336211087 8863744 1439 33554432000 134512640 135840783 4293590976 4293590288 134550878 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2164 1439 350 325 0 1100 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 8656

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11889
/proc/meminfo: memFree=27249424/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=8656 CPUtime=582.19 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 1752 0 0 0 58219 0 0 0 20 0 1 0 336211087 8863744 1439 33554432000 134512640 135840783 4293590976 4293590208 2174534 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2164 1439 350 325 0 1100 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 8656

[startup+642.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 11890
/proc/meminfo: memFree=27253000/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=8656 CPUtime=642.18 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 1752 0 0 0 64218 0 0 0 20 0 1 0 336211087 8863744 1439 33554432000 134512640 135840783 4293590976 4293590336 134551093 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2164 1439 350 325 0 1100 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 8656

[startup+702.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11890
/proc/meminfo: memFree=27245812/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=8664 CPUtime=702.17 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 1756 0 0 0 70217 0 0 0 20 0 1 0 336211087 8871936 1441 33554432000 134512640 135840783 4293590976 4293590336 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2166 1441 350 325 0 1102 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 8664

[startup+762.306 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 11890
/proc/meminfo: memFree=27250260/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=8824 CPUtime=762.16 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 1799 0 0 0 76216 0 0 0 20 0 1 0 336211087 9035776 1457 33554432000 134512640 135840783 4293590976 4293590288 134551315 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2206 1457 350 325 0 1142 0
Current children cumulated CPU time (s) 762.16
Current children cumulated vsize (KiB) 8824

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11890
/proc/meminfo: memFree=27245760/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=9076 CPUtime=822.15 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 1888 0 0 0 82215 0 0 0 20 0 1 0 336211087 9293824 1520 33554432000 134512640 135840783 4293590976 4293590280 7039161 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2269 1520 350 325 0 1205 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 9076

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11890
/proc/meminfo: memFree=27250664/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=9084 CPUtime=882.15 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 2035 0 0 0 88214 1 0 0 20 0 1 0 336211087 9302016 1546 33554432000 134512640 135840783 4293590976 4293590288 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2271 1546 350 325 0 1207 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 9084

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11891
/proc/meminfo: memFree=27249888/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=9092 CPUtime=942.14 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 2076 0 0 0 94213 1 0 0 20 0 1 0 336211087 9310208 1548 33554432000 134512640 135840783 4293590976 4293590336 134551000 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2273 1548 350 325 0 1209 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 9092

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11891
/proc/meminfo: memFree=27244836/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=9144 CPUtime=1002.13 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 2113 0 0 0 100212 1 0 0 20 0 1 0 336211087 9363456 1560 33554432000 134512640 135840783 4293590976 4293590208 1796863 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2286 1560 350 325 0 1222 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 9144

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11891
/proc/meminfo: memFree=27251672/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=9488 CPUtime=1062.12 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 2179 0 0 0 106211 1 0 0 20 0 1 0 336211087 9715712 1624 33554432000 134512640 135840783 4293590976 4293590272 134572687 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2372 1624 350 325 0 1308 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 9488

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11891
/proc/meminfo: memFree=27250488/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=9476 CPUtime=1122.11 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 2262 0 0 0 112210 1 0 0 20 0 1 0 336211087 9703424 1644 33554432000 134512640 135840783 4293590976 4293590336 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2369 1644 350 325 0 1305 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 9476

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11894
/proc/meminfo: memFree=27248080/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=9564 CPUtime=1182.1 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 2297 0 0 0 118209 1 0 0 20 0 1 0 336211087 9793536 1662 33554432000 134512640 135840783 4293590976 4293590336 134551324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2391 1662 350 325 0 1327 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 9564

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

[startup+1190.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11894
/proc/meminfo: memFree=27245260/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=9564 CPUtime=1190.1 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 2297 0 0 0 119009 1 0 0 20 0 1 0 336211087 9793536 1662 33554432000 134512640 135840783 4293590976 4293590328 7039153 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2391 1662 350 325 0 1327 0
Current children cumulated CPU time (s) 1190.1
Current children cumulated vsize (KiB) 9564

[startup+1193.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11894
/proc/meminfo: memFree=27247432/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=9564 CPUtime=1193.3 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 2297 0 0 0 119329 1 0 0 20 0 1 0 336211087 9793536 1662 33554432000 134512640 135840783 4293590976 4293590280 7039161 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2391 1662 350 325 0 1327 0
Current children cumulated CPU time (s) 1193.3
Current children cumulated vsize (KiB) 9564

[startup+1196.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11894
/proc/meminfo: memFree=27253264/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=9564 CPUtime=1196.5 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 2297 0 0 0 119649 1 0 0 20 0 1 0 336211087 9793536 1662 33554432000 134512640 135840783 4293590976 4293590336 134551359 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2391 1662 350 325 0 1327 0
Current children cumulated CPU time (s) 1196.5
Current children cumulated vsize (KiB) 9564

[startup+1197.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11894
/proc/meminfo: memFree=27253264/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=9564 CPUtime=1197.3 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 2297 0 0 0 119729 1 0 0 20 0 1 0 336211087 9793536 1662 33554432000 134512640 135840783 4293590976 4293590288 134551526 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2391 1662 350 325 0 1327 0
Current children cumulated CPU time (s) 1197.3
Current children cumulated vsize (KiB) 9564

[startup+1198.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11894
/proc/meminfo: memFree=27253264/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=9564 CPUtime=1198.1 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 2297 0 0 0 119809 1 0 0 20 0 1 0 336211087 9793536 1662 33554432000 134512640 135840783 4293590976 4293590336 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2391 1662 350 325 0 1327 0
Current children cumulated CPU time (s) 1198.1
Current children cumulated vsize (KiB) 9564

[startup+1198.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11894
/proc/meminfo: memFree=27253264/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=9564 CPUtime=1198.3 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 2297 0 0 0 119829 1 0 0 20 0 1 0 336211087 9793536 1662 33554432000 134512640 135840783 4293590976 4293590336 134551368 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2391 1662 350 325 0 1327 0
Current children cumulated CPU time (s) 1198.3
Current children cumulated vsize (KiB) 9564

[startup+1198.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11894
/proc/meminfo: memFree=27253264/32873648 swapFree=6860/6860
[pid=11882] ppid=11880 vsize=9564 CPUtime=1198.4 cores=0,2,4,6
/proc/11882/stat : 11882 (bsolo3.0.17) R 11880 11882 9030 0 -1 4202496 2297 0 0 0 119839 1 0 0 20 0 1 0 336211087 9793536 1662 33554432000 134512640 135840783 4293590976 4293590336 134550761 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/11882/statm: 2391 1662 350 325 0 1327 0
Current children cumulated CPU time (s) 1198.4
Current children cumulated vsize (KiB) 9564

Child status: 0
Real time (s): 1198.67
CPU time (s): 1198.48
CPU user time (s): 1198.47
CPU system time (s): 0.014997
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 9632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.47
system time used= 0.014997
maximum resident set size= 6680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2300
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= 13
involuntary context switches= 1246

runsolver used 2.46663 second user time and 5.98709 second system time

The end

Launcher Data 

Begin job on node116 at 2012-06-03 07:20:50
IDJOB=3734738
IDBENCH=2899
IDSOLVER=2318
FILE ID=node116/3734738-1338700850
RUNJOBID= node116-1338678620-9049
PBS_JOBID= 14636697
Free space on /tmp= 71020 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_3.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3734738-1338700850/watcher-3734738-1338700850 -o /tmp/evaluation-result-3734738-1338700850/solver-3734738-1338700850 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3734738-1338700850.opb            

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

MD5SUM BENCH= 455599f2e36aed56b051b7169c43fa6c
RANDOM SEED=145389298

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27256660 kB
Buffers:          546160 kB
Cached:          4081856 kB
SwapCached:         3028 kB
Active:          2267896 kB
Inactive:        2438136 kB
Active(anon):      66960 kB
Inactive(anon):     9236 kB
Active(file):    2200936 kB
Inactive(file):  2428900 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67103480 kB
Dirty:              6656 kB
Writeback:             4 kB
AnonPages:         78440 kB
Mapped:            13684 kB
Shmem:                68 kB
Slab:             773856 kB
SReclaimable:     218220 kB
SUnreclaim:       555636 kB
KernelStack:        1456 kB
PageTables:         4104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     209856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     51200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71016 MiB
End job on node116 at 2012-06-03 07:40:49