Trace number 2656645

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 CardOPT1 418.496 418.676

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: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656645-1276617334.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.002 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       13      578   44      366     856      5    666 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   1000 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   3250 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   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       35     1337   38      595     856     27   3200 0.01
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   3200 0.01
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       47     1812   38      744     856     39   3285 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      105     2981   28      910     856     97   5333 0.01
0.00/0.01	o 166
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       85     94      111     3242   29      974     856    103   5312 0.02
0.00/0.02	o 150
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      122     94      156     4469   28     1155     856    148   5304 0.02
0.00/0.02	o 148
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      127     94      163     4741   29     1214     856    155   5291 0.02
0.00/0.02	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      165     4858   29     1280     856    157   5120 0.03
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      168     5017   29     1348     856    160   5200 0.03
0.00/0.02	o 130
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      132     94      171     5136   30     1414     856    163   5280 0.03
0.00/0.03	o 119
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      148     94      192     5639   29     1499     856    184   5103 0.03
0.00/0.03	o 109
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      156     94      201     6039   30     1580     856    193   5032 0.03
0.00/0.03	o 107
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      164     93      211     6342   30     1671     854    203   5125 0.03
0.00/0.03	o 105
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      173     93      225     6915   30     1780     854    217   5088 0.03
0.00/0.06	c      273     92      335     9692   28     2004     940    327   4875 0.06
0.00/0.06	o 103
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c      296     91      362    10374   28     2132     850    354   4933 0.06
0.00/0.06	o 92
0.06/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.06	c      304     91      372    10611   28     2195     850    364   4903 0.06
0.06/0.06	o 90
0.06/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.08	c      314     91      385    10945   28     2277     850    377   4830 0.07
0.06/0.08	o 86
0.06/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.08	c      397     90      478    12906   27     2522     848    470   4841 0.08
0.06/0.08	o 82
0.06/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.08	c      405     90      488    13203   27     2592     848    480   4821 0.08
0.06/0.08	o 74
0.06/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.08	c      408     90      492    13337   27     2660     848    484   4800 0.09
0.06/0.08	o 72
0.06/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.09	c      408     90      493    13397   27     2705     848    485   4800 0.09
0.06/0.09	o 68
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      411     90      497    13613   27     2768     848    489   4724 0.09
0.09/0.10	o 66
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c      483     88      574    15229   26     2991     844    566   4830 0.10
0.09/0.17	c      584     88      677    17155   25     3234     929    669   4866 0.12
0.09/0.17	c      837     88      936    21908   23     3755    1022    928   4982 0.17
0.09/0.17	o 59
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c      866     87      968    22639   23     3829     842    960   4948 0.17
0.09/0.18	o 45
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c      910     83      483     9837   20     1298     834    475   4945 0.18
0.09/0.18	o 41
0.09/0.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.18	c      911     83      485     9918   20     1353     834    477   4951 0.18
0.09/0.18	o 39
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c      913     83      489    10093   20     1417     834    481   4935 0.18
0.09/0.19	o 34
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c      931     82      510    10656   20     1516     832    502   4952 0.19
0.09/0.19	o 32
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c      938     82      518    10898   21     1582     832    510   4936 0.19
0.19/0.22	c     1039     78      620    13367   21     1782     916    612   4995 0.21
0.19/0.22	o 29
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c     1126     77      708    15366   21     2014     822    700   5004 0.23
0.19/0.27	c     1226     75      809    17755   21     2206     905    801   5045 0.24
0.19/0.27	o 16
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c     1372     72      484    11020   22     1222     812    476   5007 0.27
0.19/0.29	o 12
0.69/0.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.71	c     1444     65      559    12604   22     1393     798    551   5048 0.29
0.69/0.71	c     1544     64      660    14754   22     1589     878    652   5112 0.30
0.69/0.71	c     1794     63      910    20378   22     2084     966    902   5245 0.34
0.69/0.71	c     2269     63      884    19591   22     1997    1063    876   5389 0.42
0.69/0.71	c     3082     62      607    13239   21     1441    1170    599   5464 0.56
0.69/0.71	o 11
0.79/0.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.83	c     3940     62      872    18815   21     1997     792    864   5525 0.71
0.79/0.83	c     4040     62      537    11447   21     1300     872    529   5534 0.73
0.79/0.83	c     4290     62      787    16654   21     1802     960    779   5556 0.77
0.79/0.83	o 10
1.00/1.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.06	c     4647     62      652    13230   20     1559     792    644   5565 0.83
1.00/1.06	c     4747     62      752    15400   20     1762     872    744   5571 0.85
1.00/1.06	c     4997     62      557    11377   20     1339     960    549   5564 0.90
1.00/1.06	c     5473     62      546    11047   20     1318    1057    538   5561 0.98
1.00/1.06	o 9
1.10/1.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.13	c     5909     62      983    20130   20     2222     792    975   5564 1.06
1.10/1.13	c     6010     62      538    10758   19     1305     872    530   5564 1.08
1.10/1.13	c     6262     62      790    16257   20     1805     960    782   5581 1.12
1.10/1.13	o 7
1.10/1.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.10/1.14	c     6324     62      853    17596   20     1960     792    845   5581 1.13
1.10/1.14	o 5
3.49/3.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.49/3.55	c     6344     59      458     9359   20     1162     786    450   5579 1.14
3.49/3.55	c     6444     56      561    11388   20     1373     865    553   5579 1.16
3.49/3.55	c     6695     55      812    16516   20     1876     952    804   5569 1.20
3.49/3.55	c     7170     55      800    16105   20     1807    1048    792   5575 1.29
3.49/3.55	c     7983     54     1078    22384   20     2364    1153   1070   5582 1.43
3.49/3.55	c     9303     54      638    13064   20     1481    1269    630   5560 1.67
3.49/3.55	c    11384     54      781    16191   20     1769    1396    773   5499 2.07
3.49/3.55	c    14607     54     1169    24430   20     2548    1536   1161   5430 2.69
3.49/3.55	o 3
55.37/55.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
55.37/55.47	c    18955     54      831    17380   20     1890     776    823   5334 3.55
55.37/55.47	c    19055     51      537    10995   20     1275     854    529   5336 3.57
55.37/55.47	c    19305     51      787    16385   20     1767     940    779   5341 3.61
55.37/55.47	c    19780     51      778    15901   20     1752    1035    770   5351 3.70
55.37/55.47	c    20594     51     1064    21553   20     2325    1139   1056   5353 3.85
55.37/55.47	c    21915     51      643    12883   20     1483    1253    635   5355 4.09
55.37/55.47	c    23997     50      800    16295   20     1793    1379    792   5357 4.48
55.37/55.47	c    27220     49     1235    25886   20     2664    1517   1227   5350 5.09
55.37/55.47	c    32156     48     1527    31609   20     3243    1669   1519   5325 6.04
55.37/55.47	c    39666     48     1373    30002   21     2934    1836   1365   5293 7.49
55.37/55.47	c    51028     47     1524    31870   20     3234    2020   1516   5257 9.71
55.37/55.47	c    68173     46     1215    25014   20     2608    2223   1207   5107 13.35
55.37/55.47	c    93992     46     1169    24381   20     2523    2446   1161   4929 19.07
55.37/55.47	c   132824     46     1672    35700   21     3527    2691   1664   4773 27.82
55.37/55.47	c   191178     46     1411    30299   21     3009    2961   1403   4681 40.83
55.37/55.47	o 1
418.42/418.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
418.42/418.67	c   253470     46     2322    49502   21     4845     760   2314   4571 55.45
418.42/418.67	c   253570     30      538    10693   19     1253     837    530   4571 55.47
418.42/418.67	c   253821     30      789    15861   20     1758     921    781   4571 55.52
418.42/418.67	c   254297     30      781    15471   19     1742    1014    773   4573 55.60
418.42/418.67	c   255111     30     1062    21371   20     2301    1116   1054   4576 55.75
418.42/418.67	c   256431     30      634    12504   19     1444    1228    626   4581 55.98
418.42/418.67	c   258512     30      789    15581   19     1758    1351    781   4587 56.35
418.42/418.67	c   261736     30     1207    24806   20     2594    1487   1199   4596 56.94
418.42/418.67	c   266673     30     1508    30786   20     3191    1636   1500   4607 57.87
418.42/418.67	c   274179     30     1370    28466   20     2918    1800   1362   4621 59.33
418.42/418.67	c   285540     30     1562    32331   20     3301    1981   1554   4638 61.56
418.42/418.67	c   302685     30     1361    27596   20     2899    2180   1353   4659 64.96
418.42/418.67	c   328504     30     1406    28388   20     2983    2399   1398   4667 70.38
418.42/418.67	c   367336     30     2157    44157   20     4488    2639   2149   4671 78.64
418.42/418.67	c   425688     30     2490    50950   20     5155    2903   2482   4647 91.59
418.42/418.67	c   513321     30     2712    55582   20     5601    3194   2704   4585 111.94
418.42/418.67	c   644873     30     2434    50015   20     5041    3514   2426   4494 143.48
418.42/418.67	c   842305     30     3206    66660   20     6591    3866   3198   4374 192.53
418.42/418.67	c  1138558     30     2972    63739   21     6125    4253   2964   4240 268.50
418.42/418.67	c  1583040     28     3369    65413   19     6916    4679   3361   4082 387.72
418.42/418.67	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 
418.42/418.67	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
418.42/418.67	c  100  1691876  14712  1709449     3342    52887   3334   4042 418.49
418.42/418.67	c Objective: 1
418.42/418.67	s OPTIMUM FOUND
418.42/418.67	c Total time: 418.494 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-2656645-1276617334/watcher-2656645-1276617334 -o /tmp/evaluation-result-2656645-1276617334/solver-2656645-1276617334 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656645-1276617334.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.11 4/106 5397
/proc/meminfo: memFree=1779344/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=26412 CPUtime=0
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 37336896 27045888 243 1992294400 134512640 137138936 4287821952 18446744073709551615 136382014 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 6603 243 192 642 0 5959 0

