Trace number 2705289

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.57 1790.52

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB10/oliveras/j60/
normalized-j603_2-unsat--soft-33-100-0.wbo
MD5SUM00a8bd0bea2ac0513d2ebf3c8ede1f03
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.066989
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables8418
Total number of constraints26241
Number of soft constraints17646
Number of constraints which are clauses25969
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints272
Minimum length of a constraint1
Maximum length of a constraint18
Top cost 886111
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 886110
Biggest number in a constraint 23
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 119
Number of bits of the biggest sum of numbers7
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-2705289-1278576544.wbo>
0.19/0.24	c original problem has 43710 variables (26064 bin, 0 int, 17646 impl, 0 cont) and 43888 constraints
0.19/0.24	c problem read
0.19/0.24	c presolving settings loaded
1.00/1.01	c presolving:
1.00/1.10	c (round 1) 302 del vars, 1166 del conss, 169 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 41900 impls, 0 clqs
1.10/1.18	c (round 2) 1138 del vars, 2947 del conss, 279 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 42066 impls, 0 clqs
1.19/1.25	c (round 3) 2546 del vars, 4153 del conss, 320 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 42124 impls, 0 clqs
1.19/1.29	c (round 4) 3616 del vars, 4736 del conss, 328 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 42126 impls, 0 clqs
1.29/1.31	c (round 5) 4125 del vars, 5078 del conss, 330 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 42126 impls, 0 clqs
1.29/1.33	c (round 6) 4425 del vars, 5191 del conss, 332 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 42126 impls, 0 clqs
1.29/1.34	c (round 7) 4533 del vars, 5197 del conss, 332 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 42126 impls, 0 clqs
1.29/1.38	c (round 8) 4539 del vars, 5198 del conss, 16052 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 42126 impls, 0 clqs
1.39/1.49	c (round 9) 4542 del vars, 5200 del conss, 16052 chg bounds, 0 chg sides, 0 chg coeffs, 7704 upgd conss, 42126 impls, 0 clqs
7.39/7.43	c    (7.2s) probing: 1000/23448 (4.3%) - 0 fixings, 0 aggregations, 3188 implications, 0 bound changes
12.59/12.69	c    (12.5s) probing: 2000/23448 (8.5%) - 0 fixings, 0 aggregations, 3487 implications, 0 bound changes
12.69/12.70	c    (12.5s) probing: 2001/23448 (8.5%) - 0 fixings, 0 aggregations, 3487 implications, 0 bound changes
12.69/12.70	c    (12.5s) probing aborted: 2000/2000 successive useless probings
12.69/12.70	c presolving (10 rounds):
12.69/12.70	c  4542 deleted vars, 5200 deleted constraints, 16052 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
12.69/12.70	c  89146 implications, 16 cliques
12.69/12.70	c presolved problem has 39168 variables (23448 bin, 0 int, 15720 impl, 0 cont) and 38688 constraints
12.69/12.70	c     454 constraints of type <varbound>
12.69/12.70	c      84 constraints of type <knapsack>
12.69/12.70	c    6050 constraints of type <setppc>
12.69/12.70	c   15264 constraints of type <linear>
12.69/12.70	c   15720 constraints of type <indicator>
12.69/12.70	c    1116 constraints of type <logicor>
12.69/12.70	c transformed objective value is always integral (scale: 1)
12.69/12.70	c Presolving Time: 12.33
12.69/12.70	c - non default parameters ----------------------------------------------------------------------
12.69/12.70	c # SCIP version 1.2.1.3
12.69/12.70	c 
12.69/12.70	c # frequency for displaying node information lines
12.69/12.70	c # [type: int, range: [-1,2147483647], default: 100]
12.69/12.70	c display/freq = 10000
12.69/12.70	c 
12.69/12.70	c # maximal time in seconds to run
12.69/12.70	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
12.69/12.70	c limits/time = 1789.77
12.69/12.70	c 
12.69/12.70	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
12.69/12.70	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
12.69/12.70	c limits/memory = 3420
12.69/12.70	c 
12.69/12.70	c # default clock type (1: CPU user seconds, 2: wall clock time)
12.69/12.70	c # [type: int, range: [1,2], default: 1]
12.69/12.70	c timing/clocktype = 2
12.69/12.70	c 
12.69/12.70	c # should presolving try to simplify inequalities
12.69/12.70	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.69/12.70	c constraints/linear/simplifyinequalities = TRUE
12.69/12.70	c 
12.69/12.70	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
12.69/12.70	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.69/12.70	c constraints/indicator/addCouplingCons = TRUE
12.69/12.70	c 
12.69/12.70	c # should presolving try to simplify knapsacks
12.69/12.70	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
12.69/12.70	c constraints/knapsack/simplifyinequalities = TRUE
12.69/12.70	c 
12.69/12.70	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
12.69/12.70	c # [type: int, range: [-1,2147483647], default: -1]
12.69/12.70	c separating/rapidlearning/freq = 0
12.69/12.70	c 
12.69/12.70	c -----------------------------------------------------------------------------------------------
12.69/12.70	c start solving
12.69/12.71	c 
12.69/12.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
12.69/12.77	c  12.5s|     1 |     0 |     0 |     - | 148M|   0 |   0 |  39k|  38k|  39k|7250 |   0 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
12.79/12.82	c  12.6s|     1 |     0 |   618 |     - | 148M|   0 |   0 |  39k|  38k|  39k|7648 | 398 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
12.79/12.85	c  12.6s|     1 |     0 |   833 |     - | 148M|   0 |   2 |  39k|  38k|  39k|7848 | 598 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
14.20/14.22	c  14.0s|     1 |     0 |  1040 |     - | 149M|   0 |  12 |  39k|  38k|  39k|8050 | 800 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
15.59/15.63	c  15.4s|     1 |     0 |  1252 |     - | 149M|   0 |  16 |  39k|  38k|  39k|8207 | 957 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
16.99/17.08	c  16.8s|     1 |     0 |  1416 |     - | 149M|   0 |  21 |  39k|  38k|  39k|8329 |1079 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
18.49/18.55	c  18.3s|     1 |     0 |  1530 |     - | 150M|   0 |   0 |  39k|  38k|  39k|8459 |1209 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
18.49/18.58	c  18.3s|     1 |     0 |  1581 |     - | 150M|   0 |   0 |  39k|  38k|  39k|8513 |1263 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
18.60/18.61	c  18.4s|     1 |     0 |  1620 |     - | 150M|   0 |   3 |  39k|  38k|  39k|8540 |1290 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
19.99/20.09	c  19.8s|     1 |     0 |  1662 |     - | 150M|   0 |   0 |  39k|  38k|  39k|8563 |1313 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
20.09/20.12	c  19.9s|     1 |     0 |  1690 |     - | 150M|   0 |   0 |  39k|  38k|  39k|8583 |1333 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
20.09/20.15	c  19.9s|     1 |     0 |  1717 |     - | 150M|   0 |   0 |  39k|  38k|  39k|8605 |1355 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
20.09/20.18	c  19.9s|     1 |     0 |  1732 |     - | 150M|   0 |   0 |  39k|  38k|  39k|8632 |1382 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
20.19/20.21	c  20.0s|     1 |     0 |  1746 |     - | 150M|   0 |   0 |  39k|  38k|  39k|8646 |1396 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
20.19/20.24	c  20.0s|     1 |     0 |  1749 |     - | 150M|   0 |   0 |  39k|  38k|  39k|8648 |1398 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
20.19/20.27	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
20.19/20.27	c  20.0s|     1 |     2 |  1749 |     - | 150M|   0 |   0 |  39k|  38k|  39k|8648 |1398 |   0 |   0 | 0.000000e+00 |      --      |    Inf 
427.71/427.72	c   427s| 10000 | 10001 | 25309 |   2.4 | 283M|  83 |   0 |  39k|  38k|  39k|9008 |  18k|   0 |1777 | 0.000000e+00 |      --      |    Inf 
818.32/818.39	c   818s| 20000 | 20001 | 36589 |   1.7 | 414M|  91 |   0 |  39k|  38k|  39k|9052 |  26k|   0 |2400 | 0.000000e+00 |      --      |    Inf 
1202.42/1202.48	c  1202s| 30000 | 30001 | 42826 |   1.4 | 544M|  91 |   0 |  39k|  38k|  39k|9041 |  30k|   0 |2550 | 0.000000e+00 |      --      |    Inf 
1592.14/1592.17	c  1592s| 40000 | 40001 | 50320 |   1.2 | 675M|  91 |   0 |  39k|  38k|  39k|9027 |  35k|   0 |2792 | 0.000000e+00 |      --      |    Inf 
1790.04/1790.03	c 
1790.04/1790.03	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.03	c Solving Time (sec) : 1789.79
1790.04/1790.03	c Solving Nodes      : 45076
1790.04/1790.03	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1790.04/1790.03	c Dual Bound         : +0.00000000000000e+00
1790.04/1790.03	c Gap                : infinite
1790.04/1790.03	s UNKNOWN
1790.04/1790.03	c SCIP Status        : solving was interrupted [time limit reached]
1790.04/1790.03	c Solving Time       :    1789.79
1790.04/1790.03	c Original Problem   :
1790.04/1790.03	c   Problem name     : HOME/instance-2705289-1278576544.wbo
1790.04/1790.03	c   Variables        : 43710 (26064 binary, 0 integer, 17646 implicit integer, 0 continuous)
1790.04/1790.03	c   Constraints      : 43888 initial, 43888 maximal
1790.04/1790.03	c Presolved Problem  :
1790.04/1790.03	c   Problem name     : t_HOME/instance-2705289-1278576544.wbo
1790.04/1790.03	c   Variables        : 39168 (23448 binary, 0 integer, 15720 implicit integer, 0 continuous)
1790.04/1790.03	c   Constraints      : 38688 initial, 38688 maximal
1790.04/1790.03	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.04/1790.03	c   trivial          :       0.02          1          0          0          0          0          0          0          0
1790.04/1790.03	c   dualfix          :       0.02       4039          0          0          0          0          0          0          0
1790.04/1790.03	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.03	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.03	c   implics          :       0.01          0          0          0          0          0          0          0          0
1790.04/1790.03	c   probing          :      11.16          0          0          0          0          0          0          0          0
1790.04/1790.03	c   varbound         :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.03	c   knapsack         :       0.00          0          0          0          0          0          0          0          0
1790.04/1790.03	c   setppc           :       0.01          0          0          0          0          0          0          0          0
1790.04/1790.03	c   linear           :       0.32        331        171          0      16052          0       3274          0          0
1790.04/1790.03	c   indicator        :       0.12          0          0          0          0          0       1926          0          0
1790.04/1790.03	c   logicor          :       0.01          0          0          0          0          0          0          0          0
1790.04/1790.03	c   root node        :          -          0          -          -          0          -          -          -          -
1790.04/1790.03	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.03	c   integral         :          0          0          0      47517          0          0          0          0          0       2278
1790.04/1790.03	c   varbound         :        454         15     173428      46378          0          0      17781        576          0          0
1790.04/1790.03	c   knapsack         :         84         15     173428      46087          0          0         16          0          0          0
1790.04/1790.03	c   setppc           :       6050         15     173428      46087          0          0     325227          0          0          0
1790.04/1790.03	c   linear           :      15264         15     173428      46087          0          0      17461      37799          0          0
1790.04/1790.03	c   indicator        :      15720          0     173428      46378          0          0      35254          0          0          0
1790.04/1790.03	c   logicor          :       1116         15      30530      43937          0          0       5462          0          0          0
1790.04/1790.03	c   countsols        :          0          0          0      43937          0          0          0          0          0          0
1790.04/1790.03	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.04/1790.03	c   integral         :      34.97       0.00       0.00      34.97       0.00
1790.04/1790.03	c   varbound         :       6.53       0.00       3.46       3.07       0.00
1790.04/1790.03	c   knapsack         :       0.97       0.00       0.73       0.24       0.00
1790.04/1790.03	c   setppc           :      56.00       0.01      39.72      16.28       0.00
1790.04/1790.03	c   linear           :     324.31       0.10      59.62     264.59       0.00
1790.04/1790.03	c   indicator        :     263.73       0.00     121.47     142.25       0.00
1790.04/1790.03	c   logicor          :       3.81       0.00       0.11       3.70       0.00
1790.04/1790.03	c   countsols        :       0.01       0.00       0.00       0.01       0.00
1790.04/1790.03	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.04/1790.03	c   vbounds          :       0.08        208          0          0
1790.04/1790.03	c   rootredcost      :       0.07          0          0          0
1790.04/1790.03	c   pseudoobj        :     101.09     168372          0          0
1790.04/1790.03	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.04/1790.03	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1790.04/1790.03	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.03	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.03	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.04/1790.03	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.04/1790.03	c   applied globally :          -          -          -          0        0.0          -          -          -
1790.04/1790.03	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.04/1790.03	c Separators         :       Time      Calls    Cutoffs    DomReds       Cuts      Conss
1790.04/1790.03	c   cut pool         :       0.00         12          -          -         11          -    (maximal pool size: 71)
1790.04/1790.03	c   redcost          :      85.50      47449          0          0          0          0
1790.04/1790.03	c   impliedbounds    :       0.01          5          0          0         23          0
1790.04/1790.03	c   intobj           :       0.00          0          0          0          0          0
1790.04/1790.03	c   cgmip            :       0.00          0          0          0          0          0
1790.04/1790.03	c   gomory           :       0.04          5          0          0        143          0
1790.04/1790.03	c   strongcg         :       0.03          5          0          0        143          0
1790.04/1790.03	c   cmir             :       0.72          5          0          0          7          0
1790.04/1790.03	c   flowcover        :       6.14          5          0          0         14          0
1790.04/1790.03	c   clique           :       0.03          5          0          0          0          0
1790.04/1790.03	c   zerohalf         :       0.00          0          0          0          0          0
1790.04/1790.03	c   mcf              :       0.01          1          0          0          0          0
1790.04/1790.03	c   rapidlearning    :       0.00          0          0          0          0          0
1790.04/1790.03	c Pricers            :       Time      Calls       Vars
1790.04/1790.03	c   problem variables:       0.00          0          0
1790.04/1790.03	c Branching Rules    :       Time      Calls    Cutoffs    DomReds       Cuts      Conss   Children
1790.04/1790.03	c   relpscost        :      34.93       1139          0          0          0          0       2278
1790.04/1790.03	c   pscost           :       0.00          0          0          0          0          0          0
1790.04/1790.03	c   inference        :     294.04      43937          0          0          0          0      87874
1790.04/1790.03	c   mostinf          :       0.00          0          0          0          0          0          0
1790.04/1790.03	c   leastinf         :       0.00          0          0          0          0          0          0
1790.04/1790.03	c   fullstrong       :       0.00          0          0          0          0          0          0
1790.04/1790.03	c   allfullstrong    :       0.00          0          0          0          0          0          0
1790.04/1790.03	c   random           :       0.00          0          0          0          0          0          0
1790.04/1790.03	c Primal Heuristics  :       Time      Calls      Found
1790.04/1790.03	c   LP solutions     :       0.00          -          0
1790.04/1790.03	c   pseudo solutions :       0.00          -          0
1790.04/1790.03	c   oneopt           :       0.05          0          0
1790.04/1790.03	c   crossover        :       0.02          0          0
1790.04/1790.03	c   guideddiving     :       0.00          0          0
1790.04/1790.03	c   intshifting      :       0.00          0          0
1790.04/1790.03	c   feaspump         :       1.33          5          0
1790.04/1790.03	c   coefdiving       :      22.02        969          0
1790.04/1790.03	c   pscostdiving     :      22.04        969          0
1790.04/1790.03	c   fracdiving       :      22.01        969          0
1790.04/1790.03	c   veclendiving     :      22.12        969          0
1790.04/1790.03	c   linesearchdiving :      22.05        969          0
1790.04/1790.03	c   objpscostdiving  :      23.89        968          0
1790.04/1790.03	c   rootsoldiving    :      24.46        968          0
1790.04/1790.03	c   trivial          :       0.60          2          0
1790.04/1790.03	c   simplerounding   :       0.04       1132          0
1790.04/1790.03	c   zirounding       :       0.84       1000          0
1790.04/1790.03	c   rounding         :       0.62        419          0
1790.04/1790.03	c   shifting         :       0.40        107          0
1790.04/1790.03	c   twoopt           :       0.00          0          0
1790.04/1790.03	c   fixandinfer      :       0.00          0          0
1790.04/1790.03	c   intdiving        :       0.00          0          0
1790.04/1790.03	c   actconsdiving    :       0.00          0          0
1790.04/1790.03	c   octane           :       0.00          0          0
1790.04/1790.03	c   rens             :       0.00          0          0
1790.04/1790.03	c   rins             :       0.00          0          0
1790.04/1790.03	c   localbranching   :       0.00          0          0
1790.04/1790.03	c   mutation         :       0.00          0          0
1790.04/1790.03	c   dins             :       0.00          0          0
1790.04/1790.03	c   undercover       :       0.00          0          0
1790.04/1790.03	c   nlp              :       0.01          0          0
1790.04/1790.03	c   trysol           :      21.15        991          0
1790.04/1790.03	c LP                 :       Time      Calls Iterations  Iter/call   Iter/sec
1790.04/1790.03	c   primal LP        :       0.01          0          0       0.00          -
1790.04/1790.03	c   dual LP          :     217.19       4449      55724      12.53     256.57
1790.04/1790.03	c   lex dual LP      :       0.00          0          0       0.00          -
1790.04/1790.03	c   barrier LP       :       0.00          0          0       0.00          -
1790.04/1790.03	c   diving/probing LP:       0.47         21         51       2.43     107.50
1790.04/1790.03	c   strong branching :      34.89       2963      12463       4.21     357.21
1790.04/1790.03	c     (at root node) :          -          0          0       0.00          -
1790.04/1790.03	c   conflict analysis:       0.00          0          0       0.00          -
1790.04/1790.03	c B&B Tree           :
1790.04/1790.03	c   number of runs   :          1
1790.04/1790.03	c   nodes            :      45076
1790.04/1790.03	c   nodes (total)    :      45076
1790.04/1790.03	c   nodes left       :      45077
1790.04/1790.03	c   max depth        :         91
1790.04/1790.03	c   max depth (total):         91
1790.04/1790.03	c   backtracks       :        973 (2.2%)
1790.04/1790.03	c   delayed cutoffs  :          0
1790.04/1790.03	c   repropagations   :          0 (0 domain reductions, 0 cutoffs)
1790.04/1790.03	c   avg switch length:       2.22
1790.04/1790.03	c   switching time   :      11.71
1790.04/1790.03	c Solution           :
1790.04/1790.03	c   Solutions found  :          0 (0 improvements)
1790.04/1790.03	c   Primal Bound     :          -
1790.04/1790.03	c   Dual Bound       : +0.00000000000000e+00
1790.04/1790.03	c   Gap              :   infinite
1790.04/1790.03	c   Root Dual Bound  : +0.00000000000000e+00
1790.04/1790.03	c   Root Iterations  :       1749
1790.54/1790.51	c Time complete: 1790.56.

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-2705289-1278576544/watcher-2705289-1278576544 -o /tmp/evaluation-result-2705289-1278576544/solver-2705289-1278576544 -C 1800 -W 2000 -M 3800 HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705289-1278576544.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 23205
/proc/meminfo: memFree=29295132/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=12536 CPUtime=0
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 1975 0 0 0 0 0 0 0 21 0 1 0 25867375 12836864 1893 4089446400 4194304 10345943 140733894832064 18446744073709551615 9107500 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23205/statm: 3134 1893 429 1502 0 1627 0

