Trace number 2693184

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.2 with Clp 1.11.1 (Release Version) as LP solver? (TO) 1800.53 1800.48

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j6010_2-unsat--soft-33-100-0.wbo
MD5SUMc0c0bebc7e31a6df8b165cc7ff9f27e8
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.072988
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables7564
Total number of constraints23412
Number of soft constraints15681
Number of constraints which are clauses23168
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints244
Minimum length of a constraint1
Maximum length of a constraint50
Top cost 793815
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 793814
Biggest number in a constraint 44
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 333
Number of bits of the biggest sum of numbers9
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.2 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Clp 1.11.1] [Expressions interpreter: NONE]
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-2693184-1277917376.wbo>
0.19/0.23	c original problem has 38926 variables (23245 bin, 0 int, 0 impl, 15681 cont) and 39094 constraints
0.19/0.23	c problem read
0.19/0.23	c presolving settings loaded
0.89/0.95	c presolving:
0.99/1.06	c (round 1) 376 del vars, 1198 del conss, 208 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 51157 impls, 0 clqs
1.10/1.16	c (round 2) 1202 del vars, 3546 del conss, 319 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 51359 impls, 0 clqs
1.19/1.25	c (round 3) 3030 del vars, 5175 del conss, 363 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 51433 impls, 0 clqs
1.19/1.29	c (round 4) 4557 del vars, 5785 del conss, 390 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 51515 impls, 0 clqs
1.29/1.32	c (round 5) 5065 del vars, 6079 del conss, 398 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 51525 impls, 0 clqs
1.29/1.34	c (round 6) 5341 del vars, 6169 del conss, 399 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 51525 impls, 0 clqs
1.29/1.36	c (round 7) 5426 del vars, 6186 del conss, 399 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 51525 impls, 0 clqs
1.39/1.40	c (round 8) 5442 del vars, 6189 del conss, 13776 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 51525 impls, 0 clqs
1.49/1.53	c (round 9) 5445 del vars, 6189 del conss, 13776 chg bounds, 0 chg sides, 0 chg coeffs, 6672 upgd conss, 51525 impls, 0 clqs
5.50/5.52	c    (5.2s) probing: 1000/20104 (5.0%) - 0 fixings, 0 aggregations, 3177 implications, 0 bound changes
8.89/9.00	c    (8.7s) probing: 2000/20104 (9.9%) - 0 fixings, 0 aggregations, 3805 implications, 0 bound changes
8.99/9.00	c    (8.7s) probing: 2001/20104 (10.0%) - 0 fixings, 0 aggregations, 3805 implications, 0 bound changes
8.99/9.00	c    (8.7s) probing aborted: 2000/2000 successive useless probings
8.99/9.00	c presolving (10 rounds):
8.99/9.00	c  5445 deleted vars, 6189 deleted constraints, 13776 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
8.99/9.00	c  63270 implications, 0 cliques
8.99/9.00	c presolved problem has 33481 variables (20104 bin, 0 int, 0 impl, 13377 cont) and 32905 constraints
8.99/9.00	c   13377 constraints of type <indicator>
8.99/9.00	c     521 constraints of type <varbound>
8.99/9.00	c      82 constraints of type <knapsack>
8.99/9.00	c   12856 constraints of type <linear>
8.99/9.00	c    6069 constraints of type <logicor>
8.99/9.00	c transformed objective value is always integral (scale: 1)
8.99/9.00	c Presolving Time: 8.56
8.99/9.00	c - non default parameters ----------------------------------------------------------------------
8.99/9.00	c # SCIP version 1.2.1.2
8.99/9.00	c 
8.99/9.00	c # frequency for displaying node information lines
8.99/9.00	c # [type: int, range: [-1,2147483647], default: 100]
8.99/9.00	c display/freq = 10000
8.99/9.00	c 
8.99/9.00	c # maximal time in seconds to run
8.99/9.00	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.99/9.00	c limits/time = 1799.77
8.99/9.00	c 
8.99/9.00	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.99/9.00	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.99/9.00	c limits/memory = 3420
8.99/9.00	c 
8.99/9.00	c # should presolving try to simplify inequalities
8.99/9.00	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.99/9.00	c constraints/linear/simplifyinequalities = TRUE
8.99/9.00	c 
8.99/9.00	c # should presolving try to simplify knapsacks
8.99/9.00	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.99/9.00	c constraints/knapsack/simplifyinequalities = TRUE
8.99/9.00	c 
8.99/9.00	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
8.99/9.00	c # [type: int, range: [-1,2147483647], default: -1]
8.99/9.00	c separating/rapidlearning/freq = 0
8.99/9.00	c 
8.99/9.00	c -----------------------------------------------------------------------------------------------
8.99/9.00	c start solving
8.99/9.01	c 
9.09/9.12	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
9.09/9.12	c   8.8s|     1 |     0 |     0 |     - | 130M|   0 |   0 |  33k|  32k|  33k|6151 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.09/9.18	c   8.8s|     1 |     0 |   994 |     - | 131M|   0 |   0 |  33k|  32k|  33k|6572 | 421 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.20/9.22	c   8.9s|     1 |     0 |  1321 |     - | 131M|   0 |   0 |  33k|  32k|  33k|6783 | 632 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.20/9.27	c   8.9s|     1 |     0 |  1662 |     - | 131M|   0 |   0 |  33k|  32k|  33k|6989 | 838 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.29/9.31	c   8.9s|     1 |     0 |  1906 |     - | 131M|   0 |   0 |  33k|  32k|  33k|7199 |1048 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.29/9.35	c   9.0s|     1 |     0 |  2222 |     - | 131M|   0 |   0 |  33k|  32k|  33k|7402 |1251 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.29/9.39	c   9.0s|     1 |     0 |  2432 |     - | 131M|   0 |   0 |  33k|  32k|  33k|7607 |1456 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
9.40/9.44	c   9.1s|     1 |     0 |  2720 |     - | 131M|   0 | 122 |  33k|  32k|  33k|7809 |1658 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
10.79/10.88	c  10.5s|     1 |     0 |  3080 |     - | 132M|   0 | 651 |  33k|  32k|  33k|8016 |1865 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
11.49/11.50	c  11.1s|     1 |     0 |  3267 |     - | 133M|   0 | 305 |  33k|  32k|  33k|8348 |2197 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
12.29/12.37	c  11.9s|     1 |     0 |  3665 |     - | 134M|   0 | 745 |  33k|  32k|  33k|8552 |2401 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
13.49/13.57	c  13.1s|     1 |     0 |  3891 |     - | 134M|   0 | 451 |  33k|  32k|  33k|8793 |2642 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
15.40/15.46	c  14.9s|     1 |     2 |  3891 |     - | 136M|   0 | 451 |  33k|  32k|  33k|8793 |2642 |   0 |  27 | 0.000000e+00 |      --      |    Inf 
614.41/614.47	c   572s| 10000 | 10001 |272430 |  26.9 | 249M| 115 |  16 |  33k|  32k|  33k|9002 |  52k|   1 |  10k| 0.000000e+00 |      --      |    Inf 
1048.52/1048.50	c   980s| 20000 | 20001 |511013 |  25.4 | 360M| 117 |   3 |  33k|  32k|  33k|8775 | 106k|   1 |  14k| 0.000000e+00 |      --      |    Inf 
1465.64/1465.62	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1465.64/1465.62	c  1373s| 30000 | 30001 |742912 |  24.6 | 472M| 117 | 155 |  33k|  32k|  33k|8643 | 158k|   2 |  17k| 0.000000e+00 |      --      |    Inf 
1800.05/1800.00	c pressed CTRL-C 1 times (5 times for forcing termination)
1800.05/1800.04	c 
1800.05/1800.04	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.04	c Solving Time (sec) : 1687.99
1800.05/1800.04	c Solving Nodes      : 38090
1800.05/1800.04	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.05/1800.04	c Dual Bound         : +0.00000000000000e+00
1800.05/1800.04	c Gap                : infinite
1800.05/1800.04	s UNKNOWN
1800.05/1800.04	c SCIP Status        : solving was interrupted [user interrupt]
1800.05/1800.04	c Solving Time       :    1687.99
1800.05/1800.04	c Original Problem   :
1800.05/1800.04	c   Problem name     : HOME/instance-2693184-1277917376.wbo
1800.05/1800.04	c   Variables        : 38926 (23245 binary, 0 integer, 0 implicit integer, 15681 continuous)
1800.05/1800.04	c   Constraints      : 39094 initial, 39094 maximal
1800.05/1800.04	c Presolved Problem  :
1800.05/1800.04	c   Problem name     : t_HOME/instance-2693184-1277917376.wbo
1800.05/1800.04	c   Variables        : 33481 (20104 binary, 0 integer, 0 implicit integer, 13377 continuous)
1800.05/1800.04	c   Constraints      : 32905 initial, 32907 maximal
1800.05/1800.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1800.05/1800.04	c   trivial          :       0.02          0          0          0          0          0          0          0          0
1800.05/1800.04	c   dualfix          :       0.04       4824          0          0          0          0          0          0          0
1800.05/1800.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.04	c   implics          :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.04	c   probing          :       7.41          0          0          0          0          0          0          0          0
1800.05/1800.04	c   indicator        :       0.12          0          0          0          0          0       2304          0          0
1800.05/1800.04	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1800.05/1800.04	c   knapsack         :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.04	c   linear           :       0.32        399        222          0      13776          0       3885          0          0
1800.05/1800.04	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1800.05/1800.04	c   root node        :          -          0          -          -          0          -          -          -          -
1800.05/1800.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.04	c   integral         :          0          0          0      41510          0          0          0          0          0      76180
1800.05/1800.04	c   indicator        :      13377          0     152349       3420          0          0      14309          0          0          0
1800.05/1800.04	c   varbound         :        521         11     152349       3420          0          0       2172       2646          0          0
1800.05/1800.04	c   knapsack         :         82         11     152349       1137          0          0      17018          4          0          0
1800.05/1800.04	c   linear           :      12856         11     152349       1137          0          0       6044     190538          0          0
1800.05/1800.04	c   logicor          :       6069+        11      92806          0          0          0     106384          0          0          0
1800.05/1800.04	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1800.05/1800.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1800.05/1800.04	c   integral         :     332.67       0.00       0.00     332.67       0.00
1800.05/1800.04	c   indicator        :      62.29       0.00      52.78       9.51       0.00
1800.05/1800.04	c   varbound         :       2.66       0.00       2.47       0.19       0.00
1800.05/1800.04	c   knapsack         :       0.65       0.00       0.64       0.01       0.00
1800.05/1800.04	c   linear           :      56.64       0.06      51.56       5.02       0.00
1800.05/1800.04	c   logicor          :       1.39       0.01       1.38       0.00       0.00
1800.05/1800.04	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1800.05/1800.04	c Propagators        :       Time      Calls    Cutoffs    DomReds
1800.05/1800.04	c   vbounds          :       6.52      28850          0       6180
1800.05/1800.04	c   rootredcost      :       0.10          0          0          0
1800.05/1800.04	c   pseudoobj        :      76.13     146934          0          0
1800.05/1800.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.05/1800.04	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.04	c   infeasible LP    :       0.01          2          2          2        6.5          0        0.0          0
1800.05/1800.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.05/1800.04	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.05/1800.04	c   applied globally :          -          -          -          2        6.5          -          -          -
1800.05/1800.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.05/1800.04	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1800.05/1800.04	c   cut pool         :       0.00          3          -          -        183          -    (maximal pool size: 742)
1800.05/1800.04	c   redcost          :      55.07      40776          0          0          0          0
1800.05/1800.04	c   impliedbounds    :       0.00          4          0          0        158          0
1800.05/1800.04	c   intobj           :       0.00          0          0          0          0          0
1800.05/1800.04	c   cgmip            :       0.00          0          0          0          0          0
1800.05/1800.04	c   gomory           :       0.70          4          0          0       1266          0
1800.05/1800.04	c   strongcg         :       0.47          4          0          0          0          0
1800.05/1800.04	c   cmir             :       0.69          4          0          0          1          0
1800.05/1800.04	c   flowcover        :       1.67          4          0          0         10          0
1800.05/1800.04	c   clique           :       0.02          4          0          0          0          0
1800.05/1800.04	c   zerohalf         :       0.00          0          0          0          0          0
1800.05/1800.04	c   mcf              :       0.01          1          0          0          0          0
1800.05/1800.04	c   rapidlearning    :       0.00          0          0          0          0          0
1800.05/1800.04	c Pricers            :       Time      Calls       Vars
1800.05/1800.04	c   problem variables:       0.00          0          0
1800.05/1800.04	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1800.05/1800.04	c   relpscost        :     332.61      38090          0          0          0          0      76180
1800.05/1800.04	c   pscost           :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   inference        :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   mostinf          :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   leastinf         :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   fullstrong       :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   allfullstrong    :       0.00          0          0          0          0          0          0
1800.05/1800.04	c   random           :       0.00          0          0          0          0          0          0
1800.05/1800.04	c Primal Heuristics  :       Time      Calls      Found
1800.05/1800.04	c   LP solutions     :       0.00          -          0
1800.05/1800.04	c   pseudo solutions :       0.00          -          0
1800.05/1800.04	c   oneopt           :       0.06          0          0
1800.05/1800.04	c   crossover        :       0.02          0          0
1800.05/1800.04	c   fracdiving       :     122.01        142          0
1800.05/1800.04	c   veclendiving     :      39.34        142          0
1800.05/1800.04	c   linesearchdiving :      44.82        142          0
1800.05/1800.04	c   pscostdiving     :      83.51        143          0
1800.05/1800.04	c   feaspump         :      14.56         72          0
1800.05/1800.04	c   trivial          :       0.61          2          0
1800.05/1800.04	c   simplerounding   :       0.07      37727          0
1800.05/1800.04	c   zirounding       :       1.72       1000          0
1800.05/1800.04	c   rounding         :       4.66       2705          0
1800.05/1800.04	c   shifting         :      11.26        802          0
1800.05/1800.04	c   intshifting      :       0.09         20          0
1800.05/1800.04	c   twoopt           :       0.00          0          0
1800.05/1800.04	c   fixandinfer      :       0.00          0          0
1800.05/1800.04	c   coefdiving       :     131.25         68          0
1800.05/1800.04	c   intdiving        :       0.00          0          0
1800.05/1800.04	c   actconsdiving    :       0.00          0          0
1800.05/1800.04	c   objpscostdiving  :       3.85          9          0
1800.05/1800.04	c   rootsoldiving    :       6.93          3          0
1800.05/1800.04	c   guideddiving     :       0.00          0          0
1800.05/1800.04	c   octane           :       0.00          0          0
1800.05/1800.04	c   rens             :       0.21          1          0
1800.05/1800.04	c   rins             :       0.00          0          0
1800.05/1800.04	c   localbranching   :       0.00          0          0
1800.05/1800.04	c   mutation         :       0.00          0          0
1800.05/1800.04	c   dins             :       0.00          0          0
1800.05/1800.04	c   undercover       :       0.00          0          0
1800.05/1800.04	c   nlp              :       0.02          0          0
1800.05/1800.04	c   trysol           :      21.70       1769          0
1800.05/1800.04	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1800.05/1800.04	c   primal LP        :       0.01          0          0       0.00       0.00
1800.05/1800.04	c   dual LP          :     464.51      41100     728500      17.73    1568.32
1800.05/1800.04	c   lex dual LP      :       0.00          0          0       0.00          -
1800.05/1800.04	c   barrier LP       :       0.00          0          0       0.00          -
1800.05/1800.04	c   diving/probing LP:     261.47      27517     191749       6.97     733.35
1800.05/1800.04	c   strong branching :     331.63      20098     297628      14.81     897.47
1800.05/1800.04	c     (at root node) :          -         27       3532     130.81          -
1800.05/1800.04	c   conflict analysis:       0.00          0          0       0.00          -
1800.05/1800.04	c B&B Tree           :
1800.05/1800.04	c   number of runs   :          1
1800.05/1800.04	c   nodes            :      38090
1800.05/1800.04	c   nodes (total)    :      38090
1800.05/1800.04	c   nodes left       :      38091
1800.05/1800.04	c   max depth        :        117
1800.05/1800.04	c   max depth (total):        117
1800.05/1800.04	c   backtracks       :        647 (1.7%)
1800.05/1800.04	c   delayed cutoffs  :          0
1800.05/1800.04	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1800.05/1800.04	c   avg switch length:       2.25
1800.05/1800.04	c   switching time   :       9.46
1800.05/1800.04	c Solution           :
1800.05/1800.04	c   Solutions found  :          0 (0 improvements)
1800.05/1800.04	c   Primal Bound     :          -
1800.05/1800.04	c   Dual Bound       : +0.00000000000000e+00
1800.05/1800.04	c   Gap              :   infinite
1800.05/1800.04	c   Root Dual Bound  : +0.00000000000000e+00
1800.05/1800.04	c   Root Iterations  :       3891
1800.44/1800.47	c Time complete: 1800.52.

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-2693184-1277917376/watcher-2693184-1277917376 -o /tmp/evaluation-result-2693184-1277917376/solver-2693184-1277917376 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693184-1277917376.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.99 1.98 1.99 4/178 17256
/proc/meminfo: memFree=30625936/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=11120 CPUtime=0
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 1719 0 0 0 0 0 0 0 25 0 1 0 133033070 11386880 1639 4089446400 4194304 9819077 140736472508800 18446744073709551615 6179008 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/17256/statm: 2780 1639 392 1374 0 1401 0

