Trace number 2657570

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 242.423 242.5

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_4.opb
MD5SUM1757d8d914b8f8f6b2c05049538ae81a
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 benchmark130.767
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 869
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3118
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-2657570-1276617342.opb
0.00/0.00	c File size is 3578 bytes.
0.00/0.00	c Highest Coefficient sum: 3118
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: 364 Watch. Lit: 106
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      364   45      110     728      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 844
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      428   47      301     856      1      0 0.00
0.00/0.00	o 790
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        2     94       12      552   46      364     856      4   1000 0.00
0.00/0.00	o 329
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        3     94       14      652   46      401     856      6   1500 0.00
0.00/0.00	o 328
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       13     94       25      966   38      471     856     17   4333 0.00
0.00/0.00	o 207
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       15     94       28     1098   39      506     856     20   5000 0.00
0.00/0.00	o 205
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       16     94       30     1178   39      558     856     22   5333 0.00
0.00/0.00	o 201
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       16     94       31     1242   40      617     856     23   4000 0.00
0.00/0.00	o 178
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       23     94       39     1557   39      687     856     31   4600 0.01
0.00/0.01	o 170
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       80     94       97     2726   28      853     856     89   8888 0.01
0.00/0.01	o 166
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       85     94      103     2987   29      917     856     95   8500 0.01
0.00/0.01	o 150
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      122     94      141     4020   28     1063     856    133   8714 0.01
0.00/0.01	o 148
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      127     94      147     4263   29     1120     856    139   8466 0.01
0.00/0.01	o 146
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      128     94      149     4380   29     1186     856    141   8533 0.01
0.00/0.02	o 132
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      130     94      152     4539   29     1254     856    144   8125 0.02
0.00/0.02	o 130
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      132     94      155     4658   30     1320     856    147   8250 0.02
0.00/0.02	o 119
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      148     94      172     5079   29     1397     856    164   7789 0.02
0.00/0.02	o 109
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      156     94      181     5479   30     1478     856    173   7800 0.02
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      164     93      190     5749   30     1558     854    182   7809 0.02
0.00/0.02	o 105
0.02/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.04	c      173     93      200     6175   30     1638     854    192   7521 0.02
0.02/0.04	c      273     92      300     8644   28     1834     940    292   7800 0.04
0.02/0.04	o 103
0.02/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.04	c      296     91      324     9236   28     1936     850    316   7589 0.04
0.02/0.04	o 92
0.02/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.04	c      304     91      333     9450   28     1997     850    325   7600 0.04
0.02/0.04	o 90
0.02/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.05	c      314     91      344     9739   28     2075     850    336   7476 0.04
0.02/0.05	o 86
0.02/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.05	c      397     90      428    11441   26     2287     848    420   7490 0.05
0.02/0.05	o 82
0.02/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.06	c      405     90      437    11707   26     2355     848    429   7500 0.05
0.02/0.06	o 74
0.02/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.06	c      408     90      441    11841   26     2423     848    433   7418 0.06
0.02/0.06	o 72
0.02/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.06	c      408     90      442    11901   26     2468     848    434   7285 0.06
0.02/0.06	o 68
0.02/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.07	c      411     90      446    12117   27     2531     848    438   7210 0.06
0.02/0.07	o 66
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      483     88      519    13614   26     2745     844    511   7318 0.07
0.09/0.12	c      584     88      620    15493   24     2984     929    612   7300 0.08
0.09/0.12	c      837     88      873    20072   22     3485    1022    865   7473 0.11
0.09/0.12	o 59
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      866     87      903    20743   22     3553     842    895   7401 0.12
0.09/0.12	o 45
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      910     83      482     9803   20     1293     834    474   7459 0.12
0.09/0.12	o 41
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      911     83      484     9884   20     1348     834    476   7406 0.12
0.09/0.12	o 39
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      913     83      487    10018   20     1405     834    479   7422 0.12
0.09/0.12	o 34
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c      931     82      506    10515   20     1491     832    498   7448 0.12
0.09/0.13	o 32
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c      938     82      514    10757   20     1557     832    506   7444 0.13
0.09/0.15	c     1039     78      615    13188   21     1746     916    607   7583 0.14
0.09/0.15	o 29
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c     1126     77      703    15187   21     1978     822    695   7659 0.15
0.09/0.17	c     1226     75      803    17547   21     2168     905    795   7759 0.16
0.09/0.17	o 16
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c     1372     72      484    11020   22     1222     812    476   7795 0.18
0.09/0.18	o 12
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c     1444     65      557    12566   22     1389     798    549   7890 0.18
0.39/0.42	c     1544     64      657    14698   22     1583     878    649   8083 0.19
0.39/0.42	c     1794     63      907    20322   22     2078     966    899   8383 0.21
0.39/0.42	c     2269     63      884    19591   22     1997    1063    876   8794 0.26
0.39/0.42	c     3082     62      607    13239   21     1441    1170    599   9064 0.34
0.39/0.42	o 11
0.39/0.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.49	c     3940     62      868    18720   21     1989     792    860   9314 0.42
0.39/0.49	c     4040     62      537    11447   21     1300     872    529   9330 0.43
0.39/0.49	c     4290     62      787    16654   21     1802     960    779   9428 0.46
0.39/0.49	o 10
0.59/0.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.61	c     4647     62      652    13230   20     1559     792    644   9503 0.49
0.59/0.61	c     4747     62      752    15400   20     1762     872    744   9551 0.50
0.59/0.61	c     4997     62      553    11301   20     1331     960    545   9572 0.52
0.59/0.61	c     5473     62      540    10930   20     1306    1057    532   9635 0.57
0.59/0.61	o 9
0.59/0.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.65	c     5909     62      977    20013   20     2210     792    969   9686 0.61
0.59/0.65	c     6010     62      538    10758   19     1305     872    530   9709 0.62
0.59/0.65	c     6262     62      790    16257   20     1805     960    782   9769 0.64
0.59/0.65	o 7
0.59/0.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.65	c     6324     62      853    17596   20     1960     792    845   9774 0.65
0.59/0.65	o 5
2.78/2.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.78/2.84	c     6344     59      458     9359   20     1162     786    450   9760 0.65
2.78/2.84	c     6444     56      558    11316   20     1359     865    550   9763 0.66
2.78/2.84	c     6695     55      809    16444   20     1862     952    801   9788 0.68
2.78/2.84	c     7170     55      785    15791   20     1777    1048    777   9835 0.73
2.78/2.84	c     7983     54     1063    22080   20     2334    1153   1055   9892 0.81
2.78/2.84	c     9303     54      626    12853   20     1457    1269    618   9875 0.94
2.78/2.84	c    11385     54      767    15827   20     1740    1396    759   9747 1.17
2.78/2.84	c    14608     54     1140    24000   21     2487    1536   1132   9699 1.51
2.78/2.84	c    19544     54     1369    28649   20     2944    1690   1361   9468 2.06
2.78/2.84	o 4
6.68/6.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.68/6.78	c    26301     54     1224    25882   21     2675     776   1216   9277 2.83
6.68/6.78	c    26401     52      537    11042   20     1271     854    529   9276 2.85
6.68/6.78	c    26651     51      787    16375   20     1768     940    779   9292 2.87
6.68/6.78	c    27127     51      781    15335   19     1759    1035    773   9315 2.91
6.68/6.78	c    27940     50     1068    21377   20     2328    1139   1060   9344 2.99
6.68/6.78	c    29261     48      639    13172   20     1467    1253    631   9360 3.13
6.68/6.78	c    31342     47      807    16824   20     1802    1379    799   9386 3.34
6.68/6.78	c    34566     47     1228    26237   21     2645    1517   1220   9372 3.69
6.68/6.78	c    39503     47     1519    32216   21     3223    1669   1511   9299 4.25
6.68/6.78	c    47009     47     1366    29335   21     2918    1836   1358   9194 5.11
6.68/6.78	c    58371     46     1502    32181   21     3187    2020   1494   8977 6.50
6.68/6.78	o 2
166.04/166.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
166.04/166.12	c    60491     46     1564    33876   21     3328     760   1556   8936 6.77
166.04/166.12	c    60592     44      538    10835   20     1250     837    530   8934 6.78
166.04/166.12	c    60843     44      789    16199   20     1750     921    781   8936 6.81
166.04/166.12	c    61318     44      784    15744   20     1739    1014    776   8947 6.85
166.04/166.12	c    62131     44      566    11266   19     1302    1116    558   8962 6.93
166.04/166.12	c    63452     44      754    15129   20     1680    1228    746   8986 7.06
166.04/166.12	c    65533     43      963    19475   20     2095    1351    955   9005 7.28
166.04/166.12	c    68757     43      748    15654   20     1667    1487    740   9023 7.62
166.04/166.12	c    73695     43     1129    24286   21     2429    1636   1121   9066 8.13
166.04/166.12	c    81201     43     1104    22170   20     2376    1800   1096   9044 8.98
166.04/166.12	c    92562     42     1463    29842   20     3096    1981   1455   8951 10.34
166.04/166.12	c   109706     40     1493    30608   20     3150    2180   1485   8825 12.43
166.04/166.12	c   135527     39     1850    38951   21     3864    2399   1842   8545 15.86
166.04/166.12	c   174360     39     1763    36352   20     3690    2639   1755   8311 20.98
166.04/166.12	c   232713     39     2654    56132   21     5472    2903   2646   7795 29.85
166.04/166.12	c   320345     39     2217    45356   20     4594    3194   2209   7344 43.62
166.04/166.12	c   451897     38     2936    60115   20     6036    3514   2928   6978 64.76
166.04/166.12	c   649329     38     3550    74729   21     7262    3866   3542   6578 98.70
166.04/166.12	c   945581     38     3587    75038   20     7338    4253   3579   6204 152.41
166.04/166.12	o 1
242.32/242.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
242.32/242.49	c  1019141     38     2195    46057   20     4545     749   2187   6136 166.09
242.32/242.49	c  1019241     38      543    10429   19     1239     824    535   6136 166.10
242.32/242.49	c  1019492     36      794    15592   19     1740     907    786   6136 166.13
242.32/242.49	c  1019967     36      805    16119   20     1756     998    797   6138 166.17
242.32/242.49	c  1020780     36      602    11621   19     1358    1098    594   6139 166.25
242.32/242.49	c  1022100     35      807    15804   19     1768    1208    799   6142 166.39
242.32/242.49	c  1024182     35     1042    21126   20     2235    1329   1034   6147 166.60
242.32/242.49	c  1027405     35      879    17251   19     1909    1462    871   6154 166.93
242.32/242.49	c  1032341     35     1350    27541   20     2849    1609   1342   6163 167.48
242.32/242.49	c  1039847     35     1492    30419   20     3141    1770   1484   6177 168.32
242.32/242.49	c  1051209     35     1148    24021   20     2449    1948   1140   6196 169.65
242.32/242.49	c  1068354     35     1484    29939   20     3119    2143   1476   6218 171.81
242.32/242.49	c  1094173     35     1239    24643   19     2628    2358   1231   6240 175.33
242.32/242.49	c  1133005     35     1898    38057   20     3942    2594   1890   6263 180.88
242.32/242.49	c  1191357     35     2549    51192   20     5246    2854   2541   6282 189.62
242.32/242.49	c  1278992     35     2241    44883   20     4632    3140   2233   6289 203.35
242.32/242.49	c  1410545     34     2316    45222   19     4779    3455   2308   6297 223.98
242.32/242.49	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 -x76 x77 x78 x79 x80 x81 -x82 x83 x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 x92 x93 -x75 x94 
242.32/242.49	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
242.32/242.49	c  113  1517541   3500  1523900     3226    49081   3218   6259 242.42
242.32/242.49	c Objective: 1
242.32/242.49	s OPTIMUM FOUND
242.32/242.49	c Total time: 242.421 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-2657570-1276617342/watcher-2657570-1276617342 -o /tmp/evaluation-result-2657570-1276617342/solver-2657570-1276617342 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657570-1276617342.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: 2.77 2.36 1.80 3/106 10121
/proc/meminfo: memFree=1502900/2059040 swapFree=4192956/4192956
[pid=10121] ppid=10119 vsize=26284 CPUtime=0
/proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 321 0 0 0 0 0 0 0 16 0 1 0 3029291 26914816 239 1992294400 134512640 137138936 4287378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10121/statm: 6571 239 191 642 0 5927 0