[startup+0.0821649 s]
/proc/loadavg: 1.92 1.98 1.91 3/178 23205
/proc/meminfo: memFree=29295132/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=34628 CPUtime=0.07
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 7517 0 0 0 7 0 0 0 24 0 1 0 25867375 35459072 7435 4089446400 4194304 10345943 140733894832064 18446744073709551615 6326861 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23205/statm: 8657 7435 430 1502 0 7150 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 34628

[startup+0.101161 s]
/proc/loadavg: 1.92 1.98 1.91 3/178 23205
/proc/meminfo: memFree=29295132/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=38848 CPUtime=0.09
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 8600 0 0 0 9 0 0 0 24 0 1 0 25867375 39780352 8491 4089446400 4194304 10345943 140733894832064 18446744073709551615 9191984 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23205/statm: 9719 8491 430 1502 0 8212 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38848

[startup+0.300129 s]
/proc/loadavg: 1.92 1.98 1.91 3/178 23205
/proc/meminfo: memFree=29295132/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=115080 CPUtime=0.29
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 27954 0 0 0 27 2 0 0 25 0 1 0 25867375 117841920 27455 4089446400 4194304 10345943 140733894832064 18446744073709551615 9137699 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 28770 27455 478 1502 0 27263 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 115080

[startup+0.701052 s]
/proc/loadavg: 1.92 1.98 1.91 3/178 23205
/proc/meminfo: memFree=29295132/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=161176 CPUtime=0.69
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 38301 0 0 0 65 4 0 0 25 0 1 0 25867375 165044224 37802 4089446400 4194304 10345943 140733894832064 18446744073709551615 9138589 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 40294 37802 510 1502 0 38787 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 161176