[startup+0.066563 s]
/proc/loadavg: 1.99 1.98 1.99 4/178 17256
/proc/meminfo: memFree=30625936/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=28284 CPUtime=0.05
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 5991 0 0 0 5 0 0 0 25 0 1 0 133033070 28962816 5911 4089446400 4194304 9819077 140736472508800 18446744073709551615 4460752 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/17256/statm: 7071 5911 392 1374 0 5692 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 28284

[startup+0.100568 s]
/proc/loadavg: 1.99 1.98 1.99 4/178 17256
/proc/meminfo: memFree=30625936/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=35468 CPUtime=0.09
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 7818 0 0 0 8 1 0 0 25 0 1 0 133033070 36319232 7738 4089446400 4194304 9819077 140736472508800 18446744073709551615 8675093 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/17256/statm: 8867 7738 392 1374 0 7488 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35468

[startup+0.30052 s]
/proc/loadavg: 1.99 1.98 1.99 4/178 17256
/proc/meminfo: memFree=30625936/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=110404 CPUtime=0.29
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 26816 0 0 0 27 2 0 0 25 0 1 0 133033070 113053696 26346 4089446400 4194304 9819077 140736472508800 18446744073709551615 6181120 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 27601 26346 435 1374 0 26222 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 110404

[startup+0.700458 s]
/proc/loadavg: 1.99 1.98 1.99 4/178 17256
/proc/meminfo: memFree=30625936/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=148480 CPUtime=0.69
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 35112 0 0 0 66 3 0 0 25 0 1 0 133033070 152043520 34642 4089446400 4194304 9819077 140736472508800 18446744073709551615 8679111 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 37120 34642 469 1374 0 35741 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 148480

