Trace number 1880623

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 pbOPT1 270.171 270.272

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_2.opb
MD5SUM031b0f629913e7cd5c934f00ec1a1885
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark12.6261
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint44
Maximum length of a constraint46
Number of terms in the objective function 64
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 808
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2934
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Generic Pseudo-Boolean 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-1880623-1245240868.opb
0.00/0.00	c File size is 3562 bytes.
0.00/0.00	c Highest Coefficient sum: 2934
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 94 Constr: 8 0/0/8 Lit: 362 Watch. Lit: 102
0.00/0.00	c Obj. Vars: 64 (68.0851 % of total variables)
0.00/0.00	c Pre-processing Time: 0 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     94        8      362   45      108     724      0 -2147483648 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 863
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     94        9      426   47      299     852      1 -2147483648 0.00
0.00/0.00	o 707
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        6     94       22     1154   52      549     852     14   3000 0.00
0.00/0.00	o 680
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       10     94       31     1585   51      778     852     23   3333 0.00
0.00/0.00	o 642
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       11     94       34     1730   50      838     852     26   3666 0.00
0.00/0.00	o 622
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       15     94       43     2158   50     1027     852     35   3750 0.00
0.00/0.00	o 570
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       25     94       64     3117   48     1469     852     56   4166 0.01
0.00/0.01	o 569
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       41     94       97     4915   50     2293     852     89   3727 0.01
0.00/0.01	o 567
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       43     94      102     5203   51     2458     852     94   3583 0.01
0.00/0.01	o 539
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       49     94      115     5984   52     2840     852    107   3500 0.01
0.00/0.01	o 537
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       50     94      118     6184   52     3002     852    110   3333 0.01
0.00/0.01	o 468
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       54     94      127     6610   52     2984     852    119   3176 0.02
0.00/0.02	o 412
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       56     94      132     6875   52     3070     852    124   3111 0.02
0.00/0.02	o 410
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       57     94      135     7077   52     3160     852    127   2999 0.02
0.00/0.02	o 373
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       60     94      142     7470   52     3222     852    134   2857 0.02
0.00/0.02	o 372
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       63     94      149     7862   52     3356     852    141   2739 0.02
0.00/0.02	o 301
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       67     94      158     8311   52     3377     852    150   2680 0.03
0.00/0.02	o 219
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       71     94      167     8755   52     3459     852    159   2629 0.03
0.00/0.02	o 215
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c       73     94      172     9006   52     3604     852    164   2703 0.03
0.00/0.03	o 205
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c       75     94      177     9250   52     3765     852    169   2678 0.03
0.00/0.03	o 201
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c       77     94      182     9606   52     3910     852    174   2655 0.03
0.00/0.03	o 176
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c       84     94      197    10490   53     4207     852    189   2625 0.03
0.00/0.03	o 159
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c       87     94      204    10808   52     4288     852    196   2558 0.03
0.00/0.03	o 132
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c       96     94      223    11771   52     4722     852    215   2594 0.04
0.00/0.04	o 120
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c       97     94      226    11971   52     4891     852    218   2552 0.04
0.00/0.04	o 118
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c       98     94      229    12098   52     4913     852    221   2512 0.04
0.00/0.04	o 116
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      104     94      242    12863   53     5152     852    234   2536 0.04
0.00/0.05	o 103
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      148     86      330    16644   50     7169     836    322   2642 0.06
0.00/0.05	o 91
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c      149     86      333    16830   50     7364     836    325   2614 0.06
0.00/0.07	o 90
0.00/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.08	c      185     86      406    19990   49     8596     836    398   2534 0.07
0.00/0.08	o 88
0.08/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.08	c      190     86      417    20647   49     8959     836    409   2405 0.08
0.08/0.08	o 80
0.08/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.09	c      200     86      438    21649   49     9264     836    430   2298 0.09
0.08/0.09	o 68
0.08/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.08/0.09	c      204     86      447    22127   49     9463     836    439   2241 0.09
0.08/0.09	o 29
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c      206     86      452    22373   49     9693     836    444   2215 0.09
0.09/0.15	c      306     70      640    30385   47    12806     920    632   2170 0.14
0.09/0.15	o 28
0.09/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.20	c      334     70      696    32606   46    12966     804    688   2168 0.15
0.09/0.20	o 22
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c      405     70      832    38330   46    14464     804    824   2045 0.20
0.19/0.25	o 21
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c      493     70      563    21325   37     7943     804    555   1956 0.25
0.19/0.25	o 19
0.39/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.44	c      494     70      566    21471   37     8011     804    558   1952 0.25
0.39/0.44	c      594     70      748    29091   38    10752     885    740   1993 0.30
0.39/0.44	c      844     70      698    24906   35     9511     974    690   1949 0.43
0.39/0.44	o 17
0.39/0.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.46	c      860     70      727    26142   35     9512     804    719   1941 0.44
0.39/0.46	o 13
0.39/0.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.48	c      896     70      788    28598   36    10018     804    780   1931 0.46
0.39/0.48	o 11
1.09/1.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.09/1.19	c      918     62      828    30126   36    10139     788    820   1916 0.48
1.09/1.19	c     1019     62      551    19858   36     7906     867    543   1908 0.53
1.09/1.19	c     1270     62      501    16439   32     6851     954    493   1887 0.67
1.09/1.19	c     1745     62      790    27856   35    10235    1050    782   1868 0.93
1.09/1.19	o 10
1.89/1.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.98	c     2198     62      967    32982   34    11256     788    959   1848 1.19
1.89/1.98	c     2298     62      578    20475   35     8637     867    570   1842 1.25
1.89/1.98	c     2548     62      527    17300   32     7368     954    519   1821 1.40
1.89/1.98	c     3024     62      800    26667   33     9749    1050    792   1794 1.69
1.89/1.98	o 8
2.38/2.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.38/2.46	c     3509     62     1029    34990   34    10842     788   1021   1774 1.98
2.38/2.46	c     3610     54      568    18352   32     6904     867    560   1772 2.04
2.38/2.46	c     3860     54      504    14851   29     6182     954    496   1779 2.17
2.38/2.46	c     4336     54      750    24003   32     8895    1050    742   1797 2.41
2.38/2.46	o 5
7.38/7.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.38/7.49	c     4430     54      890    28893   32     9834     772    882   1798 2.46
7.38/7.49	c     4530     54      564    18324   32     6927     850    556   1801 2.51
7.38/7.49	c     4780     54      507    15236   30     5995     936    499   1807 2.65
7.38/7.49	c     5255     54      711    21208   29     7441    1030    703   1813 2.90
7.38/7.49	c     6068     54      885    27867   31     9418    1134    877   1830 3.31
7.38/7.49	c     7388     54      635    17014   26     5581    1248    627   1847 4.00
7.38/7.49	c     9470     54      770    21917   28     7067    1373    762   1870 5.06
7.38/7.49	c    12694     54      704    17619   25     5938    1511    696   1830 6.94
7.38/7.49	o 3
12.39/12.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
12.39/12.43	c    13670     54     1490    47398   31    13500     772   1482   1824 7.49
12.39/12.43	c    13770     46      556    17816   32     6840     850    548   1821 7.56
12.39/12.43	c    14020     46      484    14054   29     5557     936    476   1820 7.70
12.39/12.43	c    14496     46      709    21821   30     7901    1030    701   1821 7.96
12.39/12.43	c    15309     46      862    27245   31     9331    1134    854   1820 8.41
12.39/12.43	c    16630     46     1123    36991   32    10648    1248   1115   1821 9.13
12.39/12.43	c    18711     46      993    29750   29     8294    1373    985   1826 10.24
12.39/12.43	c    21934     46      843    22932   27     6836    1511    835   1828 12.00
12.39/12.43	o 1
270.09/270.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
270.09/270.27	c    22745     46     1293    39691   30    11370     756   1285   1829 12.43
270.09/270.27	c    22846     46      547    16948   30     6598     832    539   1828 12.49
270.09/270.27	c    23096     46      472    13303   28     5081     916    464   1828 12.63
270.09/270.27	c    23571     30      626    17828   28     5790    1008    618   1831 12.87
270.09/270.27	c    24385     30      745    22518   30     6792    1109    737   1839 13.26
270.09/270.27	c    25705     30      949    28626   30     7804    1220    941   1853 13.87
270.09/270.27	c    27786     30      703    18133   25     5306    1343    695   1867 14.88
270.09/270.27	c    31010     30     1318    40526   30    10441    1478   1310   1885 16.45
270.09/270.27	c    35948     30     1466    43736   29     9771    1626   1458   1891 19.01
270.09/270.27	c    43456     30     1500    42870   28     9095    1789   1492   1909 22.76
270.09/270.27	c    54817     30     1790    57177   31    12369    1968   1782   1907 28.74
270.09/270.27	c    71963     30     2040    66141   32    15648    2165   2032   1851 38.86
270.09/270.27	c    97782     30     1234    35237   28     8569    2382   1226   1765 55.40
270.09/270.27	c   136614     30     2102    68052   32    14651    2621   2094   1667 81.94
270.09/270.27	c   194966     30     2144    72001   33    14928    2884   2136   1557 125.20
270.09/270.27	c   282598     29     2402    81285   33    19454    3173   2394   1481 190.75
270.09/270.27	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 x68 -x70 -x71 x72 x73 -x74 -x75 x76 x77 x78 -x79 -x80 -x81 x82 -x83 -x84 x85 x86 x87 x88 -x89 -x90 -x91 -x92 -x93 x94 x69 
270.09/270.27	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
270.09/270.27	c   86   377569   6481   386397     2664    77350   2656   1397 270.17
270.09/270.27	c Objective: 1
270.09/270.27	s OPTIMUM FOUND
270.09/270.27	c Total time: 270.168 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-1880623-1245240868/watcher-1880623-1245240868 -o /tmp/evaluation-result-1880623-1245240868/solver-1880623-1245240868 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880623-1245240868.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.07 1.02 0.94 3/65 24112
/proc/meminfo: memFree=1860904/2055920 swapFree=4182536/4192956
[pid=24112] ppid=24110 vsize=26328 CPUtime=0
/proc/24112/stat : 24112 (bsolo) R 24110 24112 23940 0 -1 4194304 260 0 0 0 0 0 0 0 20 0 1 0 191685515 26959872 243 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24112/statm: 6582 245 196 640 0 5938 0