[startup+0.0342749 s]
/proc/loadavg: 2.77 2.36 1.80 3/106 10121
/proc/meminfo: memFree=1502900/2059040 swapFree=4192956/4192956
[pid=10121] ppid=10119 vsize=18600 CPUtime=0.02
/proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 352 0 0 0 2 0 0 0 16 0 1 0 3029291 19046400 270 1992294400 134512640 137138936 4287378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10121/statm: 4650 270 191 642 0 4006 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18600

[startup+0.101283 s]
/proc/loadavg: 2.77 2.36 1.80 3/106 10121
/proc/meminfo: memFree=1502900/2059040 swapFree=4192956/4192956
[pid=10121] ppid=10119 vsize=18856 CPUtime=0.09
/proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 402 0 0 0 9 0 0 0 16 0 1 0 3029291 19308544 320 1992294400 134512640 137138936 4287378752 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10121/statm: 4714 321 191 642 0 4070 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18856

[startup+0.301306 s]
/proc/loadavg: 2.77 2.36 1.80 3/106 10121
/proc/meminfo: memFree=1502900/2059040 swapFree=4192956/4192956
[pid=10121] ppid=10119 vsize=18988 CPUtime=0.29
/proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 428 0 0 0 29 0 0 0 17 0 1 0 3029291 19443712 346 1992294400 134512640 137138936 4287378752 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10121/statm: 4747 346 191 642 0 4103 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18988