[startup+0.0677991 s]
/proc/loadavg: 1.00 1.00 1.11 4/106 5397
/proc/meminfo: memFree=1779344/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=18728 CPUtime=0.06
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 370 0 0 0 6 0 0 0 20 0 1 0 37336896 19177472 287 1992294400 134512640 137138936 4287821952 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 4682 287 192 642 0 4038 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18728

[startup+0.100803 s]
/proc/loadavg: 1.00 1.00 1.11 4/106 5397
/proc/meminfo: memFree=1779344/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=18856 CPUtime=0.09
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 390 0 0 0 9 0 0 0 20 0 1 0 37336896 19308544 307 1992294400 134512640 137138936 4287821952 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 4714 307 192 642 0 4070 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18856

[startup+0.30084 s]
/proc/loadavg: 1.00 1.00 1.11 4/106 5397
/proc/meminfo: memFree=1779344/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=18984 CPUtime=0.29
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 428 0 0 0 29 0 0 0 20 0 1 0 37336896 19439616 345 1992294400 134512640 137138936 4287821952 18446744073709551615 136500154 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 4746 345 192 642 0 4102 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18984

[startup+0.700914 s]
/proc/loadavg: 1.00 1.00 1.11 4/106 5397
/proc/meminfo: memFree=1779344/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=18988 CPUtime=0.69
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 439 0 0 0 68 1 0 0 20 0 1 0 37336896 19443712 356 1992294400 134512640 137138936 4287821952 18446744073709551615 134603014 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 4747 356 192 642 0 4103 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18988

