Trace number 3463198

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.2OPT1 225.964 225.96

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 benchmark38.3052
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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3463198-1307179365.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 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 -2147483648 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 -2147483648 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       13      578   44      366     856      5 -2147483648 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       16      709   44      406     856      8   3000 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       29     1092   37      497     856     21  13000 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       33     1257   38      543     856     25   7500 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       35     1337   38      595     856     27   8000 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       36     1401   38      654     856     28   8000 0.00
0.00/0.00	o 178
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       23     94       47     1812   38      744     856     39   7666 0.00
0.00/0.00	o 170
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       80     94      105     2981   28      910     856     97  10000 0.01
0.00/0.00	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      111     3242   29      974     856    103  10625 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      156     4469   28     1155     856    148  11090 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      163     4741   29     1214     856    155  10583 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      165     4858   29     1280     856    157  10666 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      168     5017   29     1348     856    160  10000 0.01
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      171     5136   30     1414     856    163  10153 0.01
0.00/0.01	o 119
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c      148     94      192     5639   29     1499     856    184   9250 0.02
0.00/0.01	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      201     6039   30     1580     856    193   9176 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      211     6342   30     1671     854    203   9111 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      225     6915   30     1780     854    217   9105 0.02
0.00/0.03	c      273     92      335     9692   28     2004     940    327   8272 0.03
0.00/0.03	o 103
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      296     91      362    10374   28     2132     850    354   8457 0.04
0.00/0.03	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      372    10611   28     2195     850    364   8444 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      385    10945   28     2277     850    377   8263 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      478    12906   27     2522     848    470   8270 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      488    13203   27     2592     848    480   8265 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      492    13337   27     2660     848    484   8160 0.05
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      493    13397   27     2705     848    485   8160 0.05
0.00/0.05	o 68
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      411     90      497    13613   27     2768     848    489   8058 0.05
0.00/0.06	o 66
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      483     88      574    15229   26     2991     844    566   8186 0.06
0.09/0.10	c      584     88      677    17155   25     3234     929    669   8342 0.07
0.09/0.10	c      837     88      936    21908   23     3755    1022    928   8540 0.10
0.09/0.10	o 59
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      866     87      968    22639   23     3829     842    960   8490 0.10
0.09/0.10	o 45
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      910     83      483     9837   20     1298     834    475   8504 0.11
0.09/0.10	o 41
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      911     83      485     9918   20     1353     834    477   8514 0.11
0.09/0.10	o 39
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      913     83      489    10093   20     1417     834    481   8532 0.11
0.09/0.11	o 34
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      931     82      510    10656   20     1516     832    502   8541 0.11
0.09/0.11	o 32
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c      938     82      518    10898   21     1582     832    510   8527 0.11
0.09/0.13	c     1039     78      620    13367   21     1782     916    612   8586 0.12
0.09/0.13	o 29
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c     1126     77      708    15366   21     2014     822    700   8661 0.13
0.09/0.15	c     1226     75      809    17755   21     2206     905    801   8695 0.14
0.09/0.15	o 16
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c     1372     72      484    11020   22     1222     812    476   8683 0.16
0.09/0.16	o 12
0.39/0.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.40	c     1444     65      559    12604   22     1393     798    551   8751 0.17
0.39/0.40	c     1544     64      660    14754   22     1589     878    652   8873 0.17
0.39/0.40	c     1794     63      910    20378   22     2084     966    902   9106 0.20
0.39/0.40	c     2269     63      884    19591   22     1997    1063    876   9414 0.24
0.39/0.40	c     3082     62      607    13239   21     1441    1170    599   9631 0.32
0.39/0.40	o 11
0.39/0.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.47	c     3940     62      872    18815   21     1997     792    864   9800 0.40
0.39/0.47	c     4040     62      537    11447   21     1300     872    529   9805 0.41
0.39/0.47	c     4290     62      787    16654   21     1802     960    779   9862 0.43
0.39/0.47	o 10
0.49/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.59	c     4647     62      652    13230   20     1559     792    644   9887 0.47
0.49/0.59	c     4747     62      752    15400   20     1762     872    744   9910 0.48
0.49/0.59	c     4997     62      557    11377   20     1339     960    549   9914 0.50
0.49/0.59	c     5473     62      546    11047   20     1318    1057    538   9914 0.55
0.49/0.59	o 9
0.59/0.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.63	c     5909     62      983    20130   20     2222     792    975   9914 0.60
0.59/0.63	c     6010     62      538    10758   19     1305     872    530   9917 0.61
0.59/0.63	c     6262     62      790    16257   20     1805     960    782   9955 0.63
0.59/0.63	o 7
0.59/0.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.63	c     6324     62      853    17596   20     1960     792    845   9959 0.64
0.59/0.63	o 5
1.89/1.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.97	c     6344     59      458     9359   20     1162     786    450   9943 0.64
1.89/1.97	c     6444     56      561    11388   20     1373     865    553   9959 0.65
1.89/1.97	c     6695     55      812    16516   20     1876     952    804   9933 0.67
1.89/1.97	c     7170     55      800    16105   20     1807    1048    792   9944 0.72
1.89/1.97	c     7983     54     1078    22384   20     2364    1153   1070   9966 0.80
1.89/1.97	c     9303     54      638    13064   20     1481    1269    630   9949 0.94
1.89/1.97	c    11384     54      781    16191   20     1769    1396    773   9856 1.16
1.89/1.97	c    14607     54     1169    24430   20     2548    1536   1161   9764 1.50
1.89/1.97	o 3
30.19/30.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.19/30.25	c    18955     54      831    17380   20     1890     776    823   9616 1.97
30.19/30.25	c    19055     51      537    10995   20     1275     854    529   9623 1.98
30.19/30.25	c    19305     51      787    16385   20     1767     940    779   9633 2.00
30.19/30.25	c    19780     51      778    15901   20     1752    1035    770   9653 2.05
30.19/30.25	c    20594     51     1064    21553   20     2325    1139   1056   9659 2.13
30.19/30.25	c    21915     51      643    12883   20     1483    1253    635   9671 2.27
30.19/30.25	c    23997     50      800    16295   20     1793    1379    792   9676 2.48
30.19/30.25	c    27220     49     1235    25886   20     2664    1517   1227   9676 2.81
30.19/30.25	c    32156     48     1527    31609   20     3243    1669   1519   9639 3.34
30.19/30.25	c    39666     48     1373    30002   21     2934    1836   1365   9602 4.13
30.19/30.25	c    51028     47     1524    31870   20     3234    2020   1516   9564 5.33
30.19/30.25	c    68173     46     1215    25014   20     2608    2223   1207   9306 7.33
30.19/30.25	c    93992     46     1169    24381   20     2523    2446   1161   8992 10.45
30.19/30.25	c   132824     46     1672    35700   21     3527    2691   1664   8718 15.23
30.19/30.25	c   191178     46     1411    30299   21     3009    2961   1403   8563 22.32
30.19/30.25	o 1
225.89/225.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
225.89/225.95	c   253470     46     2322    49502   21     4845     760   2314   8377 30.25
225.89/225.95	c   253570     30      538    10693   19     1253     837    530   8377 30.27
225.89/225.95	c   253821     30      789    15861   20     1758     921    781   8379 30.29
225.89/225.95	c   254297     30      781    15471   19     1742    1014    773   8382 30.34
225.89/225.95	c   255111     30     1062    21371   20     2301    1116   1054   8387 30.41
225.89/225.95	c   256431     30      634    12504   19     1444    1228    626   8396 30.54
225.89/225.95	c   258512     30      789    15581   19     1758    1351    781   8409 30.74
225.89/225.95	c   261736     30     1207    24806   20     2594    1487   1199   8425 31.06
225.89/225.95	c   266673     30     1508    30786   20     3191    1636   1500   8446 31.57
225.89/225.95	c   274179     30     1370    28466   20     2918    1800   1362   8472 32.36
225.89/225.95	c   285540     30     1562    32331   20     3301    1981   1554   8506 33.57
225.89/225.95	c   302685     30     1361    27596   20     2899    2180   1353   8550 35.40
225.89/225.95	c   328504     30     1406    28388   20     2983    2399   1398   8567 38.34
225.89/225.95	c   367336     30     2157    44157   20     4488    2639   2149   8579 42.81
225.89/225.95	c   425688     30     2490    50950   20     5155    2903   2482   8550 49.79
225.89/225.95	c   513321     30     2712    55582   20     5601    3194   2704   8445 60.78
225.89/225.95	c   644873     30     2434    50015   20     5041    3514   2426   8293 77.76
225.89/225.95	c   842305     30     3206    66660   20     6591    3866   3198   8078 104.27
225.89/225.95	c  1138558     30     2972    63739   21     6125    4253   2964   7840 145.21
225.89/225.95	c  1583040     28     3369    65413   19     6916    4679   3361   7560 209.39
225.89/225.95	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 
225.89/225.95	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
225.89/225.95	c  100  1691876  14712  1709449     3342    52887   3334   7487 225.96
225.89/225.95	c Objective: 1
225.89/225.95	s OPTIMUM FOUND
225.89/225.95	c Total time: 225.961 s

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3463198-1307179365/watcher-3463198-1307179365 -o /tmp/evaluation-result-3463198-1307179365/solver-3463198-1307179365 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463198-1307179365.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.16 2.04 2.01 2/527 20171
/proc/meminfo: memFree=23869544/32951124 swapFree=56241860/67111528
[pid=20171] ppid=20169 vsize=18600 CPUtime=0.01 cores=0,2,4,6
/proc/20171/stat : 20171 (bsolo) R 20169 20171 18760 0 -1 4202496 310 0 0 0 1 0 0 0 25 0 1 0 908167190 19046400 263 33554432000 134512640 137138936 4294212352 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20171/statm: 4650 263 192 642 0 4006 0

