Trace number 1878634

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.1 clOPT1 241.622 241.685

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 benchmark22.0466
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.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: Clause 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-1878634-1245178027.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.001 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   3750 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   4000 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   8000 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.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      128     94      149     4380   29     1186     856    141   8533 0.01
0.00/0.01	o 132
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      130     94      152     4539   29     1254     856    144   8125 0.02
0.00/0.01	o 130
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      132     94      155     4658   30     1320     856    147   8250 0.02
0.00/0.01	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.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      173     93      200     6175   30     1638     854    192   7521 0.02
0.00/0.03	c      273     92      300     8644   28     1834     940    292   7583 0.04
0.00/0.03	o 103
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      296     91      324     9236   28     1936     850    316   7589 0.04
0.00/0.04	o 92
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      304     91      333     9450   28     1997     850    325   7600 0.04
0.00/0.04	o 90
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      314     91      344     9739   28     2075     850    336   7476 0.04
0.00/0.05	o 86
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      397     90      428    11441   26     2287     848    420   7490 0.05
0.00/0.05	o 82
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      405     90      437    11707   26     2355     848    429   7500 0.05
0.00/0.05	o 74
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      408     90      441    11841   26     2423     848    433   7418 0.06
0.00/0.05	o 72
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      408     90      442    11901   26     2468     848    434   7418 0.06
0.00/0.05	o 68
0.05/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.06	c      411     90      446    12117   27     2531     848    438   7339 0.06
0.05/0.06	o 66
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      483     88      519    13614   26     2745     844    511   7430 0.07
0.09/0.11	c      584     88      620    15493   24     2984     929    612   7392 0.08
0.09/0.11	c      837     88      873    20072   22     3485    1022    865   7540 0.11
0.09/0.11	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   7530 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   7520 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   7528 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   7483 0.12
0.09/0.12	o 34
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c      931     82      506    10515   20     1491     832    498   7508 0.12
0.09/0.12	o 32
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      938     82      514    10757   20     1557     832    506   7504 0.12
0.09/0.14	c     1039     78      615    13188   21     1746     916    607   7696 0.14
0.09/0.14	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   7765 0.14
0.09/0.17	c     1226     75      803    17547   21     2168     905    795   7858 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   7885 0.17
0.09/0.18	o 12
0.39/0.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.41	c     1444     65      557    12566   22     1389     798    549   7977 0.18
0.39/0.41	c     1544     64      657    14698   22     1583     878    649   8169 0.19
0.39/0.41	c     1794     63      907    20322   22     2078     966    899   8502 0.21
0.39/0.41	c     2269     63      884    19591   22     1997    1063    876   8898 0.26
0.39/0.41	c     3082     62      607    13239   21     1441    1170    599   9172 0.34
0.39/0.41	o 11
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c     3940     62      868    18720   21     1989     792    860   9403 0.42
0.39/0.48	c     4040     62      537    11447   21     1300     872    529   9439 0.43
0.39/0.48	c     4290     62      787    16654   21     1802     960    779   9533 0.45
0.39/0.48	o 10
0.60/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.60/0.60	c     4647     62      652    13230   20     1559     792    644   9621 0.48
0.60/0.60	c     4747     62      752    15400   20     1762     872    744   9648 0.49
0.60/0.60	c     4997     62      553    11301   20     1331     960    545   9665 0.52
0.60/0.60	c     5473     62      540    10930   20     1306    1057    532   9738 0.56
0.60/0.60	o 9
0.60/0.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.60/0.64	c     5909     62      977    20013   20     2210     792    969   9799 0.60
0.60/0.64	c     6010     62      538    10758   19     1305     872    530   9804 0.61
0.60/0.64	c     6262     62      790    16257   20     1805     960    782   9876 0.63
0.60/0.64	o 7
0.60/0.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.60/0.64	c     6324     62      853    17596   20     1960     792    845   9881 0.64
0.60/0.64	o 5
2.79/2.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.82	c     6344     59      458     9359   20     1162     786    450   9866 0.64
2.79/2.82	c     6444     56      558    11316   20     1359     865    550   9868 0.65
2.79/2.82	c     6695     55      809    16444   20     1862     952    801   9889 0.68
2.79/2.82	c     7170     55      785    15791   20     1777    1048    777   9930 0.72
2.79/2.82	c     7983     54     1063    22080   20     2334    1153   1055   9991 0.80
2.79/2.82	c     9303     54      626    12853   20     1457    1269    618   9981 0.93
2.79/2.82	c    11385     54      767    15827   20     1740    1396    759   9857 1.16
2.79/2.82	c    14608     54     1140    24000   21     2487    1536   1132   9810 1.49
2.79/2.82	c    19544     54     1369    28649   20     2944    1690   1361   9496 2.06
2.79/2.82	o 4
6.69/6.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.69/6.74	c    26301     54     1224    25882   21     2675     776   1216   9303 2.83
6.69/6.74	c    26401     52      537    11042   20     1271     854    529   9302 2.84
6.69/6.74	c    26651     51      787    16375   20     1768     940    779   9318 2.86
6.69/6.74	c    27127     51      781    15335   19     1759    1035    773   9341 2.90
6.69/6.74	c    27940     50     1068    21377   20     2328    1139   1060   9369 2.98
6.69/6.74	c    29261     48      639    13172   20     1467    1253    631   9387 3.12
6.69/6.74	c    31342     47      807    16824   20     1802    1379    799   9412 3.33
6.69/6.74	c    34566     47     1228    26237   21     2645    1517   1220   9403 3.68
6.69/6.74	c    39503     47     1519    32216   21     3223    1669   1511   9332 4.23
6.69/6.74	c    47009     47     1366    29335   21     2918    1836   1358   9228 5.09
6.69/6.74	c    58371     46     1502    32181   21     3187    2020   1494   9013 6.48
6.69/6.74	o 2
165.75/165.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
165.75/165.85	c    60491     46     1564    33876   21     3328     760   1556   8972 6.74
165.75/165.85	c    60592     44      538    10835   20     1250     837    530   8971 6.75
165.75/165.85	c    60843     44      789    16199   20     1750     921    781   8973 6.78
165.75/165.85	c    61318     44      784    15744   20     1739    1014    776   8984 6.83
165.75/165.85	c    62131     44      566    11266   19     1302    1116    558   8999 6.90
165.75/165.85	c    63452     44      754    15129   20     1680    1228    746   9023 7.03
165.75/165.85	c    65533     43      963    19475   20     2095    1351    955   9042 7.25
165.75/165.85	c    68757     43      748    15654   20     1667    1487    740   9060 7.59
165.75/165.85	c    73695     43     1129    24286   21     2429    1636   1121   9103 8.10
165.75/165.85	c    81201     43     1104    22170   20     2376    1800   1096   9082 8.94
165.75/165.85	c    92562     42     1463    29842   20     3096    1981   1455   8992 10.29
165.75/165.85	c   109706     40     1493    30608   20     3150    2180   1485   8872 12.37
165.75/165.85	c   135527     39     1850    38951   21     3864    2399   1842   8608 15.74
165.75/165.85	c   174360     39     1763    36352   20     3690    2639   1755   8385 20.79
165.75/165.85	c   232713     39     2654    56132   21     5472    2903   2646   7863 29.59
165.75/165.85	c   320345     39     2217    45356   20     4594    3194   2209   7419 43.17
165.75/165.85	c   451897     38     2936    60115   20     6036    3514   2928   7045 64.14
165.75/165.85	c   649329     38     3550    74729   21     7262    3866   3542   6622 98.05
165.75/165.85	c   945581     38     3587    75038   20     7338    4253   3579   6218 152.05
165.75/165.85	o 1
241.53/241.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
241.53/241.68	c  1019141     38     2195    46057   20     4545     749   2187   6145 165.83
241.53/241.68	c  1019241     38      543    10429   19     1239     824    535   6145 165.85
241.53/241.68	c  1019492     36      794    15592   19     1740     907    786   6146 165.87
241.53/241.68	c  1019967     36      805    16119   20     1756     998    797   6147 165.92
241.53/241.68	c  1020780     36      602    11621   19     1358    1098    594   6149 166.00
241.53/241.68	c  1022100     35      807    15804   19     1768    1208    799   6152 166.13
241.53/241.68	c  1024182     35     1042    21126   20     2235    1329   1034   6157 166.34
241.53/241.68	c  1027405     35      879    17251   19     1909    1462    871   6164 166.68
241.53/241.68	c  1032341     35     1350    27541   20     2849    1609   1342   6173 167.22
241.53/241.68	c  1039847     35     1492    30419   20     3141    1770   1484   6187 168.06
241.53/241.68	c  1051209     35     1148    24021   20     2449    1948   1140   6206 169.38
241.53/241.68	c  1068354     35     1484    29939   20     3119    2143   1476   6228 171.53
241.53/241.68	c  1094173     35     1239    24643   19     2628    2358   1231   6252 175.01
241.53/241.68	c  1133005     35     1898    38057   20     3942    2594   1890   6278 180.47
241.53/241.68	c  1191357     35     2549    51192   20     5246    2854   2541   6298 189.16
241.53/241.68	c  1278992     35     2241    44883   20     4632    3140   2233   6308 202.74
241.53/241.68	c  1410545     34     2316    45222   19     4779    3455   2308   6318 223.24
241.53/241.68	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 
241.53/241.68	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
241.53/241.68	c  113  1517541   3500  1523900     3226    49081   3218   6280 241.62
241.53/241.68	c Objective: 1
241.53/241.68	s OPTIMUM FOUND
241.53/241.68	c Total time: 241.621 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-1878634-1245178027/watcher-1878634-1245178027 -o /tmp/evaluation-result-1878634-1245178027/solver-1878634-1245178027 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878634-1245178027.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 0.99 0.99 3/64 4908
/proc/meminfo: memFree=1846304/2055920 swapFree=4182492/4192956
[pid=4908] ppid=4906 vsize=26200 CPUtime=0
/proc/4908/stat : 4908 (bsolo) R 4906 4908 4468 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 185402747 26828800 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4908/statm: 6550 241 196 640 0 5906 0

