Trace number 2658129

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 ClOPT1 182.882 182.95

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_2.opb
MD5SUM031b0f629913e7cd5c934f00ec1a1885
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark113.9
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
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 constraints8
Minimum length of a constraint44
Maximum length of a constraint46
Number of terms in the objective function 64
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 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 808
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2934
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.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-2658129-1276613856.opb
0.00/0.00	c File size is 3562 bytes.
0.00/0.00	c Highest Coefficient sum: 2934
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 94 Constr: 8 0/0/8 Lit: 362 Watch. Lit: 102
0.00/0.00	c Obj. Vars: 64 (68.0851 % of total variables)
0.00/0.00	c Pre-processing Time: 0.001 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     94        8      362   45      108     724      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 863
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     94        9      426   47      299     852      1      0 0.00
0.00/0.00	o 851
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        5     94       15      714   47      364     852      7   2500 0.00
0.00/0.00	o 183
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       12     94       23     1060   46      420     852     15   6000 0.00
0.00/0.00	o 138
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       23     94       35     1306   37      478     852     27   7666 0.00
0.00/0.00	o 132
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       26     94       39     1447   37      542     852     31   6500 0.00
0.00/0.00	o 130
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       28     94       42     1586   37      601     852     34   7000 0.00
0.00/0.01	o 123
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       34     94       49     1853   37      668     852     41   6800 0.01
0.00/0.01	o 121
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       43     93       59     2116   35      750     850     51   7166 0.01
0.00/0.01	o 120
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       57     92       74     2505   33      832     848     66   8142 0.01
0.00/0.01	o 118
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       76     92       94     3071   32      932     848     86   7600 0.01
0.00/0.02	o 107
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      174     90      193     5043   26     1186     844    185   8700 0.02
0.00/0.02	o 91
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      177     90      197     5255   26     1253     844    189   8428 0.02
0.00/0.02	o 79
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      179     90      200     5362   26     1311     844    192   8523 0.02
0.00/0.02	o 75
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      182     90      204     5541   27     1376     844    196   8272 0.02
0.00/0.02	o 73
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      192     90      215     5941   27     1460     844    207   8347 0.02
0.09/0.11	c      292     90      315     7648   24     1663     929    307   9125 0.03
0.09/0.11	c      542     90      565    12004   21     2161    1022    557   9678 0.06
0.09/0.11	o 70
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c     1003     90     1027    20217   19     3139     844   1019   9644 0.10
0.09/0.11	o 68
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c     1010     90      443     7901   17     1228     844    435   9439 0.11
0.09/0.11	o 66
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c     1016     90      450     8219   18     1300     844    442   9407 0.11
0.09/0.19	c     1116     90      550    10130   18     1498     929    542   9538 0.12
0.09/0.19	c     1366     90      800    15284   19     1988    1022    792   9619 0.14
0.09/0.19	o 62
0.09/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.20	c     1780     89      688    13621   19     1716     842    680   9319 0.19
0.09/0.20	o 60
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c     1806     85      715    14198   19     1820     834    707   9309 0.19
0.19/0.21	c     1906     85      815    16271   19     2016     918    807   9297 0.20
0.19/0.21	o 53
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c     1924     85      834    16668   19     2112     834    826   9294 0.21
0.19/0.21	o 47
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c     1935     85      846    17091   20     2189     834    838   9302 0.21
0.19/0.21	o 42
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c     1952     85      435     8561   19     1151     834    427   9251 0.21
0.19/0.21	o 40
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c     1964     85      448     8880   19     1230     834    440   9220 0.21
0.19/0.26	c     2064     82      548    10730   19     1418     918    540   9297 0.22
0.19/0.26	c     2314     80      798    15443   19     1920    1010    790   9444 0.24
0.19/0.26	o 39
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c     2415     80      900    17494   19     2170     824    892   9470 0.26
0.19/0.26	o 31
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c     2424     80      445     8267   18     1202     824    437   9395 0.26
0.19/0.27	o 30
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c     2521     72      543    10238   18     1430     808    535   9441 0.27
0.19/0.28	o 24
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c     2608     72      631    12190   19     1647     808    623   9449 0.28
0.19/0.29	c     2708     71      731    14302   19     1846     889    723   9468 0.29
0.19/0.29	o 20
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c     2727     71      751    14749   19     1928     806    743   9468 0.29
0.29/0.30	c     2827     70      441     8843   20     1126     887    433   9454 0.30
0.29/0.30	o 17
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c     2843     70      458     9213   20     1198     804    450   9476 0.30
0.29/0.30	o 14
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c     2855     70      471     9620   20     1263     804    463   9453 0.30
0.29/0.30	o 12
0.48/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.48/0.56	c     2856     70      473     9701   20     1305     804    465   9456 0.30
0.48/0.56	c     2957     64      574    11494   20     1499     885    566   9508 0.31
0.48/0.56	c     3207     62      824    16507   20     1996     974    816   9601 0.33
0.48/0.56	c     3682     62      800    15517   19     1830    1072    792   9740 0.38
0.48/0.56	c     4497     62     1065    21447   20     2360    1180   1057   9733 0.46
0.48/0.56	o 8
0.69/0.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.78	c     5389     62      753    15186   20     1771     788    745   9675 0.56
0.69/0.78	c     5490     59      449     8852   19     1117     867    441   9665 0.57
0.69/0.78	c     5740     56      699    13949   19     1607     954    691   9728 0.59
0.69/0.78	c     6215     54      686    13530   19     1583    1050    678   9772 0.64
0.69/0.78	c     7029     54      960    19530   20     2132    1156    952   9830 0.71
0.69/0.78	o 5
2.98/3.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.98/3.03	c     7619     54      958    19788   20     2150     772    950   9767 0.78
2.98/3.03	c     7719     54      535    10795   20     1272     850    527   9770 0.79
2.98/3.03	c     7970     54      786    16002   20     1775     936    778   9803 0.81
2.98/3.03	c     8446     54      782    15823   20     1767    1030    774   9798 0.86
2.98/3.03	c     9259     54     1066    21985   20     2336    1134   1058   9766 0.95
2.98/3.03	c    10580     54      655    13452   20     1512    1248    647   9662 1.09
2.98/3.03	c    12661     54      827    17242   20     1855    1373    819   9562 1.32
2.98/3.03	c    15885     54     1261    26393   20     2725    1511   1253   9399 1.69
2.98/3.03	c    20822     54      805    16708   20     1812    1663    797   9144 2.28
2.98/3.03	o 4
6.18/6.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.18/6.28	c    27129     54     1186    24452   20     2597     772   1178   8959 3.03
6.18/6.28	c    27229     52      535    10716   20     1268     850    527   8956 3.04
6.18/6.28	c    27479     51      785    15969   20     1768     936    777   8965 3.06
6.18/6.28	c    27954     50      779    15393   19     1754    1030    771   8973 3.12
6.18/6.28	c    28767     48     1057    20850   19     2305    1134   1049   8992 3.20
6.18/6.28	c    30087     48      643    12524   19     1475    1248    635   9010 3.34
6.18/6.28	c    32169     47      819    16372   19     1826    1373    811   9026 3.56
6.18/6.28	c    35392     46     1246    25632   20     2679    1511   1238   9037 3.92
6.18/6.28	c    40328     46     1557    32154   20     3300    1663   1549   8973 4.49
6.18/6.28	c    47836     46     1436    29249   20     3059    1830   1428   8811 5.43
6.18/6.28	o 3
38.16/38.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.16/38.26	c    54771     46     1838    37901   20     3881     756   1830   8722 6.28
38.16/38.26	c    54871     46      535    10221   19     1248     832    527   8717 6.29
38.16/38.26	c    55121     46      785    15411   19     1752     916    777   8728 6.32
38.16/38.26	c    55596     46      786    14539   18     1752    1008    778   8742 6.36
38.16/38.26	c    56409     46      571    10719   18     1322    1109    563   8753 6.44
38.16/38.26	c    57729     46      758    14863   19     1698    1220    750   8768 6.58
38.16/38.26	c    59811     46      964    19669   20     2107    1343    956   8784 6.81
38.16/38.26	c    63035     46      777    15180   19     1738    1478    769   8780 7.18
38.16/38.26	c    67974     46     1195    24839   20     2571    1626   1187   8748 7.77
38.16/38.26	c    75480     46     1247    25311   20     2674    1789   1239   8683 8.69
38.16/38.26	c    86841     46     1701    35159   20     3582    1968   1693   8551 10.15
38.16/38.26	c   103988     46     1849    37590   20     3877    2165   1841   8411 12.36
38.16/38.26	c   129808     46     1312    27055   20     2804    2382   1304   8129 15.97
38.16/38.26	c   168640     46     1541    31401   20     3262    2621   1533   7746 21.77
38.16/38.26	c   226992     46     1503    30736   20     3186    2884   1495   7364 30.82
38.16/38.26	o 2
53.46/53.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
53.46/53.59	c   273426     46     2737    54776   20     5670     756   2729   7150 38.24
53.46/53.59	c   273526     45      535    10504   19     1248     832    527   7149 38.26
53.46/53.59	c   273776     44      785    15667   19     1742     916    777   7151 38.28
53.46/53.59	c   274252     44      788    15525   19     1751    1008    780   7155 38.33
53.46/53.59	c   275065     44      563    11071   19     1304    1109    555   7160 38.42
53.46/53.59	c   276385     44      753    14692   19     1686    1220    745   7168 38.56
53.46/53.59	c   278466     44      969    18895   19     2111    1343    961   7178 38.79
53.46/53.59	c   281692     44      770    14923   19     1713    1478    762   7199 39.12
53.46/53.59	c   286630     43     1191    24221   20     2556    1626   1183   7223 39.68
53.46/53.59	c   294136     42     1230    24677   20     2633    1789   1222   7248 40.58
53.46/53.59	c   305497     42     1671    33599   20     3514    1968   1663   7277 41.98
53.46/53.59	c   322642     41     1798    36504   20     3767    2165   1790   7285 44.29
53.46/53.59	c   348462     40     1243    24649   19     2657    2382   1235   7286 47.82
53.46/53.59	c   387295     40     1445    29068   20     3057    2621   1437   7255 53.38
53.46/53.59	o 1
182.82/182.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.82/182.94	c   388616     40     1437    28611   19     3051     744   1429   7255 53.56
182.82/182.94	c   388716     39      535    10023   18     1232     819    527   7255 53.58
182.82/182.94	c   388966     39      785    15177   19     1730     901    777   7256 53.60
182.82/182.94	c   389441     39      799    15265   19     1758     992    791   7259 53.65
182.82/182.94	c   390255     39      603    11505   19     1368    1092    595   7263 53.73
182.82/182.94	c   391576     38      809    14943   18     1778    1202    801   7269 53.86
182.82/182.94	c   393658     38     1045    20804   19     2246    1323   1037   7278 54.09
182.82/182.94	c   396882     37      887    16902   19     1929    1456    879   7288 54.45
182.82/182.94	c   401818     37     1361    27555   20     2881    1602   1353   7305 55.00
182.82/182.94	c   409324     37     1512    30412   20     3184    1763   1504   7320 55.92
182.82/182.94	c   420685     37     1194    23660   19     2545    1940   1186   7333 57.37
182.82/182.94	c   437829     37     1580    32217   20     3317    2135   1572   7340 59.65
182.82/182.94	c   463649     37     1410    27860   19     2975    2349   1402   7325 63.29
182.82/182.94	c   502481     37     2147    42189   19     4449    2584   2139   7305 68.78
182.82/182.94	c   560833     36     1610    32290   20     3376    2843   1602   7218 77.69
182.82/182.94	c   648466     35     1574    30205   19     3298    3128   1566   7056 91.90
182.82/182.94	c   780019     35     1946    38568   19     4044    3441   1938   6864 113.62
182.82/182.94	c   977452     34     3232    62989   19     6616    3786   3224   6515 150.02
182.82/182.94	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 -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 x69 
182.82/182.94	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
182.82/182.94	c  116  1143467   2121  1148209     3332    51360   3324   6252 182.88
182.82/182.95	c Objective: 1
182.82/182.95	s OPTIMUM FOUND
182.82/182.95	c Total time: 182.88 s