[startup+0.701354 s]
/proc/loadavg: 2.77 2.36 1.80 3/106 10121
/proc/meminfo: memFree=1502900/2059040 swapFree=4192956/4192956
[pid=10121] ppid=10119 vsize=18988 CPUtime=0.69
/proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 437 0 0 0 68 1 0 0 17 0 1 0 3029291 19443712 355 1992294400 134512640 137138936 4287378752 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10121/statm: 4747 355 191 642 0 4103 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18988

[startup+1.50145 s]
/proc/loadavg: 2.77 2.36 1.80 2/107 10122
/proc/meminfo: memFree=1502148/2059040 swapFree=4192956/4192956
[pid=10121] ppid=10119 vsize=19116 CPUtime=1.49
/proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 457 0 0 0 147 2 0 0 18 0 1 0 3029291 19574784 375 1992294400 134512640 137138936 4287378752 18446744073709551615 136296961 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10121/statm: 4779 375 191 642 0 4135 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19116

[startup+3.10164 s]
/proc/loadavg: 2.63 2.34 1.79 2/107 10122
/proc/meminfo: memFree=1501776/2059040 swapFree=4192956/4192956
[pid=10121] ppid=10119 vsize=19240 CPUtime=3.08
/proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 488 0 0 0 304 4 0 0 21 0 1 0 3029291 19701760 406 1992294400 134512640 137138936 4287378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10121/statm: 4810 406 191 642 0 4166 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19240

