Trace number 1877763

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1OPT1 262.592 262.654

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 benchmark12.6261
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.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1877763-1245176317.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       16      762   47      377     852      8   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       24     1108   46      433     852     16   4000 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       36     1354   37      491     852     28   4600 0.01
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       40     1495   37      555     852     32   5200 0.01
0.00/0.00	o 130
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       28     94       43     1634   38      614     852     35   4666 0.01
0.00/0.00	o 123
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       34     94       50     1901   38      681     852     42   4857 0.01
0.00/0.00	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       61     2203   36      775     850     53   5375 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       77     2647   34      879     848     69   5700 0.01
0.00/0.01	o 118
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c       76     92       97     3213   33      979     848     89   5428 0.01
0.00/0.03	o 107
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      174     90      196     5185   26     1233     844    188   5800 0.03
0.00/0.03	o 91
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      177     90      200     5397   26     1300     844    192   5709 0.03
0.00/0.03	o 79
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      179     90      203     5504   27     1358     844    195   5774 0.03
0.00/0.03	o 75
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      182     90      207     5683   27     1423     844    199   5687 0.03
0.00/0.03	o 73
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c      192     90      218     6083   27     1507     844    210   5647 0.03
0.09/0.15	c      292     90      320     7827   24     1714     929    312   6083 0.05
0.09/0.15	c      542     90      574    12246   21     2220    1022    566   6452 0.08
0.09/0.15	o 70
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c     1003     90      524     9340   17     1332     844    516   6308 0.16
0.09/0.16	o 68
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c     1010     90      532     9531   17     1406     844    524   6273 0.16
0.09/0.16	o 66
0.49/0.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.51	c     1016     90      539     9849   18     1478     844    531   6271 0.16
0.49/0.51	c     1116     90      643    11860   18     1690     929    635   6305 0.18
0.49/0.51	c     1366     90      899    17137   19     2192    1022    891   6294 0.22
0.49/0.51	c     1843     88      849    16727   19     1965    1125    841   6163 0.30
0.49/0.51	c     2657     87     1090    20700   18     2458    1238   1082   6222 0.43
0.49/0.51	o 61
0.49/0.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.51	c     3138     87      941    18354   19     2218     838    933   6128 0.51
0.49/0.51	o 59
0.49/0.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.52	c     3147     84      445     8853   19     1223     832    437   6110 0.52
0.49/0.52	o 58
0.49/0.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.53	c     3172     83      471     9476   20     1321     830    463   6111 0.52
0.49/0.53	o 56
0.49/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.54	c     3252     82      552    11205   20     1533     828    544   6112 0.53
0.49/0.54	o 45
0.49/0.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.54	c     3287     81      589    12039   20     1657     826    581   6109 0.54
0.49/0.54	o 37
0.49/0.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.55	c     3292     81      595    12256   20     1719     826    587   6107 0.54
0.49/0.55	o 27
0.59/0.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.64	c     3345     81      649    13496   20     1874     826    641   6104 0.55
0.59/0.64	c     3445     74      749    15591   20     2069     909    741   6075 0.57
0.59/0.64	c     3696     71      531    11271   21     1321    1000    523   6019 0.61
0.59/0.64	o 25
0.59/0.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.65	c     3878     71      715    15664   21     1729     806    707   6021 0.64
0.59/0.65	o 18
0.79/0.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.80	c     3905     71      743    16334   21     1823     806    735   6016 0.65
0.79/0.80	c     4006     71      435     9421   21     1119     887    427   6005 0.67
0.79/0.80	c     4256     71      685    14384   20     1620     976    677   6036 0.70
0.79/0.80	c     4731     71      659    12829   19     1563    1074    651   6019 0.79
0.79/0.80	o 5
7.39/7.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.39/7.41	c     4822     71      751    14679   19     1789     806    743   6012 0.80
7.39/7.41	c     4922     59      447     8648   19     1121     887    439   6009 0.82
7.39/7.41	c     5172     56      702    13735   19     1622     976    694   6027 0.86
7.39/7.41	c     5648     54      680    13381   19     1581    1074    672   6027 0.94
7.39/7.41	c     6461     54      945    18593   19     2110    1182    937   6055 1.07
7.39/7.41	c     7781     54     1051    21283   20     2320    1301   1043   6050 1.29
7.39/7.41	c     9862     54     1156    23567   20     2531    1432   1148   6031 1.64
7.39/7.41	c    13085     54     1467    30802   20     3155    1576   1459   5972 2.19
7.39/7.41	c    18021     54     1577    33196   21     3372    1734   1569   5896 3.06
7.39/7.41	c    25527     54     1120    23459   20     2459    1908   1112   5746 4.44
7.39/7.41	c    36889     54     1809    37797   20     3839    2099   1801   5628 6.55
7.39/7.41	o 4
24.19/24.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.19/24.22	c    41333     54     1992    42113   21     4228     772   1984   5578 7.41
24.19/24.22	c    41433     50      535    10725   20     1264     850    527   5576 7.43
24.19/24.22	c    41683     50      785    15970   20     1763     936    777   5581 7.47
24.19/24.22	c    42160     49      786    15852   20     1765    1030    778   5588 7.54
24.19/24.22	c    42974     47     1072    21892   20     2333    1134   1064   5602 7.67
24.19/24.22	c    44296     47      657    13208   20     1503    1248    649   5614 7.89
24.19/24.22	c    46378     47      828    16683   20     1848    1373    820   5633 8.23
24.19/24.22	c    49602     47     1267    25704   20     2727    1511   1259   5648 8.78
24.19/24.22	c    54539     47      812    16187   19     1817    1663    804   5669 9.62
24.19/24.22	c    62045     47     1559    32299   20     3308    1830   1551   5653 10.97
24.19/24.22	c    73406     46     1760    36678   20     3708    2014   1752   5600 13.11
24.19/24.22	c    90551     46     1497    29412   19     3180    2216   1489   5503 16.45
24.19/24.22	c   116371     46     1441    29829   20     3068    2438   1433   5415 21.49
24.19/24.22	o 3
83.88/83.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
83.88/83.92	c   129846     46     1317    25995   19     2836     756   1309   5360 24.22
83.88/83.92	c   129947     46      536    10206   19     1251     832    528   5360 24.24
83.88/83.92	c   130198     46      787    15456   19     1755     916    779   5363 24.28
83.88/83.92	c   130674     46      795    15696   19     1773    1008    787   5366 24.35
83.88/83.92	c   131487     46      579    10639   18     1335    1109    571   5371 24.48
83.88/83.92	c   132808     46      772    14818   19     1723    1220    764   5381 24.68
83.88/83.92	c   134890     46      988    18863   19     2148    1343    980   5396 25.00
83.88/83.92	c   138113     46      802    15407   19     1783    1478    794   5408 25.53
83.88/83.92	c   143051     46     1218    24000   19     2615    1626   1210   5430 26.34
83.88/83.92	c   150560     46     1266    25414   20     2709    1789   1258   5448 27.63
83.88/83.92	c   161922     46     1701    33897   19     3580    1968   1693   5454 29.68
83.88/83.92	c   179068     46     1841    37276   20     3863    2165   1833   5452 32.84
83.88/83.92	c   204889     46     1292    26235   20     2766    2382   1284   5427 37.75
83.88/83.92	c   243722     46     1508    31227   20     3222    2621   1500   5361 45.46
83.88/83.92	c   302075     46     1474    30182   20     3128    2884   1466   5261 57.41
83.88/83.92	c   389708     46     1601    33004   20     3383    3173   1593   5084 76.65
83.88/83.92	o 2
113.67/113.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
113.67/113.71	c   422467     46     2297    46592   20     4790     756   2289   5035 83.90
113.67/113.71	c   422568     45      536    10301   19     1249     832    528   5035 83.92
113.67/113.71	c   422818     44      786    15333   19     1749     916    778   5035 83.96
113.67/113.71	c   423293     44      792    15271   19     1761    1008    784   5037 84.04
113.67/113.71	c   424106     44      575    10969   19     1327    1109    567   5038 84.17
113.67/113.71	c   425426     44      769    14247   18     1713    1220    761   5042 84.37
113.67/113.71	c   427507     44      989    19003   19     2152    1343    981   5047 84.70
113.67/113.71	c   430731     44      809    15943   19     1794    1478    801   5053 85.24
113.67/113.71	c   435667     44     1216    23527   19     2606    1626   1208   5062 86.05
113.67/113.71	c   443173     42     1253    25008   19     2677    1789   1245   5072 87.37
113.67/113.71	c   454534     42     1678    33258   19     3530    1968   1670   5083 89.41
113.67/113.71	c   471679     41     1810    36795   20     3790    2165   1802   5098 92.51
113.67/113.71	c   497499     40     1282    25576   19     2733    2382   1274   5106 97.42
113.67/113.71	c   536332     40     1496    30075   20     3164    2621   1488   5095 105.26
113.67/113.71	o 1
262.53/262.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
262.53/262.65	c   576334     40     1731    35024   20     3639     744   1723   5069 113.69
262.53/262.65	c   576434     40      535    10197   19     1232     819    527   5069 113.71
262.53/262.65	c   576684     40      785    15305   19     1731     901    777   5070 113.74
262.53/262.65	c   577160     40      801    15366   19     1765     992    793   5070 113.82
262.53/262.65	c   577973     30      584    11068   18     1330    1092    576   5072 113.94
262.53/262.65	c   579293     30      772    14334   18     1703    1202    764   5074 114.15
262.53/262.65	c   581374     30      982    19372   19     2124    1323    974   5078 114.48
262.53/262.65	c   584597     30      803    15520   19     1767    1456    795   5082 115.02
262.53/262.65	c   589533     30     1234    24739   20     2627    1602   1226   5088 115.86
262.53/262.65	c   597039     30     1326    24979   18     2810    1763   1318   5094 117.19
262.53/262.65	c   608400     30      947    18788   19     2055    1940    939   5101 119.25
262.53/262.65	c   625544     30     1194    23294   19     2548    2135   1186   5110 122.41
262.53/262.65	c   651364     30     1923    37184   19     4004    2349   1915   5118 127.26
262.53/262.65	c   690200     30     2420    49034   20     5000    2584   2412   5117 134.87
262.53/262.65	c   748552     30     1524    29427   19     3209    2843   1516   5097 146.84
262.53/262.65	c   836186     30     2454    48659   19     5067    3128   2446   5035 166.06
262.53/262.65	c   967738     30     2237    45260   20     4633    3441   2229   4930 196.28
262.53/262.65	c  1165172     28     2792    51716   18     5742    3786   2784   4783 243.60
262.53/262.65	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 
262.53/262.65	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
262.53/262.65	c  110  1239544   2668  1244680     2538    34987   2530   4720 262.59
262.53/262.65	c Objective: 1
262.53/262.65	s OPTIMUM FOUND
262.53/262.65	c Total time: 262.59 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-1877763-1245176317/watcher-1877763-1245176317 -o /tmp/evaluation-result-1877763-1245176317/solver-1877763-1245176317 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877763-1245176317.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/64 1492
/proc/meminfo: memFree=1855792/2055920 swapFree=4191900/4192956
[pid=1492] ppid=1490 vsize=26200 CPUtime=0
/proc/1492/stat : 1492 (bsolo) R 1490 1492 1197 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 185232694 26828800 241 1992294400 134512640 137136520 4294956256 18446744073709551615 134616729 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1492/statm: 6550 241 196 640 0 5906 0