[startup+0.0689189 s]
/proc/loadavg: 2.16 2.04 2.01 2/527 20171
/proc/meminfo: memFree=23869544/32951124 swapFree=56241860/67111528
[pid=20171] ppid=20169 vsize=18856 CPUtime=0.06 cores=0,2,4,6
/proc/20171/stat : 20171 (bsolo) R 20169 20171 18760 0 -1 4202496 363 0 0 0 6 0 0 0 25 0 1 0 908167190 19308544 316 33554432000 134512640 137138936 4294212352 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20171/statm: 4714 316 192 642 0 4070 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18856

[startup+0.100925 s]
/proc/loadavg: 2.16 2.04 2.01 2/527 20171
/proc/meminfo: memFree=23869544/32951124 swapFree=56241860/67111528
[pid=20171] ppid=20169 vsize=18984 CPUtime=0.09 cores=0,2,4,6
/proc/20171/stat : 20171 (bsolo) R 20169 20171 18760 0 -1 4202496 388 0 0 0 9 0 0 0 25 0 1 0 908167190 19439616 341 33554432000 134512640 137138936 4294212352 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20171/statm: 4746 341 192 642 0 4102 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18984

[startup+0.300871 s]
/proc/loadavg: 2.16 2.04 2.01 2/527 20171
/proc/meminfo: memFree=23869544/32951124 swapFree=56241860/67111528
[pid=20171] ppid=20169 vsize=18988 CPUtime=0.29 cores=0,2,4,6
/proc/20171/stat : 20171 (bsolo) R 20169 20171 18760 0 -1 4202496 395 0 0 0 29 0 0 0 25 0 1 0 908167190 19443712 348 33554432000 134512640 137138936 4294212352 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20171/statm: 4747 348 192 642 0 4103 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18988