[startup+6.30101 s]
/proc/loadavg: 2.63 2.34 1.79 2/107 10124
/proc/meminfo: memFree=1501528/2059040 swapFree=4192956/4192956
[pid=10121] ppid=10119 vsize=19240 CPUtime=6.28
/proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 502 0 0 0 622 6 0 0 25 0 1 0 3029291 19701760 420 1992294400 134512640 137138936 4287378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10121/statm: 4810 420 191 642 0 4166 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19240

[startup+12.7018 s]
/proc/loadavg: 2.50 2.31 1.79 2/107 10124
/proc/meminfo: memFree=1501280/2059040 swapFree=4192956/4192956
[pid=10121] ppid=10119 vsize=19372 CPUtime=12.68
/proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 532 0 0 0 1255 13 0 0 25 0 1 0 3029291 19836928 450 1992294400 134512640 137138936 4287378752 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10121/statm: 4843 450 191 642 0 4199 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19372

[startup+25.5013 s]
/proc/loadavg: 2.17 2.25 1.77 2/107 10124
/proc/meminfo: memFree=1501156/2059040 swapFree=4192956/4192956
[pid=10121] ppid=10119 vsize=19504 CPUtime=25.47
/proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 579 0 0 0 2522 25 0 0 25 0 1 0 3029291 19972096 497 1992294400 134512640 137138936 4287378752 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10121/statm: 4876 497 191 642 0 4232 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 19504