[startup+1.50091 s]
/proc/loadavg: 1.92 1.98 1.91 3/179 23206
/proc/meminfo: memFree=29145332/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=170716 CPUtime=1.49
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 41116 0 0 0 145 4 0 0 25 0 1 0 25867375 174813184 39845 4089446400 4194304 10345943 140733894832064 18446744073709551615 6326861 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 42679 39885 584 1502 0 41172 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 170716

[startup+3.10061 s]
/proc/loadavg: 1.92 1.98 1.91 3/179 23206
/proc/meminfo: memFree=29127916/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=178664 CPUtime=3.09
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 43534 0 0 0 305 4 0 0 25 0 1 0 25867375 182951936 42239 4089446400 4194304 10345943 140733894832064 18446744073709551615 5608322 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 44666 42239 587 1502 0 43159 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 178664

[startup+6.30103 s]
/proc/loadavg: 1.93 1.98 1.91 3/179 23206
/proc/meminfo: memFree=29126632/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=179704 CPUtime=6.29
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 43813 0 0 0 625 4 0 0 25 0 1 0 25867375 184016896 42514 4089446400 4194304 10345943 140733894832064 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 44926 42514 583 1502 0 43419 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 179704

[startup+12.7009 s]
/proc/loadavg: 1.93 1.98 1.91 3/179 23206
/proc/meminfo: memFree=29126832/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=179704 CPUtime=12.69
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 43818 0 0 0 1265 4 0 0 25 0 1 0 25867375 184016896 42519 4089446400 4194304 10345943 140733894832064 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 44926 42519 588 1502 0 43419 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 179704