[startup+0.70081 s]
/proc/loadavg: 2.16 2.04 2.01 2/527 20171
/proc/meminfo: memFree=23869544/32951124 swapFree=56241860/67111528
[pid=20171] ppid=20169 vsize=18988 CPUtime=0.69 cores=0,2,4,6
/proc/20171/stat : 20171 (bsolo) R 20169 20171 18760 0 -1 4202496 403 0 0 0 69 0 0 0 25 0 1 0 908167190 19443712 356 33554432000 134512640 137138936 4294212352 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20171/statm: 4747 356 192 642 0 4103 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18988

[startup+1.50067 s]
/proc/loadavg: 2.15 2.04 2.01 4/528 20172
/proc/meminfo: memFree=23868544/32951124 swapFree=56241860/67111528
[pid=20171] ppid=20169 vsize=19116 CPUtime=1.49 cores=0,2,4,6
/proc/20171/stat : 20171 (bsolo) R 20169 20171 18760 0 -1 4202496 423 0 0 0 149 0 0 0 25 0 1 0 908167190 19574784 376 33554432000 134512640 137138936 4294212352 18446744073709551615 136504089 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20171/statm: 4779 376 192 642 0 4135 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19116

[startup+3.10038 s]
/proc/loadavg: 2.15 2.04 2.01 4/528 20172
/proc/meminfo: memFree=23867180/32951124 swapFree=56241860/67111528
[pid=20171] ppid=20169 vsize=19116 CPUtime=3.09 cores=0,2,4,6
/proc/20171/stat : 20171 (bsolo) R 20169 20171 18760 0 -1 4202496 438 0 0 0 308 1 0 0 25 0 1 0 908167190 19574784 391 33554432000 134512640 137138936 4294212352 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20171/statm: 4779 391 192 642 0 4135 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19116