[startup+51.1013 s]
/proc/loadavg: 1.77 2.15 1.75 2/107 10124
/proc/meminfo: memFree=1500908/2059040 swapFree=4192956/4192956
[pid=10121] ppid=10119 vsize=19756 CPUtime=51.06
/proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 633 0 0 0 5062 44 0 0 25 0 1 0 3029291 20230144 551 1992294400 134512640 137138936 4287378752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10121/statm: 4939 551 191 642 0 4295 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 19756

[startup+102.308 s]
/proc/loadavg: 1.30 1.95 1.71 2/107 10126
/proc/meminfo: memFree=1500536/2059040 swapFree=4192956/4192956
[pid=10121] ppid=10119 vsize=20012 CPUtime=102.26
/proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 699 0 0 0 10147 79 0 0 25 0 1 0 3029291 20492288 617 1992294400 134512640 137138936 4287378752 18446744073709551615 136297620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10121/statm: 5003 617 191 642 0 4359 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 20012

[startup+162.301 s]
/proc/loadavg: 1.12 1.79 1.66 2/107 10128
/proc/meminfo: memFree=1500412/2059040 swapFree=4192956/4192956
[pid=10121] ppid=10119 vsize=20236 CPUtime=162.24
/proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 739 0 0 0 16108 116 0 0 25 0 1 0 3029291 20721664 657 1992294400 134512640 137138936 4287378752 18446744073709551615 136297621 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10121/statm: 5059 657 191 642 0 4415 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 20236

[startup+222.301 s]
/proc/loadavg: 1.04 1.63 1.62 2/107 10128
/proc/meminfo: memFree=1500288/2059040 swapFree=4192956/4192956
[pid=10121] ppid=10119 vsize=20236 CPUtime=222.22
/proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 739 0 0 0 22061 161 0 0 25 0 1 0 3029291 20721664 657 1992294400 134512640 137138936 4287378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10121/statm: 5059 657 191 642 0 4415 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 20236

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

[startup+230.301 s]
/proc/loadavg: 1.04 1.62 1.61 2/107 10130
/proc/meminfo: memFree=1500288/2059040 swapFree=4192956/4192956
[pid=10121] ppid=10119 vsize=20236 CPUtime=230.22
/proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 739 0 0 0 22856 166 0 0 25 0 1 0 3029291 20721664 657 1992294400 134512640 137138936 4287378752 18446744073709551615 136500760 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10121/statm: 5059 657 191 642 0 4415 0
Current children cumulated CPU time (s) 230.22
Current children cumulated vsize (KiB) 20236

[startup+236.701 s]
/proc/loadavg: 1.03 1.61 1.61 2/107 10130
/proc/meminfo: memFree=1500288/2059040 swapFree=4192956/4192956
[pid=10121] ppid=10119 vsize=20236 CPUtime=236.61
/proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 739 0 0 0 23490 171 0 0 25 0 1 0 3029291 20721664 657 1992294400 134512640 137138936 4287378752 18446744073709551615 136296970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10121/statm: 5059 657 191 642 0 4415 0
Current children cumulated CPU time (s) 236.61
Current children cumulated vsize (KiB) 20236