[startup+1.50106 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 5398
/proc/meminfo: memFree=1778592/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=18988 CPUtime=1.49
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 439 0 0 0 148 1 0 0 23 0 1 0 37336896 19443712 356 1992294400 134512640 137138936 4287821952 18446744073709551615 134607015 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 4747 356 192 642 0 4103 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18988

[startup+3.10136 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 5398
/proc/meminfo: memFree=1778344/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=19116 CPUtime=3.09
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 472 0 0 0 306 3 0 0 25 0 1 0 37336896 19574784 389 1992294400 134512640 137138936 4287821952 18446744073709551615 135984576 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 4779 389 192 642 0 4135 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19116

[startup+6.30095 s]
/proc/loadavg: 1.00 1.00 1.11 2/107 5398
/proc/meminfo: memFree=1778220/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=19116 CPUtime=6.28
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 484 0 0 0 624 4 0 0 25 0 1 0 37336896 19574784 401 1992294400 134512640 137138936 4287821952 18446744073709551615 134542463 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 4779 401 192 642 0 4135 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19116

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 5398
/proc/meminfo: memFree=1777848/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=19376 CPUtime=12.68
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 524 0 0 0 1259 9 0 0 25 0 1 0 37336896 19841024 441 1992294400 134512640 137138936 4287821952 18446744073709551615 136504370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 4844 441 192 642 0 4200 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19376

[startup+25.5005 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 5398
/proc/meminfo: memFree=1777724/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=19504 CPUtime=25.47
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 563 0 0 0 2530 17 0 0 25 0 1 0 37336896 19972096 480 1992294400 134512640 137138936 4287821952 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 4876 480 192 642 0 4232 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 19504

[startup+51.1002 s]
/proc/loadavg: 1.00 1.00 1.10 2/107 5400
/proc/meminfo: memFree=1777600/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=19764 CPUtime=51.07
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 621 0 0 0 5075 32 0 0 25 0 1 0 37336896 20238336 538 1992294400 134512640 137138936 4287821952 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 4941 538 192 642 0 4297 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19764

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.09 2/107 5400
/proc/meminfo: memFree=1777352/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=19760 CPUtime=102.25
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 621 0 0 0 10161 64 0 0 25 0 1 0 37336896 20234240 538 1992294400 134512640 137138936 4287821952 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 4940 538 192 642 0 4296 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 19760

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 5402
/proc/meminfo: memFree=1777104/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=19888 CPUtime=162.23
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 676 0 0 0 16128 95 0 0 25 0 1 0 37336896 20365312 593 1992294400 134512640 137138936 4287821952 18446744073709551615 134607001 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 4972 593 192 642 0 4328 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 19888

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.08 2/107 5404
/proc/meminfo: memFree=1776980/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=20128 CPUtime=222.2
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 710 0 0 0 22095 125 0 0 25 0 1 0 37336896 20611072 627 1992294400 134512640 137138936 4287821952 18446744073709551615 135984564 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 5032 627 192 642 0 4388 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 20128

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.07 2/107 5406
/proc/meminfo: memFree=1776732/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=20256 CPUtime=282.18
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 751 0 0 0 28063 155 0 0 25 0 1 0 37336896 20742144 668 1992294400 134512640 137138936 4287821952 18446744073709551615 136500294 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 5064 668 192 642 0 4420 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 20256

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 5415
/proc/meminfo: memFree=1776112/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=20256 CPUtime=342.14
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 751 0 0 0 34031 183 0 0 25 0 1 0 37336896 20742144 668 1992294400 134512640 137138936 4287821952 18446744073709551615 136504068 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 5064 668 192 642 0 4420 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 20256

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 5417
/proc/meminfo: memFree=1776112/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=20256 CPUtime=402.12
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 760 0 0 0 40003 209 0 0 25 0 1 0 37336896 20742144 677 1992294400 134512640 137138936 4287821952 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 5064 677 192 642 0 4420 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 20256

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

[startup+409.501 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 5417
/proc/meminfo: memFree=1775988/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=20256 CPUtime=409.32
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 760 0 0 0 40720 212 0 0 25 0 1 0 37336896 20742144 677 1992294400 134512640 137138936 4287821952 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 5064 677 192 642 0 4420 0
Current children cumulated CPU time (s) 409.32
Current children cumulated vsize (KiB) 20256

[startup+412.701 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 5417
/proc/meminfo: memFree=1775988/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=20256 CPUtime=412.51
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 760 0 0 0 41038 213 0 0 25 0 1 0 37336896 20742144 677 1992294400 134512640 137138936 4287821952 18446744073709551615 134542547 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 5064 677 192 642 0 4420 0
Current children cumulated CPU time (s) 412.51
Current children cumulated vsize (KiB) 20256

[startup+415.902 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 5417
/proc/meminfo: memFree=1775988/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=20256 CPUtime=415.72
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 760 0 0 0 41357 215 0 0 25 0 1 0 37336896 20742144 677 1992294400 134512640 137138936 4287821952 18446744073709551615 136511084 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 5064 677 192 642 0 4420 0
Current children cumulated CPU time (s) 415.72
Current children cumulated vsize (KiB) 20256

[startup+417.501 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 5417
/proc/meminfo: memFree=1775988/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=20256 CPUtime=417.31
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 760 0 0 0 41516 215 0 0 25 0 1 0 37336896 20742144 677 1992294400 134512640 137138936 4287821952 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 5064 677 192 642 0 4420 0
Current children cumulated CPU time (s) 417.31
Current children cumulated vsize (KiB) 20256

[startup+418.301 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 5417
/proc/meminfo: memFree=1775988/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=20256 CPUtime=418.12
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 760 0 0 0 41596 216 0 0 25 0 1 0 37336896 20742144 677 1992294400 134512640 137138936 4287821952 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 5064 677 192 642 0 4420 0
Current children cumulated CPU time (s) 418.12
Current children cumulated vsize (KiB) 20256

[startup+418.501 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 5417
/proc/meminfo: memFree=1775988/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=20256 CPUtime=418.32
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 760 0 0 0 41616 216 0 0 25 0 1 0 37336896 20742144 677 1992294400 134512640 137138936 4287821952 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 5064 677 192 642 0 4420 0
Current children cumulated CPU time (s) 418.32
Current children cumulated vsize (KiB) 20256

[startup+418.601 s]
/proc/loadavg: 1.00 1.00 1.06 2/107 5417
/proc/meminfo: memFree=1775988/2059040 swapFree=4140360/4192956
[pid=5397] ppid=5395 vsize=20256 CPUtime=418.42
/proc/5397/stat : 5397 (bsolo_pb10) R 5395 5397 4839 0 -1 4202496 760 0 0 0 41626 216 0 0 25 0 1 0 37336896 20742144 677 1992294400 134512640 137138936 4287821952 18446744073709551615 136504093 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5397/statm: 5064 677 192 642 0 4420 0
Current children cumulated CPU time (s) 418.42
Current children cumulated vsize (KiB) 20256

Child status: 0
Real time (s): 418.676
CPU time (s): 418.496
CPU user time (s): 416.333
CPU system time (s): 2.16367
CPU usage (%): 99.9572
Max. virtual memory (cumulated for all children) (KiB): 20256

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

runsolver used 0.669898 second user time and 2.01069 second system time

The end

Launcher Data 

Begin job on node007 at 2010-06-15 17:55:34
IDJOB=2656645
IDBENCH=2928
IDSOLVER=1162
FILE ID=node007/2656645-1276617334
PBS_JOBID= 11172286
Free space on /tmp= 62488 MiB

SOLVER NAME= bsolo 3.2 Card
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 -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656645-1276617334/watcher-2656645-1276617334 -o /tmp/evaluation-result-2656645-1276617334/solver-2656645-1276617334 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656645-1276617334.opb

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

MD5SUM BENCH= 1757d8d914b8f8f6b2c05049538ae81a
RANDOM SEED=1920483531

node007.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.264
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.52
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.264
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1779872 kB
Buffers:         63728 kB
Cached:         122348 kB
SwapCached:       6820 kB
Active:          99980 kB
Inactive:       100252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1779872 kB
SwapTotal:     4192956 kB
SwapFree:      4140360 kB
Dirty:            3896 kB
Writeback:           0 kB
AnonPages:       12108 kB
Mapped:          13192 kB
Slab:            57068 kB
PageTables:       4028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181008 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= 62484 MiB
End job on node007 at 2010-06-15 18:02:33