[startup+6.30083 s]
/proc/loadavg: 2.14 2.04 2.01 5/528 20172
/proc/meminfo: memFree=23867048/32951124 swapFree=56241860/67111528
[pid=20171] ppid=20169 vsize=19372 CPUtime=6.29 cores=0,2,4,6
/proc/20171/stat : 20171 (bsolo) R 20169 20171 18760 0 -1 4202496 488 0 0 0 627 2 0 0 25 0 1 0 908167190 19836928 441 33554432000 134512640 137138936 4294212352 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20171/statm: 4843 441 192 642 0 4199 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19372

[startup+12.7007 s]
/proc/loadavg: 2.12 2.04 2.01 5/528 20172
/proc/meminfo: memFree=23866148/32951124 swapFree=56241860/67111528
[pid=20171] ppid=20169 vsize=19500 CPUtime=12.69 cores=0,2,4,6
/proc/20171/stat : 20171 (bsolo) R 20169 20171 18760 0 -1 4202496 527 0 0 0 1264 5 0 0 25 0 1 0 908167190 19968000 480 33554432000 134512640 137138936 4294212352 18446744073709551615 134555857 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20171/statm: 4875 480 192 642 0 4231 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19500

[startup+25.5005 s]
/proc/loadavg: 2.18 2.06 2.02 5/528 20173
/proc/meminfo: memFree=23865764/32951124 swapFree=56241860/67111528
[pid=20171] ppid=20169 vsize=19760 CPUtime=25.49 cores=0,2,4,6
/proc/20171/stat : 20171 (bsolo) R 20169 20171 18760 0 -1 4202496 585 0 0 0 2538 11 0 0 25 0 1 0 908167190 20234240 538 33554432000 134512640 137138936 4294212352 18446744073709551615 134576423 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20171/statm: 4940 538 192 642 0 4296 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19760

[startup+51.101 s]
/proc/loadavg: 2.11 2.05 2.01 5/528 20173
/proc/meminfo: memFree=23865540/32951124 swapFree=56241860/67111528
[pid=20171] ppid=20169 vsize=19760 CPUtime=51.09 cores=0,2,4,6
/proc/20171/stat : 20171 (bsolo) R 20169 20171 18760 0 -1 4202496 585 0 0 0 5087 22 0 0 25 0 1 0 908167190 20234240 538 33554432000 134512640 137138936 4294212352 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20171/statm: 4940 538 192 642 0 4296 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19760

[startup+102.32 s]
/proc/loadavg: 2.04 2.04 2.01 4/528 20175
/proc/meminfo: memFree=23865632/32951124 swapFree=56241860/67111528
[pid=20171] ppid=20169 vsize=19888 CPUtime=102.31 cores=0,2,4,6
/proc/20171/stat : 20171 (bsolo) R 20169 20171 18760 0 -1 4202496 641 0 0 0 10185 46 0 0 25 0 1 0 908167190 20365312 594 33554432000 134512640 137138936 4294212352 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20171/statm: 4972 594 192 642 0 4328 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 19888

[startup+162.301 s]
/proc/loadavg: 2.01 2.03 2.00 5/528 20176
/proc/meminfo: memFree=23863864/32951124 swapFree=56241860/67111528
[pid=20171] ppid=20169 vsize=20256 CPUtime=162.3 cores=0,2,4,6
/proc/20171/stat : 20171 (bsolo) R 20169 20171 18760 0 -1 4202496 717 0 0 0 16157 73 0 0 25 0 1 0 908167190 20742144 670 33554432000 134512640 137138936 4294212352 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20171/statm: 5064 670 192 642 0 4420 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 20256