[startup+239.902 s]
/proc/loadavg: 1.03 1.60 1.61 2/107 10130
/proc/meminfo: memFree=1500288/2059040 swapFree=4192956/4192956
[pid=10121] ppid=10119 vsize=20236 CPUtime=239.82
/proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 739 0 0 0 23808 174 0 0 25 0 1 0 3029291 20721664 657 1992294400 134512640 137138936 4287378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10121/statm: 5059 657 191 642 0 4415 0
Current children cumulated CPU time (s) 239.82
Current children cumulated vsize (KiB) 20236

[startup+241.502 s]
/proc/loadavg: 1.03 1.60 1.61 2/107 10130
/proc/meminfo: memFree=1500288/2059040 swapFree=4192956/4192956
[pid=10121] ppid=10119 vsize=20236 CPUtime=241.41
/proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 739 0 0 0 23966 175 0 0 25 0 1 0 3029291 20721664 657 1992294400 134512640 137138936 4287378752 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10121/statm: 5059 657 191 642 0 4415 0
Current children cumulated CPU time (s) 241.41
Current children cumulated vsize (KiB) 20236

[startup+241.902 s]
/proc/loadavg: 1.03 1.60 1.61 2/107 10130
/proc/meminfo: memFree=1500288/2059040 swapFree=4192956/4192956
[pid=10121] ppid=10119 vsize=20236 CPUtime=241.82
/proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 739 0 0 0 24007 175 0 0 25 0 1 0 3029291 20721664 657 1992294400 134512640 137138936 4287378752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10121/statm: 5059 657 191 642 0 4415 0
Current children cumulated CPU time (s) 241.82
Current children cumulated vsize (KiB) 20236

[startup+242.302 s]
/proc/loadavg: 1.03 1.60 1.61 2/107 10130
/proc/meminfo: memFree=1500288/2059040 swapFree=4192956/4192956
[pid=10121] ppid=10119 vsize=20236 CPUtime=242.22
/proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 739 0 0 0 24046 176 0 0 25 0 1 0 3029291 20721664 657 1992294400 134512640 137138936 4287378752 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10121/statm: 5059 657 191 642 0 4415 0
Current children cumulated CPU time (s) 242.22
Current children cumulated vsize (KiB) 20236

[startup+242.402 s]
/proc/loadavg: 1.03 1.60 1.61 2/107 10130
/proc/meminfo: memFree=1500288/2059040 swapFree=4192956/4192956
[pid=10121] ppid=10119 vsize=20236 CPUtime=242.32
/proc/10121/stat : 10121 (bsolo_pb10) R 10119 10121 9999 0 -1 4202496 739 0 0 0 24056 176 0 0 25 0 1 0 3029291 20721664 657 1992294400 134512640 137138936 4287378752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10121/statm: 5059 657 191 642 0 4415 0
Current children cumulated CPU time (s) 242.32
Current children cumulated vsize (KiB) 20236

Child status: 0
Real time (s): 242.5
CPU time (s): 242.423
CPU user time (s): 240.659
CPU system time (s): 1.76373
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 20236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 240.659
system time used= 1.76373
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 740
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 434

runsolver used 0.386941 second user time and 1.16782 second system time

The end

Launcher Data 

Begin job on node033 at 2010-06-15 17:55:42
IDJOB=2657570
IDBENCH=2928
IDSOLVER=1163
FILE ID=node033/2657570-1276617342
PBS_JOBID= 11172317
Free space on /tmp= 62592 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_4.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657570-1276617342/watcher-2657570-1276617342 -o /tmp/evaluation-result-2657570-1276617342/solver-2657570-1276617342 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657570-1276617342.opb

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

MD5SUM BENCH= 1757d8d914b8f8f6b2c05049538ae81a
RANDOM SEED=1691860207

node033.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.242
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.48
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.242
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1503304 kB
Buffers:         82752 kB
Cached:         345524 kB
SwapCached:          0 kB
Active:         193252 kB
Inactive:       294720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1503304 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3908 kB
Writeback:          12 kB
AnonPages:       59660 kB
Mapped:          15412 kB
Slab:            45968 kB
PageTables:       4012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182836 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62588 MiB
End job on node033 at 2010-06-15 17:59:44