[startup+0.044721 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1492
/proc/meminfo: memFree=1855792/2055920 swapFree=4191900/4192956
[pid=1492] ppid=1490 vsize=18516 CPUtime=0.04
/proc/1492/stat : 1492 (bsolo) R 1490 1492 1197 0 -1 4194304 291 0 0 0 4 0 0 0 18 0 1 0 185232694 18960384 274 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1492/statm: 4629 274 197 640 0 3985 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 18516

[startup+0.101725 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1492
/proc/meminfo: memFree=1855792/2055920 swapFree=4191900/4192956
[pid=1492] ppid=1490 vsize=18764 CPUtime=0.09
/proc/1492/stat : 1492 (bsolo) R 1490 1492 1197 0 -1 4194304 324 0 0 0 9 0 0 0 18 0 1 0 185232694 19214336 307 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1492/statm: 4691 307 197 640 0 4047 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18764

[startup+0.30174 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1492
/proc/meminfo: memFree=1855792/2055920 swapFree=4191900/4192956
[pid=1492] ppid=1490 vsize=18892 CPUtime=0.29
/proc/1492/stat : 1492 (bsolo) R 1490 1492 1197 0 -1 4194304 356 0 0 0 29 0 0 0 19 0 1 0 185232694 19345408 339 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1492/statm: 4723 339 197 640 0 4079 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18892

[startup+0.701774 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1492
/proc/meminfo: memFree=1855792/2055920 swapFree=4191900/4192956
[pid=1492] ppid=1490 vsize=18892 CPUtime=0.69
/proc/1492/stat : 1492 (bsolo) R 1490 1492 1197 0 -1 4194304 370 0 0 0 69 0 0 0 23 0 1 0 185232694 19345408 353 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1492/statm: 4723 353 197 640 0 4079 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18892

[startup+1.50184 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1493
/proc/meminfo: memFree=1855080/2055920 swapFree=4191900/4192956
[pid=1492] ppid=1490 vsize=18892 CPUtime=1.49
/proc/1492/stat : 1492 (bsolo) R 1490 1492 1197 0 -1 4194304 384 0 0 0 149 0 0 0 25 0 1 0 185232694 19345408 367 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1492/statm: 4723 367 197 640 0 4079 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18892

[startup+3.10197 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1493
/proc/meminfo: memFree=1854824/2055920 swapFree=4191900/4192956
[pid=1492] ppid=1490 vsize=19148 CPUtime=3.09
/proc/1492/stat : 1492 (bsolo) R 1490 1492 1197 0 -1 4194304 428 0 0 0 308 1 0 0 25 0 1 0 185232694 19607552 411 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1492/statm: 4787 411 197 640 0 4143 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19148

[startup+6.30123 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1493
/proc/meminfo: memFree=1854504/2055920 swapFree=4191900/4192956
[pid=1492] ppid=1490 vsize=19148 CPUtime=6.29
/proc/1492/stat : 1492 (bsolo) R 1490 1492 1197 0 -1 4194304 447 0 0 0 626 3 0 0 25 0 1 0 185232694 19607552 430 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1492/statm: 4787 430 197 640 0 4143 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19148

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1493
/proc/meminfo: memFree=1854376/2055920 swapFree=4191900/4192956
[pid=1492] ppid=1490 vsize=19280 CPUtime=12.69
/proc/1492/stat : 1492 (bsolo) R 1490 1492 1197 0 -1 4194304 466 0 0 0 1262 7 0 0 25 0 1 0 185232694 19742720 449 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1492/statm: 4820 449 197 640 0 4176 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19280

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1493
/proc/meminfo: memFree=1854312/2055920 swapFree=4191900/4192956
[pid=1492] ppid=1490 vsize=19408 CPUtime=25.48
/proc/1492/stat : 1492 (bsolo) R 1490 1492 1197 0 -1 4194304 497 0 0 0 2536 12 0 0 25 0 1 0 185232694 19873792 480 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1492/statm: 4852 480 197 640 0 4208 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19408

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1493
/proc/meminfo: memFree=1854248/2055920 swapFree=4191900/4192956
[pid=1492] ppid=1490 vsize=19520 CPUtime=51.08
/proc/1492/stat : 1492 (bsolo) R 1490 1492 1197 0 -1 4194304 517 0 0 0 5084 24 0 0 25 0 1 0 185232694 19988480 500 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1492/statm: 4880 500 197 640 0 4236 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19520

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1493
/proc/meminfo: memFree=1854056/2055920 swapFree=4191900/4192956
[pid=1492] ppid=1490 vsize=19644 CPUtime=102.27
/proc/1492/stat : 1492 (bsolo) R 1490 1492 1197 0 -1 4194304 570 0 0 0 10181 46 0 0 25 0 1 0 185232694 20115456 553 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1492/statm: 4911 553 197 640 0 4267 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 19644

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1493
/proc/meminfo: memFree=1853928/2055920 swapFree=4191900/4192956
[pid=1492] ppid=1490 vsize=19644 CPUtime=162.25
/proc/1492/stat : 1492 (bsolo) R 1490 1492 1197 0 -1 4194304 570 0 0 0 16153 72 0 0 25 0 1 0 185232694 20115456 553 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1492/statm: 4911 553 197 640 0 4267 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 19644

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1493
/proc/meminfo: memFree=1853864/2055920 swapFree=4191900/4192956
[pid=1492] ppid=1490 vsize=19772 CPUtime=222.24
/proc/1492/stat : 1492 (bsolo) R 1490 1492 1197 0 -1 4194304 593 0 0 0 22132 92 0 0 25 0 1 0 185232694 20246528 576 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1492/statm: 4943 576 197 640 0 4299 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 19772

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

[startup+230.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1493
/proc/meminfo: memFree=1853864/2055920 swapFree=4191900/4192956
[pid=1492] ppid=1490 vsize=19772 CPUtime=230.24
/proc/1492/stat : 1492 (bsolo) R 1490 1492 1197 0 -1 4194304 593 0 0 0 22929 95 0 0 25 0 1 0 185232694 20246528 576 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1492/statm: 4943 576 197 640 0 4299 0
Current children cumulated CPU time (s) 230.24
Current children cumulated vsize (KiB) 19772

[startup+243.106 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1493
/proc/meminfo: memFree=1853864/2055920 swapFree=4191900/4192956
[pid=1492] ppid=1490 vsize=19772 CPUtime=243.04
/proc/1492/stat : 1492 (bsolo) R 1490 1492 1197 0 -1 4194304 593 0 0 0 24204 100 0 0 25 0 1 0 185232694 20246528 576 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1492/statm: 4943 576 197 640 0 4299 0
Current children cumulated CPU time (s) 243.04
Current children cumulated vsize (KiB) 19772

[startup+255.903 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1493
/proc/meminfo: memFree=1853800/2055920 swapFree=4191900/4192956
[pid=1492] ppid=1490 vsize=19772 CPUtime=255.83
/proc/1492/stat : 1492 (bsolo) R 1490 1492 1197 0 -1 4194304 599 0 0 0 25479 104 0 0 25 0 1 0 185232694 20246528 582 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1492/statm: 4943 582 197 640 0 4299 0
Current children cumulated CPU time (s) 255.83
Current children cumulated vsize (KiB) 19772

[startup+259.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1493
/proc/meminfo: memFree=1853800/2055920 swapFree=4191900/4192956
[pid=1492] ppid=1490 vsize=19772 CPUtime=259.03
/proc/1492/stat : 1492 (bsolo) R 1490 1492 1197 0 -1 4194304 599 0 0 0 25798 105 0 0 25 0 1 0 185232694 20246528 582 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1492/statm: 4943 582 197 640 0 4299 0
Current children cumulated CPU time (s) 259.03
Current children cumulated vsize (KiB) 19772

[startup+260.706 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1493
/proc/meminfo: memFree=1853800/2055920 swapFree=4191900/4192956
[pid=1492] ppid=1490 vsize=19772 CPUtime=260.63
/proc/1492/stat : 1492 (bsolo) R 1490 1492 1197 0 -1 4194304 599 0 0 0 25958 105 0 0 25 0 1 0 185232694 20246528 582 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1492/statm: 4943 582 197 640 0 4299 0
Current children cumulated CPU time (s) 260.63
Current children cumulated vsize (KiB) 19772

[startup+261.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1493
/proc/meminfo: memFree=1853800/2055920 swapFree=4191900/4192956
[pid=1492] ppid=1490 vsize=19772 CPUtime=261.43
/proc/1492/stat : 1492 (bsolo) R 1490 1492 1197 0 -1 4194304 599 0 0 0 26038 105 0 0 25 0 1 0 185232694 20246528 582 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1492/statm: 4943 582 197 640 0 4299 0
Current children cumulated CPU time (s) 261.43
Current children cumulated vsize (KiB) 19772

[startup+262.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1493
/proc/meminfo: memFree=1853800/2055920 swapFree=4191900/4192956
[pid=1492] ppid=1490 vsize=19772 CPUtime=262.23
/proc/1492/stat : 1492 (bsolo) R 1490 1492 1197 0 -1 4194304 599 0 0 0 26117 106 0 0 25 0 1 0 185232694 20246528 582 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1492/statm: 4943 582 197 640 0 4299 0
Current children cumulated CPU time (s) 262.23
Current children cumulated vsize (KiB) 19772

[startup+262.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1493
/proc/meminfo: memFree=1853800/2055920 swapFree=4191900/4192956
[pid=1492] ppid=1490 vsize=19772 CPUtime=262.43
/proc/1492/stat : 1492 (bsolo) R 1490 1492 1197 0 -1 4194304 599 0 0 0 26137 106 0 0 25 0 1 0 185232694 20246528 582 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1492/statm: 4943 582 197 640 0 4299 0
Current children cumulated CPU time (s) 262.43
Current children cumulated vsize (KiB) 19772

[startup+262.601 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1493
/proc/meminfo: memFree=1853800/2055920 swapFree=4191900/4192956
[pid=1492] ppid=1490 vsize=19772 CPUtime=262.53
/proc/1492/stat : 1492 (bsolo) R 1490 1492 1197 0 -1 4194304 599 0 0 0 26147 106 0 0 25 0 1 0 185232694 20246528 582 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1492/statm: 4943 582 197 640 0 4299 0
Current children cumulated CPU time (s) 262.53
Current children cumulated vsize (KiB) 19772

Child status: 0
Real time (s): 262.654
CPU time (s): 262.592
CPU user time (s): 261.529
CPU system time (s): 1.06284
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 19772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 261.529
system time used= 1.06284
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 601
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= 194

runsolver used 0.225965 second user time and 0.527919 second system time

The end

Launcher Data 

Begin job on node3 at 2009-06-16 20:18:37
IDJOB=1877763
IDBENCH=2916
IDSOLVER=699
FILE ID=node3/1877763-1245176317
PBS_JOBID= 9363879
Free space on /tmp= 66320 MiB

SOLVER NAME= bsolo 3.1
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_2.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877763-1245176317/watcher-1877763-1245176317 -o /tmp/evaluation-result-1877763-1245176317/solver-1877763-1245176317 -C 1800 -W 2000 -M 1800  bsolo -l2 -t1800 -m1800 HOME/instance-1877763-1245176317.opb

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

MD5SUM BENCH= 031b0f629913e7cd5c934f00ec1a1885
RANDOM SEED=938979568

node3.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.236
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.236
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1856208 kB
Buffers:         40968 kB
Cached:          88176 kB
SwapCached:        260 kB
Active:          29880 kB
Inactive:       112476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1856208 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            3944 kB
Writeback:           0 kB
Mapped:          21756 kB
Slab:            43328 kB
Committed_AS:   154152 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877763-1245176317.opb

Free space on /tmp at the end= 66316 MiB
End job on node3 at 2009-06-16 20:23:00