[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 4/528 20178
/proc/meminfo: memFree=23864952/32951124 swapFree=56241860/67111528
[pid=20171] ppid=20169 vsize=20256 CPUtime=222.29 cores=0,2,4,6
/proc/20171/stat : 20171 (bsolo) R 20169 20171 18760 0 -1 4202496 723 0 0 0 22134 95 0 0 25 0 1 0 908167190 20742144 676 33554432000 134512640 137138936 4294212352 18446744073709551615 134607222 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20171/statm: 5064 676 192 642 0 4420 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 20256

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

[startup+223.901 s]
/proc/loadavg: 2.00 2.02 2.00 5/528 20178
/proc/meminfo: memFree=23865324/32951124 swapFree=56241860/67111528
[pid=20171] ppid=20169 vsize=20256 CPUtime=223.9 cores=0,2,4,6
/proc/20171/stat : 20171 (bsolo) R 20169 20171 18760 0 -1 4202496 723 0 0 0 22294 96 0 0 25 0 1 0 908167190 20742144 676 33554432000 134512640 137138936 4294212352 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20171/statm: 5064 676 192 642 0 4420 0
Current children cumulated CPU time (s) 223.9
Current children cumulated vsize (KiB) 20256

[startup+224.701 s]
/proc/loadavg: 2.00 2.02 2.00 5/528 20178
/proc/meminfo: memFree=23865324/32951124 swapFree=56241860/67111528
[pid=20171] ppid=20169 vsize=20256 CPUtime=224.7 cores=0,2,4,6
/proc/20171/stat : 20171 (bsolo) R 20169 20171 18760 0 -1 4202496 723 0 0 0 22373 97 0 0 25 0 1 0 908167190 20742144 676 33554432000 134512640 137138936 4294212352 18446744073709551615 134542662 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20171/statm: 5064 676 192 642 0 4420 0
Current children cumulated CPU time (s) 224.7
Current children cumulated vsize (KiB) 20256

[startup+225.519 s]
/proc/loadavg: 2.00 2.02 2.00 5/528 20178
/proc/meminfo: memFree=23865324/32951124 swapFree=56241860/67111528
[pid=20171] ppid=20169 vsize=20256 CPUtime=225.52 cores=0,2,4,6
/proc/20171/stat : 20171 (bsolo) R 20169 20171 18760 0 -1 4202496 723 0 0 0 22455 97 0 0 25 0 1 0 908167190 20742144 676 33554432000 134512640 137138936 4294212352 18446744073709551615 136297655 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20171/statm: 5064 676 192 642 0 4420 0
Current children cumulated CPU time (s) 225.52
Current children cumulated vsize (KiB) 20256

[startup+225.9 s]
/proc/loadavg: 2.00 2.02 2.00 5/528 20178
/proc/meminfo: memFree=23865324/32951124 swapFree=56241860/67111528
[pid=20171] ppid=20169 vsize=20256 CPUtime=225.89 cores=0,2,4,6
/proc/20171/stat : 20171 (bsolo) R 20169 20171 18760 0 -1 4202496 723 0 0 0 22492 97 0 0 25 0 1 0 908167190 20742144 676 33554432000 134512640 137138936 4294212352 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/20171/statm: 5064 676 192 642 0 4420 0
Current children cumulated CPU time (s) 225.89
Current children cumulated vsize (KiB) 20256

Child status: 0
Real time (s): 225.96
CPU time (s): 225.964
CPU user time (s): 224.988
CPU system time (s): 0.975851
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 20256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 224.988
system time used= 0.975851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 724
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= 4
involuntary context switches= 352

runsolver used 1.22781 second user time and 2.66359 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-04 11:22:45
IDJOB=3463198
IDBENCH=2928
IDSOLVER=1955
FILE ID=node119/3463198-1307179365
RUNJOBID= node119-1307174996-19887
PBS_JOBID= 13508823
Free space on /tmp= 73656 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_4.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3463198-1307179365/watcher-3463198-1307179365 -o /tmp/evaluation-result-3463198-1307179365/solver-3463198-1307179365 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3463198-1307179365.opb

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

MD5SUM BENCH= 1757d8d914b8f8f6b2c05049538ae81a
RANDOM SEED=1060594569

node119.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23869708 kB
Buffers:        245212 kB
Cached:         599348 kB
SwapCached:      59076 kB
Active:        1764464 kB
Inactive:      7017992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23869708 kB
SwapTotal:    67111528 kB
SwapFree:     56241860 kB
Dirty:            3960 kB
Writeback:           0 kB
AnonPages:     7881956 kB
Mapped:          34160 kB
Slab:           149476 kB
PageTables:      80992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 164928264 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73652 MiB
End job on node119 at 2011-06-04 11:26:31