[startup+0.087831 s]
/proc/loadavg: 1.07 1.02 0.94 3/65 24112
/proc/meminfo: memFree=1860904/2055920 swapFree=4182536/4192956
[pid=24112] ppid=24110 vsize=18912 CPUtime=0.08
/proc/24112/stat : 24112 (bsolo) R 24110 24112 23940 0 -1 4194304 385 0 0 0 8 0 0 0 20 0 1 0 191685515 19365888 368 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24112/statm: 4728 368 197 640 0 4084 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 18912

[startup+0.102833 s]
/proc/loadavg: 1.07 1.02 0.94 3/65 24112
/proc/meminfo: memFree=1860904/2055920 swapFree=4182536/4192956
[pid=24112] ppid=24110 vsize=19044 CPUtime=0.09
/proc/24112/stat : 24112 (bsolo) R 24110 24112 23940 0 -1 4194304 397 0 0 0 9 0 0 0 20 0 1 0 191685515 19501056 380 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24112/statm: 4761 380 197 640 0 4117 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19044

[startup+0.301872 s]
/proc/loadavg: 1.07 1.02 0.94 3/65 24112
/proc/meminfo: memFree=1860904/2055920 swapFree=4182536/4192956
[pid=24112] ppid=24110 vsize=19300 CPUtime=0.29
/proc/24112/stat : 24112 (bsolo) R 24110 24112 23940 0 -1 4194304 485 0 0 0 29 0 0 0 22 0 1 0 191685515 19763200 468 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24112/statm: 4825 468 197 640 0 4181 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19300

