Trace number 2705299

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.66 1790.62

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j605_1-unsat--soft-33-100-0.wbo
MD5SUM45ee7d19535e08aa25eac21bd6c9cde2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark2.09968
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables9272
Total number of constraints29174
Number of soft constraints19508
Number of constraints which are clauses28874
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints300
Minimum length of a constraint1
Maximum length of a constraint35
Top cost 985166
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 985165
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 231
Number of bits of the biggest sum of numbers8
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-2705299-1278576545.wbo>
0.19/0.27	c original problem has 48288 variables (28780 bin, 0 int, 19508 impl, 0 cont) and 48683 constraints
0.19/0.27	c problem read
0.19/0.27	c presolving settings loaded
1.29/1.32	c presolving:
1.39/1.41	c (round 1) 252 del vars, 818 del conss, 129 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 48240 impls, 0 clqs
1.39/1.48	c (round 2) 819 del vars, 2239 del conss, 196 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 48402 impls, 0 clqs
1.49/1.55	c (round 3) 1977 del vars, 3339 del conss, 239 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 48508 impls, 0 clqs
1.49/1.58	c (round 4) 2982 del vars, 3788 del conss, 268 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 48548 impls, 0 clqs
1.59/1.61	c (round 5) 3404 del vars, 4082 del conss, 293 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 48568 impls, 0 clqs
1.59/1.63	c (round 6) 3654 del vars, 4273 del conss, 300 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 48574 impls, 0 clqs
1.59/1.64	c (round 7) 3823 del vars, 4346 del conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 48574 impls, 0 clqs
1.59/1.65	c (round 8) 3891 del vars, 4364 del conss, 302 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 48574 impls, 0 clqs
1.69/1.70	c (round 9) 3908 del vars, 4367 del conss, 18181 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 48574 impls, 0 clqs
1.69/1.72	c (round 10) 3913 del vars, 4369 del conss, 18181 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 48584 impls, 0 clqs
1.79/1.86	c (round 11) 3913 del vars, 4369 del conss, 18181 chg bounds, 0 chg sides, 0 chg coeffs, 9018 upgd conss, 84155 impls, 0 clqs
9.09/9.15	c    (8.9s) probing: 1000/26496 (3.8%) - 0 fixings, 0 aggregations, 4126 implications, 0 bound changes
15.39/15.46	c    (15.2s) probing: 2000/26496 (7.5%) - 0 fixings, 0 aggregations, 4895 implications, 0 bound changes
15.39/15.47	c    (15.2s) probing: 2001/26496 (7.6%) - 0 fixings, 0 aggregations, 4899 implications, 0 bound changes
15.39/15.47	c    (15.2s) probing aborted: 2000/2000 successive useless probings
15.39/15.47	c presolving (12 rounds):
15.39/15.47	c  3913 deleted vars, 4369 deleted constraints, 18181 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
15.39/15.47	c  103721 implications, 181 cliques
15.39/15.47	c presolved problem has 44375 variables (26496 bin, 0 int, 17879 impl, 0 cont) and 44314 constraints
15.39/15.47	c     462 constraints of type <varbound>
15.39/15.47	c     103 constraints of type <knapsack>
15.39/15.47	c    7099 constraints of type <setppc>
15.39/15.47	c   17417 constraints of type <linear>
15.39/15.47	c   17879 constraints of type <indicator>
15.39/15.47	c    1354 constraints of type <logicor>
15.39/15.47	c transformed objective value is always integral (scale: 1)
15.39/15.47	c Presolving Time: 15.05
15.39/15.47	c - non default parameters ----------------------------------------------------------------------
15.39/15.47	c # SCIP version 1.2.1.3
15.39/15.47	c 
15.39/15.47	c # frequency for displaying node information lines
15.39/15.47	c # [type: int, range: [-1,2147483647], default: 100]
15.39/15.47	c display/freq = 10000
15.39/15.47	c 
15.39/15.47	c # maximal time in seconds to run
15.39/15.47	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.39/15.47	c limits/time = 1789.73
15.39/15.47	c 
15.39/15.47	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
15.39/15.47	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
15.39/15.47	c limits/memory = 3420
15.39/15.47	c 
15.39/15.47	c # default clock type (1: CPU user seconds, 2: wall clock time)
15.39/15.47	c # [type: int, range: [1,2], default: 1]
15.39/15.47	c timing/clocktype = 2
15.39/15.47	c 
15.39/15.47	c # should presolving try to simplify inequalities
15.39/15.47	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.39/15.47	c constraints/linear/simplifyinequalities = TRUE
15.39/15.47	c 
15.39/15.47	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
15.39/15.47	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.39/15.47	c constraints/indicator/addCouplingCons = TRUE
15.39/15.47	c 
15.39/15.47	c # should presolving try to simplify knapsacks
15.39/15.47	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
15.39/15.47	c constraints/knapsack/simplifyinequalities = TRUE
15.39/15.47	c 
15.39/15.47	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
15.39/15.47	c # [type: int, range: [-1,2147483647], default: -1]
15.39/15.47	c separating/rapidlearning/freq = 0
15.39/15.47	c 
15.39/15.47	c -----------------------------------------------------------------------------------------------
15.39/15.47	c start solving
15.39/15.48	c 
15.50/15.56	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
15.50/15.56	c  15.3s|     1 |     0 |    15 |     - | 167M|   0 |  12 |  44k|  44k|  44k|8558 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
17.29/17.38	c  17.1s|     1 |     0 |   916 |     - | 167M|   0 |  53 |  44k|  44k|  44k|9036 | 478 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
18.99/19.01	c  18.7s|     1 |     0 |  1269 |     - | 168M|   0 |   0 |  44k|  44k|  44k|9244 | 686 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
18.99/19.06	c  18.8s|     1 |     0 |  1636 |     - | 168M|   0 |   1 |  44k|  44k|  44k|9444 | 886 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
20.59/20.63	c  20.4s|     1 |     0 |  2007 |     - | 168M|   0 |  80 |  44k|  44k|  44k|9647 |1089 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
22.29/22.38	c  22.1s|     1 |     0 |  2333 |     - | 168M|   0 |  18 |  44k|  44k|  44k|9854 |1296 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
23.99/24.03	c  23.8s|     1 |     0 |  2638 |     - | 168M|   0 |  20 |  44k|  44k|  44k|  10k|1502 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
25.89/25.93	c  25.7s|     1 |     0 |  3098 |     - | 169M|   0 | 821 |  44k|  44k|  44k|  10k|1713 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
26.59/26.62	c  26.3s|     1 |     2 |  3098 |     - | 169M|   0 | 821 |  44k|  44k|  44k|  10k|1713 |   0 |  22 | 0.000000e+00 |      --      |    Inf 
696.32/696.32	c   696s| 10000 | 10001 |306909 |  30.4 | 321M| 115 |  73 |  44k|  44k|  44k|  11k| 122k|  39 |  15k| 0.000000e+00 |      --      |    Inf 
1129.62/1129.67	c  1129s| 20000 | 20001 |534519 |  26.6 | 471M| 137 |  95 |  44k|  44k|  44k|  11k| 200k|  65 |  19k| 0.000000e+00 |      --      |    Inf 
1544.54/1544.57	c  1544s| 30000 | 30001 |743104 |  24.7 | 621M| 145 |  60 |  44k|  44k|  44k|  11k| 272k|  74 |  23k| 0.000000e+00 |      --      |    Inf 
1790.03/1790.03	c 
1790.03/1790.03	c SCIP Status        : solving was interrupted [time limit reached]
1790.03/1790.03	c Solving Time (sec) : 1789.75
1790.03/1790.03	c Solving Nodes      : 35687
1790.03/1790.03	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1790.03/1790.03	c Dual Bound         : +0.00000000000000e+00
1790.03/1790.03	c Gap                : infinite
1790.03/1790.03	s UNKNOWN
1790.03/1790.03	c SCIP Status        : solving was interrupted [time limit reached]
1790.03/1790.03	c Solving Time       :    1789.75
1790.03/1790.03	c Original Problem   :
1790.03/1790.03	c   Problem name     : HOME/instance-2705299-1278576545.wbo
1790.03/1790.03	c   Variables        : 48288 (28780 binary, 0 integer, 19508 implicit integer, 0 continuous)
1790.03/1790.03	c   Constraints      : 48683 initial, 48683 maximal
1790.03/1790.03	c Presolved Problem  :
1790.03/1790.03	c   Problem name     : t_HOME/instance-2705299-1278576545.wbo
1790.03/1790.03	c   Variables        : 44375 (26496 binary, 0 integer, 17879 implicit integer, 0 continuous)
1790.03/1790.03	c   Constraints      : 44314 initial, 44388 maximal
1790.03/1790.03	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.03/1790.03	c   trivial          :       0.03          0          0          0          0          0          0          0          0
1790.03/1790.03	c   dualfix          :       0.03       3435          0          0          0          0          0          0          0
1790.03/1790.03	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.03/1790.03	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.03/1790.03	c   implics          :       0.01          0          0          0          0          0          0          0          0
1790.03/1790.03	c   probing          :      13.57          0          0          0          0          0          0          0          0
1790.03/1790.03	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1790.03/1790.03	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1790.03/1790.03	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1790.03/1790.03	c   linear           :       0.35        302        176          0      18181          0       2740          0          0
1790.03/1790.03	c   indicator        :       0.12          0          0          0          0          0       1629          0          0
1790.03/1790.03	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1790.03/1790.03	c   root node        :          -          0          -          -          0          -          -          -          -
1790.03/1790.03	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.03/1790.03	c   integral         :          0          0          0      38311          0          0          0          0          0      70126
1790.03/1790.03	c   varbound         :        462          7     119911       3248          2          0       4267        724          0          0
1790.03/1790.03	c   knapsack         :        103          7     119911       2858          2          0     127249         24          0          0
1790.03/1790.03	c   setppc           :       7099          7     119911       2858          2          0     140134          0          0          0
1790.03/1790.03	c   linear           :      17417          7     119911       2858          1          0       9012     305542          0          0
1790.03/1790.03	c   indicator        :      17879          0     119911       3248          2          0      13210          0          0          0
1790.03/1790.03	c   logicor          :       1354+         7      28458        623          1          0       7616          0          0          0
1790.03/1790.03	c   countsols        :          0          0          0        623          1          0          0          0          0          0
1790.03/1790.03	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.03/1790.03	c   integral         :     478.27       0.00       0.00     478.27       0.00
1790.03/1790.03	c   varbound         :       3.04       0.00       2.86       0.18       0.00
1790.03/1790.03	c   knapsack         :       1.32       0.00       1.30       0.02       0.00
1790.03/1790.03	c   setppc           :      35.93       0.00      34.69       1.23       0.00
1790.03/1790.03	c   linear           :      69.25       0.03      51.10      18.12       0.00
1790.03/1790.03	c   indicator        :     121.40       0.00     108.84      12.55       0.01
1790.03/1790.03	c   logicor          :       0.22       0.00       0.15       0.07       0.00
1790.03/1790.03	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1790.03/1790.03	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.03/1790.03	c   vbounds          :       0.18       2096          0          0
1790.03/1790.03	c   rootredcost      :       0.05          0          0          0
1790.03/1790.03	c   pseudoobj        :      85.71     114543          0          0
1790.03/1790.03	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.03/1790.03	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1790.03/1790.03	c   infeasible LP    :       0.37         90         90         90        3.2          0        0.0          0
1790.03/1790.03	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.03/1790.03	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.03/1790.03	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.03/1790.03	c   applied globally :          -          -          -         90        3.2          -          -          -
1790.03/1790.03	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.03/1790.03	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.03/1790.03	c   cut pool         :       0.00          6          -          -          4          -    (maximal pool size: 125)
1790.03/1790.03	c   redcost          :      84.84      38302          0          0          0          0
1790.03/1790.03	c   impliedbounds    :       0.01          6          0          0         31          0
1790.03/1790.03	c   intobj           :       0.00          0          0          0          0          0
1790.03/1790.03	c   cgmip            :       0.00          0          0          0          0          0
1790.03/1790.03	c   gomory           :       0.11          6          0          0        518          0
1790.03/1790.03	c   strongcg         :       0.11          6          0          0        518          0
1790.03/1790.03	c   cmir             :       1.27          6          0          0         16          0
1790.03/1790.03	c   flowcover        :       8.14          6          0          0         32          0
1790.03/1790.03	c   clique           :       0.03          6          0          0          4          0
1790.03/1790.03	c   zerohalf         :       0.00          0          0          0          0          0
1790.03/1790.03	c   mcf              :       0.01          1          0          0          0          0
1790.03/1790.03	c   rapidlearning    :       0.00          0          0          0          0          0
1790.03/1790.03	c Pricers            :       Time      Calls       Vars
1790.03/1790.03	c   problem variables:       0.00          0          0
1790.03/1790.03	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.03/1790.03	c   relpscost        :     478.19      35063          0          0          0          0      70126
1790.03/1790.03	c   pscost           :       0.00          0          0          0          0          0          0
1790.03/1790.03	c   inference        :       5.05        624          0          0          0          0       1248
1790.03/1790.03	c   mostinf          :       0.00          0          0          0          0          0          0
1790.03/1790.03	c   leastinf         :       0.00          0          0          0          0          0          0
1790.03/1790.03	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.03/1790.03	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.03/1790.03	c   random           :       0.00          0          0          0          0          0          0
1790.03/1790.03	c Primal Heuristics  :       Time      Calls      Found
1790.03/1790.03	c   LP solutions     :       0.00          -          0
1790.03/1790.03	c   pseudo solutions :       0.00          -          0
1790.03/1790.03	c   oneopt           :       0.04          0          0
1790.03/1790.03	c   crossover        :       0.02          0          0
1790.03/1790.03	c   guideddiving     :       0.00          0          0
1790.03/1790.03	c   intshifting      :       0.00          0          0
1790.03/1790.03	c   rootsoldiving    :      13.63          9          0
1790.03/1790.03	c   objpscostdiving  :       4.75         21          0
1790.03/1790.03	c   feaspump         :      18.58         73          0
1790.03/1790.03	c   linesearchdiving :      25.99        149          0
1790.03/1790.03	c   fracdiving       :      35.93        150          0
1790.03/1790.03	c   veclendiving     :      23.79        150          0
1790.03/1790.03	c   coefdiving       :      37.40        150          0
1790.03/1790.03	c   pscostdiving     :      28.47        150          0
1790.03/1790.03	c   trivial          :       0.85          2          0
1790.03/1790.03	c   simplerounding   :       0.11      34720          0
1790.03/1790.03	c   zirounding       :       0.55       1000          0
1790.03/1790.03	c   rounding         :       1.43       2591          0
1790.03/1790.03	c   shifting         :       2.49        797          0
1790.03/1790.03	c   twoopt           :       0.00          0          0
1790.03/1790.03	c   fixandinfer      :       0.00          0          0
1790.03/1790.03	c   intdiving        :       0.00          0          0
1790.03/1790.03	c   actconsdiving    :       0.00          0          0
1790.03/1790.03	c   octane           :       0.00          0          0
1790.03/1790.03	c   rens             :       0.30          1          0
1790.03/1790.03	c   rins             :       0.00          0          0
1790.03/1790.03	c   localbranching   :       0.00          0          0
1790.03/1790.03	c   mutation         :       0.00          0          0
1790.03/1790.03	c   dins             :       0.00          0          0
1790.03/1790.03	c   undercover       :       0.00          0          0
1790.03/1790.03	c   nlp              :       0.01          0          0
1790.03/1790.03	c   trysol           :       1.62         61          0
1790.03/1790.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.03/1790.03	c   primal LP        :       0.01          0          0       0.00       0.00
1790.03/1790.03	c   dual LP          :     474.23      37344     791567      21.20    1669.18
1790.03/1790.03	c   lex dual LP      :       0.00          0          0       0.00          -
1790.03/1790.03	c   barrier LP       :       0.00          0          0       0.00          -
1790.03/1790.03	c   diving/probing LP:      87.65       7385      53820       7.29     614.01
1790.03/1790.03	c   strong branching :     476.54      25825     288202      11.16     604.77
1790.03/1790.03	c     (at root node) :          -         22        287      13.05          -
1790.03/1790.03	c   conflict analysis:       0.00          0          0       0.00          -
1790.03/1790.03	c B&B Tree           :
1790.03/1790.03	c   number of runs   :          1
1790.03/1790.03	c   nodes            :      35687
1790.03/1790.03	c   nodes (total)    :      35687
1790.03/1790.03	c   nodes left       :      35688
1790.03/1790.03	c   max depth        :        147
1790.03/1790.03	c   max depth (total):        147
1790.03/1790.03	c   backtracks       :        541 (1.5%)
1790.03/1790.03	c   delayed cutoffs  :          0
1790.03/1790.03	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1790.03/1790.03	c   avg switch length:       2.15
1790.03/1790.03	c   switching time   :      11.57
1790.03/1790.03	c Solution           :
1790.03/1790.03	c   Solutions found  :          0 (0 improvements)
1790.03/1790.03	c   Primal Bound     :          -
1790.03/1790.03	c   Dual Bound       : +0.00000000000000e+00
1790.03/1790.03	c   Gap              :   infinite
1790.03/1790.03	c   Root Dual Bound  : +0.00000000000000e+00
1790.03/1790.03	c   Root Iterations  :       3098
1790.63/1790.61	c Time complete: 1790.65.

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-2705299-1278576545/watcher-2705299-1278576545 -o /tmp/evaluation-result-2705299-1278576545/solver-2705299-1278576545 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705299-1278576545.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: 1.92 1.98 1.91 3/178 23492
/proc/meminfo: memFree=29590312/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=12544 CPUtime=0
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 1972 0 0 0 0 0 0 0 21 0 1 0 25868085 12845056 1891 4089446400 4194304 10345943 140735878620256 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23492/statm: 3136 1891 429 1502 0 1629 0

