Trace number 2705212

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 NameAnswerCPU timeWall clock time
SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver? 1790.71 1790.67

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/
normalized-j9014_1-unsat--soft-66-100-0.wbo
MD5SUM6c5df40b176000d7248c596dfbe96e3b
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark0.160974
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables16198
Total number of constraints50975
Number of soft constraints17448
Number of constraints which are clauses50623
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints352
Minimum length of a constraint1
Maximum length of a constraint90
Top cost 887339
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 887338
Biggest number in a constraint 51
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 588
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2705212-1278576540.wbo>
0.39/0.43	c original problem has 51094 variables (33646 bin, 0 int, 17448 impl, 0 cont) and 68424 constraints
0.39/0.43	c problem read
0.39/0.43	c presolving settings loaded
1.29/1.36	c presolving:
1.69/1.71	c (round 1) 1337 del vars, 4532 del conss, 787 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 619224 impls, 0 clqs
1.99/2.02	c (round 2) 4174 del vars, 13345 del conss, 2086 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 635590 impls, 0 clqs
2.29/2.36	c (round 3) 9083 del vars, 21837 del conss, 2983 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 642396 impls, 0 clqs
2.59/2.62	c (round 4) 14521 del vars, 27834 del conss, 3646 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 648155 impls, 0 clqs
2.69/2.79	c (round 5) 18535 del vars, 31714 del conss, 4099 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 650433 impls, 0 clqs
2.89/2.90	c (round 6) 21181 del vars, 34193 del conss, 4357 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 651619 impls, 0 clqs
2.89/2.97	c (round 7) 22894 del vars, 35564 del conss, 4493 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 652334 impls, 0 clqs
2.99/3.01	c (round 8) 23895 del vars, 36314 del conss, 4571 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 652621 impls, 0 clqs
2.99/3.04	c (round 9) 24403 del vars, 36790 del conss, 4628 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 652869 impls, 0 clqs
2.99/3.06	c (round 10) 24710 del vars, 37066 del conss, 4658 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 652955 impls, 0 clqs
2.99/3.07	c (round 11) 24917 del vars, 37251 del conss, 4685 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 652989 impls, 0 clqs
2.99/3.09	c (round 12) 25043 del vars, 37465 del conss, 4702 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 653003 impls, 0 clqs
3.09/3.10	c (round 13) 25163 del vars, 37631 del conss, 4711 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 653007 impls, 0 clqs
3.09/3.12	c (round 14) 25282 del vars, 37710 del conss, 4721 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 653007 impls, 0 clqs
3.09/3.13	c (round 15) 25353 del vars, 37765 del conss, 4732 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 653037 impls, 0 clqs
3.09/3.14	c (round 16) 25393 del vars, 37808 del conss, 4736 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 653039 impls, 0 clqs
3.09/3.15	c (round 17) 25425 del vars, 37828 del conss, 4739 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 653039 impls, 0 clqs
3.09/3.16	c (round 18) 25452 del vars, 37874 del conss, 4751 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 653050 impls, 0 clqs
3.09/3.17	c (round 19) 25472 del vars, 37897 del conss, 4751 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 653050 impls, 0 clqs
3.20/3.21	c (round 20) 25494 del vars, 37906 del conss, 13211 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 653050 impls, 0 clqs
3.20/3.23	c (round 21) 25532 del vars, 37935 del conss, 13211 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 653178 impls, 0 clqs
3.30/3.39	c (round 22) 25532 del vars, 37935 del conss, 13211 chg bounds, 0 chg sides, 0 chg coeffs, 14422 upgd conss, 670085 impls, 0 clqs
9.90/9.94	c    (9.5s) probing: 1000/17102 (5.8%) - 0 fixings, 0 aggregations, 50738 implications, 0 bound changes
15.49/15.52	c    (15.1s) probing: 2000/17102 (11.7%) - 0 fixings, 0 aggregations, 58448 implications, 0 bound changes
15.49/15.53	c    (15.1s) probing: 2001/17102 (11.7%) - 0 fixings, 0 aggregations, 58450 implications, 0 bound changes
15.49/15.53	c    (15.1s) probing aborted: 2000/2000 successive useless probings
15.49/15.53	c presolving (23 rounds):
15.49/15.53	c  25532 deleted vars, 37935 deleted constraints, 13211 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
15.49/15.53	c  923607 implications, 0 cliques
15.49/15.53	c presolved problem has 25562 variables (17102 bin, 0 int, 8460 impl, 0 cont) and 30489 constraints
15.49/15.53	c     855 constraints of type <varbound>
15.49/15.53	c     211 constraints of type <knapsack>
15.49/15.53	c   11065 constraints of type <setppc>
15.49/15.53	c    7607 constraints of type <linear>
15.49/15.53	c    8460 constraints of type <indicator>
15.49/15.53	c    2291 constraints of type <logicor>
15.49/15.53	c transformed objective value is always integral (scale: 1)
15.49/15.53	c Presolving Time: 14.93
15.49/15.53	c - non default parameters ----------------------------------------------------------------------
15.49/15.53	c # SCIP version 1.2.1.3
15.49/15.53	c 
15.49/15.53	c # frequency for displaying node information lines
15.49/15.53	c # [type: int, range: [-1,2147483647], default: 100]
15.49/15.53	c display/freq = 10000
15.49/15.53	c 
15.49/15.53	c # maximal time in seconds to run
15.49/15.53	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.49/15.53	c limits/time = 1789.58
15.49/15.53	c 
15.49/15.53	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
15.49/15.53	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.49/15.53	c limits/memory = 3420
15.49/15.53	c 
15.49/15.53	c # default clock type (1: CPU user seconds, 2: wall clock time)
15.49/15.53	c # [type: int, range: [1,2], default: 1]
15.49/15.53	c timing/clocktype = 2
15.49/15.53	c 
15.49/15.53	c # should presolving try to simplify inequalities
15.49/15.53	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.49/15.53	c constraints/linear/simplifyinequalities = TRUE
15.49/15.53	c 
15.49/15.53	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
15.49/15.53	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.49/15.53	c constraints/indicator/addCouplingCons = TRUE
15.49/15.53	c 
15.49/15.53	c # should presolving try to simplify knapsacks
15.49/15.53	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.49/15.53	c constraints/knapsack/simplifyinequalities = TRUE
15.49/15.53	c 
15.49/15.53	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
15.49/15.53	c # [type: int, range: [-1,2147483647], default: -1]
15.49/15.53	c separating/rapidlearning/freq = 0
15.49/15.53	c 
15.49/15.53	c -----------------------------------------------------------------------------------------------
15.49/15.53	c start solving
15.49/15.54	c 
15.89/15.99	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
15.89/15.99	c  15.6s|     1 |     0 |  2378 |     - | 180M|   0 |1594 |  25k|  30k|  25k|  13k|   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
19.99/20.03	c  19.6s|     1 |     0 |  3799 |     - | 185M|   0 |1069 |  25k|  30k|  25k|  15k|2000 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
22.89/22.96	c  22.5s|     1 |     0 |  4645 |     - | 187M|   0 |1031 |  25k|  30k|  25k|  15k|2330 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
27.68/27.70	c  27.3s|     1 |     0 |  5714 |     - | 188M|   0 | 842 |  25k|  30k|  25k|  16k|2599 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
30.89/30.90	c  30.5s|     1 |     0 |  7128 |     - | 188M|   0 |1166 |  25k|  30k|  25k|  16k|2875 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
38.29/38.38	c  38.0s|     1 |     0 |  8738 |     - | 189M|   0 | 750 |  25k|  30k|  25k|  16k|3163 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
45.59/45.62	c  45.2s|     1 |     0 | 11381 |     - | 189M|   0 | 708 |  25k|  30k|  25k|  17k|3427 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
53.99/54.04	c  53.6s|     1 |     0 | 14266 |     - | 190M|   0 | 761 |  25k|  30k|  25k|  17k|3698 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
64.99/65.01	c  64.6s|     1 |     0 | 18267 |     - | 191M|   0 | 876 |  25k|  30k|  25k|  17k|3917 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
85.70/85.79	c  85.4s|     1 |     2 | 18267 |     - | 191M|   0 | 876 |  25k|  30k|  25k|  17k|3917 |   0 |  17 | 0.000000e+00 |      --      |    Inf 
1650.53/1650.52	c  1650s| 10000 |  9997 |925330 |  90.7 | 310M| 443 | 755 |  25k|  30k|  25k|  15k|4246 | 110 |4654 | 0.000000e+00 |      --      |    Inf 
1790.04/1790.02	c 
1790.04/1790.02	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.02	c Solving Time (sec) : 1789.60
1790.04/1790.02	c Solving Nodes      : 10998
1790.04/1790.02	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1790.04/1790.02	c Dual Bound         : +0.00000000000000e+00
1790.04/1790.02	c Gap                : infinite
1790.04/1790.02	s UNKNOWN
1790.04/1790.02	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.02	c Solving Time       :    1789.60
1790.04/1790.02	c Original Problem   :
1790.04/1790.02	c   Problem name     : HOME/instance-2705212-1278576540.wbo
1790.04/1790.02	c   Variables        : 51094 (33646 binary, 0 integer, 17448 implicit integer, 0 continuous)
1790.04/1790.02	c   Constraints      : 68424 initial, 68424 maximal
1790.04/1790.02	c Presolved Problem  :
1790.04/1790.02	c   Problem name     : t_HOME/instance-2705212-1278576540.wbo
1790.04/1790.02	c   Variables        : 25562 (17102 binary, 0 integer, 8460 implicit integer, 0 continuous)
1790.04/1790.02	c   Constraints      : 30489 initial, 30570 maximal
1790.04/1790.02	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.04/1790.02	c   trivial          :       0.04        233          0          0          0          0          0          0          0
1790.04/1790.02	c   dualfix          :       0.07      19058          0          0          0          0          0          0          0
1790.04/1790.02	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.02	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.02	c   implics          :       0.04          0          0          0          0          0          0          0          0
1790.04/1790.02	c   probing          :      12.05          0          0          0          0          0          0          0          0
1790.04/1790.02	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.02	c   knapsack         :       0.04          0          0          0          0          0          0          0          0
1790.04/1790.02	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1790.04/1790.02	c   linear           :       1.28       4518       1723          0      13211          0      28947          0          0
1790.04/1790.02	c   indicator        :       0.56          0          0          0          0          0       8988          0          0
1790.04/1790.02	c   logicor          :       0.02          0          0          0          0          0          0          0          0
1790.04/1790.02	c   root node        :          -          0          -          -          0          -          -          -          -
1790.04/1790.02	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.02	c   integral         :          0          0          0      11004          0          0          0          0          0      21988
1790.04/1790.02	c   varbound         :        855          8      79518         10          1          0       2444        503          0          0
1790.04/1790.02	c   knapsack         :        211          8      79518          2          1          1      36651        697          0          0
1790.04/1790.02	c   setppc           :      11065          8      79517          2          1          2      96148          0          0          0
1790.04/1790.02	c   linear           :       7607          8      79515          2          1          0      11463       1792          0          0
1790.04/1790.02	c   indicator        :       8460          0      79515         10          1          0      11046          0          0          0
1790.04/1790.02	c   logicor          :       2291+         8      36360          0          1          3      11762          0          0          0
1790.04/1790.02	c   countsols        :          0          0          0          0          1          0          0          0          0          0
1790.04/1790.02	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.04/1790.02	c   integral         :     486.98       0.00       0.00     486.98       0.00
1790.04/1790.02	c   varbound         :       2.59       0.00       2.59       0.00       0.00
1790.04/1790.02	c   knapsack         :       1.86       0.03       1.83       0.00       0.00
1790.04/1790.02	c   setppc           :      19.86       0.01      19.85       0.00       0.00
1790.04/1790.02	c   linear           :      12.83       0.03      12.79       0.00       0.00
1790.04/1790.02	c   indicator        :      50.74       0.00      50.70       0.03       0.00
1790.04/1790.02	c   logicor          :       0.28       0.00       0.28       0.00       0.00
1790.04/1790.02	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1790.04/1790.02	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.04/1790.02	c   vbounds          :       0.10       1092          0          0
1790.04/1790.02	c   rootredcost      :       0.03          0          0          0
1790.04/1790.02	c   pseudoobj        :      25.70      70282          0          0
1790.04/1790.02	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.04/1790.02	c   propagation      :       0.00          6          6         10       13.8          0        0.0          -
1790.04/1790.02	c   infeasible LP    :       0.14         26         26        146       52.0          2        3.0          0
1790.04/1790.02	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.02	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.02	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.04/1790.02	c   applied globally :          -          -          -        112       41.5          -          -          -
1790.04/1790.02	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.04/1790.02	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.04/1790.02	c   cut pool         :       0.01          7          -          -        318          -    (maximal pool size: 3560)
1790.04/1790.02	c   redcost          :      20.81      11011          0          0          0          0
1790.04/1790.02	c   impliedbounds    :       0.03          8          0          0       2123          0
1790.04/1790.02	c   intobj           :       0.00          0          0          0          0          0
1790.04/1790.02	c   cgmip            :       0.00          0          0          0          0          0
1790.04/1790.02	c   gomory           :      13.99          8          0          0       1958          0
1790.04/1790.02	c   strongcg         :       8.99          8          0          0       3169          0
1790.04/1790.02	c   cmir             :       1.55          8          0          0          0          0
1790.04/1790.02	c   flowcover        :       3.98          8          0          0        738          0
1790.04/1790.02	c   clique           :       0.60          8          0          0         48          0
1790.04/1790.02	c   zerohalf         :       0.00          0          0          0          0          0
1790.04/1790.02	c   mcf              :       0.03          1          0          0          0          0
1790.04/1790.02	c   rapidlearning    :       0.00          0          0          0          0          0
1790.04/1790.02	c Pricers            :       Time      Calls       Vars
1790.04/1790.02	c   problem variables:       0.00          0          0
1790.04/1790.02	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.02	c   relpscost        :     486.94      10994          0          0          0          0      21988
1790.04/1790.02	c   pscost           :       0.00          0          0          0          0          0          0
1790.04/1790.02	c   inference        :       0.01          1          0          0          0          0          2
1790.04/1790.02	c   mostinf          :       0.00          0          0          0          0          0          0
1790.04/1790.02	c   leastinf         :       0.00          0          0          0          0          0          0
1790.04/1790.02	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.04/1790.02	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.04/1790.02	c   random           :       0.00          0          0          0          0          0          0
1790.04/1790.02	c Primal Heuristics  :       Time      Calls      Found
1790.04/1790.02	c   LP solutions     :       0.00          -          0
1790.04/1790.02	c   pseudo solutions :       0.00          -          0
1790.04/1790.02	c   oneopt           :       0.02          0          0
1790.04/1790.02	c   crossover        :       0.01          0          0
1790.04/1790.02	c   intshifting      :       0.00          0          0
1790.04/1790.02	c   guideddiving     :       0.00          0          0
1790.04/1790.02	c   rootsoldiving    :       9.56          4          0
1790.04/1790.02	c   pscostdiving     :     104.75         10          0
1790.04/1790.02	c   linesearchdiving :      63.95         10          0
1790.04/1790.02	c   veclendiving     :      64.66         10          0
1790.04/1790.02	c   coefdiving       :      77.47         11          0
1790.04/1790.02	c   fracdiving       :     114.99         11          0
1790.04/1790.02	c   feaspump         :       1.31          6          0
1790.04/1790.02	c   objpscostdiving  :      17.48          6          0
1790.04/1790.02	c   trivial          :       0.70          2          0
1790.04/1790.02	c   simplerounding   :       0.05      10982          0
1790.04/1790.02	c   zirounding       :       0.65       1000          0
1790.04/1790.02	c   rounding         :       1.24       1433          0
1790.04/1790.02	c   shifting         :       3.27        439          0
1790.04/1790.02	c   twoopt           :       0.00          0          0
1790.04/1790.02	c   fixandinfer      :       0.00          0          0
1790.04/1790.02	c   intdiving        :       0.00          0          0
1790.04/1790.02	c   actconsdiving    :       0.00          0          0
1790.04/1790.02	c   octane           :       0.00          0          0
1790.04/1790.02	c   rens             :       0.29          1          0
1790.04/1790.02	c   rins             :       0.00          0          0
1790.04/1790.02	c   localbranching   :       0.00          0          0
1790.04/1790.02	c   mutation         :       0.00          0          0
1790.04/1790.02	c   dins             :       0.00          0          0
1790.04/1790.02	c   undercover       :       0.00          0          0
1790.04/1790.02	c   nlp              :       0.00          0          0
1790.04/1790.02	c   trysol           :       0.01          0          0
1790.04/1790.02	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.04/1790.02	c   primal LP        :       0.02          0          0       0.00       0.00
1790.04/1790.02	c   dual LP          :     664.61      10998     754949      68.64    1135.93
1790.04/1790.02	c   lex dual LP      :       0.00          0          0       0.00          -
1790.04/1790.02	c   barrier LP       :       0.00          0          0       0.00          -
1790.04/1790.02	c   diving/probing LP:     336.71      15591     257450      16.51     764.61
1790.04/1790.02	c   strong branching :     484.88       5095     493033      96.77    1016.81
1790.04/1790.02	c     (at root node) :          -         17      15395     905.59          -
1790.04/1790.02	c   conflict analysis:       0.00          0          0       0.00          -
1790.04/1790.02	c B&B Tree           :
1790.04/1790.02	c   number of runs   :          1
1790.04/1790.02	c   nodes            :      10998
1790.04/1790.02	c   nodes (total)    :      10998
1790.04/1790.02	c   nodes left       :      10993
1790.04/1790.02	c   max depth        :        443
1790.04/1790.02	c   max depth (total):        443
1790.04/1790.02	c   backtracks       :         83 (0.8%)
1790.04/1790.02	c   delayed cutoffs  :          0
1790.04/1790.02	c   repropagations   :         24 (193 domain reductions, 0 cutoffs)
1790.04/1790.02	c   avg switch length:       2.05
1790.04/1790.02	c   switching time   :       4.81
1790.04/1790.02	c Solution           :
1790.04/1790.02	c   Solutions found  :          0 (0 improvements)
1790.04/1790.02	c   Primal Bound     :          -
1790.04/1790.02	c   Dual Bound       : +0.00000000000000e+00
1790.04/1790.02	c   Gap              :   infinite
1790.04/1790.02	c   Root Dual Bound  : +0.00000000000000e+00
1790.04/1790.02	c   Root Iterations  :      18267
1790.63/1790.66	c Time complete: 1790.7.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2705212-1278576540/watcher-2705212-1278576540 -o /tmp/evaluation-result-2705212-1278576540/solver-2705212-1278576540 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705212-1278576540.wbo -t 1800 -m 3800 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 20203
/proc/meminfo: memFree=27393936/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=12552 CPUtime=0
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 1973 0 0 0 0 0 0 0 20 0 1 0 25867103 12853248 1891 4089446400 4194304 10345943 140736449652704 18446744073709551615 4327539 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/20203/statm: 3138 1891 429 1502 0 1631 0