[startup+0.70195 s]
/proc/loadavg: 1.07 1.02 0.94 3/65 24112
/proc/meminfo: memFree=1860904/2055920 swapFree=4182536/4192956
[pid=24112] ppid=24110 vsize=19300 CPUtime=0.69
/proc/24112/stat : 24112 (bsolo) R 24110 24112 23940 0 -1 4194304 485 0 0 0 69 0 0 0 25 0 1 0 191685515 19763200 468 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24112/statm: 4825 468 197 640 0 4181 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19300

[startup+1.50111 s]
/proc/loadavg: 1.07 1.02 0.94 2/66 24113
/proc/meminfo: memFree=1859744/2055920 swapFree=4182536/4192956
[pid=24112] ppid=24110 vsize=19304 CPUtime=1.49
/proc/24112/stat : 24112 (bsolo) R 24110 24112 23940 0 -1 4194304 486 0 0 0 149 0 0 0 25 0 1 0 191685515 19767296 469 1992294400 134512640 137136520 4294956256 18446744073709551615 136509020 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24112/statm: 4826 469 197 640 0 4182 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19304

[startup+3.10142 s]
/proc/loadavg: 1.07 1.02 0.94 2/66 24113
/proc/meminfo: memFree=1859616/2055920 swapFree=4182536/4192956
[pid=24112] ppid=24110 vsize=19304 CPUtime=3.09
/proc/24112/stat : 24112 (bsolo) R 24110 24112 23940 0 -1 4194304 486 0 0 0 308 1 0 0 25 0 1 0 191685515 19767296 469 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24112/statm: 4826 469 197 640 0 4182 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19304