[startup+0.105251 s]
/proc/loadavg: 1.92 1.98 1.91 3/178 23492
/proc/meminfo: memFree=29590312/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=39900 CPUtime=0.1
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 8859 0 0 0 9 1 0 0 24 0 1 0 25868085 40857600 8750 4089446400 4194304 10345943 140735878620256 18446744073709551615 6328950 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23492/statm: 9975 8750 430 1502 0 8468 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 39900

[startup+0.200236 s]
/proc/loadavg: 1.92 1.98 1.91 3/178 23492
/proc/meminfo: memFree=29590312/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=61516 CPUtime=0.19
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 14236 0 0 0 18 1 0 0 24 0 1 0 25868085 62992384 14127 4089446400 4194304 10345943 140735878620256 18446744073709551615 4713339 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23492/statm: 15379 14127 430 1502 0 13872 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 61516

[startup+0.300219 s]
/proc/loadavg: 1.92 1.98 1.91 3/178 23492
/proc/meminfo: memFree=29590312/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=100256 CPUtime=0.29
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 24151 0 0 0 26 3 0 0 25 0 1 0 25868085 102662144 23652 4089446400 4194304 10345943 140735878620256 18446744073709551615 9138311 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23492/statm: 25064 23653 474 1502 0 23557 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 100256