[startup+0.063359 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 4908
/proc/meminfo: memFree=1846304/2055920 swapFree=4182492/4192956
[pid=4908] ppid=4906 vsize=18644 CPUtime=0.05
/proc/4908/stat : 4908 (bsolo) R 4906 4908 4468 0 -1 4194304 318 0 0 0 5 0 0 0 18 0 1 0 185402747 19091456 301 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4908/statm: 4661 301 196 640 0 4017 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18644

[startup+0.101363 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 4908
/proc/meminfo: memFree=1846304/2055920 swapFree=4182492/4192956
[pid=4908] ppid=4906 vsize=18772 CPUtime=0.09
/proc/4908/stat : 4908 (bsolo) R 4906 4908 4468 0 -1 4194304 344 0 0 0 9 0 0 0 18 0 1 0 185402747 19222528 327 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4908/statm: 4693 327 196 640 0 4049 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18772

[startup+0.301384 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 4908
/proc/meminfo: memFree=1846304/2055920 swapFree=4182492/4192956
[pid=4908] ppid=4906 vsize=18904 CPUtime=0.29
/proc/4908/stat : 4908 (bsolo) R 4906 4908 4468 0 -1 4194304 366 0 0 0 29 0 0 0 19 0 1 0 185402747 19357696 349 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4908/statm: 4726 349 196 640 0 4082 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18904

[startup+0.701427 s]
/proc/loadavg: 1.00 0.99 0.99 3/64 4908
/proc/meminfo: memFree=1846304/2055920 swapFree=4182492/4192956
[pid=4908] ppid=4906 vsize=18904 CPUtime=0.69
/proc/4908/stat : 4908 (bsolo) R 4906 4908 4468 0 -1 4194304 375 0 0 0 68 1 0 0 23 0 1 0 185402747 19357696 358 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4908/statm: 4726 358 196 640 0 4082 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18904

[startup+1.50151 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4909
/proc/meminfo: memFree=1845656/2055920 swapFree=4182492/4192956
[pid=4908] ppid=4906 vsize=19032 CPUtime=1.5
/proc/4908/stat : 4908 (bsolo) R 4906 4908 4468 0 -1 4194304 395 0 0 0 148 2 0 0 25 0 1 0 185402747 19488768 378 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4908/statm: 4758 378 196 640 0 4114 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 19032

[startup+3.10169 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4909
/proc/meminfo: memFree=1845336/2055920 swapFree=4182492/4192956
[pid=4908] ppid=4906 vsize=19156 CPUtime=3.09
/proc/4908/stat : 4908 (bsolo) R 4906 4908 4468 0 -1 4194304 426 0 0 0 306 3 0 0 25 0 1 0 185402747 19615744 409 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4908/statm: 4789 409 196 640 0 4145 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19156

[startup+6.30103 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4909
/proc/meminfo: memFree=1845080/2055920 swapFree=4182492/4192956
[pid=4908] ppid=4906 vsize=19156 CPUtime=6.29
/proc/4908/stat : 4908 (bsolo) R 4906 4908 4468 0 -1 4194304 440 0 0 0 624 5 0 0 25 0 1 0 185402747 19615744 423 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4908/statm: 4789 423 196 640 0 4145 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19156

[startup+12.7017 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4909
/proc/meminfo: memFree=1845032/2055920 swapFree=4182492/4192956
[pid=4908] ppid=4906 vsize=19288 CPUtime=12.69
/proc/4908/stat : 4908 (bsolo) R 4906 4908 4468 0 -1 4194304 470 0 0 0 1260 9 0 0 25 0 1 0 185402747 19750912 453 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4908/statm: 4822 453 196 640 0 4178 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19288

[startup+25.5011 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4909
/proc/meminfo: memFree=1844776/2055920 swapFree=4182492/4192956
[pid=4908] ppid=4906 vsize=19420 CPUtime=25.48
/proc/4908/stat : 4908 (bsolo) R 4906 4908 4468 0 -1 4194304 517 0 0 0 2530 18 0 0 25 0 1 0 185402747 19886080 500 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4908/statm: 4855 500 196 640 0 4211 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19420

[startup+51.1019 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4909
/proc/meminfo: memFree=1844648/2055920 swapFree=4182492/4192956
[pid=4908] ppid=4906 vsize=19672 CPUtime=51.08
/proc/4908/stat : 4908 (bsolo) R 4906 4908 4468 0 -1 4194304 572 0 0 0 5077 31 0 0 25 0 1 0 185402747 20144128 555 1992294400 134512640 137136520 4294956256 18446744073709551615 136503718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4908/statm: 4918 555 196 640 0 4274 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19672

[startup+102.305 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4909
/proc/meminfo: memFree=1844328/2055920 swapFree=4182492/4192956
[pid=4908] ppid=4906 vsize=19928 CPUtime=102.27
/proc/4908/stat : 4908 (bsolo) R 4906 4908 4468 0 -1 4194304 637 0 0 0 10173 54 0 0 25 0 1 0 185402747 20406272 620 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4908/statm: 4982 620 196 640 0 4338 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 19928

[startup+162.303 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4909
/proc/meminfo: memFree=1844200/2055920 swapFree=4182492/4192956
[pid=4908] ppid=4906 vsize=20152 CPUtime=162.25
/proc/4908/stat : 4908 (bsolo) R 4906 4908 4468 0 -1 4194304 677 0 0 0 16144 81 0 0 25 0 1 0 185402747 20635648 660 1992294400 134512640 137136520 4294956256 18446744073709551615 136502032 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4908/statm: 5038 660 196 640 0 4394 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 20152

[startup+222.301 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4909
/proc/meminfo: memFree=1844200/2055920 swapFree=4182492/4192956
[pid=4908] ppid=4906 vsize=20152 CPUtime=222.23
/proc/4908/stat : 4908 (bsolo) R 4906 4908 4468 0 -1 4194304 677 0 0 0 22110 113 0 0 25 0 1 0 185402747 20635648 660 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4908/statm: 5038 660 196 640 0 4394 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 20152

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

[startup+230.302 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4909
/proc/meminfo: memFree=1844200/2055920 swapFree=4182492/4192956
[pid=4908] ppid=4906 vsize=20152 CPUtime=230.23
/proc/4908/stat : 4908 (bsolo) R 4906 4908 4468 0 -1 4194304 677 0 0 0 22906 117 0 0 25 0 1 0 185402747 20635648 660 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4908/statm: 5038 660 196 640 0 4394 0
Current children cumulated CPU time (s) 230.23
Current children cumulated vsize (KiB) 20152

[startup+236.702 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4909
/proc/meminfo: memFree=1844200/2055920 swapFree=4182492/4192956
[pid=4908] ppid=4906 vsize=20152 CPUtime=236.63
/proc/4908/stat : 4908 (bsolo) R 4906 4908 4468 0 -1 4194304 677 0 0 0 23542 121 0 0 25 0 1 0 185402747 20635648 660 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4908/statm: 5038 660 196 640 0 4394 0
Current children cumulated CPU time (s) 236.63
Current children cumulated vsize (KiB) 20152

[startup+239.901 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4909
/proc/meminfo: memFree=1844200/2055920 swapFree=4182492/4192956
[pid=4908] ppid=4906 vsize=20152 CPUtime=239.83
/proc/4908/stat : 4908 (bsolo) R 4906 4908 4468 0 -1 4194304 677 0 0 0 23861 122 0 0 25 0 1 0 185402747 20635648 660 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4908/statm: 5038 660 196 640 0 4394 0
Current children cumulated CPU time (s) 239.83
Current children cumulated vsize (KiB) 20152

[startup+240.701 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4909
/proc/meminfo: memFree=1844200/2055920 swapFree=4182492/4192956
[pid=4908] ppid=4906 vsize=20152 CPUtime=240.63
/proc/4908/stat : 4908 (bsolo) R 4906 4908 4468 0 -1 4194304 677 0 0 0 23940 123 0 0 25 0 1 0 185402747 20635648 660 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4908/statm: 5038 660 196 640 0 4394 0
Current children cumulated CPU time (s) 240.63
Current children cumulated vsize (KiB) 20152

[startup+241.101 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4909
/proc/meminfo: memFree=1844200/2055920 swapFree=4182492/4192956
[pid=4908] ppid=4906 vsize=20152 CPUtime=241.03
/proc/4908/stat : 4908 (bsolo) R 4906 4908 4468 0 -1 4194304 677 0 0 0 23980 123 0 0 25 0 1 0 185402747 20635648 660 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4908/statm: 5038 660 196 640 0 4394 0
Current children cumulated CPU time (s) 241.03
Current children cumulated vsize (KiB) 20152

[startup+241.501 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4909
/proc/meminfo: memFree=1844200/2055920 swapFree=4182492/4192956
[pid=4908] ppid=4906 vsize=20152 CPUtime=241.43
/proc/4908/stat : 4908 (bsolo) R 4906 4908 4468 0 -1 4194304 677 0 0 0 24020 123 0 0 25 0 1 0 185402747 20635648 660 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4908/statm: 5038 660 196 640 0 4394 0
Current children cumulated CPU time (s) 241.43
Current children cumulated vsize (KiB) 20152

[startup+241.601 s]
/proc/loadavg: 1.00 0.99 0.99 2/65 4909
/proc/meminfo: memFree=1844200/2055920 swapFree=4182492/4192956
[pid=4908] ppid=4906 vsize=20152 CPUtime=241.53
/proc/4908/stat : 4908 (bsolo) R 4906 4908 4468 0 -1 4194304 677 0 0 0 24030 123 0 0 25 0 1 0 185402747 20635648 660 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/4908/statm: 5038 660 196 640 0 4394 0
Current children cumulated CPU time (s) 241.53
Current children cumulated vsize (KiB) 20152

Child status: 0
Real time (s): 241.685
CPU time (s): 241.622
CPU user time (s): 240.389
CPU system time (s): 1.23281
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 20152

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

runsolver used 0.165974 second user time and 0.52192 second system time

The end

Launcher Data 

Begin job on node21 at 2009-06-16 20:47:07
IDJOB=1878634
IDBENCH=2928
IDSOLVER=700
FILE ID=node21/1878634-1245178027
PBS_JOBID= 9363878
Free space on /tmp= 66092 MiB

SOLVER NAME= bsolo 3.1 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 -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878634-1245178027/watcher-1878634-1245178027 -o /tmp/evaluation-result-1878634-1245178027/solver-1878634-1245178027 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1878634-1245178027.opb

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

MD5SUM BENCH= 1757d8d914b8f8f6b2c05049538ae81a
RANDOM SEED=378496563

node21.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.239
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.239
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:       1846784 kB
Buffers:         47660 kB
Cached:          86192 kB
SwapCached:       4256 kB
Active:          43272 kB
Inactive:        97956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1846784 kB
SwapTotal:     4192956 kB
SwapFree:      4182492 kB
Dirty:            3968 kB
Writeback:           0 kB
Mapped:          13420 kB
Slab:            53932 kB
Committed_AS:   175436 kB
PageTables:       1384 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-1878634-1245178027.opb

Free space on /tmp at the end= 66088 MiB
End job on node21 at 2009-06-16 20:51:09