[startup+6.30105 s]
/proc/loadavg: 1.07 1.02 0.94 2/66 24113
/proc/meminfo: memFree=1859488/2055920 swapFree=4182536/4192956
[pid=24112] ppid=24110 vsize=19432 CPUtime=6.29
/proc/24112/stat : 24112 (bsolo) R 24110 24112 23940 0 -1 4194304 514 0 0 0 628 1 0 0 25 0 1 0 191685515 19898368 497 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24112/statm: 4858 497 197 640 0 4214 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19432

[startup+12.7013 s]
/proc/loadavg: 1.20 1.05 0.95 2/66 24113
/proc/meminfo: memFree=1859552/2055920 swapFree=4182536/4192956
[pid=24112] ppid=24110 vsize=19564 CPUtime=12.69
/proc/24112/stat : 24112 (bsolo) R 24110 24112 23940 0 -1 4194304 544 0 0 0 1267 2 0 0 25 0 1 0 191685515 20033536 527 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24112/statm: 4891 527 197 640 0 4247 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19564

[startup+25.5018 s]
/proc/loadavg: 1.17 1.05 0.95 2/66 24113
/proc/meminfo: memFree=1859680/2055920 swapFree=4182536/4192956
[pid=24112] ppid=24110 vsize=19692 CPUtime=25.48
/proc/24112/stat : 24112 (bsolo) R 24110 24112 23940 0 -1 4194304 584 0 0 0 2544 4 0 0 25 0 1 0 191685515 20164608 567 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24112/statm: 4923 567 197 640 0 4279 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19692

[startup+51.1029 s]
/proc/loadavg: 1.11 1.04 0.95 2/66 24113
/proc/meminfo: memFree=1859360/2055920 swapFree=4182536/4192956
[pid=24112] ppid=24110 vsize=20204 CPUtime=51.07
/proc/24112/stat : 24112 (bsolo) R 24110 24112 23940 0 -1 4194304 697 0 0 0 5099 8 0 0 25 0 1 0 191685515 20688896 680 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24112/statm: 5051 680 197 640 0 4407 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20204

[startup+102.305 s]
/proc/loadavg: 1.04 1.03 0.95 2/66 24113
/proc/meminfo: memFree=1858784/2055920 swapFree=4182536/4192956
[pid=24112] ppid=24110 vsize=20716 CPUtime=102.25
/proc/24112/stat : 24112 (bsolo) R 24110 24112 23940 0 -1 4194304 833 0 0 0 10211 14 0 0 25 0 1 0 191685515 21213184 816 1992294400 134512640 137136520 4294956256 18446744073709551615 136502201 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24112/statm: 5179 816 197 640 0 4535 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 20716