[startup+0.700145 s]
/proc/loadavg: 1.92 1.98 1.91 3/178 23492
/proc/meminfo: memFree=29590312/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=176900 CPUtime=0.69
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 42139 0 0 0 64 5 0 0 25 0 1 0 25868085 181145600 41640 4089446400 4194304 10345943 140735878620256 18446744073709551615 9138311 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23492/statm: 44225 41640 510 1502 0 42718 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 176900

[startup+1.501 s]
/proc/loadavg: 1.92 1.98 1.91 3/179 23493
/proc/meminfo: memFree=29424020/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=181680 CPUtime=1.49
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 43446 0 0 0 143 6 0 0 25 0 1 0 25868085 186040320 42947 4089446400 4194304 10345943 140735878620256 18446744073709551615 4287408 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23492/statm: 45420 42947 543 1502 0 43913 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 181680

[startup+3.10072 s]
/proc/loadavg: 1.92 1.98 1.91 3/179 23493
/proc/meminfo: memFree=29404676/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=198068 CPUtime=3.09
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 48100 0 0 0 303 6 0 0 25 0 1 0 25868085 202821632 46828 4089446400 4194304 10345943 140735878620256 18446744073709551615 5604422 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23492/statm: 49517 46828 600 1502 0 48010 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 198068