[startup+1.5003 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17257
/proc/meminfo: memFree=30484512/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=154524 CPUtime=1.49
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 40489 0 0 0 140 9 0 0 25 0 1 0 133033070 158232576 36437 4089446400 4194304 9819077 140736472508800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 38631 36437 507 1374 0 37252 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 154524

[startup+3.10101 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17257
/proc/meminfo: memFree=30474336/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=161236 CPUtime=3.09
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 43500 0 0 0 298 11 0 0 25 0 1 0 133033070 165105664 38057 4089446400 4194304 9819077 140736472508800 18446744073709551615 4983070 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 40309 38057 537 1374 0 38930 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 161236

[startup+6.30043 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17257
/proc/meminfo: memFree=30473272/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=162264 CPUtime=6.29
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 43761 0 0 0 617 12 0 0 25 0 1 0 133033070 166158336 38318 4089446400 4194304 9819077 140736472508800 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 40566 38318 542 1374 0 39187 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 162264

[startup+12.7003 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17257
/proc/meminfo: memFree=30434696/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=206204 CPUtime=12.69
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 67739 0 0 0 1249 20 0 0 25 0 1 0 133033070 211152896 47172 4089446400 4194304 9819077 140736472508800 18446744073709551615 8675331 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 51551 47172 694 1374 0 50172 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 206204

[startup+25.5009 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17258
/proc/meminfo: memFree=30423696/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=210908 CPUtime=25.49
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 878316 0 0 0 2441 108 0 0 25 0 1 0 133033070 215969792 47753 4089446400 4194304 9819077 140736472508800 18446744073709551615 6590711 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 52727 47770 721 1374 0 51348 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 210908

[startup+51.1002 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17259
/proc/meminfo: memFree=30408976/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=223376 CPUtime=51.09
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 3157545 0 0 0 4742 367 0 0 25 0 1 0 133033070 228737024 49606 4089446400 4194304 9819077 140736472508800 18446744073709551615 6714988 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 54175 49493 722 1374 0 52796 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 223376

[startup+102.306 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17260
/proc/meminfo: memFree=30379812/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=225488 CPUtime=102.3
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 7385344 0 0 0 9372 858 0 0 25 0 1 0 133033070 230899712 50592 4089446400 4194304 9819077 140736472508800 18446744073709551615 7260241 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 56372 50592 722 1374 0 54993 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 225488

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17261
/proc/meminfo: memFree=30346064/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=232964 CPUtime=162.3
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 11977959 0 0 0 14835 1395 0 0 25 0 1 0 133033070 238555136 52058 4089446400 4194304 9819077 140736472508800 18446744073709551615 7289479 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 58241 52058 722 1374 0 56862 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 232964

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17263
/proc/meminfo: memFree=30308460/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=243628 CPUtime=222.3
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 15838591 0 0 0 20391 1839 0 0 25 0 1 0 133033070 249475072 54796 4089446400 4194304 9819077 140736472508800 18446744073709551615 6715982 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 60907 54796 722 1374 0 59528 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 243628

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17265
/proc/meminfo: memFree=30271736/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=246856 CPUtime=282.3
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 19112580 0 0 0 26002 2228 0 0 25 0 1 0 133033070 252780544 57191 4089446400 4194304 9819077 140736472508800 18446744073709551615 6628210 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 61714 57191 722 1374 0 60335 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 246856

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17267
/proc/meminfo: memFree=30226200/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=261456 CPUtime=342.31
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 22309218 0 0 0 31621 2610 0 0 25 0 1 0 133033070 267730944 60856 4089446400 4194304 9819077 140736472508800 18446744073709551615 6003313 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 65364 60856 722 1374 0 63985 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 261456

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17268
/proc/meminfo: memFree=30184140/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=275048 CPUtime=402.31
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 25184846 0 0 0 37284 2947 0 0 25 0 1 0 133033070 281649152 64697 4089446400 4194304 9819077 140736472508800 18446744073709551615 7221877 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 68762 64699 722 1374 0 67383 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 275048

[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17269
/proc/meminfo: memFree=30141836/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=290956 CPUtime=462.3
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 28255372 0 0 0 42914 3316 0 0 25 0 1 0 133033070 297938944 68655 4089446400 4194304 9819077 140736472508800 18446744073709551615 7222761 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 72739 68655 722 1374 0 71360 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 290956

[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17271
/proc/meminfo: memFree=30097900/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=308588 CPUtime=522.31
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 31603715 0 0 0 48521 3710 0 0 25 0 1 0 133033070 315994112 72602 4089446400 4194304 9819077 140736472508800 18446744073709551615 6628707 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 77147 72602 722 1374 0 75768 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 308588

[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17273
/proc/meminfo: memFree=30055572/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=323240 CPUtime=582.31
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 34427740 0 0 0 54187 4044 0 0 25 0 1 0 133033070 330997760 76235 4089446400 4194304 9819077 140736472508800 18446744073709551615 6591535 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 80810 76235 726 1374 0 79431 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 323240

[startup+642.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 17275
/proc/meminfo: memFree=30011160/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=337324 CPUtime=642.32
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 37357893 0 0 0 59838 4394 0 0 25 0 1 0 133033070 345419776 79807 4089446400 4194304 9819077 140736472508800 18446744073709551615 7316348 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 84331 79807 726 1374 0 82952 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 337324

[startup+702.3 s]

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

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17283
/proc/meminfo: memFree=29788260/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=426884 CPUtime=942.32
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 52466070 0 0 0 88029 6203 0 0 25 0 1 0 133033070 437129216 100538 4089446400 4194304 9819077 140736472508800 18446744073709551615 6519440 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 106721 100538 741 1374 0 105342 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 426884

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17284
/proc/meminfo: memFree=29746940/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=433488 CPUtime=1002.32
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 55333980 0 0 0 93681 6551 0 0 25 0 1 0 133033070 443891712 103832 4089446400 4194304 9819077 140736472508800 18446744073709551615 6512998 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 108438 103865 741 1374 0 107059 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 433488

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17285
/proc/meminfo: memFree=29701024/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=449952 CPUtime=1062.32
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 58199629 0 0 0 99336 6896 0 0 25 0 1 0 133033070 460750848 107998 4089446400 4194304 9819077 140736472508800 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 112488 107998 741 1374 0 111109 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 449952

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17287
/proc/meminfo: memFree=29653864/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=469456 CPUtime=1122.33
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 60912570 0 0 0 105000 7233 0 0 25 0 1 0 133033070 480722944 112838 4089446400 4194304 9819077 140736472508800 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 117364 112838 741 1374 0 115985 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 469456

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17289
/proc/meminfo: memFree=29608568/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=484664 CPUtime=1182.33
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 63965778 0 0 0 110644 7589 0 0 25 0 1 0 133033070 496295936 116565 4089446400 4194304 9819077 140736472508800 18446744073709551615 6003250 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 121166 116565 741 1374 0 119787 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 484664

[startup+1242.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/197 17364
/proc/meminfo: memFree=30345340/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=498508 CPUtime=1242.33
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 67123058 0 0 0 116272 7961 0 0 25 0 1 0 133033070 510472192 119961 4089446400 4194304 9819077 140736472508800 18446744073709551615 5511915 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 124627 119961 741 1374 0 123248 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 498508

[startup+1302.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/197 17365
/proc/meminfo: memFree=30305956/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=513252 CPUtime=1302.34
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 70041476 0 0 0 121920 8314 0 0 25 0 1 0 133033070 525570048 123575 4089446400 4194304 9819077 140736472508800 18446744073709551615 6089671 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 128313 123575 741 1374 0 126934 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 513252

[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/197 17366
/proc/meminfo: memFree=30252080/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=529848 CPUtime=1362.33
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 72823252 0 0 0 127569 8664 0 0 25 0 1 0 133033070 542564352 127832 4089446400 4194304 9819077 140736472508800 18446744073709551615 6671123 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 132462 127832 741 1374 0 131083 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 529848

[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/197 17441
/proc/meminfo: memFree=30331572/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=545504 CPUtime=1422.34
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 75415176 0 0 0 133246 8988 0 0 25 0 1 0 133033070 558596096 131707 4089446400 4194304 9819077 140736472508800 18446744073709551615 8720183 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 136376 131707 741 1374 0 134997 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 545504

[startup+1482.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/197 17443
/proc/meminfo: memFree=30287100/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=561424 CPUtime=1482.34
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 78069650 0 0 0 138921 9313 0 0 25 0 1 0 133033070 574898176 135609 4089446400 4194304 9819077 140736472508800 18446744073709551615 7816000 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 140356 135609 741 1374 0 138977 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 561424

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 17445
/proc/meminfo: memFree=30268104/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=578896 CPUtime=1542.34
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 80802748 0 0 0 144583 9651 0 0 25 0 1 0 133033070 592789504 139731 4089446400 4194304 9819077 140736472508800 18446744073709551615 6590607 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 144724 139747 741 1374 0 143345 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 578896

[startup+1602.3 s]
/proc/loadavg: 2.37 2.08 2.03 3/197 17446
/proc/meminfo: memFree=30252816/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=602824 CPUtime=1602.34
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 83594551 0 0 0 150238 9996 0 0 25 0 1 0 133033070 617291776 144719 4089446400 4194304 9819077 140736472508800 18446744073709551615 7233616 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 150706 144719 741 1374 0 149327 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 602824

[startup+1662.3 s]
/proc/loadavg: 2.13 2.06 2.02 3/197 17447
/proc/meminfo: memFree=30233940/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=611728 CPUtime=1662.34
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 86619772 0 0 0 155867 10367 0 0 25 0 1 0 133033070 626409472 148367 4089446400 4194304 9819077 140736472508800 18446744073709551615 4983090 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 152932 148367 741 1374 0 151553 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 611728

[startup+1722.3 s]
/proc/loadavg: 2.10 2.06 2.02 3/197 17449
/proc/meminfo: memFree=30215800/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=627432 CPUtime=1722.35
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 89673167 0 0 0 161499 10736 0 0 25 0 1 0 133033070 642490368 152223 4089446400 4194304 9819077 140736472508800 18446744073709551615 6566713 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 156858 152223 741 1374 0 155479 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 627432

[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/197 17454
/proc/meminfo: memFree=30197720/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=642276 CPUtime=1782.35
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 92570732 0 0 0 167153 11082 0 0 25 0 1 0 133033070 657690624 155933 4089446400 4194304 9819077 140736472508800 18446744073709551615 6176678 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 160569 155933 741 1374 0 159190 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 642276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.03 2.05 2.01 3/197 17454
/proc/meminfo: memFree=30190896/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=650756 CPUtime=1800.05
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 93472863 0 0 0 168818 11187 0 0 25 0 1 0 133033070 666374144 158005 4089446400 4194304 9819077 140736472508800 18446744073709551615 8716122 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/17256/statm: 162689 158005 741 1374 0 161310 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 650756

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.2 s]
/proc/loadavg: 2.03 2.05 2.01 3/197 17454
/proc/meminfo: memFree=30190896/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=293660 CPUtime=1800.24
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 93474533 0 0 0 168836 11188 0 0 25 0 1 0 133033070 300707840 69067 4089446400 4194304 9819077 140736472508800 18446744073709551615 4332879 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/17256/statm: 73415 69067 744 1374 0 72036 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 293660

[startup+1800.4 s]
/proc/loadavg: 2.03 2.05 2.01 3/197 17454
/proc/meminfo: memFree=30190896/32951124 swapFree=67111528/67111528
[pid=17256] ppid=17254 vsize=281596 CPUtime=1800.44
/proc/17256/stat : 17256 (pbscip.linux.x8) R 17254 17256 16353 0 -1 4202496 93474533 0 0 0 168856 11188 0 0 25 0 1 0 133033070 288354304 66063 4089446400 4194304 9819077 140736472508800 18446744073709551615 4671856 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/17256/statm: 70399 66063 744 1374 0 69020 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (KiB) 281596

Child status: 0
Real time (s): 1800.48
CPU time (s): 1800.53
CPU user time (s): 1688.63
CPU system time (s): 111.903
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 655972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1688.63
system time used= 111.903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93474537
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 2206

runsolver used 2.86356 second user time and 6.04508 second system time

The end

Launcher Data 

Begin job on node139 at 2010-06-30 19:02:56
IDJOB=2693184
IDBENCH=79088
IDSOLVER=1205
FILE ID=node139/2693184-1277917376
PBS_JOBID= 11197258
Free space on /tmp= 74116 MiB

SOLVER NAME= SCIPclp SCIP 1.2.1.2 with Clp 1.11.1 (Release Version) as LP solver
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/normalized-j6010_2-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-2693184-1277917376/watcher-2693184-1277917376 -o /tmp/evaluation-result-2693184-1277917376/solver-2693184-1277917376 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2693184-1277917376.wbo -t 1800 -m 3800

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

MD5SUM BENCH= c0c0bebc7e31a6df8b165cc7ff9f27e8
RANDOM SEED=759933295

node139.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.840
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.68
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.840
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.75
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.840
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.82
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.840
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.75
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.840
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.78
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.840
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.75
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.840
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.840
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:     32951124 kB
MemFree:      30626464 kB
Buffers:        204952 kB
Cached:        1483232 kB
SwapCached:          0 kB
Active:        1175120 kB
Inactive:      1002864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30626464 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            7028 kB
Writeback:           0 kB
AnonPages:      489332 kB
Mapped:          17244 kB
Slab:            83332 kB
PageTables:       5992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   645952 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= 74116 MiB
End job on node139 at 2010-06-30 19:32:58