[startup+162.302 s]
/proc/loadavg: 1.01 1.02 0.95 2/66 24113
/proc/meminfo: memFree=1858400/2055920 swapFree=4182536/4192956
[pid=24112] ppid=24110 vsize=21100 CPUtime=162.23
/proc/24112/stat : 24112 (bsolo) R 24110 24112 23940 0 -1 4194304 923 0 0 0 16202 21 0 0 25 0 1 0 191685515 21606400 906 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24112/statm: 5275 906 197 640 0 4631 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 21100

[startup+222.301 s]
/proc/loadavg: 1.00 1.02 0.95 2/66 24113
/proc/meminfo: memFree=1857952/2055920 swapFree=4182536/4192956
[pid=24112] ppid=24110 vsize=21620 CPUtime=222.21
/proc/24112/stat : 24112 (bsolo) R 24110 24112 23940 0 -1 4194304 1040 0 0 0 22191 30 0 0 25 0 1 0 191685515 22138880 1023 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24112/statm: 5405 1023 197 640 0 4761 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 21620

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

[startup+230.302 s]
/proc/loadavg: 1.00 1.02 0.95 2/66 24113
/proc/meminfo: memFree=1857888/2055920 swapFree=4182536/4192956
[pid=24112] ppid=24110 vsize=21620 CPUtime=230.2
/proc/24112/stat : 24112 (bsolo) R 24110 24112 23940 0 -1 4194304 1056 0 0 0 22989 31 0 0 25 0 1 0 191685515 22138880 1039 1992294400 134512640 137136520 4294956256 18446744073709551615 134539410 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24112/statm: 5405 1039 197 640 0 4761 0
Current children cumulated CPU time (s) 230.2
Current children cumulated vsize (KiB) 21620

[startup+255.902 s]
/proc/loadavg: 1.00 1.01 0.95 2/66 24113
/proc/meminfo: memFree=1857888/2055920 swapFree=4182536/4192956
[pid=24112] ppid=24110 vsize=21620 CPUtime=255.8
/proc/24112/stat : 24112 (bsolo) R 24110 24112 23940 0 -1 4194304 1056 0 0 0 25546 34 0 0 25 0 1 0 191685515 22138880 1039 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24112/statm: 5405 1039 197 640 0 4761 0
Current children cumulated CPU time (s) 255.8
Current children cumulated vsize (KiB) 21620

[startup+262.301 s]
/proc/loadavg: 1.00 1.01 0.95 2/66 24113
/proc/meminfo: memFree=1857888/2055920 swapFree=4182536/4192956
[pid=24112] ppid=24110 vsize=21620 CPUtime=262.19
/proc/24112/stat : 24112 (bsolo) R 24110 24112 23940 0 -1 4194304 1056 0 0 0 26185 34 0 0 25 0 1 0 191685515 22138880 1039 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24112/statm: 5405 1039 197 640 0 4761 0
Current children cumulated CPU time (s) 262.19
Current children cumulated vsize (KiB) 21620

[startup+265.502 s]
/proc/loadavg: 1.00 1.01 0.95 2/66 24113
/proc/meminfo: memFree=1857888/2055920 swapFree=4182536/4192956
[pid=24112] ppid=24110 vsize=21620 CPUtime=265.4
/proc/24112/stat : 24112 (bsolo) R 24110 24112 23940 0 -1 4194304 1056 0 0 0 26505 35 0 0 25 0 1 0 191685515 22138880 1039 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24112/statm: 5405 1039 197 640 0 4761 0
Current children cumulated CPU time (s) 265.4
Current children cumulated vsize (KiB) 21620