[startup+6.30015 s]
/proc/loadavg: 1.93 1.98 1.91 3/179 23493
/proc/meminfo: memFree=29402072/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=199096 CPUtime=6.29
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 48357 0 0 0 623 6 0 0 25 0 1 0 25868085 203874304 47085 4089446400 4194304 10345943 140735878620256 18446744073709551615 4882679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23492/statm: 49774 47085 600 1502 0 48267 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 199096

[startup+12.701 s]
/proc/loadavg: 1.93 1.98 1.91 3/179 23493
/proc/meminfo: memFree=29399888/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=199096 CPUtime=12.69
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 48388 0 0 0 1263 6 0 0 25 0 1 0 25868085 203874304 47116 4089446400 4194304 10345943 140735878620256 18446744073709551615 5604533 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23492/statm: 49774 47116 605 1502 0 48267 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 199096

[startup+25.5007 s]
/proc/loadavg: 1.95 1.98 1.91 3/179 23493
/proc/meminfo: memFree=29351488/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=249080 CPUtime=25.49
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 59425 0 0 0 2542 7 0 0 25 0 1 0 25868085 255057920 58077 4089446400 4194304 10345943 140735878620256 18446744073709551615 5852534 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 62270 58077 768 1502 0 60763 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 249080

[startup+51.1012 s]
/proc/loadavg: 1.96 1.98 1.91 3/179 23494
/proc/meminfo: memFree=29331540/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=266232 CPUtime=51.09
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 280182 0 0 0 5071 38 0 0 25 0 1 0 25868085 272621568 60699 4089446400 4194304 10345943 140735878620256 18446744073709551615 6520083 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 66558 60699 791 1502 0 65051 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 266232