Verifier Data 

OK	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2658129-1276613856/watcher-2658129-1276613856 -o /tmp/evaluation-result-2658129-1276613856/solver-2658129-1276613856 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2658129-1276613856.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.00 1.00 1.00 3/105 12876
/proc/meminfo: memFree=1799092/2059040 swapFree=4141204/4192956
[pid=12876] ppid=12874 vsize=26284 CPUtime=0
/proc/12876/stat : 12876 (bsolo_pb10) R 12874 12876 12351 0 -1 4202496 321 0 0 0 0 0 0 0 19 0 1 0 2677029 26914816 238 1992294400 134512640 137138936 4289475888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12876/statm: 6571 238 191 642 0 5927 0

[startup+0.0660421 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 12876
/proc/meminfo: memFree=1799092/2059040 swapFree=4141204/4192956
[pid=12876] ppid=12874 vsize=18728 CPUtime=0.06
/proc/12876/stat : 12876 (bsolo_pb10) R 12874 12876 12351 0 -1 4202496 379 0 0 0 6 0 0 0 19 0 1 0 2677029 19177472 296 1992294400 134512640 137138936 4289475888 18446744073709551615 134543145 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12876/statm: 4682 296 191 642 0 4038 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18728

[startup+0.101044 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 12876
/proc/meminfo: memFree=1799092/2059040 swapFree=4141204/4192956
[pid=12876] ppid=12874 vsize=18856 CPUtime=0.09
/proc/12876/stat : 12876 (bsolo_pb10) R 12874 12876 12351 0 -1 4202496 407 0 0 0 9 0 0 0 19 0 1 0 2677029 19308544 324 1992294400 134512640 137138936 4289475888 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12876/statm: 4714 324 191 642 0 4070 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18856

[startup+0.30107 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 12876
/proc/meminfo: memFree=1799092/2059040 swapFree=4141204/4192956
[pid=12876] ppid=12874 vsize=18860 CPUtime=0.29
/proc/12876/stat : 12876 (bsolo_pb10) R 12874 12876 12351 0 -1 4202496 416 0 0 0 29 0 0 0 20 0 1 0 2677029 19312640 333 1992294400 134512640 137138936 4289475888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12876/statm: 4715 333 191 642 0 4071 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18860

[startup+0.70112 s]
/proc/loadavg: 1.00 1.00 1.00 3/105 12876
/proc/meminfo: memFree=1799092/2059040 swapFree=4141204/4192956
[pid=12876] ppid=12874 vsize=18988 CPUtime=0.69
/proc/12876/stat : 12876 (bsolo_pb10) R 12874 12876 12351 0 -1 4202496 433 0 0 0 68 1 0 0 21 0 1 0 2677029 19443712 350 1992294400 134512640 137138936 4289475888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12876/statm: 4747 350 191 642 0 4103 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18988

[startup+1.50122 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12877
/proc/meminfo: memFree=1798340/2059040 swapFree=4141204/4192956
[pid=12876] ppid=12874 vsize=19116 CPUtime=1.48
/proc/12876/stat : 12876 (bsolo_pb10) R 12874 12876 12351 0 -1 4202496 456 0 0 0 147 1 0 0 23 0 1 0 2677029 19574784 373 1992294400 134512640 137138936 4289475888 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12876/statm: 4779 373 191 642 0 4135 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 19116

[startup+3.10042 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12877
/proc/meminfo: memFree=1797844/2059040 swapFree=4141204/4192956
[pid=12876] ppid=12874 vsize=19240 CPUtime=3.08
/proc/12876/stat : 12876 (bsolo_pb10) R 12874 12876 12351 0 -1 4202496 484 0 0 0 305 3 0 0 25 0 1 0 2677029 19701760 401 1992294400 134512640 137138936 4289475888 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12876/statm: 4810 401 191 642 0 4166 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19240

[startup+6.30082 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12877
/proc/meminfo: memFree=1797720/2059040 swapFree=4141204/4192956
[pid=12876] ppid=12874 vsize=19232 CPUtime=6.28
/proc/12876/stat : 12876 (bsolo_pb10) R 12874 12876 12351 0 -1 4202496 498 0 0 0 622 6 0 0 25 0 1 0 2677029 19693568 415 1992294400 134512640 137138936 4289475888 18446744073709551615 134618015 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12876/statm: 4808 415 191 642 0 4164 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19232

[startup+12.7006 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12877
/proc/meminfo: memFree=1797472/2059040 swapFree=4141204/4192956
[pid=12876] ppid=12874 vsize=19356 CPUtime=12.68
/proc/12876/stat : 12876 (bsolo_pb10) R 12874 12876 12351 0 -1 4202496 527 0 0 0 1254 14 0 0 25 0 1 0 2677029 19820544 444 1992294400 134512640 137138936 4289475888 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12876/statm: 4839 444 191 642 0 4195 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19356

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12877
/proc/meminfo: memFree=1797348/2059040 swapFree=4141204/4192956
[pid=12876] ppid=12874 vsize=19484 CPUtime=25.48
/proc/12876/stat : 12876 (bsolo_pb10) R 12874 12876 12351 0 -1 4202496 575 0 0 0 2525 23 0 0 25 0 1 0 2677029 19951616 492 1992294400 134512640 137138936 4289475888 18446744073709551615 135984570 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12876/statm: 4871 492 191 642 0 4227 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19484

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12877
/proc/meminfo: memFree=1797224/2059040 swapFree=4141204/4192956
[pid=12876] ppid=12874 vsize=19604 CPUtime=51.07
/proc/12876/stat : 12876 (bsolo_pb10) R 12874 12876 12351 0 -1 4202496 601 0 0 0 5062 45 0 0 25 0 1 0 2677029 20074496 518 1992294400 134512640 137138936 4289475888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12876/statm: 4901 518 191 642 0 4257 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19604

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12879
/proc/meminfo: memFree=1797100/2059040 swapFree=4141204/4192956
[pid=12876] ppid=12874 vsize=19736 CPUtime=102.25
/proc/12876/stat : 12876 (bsolo_pb10) R 12874 12876 12351 0 -1 4202496 622 0 0 0 10140 85 0 0 25 0 1 0 2677029 20209664 539 1992294400 134512640 137138936 4289475888 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12876/statm: 4934 539 191 642 0 4290 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 19736

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12881
/proc/meminfo: memFree=1796728/2059040 swapFree=4141204/4192956
[pid=12876] ppid=12874 vsize=19984 CPUtime=162.23
/proc/12876/stat : 12876 (bsolo_pb10) R 12874 12876 12351 0 -1 4202496 673 0 0 0 16099 124 0 0 25 0 1 0 2677029 20463616 590 1992294400 134512640 137138936 4289475888 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12876/statm: 4996 590 191 642 0 4352 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 19984

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

[startup+166.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12881
/proc/meminfo: memFree=1796728/2059040 swapFree=4141204/4192956
[pid=12876] ppid=12874 vsize=19984 CPUtime=166.23
/proc/12876/stat : 12876 (bsolo_pb10) R 12874 12876 12351 0 -1 4202496 673 0 0 0 16497 126 0 0 25 0 1 0 2677029 20463616 590 1992294400 134512640 137138936 4289475888 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12876/statm: 4996 590 191 642 0 4352 0
Current children cumulated CPU time (s) 166.23
Current children cumulated vsize (KiB) 19984

[startup+172.709 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12881
/proc/meminfo: memFree=1796728/2059040 swapFree=4141204/4192956
[pid=12876] ppid=12874 vsize=19984 CPUtime=172.64
/proc/12876/stat : 12876 (bsolo_pb10) R 12874 12876 12351 0 -1 4202496 673 0 0 0 17133 131 0 0 25 0 1 0 2677029 20463616 590 1992294400 134512640 137138936 4289475888 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12876/statm: 4996 590 191 642 0 4352 0
Current children cumulated CPU time (s) 172.64
Current children cumulated vsize (KiB) 19984

[startup+179.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12881
/proc/meminfo: memFree=1796728/2059040 swapFree=4141204/4192956
[pid=12876] ppid=12874 vsize=19980 CPUtime=179.03
/proc/12876/stat : 12876 (bsolo_pb10) R 12874 12876 12351 0 -1 4202496 673 0 0 0 17767 136 0 0 25 0 1 0 2677029 20459520 590 1992294400 134512640 137138936 4289475888 18446744073709551615 136296975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12876/statm: 4995 590 191 642 0 4351 0
Current children cumulated CPU time (s) 179.03
Current children cumulated vsize (KiB) 19980

[startup+180.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12881
/proc/meminfo: memFree=1796728/2059040 swapFree=4141204/4192956
[pid=12876] ppid=12874 vsize=19980 CPUtime=180.63
/proc/12876/stat : 12876 (bsolo_pb10) R 12874 12876 12351 0 -1 4202496 673 0 0 0 17926 137 0 0 25 0 1 0 2677029 20459520 590 1992294400 134512640 137138936 4289475888 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12876/statm: 4995 590 191 642 0 4351 0
Current children cumulated CPU time (s) 180.63
Current children cumulated vsize (KiB) 19980

[startup+182.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12881
/proc/meminfo: memFree=1796728/2059040 swapFree=4141204/4192956
[pid=12876] ppid=12874 vsize=19980 CPUtime=182.22
/proc/12876/stat : 12876 (bsolo_pb10) R 12874 12876 12351 0 -1 4202496 673 0 0 0 18085 137 0 0 25 0 1 0 2677029 20459520 590 1992294400 134512640 137138936 4289475888 18446744073709551615 134599686 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12876/statm: 4995 590 191 642 0 4351 0
Current children cumulated CPU time (s) 182.22
Current children cumulated vsize (KiB) 19980

[startup+182.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12881
/proc/meminfo: memFree=1796728/2059040 swapFree=4141204/4192956
[pid=12876] ppid=12874 vsize=19980 CPUtime=182.62
/proc/12876/stat : 12876 (bsolo_pb10) R 12874 12876 12351 0 -1 4202496 673 0 0 0 18125 137 0 0 25 0 1 0 2677029 20459520 590 1992294400 134512640 137138936 4289475888 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12876/statm: 4995 590 191 642 0 4351 0
Current children cumulated CPU time (s) 182.62
Current children cumulated vsize (KiB) 19980

[startup+182.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 12881
/proc/meminfo: memFree=1796728/2059040 swapFree=4141204/4192956
[pid=12876] ppid=12874 vsize=19980 CPUtime=182.82
/proc/12876/stat : 12876 (bsolo_pb10) R 12874 12876 12351 0 -1 4202496 673 0 0 0 18145 137 0 0 25 0 1 0 2677029 20459520 590 1992294400 134512640 137138936 4289475888 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12876/statm: 4995 590 191 642 0 4351 0
Current children cumulated CPU time (s) 182.82
Current children cumulated vsize (KiB) 19980

Child status: 0
Real time (s): 182.95
CPU time (s): 182.882
CPU user time (s): 181.502
CPU system time (s): 1.37979
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (KiB): 20000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 181.502
system time used= 1.37979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 674
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= 2
involuntary context switches= 356

runsolver used 0.290955 second user time and 0.886865 second system time

The end

Launcher Data 

Begin job on node054 at 2010-06-15 16:57:36
IDJOB=2658129
IDBENCH=2916
IDSOLVER=1163
FILE ID=node054/2658129-1276613856
PBS_JOBID= 11172277
Free space on /tmp= 62480 MiB

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

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

MD5SUM BENCH= 031b0f629913e7cd5c934f00ec1a1885
RANDOM SEED=283506495

node054.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.217
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.43
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.217
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.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1799496 kB
Buffers:         40308 kB
Cached:         139680 kB
SwapCached:       6404 kB
Active:          79032 kB
Inactive:       114924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1799496 kB
SwapTotal:     4192956 kB
SwapFree:      4141204 kB
Dirty:            3980 kB
Writeback:           0 kB
AnonPages:       11608 kB
Mapped:          13196 kB
Slab:            43932 kB
PageTables:       3956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179624 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62476 MiB
End job on node054 at 2010-06-15 17:00:39