[startup+268.701 s]
/proc/loadavg: 1.00 1.01 0.95 2/66 24113
/proc/meminfo: memFree=1857888/2055920 swapFree=4182536/4192956
[pid=24112] ppid=24110 vsize=21620 CPUtime=268.59
/proc/24112/stat : 24112 (bsolo) R 24110 24112 23940 0 -1 4194304 1056 0 0 0 26824 35 0 0 25 0 1 0 191685515 22138880 1039 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24112/statm: 5405 1039 197 640 0 4761 0
Current children cumulated CPU time (s) 268.59
Current children cumulated vsize (KiB) 21620

[startup+269.506 s]
/proc/loadavg: 1.00 1.01 0.95 2/66 24113
/proc/meminfo: memFree=1857888/2055920 swapFree=4182536/4192956
[pid=24112] ppid=24110 vsize=21620 CPUtime=269.39
/proc/24112/stat : 24112 (bsolo) R 24110 24112 23940 0 -1 4194304 1056 0 0 0 26904 35 0 0 25 0 1 0 191685515 22138880 1039 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24112/statm: 5405 1039 197 640 0 4761 0
Current children cumulated CPU time (s) 269.39
Current children cumulated vsize (KiB) 21620

[startup+269.902 s]
/proc/loadavg: 1.00 1.01 0.95 2/66 24113
/proc/meminfo: memFree=1857888/2055920 swapFree=4182536/4192956
[pid=24112] ppid=24110 vsize=21620 CPUtime=269.79
/proc/24112/stat : 24112 (bsolo) R 24110 24112 23940 0 -1 4194304 1056 0 0 0 26944 35 0 0 25 0 1 0 191685515 22138880 1039 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24112/statm: 5405 1039 197 640 0 4761 0
Current children cumulated CPU time (s) 269.79
Current children cumulated vsize (KiB) 21620

[startup+270.102 s]
/proc/loadavg: 1.00 1.01 0.95 2/66 24113
/proc/meminfo: memFree=1857888/2055920 swapFree=4182536/4192956
[pid=24112] ppid=24110 vsize=21620 CPUtime=269.99
/proc/24112/stat : 24112 (bsolo) R 24110 24112 23940 0 -1 4194304 1056 0 0 0 26964 35 0 0 25 0 1 0 191685515 22138880 1039 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24112/statm: 5405 1039 197 640 0 4761 0
Current children cumulated CPU time (s) 269.99
Current children cumulated vsize (KiB) 21620

[startup+270.202 s]
/proc/loadavg: 1.00 1.01 0.95 2/66 24113
/proc/meminfo: memFree=1857888/2055920 swapFree=4182536/4192956
[pid=24112] ppid=24110 vsize=21620 CPUtime=270.09
/proc/24112/stat : 24112 (bsolo) R 24110 24112 23940 0 -1 4194304 1056 0 0 0 26974 35 0 0 25 0 1 0 191685515 22138880 1039 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24112/statm: 5405 1039 197 640 0 4761 0
Current children cumulated CPU time (s) 270.09
Current children cumulated vsize (KiB) 21620

Child status: 0
Real time (s): 270.272
CPU time (s): 270.171
CPU user time (s): 269.812
CPU system time (s): 0.358945
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 21620

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

runsolver used 0.337948 second user time and 0.548916 second system time

The end

Launcher Data 

Begin job on node77 at 2009-06-17 14:14:28
IDJOB=1880623
IDBENCH=2916
IDSOLVER=701
FILE ID=node77/1880623-1245240868
PBS_JOBID= 9372274
Free space on /tmp= 66320 MiB

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

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

MD5SUM BENCH= 031b0f629913e7cd5c934f00ec1a1885
RANDOM SEED=91190051

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1862152 kB
Buffers:         14064 kB
Cached:         116024 kB
SwapCached:       3124 kB
Active:          25072 kB
Inactive:       111192 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1862152 kB
SwapTotal:     4192956 kB
SwapFree:      4182536 kB
Dirty:            3940 kB
Writeback:           0 kB
Mapped:          13808 kB
Slab:            43412 kB
Committed_AS:   134916 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1880623-1245240868.opb

Free space on /tmp at the end= 66316 MiB
End job on node77 at 2009-06-17 14:18:58