[startup+0.0481159 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 20203
/proc/meminfo: memFree=27393936/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=23960 CPUtime=0.04
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 4842 0 0 0 4 0 0 0 20 0 1 0 25867103 24535040 4760 4089446400 4194304 10345943 140736449652704 18446744073709551615 4246004 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20203/statm: 5990 4760 430 1502 0 4483 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 23960

[startup+0.101122 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 20203
/proc/meminfo: memFree=27393936/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=33252 CPUtime=0.09
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 7176 0 0 0 9 0 0 0 20 0 1 0 25867103 34050048 7094 4089446400 4194304 10345943 140736449652704 18446744073709551615 9137699 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20203/statm: 8313 7094 430 1502 0 6806 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33252

[startup+0.301088 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 20203
/proc/meminfo: memFree=27393936/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=67764 CPUtime=0.29
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 15789 0 0 0 27 2 0 0 20 0 1 0 25867103 69390336 15707 4089446400 4194304 10345943 140736449652704 18446744073709551615 9253514 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20203/statm: 16941 15707 430 1502 0 15434 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 67764

[startup+0.701019 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 20203
/proc/meminfo: memFree=27393936/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=196272 CPUtime=0.7
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 46970 0 0 0 64 6 0 0 21 0 1 0 25867103 200982528 46498 4089446400 4194304 10345943 140736449652704 18446744073709551615 4601338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20203/statm: 49068 46498 507 1502 0 47561 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 196272

[startup+1.50087 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20204
/proc/meminfo: memFree=27206068/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=211488 CPUtime=1.49
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 50803 0 0 0 143 6 0 0 23 0 1 0 25867103 216563712 50331 4089446400 4194304 10345943 140736449652704 18446744073709551615 4287424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20203/statm: 52872 50331 536 1502 0 51365 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 211488

[startup+3.1006 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20204
/proc/meminfo: memFree=27176560/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=228480 CPUtime=3.09
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 55002 0 0 0 302 7 0 0 25 0 1 0 25867103 233963520 54530 4089446400 4194304 10345943 140736449652704 18446744073709551615 4287424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20203/statm: 57120 54530 543 1502 0 55613 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 228480

[startup+6.30103 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20204
/proc/meminfo: memFree=27159572/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=241576 CPUtime=6.29
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 59007 0 0 0 622 7 0 0 25 0 1 0 25867103 247373824 57752 4089446400 4194304 10345943 140736449652704 18446744073709551615 6014148 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20203/statm: 60394 57752 591 1502 0 58887 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 241576

[startup+12.7009 s]
/proc/loadavg: 2.00 2.00 1.91 2/174 20222
/proc/meminfo: memFree=28932872/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=243616 CPUtime=12.69
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 59522 0 0 0 1262 7 0 0 25 0 1 0 25867103 249462784 58267 4089446400 4194304 10345943 140736449652704 18446744073709551615 5309923 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20203/statm: 60904 58267 596 1502 0 59397 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 243616

[startup+25.5006 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20233
/proc/meminfo: memFree=28478932/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=310744 CPUtime=25.49
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 74774 0 0 0 2540 9 0 0 25 0 1 0 25867103 318201856 73480 4089446400 4194304 10345943 140736449652704 18446744073709551615 5931069 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 77686 73480 773 1502 0 76179 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 310744

[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20233
/proc/meminfo: memFree=28448856/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=326792 CPUtime=51.09
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 78658 0 0 0 5098 11 0 0 25 0 1 0 25867103 334635008 77343 4089446400 4194304 10345943 140736449652704 18446744073709551615 6337549 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 81698 77343 785 1502 0 80191 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 326792

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20235
/proc/meminfo: memFree=28331748/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=343088 CPUtime=102.29
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 108941 0 0 0 10208 21 0 0 25 0 1 0 25867103 351322112 79530 4089446400 4194304 10345943 140736449652704 18446744073709551615 6856943 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 85772 79530 793 1502 0 84265 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 343088

[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20236
/proc/meminfo: memFree=28306476/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=343384 CPUtime=162.29
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 115502 0 0 0 16202 27 0 0 25 0 1 0 25867103 351625216 78663 4089446400 4194304 10345943 140736449652704 18446744073709551615 6856970 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 85846 78663 794 1502 0 84339 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 343384

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20237
/proc/meminfo: memFree=28275428/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=342860 CPUtime=222.29
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 153192 0 0 0 22191 38 0 0 25 0 1 0 25867103 351088640 79147 4089446400 4194304 10345943 140736449652704 18446744073709551615 7568673 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 85715 79147 794 1502 0 84208 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 342860

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20239
/proc/meminfo: memFree=28241900/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=333540 CPUtime=282.3
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 156037 0 0 0 28187 43 0 0 25 0 1 0 25867103 341544960 79827 4089446400 4194304 10345943 140736449652704 18446744073709551615 6785161 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 83385 79827 794 1502 0 81878 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 333540

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20241
/proc/meminfo: memFree=28212588/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=335936 CPUtime=342.3
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 159749 0 0 0 34182 48 0 0 25 0 1 0 25867103 343998464 79745 4089446400 4194304 10345943 140736449652704 18446744073709551615 6856987 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 83984 79745 796 1502 0 82477 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 335936

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20243
/proc/meminfo: memFree=28184392/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=337524 CPUtime=402.3
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 164387 0 0 0 40175 55 0 0 25 0 1 0 25867103 345624576 80306 4089446400 4194304 10345943 140736449652704 18446744073709551615 7569454 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 84381 80306 796 1502 0 82874 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 337524

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20244
/proc/meminfo: memFree=28152968/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=337536 CPUtime=462.3
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 169129 0 0 0 46170 60 0 0 25 0 1 0 25867103 345636864 80612 4089446400 4194304 10345943 140736449652704 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 84384 80612 797 1502 0 82877 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 337536

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20245
/proc/meminfo: memFree=28122652/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=338320 CPUtime=522.31
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 173695 0 0 0 52166 65 0 0 25 0 1 0 25867103 346439680 80826 4089446400 4194304 10345943 140736449652704 18446744073709551615 7546848 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 84580 80826 797 1502 0 83073 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 338320

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20249
/proc/meminfo: memFree=28096180/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=340880 CPUtime=582.3
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 177090 0 0 0 58161 69 0 0 25 0 1 0 25867103 349061120 81185 4089446400 4194304 10345943 140736449652704 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 85220 81185 797 1502 0 83713 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 340880

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20252
/proc/meminfo: memFree=28059340/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=340852 CPUtime=642.31
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 190887 0 0 0 64156 75 0 0 25 0 1 0 25867103 349032448 81298 4089446400 4194304 10345943 140736449652704 18446744073709551615 7606744 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 85213 81298 797 1502 0 83706 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 340852

[startup+702.301 s]

################
# More data... #
################

/proc/meminfo: memFree=27791656/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=401440 CPUtime=1062.32
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 557563 0 0 0 106062 170 0 0 25 0 1 0 25867103 411074560 94516 4089446400 4194304 10345943 140736449652704 18446744073709551615 4881881 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 100360 94516 787 1502 0 98853 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 401440

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20264
/proc/meminfo: memFree=27751920/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=407404 CPUtime=1122.32
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 600111 0 0 0 112047 185 0 0 25 0 1 0 25867103 417181696 96591 4089446400 4194304 10345943 140736449652704 18446744073709551615 6566400 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 101851 96591 787 1502 0 100344 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 407404

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20266
/proc/meminfo: memFree=27714928/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=429892 CPUtime=1182.32
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 650708 0 0 0 118032 200 0 0 25 0 1 0 25867103 440209408 99476 4089446400 4194304 10345943 140736449652704 18446744073709551615 7578719 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 107473 99476 787 1502 0 105966 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 429892

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20268
/proc/meminfo: memFree=27676940/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=421252 CPUtime=1242.32
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 684457 0 0 0 124020 212 0 0 25 0 1 0 25867103 431362048 100548 4089446400 4194304 10345943 140736449652704 18446744073709551615 7520175 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 105313 100548 787 1502 0 103806 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 421252

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 20270
/proc/meminfo: memFree=27644900/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=432892 CPUtime=1302.32
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 699708 0 0 0 130014 218 0 0 25 0 1 0 25867103 443281408 102952 4089446400 4194304 10345943 140736449652704 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 108223 102952 787 1502 0 106716 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 432892

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 1.92 3/179 20271
/proc/meminfo: memFree=27612616/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=447488 CPUtime=1362.32
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 741193 0 0 0 136000 232 0 0 25 0 1 0 25867103 458227712 103479 4089446400 4194304 10345943 140736449652704 18446744073709551615 6566256 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 111872 103479 787 1502 0 110365 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 447488

[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 1.93 3/179 20272
/proc/meminfo: memFree=27583188/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=437888 CPUtime=1422.33
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 809942 0 0 0 141987 246 0 0 25 0 1 0 25867103 448397312 104335 4089446400 4194304 10345943 140736449652704 18446744073709551615 7568935 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 109472 104335 787 1502 0 107965 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 437888

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/179 20274
/proc/meminfo: memFree=27544960/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=445516 CPUtime=1482.32
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 834063 0 0 0 147978 254 0 0 25 0 1 0 25867103 456208384 106565 4089446400 4194304 10345943 140736449652704 18446744073709551615 7568673 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 111379 106565 787 1502 0 109872 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 445516

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 20276
/proc/meminfo: memFree=27518016/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=452284 CPUtime=1542.33
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 861526 0 0 0 153969 264 0 0 25 0 1 0 25867103 463138816 107487 4089446400 4194304 10345943 140736449652704 18446744073709551615 6108031 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 113071 107487 787 1502 0 111564 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 452284

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/179 20278
/proc/meminfo: memFree=27487712/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=457948 CPUtime=1602.33
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 916635 0 0 0 159954 279 0 0 25 0 1 0 25867103 468938752 108953 4089446400 4194304 10345943 140736449652704 18446744073709551615 7569467 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 114487 108953 787 1502 0 112980 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 457948

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 20279
/proc/meminfo: memFree=27457396/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=473352 CPUtime=1662.33
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 1002365 0 0 0 165936 297 0 0 25 0 1 0 25867103 484712448 109525 4089446400 4194304 10345943 140736449652704 18446744073709551615 7578719 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 118338 109525 787 1502 0 116831 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 473352

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 20280
/proc/meminfo: memFree=27418168/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=474264 CPUtime=1722.33
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 1086337 0 0 0 171920 313 0 0 25 0 1 0 25867103 485646336 112475 4089446400 4194304 10345943 140736449652704 18446744073709551615 7578757 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 118566 112475 787 1502 0 117059 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 474264

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 20282
/proc/meminfo: memFree=27380176/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=485032 CPUtime=1782.33
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 1109704 0 0 0 177912 321 0 0 25 0 1 0 25867103 496672768 113102 4089446400 4194304 10345943 140736449652704 18446744073709551615 6566321 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 121258 113102 787 1502 0 119751 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 485032

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 20282
/proc/meminfo: memFree=27378068/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=474228 CPUtime=1785.53
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 1110405 0 0 0 178232 321 0 0 25 0 1 0 25867103 485609472 113027 4089446400 4194304 10345943 140736449652704 18446744073709551615 7569554 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 118557 113027 787 1502 0 117050 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 474228

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 20282
/proc/meminfo: memFree=27376208/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=474092 CPUtime=1788.74
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 1112516 0 0 0 178552 322 0 0 25 0 1 0 25867103 485470208 113032 4089446400 4194304 10345943 140736449652704 18446744073709551615 7568918 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 118523 113032 787 1502 0 117016 0
Current children cumulated CPU time (s) 1788.74
Current children cumulated vsize (KiB) 474092

[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 20282
/proc/meminfo: memFree=27376208/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=474092 CPUtime=1789.54
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 1112526 0 0 0 178632 322 0 0 25 0 1 0 25867103 485470208 113042 4089446400 4194304 10345943 140736449652704 18446744073709551615 7568661 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/20203/statm: 118523 113042 787 1502 0 117016 0
Current children cumulated CPU time (s) 1789.54
Current children cumulated vsize (KiB) 474092

[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 20282
/proc/meminfo: memFree=27375836/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=474092 CPUtime=1790.34
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 1112535 0 0 0 178712 322 0 0 25 0 1 0 25867103 485470208 113051 4089446400 4194304 10345943 140736449652704 18446744073709551615 4287408 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20203/statm: 118523 113051 792 1502 0 117016 0
Current children cumulated CPU time (s) 1790.34
Current children cumulated vsize (KiB) 474092

[startup+1790.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 20282
/proc/meminfo: memFree=27375836/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=474092 CPUtime=1790.54
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 1112535 0 0 0 178732 322 0 0 25 0 1 0 25867103 485470208 113051 4089446400 4194304 10345943 140736449652704 18446744073709551615 6325579 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20203/statm: 118523 113051 792 1502 0 117016 0
Current children cumulated CPU time (s) 1790.54
Current children cumulated vsize (KiB) 474092

[startup+1790.6 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 20282
/proc/meminfo: memFree=27375836/32951124 swapFree=67111528/67111528
[pid=20203] ppid=20201 vsize=336464 CPUtime=1790.63
/proc/20203/stat : 20203 (pbscip.linux.x8) R 20201 20203 19771 0 -1 4202496 1112535 0 0 0 178741 322 0 0 25 0 1 0 25867103 344539136 81172 4089446400 4194304 10345943 140736449652704 18446744073709551615 4739681 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20203/statm: 84116 81172 792 1502 0 82609 0
Current children cumulated CPU time (s) 1790.63
Current children cumulated vsize (KiB) 336464

Child status: 0
Real time (s): 1790.67
CPU time (s): 1790.71
CPU user time (s): 1787.47
CPU system time (s): 3.24251
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 488232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.47
system time used= 3.24251
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1112538
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= 6
involuntary context switches= 5943

runsolver used 2.87456 second user time and 6.87096 second system time

The end

Launcher Data 

Begin job on node136 at 2010-07-08 10:09:00
IDJOB=2705212
IDBENCH=79076
IDSOLVER=1214
FILE ID=node136/2705212-1278576540
PBS_JOBID= 11240182
Free space on /tmp= 73368 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.3 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j90/normalized-j9014_1-unsat--soft-66-100-0.wbo
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.clp -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2705212-1278576540/watcher-2705212-1278576540 -o /tmp/evaluation-result-2705212-1278576540/solver-2705212-1278576540 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705212-1278576540.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 6c5df40b176000d7248c596dfbe96e3b
RANDOM SEED=936565015

node136.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.834
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.66
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.834
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.82
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.834
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.834
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.82
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.834
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	: 5426.48
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.834
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.834
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.67
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.834
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27394464 kB
Buffers:        159904 kB
Cached:        3401972 kB
SwapCached:          0 kB
Active:        2686688 kB
Inactive:      2692376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27394464 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           14508 kB
Writeback:           0 kB
AnonPages:     1817272 kB
Mapped:          17724 kB
Slab:           110088 kB
PageTables:       8136 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1970564 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= 73356 MiB
End job on node136 at 2010-07-08 10:38:51