[startup+102.301 s]
/proc/loadavg: 1.98 1.98 1.91 3/179 23495
/proc/meminfo: memFree=29299028/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=272948 CPUtime=102.29
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 781493 0 0 0 10117 112 0 0 25 0 1 0 25868085 279498752 62331 4089446400 4194304 10345943 140735878620256 18446744073709551615 7598531 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 68237 62331 792 1502 0 66730 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 272948

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 23497
/proc/meminfo: memFree=29261792/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=268896 CPUtime=162.3
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 1319726 0 0 0 16040 190 0 0 25 0 1 0 25868085 275349504 63805 4089446400 4194304 10345943 140735878620256 18446744073709551615 6715451 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 67224 63805 792 1502 0 65717 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 268896

[startup+222.307 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 23499
/proc/meminfo: memFree=29230852/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=285684 CPUtime=222.3
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 1922590 0 0 0 21955 275 0 0 25 0 1 0 25868085 292540416 65549 4089446400 4194304 10345943 140735878620256 18446744073709551615 6923487 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 71421 65549 792 1502 0 69914 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 285684

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 23500
/proc/meminfo: memFree=29186404/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=295836 CPUtime=282.29
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2194343 0 0 0 27916 313 0 0 25 0 1 0 25868085 302936064 68962 4089446400 4194304 10345943 140735878620256 18446744073709551615 6551048 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 73959 68962 792 1502 0 72452 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 295836

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 23501
/proc/meminfo: memFree=29135520/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=315412 CPUtime=342.3
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2296904 0 0 0 33900 330 0 0 25 0 1 0 25868085 322981888 73758 4089446400 4194304 10345943 140735878620256 18446744073709551615 9194679 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 78853 73758 792 1502 0 77346 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 315412

[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 23503
/proc/meminfo: memFree=29087244/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=329264 CPUtime=402.3
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2350351 0 0 0 39889 341 0 0 25 0 1 0 25868085 337166336 78239 4089446400 4194304 10345943 140735878620256 18446744073709551615 6345026 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 82316 78239 792 1502 0 80809 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 329264

[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 23505
/proc/meminfo: memFree=29036132/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=357468 CPUtime=462.31
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2375233 0 0 0 45881 350 0 0 25 0 1 0 25868085 366047232 83789 4089446400 4194304 10345943 140735878620256 18446744073709551615 6866056 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 89367 83789 792 1502 0 87860 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 357468

[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 23507
/proc/meminfo: memFree=28980784/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=377876 CPUtime=522.31
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2390557 0 0 0 51874 357 0 0 25 0 1 0 25868085 386945024 89529 4089446400 4194304 10345943 140735878620256 18446744073709551615 6119630 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 94469 89529 792 1502 0 92962 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 377876

[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 23511
/proc/meminfo: memFree=28931104/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=394496 CPUtime=582.31
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2406744 0 0 0 57867 364 0 0 25 0 1 0 25868085 403963904 94342 4089446400 4194304 10345943 140735878620256 18446744073709551615 6777597 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 98624 94342 792 1502 0 97117 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 394496

[startup+642.301 s]
/proc/loadavg: 1.99 1.98 1.91 3/179 23512
/proc/meminfo: memFree=28884280/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=415912 CPUtime=642.3
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2422233 0 0 0 63859 371 0 0 25 0 1 0 25868085 425893888 98918 4089446400 4194304 10345943 140735878620256 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 103978 98918 792 1502 0 102471 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 415912

[startup+702.301 s]

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

/proc/meminfo: memFree=28572664/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=559792 CPUtime=1002.32
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2539836 0 0 0 99813 419 0 0 25 0 1 0 25868085 573227008 131318 4089446400 4194304 10345943 140735878620256 18446744073709551615 7567007 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 139948 131318 793 1502 0 138441 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 559792

[startup+1062.3 s]
/proc/loadavg: 2.06 2.00 1.91 4/179 23524
/proc/meminfo: memFree=28515576/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=580240 CPUtime=1062.31
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2550671 0 0 0 105807 424 0 0 25 0 1 0 25868085 594165760 137054 4089446400 4194304 10345943 140735878620256 18446744073709551615 5926399 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 145060 137054 793 1502 0 143553 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 580240

[startup+1122.3 s]
/proc/loadavg: 2.02 2.00 1.91 3/179 23526
/proc/meminfo: memFree=28460952/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=606680 CPUtime=1122.32
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2564397 0 0 0 111801 431 0 0 25 0 1 0 25868085 621240320 142822 4089446400 4194304 10345943 140735878620256 18446744073709551615 6551120 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 151670 142822 793 1502 0 150163 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 606680

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23527
/proc/meminfo: memFree=28406848/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=631116 CPUtime=1182.32
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2585892 0 0 0 117793 439 0 0 25 0 1 0 25868085 646262784 149019 4089446400 4194304 10345943 140735878620256 18446744073709551615 6003080 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 157779 149019 793 1502 0 156272 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 631116

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23528
/proc/meminfo: memFree=28353616/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=657452 CPUtime=1242.32
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2597490 0 0 0 123786 446 0 0 25 0 1 0 25868085 673230848 154614 4089446400 4194304 10345943 140735878620256 18446744073709551615 7507966 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 164363 154614 793 1502 0 162856 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 657452

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23530
/proc/meminfo: memFree=28305076/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=672352 CPUtime=1302.33
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2606734 0 0 0 129780 453 0 0 25 0 1 0 25868085 688488448 159010 4089446400 4194304 10345943 140735878620256 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 168088 159010 793 1502 0 166581 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 672352

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23532
/proc/meminfo: memFree=28247144/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=697748 CPUtime=1362.33
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2617555 0 0 0 135773 460 0 0 25 0 1 0 25868085 714493952 165261 4089446400 4194304 10345943 140735878620256 18446744073709551615 6359348 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 174437 165261 793 1502 0 172930 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 697748

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23534
/proc/meminfo: memFree=28188320/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=724276 CPUtime=1422.33
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2628239 0 0 0 141766 467 0 0 25 0 1 0 25868085 741658624 172493 4089446400 4194304 10345943 140735878620256 18446744073709551615 4882679 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 181069 172493 793 1502 0 179562 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 724276

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23535
/proc/meminfo: memFree=28133108/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=750772 CPUtime=1482.33
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2637748 0 0 0 147761 472 0 0 25 0 1 0 25868085 768790528 178974 4089446400 4194304 10345943 140735878620256 18446744073709551615 6003033 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 187693 178974 793 1502 0 186186 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 750772

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23536
/proc/meminfo: memFree=28076284/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=783284 CPUtime=1542.34
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2648140 0 0 0 153756 478 0 0 25 0 1 0 25868085 802082816 184776 4089446400 4194304 10345943 140735878620256 18446744073709551615 7546931 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 195821 184776 793 1502 0 194314 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 783284

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23538
/proc/meminfo: memFree=28024544/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=806032 CPUtime=1602.34
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2662748 0 0 0 159751 483 0 0 25 0 1 0 25868085 825376768 190795 4089446400 4194304 10345943 140735878620256 18446744073709551615 6853988 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 201508 190795 793 1502 0 200001 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 806032

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.92 3/179 23540
/proc/meminfo: memFree=27971204/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=823884 CPUtime=1662.33
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2677608 0 0 0 165744 489 0 0 25 0 1 0 25868085 843657216 195881 4089446400 4194304 10345943 140735878620256 18446744073709551615 6342032 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 205971 195881 793 1502 0 204464 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 823884

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.92 3/179 23542
/proc/meminfo: memFree=27924408/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=848804 CPUtime=1722.33
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2688628 0 0 0 171738 495 0 0 25 0 1 0 25868085 869175296 201042 4089446400 4194304 10345943 140735878620256 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 212201 201042 793 1502 0 210694 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 848804

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23543
/proc/meminfo: memFree=27863492/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=872260 CPUtime=1782.34
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2699577 0 0 0 177733 501 0 0 25 0 1 0 25868085 893194240 207445 4089446400 4194304 10345943 140735878620256 18446744073709551615 6558582 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/23492/statm: 218065 207445 793 1502 0 216558 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 872260

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

[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 1.92 4/178 23569
/proc/meminfo: memFree=28838616/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=872264 CPUtime=1785.64
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2700191 0 0 0 178063 501 0 0 25 0 1 0 25868085 893198336 207584 4089446400 4194304 10345943 140735878620256 18446744073709551615 6566439 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23492/statm: 218066 207584 793 1502 0 216559 0
Current children cumulated CPU time (s) 1785.64
Current children cumulated vsize (KiB) 872264

[startup+1788.8 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 23570
/proc/meminfo: memFree=28779724/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=876260 CPUtime=1788.83
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2700829 0 0 0 178382 501 0 0 25 0 1 0 25868085 897290240 208113 4089446400 4194304 10345943 140735878620256 18446744073709551615 5614817 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23492/statm: 219065 208113 793 1502 0 217558 0
Current children cumulated CPU time (s) 1788.83
Current children cumulated vsize (KiB) 876260

[startup+1789.6 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 23570
/proc/meminfo: memFree=28779724/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=880068 CPUtime=1789.63
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2700917 0 0 0 178462 501 0 0 25 0 1 0 25868085 901189632 208201 4089446400 4194304 10345943 140735878620256 18446744073709551615 6528242 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/23492/statm: 220017 208201 793 1502 0 218510 0
Current children cumulated CPU time (s) 1789.63
Current children cumulated vsize (KiB) 880068

[startup+1790.4 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 23570
/proc/meminfo: memFree=28779352/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=880068 CPUtime=1790.43
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2700941 0 0 0 178542 501 0 0 18 0 1 0 25868085 901189632 208225 4089446400 4194304 10345943 140735878620256 18446744073709551615 4720765 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/23492/statm: 220017 208225 797 1502 0 218510 0
Current children cumulated CPU time (s) 1790.43
Current children cumulated vsize (KiB) 880068

[startup+1790.6 s]
/proc/loadavg: 2.00 2.00 1.92 4/179 23570
/proc/meminfo: memFree=28779352/32950928 swapFree=67111528/67111528
[pid=23492] ppid=23490 vsize=474056 CPUtime=1790.63
/proc/23492/stat : 23492 (pbscip.linux.x8) R 23490 23492 23101 0 -1 4202496 2700941 0 0 0 178560 503 0 0 18 0 1 0 25868085 485433344 96541 4089446400 4194304 10345943 140735878620256 18446744073709551615 9366586 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/23492/statm: 118514 96029 790 1502 0 117007 0
Current children cumulated CPU time (s) 1790.63
Current children cumulated vsize (KiB) 474056

Child status: 0
Real time (s): 1790.62
CPU time (s): 1790.66
CPU user time (s): 1785.61
CPU system time (s): 5.05623
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 883860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.61
system time used= 5.05623
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2700944
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1918

runsolver used 2.84857 second user time and 5.9231 second system time

The end

Launcher Data 

Begin job on node122 at 2010-07-08 10:09:06
IDJOB=2705299
IDBENCH=79098
IDSOLVER=1214
FILE ID=node122/2705299-1278576545
PBS_JOBID= 11240210
Free space on /tmp= 73396 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/j60/normalized-j605_1-unsat--soft-33-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-2705299-1278576545/watcher-2705299-1278576545 -o /tmp/evaluation-result-2705299-1278576545/solver-2705299-1278576545 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705299-1278576545.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 45ee7d19535e08aa25eac21bd6c9cde2
RANDOM SEED=1887248558

node122.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.839
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.67
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.839
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	: 5226.16
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.839
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.75
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.839
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.81
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.839
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
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.839
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.67
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.839
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.82
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.839
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29590964 kB
Buffers:        162260 kB
Cached:        2887196 kB
SwapCached:          0 kB
Active:        1210272 kB
Inactive:      1982820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29590964 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           26876 kB
Writeback:           0 kB
AnonPages:      143256 kB
Mapped:          17820 kB
Slab:           103700 kB
PageTables:       4848 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   295768 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= 73384 MiB
End job on node122 at 2010-07-08 10:38:56