[startup+25.5005 s]
/proc/loadavg: 1.95 1.98 1.91 3/179 23207
/proc/meminfo: memFree=29078872/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=236004 CPUtime=25.49
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 72437 0 0 0 2542 7 0 0 25 0 1 0 25867375 241668096 54573 4089446400 4194304 10345943 140733894832064 18446744073709551615 6866074 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 59001 54573 777 1502 0 57494 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 236004

[startup+51.1009 s]
/proc/loadavg: 1.96 1.98 1.91 3/179 23208
/proc/meminfo: memFree=29068692/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=243152 CPUtime=51.09
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 145771 0 0 0 5093 16 0 0 25 0 1 0 25867375 248987648 56645 4089446400 4194304 10345943 140733894832064 18446744073709551615 5427539 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 60788 56645 777 1502 0 59281 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 243152

[startup+102.306 s]
/proc/loadavg: 2.02 2.00 1.91 3/179 23209
/proc/meminfo: memFree=29055284/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=252836 CPUtime=102.3
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 213543 0 0 0 10204 26 0 0 25 0 1 0 25867375 258904064 60020 4089446400 4194304 10345943 140733894832064 18446744073709551615 4696445 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 63209 60020 777 1502 0 61702 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 252836

[startup+162.301 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 23210
/proc/meminfo: memFree=29032796/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=277632 CPUtime=162.29
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 242397 0 0 0 16198 31 0 0 25 0 1 0 25867375 284295168 65689 4089446400 4194304 10345943 140733894832064 18446744073709551615 5614786 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 69408 65689 777 1502 0 67901 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 277632

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23212
/proc/meminfo: memFree=29007976/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=302084 CPUtime=222.3
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 283392 0 0 0 22192 38 0 0 25 0 1 0 25867375 309334016 71426 4089446400 4194304 10345943 140733894832064 18446744073709551615 6119400 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 75521 71426 777 1502 0 74014 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 302084

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23214
/proc/meminfo: memFree=28983500/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=321776 CPUtime=282.3
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 291354 0 0 0 28190 40 0 0 25 0 1 0 25867375 329498624 76352 4089446400 4194304 10345943 140733894832064 18446744073709551615 4882679 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 80444 76352 777 1502 0 78937 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 321776

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23215
/proc/meminfo: memFree=28956044/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=340420 CPUtime=342.3
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 334261 0 0 0 34185 45 0 0 25 0 1 0 25867375 348590080 81691 4089446400 4194304 10345943 140733894832064 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 85105 81691 777 1502 0 83598 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 340420

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23217
/proc/meminfo: memFree=28938284/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=359276 CPUtime=402.3
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 352667 0 0 0 40182 48 0 0 25 0 1 0 25867375 367898624 86330 4089446400 4194304 10345943 140733894832064 18446744073709551615 4881982 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 89819 86330 777 1502 0 88312 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 359276

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23218
/proc/meminfo: memFree=28909104/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=381076 CPUtime=462.31
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 365192 0 0 0 46179 52 0 0 25 0 1 0 25867375 390221824 91699 4089446400 4194304 10345943 140733894832064 18446744073709551615 4696483 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 95269 91699 777 1502 0 93762 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 381076

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23220
/proc/meminfo: memFree=28871752/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=404296 CPUtime=522.31
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 387269 0 0 0 52175 56 0 0 25 0 1 0 25867375 413999104 97642 4089446400 4194304 10345943 140733894832064 18446744073709551615 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 101074 97642 777 1502 0 99567 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 404296

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23225
/proc/meminfo: memFree=28842048/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=424024 CPUtime=582.31
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 392980 0 0 0 58173 58 0 0 25 0 1 0 25867375 434200576 102563 4089446400 4194304 10345943 140733894832064 18446744073709551615 5031150 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 106006 102563 777 1502 0 104499 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 424024

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23226
/proc/meminfo: memFree=28814964/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=442992 CPUtime=642.31
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 400211 0 0 0 64172 59 0 0 25 0 1 0 25867375 453623808 107044 4089446400 4194304 10345943 140733894832064 18446744073709551615 6802803 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 110748 107044 777 1502 0 109241 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 442992

[startup+702.301 s]

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

/proc/meminfo: memFree=28613744/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=569080 CPUtime=1002.33
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 461248 0 0 0 100160 73 0 0 25 0 1 0 25867375 582737920 138468 4089446400 4194304 10345943 140733894832064 18446744073709551615 4696469 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 142270 138468 777 1502 0 140763 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 569080

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 23237
/proc/meminfo: memFree=28581960/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=594848 CPUtime=1062.32
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 466666 0 0 0 106158 74 0 0 25 0 1 0 25867375 609124352 143886 4089446400 4194304 10345943 140733894832064 18446744073709551615 9138661 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 148712 143886 777 1502 0 147205 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 594848

[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 1.92 3/179 23239
/proc/meminfo: memFree=28555388/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=614692 CPUtime=1122.32
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 471856 0 0 0 112157 75 0 0 25 0 1 0 25867375 629444608 149076 4089446400 4194304 10345943 140733894832064 18446744073709551615 6777343 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 153673 149076 777 1502 0 152166 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 614692

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.92 3/179 23241
/proc/meminfo: memFree=28519892/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=635372 CPUtime=1182.33
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 477790 0 0 0 118156 77 0 0 25 0 1 0 25867375 650620928 154461 4089446400 4194304 10345943 140733894832064 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 158843 154461 777 1502 0 157336 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 635372

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/179 23242
/proc/meminfo: memFree=28493676/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=653940 CPUtime=1242.32
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 483252 0 0 0 124154 78 0 0 25 0 1 0 25867375 669634560 159608 4089446400 4194304 10345943 140733894832064 18446744073709551615 6119567 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 163485 159608 777 1502 0 161978 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 653940

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23244
/proc/meminfo: memFree=28472308/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=675504 CPUtime=1302.33
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 490849 0 0 0 130152 81 0 0 25 0 1 0 25867375 691716096 164552 4089446400 4194304 10345943 140733894832064 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 168876 164552 777 1502 0 167369 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 675504

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 23245
/proc/meminfo: memFree=28447216/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=695968 CPUtime=1362.33
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 496029 0 0 0 136150 83 0 0 25 0 1 0 25867375 712671232 169732 4089446400 4194304 10345943 140733894832064 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 173992 169732 777 1502 0 172485 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 695968

[startup+1422.31 s]
/proc/loadavg: 2.08 2.03 1.93 3/179 23247
/proc/meminfo: memFree=28424236/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=714404 CPUtime=1422.34
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 500720 0 0 0 142149 85 0 0 25 0 1 0 25867375 731549696 174423 4089446400 4194304 10345943 140733894832064 18446744073709551615 4688047 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 178601 174423 777 1502 0 177094 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 714404

[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 1.93 3/179 23276
/proc/meminfo: memFree=28625144/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=736056 CPUtime=1482.34
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 506257 0 0 0 148147 87 0 0 25 0 1 0 25867375 753721344 179960 4089446400 4194304 10345943 140733894832064 18446744073709551615 4881881 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 184014 179960 777 1502 0 182507 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 736056

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/179 23277
/proc/meminfo: memFree=28537280/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=760908 CPUtime=1542.34
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 512044 0 0 0 154146 88 0 0 25 0 1 0 25867375 779169792 185604 4089446400 4194304 10345943 140733894832064 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 190227 185604 777 1502 0 188720 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 760908

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/179 23279
/proc/meminfo: memFree=28406188/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=781476 CPUtime=1602.34
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 518132 0 0 0 160144 90 0 0 25 0 1 0 25867375 800231424 190722 4089446400 4194304 10345943 140733894832064 18446744073709551615 6002389 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 195369 190722 777 1502 0 193862 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 781476

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 23280
/proc/meminfo: memFree=28336952/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=802236 CPUtime=1662.35
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 526037 0 0 0 166143 92 0 0 25 0 1 0 25867375 821489664 196166 4089446400 4194304 10345943 140733894832064 18446744073709551615 6785197 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 200559 196166 777 1502 0 199052 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 802236

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/179 23282
/proc/meminfo: memFree=28280596/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=820892 CPUtime=1722.35
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 531711 0 0 0 172141 94 0 0 25 0 1 0 25867375 840593408 201019 4089446400 4194304 10345943 140733894832064 18446744073709551615 6003041 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 205223 201019 777 1502 0 203716 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 820892

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 23284
/proc/meminfo: memFree=28239980/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=843152 CPUtime=1782.34
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 536380 0 0 0 178139 95 0 0 25 0 1 0 25867375 863387648 205615 4089446400 4194304 10345943 140733894832064 18446744073709551615 5012568 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 210788 205615 777 1502 0 209281 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 843152

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

[startup+1785.5 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 23284
/proc/meminfo: memFree=28238864/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=843152 CPUtime=1785.54
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 536462 0 0 0 178459 95 0 0 25 0 1 0 25867375 863387648 205697 4089446400 4194304 10345943 140733894832064 18446744073709551615 4601864 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 210788 205697 777 1502 0 209281 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 843152

[startup+1788.7 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 23284
/proc/meminfo: memFree=28237004/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=843152 CPUtime=1788.74
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 536644 0 0 0 178779 95 0 0 25 0 1 0 25867375 863387648 205879 4089446400 4194304 10345943 140733894832064 18446744073709551615 4476332 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 210788 205879 777 1502 0 209281 0
Current children cumulated CPU time (s) 1788.74
Current children cumulated vsize (KiB) 843152

[startup+1789.5 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 23284
/proc/meminfo: memFree=28237004/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=843152 CPUtime=1789.54
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 536669 0 0 0 178859 95 0 0 25 0 1 0 25867375 863387648 205904 4089446400 4194304 10345943 140733894832064 18446744073709551615 6712068 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23205/statm: 210788 205904 777 1502 0 209281 0
Current children cumulated CPU time (s) 1789.54
Current children cumulated vsize (KiB) 843152

[startup+1790.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 23284
/proc/meminfo: memFree=28236500/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=843152 CPUtime=1790.34
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 536697 0 0 0 178939 95 0 0 18 0 1 0 25867375 863387648 205932 4089446400 4194304 10345943 140733894832064 18446744073709551615 4287424 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23205/statm: 210788 205932 786 1502 0 209281 0
Current children cumulated CPU time (s) 1790.34
Current children cumulated vsize (KiB) 843152

[startup+1790.5 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 23284
/proc/meminfo: memFree=28236500/32951124 swapFree=67111528/67111528
[pid=23205] ppid=23203 vsize=209284 CPUtime=1790.54
/proc/23205/stat : 23205 (pbscip.linux.x8) R 23203 23205 22811 0 -1 4202496 536697 0 0 0 178956 98 0 0 18 0 1 0 25867375 214306816 50003 4089446400 4194304 10345943 140733894832064 18446744073709551615 4750315 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23205/statm: 52321 50003 786 1502 0 50814 0
Current children cumulated CPU time (s) 1790.54
Current children cumulated vsize (KiB) 209284

Child status: 0
Real time (s): 1790.52
CPU time (s): 1790.57
CPU user time (s): 1789.58
CPU system time (s): 0.994848
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 843152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.58
system time used= 0.994848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 536703
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1104

runsolver used 2.92355 second user time and 6.69998 second system time

The end

Launcher Data 

Begin job on node142 at 2010-07-08 10:09:05
IDJOB=2705289
IDBENCH=79095
IDSOLVER=1214
FILE ID=node142/2705289-1278576544
PBS_JOBID= 11240171
Free space on /tmp= 73320 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-j603_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-2705289-1278576544/watcher-2705289-1278576544 -o /tmp/evaluation-result-2705289-1278576544/solver-2705289-1278576544 -C 1800 -W 2000 -M 3800  HOME/pbscip.linux.x86_64.gnu.opt.clp -f HOME/instance-2705289-1278576544.wbo -t 1800 -m 3800

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

MD5SUM BENCH= 00a8bd0bea2ac0513d2ebf3c8ede1f03
RANDOM SEED=2027628700

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.874
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.75
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.874
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29295660 kB
Buffers:        158084 kB
Cached:        3134288 kB
SwapCached:          0 kB
Active:        1144832 kB
Inactive:      2341880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29295660 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           13628 kB
Writeback:           0 kB
AnonPages:      193880 kB
Mapped:          17716 kB
Slab:           105092 kB
PageTables:       4920 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   344284 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= 73308 MiB
End job on node142 at 2010-07-08 10:38:55